Quantum / CONCEPT
ConstructionReduction
Public declarations of ConstructionReduction, with complete parameters and the Lean operations.
Closed
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES4
PROOF DEPTH1
DOCUMENT LINKS0
Block diagonal matrix-vector action
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
- Binegativity is not monotone under one-way LOCCstructural-affinity · Closed
- Finite Detection Dark Spacestructural-affinity · Closed
- Log-Determinant Information Submodularitystructural-affinity · Closed
- Negativity and structured negativity differ for a pure two-qutrit statestructural-affinity · Closed
- Noisy entanglement curvature can exceed quantum Fisher informationstructural-affinity · Closed
- Optimal witnesses with an optimal sumstructural-affinity · Closed
- Strong subadditivity of bosonic Gaussian Renyi entropystructural-affinity · Closed
- The power Poisson density and its Stieltjes transformstructural-affinity · Closed
- The three-state root-fidelity Holevo boundstructural-affinity · Closed
- The upper binegativity bound of Girard and Gour failsstructural-affinity · Closed
- UniformParameterAnchorstructural-affinity · Closed
- UniformPerturbedParametersstructural-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