Quantum / CONCEPT
Cotfas discrete Gaussian positivity
The covariance uncertainty condition makes the trace-normalized mixed discrete Gaussian a density operator.
Closed
DIRECT PREREQUISITES4
DIRECT CONSEQUENCES2
PROOF DEPTH6
DOCUMENT LINKS0
Trace normalization preserves positivity
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
- A correlation-minor bound fails without filter normal formstructural-affinity · Closed
- Error and disturbance below the endpoint minimumstructural-affinity · Closed
- FiniteGaussianSchoenbergstructural-affinity · Closed
- Hermitian SLD energystructural-affinity · Closed
- Metrotropy can exceed half the ergotropystructural-affinity · Closed
- Native operators and bounds for the equal-spin diamondstructural-affinity · Closed
- Pure covariant programs do not match the mixed dimensionstructural-affinity · Closed
- Refutation of the local-versus-global Gaussian thermometry conjecturestructural-affinity · Closed
- Singlet exclusion for the equal-spin diamondstructural-affinity · Closed
- Singlet padding and the universal precession thresholdstructural-affinity · Closed
- Temporal Hardy attainment for every positive spinstructural-affinity · Closed
- The qutrit Weyl--Bloch one-normstructural-affinity · Closed
- The sharp A|BC constant of the GHZ measurestructural-affinity · Closed
- Thermal Coefficient Floorstructural-affinity · Closed
- Two-classical dephasing without an unbiased measurementstructural-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