Zeros / CONCEPT
Tang–Zhang's sharp order −2 inequality
Tang–Zhang Conjecture 6.3 holds for every finite nonempty family of nonzero complex roots, with equality exactly for collinearity through the origin.
Closed
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES1
PROOF DEPTH9
DOCUMENT LINKS0
The sharp inequality with both equality directions
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- Cartesian variancestructural-affinity · Closed
- Commutator gap and scalar translationstructural-affinity · Closed
- Matrix GNS Identitystructural-affinity · Closed
- Schur–Frobenius inequality and equalitystructural-affinity · Closed
- Tang–Zhang's real-order reciprocal critical-point inequalitystructural-affinity · Closed
- The most classical orthonormal basis of spin 3/2structural-affinity · Closed
- The original two-swap channelstructural-affinity · Closed
- The sharp spectral moment inequalitystructural-affinity · Closed
- Trace bounds, interpolation and phase rigiditystructural-affinity · Closed
- Weighted Bottcher-Wenzel, case (ii)structural-affinity · Closed
Documents & exposition
None recorded in this release.
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance