Quantum / CONCEPT
Zhang–Li Problem 3 for matrices of rank at most one
Zhang–Li Problem 3 for matrices of rank at most one.
Closed
DIRECT PREREQUISITES5
DIRECT CONSEQUENCES0
PROOF DEPTH5
DOCUMENT LINKS0
The rank-one infimum equals the permutation minimum
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
- Balanced inverse-adjoint averages are expandingtruth-dependency · Closed
- Norm products from an expanding-factor lower boundtruth-dependency · Closed
- Opposite matching minimizes expanding diagonal productstruth-dependency · Closed
- Rank-one Hadamard products and nonnegative diagonal weightstruth-dependency · Closed
- Unitarily invariant norms and symmetric diagonal gaugestruth-dependency · Closed
Certified topology / DOWNSTREAM
Consequences
None recorded in this release.
RELATED KNOWLEDGE
Structural connections
- Balanced inverse-adjoint averages are expandingstructural-affinity · Closed
- Continuity and balanced scalar optimizationstructural-affinity · Closed
- Expanding square matrices and their singular valuesstructural-affinity · Closed
- Norm products from an expanding-factor lower boundstructural-affinity · Closed
- Opposite matching minimizes expanding diagonal productsstructural-affinity · Closed
- Rank-one Hadamard products and nonnegative diagonal weightsstructural-affinity · Closed
- The lower Gelfand–Naimark ratio inequalitystructural-affinity · Closed
- Unitarily invariant norms and symmetric diagonal gaugesstructural-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