RemarkRemark: AI-adaptedProof: AI-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.

Frequency shifts, which-path records, and passive protection

PDF p. 1: Introduction and abstract

Remark

A monolithic encoding stores logical information in the levels of one physical system. The article describes residual Zeeman or Stark shifts and anharmonicity, including Kerr nonlinearity, as mechanisms that can separate nominally coincident transition frequencies, leave which-path information in the environment and weaken recoverability. A transition frequency is the initial minus final energy in units with $ℏ = 1$ ; which-path information means information in an environmental record that distinguishes alternative physical error paths. The article compares this effect with the complementarity of which-path information and interference visibility.

The article also relates the issue to decoherence-free subspaces and noiseless subsystems, whose passive protection can degrade when system–bath coupling symmetry is broken. In the interface used here, a noiseless subsystem has a logical tensor factor on which every channel in a specified family acts as the identity while a gauge factor may evolve; a decoherence-free subspace is the one-dimensional-gauge case. Whether a particular perturbation destroys that factorization is a separate model-dependent question.

Exact quantum error correction asks for a recovery channel whose composition with the noise and encoding is the identity on logical operators. For a finite-dimensional isometric code with nonzero logical space and projector $P$ , and a channel between finite-dimensional operator spaces with finite Kraus family $(E_{a})$ , exact correction requires the Knill–Laflamme conditions $P E_{a}^{†} E_{b} P = c_{a b} P$ for scalars $c_{a b}$ and all indices $a, b$ . The article notes that approximate quantum error correction can still provide useful protection when these exact conditions fail. Approximate protection means that a specified recovery has suitably small error under a specified performance measure; failure of exact correction alone supplies no quantitative guarantee.

Remark references

Monolithic encoding and degenerate error processes

Calibrated diagonal lifts and transition phase differences

Bosonic loss, Kerr shifts and finite-code comparison scope

Complementary error records in a Kraus basis

Syndrome flags and logical-state-independent environmental records

Passive subspace and subsystem protection interface

Dimensional boundary of a rank-one KL obstruction

Exact recovery implies the Knill–Laflamme condition

Source-dependent versus uniform Zeeman shifts

Facts & Assumptions

[F1]

Suppose the finite-dimensional unperturbed Hamiltonian $H_{0}$ is diagonal in the same specified orthonormal basis as the lift $D = \sum_{x} d_{x} ∣ x ⟩ ⟨ x ∣$ , with real entries $d_{x}$ , and $x, y$ label energy eigenstates of $H_{0}$ . Replacing $H_{0}$ by $H_{0} + D$ shifts the transition energy for $x \to y$ by $d_{x} - d_{y}$ ; its operator phase difference evolves accordingly. Calibrated diagonal lifts and transition phase differences

[F2]

Assuming Countable Choice, the prescribed one-mode Kerr model has adjacent downward transition frequencies $ω + K (n - 1)$ for $n \geq 1$ . Bosonic loss, Kerr shifts and finite-code comparison scope The Axiom of Countable Choice (AC_ω)

[F3]

For a finite Kraus representation, the complementary record is the environment output of the associated dilation. Logical-state independence means equality of the entire record for all encoded density operators, not merely equality of chosen outcome probabilities. Complementary error records in a Kraus basis Syndrome flags and logical-state-independent environmental records

[F4]

For a finite-dimensional code of logical dimension at least two, exact correction of a channel whose Kraus family contains a nonzero rank-one operator $E x = ⟨ x, s ⟩ f$ implies $P s = 0$ , where $P$ is the code projector and the inner product is linear in its first argument. Dimensional boundary of a rank-one KL obstruction

[F5]

The passive subsystem interface requires the specified channel factorization for every channel in the family; the one-dimensional gauge case gives its decoherence-free-subspace convention. Passive subspace and subsystem protection interface

[F6]

Under Countable Choice, the independent one-mode case of the transition-shifts theorem gives $g_{n + 1} - g_{n} = K$ for $g_{n} = ω + K (n - 1)$ , $n \geq 1$ ; thus $K \neq 0$ separates consecutive downward gaps. Only that theorem's one-mode case is used here. Source-dependent versus uniform Zeeman shifts The Axiom of Countable Choice (AC_ω)

[A1]

Assume Countable Choice for the one-mode Fock-space model in [F2]. The Axiom of Countable Choice (AC_ω)

Justification

Given: The hypotheses of each named finite-dimensional interface, and Countable Choice for the separate one-mode example.

Goal: Explain the conditional connections without inferring an environmental record or a recovery fidelity from energy shifts alone.

1.1 By [F1], when $H_{0}$ and $D$ are diagonal in the same specified orthonormal basis and the transition labels denote energy eigenstates of $H_{0}$ , two initially coincident transitions acquire different transition energies when their lift differences $d_{x} - d_{y}$ differ. For the separate one-mode example [F2], the separation conclusion is supplied by the independent Kerr case in [F6], under [A1]. These energy and phase statements supply no system–environment interaction. [F1, F2, F6, A1, algebra]

2.1 By [F3], a logical-state-dependent environmental record requires two encoded density operators to produce different full environment outputs. The energy data in step 1.1 do not specify that complementary channel, so the record and its distinguishability require additional dynamical assumptions. A syndrome outcome is a specified measurement outcome on the record; independence of its distribution alone need not imply independence of the full record. [F3, step 1.1]

3.1 If, in addition to the hypotheses of [F4], $P s \neq 0$ , its contrapositive rules out exact correction for that channel and code. Separately, [F5] makes preservation of passive protection a factorization condition on the perturbed channels; the phrase broken symmetry by itself does not establish whether this condition fails. Neither conclusion specifies an approximate-recovery error or an observed effect. [F4, F5, step 2.1] ∎

Source notes

The qualitative physical background and comparison with interference are attributed to the article. The conditional calculations above use the stated supplier interfaces; they do not establish the article's general physical mechanism for an unspecified bath or make the article a prerequisite for its own claim.

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

Monolithic Quantum Error Correction in the Presence of Distinguishability · PDF p. 1, abstract and Introduction