Quantum / CONCEPT
ConditionalTwoPositiveSpectralBound
ConditionalTwoPositiveSpectralBound for the spectral bound of conditionally two-positive maps.
Closed
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES0
PROOF DEPTH5
DOCUMENT LINKS1
result
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 reference preserves CCZ magic beyond one thirdstructural-affinity · Closed
- FaithfulPerronRegularizationstructural-affinity · Closed
- Lindblad embeddability of the noisy Werner-Holevo channelstructural-affinity · Closed
- Purely non-unital eternal non-Markovianitystructural-affinity · Closed
- Three-weight Pauli channels have Bayesian inverses only at the maximally mixed statestructural-affinity · Closed
- TracePreservingEigenvalueBoundstructural-affinity · Closed
- TwoPositiveTransitionTracestructural-affinity · Closed
- Uniqueness of the upper-boundary deferred-measurement instrumentstructural-affinity · Closed
Documents & exposition
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance