Alphabeta Math
CounterexampleConstruction: AI-adaptedVerification: AI-generatedPipeline-generated
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 L≥3, 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 VL=−ΔL(I−ΠL) closes the gap above the original code space and enlarges the ground space, where ΠL is the ground projector and ΔL=4min⁡(Je,Jm). 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 L≥3, couplings Je,Jm>0, and its code projector ΠL.

[F1]

Exact finite-volume toric-code gap: the code is the ground space, the ground energy is Eg=−L2(Je+Jm), and the exact gap is ΔL=4min⁡(Je,Jm)>0.

[F2]

Exact indistinguishability in a contractible disk: every operator supported in the stated contractible disk has scalar compression to the code.

[F3]

A toric logical string has constant energy barrier: one noncontractible logical string has an unperturbed Pauli-path energy barrier at most 4min⁡(Je,Jm).

[F4]

The periodic toric code encodes two qubits: ΠL has rank four, while the full Hilbert space has dimension 22L2>4.

[F5]

Finite toric-code Hamiltonian: HL is a finite self-adjoint operator on the 22L2-dimensional register.

Counterexample

1.1F1F2F3F4F5givenalgebra

Since [F1] identifies the code as the ground eigenspace of the self-adjoint finite operator [F5], its orthogonal projector ΠL commutes with HL: for ψ in the code and η⊥C, ⟨ψ,HLη⟩=⟨HLψ,η⟩=Eg⟨ψ,η⟩=0. The complement is nonzero by [F4], so the restriction of HL to it has a least eigenvalue. By [F1] that eigenvalue is Eg+ΔL. The other finite-volume properties [F2] and [F3] concern this same unperturbed Hamiltonian and code.

2.1F1F4F5step 1.1constructalgebra

Define VL=−ΔL(I−ΠL). The operator I−ΠL is a nonzero orthogonal projection by [F4], so VL is self-adjoint and ∥VL∥=ΔL. It vanishes on the code and subtracts ΔL 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.

3.1F1F2F3step 2.1algebra∎

The code eigenvalue remains Eg after adding VL. Every excited eigenvalue E≥Eg+ΔL becomes E−ΔL≥Eg, and a nonzero eigenspace with E=Eg+ΔL now also has eigenvalue Eg. 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