PaperlayerView exact revision on arXiv

Source-linked AI summary

On the Structure of Quantum Finite-Level Systems: Decoherence-Free Subsystems, Quantum Nondemolition Variables, and Back-Action-Evading Measurements

Jia Gu, Guofeng Zhang, Ian R. Petersen

arXiv:2610.30616v1quant-phcs.SYeess.SY

TL;DR

Finite-level quantum systems are useful for information processing, but their use depends on engineering protected degrees of freedom and extracting information without severely perturbing quantities of interest. The paper develops structural tools for analyzing these systems and identifies observables that evolve autonomously, decoupled from the input and output fields.

  • Problem

    Using finite-level quantum systems for information processing depends on engineering selected degrees of freedom, protecting information from environmental disturbances, and extracting information without severely perturbing quantities of interest.

    Source: §I · p. 1

  • Method

    The paper characterizes structure-preserving transformations, introduces strongly aligned subspaces and relative admissibility, and derives conditions for DFSs, QND variables, and BAE measurements.

    Source: §I · p. 2

  • Results

    The analysis identifies system observables whose evolution is decoupled from input and output fields, and constructs DFSs in general orthonormal Hermitian and generalized Gell-Mann bases.

    Source: §I · p. 2, E. Structural decomposition · p. 7, A. Block-adapted bases and relative… · p. 9

  • Takeaways & Limitations

    The identified autonomous observables and DFS constructions provide structural ways to isolate system degrees of freedom from environmental influence.

    Source: §I · p. 2, E. Structural decomposition · p. 7

    The spectral-separation criterion concerns the algebra generated by output-signal observables and does not assert exact reconstruction from a finite noisy measurement record.

    Source: B. QND observables in the sense of… · p. 10

Abstract

from arXiv · show

The purpose of this paper is to conduct a comprehensive structural analysis of quantum finite-level systems in the Heisenberg picture, where the evolution of system observables is modeled by bilinear quantum stochastic differential equations (QSDEs). Firstly, real coordinate transformations that preserve commutation and anticommutation relations are characterized, and relative admissibility between different orthonormal Hermitian bases is formulated. Secondly, strongly aligned subspaces are introduced, based on which decoherence-free subsystems (DFSs) are constructed in general orthonormal Hermitian basis as well as the generalized Gell-Mann basis. Thirdly, conditions for the existence of quantum nondemolition (QND) variables are given in terms of both linear systems theory and spectral separation by output-signal observables. Finally, a sufficient condition for quantum back-action-evading (BAE) measurements is established. A four-qubit nearest-neighbor Heisenberg chain with collective dephasing illustrates these structural properties of quantum finite-level systems.

I. INTRODUCTION

Finite-level systems serve as carriers of quantum information, but their bilinear QSDE dynamics make structural analysis more complex than in linear quantum systems. This paper develops a structural analysis of their observables, including DFS, QND, and BAE results.

I. INTRODUCTION

  • Bilinear QSDEs complicate finite-level system analysis because input increments multiply observables and both antisymmetric and symmetric structure tensors govern their multiplication.The antisymmetric tensor determines commutators, while the symmetric tensor determines the traceless part of anticommutators.Source: §I · pp. 1–2
  • The paper characterizes relation-preserving coordinate transformations, constructs DFSs, derives QND-variable conditions, and establishes a sufficient condition for BAE measurements.A four-qubit nearest-neighbor Heisenberg chain with collective dephasing illustrates the results.Source: §I · p. 2

II. PRELIMINARIES

  • In the Heisenberg picture, an n-level system's spin observables evolve through bilinear QSDEs driven by Bosonic input fields.Source: §II · p. 3

III. STRUCTURAL DECOMPOSITION OF QUANTUM FINITE-LEVEL SYSTEMS

The paper develops a structure-preserving decomposition theory for open n-level quantum systems. It characterizes admissible coordinate transformations by whether transformed observables preserve their commutation and anticommutation relations.

III. STRUCTURAL DECOMPOSITION OF QUANTUM FINITE-LEVEL SYSTEMS

  • The section develops a structure-preserving decomposition theory for the open n-level quantum system.Source: §III · p. 3

A. Admissible maps

  • Admissible transformations are characterized by conditions that hold if and only if the transformed observables preserve their commutation and anticommutation relations.Source: A. Admissible maps · p. 3
  • Under an admissible transformation, the system is rewritten in transformed coordinates, with its system matrices and physical parameters transformed accordingly.Source: A. Admissible maps · p. 4

B. Characterization by unitary conjugation

The paper characterizes admissible transformations using unitary conjugation. It shows that these transformations are exactly the coordinate representations induced by special unitary matrices.

B. Characterization by unitary conjugation

C. Strong alignment

Strongly aligned subspaces identify observable components associated with the center and noncentral part of a unital C*-algebra. The construction provides an algebraic basis for the paper's structural decomposition.

C. Strong alignment

  • A strongly aligned subspace S is paired with an orthogonal subspace Q, whose observable spaces correspond to the noncentral and traceless central Hermitian components of a unital C*-algebra.Source: C. Strong alignment · p. 5
  • The associated algebra A is a finite-dimensional unital C*-algebra, and its decomposition into the specified components is a direct sum.Source: C. Strong alignment · p. 5
  • The definition's maximality conditions make the central and noncentral component identifications equalities rather than mere inclusions.Source: C. Strong alignment · p. 6

D. Artin–Wedderburn decomposition

The Artin–Wedderburn decomposition separates the strongly aligned subspaces into central and noncentral Hermitian parts, interpreting the latter as observables decoupled from the environment. Under Theorem 2’s conditions, the system can be rewritten to expose observables that evolve autonomously from the input and output fields.

D. Artin–Wedderburn decomposition

  • The Artin–Wedderburn decomposition maps the subspaces associated with strong alignment to the traceless Hermitian center and noncentral parts of the algebra.The center consists of Hermitian matrices commuting with every element of the algebra; the noncentral part comprises noncommutative observables.Source: D. Artin–Wedderburn decomposition · pp. 6–7
  • The noncentral traceless Hermitian part provides observables whose evolution is decoupled from the environment in the structural-decomposition result.The decomposition separates these observables from the central Hermitian matrices of the algebra.Source: D. Artin–Wedderburn decomposition · p. 7

E. Structural decomposition

  • The structural decomposition provides observables decoupled from the environment, while the Artin–Wedderburn separation identifies the noncentral part associated with those observables.The noncentral part is distinguished from the traceless Hermitian center.Source: D. Artin–Wedderburn decomposition · p. 7, E. Structural decomposition · p. 7
  • Under Theorem 2’s conditions, the system can be rewritten so that the observables X_S evolve autonomously, decoupled from both input and output fields.The theorem identifies the field-decoupled observables; the decomposition makes their system-matrix structure explicit.Source: E. Structural decomposition · p. 7

IV. DFSS

The paper extends the structural decomposition to general orthonormal Hermitian bases by transforming the basis together with its structure tensors. A block-adapted basis then yields a physically realizable transformed system whose leading subsystem is a decoherence-free subsystem.

IV. DFSS

  • Theorem 2 identifies environment-decoupled observables but does not explicitly decompose the system matrices; this section develops that explicit decomposition.The transformed basis is chosen to align with the subspaces used in the decomposition.Source: §IV · p. 7, A. Block-adapted bases and relative… · p. 7

A. Block-adapted bases and relative admissibility

  • A coordinate transformation generally changes the generalized Gell–Mann structure tensors, so the tensors must be transformed together with the basis to construct a leading DFS block.The generalized Gell–Mann basis is a special case of the general orthonormal Hermitian-basis treatment.Source: A. Block-adapted bases and relative… · p. 7
  • Relative admissibility characterizes transformations that preserve commutation and anticommutation relations when observables are expressed relative to a different orthonormal basis.A unitary U in SU(n) induces a (λ→η)-admissible map.Source: A. Block-adapted bases and relative… · p. 8
  • Theorem 3’s block-adapted basis gives a physically realizable transformed system, with the first p columns of T spanning S and subsequent columns spanning Q and its orthogonal complement.The subsystem in (72a) is a DFS in the η-basis.Source: A. Block-adapted bases and relative… · pp. 8–9

B. DFS under the Gell–Mann basis

The Gell–Mann-basis construction realizes a decoherence-free subsystem when the relevant algebraic subspace is spanned by selected basis matrices. The QND analysis characterizes commuting observables, their autonomous dynamics, and when outputs make them observable.

B. DFS under the Gell–Mann basis

  • When D is spanned by a subset of the selected generalized Gell–Mann basis, an admissible transformation makes its first p columns an orthonormal basis of S and yields the transformed system form.The transformation retains the original structure tensors (f, d).Source: B. DFS under the Gell–Mann basis · p. 9
  • A sufficient condition is one Artin–Wedderburn block of size at least two and multiplicity one, placed in the leading diagonal corner.The condition ensures the relevant subspace is spanned by a subset of the selected generalized Gell–Mann basis.Source: B. DFS under the Gell–Mann basis · p. 9

A. QND observables in the sense of linear systems theory

  • The components of Z mutually commute if and only if condition (79) holds; when condition (80) holds, their span is a commutative unital C∗-algebra.Source: A. QND observables in the sense of… · p. 9
  • When condition (79) holds, the components of Z commute with one another at all times: [Z_i(t), Z_j(s)] = 0 for every i, j and t, s ≥ 0.The vector Z is observable from YM in the standard linear-systems sense.Source: A. QND observables in the sense of… · p. 10

B. QND observables in the sense of spectral separation

The section treats observability of the commutative QND algebra as a spectral-separation question: selected output-signal observables must distinguish its joint spectral subspaces. This algebraic criterion is distinct from reconstructing observables from a finite noisy record.

B. QND observables in the sense of spectral separation

  • The criterion concerns the system algebra generated by the signals, not exact reconstruction from a finite noisy measurement record.The Fℓ are system observables representing the system-dependent signal in the selected measured-output QSDE.Source: B. QND observables in the sense of… · p. 10
  • The selected commuting output-signal observables generate AZ if and only if their joint signal-value vectors distinguish the algebra’s joint spectral subspaces.When the vectors are distinct, the spectral projectors can be obtained from the output-signal observables.Source: B. QND observables in the sense of… · pp. 10–11
  • If two joint signal-value vectors coincide, the output-signal observables generate only a proper subalgebra of AZ.The corresponding spectral projectors cannot both be recovered as polynomials in those observables.Source: B. QND observables in the sense of… · p. 11

VI. BAE MEASUREMENT

The BAE condition is framed as eliminating both direct and system-mediated influence from selected input observables to selected output observables. The illustrative model uses a nearest-neighbor Heisenberg chain with collective dephasing and identifies distinct signals in its two output quadratures.

VI. BAE MEASUREMENT

  • Theorem 6 gives a sufficient condition for Yh to be BAE with respect to Wg: neither direct feedthrough nor a system-variable-mediated path may carry Wg’s influence to Yh.The condition is established through an invariant subspace generated from the selected input directions under the system matrices.Source: §VI · p. 11

A. The model

  • For the four-qubit chain, the exchange Hamiltonian commutes with each collective spin component and with total spin squared.The model couples a single vacuum field channel through L = √κ Jz.Source: A. The model · p. 12
  • The model’s Y1 quadrature carries the Jz magnetization signal, whereas the conjugate Y2 quadrature has no system-dependent signal.The measured magnetization Jz is conserved in this model.Source: A. The model · p. 12

B. An autonomous logical-qubit observable subsystem (DFS)

The example constructs a logical-qubit DFS from the four-qubit chain’s total-spin-zero subspace. Its logical observables form a strongly aligned subsystem whose dynamics are decoupled from environmental inputs and outputs.

B. An autonomous logical-qubit observable subsystem (DFS)

  • The logical subspace spanned by |0L⟩ and |1L⟩ is invariant under the exchange Hamiltonian and dark to collective dephasing through Jz.These states form an orthonormal basis of the two-dimensional total-spin-zero subspace.Source: B. An autonomous logical-qubit… · p. 12
  • The logical Pauli observables and the associated central observable verify strong alignment and the required central–noncentral separation.The associated algebra has center spanC{I16, QL}.Source: B. An autonomous logical-qubit… · p. 13
  • The Artin–Wedderburn decomposition has block data (r1, m1) = (2, 1) and (r2, m2) = (1, 14), with dim D = 3 and dim Z0 = 1.The unique noncommutative block has multiplicity one and occupies the leading corner, meeting the stated Gell–Mann-basis construction condition.Source: B. An autonomous logical-qubit… · pp. 13–14
  • On the encoded subsystem, the Bloch vector precesses about (hx, 0, hz), and the transformed system has the stated DFS form.The example verifies the Gell–Mann-basis corollary.Source: B. An autonomous logical-qubit… · p. 14

C. The conserved QND magnetization algebra

The section characterizes the conserved magnetization QND algebra and shows how a homodyne signal distinguishes its spectral sectors. It also separates linear observability from algebraic recovery of the algebra.

C. The conserved QND magnetization algebra

D. Quantum BAE measurements

The example establishes a BAE output quadrature unaffected by the selected input quadrature, then connects this result to the chain’s conserved magnetization. The conclusion identifies the model properties behind the three structures and points to further links between Heisenberg- and Schrödinger-picture DFSs.

D. Quantum BAE measurements

  • The output quadrature Y1 is BAE with respect to W2, which has neither a direct nor a system-mediated effect on it.Because Jz(t) ≡ Jz(0), Y1(t) = 2√κ Jz(0)t + W1(t).Source: D. Quantum BAE measurements · p. 15

E. Coexistence of the three structures

  • Rotation invariance of Hch and coupling L as a function of conserved Jz jointly yield the QND magnetization algebra and BAE measurement, while rotation invariance supports the (r, m) = (2, 1) DFS.Source: E. Coexistence of the three structures · p. 15

VIII. CONCLUSION

  • The conclusion proposes applying the analysis to system design and pursuing a general connection between Heisenberg-picture DFSs and Schrödinger-picture DFSs.It notes that the connection is known for a special Tavis–Cummings case but not for general quantum systems.Source: §VIII · p. 15
Loading 2610.30616v1…