Quantum / CONCEPT
Bourin–Lee Conjecture 3.3
For every n >= 1, the Euclidean operator-norm inequality for all positive block completions forces the off-diagonal complex n-by-n matrix to be essentially Hermitian. No invertibility or distinct-singular-value assumption is required.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES5
PROOF DEPTH2
DOCUMENT LINKS0
Rank-one trace pairing
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
- Cartesian variancetruth-dependency · Closed
- Contraction decompositions and separable scalar shiftstruth-dependency · Closed
- Local forms of commuting qubit factorstruth-dependency · Closed
- QuditPartialEstimationTradeofftruth-dependency · Closed
- Unitary spectral blocks and the tensor boundtruth-dependency · Closed
RELATED KNOWLEDGE
Structural connections
- Cartesian variancestructural-affinity · Closed
- Contraction decompositions and separable scalar shiftsstructural-affinity · Closed
- Local forms of commuting qubit factorsstructural-affinity · Closed
- Numerical ranges and compressionstructural-affinity · Closed
- Quantitative edges of a positive and negative block spikestructural-affinity · Closed
- QuditPartialEstimationTradeoffstructural-affinity · Closed
- Residual-Driven Projective Energystructural-affinity · Closed
- The spectral degree exponent fails submodularitystructural-affinity · Closed
- Unitary spectral blocks and the tensor 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