arXiv subjects

Zongyuan Wang

Publications and source records attributed to Zongyuan Wang.

7 recordsLinked to original sources

arXiv2026

Non-Clifford quantum cellular automata from invertible topological quantum field theories

Quantum cellular automata (QCAs) describe locality-preserving quantum dynamics and connect quantum information, many-body physics, and topological quantum field theory (TQFT). Constructing a QCA from a TQFT, however, is challenging. Although a topological action can produce a commuting Hamiltonian realizing the desired ground state, it does not by itself specify an automorphism of the full local operator algebra. In this work, we develop a unified algebraic construction that extends the commuting generators of the Hamiltonian to a complete separator-flipper algebra on the full tensor-product Hilbert space, providing a microscopic definition of the corresponding QCA. In three spatial dimensions, our formalism unifies all previously known QCA constructions associated with the $\mathbb Z_8\times\mathbb Z_2$ subgroup of the Witt group, including the $U(1)_2$ and $U(1)_4$ QCAs. The same algebraic structure directly yields new infinite families of generalized $U(1)_2$ and $U(1)_4$ non-Clifford QCAs in dimensions $d=4k-1$. We also reformulate the 4-dimensional $w_2w_3$ QCA and use it to develop a general construction of QCAs from TQFTs associated with arbitrary products of Wu classes. This construction includes two infinite families. The first consists of $w_2^nw_3^m$ QCAs in dimension $d=2n+3m-1$, while the second consists of $w_2w_{4k-1}$ QCAs in dimension $d=4k$. As a contrasting result, we explicitly construct finite-depth quantum circuits for the 5-dimensional $w_3^2$ and $w_2^3$ QCAs, thereby proving that they are trivial, in agreement with the cobordism classification. Overall, these results convert invertible TQFTs into microscopic QCAs, provide a scalable route to higher-dimensional constructions beyond the Clifford setting, and open a systematic approach to classifying their stable structures and boundary anomalies.

quant-ph↗

arXiv2026

Majorana-Pauli stabilizer codes and duality webs of fermionic topological phases

Stabilizer codes provide exact lattice realizations of bosonic topological orders. In contrast, systematic stabilizer descriptions of intrinsically fermionic topological phases remain much less developed. In this work, we introduce Majorana-Pauli stabilizer codes, a class of exactly solvable fermionic lattice models whose stabilizers are built from both generalized Pauli operators and Majorana operators. As a main example, we construct an exactly solvable stabilizer realization of the fermionic toric code: an intrinsically fermionic $\mathbb Z_2$ topological order in $(2{+}1)$ dimensions, using $\mathbb Z_8$ Pauli operators coupled to Majorana modes. Within this stabilizer framework, the anyons, string operators, fusion rules, and braiding statistics all follow naturally from the stabilizer algebra. More broadly, we show that the fermionic toric code belongs to a duality web generated by anyon condensation and by gauging bosonic or fermion-parity symmetries. This web connects bosonic topological orders, symmetry-enriched topological phases, and both bosonic and fermionic symmetry-protected topological phases, all within a common stabilizer description. We further show that the construction extends to all Abelian fermionic topological orders with gapped boundaries and to all supercohomology fermionic SPT phases in $(2{+}1)$ dimensions. Going beyond Majorana operators, we introduce fermionic versions of the clock and shift operators and use them to construct an exact bosonization map for $\mathbb Z_D^F$ symmetries for $D$ even. Using this, we realize a stabilizer model for a nontrivial $\mathbb Z_8^F$ fermionic SPT phase with no free-fermion analog. Altogether, these results extend the stabilizer-code paradigm to a broad class of intrinsically fermionic phases bridging fermionic quantum many-body physics to quantum error correction.

quant-ph↗

arXiv2026

Quantum metrology via partial quantum error correction

We introduce a method for error-corrected quantum metrology where only partial quantum error correction (QEC) is needed to suppress local noise and maintain the probe states' super-standard-quantum-limit (super-SQL) sensing performance. This stands in contrast to the existing QEC-assisted sensing schemes in Phys. Rev. Lett. 112, 080801 (2014) and Phys. Rev. Lett. 112, 150802 (2014), where a probe state is encoded into the logical subspace of a quantum code and error correction involves measurements on all checks of the code. Here, we encode the probe states into superpositions of energetically different states of the underlying quantum code. For our probe states, error correction using a subset of checks is enough to suppress noise both before and after phase imprinting. We analyze the tradeoff in noise suppression. For noise parallel to our phase imprinter of weight $l$, we achieve a suppression of $p^δ$ where $p$ is the noise strength and $δ= \lfloor (l+1)/2 \rfloor$. We propose an adaptive imprinter weight increasing strategy to maintain super-SQL performance as we scale up the system. In all our examples, checks and phase imprinters are chosen to be local operators avoiding non-local connectivity.

quant-ph↗

arXiv2026

Clifford quantum cellular automata from topological quantum field theories and invertible subalgebras

We present a general framework for constructing quantum cellular automata (QCA) from topological quantum field theories (TQFT) and invertible subalgebras (ISA) using the cup-product formalism. This approach explicitly realizes all $\mathbb{Z}_2$ and $\mathbb{Z}_p$ Clifford QCAs (for prime $p$) in all admissible dimensions, in precise agreement with the classification predicted by algebraic $L$-theory. We determine the orders of these QCAs by explicitly showing that finite powers reduce to the identity up to finite-depth quantum circuits (FDQC) and lattice translations. In particular, we demonstrate that the $\mathbb{Z}_2$ Clifford QCAs in $(4l{+}1)$ spatial dimensions can be disentangled by non-Clifford FDQCs. Our construction applies beyond cubic lattices, allowing $\mathbb{Z}_2$ QCAs to be defined on arbitrary cellulations. Furthermore, we explicitly construct invertible subalgebras in higher dimensions, obtaining $\mathbb{Z}_2$ ISAs in $2l$ spatial dimensions and $\mathbb{Z}_p$ ISAs in $(4l{-}2)$ spatial dimensions. These ISAs give rise to $\mathbb{Z}_2$ QCAs in $(2l{+}1)$ dimensions and $\mathbb{Z}_p$ QCAs in $(4l{-}1)$ dimensions. We further prove that the QCAs in $3$ spatial dimensions constructed via TQFTs and ISAs are equivalent by identifying their boundary algebras, and show that this approach extends to higher dimensions. Together, these results establish a unified and dimension-periodic framework for Clifford QCAs, connecting their explicit lattice realizations to field theories.

math.QA↗

arXiv2024

Composite subsystem symmetries and decoration of sub-dimensional excitations

Flux binding is a mechanism that is well-understood for global symmetries. Given two systems, each with a global symmetry, gauging the composite symmetry instead of individual symmetries corresponds to the condensation of the composite of gauge charges belonging to individually gauged theories and the binding of the gauge fluxes. The condensed composite charge is created by a "short" string given by the new minimal coupling corresponding to the composite symmetry. This paper studies what happens when combined subsystem symmetries are gauged, especially when the component charges and fluxes have different sub-dimensional mobilities. We investigate $3+1$D systems with planar symmetries where, for example, the planar symmetry of a planon charge is combined with one of the planar symmetries of a fracton charge. We propose the principle of $\textit{Remote Detectability}$ to determine how the fluxes bind and potentially change their mobility. This understanding can then be used to design fracton models with sub-dimensional excitations that are decorated with excitations having nontrivial statistics or non-abelian fusion rules.

cond-mat.str-el↗

arXiv2023

Renormalization of Ising cage-net model and generalized foliation

A large class of type-I fracton models, including the X-cube model, have been found to be fixed points of the foliated renormalization group (RG). The system size of such foliated models can be changed by adding or removing decoupled layers of $2$D topological states and continuous deformation of the Hamiltonian. In this paper, we study a closely related model -- the Ising cage-net model -- and find that this model is not foliated in the same sense. In fact, we point out certain unnatural restrictions in the foliated RG, and find that removing these restrictions leads to a generalized foliated RG under which the Ising cage-net model is a fixed point, and which includes the original foliated RG as a special case. The Ising cage-net model thus gives a prototypical example of the generalized foliated RG, and its system size can be changed either by condensing / uncondensing bosonic planon excitations near a 2D plane or through a linear depth quantum circuit in the same plane. We show that these two apparently different RG procedures are closely related, as they lead to the same gapped boundary when implemented in part of a plane. Finally, we briefly discuss the implications for foliated fracton phases, whose universal properties will need to be reexamined in light of the generalized foliated RG.

cond-mat.str-el↗

arXiv2023

Ground state degeneracy of the Ising cage-net model

The Ising cage-net model, first proposed in Phys. Rev. X 9, 021010 (2019), is a representative type I fracton model with nontrivial non-abelian features. In this paper, we calculate the ground state degeneracy of this model and find that, even though it follows a similar coupled layer structure as the X-cube model, the Ising cage-net model cannot be "foliated" in the same sense as X-cube as defined in Phys. Rev. X 8, 031051 (2018). A more generalized notion of "foliation'' is hence needed to understand the renormalization group transformation of the Ising cage-net model. The calculation is done using an operator algebra approach that we develop in this paper, and we demonstrate its validity through a series of examples.

cond-mat.str-el↗