Quantum / CONCEPT
KrausLeftInverseNecessity
Actual finite Kraus left inversion forces scalar error products. Scalarity of composite Kraus maps is derived from a positive commutator defect. The represented-family quantifier is explicit.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES5
PROOF DEPTH1
DOCUMENT LINKS1
identity kraus commute
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
- A qutrit obstruction to CP-filter equivalence with the channel transposetruth-dependency · Closed
- FiniteLocalRecoveryObstructiontruth-dependency · Closed
- FiniteLocalSharedLabelRecoverytruth-dependency · Closed
- ProbeComponentRigiditytruth-dependency · Closed
- SpectralRecoveryCorrectnesstruth-dependency · Closed
RELATED KNOWLEDGE
Structural connections
- A qutrit obstruction to CP-filter equivalence with the channel transposestructural-affinity · Closed
- A qutrit obstruction to positive/CP factorization of the channel transposestructural-affinity · Closed
- FiniteLocalRecoveryObstructionstructural-affinity · Closed
- FiniteLocalSharedLabelRecoverystructural-affinity · Closed
- IsometricCompressionstructural-affinity · Closed
- ProbeComponentRigiditystructural-affinity · Closed
- Relative quantumness can increase under a commutativity-preserving channelstructural-affinity · Closed
- SpectralRecoveryCorrectnessstructural-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