Bosonic anharmonicity and finite-energy GKP tradeoff

PDF p. 5: Discussion, first paragraph

The article extends its which-path discussion to bosonic codes in weakly anharmonic oscillators. An oscillator is anharmonic when its successive transition frequencies are not all equal; a which-path record is environmental information that can distinguish alternatives for the initial state or decay event. The article says that frequency shifts can make nominally degenerate decay events partially distinguishable. It also describes this as a practical constraint in circuit quantum electrodynamics (circuit QED), while noting that the same anharmonicity is needed for level addressability: the ability to selectively address transitions between specified levels.

For Gottesman–Kitaev–Preskill (GKP) oscillator codes, whose ideal code states are nonnormalizable comb states, the article describes a competing effect: increasing the mean photon number $\bar{n}$, the mean occupation of the oscillator, better approximates the ideal code, while Kerr shifts make occupied Fock states more distinguishable. It suggests that this contributes to an optimal envelope size and that logical lifetime need not improve monotonically with $\bar{n}$. These are the article's qualitative claims; this passage supplies neither a bosonic lifetime calculation nor a measured lifetime. The bosonic-scope definition below specifies a GKP qubit family by two interleaved position combs, and Gaussian approximate wavefunctions with peak width $\mathrm{\Delta }$ and envelope width ${\kappa }^{-1}$. In that prescription, an ideal-code approximation concerns narrow peaks and a broad envelope; envelope width or mean occupation alone is not a universal measure of approximation quality.

In the prescribed Kerr model below, nonzero anharmonicity separates adjacent downward transition frequencies. Whether a bath actually records those differences, and how the logical lifetime changes, depend on additional dynamics and on the chosen encoding, recovery and lifetime criterion. In particular, the finite-dimensional environment-independence result stated below is a conditional diagnostic, not a direct theorem about an infinite-dimensional oscillator.

Bosonic loss, Kerr shifts and finite-code comparison scope

Complementary error records in a Kraus basis

Syndrome flags and logical-state-independent environmental records

Environment-state independence under KL

Given: The prescribed Kerr model under Countable Choice, and separately the finite-dimensional channel and code hypotheses in [F2] and [F3].

Goal: Explain the conditional frequency separation and the limits of the record and lifetime conclusions.

1.1 By [F1], the downward transition frequencies for $n\to n-1$ and $(n+1)\to n$ differ by $K$. Thus they are unequal when $K\mathrm{\ne }0$. The energy model specifies those frequencies but does not specify a system–bath interaction or a complementary channel that resolves them. [F1, A1, algebra]

2.1 In the separate finite-dimensional setting, [F2] defines logical leakage through a dependence of the full environment output on the encoded density operator, and [F3] rules out that dependence when the stated Knill–Laflamme conditions hold. Step 1.1 alone does not establish those finite-dimensional hypotheses or an environmental record. Likewise, [F1] requires an encoding family, noise, recovery, fidelity and threshold before a lifetime comparison is defined; the frequency separation alone supplies no monotonicity conclusion. [F1, F2, F3, step 1.1] ∎

The article cites references [20, 21, 49, 50] in its circuit-QED and Kerr/lifetime discussion; those references have not been independently read for this item. The GKP construction itself is supplied independently by the original Gottesman–Kitaev–Preskill paper, as recorded in the bosonic-scope definition. The conditional argument uses the named suppliers and does not treat the article's discussion as proof of a prerequisite or as an experimental observation.