We introduce an algebraic framework for constructing a new class of quantum error-correcting codes, bosonic algebraically-restricted constellation (BARC) codes. The code states are finite superpositions of coherent-state constellations constrained by symmetries of solution sets to multivariate complex polynomial systems. The constraints are associated with photon-gain and photon-loss errors, thereby imposing approximate Knill--Laflamme conditions for such errors. For equally-weighted constellation points, we derive upper bounds on the minimum geometric separation between points, indicating how noise-resilient the code is. In the single-mode case, we characterize degree-two polynomial solution sets using an orthogonal group symmetry to obtain explicit ellipsoidal and hexagonal BARC codes. We benchmark representative instances of these families against spherical and cubature codes using the entanglement fidelity with optimal recovery under pure-loss noise.
We introduce an algebraic framework for constructing a new class of quantum error-correcting codes, bosonic algebraically-restricted constellation (BARC) codes. The code states are finite superpositions of coherent-state constellations constrained by symmetries of solution sets to multivariate complex polynomial systems. The constraints are associated with photon-gain and photon-loss errors, thereby imposing approximate Knill--Laflamme conditions for such errors. For equally-weighted constellation points, we derive upper bounds on the minimum geometric separation between points, indicating how noise-resilient the code is. In the single-mode case, we characterize degree-two polynomial solution sets using an orthogonal group symmetry to obtain explicit ellipsoidal and hexagonal BARC codes. We benchmark representative instances of these families against spherical and cubature codes using the entanglement fidelity with optimal recovery under pure-loss noise.
Bosonic codes utilize the infinite-dimensional Hilbert space of harmonic oscillators to encode quantum information, offering a hardware-efficient approach to quantum error correction. Designing these codes requires precise geometric arrangements of quantum states in the phase space. Here, we introduce Quantum Cubature Codes (QCCs), a powerful and generalized framework for constructing bosonic codes based on superpositions of coherent states. This formalism utilizes cubature formulas from multivariate approximation theory, which connect the continuous geometry of the phase space to discrete, weighted point sets, ensuring the conditions for error correction are met. We demonstrate that this framework provides a unifying perspective, revealing that well-established codes, such as cat codes and the recently proposed quantum spherical codes (QSCs), are specific instances of QCCs corresponding to uniform weights on a single energy shell. The QCC formalism unlocks a vast new design space, encompassing non-uniform superpositions and multi-shell configurations. We leverage this framework to discover several new families of codes derived from Euclidean designs, allowing for greater geometric separation between logical states, which correlates with improved performance under photon loss. Numerical simulations under a pure-loss channel show that our multi-shell QCCs can outperform their single-shell counterparts by maximizing geometric separation with optimal energy at fixed pure-loss rate.
Bosonic algebraically-restricted constellation (BARC) codes encode quantum information in finite superpositions of coherent states whose constellation points are solution sets of multivariate complex polynomial systems, with the polynomial constraints chosen to reflect photon-gain and photon-loss error symmetries [1],[2]. This paper develops a self-contained geometric analysis of the single-mode BARC construction. We restate the polynomial-to-symmetry pipeline, derive explicitly the upper bound on minimum pairwise separation for N equally weighted points on a circle of fixed mean photon number, and evaluate it for the hexagonal BARC family: for N = 6 points at mean photon number n̄, the maximal minimum chord is d = √n̄, giving worst-case coherent-state overlap |⟨α|β⟩|² = exp(−n̄/2). We then compute, with full arithmetic, the exact pairwise overlaps and the loss-error Gram matrix entries for a concrete hexagonal instance at n̄ = 8, obtaining |⟨αᵢ|αⱼ⟩|² = e⁻⁴ ≈ 0.0183 and post-loss overlaps e^(−3.8) ≈ 0.0224 at transmissivity η = 0.95, and we verify the approximate Knill–Laflamme diagonal condition, finding that the off-diagonal-to-diagonal deviation for the loss error is ~13.5% (ratio 0.1353353, O(10⁻¹)), while the next-nearest and opposite-pair contributions are individually bounded at O(10⁻²) or below. We compare these numbers against the qualitative expectations for four-point and cubature-style constellations, and situate BARC codes within the broader resource-commensurable landscape of bosonic encodings [10]. We argue that the polynomial-symmetry viewpoint is valuable primarily as a *generator* of candidate constellations, and that its ultimate worth must be decided by entanglement-fidelity benchmarks rather than by algebraic elegance. ## 1. Introduction Continuous-variable quantum information requires encodings that live in infinite-dimensional Hilbert space yet remain correctable under physically dominant errors. For optical and microwave cavities, those err Full text and updates: papers.qnfo.org/papers/barc-codes-as-algebraically-restricted-coherent-state-constellations-geometry-se/
We develop a holomorphic representation of quantum error correction codes (QECCs) within the Segal--Bargmann space. By encoding qubits into Schwinger boson modes (zaj,zbj) subject to a degree-one homogeneity constraint, we derive closed-form differential operator representations for stabilizers, syndrome extraction, and recovery for fundamental codes (three-, five-, seven-, and nine-qubit codes). Quantum errors are characterized as holomorphic perturbations violating this constraint, while syndrome measurement projects onto eigenspaces of commuting differential operators. Restricting to unit-magnitude variables (∣z∣=1) reveals a toroidal space $\T^{2n}$ where error syndromes manifest as discrete translations in winding number space Z2n, and recovery acts as Hamiltonian flows restoring the winding configuration. In the full Segal--Bargmann space, the code space is a holomorphic submanifold of $\CP^{2^n-1}$, with correctable errors as transverse normal directions. Consequently, the Knill--Laflamme condition becomes a Fubini--Study orthogonality condition between the code submanifold and its error-translated images. Topological protection emerges from the U(1)n fiber bundle structure: global phase noise along fibers is unobservable, while base-space errors require active correction. Finally, we establish a path-integral formulation for semiclassical error correction dynamics and show that geometric entanglement via the Segre embedding naturally quantifies code distance. This framework unifies algebraic, geometric, and topological perspectives on fault-tolerant quantum protocols.
We present a systematic study of Schrödinger cat codes constructed from Kerr-type coherent states, including displaced Kerr coherent states and Barut--Girardello Kerr coherent states, each admitting two distinct families determined by the sign of the Kerr nonlinearity. By tuning the Kerr parameter and coherent-state amplitude, these states interpolate between su(2), su(1,1) coherent states, providing a unified and versatile foundation for this type of bosonic quantum error correction. Unlike standard two-component Schrödinger cat codes, where a single photon-loss event induces an uncorrectable bit-flip, the nonlinear phase-space structure of Kerr cat states enables simultaneous detection and correction of both photon-loss and dephasing errors within a unified recovery framework, with optimal recovery operations determined via convex optimization. We demonstrate that Kerr cat encodings significantly outperform conventional cat codes under combined loss and dephasing noise, and that judicious parameter optimization can suppress both error channels to a level that reduces the overhead of additional error correction layers. We further show that Kerr-deformed coherent-state manifolds under engineered two-photon driving emerge as effective steady states of driven-dissipative dynamics, with single-photon decoherence strongly suppressed and leakage outside the protected manifold appearing only as higher-order corrections in the deformation strength. Our extended formalism identifies generalized Kerr Schrödinger cat codes as promising candidates for fault-tolerant bosonic quantum computation in experimental platforms such as nonlinear photonics.
Tiger codes form a family of multimode bosonic quantum codes that unify several previously known constructions, including cat, paircat, and the two-mode binomial code. In this work, we give a rigorous algebraic treatment of these codes. Starting from a kernel definition of the codespace, we prove that the annihilation-type constraints admit a finite generating set, construct an explicit orthonormal basis, and show that the logical structure of the code is governed by the homology of an underlying chain complex, as expected in the original work on Tiger codes of Xu et al. We then develop a Fourier transform over the codespace to prove that the span of phase-rotated projected coherent states is dense therein, and to yield dual X- and Z-type descriptions of the code. We further extend the framework to non-linear number constraints, encompassing codes such as the four-legged cat or the repetition cat code. Finally, we investigate the implementation of logical operations. We first generalise the construction of logical Pauli operators proposed by Xu et al. to arbitrary logical spaces, and then construct non-Clifford gates using physical polynomial phase rotations of the form eiP(n^). We derive criteria on the real polynomial P which, for positive single-logical-qubit Tiger codes satisfying an additional sign assumption, such as the paircat code, characterise the polynomials P that preserve the codespace by decomposing them into a family of univariate polynomials. Through this decomposition, we relate the degrees of the resulting components to the induced logical action in the Clifford hierarchy. These results establish Tiger codes as a mathematically robust framework for describing a broad class of bosonic encodings.
We discuss the connection between quantum error-correcting codes (QECCS) and algebraic coding theory. We start with an introduction to the relevant concepts of quantum mechanics, including the general error model. A quantum error-correcting code is a subspace of a complex Hilbert space, and its error-correcting properties are characterized by the Knill-Laflamme conditions. Using the stabilizer formalism, we illustrate how QECCs for can be constructed using techniques from algebraic coding theory. We also sketch how the information obtained via a quantum measurement can be interpreted as syndrome of the related classical code. Additionally, we present secondary constructions for QECCs, leading to propagation rules for the parameters of QECCs. This includes the puncture code by Rains and construction X for quantum codes.