trureturingGitHub MATHEMATICAL ATLAS

Quantum / CONCEPT

Cartesian variance

A pure vector maximizes the Cartesian matrix variance.

Closed Authored exposition
DIRECT PREREQUISITES5
DIRECT CONSEQUENCES23
PROOF DEPTH6
DOCUMENT LINKS0
THEOREM

Density matrices exist in positive dimension

RELATIONSHIP ATLAS

Every connection, in context.

Explore in 3D
Direct recorded relationships
Projection Commutator IdentityProjection Commutator IdentityBourin–Lee Conjecture 3.3Bourin–Lee Conjecture 3.3Universal Replacement Capacity GrowthUniversal Replacement CapacityGrowthFinite-Dimensional Physical FiberFinite-Dimensional PhysicalFiberNumerical ranges and compressionNumerical ranges andcompressionCartesian varianceCartesian varianceWeak products do not preserve edge-complexity equalityWeak products do not preserveedge-complexity equalityEntropy under entrywise modulus in dimension threeEntropy under entrywise modulusin dimension threeGeneralized Choi maps and absolute PPTGeneralized Choi maps andabsolute PPTFormation is not constant on the three-vector subspaceFormation is not constant onthe three-vector subspaceSchmidt-number bounds for incomplete equiangular measurementsSchmidt-number bounds forincomplete equiangularmeasurementsCommutator gap and scalar translationCommutator gap and scalartranslationZero diagonal blocksZero diagonal blocksThe diagonal difference boundThe diagonal difference boundRadial convexity and endpoint derivativesRadial convexity and endpointderivativesAbsoluteTwoIncoherencePurityRefutationAbsoluteTwoIncoherencePurityRefutationError and disturbance below the endpoint minimumError and disturbance below theendpoint minimumFactorWidthTwoConeFactorWidthTwoConeIncoherentConeIncoherentConeOverlapLowRankDistanceOverlapLowRankDistancePositive Branch Reachability and ResponsePositive Branch Reachabilityand ResponseOptimal visibility for calibrated joint measurementsOptimal visibility forcalibrated joint measurementsRico–Życzkowski nonlinear monotone refutationRico–Życzkowski nonlinearmonotone refutationA supporting functional at every pure bipartite stateA supporting functional atevery pure bipartite stateEntangled inputs violate output maximal coherence tensorizationEntangled inputs violate outputmaximal coherence tensorizationQubitWassersteinCouplingsQubitWassersteinCouplingsWassersteinComplexityNonconvexWassersteinComplexityNonconvexThe sharp odd-prime unentangled communication boundThe sharp odd-prime unentangledcommunication boundSchur–Frobenius inequality and equalitySchur–Frobenius inequality andequality
Proof dependencyStructural affinityDocument link

Certified topology / UPSTREAM

Prerequisites

Certified topology / DOWNSTREAM

Consequences

RELATED KNOWLEDGE

Structural connections

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 archive

Certified provenance

Exact release coordinate

Authority boundary

Dependency edges, status, and source coordinates come from the verified release and certified topology. Blueprint exposition is labeled separately. A fallback title carries no additional mathematical authority.