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 gauge theory with an emergent fermion, and point out that pumping chiralp+ip topological states gives rise to a\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 (3-torus) andT^2 \rtimes_{C_2} S^1 (2-torus bundle over the circle) respectively, and pumpingp+ip states. Our considerations also imply the possibility of a logicalT gate by placing the code on\mathbb{RP}^3 and pumping ap+ip topological state. 
                        more » 
                        « less   
                    
                            
                            Error-correcting codes for fermionic quantum simulation
                        
                    
    
            Utilizing the framework of\mathbb{Z}_2 lattice gauge theories in the context of Pauli stabilizer codes, we present methodologies for simulating fermions via qubit systems on a two-dimensional square lattice. We investigate the symplectic automorphisms of the Pauli module over the Laurent polynomial ring. This enables us to systematically increase the code distances of stabilizer codes while fixing the rate between encoded logical fermions and physical qubits. We identify a family of stabilizer codes suitable for fermion simulation, achieving code distances of d=2,3,4,5,6,7, allowing correction of any\lfloor \frac{d-1}{2} \rfloor -qubit error. In contrast to the traditional code concatenation approach, our method can increase the code distances without decreasing the (fermionic) code rate. In particular, we explicitly show all stabilizers and logical operators for codes with code distances of d=3,4,5. We provide syndromes for all Pauli errors and invent a syndrome-matching algorithm to compute code distances numerically. 
        more » 
        « less   
        
    
                            - Award ID(s):
- 2120757
- PAR ID:
- 10505872
- Publisher / Repository:
- SciPost
- Date Published:
- Journal Name:
- SciPost Physics
- Volume:
- 16
- Issue:
- 1
- ISSN:
- 2542-4653
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
- 
            
- 
            Abstract We introduce a distributional Jacobian determinant \det DV_{\beta}(Dv)in dimension two for the nonlinear complex gradient V_{\beta}(Dv)=\lvert Dv\rvert^{\beta}(v_{x_{1}},-v_{x_{2}})for any \beta>-1, whenever v\in W^{1\smash{,}2}_{\mathrm{loc}}and \beta\lvert Dv\rvert^{1+\beta}\in W^{1\smash{,}2}_{\mathrm{loc}}.This is new when \beta\neq 0.Given any planar ∞-harmonic function 𝑢, we show that such distributional Jacobian determinant \det DV_{\beta}(Du)is a nonnegative Radon measure with some quantitative local lower and upper bounds.We also give the following two applications. Applying this result with \beta=0, we develop an approach to build up a Liouville theorem, which improves that of Savin.Precisely, if 𝑢 is an ∞-harmonic function in the whole \mathbb{R}^{2}with \liminf_{R\to\infty}\inf_{c\in\mathbb{R}}\frac{1}{R}\barint_{B(0,R)}\lvert u(x)-c\rvert\,dx<\infty,then u=b+a\cdot xfor some b\in\mathbb{R}and a\in\mathbb{R}^{2}.Denoting by u_{p}the 𝑝-harmonic function having the same nonconstant boundary condition as 𝑢, we show that \det DV_{\beta}(Du_{p})\to\det DV_{\beta}(Du)as p\to\inftyin the weak-⋆ sense in the space of Radon measure.Recall that V_{\beta}(Du_{p})is always quasiregular mappings, but V_{\beta}(Du)is not in general.more » « less
- 
            Measurements are presented of the cross-section for the central exclusive production ofJ/\psi\to\mu^+\mu^- and\psi(2S)\to\mu^+\mu^- processes in proton-proton collisions at\sqrt{s} = 13 \ \mathrm{TeV} with 2016–2018 data. They are performed by requiring both muons to be in the LHCb acceptance (with pseudorapidity2<\eta_{\mu^±} < 4.5 ) and mesons in the rapidity range2.0 < y < 4.5 . The integrated cross-section results are\sigma_{J/\psi\to\mu^+\mu^-}(2.0 where the uncertainties are statistical, systematic and due to the luminosity determination. In addition, a measurement of the ratio of\psi(2S) andJ/\psi cross-sections, at an average photon-proton centre-of-mass energy of1\ \mathrm{TeV} , is performed, giving$ = 0.1763 ± 0.0029 ± 0.0008 ± 0.0039,$$ where the first uncertainty is statistical, the second systematic and the third due to the knowledge of the involved branching fractions. For the first time, the dependence of theJ/\psi$ and\psi(2S) cross-sections on the total transverse momentum transfer is determined inpp collisions and is found consistent with the behaviour observed in electron-proton collisions.more » « less
- 
            Abstract A conjecture of Erdős states that, for any large primeq, every reduced residue class {(\operatorname{mod}q)}can be represented as a product {p_{1}p_{2}}of two primes {p_{1},p_{2}\leq q}. We establish a ternary version of this conjecture, showing that, for any sufficiently large cube-free integerq, every reduced residue class {(\operatorname{mod}q)}can be written as {p_{1}p_{2}p_{3}}with {p_{1},p_{2},p_{3}\leq q}primes. We also show that, for any {\varepsilon>0}and any sufficiently large integerq, at least {(\frac{2}{3}-\varepsilon)\varphi(q)}reduced residue classes {(\operatorname{mod}q)}can be represented as a product {p_{1}p_{2}}of two primes {p_{1},p_{2}\leq q}.The problems naturally reduce to studying character sums. The main innovation in the paper is the establishment of a multiplicative dense model theorem for character sums over primes in the spirit of the transference principle. In order to deal with possible local obstructions we establish bounds for the logarithmic density of primes in certain unions of cosets of subgroups of {\mathbb{Z}_{q}^{\times}}of small index and study in detail the exceptional case that there exists a quadratic character {\psi~{}(\operatorname{mod}\,q)}such that {\psi(p)=-1}for very many primes {p\leq q}.more » « less
- 
            Abstract We extend the Calderón–Zygmund theory for nonlocal equations tostrongly coupled system of linear nonlocal equations {\mathcal{L}^{s}_{A}u=f}, where the operator {\mathcal{L}^{s}_{A}}is formally given by \mathcal{L}^{s}_{A}u=\int_{\mathbb{R}^{n}}\frac{A(x,y)}{|x-y|^{n+2s}}\frac{(x-%y)\otimes(x-y)}{|x-y|^{2}}(u(x)-u(y))\,dy. For {0more » « less<1}and {A:\mathbb{R}^{n}\times\mathbb{R}^{n}\to\mathbb{R}}taken to be symmetric and serving asa variable coefficient for the operator, the system under consideration is the fractional version of the classical Navier–Lamé linearized elasticity system. The study of the coupled system of nonlocal equations is motivated by its appearance in nonlocal mechanics, primarily in peridynamics. Our regularity result states that if {A(\,\cdot\,,y)}is uniformly Holder continuous and {\inf_{x\in\mathbb{R}^{n}}A(x,x)>0}, then for {f\in L^{p}_{\rm loc}}, for {p\geq 2}, the solution vector {u\in H^{2s-\delta,p}_{\rm loc}}for some {\delta\in(0,s)}.
 An official website of the United States government
An official website of the United States government 
				
			 
					 
					
 
                                    