More Like this

1. An algebraic characterization of binary CSS-T codes and cyclic CSS-T codes for quantum fault tolerance

   https://doi.org/10.1007/s11128-024-04427-5  

   Camps-Moreno, Eduardo; López, Hiram H; Matthews, Gretchen L; Ruano, Diego; San-José, Rodrigo; Soprunov, Ivan (June 2024, Quantum Information Processing)

   Abstract CSS-T codes were recently introduced as quantum error-correcting codes that respect a transversal gate. A CSS-T code depends on a CSS-T pair, which is a pair of binary codes$$(C_1, C_2)$$ $(C_1,C_2)$such that$$C_1$$ $C_1$contains$$C_2$$ $C_2$,$$C_2$$ $C_2$is even, and the shortening of the dual of$$C_1$$ $C_1$with respect to the support of each codeword of$$C_2$$ $C_2$is self-dual. In this paper, we give new conditions to guarantee that a pair of binary codes$$(C_1, C_2)$$ $(C_1,C_2)$is a CSS-T pair. We define the poset of CSS-T pairs and determine the minimal and maximal elements of the poset. We provide a propagation rule for nondegenerate CSS-T codes. We apply some main results to Reed–Muller, cyclic and extended cyclic codes. We characterize CSS-T pairs of cyclic codes in terms of the defining cyclotomic cosets. We find cyclic and extended cyclic codes to obtain quantum codes with better parameters than those in the literature. 

   more » « less
2. Higher-group symmetry of (3+1)D fermionic $$\mathbb{Z}_2$$ gauge theory: Logical CCZ, CS, and T gates from higher symmetry

   https://doi.org/10.21468/SciPostPhys.16.5.122  

   Barkeshli, Maissam; Hsin, Po-Shen; Kobayashi, Ryohei (January 2024, SciPost Physics)

   It has recently been understood that the complete global symmetry of finite group topological gauge theories contains the structure of a higher-group. Here we study the higher-group structure in (3+1)D\mathbb{Z}_2 ${\mathbb{Z}}_2$gauge theory with an emergent fermion, and point out that pumping chiralp+ip $p+ip$topological states gives rise to a\mathbb{Z}_{8} ${\mathbb{Z}}_8$0-form symmetry with mixed gravitational anomaly. This ordinary symmetry mixes with the other higher symmetries to form a 3-group structure, which we examine in detail. We then show that in the context of stabilizer quantum codes, one can obtain logical CCZ and CS gates by placing the code on a discretization ofT^3 $T^3$(3-torus) andT^2 \rtimes_{C_2} S^1 $T^2{⋊}_{C_2}{S}^1$(2-torus bundle over the circle) respectively, and pumpingp+ip $p+ip$states. Our considerations also imply the possibility of a logicalT $T$gate by placing the code on\mathbb{RP}^3 ${ℝ\mathbb{P}}^3$and pumping ap+ip $p+ip$topological state. 

   more » « less
3. Levin-Wen is a Gauge Theory: Entanglement from Topology

   https://doi.org/10.1007/s00220-024-05144-x  

   Kawagoe, Kyle; Jones, Corey; Sanford, Sean; Green, David; Penneys, David (October 2024, Communications in Mathematical Physics)

   Abstract We show that the Levin-Wen model of a unitary fusion category$${\mathcal {C}}$$ $C$is a gauge theory with gauge symmetry given by the tube algebra$${\text {Tube}}({\mathcal {C}})$$ $\text{Tube}\left(C\right)$. In particular, we define a model corresponding to a$${\text {Tube}}({\mathcal {C}})$$ $\text{Tube}\left(C\right)$symmetry protected topological phase, and we provide a gauging procedure which results in the corresponding Levin-Wen model. In the case$${\mathcal {C}}=\textsf{Hilb}(G,\omega )$$ $C=\mathrm{Hilb}(G,\omega )$, we show how our procedure reduces to the twisted gauging of a trivalG-SPT to produce the Twisted Quantum Double. We further provide an example which is outside the bounds of the current literature, the trivial Fibbonacci SPT, whose gauge theory results in the doubled Fibonacci string-net. Our formalism has a natural topological interpretation with string diagrams living on a punctured sphere. We provide diagrams to supplement our mathematical proofs and to give the reader an intuitive understanding of the subject matter. 

   more » « less
4. Approximate Unitary t-Designs by Short Random Quantum Circuits Using Nearest-Neighbor and Long-Range Gates

   https://doi.org/10.1007/s00220-023-04675-z  

   Harrow, Aram W.; Mehraban, Saeed (May 2023, Communications in Mathematical Physics)

   Abstract We prove that$${{\,\textrm{poly}\,}}(t) \cdot n^{1/D}$$ $\text{poly}\left(t\right)·n^{1/D}$-depth local random quantum circuits with two qudit nearest-neighbor gates on aD-dimensional lattice withnqudits are approximatet-designs in various measures. These include the “monomial” measure, meaning that the monomials of a random circuit from this family have expectation close to the value that would result from the Haar measure. Previously, the best bound was$${{\,\textrm{poly}\,}}(t)\cdot n$$ $\text{poly}\left(t\right)·n$due to Brandão–Harrow–Horodecki (Commun Math Phys 346(2):397–434, 2016) for$$D=1$$ $D=1$. We also improve the “scrambling” and “decoupling” bounds for spatially local random circuits due to Brown and Fawzi (Scrambling speed of random quantum circuits, 2012). One consequence of our result is that assuming the polynomial hierarchy ($${{\,\mathrm{\textsf{PH}}\,}}$$ $\mathrm{PH}$) is infinite and that certain counting problems are$$\#{\textsf{P}}$$ $\#P$-hard “on average”, sampling within total variation distance from these circuits is hard for classical computers. Previously, exact sampling from the outputs of even constant-depth quantum circuits was known to be hard for classical computers under these assumptions. However the standard strategy for extending this hardness result to approximate sampling requires the quantum circuits to have a property called “anti-concentration”, meaning roughly that the output has near-maximal entropy. Unitary 2-designs have the desired anti-concentration property. Our result improves the required depth for this level of anti-concentration from linear depth to a sub-linear value, depending on the geometry of the interactions. This is relevant to a recent experiment by the Google Quantum AI group to perform such a sampling task with 53 qubits on a two-dimensional lattice (Arute in Nature 574(7779):505–510, 2019; Boixo et al. in Nate Phys 14(6):595–600, 2018) (and related experiments by USTC), and confirms their conjecture that$$O(\sqrt{n})$$ $O\left(\sqrt{n}\right)$depth suffices for anti-concentration. The proof is based on a previous construction oft-designs by Brandão et al. (2016), an analysis of how approximate designs behave under composition, and an extension of the quasi-orthogonality of permutation operators developed by Brandão et al. (2016). Different versions of the approximate design condition correspond to different norms, and part of our contribution is to introduce the norm corresponding to anti-concentration and to establish equivalence between these various norms for low-depth circuits. For random circuits with long-range gates, we use different methods to show that anti-concentration happens at circuit size$$O(n\ln ^2 n)$$ $O\left(n{ln}^{2}n\right)$corresponding to depth$$O(\ln ^3 n)$$ $O\left({ln}^{3}n\right)$. We also show a lower bound of$$\Omega (n \ln n)$$ $\Omega (nlnn)$for the size of such circuit in this case. We also prove that anti-concentration is possible in depth$$O(\ln n \ln \ln n)$$ $O(lnnlnlnn)$(size$$O(n \ln n \ln \ln n)$$ $O(nlnnlnlnn)$) using a different model. 

   more » « less
5. Statistical (n,$$\gamma $$) cross section model comparison for short-lived nuclei

   https://doi.org/10.1140/epja/s10050-023-00920-0  

   Lewis, R.; Couture, A.; Liddick, S. N.; Spyrou, A.; Bleuel, D. L.; Campo, L. Crespo; Crider, B. P.; Dombos, A. C.; Guttormsen, M.; Kawano, T.; et al (March 2023, The European Physical Journal A)

   Abstract Neutron-capture cross sections of neutron-rich nuclei are calculated using a Hauser–Feshbach model when direct experimental cross sections cannot be obtained. A number of codes to perform these calculations exist, and each makes different assumptions about the underlying nuclear physics. We investigated the systematic uncertainty associated with the choice of Hauser-Feshbach code used to calculate the neutron-capture cross section of a short-lived nucleus. The neutron-capture cross section for$$^{73}\hbox {Zn}$$ ${}^{73}\text{Zn}$(n,$$\gamma $$ $\gamma$)$$^{74}\hbox {Zn}$$ ${}^{74}\text{Zn}$was calculated using three Hauser-Feshbach statistical model codes: TALYS, CoH, and EMPIRE. The calculation was first performed without any changes to the default settings in each code. Then an experimentally obtained nuclear level density (NLD) and$$\gamma $$ $\gamma$-ray strength function ($$\gamma \hbox {SF}$$ $\gamma \text{SF}$) were included. Finally, the nuclear structure information was made consistent across the codes. The neutron-capture cross sections obtained from the three codes are in good agreement after including the experimentally obtained NLD and$$\gamma \hbox {SF}$$ $\gamma \text{SF}$, accounting for differences in the underlying nuclear reaction models, and enforcing consistent approximations for unknown nuclear data. It is possible to use consistent inputs and nuclear physics to reduce the differences in the calculated neutron-capture cross section from different Hauser-Feshbach codes. However, ensuring the treatment of the input of experimental data and other nuclear physics are similar across multiple codes requires a careful investigation. For this reason, more complete documentation of the inputs and physics chosen is important. 

   more » « less