Quantum / CONCEPT
Expanding square matrices and their singular values
Expanding square matrices and their singular values.
Closed
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES1
PROOF DEPTH3
DOCUMENT LINKS0
Expansion implies invertibility
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
- Balanced inverse-adjoint averages are expandingstructural-affinity · Closed
- Continuity and balanced scalar optimizationstructural-affinity · Closed
- Finite Trace Distancestructural-affinity · Closed
- Gram order and decreasing singular valuesstructural-affinity · Closed
- Norm products from an expanding-factor lower boundstructural-affinity · Closed
- Opposite matching minimizes expanding diagonal productsstructural-affinity · Closed
- Phase normalizationstructural-affinity · Closed
- Rank-one Hadamard products and nonnegative diagonal weightsstructural-affinity · Closed
- Scalar perturbation of sorted singular valuesstructural-affinity · Closed
- Second eigenvalue of the inner-face Apollonian stagesstructural-affinity · Closed
- Singular values of nonnegative diagonal matricesstructural-affinity · Closed
- The lower Gelfand–Naimark ratio inequalitystructural-affinity · Closed
- Unequal block dilation spectrastructural-affinity · Closed
- Zhang–Li Problem 3 for matrices of rank at most onestructural-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