Zeros / CONCEPT
Trace bounds, interpolation and phase rigidity
Unitary rank-one trace and scalar analytic certificates for the spectral moment argument.
Closed
DIRECT PREREQUISITES0
DIRECT CONSEQUENCES2
PROOF DEPTH0
DOCUMENT LINKS0
The finite rank-one trace identity
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
None recorded in this release.
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- A strict gap for the noisy GHZ witness boundstructural-affinity · Closed
- DetectorSensorDickeOptimalitystructural-affinity · Closed
- Multi-entropy positivity fails on three qutritsstructural-affinity · Closed
- Schur–Frobenius inequality and equalitystructural-affinity · Closed
- Support forests and edge-word reflectionstructural-affinity · Closed
- Tang–Zhang's sharp order −2 inequalitystructural-affinity · Closed
- The sharp spectral moment inequalitystructural-affinity · Closed
- The ten-setting GHZ witness in odd dimensionsstructural-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