Alphabeta Math
Open problemQuestion: AI-adaptedProof: Not applicable
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.

Accumulated error of the uncalibrated augmented checks

PDF p. 16: Remark: uncalibrated lifts, final sentence; final S4 paragraph

Open problem

For either the spin-five Æ code or the spin-four Aydin–Barg code, with initial spin J0=5 or 4, respectively, consider the proposed ideal augmented check. The code is the two-dimensional subspace C spanned by its displayed logical codewords; Jz is the spin component whose magnetic-basis eigenvalue is m. The check distinguishes C from D=JzC in the initial spin manifold and applies the specified inverse isometry W:D→C on the D outcome. The lift is uncalibrated: its strength is not supplied to the recovery rule.

Adopt the general bounded diagonal lift postulate on the finite integer-spin blocks J=0,…,N with N≥J0, including its physical, spectral and choice hypotheses. Specialize its lift to Δ(J,m)=Δ0Jm for real Δ0. The noise evolution over an interval τ≥0 is the exact finite GKSL channel specified there by the Hamiltonian H and the three downward jumps Lδ, δ=−1,0,1. For short-checking asymptotics use its regime γτ≪1 and ∣Δ0∣J02τ≪1. The host-manifold null-branch rotation is e−iθJz with θ=Δ0J0τ.

Determine the higher-order residual errors and their accumulated effect under the complete repeated-check channel, including the decay and other outcome branches of the modeled evolution. In particular, combine this noise evolution with specified outcome maps, conditional recovery operations and treatment of all outcomes sufficiently to define that channel, and determine its dependence on the lift and checking interval. The first-order isolated-rotation result below does not by itself determine this repeated-channel performance.

Status

The article identifies the accumulated higher-order performance of this uncalibrated extension as future work. The supplied article is dated September 24, 2026. No later status search or solution is claimed here.

Facts & Assumptions

[F1]

The proposed check uses orthogonal outcomes for C, D, the remainder of the initial spin manifold, and its orthogonal complement; it applies W on the D branch and retains the original check's conditional procedure on the complementary-manifold branch. Proposed augmented Jz syndrome check for an uncalibrated lift

[F2]

For an isolated rotation e−iθJz of a code density operator, the sum of the unnormalized C and corrected D outputs is the input plus O(θ2) in trace norm as real θ→0. This is a single-check result. Well-defined augmented syndrome and first-order rotation correction

[F3]

The general-lift postulate supplies the finite Hamiltonian, three phenomenological downward jumps and exact GKSL noise channel, together with their physical and spectral hypotheses. Here take N≥J0 and Δ(J,m)=Δ0Jm; its short-checking regime is γτ≪1 and ∣Δ0∣J02τ≪1. General bounded diagonal lift for fast-checking analysis

[A1]

Adopt the Axiom of Choice, Countable Choice and Dependent Choice as carried by the stated augmented-check and single-check interfaces. The Axiom of Choice The Axiom of Countable Choice (AC_ω) The axiom of dependent choice: a relation in which every element is related to something admits an ℕ-indexed chain

Depends on

Dependency tree · 2 levels

Each result is drawn at its shortest distance from this item. Arrows run from prerequisites to the items that use them; this item has a heavier outline. External source nodes link directly to the cited text. The view shows up to two dependency steps; open a prerequisite to continue.

Sources