Quantum / CONCEPT
Gram order and decreasing singular values
Gram order and decreasing singular values.
Closed
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES7
PROOF DEPTH2
DOCUMENT LINKS0
Hermitian eigenvalue order
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
- Actual three-node SortedLimitstruth-dependency · Closed
- Expanding square matrices and their singular valuestruth-dependency · Closed
- Phase normalizationtruth-dependency · Closed
- Scalar perturbation of sorted singular valuestruth-dependency · Closed
- Singular values of nonnegative diagonal matricestruth-dependency · Closed
- The lower Gelfand–Naimark ratio inequalitytruth-dependency · Closed
- The trace-corrected arithmetic boundtruth-dependency · Closed
RELATED KNOWLEDGE
Structural connections
- A counterexample to the Han–Wang–Yu spectral hull conjecturestructural-affinity · Closed
- Actual three-node SortedLimitsstructural-affinity · Closed
- CompoundMatricesstructural-affinity · Closed
- Expanding square matrices and their singular valuesstructural-affinity · Closed
- Hermitian pencil crossingstructural-affinity · Closed
- HermitianEigenvaluePerturbationstructural-affinity · Closed
- Higher exterior traces of the perimeter matrixstructural-affinity · Closed
- Malkoun's two-matrix elementary symmetric inequalitystructural-affinity · Closed
- Non-backtracking Laplacian gapstructural-affinity · Closed
- Phase normalizationstructural-affinity · Closed
- ProductLogMajorizationstructural-affinity · Closed
- Scalar perturbation of sorted singular valuesstructural-affinity · Closed
- Singular values of nonnegative diagonal matricesstructural-affinity · Closed
- The lower Gelfand–Naimark ratio inequalitystructural-affinity · Closed
- The trace-corrected arithmetic boundstructural-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