-
Coxeter codes: Extending the Reed-Muller family
Authors:
Nolan J. Coble,
Alexander Barg
Abstract:
Binary Reed-Muller (RM) codes are defined via evaluations of Boolean-valued functions on $\mathbb{Z}_2^m$. We introduce a class of binary linear codes that generalizes the RM family by replacing the domain $\mathbb{Z}_2^m$ with an arbitrary finite Coxeter group. Like RM codes, this class is closed under duality, forms a nested code sequence, satisfies a multiplication property, and has asymptotic…
▽ More
Binary Reed-Muller (RM) codes are defined via evaluations of Boolean-valued functions on $\mathbb{Z}_2^m$. We introduce a class of binary linear codes that generalizes the RM family by replacing the domain $\mathbb{Z}_2^m$ with an arbitrary finite Coxeter group. Like RM codes, this class is closed under duality, forms a nested code sequence, satisfies a multiplication property, and has asymptotic rate determined by a Gaussian distribution. Coxeter codes also give rise to a family of quantum codes for which transversal diagonal $Z$ rotations can perform non-trivial logic.
△ Less
Submitted 10 June, 2025; v1 submitted 20 February, 2025;
originally announced February 2025.
-
Targeted Clifford logical gates for hypergraph product codes
Authors:
Adway Patra,
Alexander Barg
Abstract:
We construct explicit targeted logical gates for hypergraph product codes. Starting with symplectic matrices for CNOT, CZ, Phase, and Hadamard operators, which together generate the Clifford group, we design explicit transformations that result in targeted logical gates for arbitrary HGP codes. As a concrete example, we give logical circuits for the $[[18,2,3]]$ toric code.
We construct explicit targeted logical gates for hypergraph product codes. Starting with symplectic matrices for CNOT, CZ, Phase, and Hadamard operators, which together generate the Clifford group, we design explicit transformations that result in targeted logical gates for arbitrary HGP codes. As a concrete example, we give logical circuits for the $[[18,2,3]]$ toric code.
△ Less
Submitted 25 November, 2024;
originally announced November 2024.
-
Geometric structure and transversal logic of quantum Reed-Muller codes
Authors:
Alexander Barg,
Nolan J. Coble,
Dominik Hangleiter,
Christopher Kang
Abstract:
Designing efficient and noise-tolerant quantum computation protocols generally begins with an understanding of quantum error-correcting codes and their native logical operations. The simplest class of native operations are transversal gates, which are naturally fault-tolerant. In this paper, we aim to characterize the transversal gates of quantum Reed-Muller (RM) codes by exploiting the well-studi…
▽ More
Designing efficient and noise-tolerant quantum computation protocols generally begins with an understanding of quantum error-correcting codes and their native logical operations. The simplest class of native operations are transversal gates, which are naturally fault-tolerant. In this paper, we aim to characterize the transversal gates of quantum Reed-Muller (RM) codes by exploiting the well-studied properties of their classical counterparts. We start our work by establishing a new geometric characterization of quantum RM codes via the Boolean hypercube and its associated subcube complex. More specifically, a set of stabilizer generators for a quantum RM code can be described via transversal $X$ and $Z$ operators acting on subcubes of particular dimensions. This characterization leads us to define subcube operators composed of single-qubit $π/2^k$ $Z$-rotations that act on subcubes of given dimensions. We first characterize the action of subcube operators on the code space: depending on the dimension of the subcube, these operators either (1) act as a logical identity on the code space, (2) implement non-trivial logic, or (3) rotate a state away from the code space. Second, and more remarkably, we uncover that the logic implemented by these operators corresponds to circuits of multi-controlled-$Z$ gates that have an explicit and simple combinatorial description. Overall, this suite of results yields a comprehensive understanding of a class of natural transversal operators for quantum RM codes.
△ Less
Submitted 10 October, 2024;
originally announced October 2024.
-
Class of codes correcting absorptions and emissions
Authors:
Arda Aydin,
Alexander Barg
Abstract:
We construct a general family of quantum codes that protect against all emission, absorption, dephasing, and raising/lowering errors up to an arbitrary fixed order. Such codes are known in the literature as absorption-emission (AE) codes. We derive simplified error correction conditions for a general AE code and show that any permutation-invariant code that corrects $\le t$ errors can be mapped to…
▽ More
We construct a general family of quantum codes that protect against all emission, absorption, dephasing, and raising/lowering errors up to an arbitrary fixed order. Such codes are known in the literature as absorption-emission (AE) codes. We derive simplified error correction conditions for a general AE code and show that any permutation-invariant code that corrects $\le t$ errors can be mapped to an AE code that corrects up to order-$t$ transitions. Carefully tuning the parameters of permutationally invariant codes, we construct several examples of efficient AE codes, hosted in systems with low total angular momentum. Our results also imply that spin codes can be mapped to AE codes, enabling us to characterize logical operators for certain subclasses of such codes.
△ Less
Submitted 4 October, 2024;
originally announced October 2024.
-
A family of permutationally invariant quantum codes
Authors:
Arda Aydin,
Max A. Alekseyev,
Alexander Barg
Abstract:
We construct a new family of permutationally invariant codes that correct $t$ Pauli errors for any $t\ge 1$. We also show that codes in the new family correct quantum deletion errors as well as spontaneous decay errors. Our construction contains some of the previously known permutationally invariant quantum codes as particular cases, which also admit transversal gates. In many cases, the codes in…
▽ More
We construct a new family of permutationally invariant codes that correct $t$ Pauli errors for any $t\ge 1$. We also show that codes in the new family correct quantum deletion errors as well as spontaneous decay errors. Our construction contains some of the previously known permutationally invariant quantum codes as particular cases, which also admit transversal gates. In many cases, the codes in the new family are shorter than the best previously known explicit permutationally invariant codes for Pauli errors and deletions. Furthermore, our new code family includes a new $((4,2,2))$ optimal single-deletion-correcting code. As a separate result, we generalize the conditions for permutationally invariant codes to correct $t$ Pauli errors from the previously known results for $t=1$ to any number of errors. For small $t$, these conditions can be used to construct new examples of codes by computer.
△ Less
Submitted 15 April, 2024; v1 submitted 8 October, 2023;
originally announced October 2023.
-
Quantum spherical codes
Authors:
Shubham P. Jain,
Joseph T. Iosue,
Alexander Barg,
Victor V. Albert
Abstract:
We introduce a framework for constructing quantum codes defined on spheres by recasting such codes as quantum analogues of the classical spherical codes. We apply this framework to bosonic coding, obtaining multimode extensions of the cat codes that can outperform previous constructions while requiring a similar type of overhead. Our polytope-based cat codes consist of sets of points with large se…
▽ More
We introduce a framework for constructing quantum codes defined on spheres by recasting such codes as quantum analogues of the classical spherical codes. We apply this framework to bosonic coding, obtaining multimode extensions of the cat codes that can outperform previous constructions while requiring a similar type of overhead. Our polytope-based cat codes consist of sets of points with large separation that at the same time form averaging sets known as spherical designs. We also recast concatenations of CSS codes with cat codes as quantum spherical codes, revealing a new way to autonomously protect against dephasing noise.
△ Less
Submitted 7 December, 2023; v1 submitted 22 February, 2023;
originally announced February 2023.
-
Polarimetric analysis of stress anisotropy in nanomechanical silicon nitride resonators
Authors:
Thibault Capelle,
Yeghishe Tsaturyan,
Andreas Barg,
Albert Schliesser
Abstract:
We realise a circular gray-field polariscope to image stress-induced birefringence in thin (submicron thick) silicon nitride (SiN) membranes and strings. This enables quantitative mapping of the orientation of principal stresses and stress anisotropy, complementary to, and in agreement with, finite element modeling (FEM). Furthermore, using a sample with a well known stress anisotropy, we extract…
▽ More
We realise a circular gray-field polariscope to image stress-induced birefringence in thin (submicron thick) silicon nitride (SiN) membranes and strings. This enables quantitative mapping of the orientation of principal stresses and stress anisotropy, complementary to, and in agreement with, finite element modeling (FEM). Furthermore, using a sample with a well known stress anisotropy, we extract a new value for the photoelastic (Brewster) coefficient of silicon nitride, $C \approx (3.4~\pm~0.1)\times~10^{-6}~\mathrm{MPa}^{-1}$. We explore possible applications of the method to analyse and quality-control stressed membranes with phononic crystal patterns
△ Less
Submitted 6 February, 2017;
originally announced February 2017.
-
Ultra-coherent nanomechanical resonators via soft clamping and dissipation dilution
Authors:
Yeghishe Tsaturyan,
Andreas Barg,
Eugene S. Polzik,
Albert Schliesser
Abstract:
The small mass and high coherence of nanomechanical resonators render them the ultimate force probe, with applications ranging from biosensing and magnetic resonance force microscopy, to quantum optomechanics. A notorious challenge in these experiments is thermomechanical noise related to dissipation through internal or external loss channels. Here, we introduce a novel approach to defining nanome…
▽ More
The small mass and high coherence of nanomechanical resonators render them the ultimate force probe, with applications ranging from biosensing and magnetic resonance force microscopy, to quantum optomechanics. A notorious challenge in these experiments is thermomechanical noise related to dissipation through internal or external loss channels. Here, we introduce a novel approach to defining nanomechanical modes, which simultaneously provides strong spatial confinement, full isolation from the substrate, and dilution of the resonator material's intrinsic dissipation by five orders of magnitude. It is based on a phononic bandgap structure that localises the mode, without imposing the boundary conditions of a rigid clamp. The reduced curvature in the highly tensioned silicon nitride resonator enables mechanical $Q>10^{8}$ at $ 1 \,\mathrm{MHz}$, yielding the highest mechanical $Qf$-products ($>10^{14}\,\mathrm{Hz}$) yet reported at room temperature. The corresponding coherence times approach those of optically trapped dielectric particles. Extrapolation to $4{.}2$ Kelvin predicts $\sim$quanta/ms heating rates, similar to trapped ions.
△ Less
Submitted 2 August, 2016;
originally announced August 2016.
-
A low-rate bound on the reliability of a quantum discrete memoryless channel
Authors:
Alexander Barg
Abstract:
We extend a low-rate improvement of the random coding bound on the reliability of a classical discrete memoryless channel to its quantum counterpart. The key observation that we make is that the problem of bounding below the error exponent for a quantum channel relying on the class of stabilizer codes is equivalent to the problem of deriving error exponents for a certain symmetric classical chan…
▽ More
We extend a low-rate improvement of the random coding bound on the reliability of a classical discrete memoryless channel to its quantum counterpart. The key observation that we make is that the problem of bounding below the error exponent for a quantum channel relying on the class of stabilizer codes is equivalent to the problem of deriving error exponents for a certain symmetric classical channel.
△ Less
Submitted 7 August, 2002; v1 submitted 15 March, 2002;
originally announced March 2002.
-
Quantum Error Detection II: Bounds
Authors:
A. Ashikhmin,
A. Barg,
E. Knill,
S. Litsyn
Abstract:
In Part II we show that there exist quantum codes whose probability of undetected error falls exponentially with the length of the code and derive bounds on this exponent.The lower (existence) bound for stabilizer codes is proved by a counting argument for classical self-orthogonal quaternary codes. Upper bounds for any quantum codes are proved by linear programming. We present two general solut…
▽ More
In Part II we show that there exist quantum codes whose probability of undetected error falls exponentially with the length of the code and derive bounds on this exponent.The lower (existence) bound for stabilizer codes is proved by a counting argument for classical self-orthogonal quaternary codes. Upper bounds for any quantum codes are proved by linear programming. We present two general solutions of the LP problem. Together they give an upper bound on the exponent of undetected error. The upper and lower asymptotic bounds coincide for a certain interval of code rates close to 1.
△ Less
Submitted 30 June, 1999;
originally announced June 1999.
-
Quantum Error Detection I: Statement of the Problem
Authors:
Alexei Ashikhmin,
Alexander Barg,
Emanuel Knill,
Simon Litsyn
Abstract:
I. This paper is devoted to the problem of error detection with quantum codes. In the first part we examine possible problem settings for quantum error detection. Our goal is to derive a functional that describes the probability of undetected error under natural physical assumptions concerning transmission with error detection over the depolarizing channel. We discuss possible transmission proto…
▽ More
I. This paper is devoted to the problem of error detection with quantum codes. In the first part we examine possible problem settings for quantum error detection. Our goal is to derive a functional that describes the probability of undetected error under natural physical assumptions concerning transmission with error detection over the depolarizing channel. We discuss possible transmission protocols with stabilizer and unrestricted quantum codes. The set of results proved in Part I shows that in all the cases considered the average probability of undetected error for a given code is essentially given by one and the same function of its weight enumerators. This enables us to give a consistent definition of the undetected error event.
△ Less
Submitted 29 June, 1999;
originally announced June 1999.
