Quantum / CONCEPT
UniformParameterAnchor
Public declarations of UniformParameterAnchor, with complete parameters and the Lean operations.
Closed
DIRECT PREREQUISITES3
DIRECT CONSEQUENCES1
PROOF DEPTH3
DOCUMENT LINKS0
Uniform.epsilon_pos
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 dimension witness for delayed remote controlstructural-affinity · Closed
- A local measure-and-reset refutes the LOCC monotonicity of I2structural-affinity · Closed
- A state stabilized by binary operators that is not locally a stabilizer statestructural-affinity · Closed
- ConstructionReductionstructural-affinity · Closed
- Hermitian pencil crossingstructural-affinity · Closed
- HermitianEigenvaluePerturbationstructural-affinity · Closed
- MaximalBirankEdgeStatesstructural-affinity · Closed
- UniformPerturbedParametersstructural-affinity · Closed
- Wigner distance minimum attainmentstructural-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