How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
A finite toric gap does not imply arbitrary perturbation stability
Statement
For each finite , the toric Hamiltonian has an exact positive gap, contractible-disk local indistinguishability, and a constant upper bound on a logical-string energy barrier. These unperturbed facts alone do not imply stability under arbitrary perturbations: the explicit global-projector perturbation closes the gap above the original code space and enlarges the ground space, where is the ground projector and . This does not refute stability theorems for sufficiently small local perturbations, and it makes no claim about thermal dynamics or a material realization.
Facts & Assumptions
Given: The finite periodic toric Hamiltonian with , couplings , and its code projector .
Exact finite-volume toric-code gap: the code is the ground space, the ground energy is , and the exact gap is .
Exact indistinguishability in a contractible disk: every operator supported in the stated contractible disk has scalar compression to the code.
A toric logical string has constant energy barrier: one noncontractible logical string has an unperturbed Pauli-path energy barrier at most .
The periodic toric code encodes two qubits: has rank four, while the full Hilbert space has dimension .
Finite toric-code Hamiltonian: is a finite self-adjoint operator on the -dimensional register.
Counterexample
Since [F1] identifies the code as the ground eigenspace of the self-adjoint finite operator [F5], its orthogonal projector commutes with : for in the code and , . The complement is nonzero by [F4], so the restriction of to it has a least eigenvalue. By [F1] that eigenvalue is . The other finite-volume properties [F2] and [F3] concern this same unperturbed Hamiltonian and code.
Define . The operator is a nonzero orthogonal projection by [F4], so is self-adjoint and . It vanishes on the code and subtracts from every eigenvalue on the orthogonal complement. The construction uses the global code projector and is not asserted to belong to a local perturbation class.
The code eigenvalue remains after adding . Every excited eigenvalue becomes , and a nonzero eigenspace with now also has eigenvalue . Thus the original code is no longer the full ground space: the energy gap above that four-dimensional code space is zero and the perturbed ground space is strictly larger. The finite unperturbed gap, local indistinguishability, and barrier statements therefore do not by themselves prove stability against arbitrary perturbations. No thermal evolution or material model was specified, so no memory-lifetime or physical-phase conclusion follows from these finite operator facts.
Depends on
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
25 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- Alexei Kitaev, Fault-tolerant quantum computation by anyons (standard reference, not scraped)
- Eric Dennis, Alexei Kitaev, Andrew Landahl, and John Preskill, Topological quantum memory (standard reference, not scraped)
- John Preskill, Quantum Computation, Chapter 9: Topological Quantum Computation (standard reference, not scraped)