Quantum / CONCEPT
Strong subadditivity of bosonic Gaussian Renyi entropy
Bosonic Gaussian Renyi entropy satisfies strong subadditivity for every order from zero to two, with zero and one excluded.
Closed
DIRECT PREREQUISITES4
DIRECT CONSEQUENCES0
PROOF DEPTH7
DOCUMENT LINKS0
Strong subadditivity of the covariance entropy
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
None recorded in this release.
RELATED KNOWLEDGE
Structural connections
- A positive logarithmic representation of bosonic Renyi entropystructural-affinity · Closed
- ConstructionReductionstructural-affinity · Closed
- Log-Determinant Information Submodularitystructural-affinity · Closed
- Logarithmic Endpoint Variationstructural-affinity · Closed
- Logarithmic Mellin Reservestructural-affinity · Closed
- Omitted Euler Tail on the Next Prime Clockstructural-affinity · Closed
- Refutation of the local-versus-global Gaussian thermometry conjecturestructural-affinity · Closed
- The power Poisson density and its Stieltjes transformstructural-affinity · Closed
- Weil: Zeta Bounds Upperstructural-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