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.

Degeneracy lifting that also modifies jump operators

PDF p. 5: Discussion, final paragraph

Open problem

Extend the article's analysis to models in which lifting degeneracy changes the jump operators as well as transition energies. Determine how the resulting environmental distinguishability and recovery performance depend on the lift, beyond an approximation that holds the jump operators fixed.

One concrete class for investigation is the affine lift, coupling, and jump-operator family of An affine family of lifts and couplings, with at least one nonzero Ba. The real parameter s controls both the diagonal Hamiltonian lift and the candidate jump matrices. A jump operator is a matrix specified as part of a proposed dissipative noise model; a coupling matrix specifies a proposed system-side interaction with an environment. Their affine dependence is an assumption for this class, not a derivation of the jump matrices from the couplings. For a physical calculation, specify a bath, a relation between the coupling and jump matrices, and a valid dynamical approximation or exact dynamics separately.

For each specified channel generated by such a model at a stated time, and each specified code isometry, characterize the dependence on s of the environmental record and of a stated recovery performance measure, including any optimized decoder. Environmental distinguishability means the extent to which the chosen complementary record differs for code inputs; a quantitative answer must specify both the inputs and a distance or discrimination task. Recovery performance must likewise specify its fidelity criterion and allowed recoveries. These questions do not restrict the broader future direction to affine families or assert a universal answer independent of the bath and code.

Status

The article proposes the extension as future work. As of 2026-11-14, a search for the article and this direction did not establish a subsequent solution; that limited search does not establish worldwide unsolved status. No solution is claimed here.

Facts & Assumptions

[F1]

The affine family has explicit Lipschitz bounds on its coupling and jump matrices, and a diagonal lift changes a directed transition energy by the difference of the lift's source and destination eigenvalues. An affine family of lifts and couplings Calibrated diagonal lifts and transition phase differences

[F2]

A code is specified by an isometry, and a decoded logical channel is the composition of encoding, noise, and decoder. Code restriction and decoded channel types

[F3]

For a specified finite Kraus representation, the complementary record is obtained from its isometric dilation by tracing out the output system; independence of the full record is a condition on all code density operators. Complementary error records in a Kraus basis

[A1]

The family, bath, dynamics, code, time, discrimination task, and recovery criterion are inputs to each proposed calculation. Their selection is not an observation or a solution of the question.

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