arXiv subjects

Yu-An Chen

Publications and source records attributed to Yu-An Chen.

At least 19 recordsLinked to original sources

arXiv2026

Nonperturbative Stabilization of D-Instantons in the Bosonic IIB Matrix Model

We study the bosonic type IIB (IKKT) matrix model and the fate of the D-instanton positions $p^{(i)}_\mu$, the diagonal components of the $d$ Hermitian matrices, whose one-loop effective potential infamously drives them to a single point. We argue that this collapse is an artifact of the leading (one-loop) truncation, while the actual non-collapse of the $p^{(i)}_\mu$ is a nonperturbative effect: it is invisible at one loop but already present in the exact (all-loop) two-body interaction. Since the two-body sector of the $N\times N$ model factorizes into copies of $N=2$, this interaction is captured exactly by the $\mathrm{U}(2)$ model, and we find that the two D-instantons do not collapse onto each other. To set up the computation, we gauge-fix the $\text{U}(N)$ symmetry in a way that keeps the diagonal and off-diagonal sectors distinct, and we handle the residual $\mathrm{U}(1)^N$ symmetry with an auxiliary-ghost BRST construction. This construction generates a new ghost four-leg vertex; the resulting Faddeev-Popov determinant admits a systematic large-separation expansion that organizes the effective potential into a many-body decomposition, separating the interaction into two-body, three-body, and higher-body contributions. The exact $N=2$ partition function is finite at finite separation; its naive Lorenz-gauge form develops a negative region at separations of order one, which we trace to a Gribov ambiguity of the Lorenz gauge and resolve with the maximal diagonal gauge--the classical frame containing the perturbative vacuum--where the short-distance force is finite and repulsive, so that the two-body potential develops a stable minimum at finite separation. These results are consistent with a stable, non-collapsed distribution of the $p^{(i)}_\mu$; establishing the detailed distribution and full $N$-body non-collapse requires the higher-body potentials and is left to future work.

hep-th↗

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

Bockstein braiding statistics

Braiding phenomena, from the charge-flux Aharonov-Bohm effect to anyonic statistics in fractional quantum Hall systems, are paradigmatic manifestations of topology in quantum physics. Ordinary mutual braiding between $p$- and $q$-dimensional excitations occurs in $d=p+q+2$ spatial dimensions. In this work, we introduce a universal construction of mutual statistics in the adjacent dimension $d=p+q+1$, applicable to excitations obeying $\mathbb Z_N$ fusion for arbitrary $N$ and all excitation dimensions $p$ and $q$. The corresponding invariant is the Berry phase accumulated in a simple $4N$-step microscopic unitary process built from local excitation operators on lattices. This process measures the linking of one excitation with the $N$-fold fusion junction of the other, encompassing particle-particle statistics in one dimension, particle-loop statistics in two dimensions, and loop-loop or particle-membrane statistics in three dimensions. We establish the quantization and bilinearity of the invariant and show that its field-theory response is governed by the Bockstein homomorphism, motivating the name Bockstein braiding statistics. Interpreting the excitation operators as open symmetry operators turns the same invariant into a direct microscopic diagnostic of mixed anomalies between symmetries. We demonstrate this diagnostic in a (1+1)D spin chain, where the nontrivial Bockstein braiding phase proves the mixed anomaly between the spin-flip symmetry $\prod X$ and the nearest-neighbor controlled-$Z$ symmetry $\prod CZ$. We construct explicit (2+1)D and (3+1)D lattice analogs, yielding new anomalous symmetry pairs, and apply the framework to strongly coupled (3+1)D continuum gauge theories. Nontrivial Bockstein braiding rules out a fully symmetric gapped phase, obstructs simultaneous condensation of the two excitations, and implies fractionalization of higher-form symmetries.

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

Topological subsystem bivariate bicycle codes with four-qubit check operators

High-rate bivariate bicycle (BB) codes are promising low-overhead quantum memories, but their stabilizer checks typically have weight $6$ or higher, making syndrome extraction challenging. We introduce subsystem bivariate bicycle (SBB) codes, a translation-invariant CSS subsystem construction that realizes BB-code logical structure using local weight-$4$ gauge measurements. Their stabilizer syndromes are inferred by multiplying the corresponding gauge outcomes. We further show that nonlocal stabilizers in translation-invariant CSS subsystem codes can be detected using a determinantal-ideal criterion based on the gauge-operator commutation matrix. When this criterion excludes nonlocal stabilizers, a finite-depth Clifford circuit decouples gauge qubits and identifies the protected subsystem with a corresponding BB stabilizer code. An SBB code is topological, meaning that it has no nontrivial local logical operators, if and only if the corresponding BB code is topological. A finite search yields low-overhead examples including $[[27,6,3]]$, $[[75,10,5]]$, and $[[108,12,6]]$; the latter encodes six times more logical qubits than a subsystem surface code at the same block length and distance. These results show how gauge degrees of freedom can make high-rate BB logical structure compatible with local weight-$4$ syndrome extraction.

quant-ph↗

arXiv2026

Resolving spurious topological entanglement entropy in stabilizer codes

Topological entanglement entropy (TEE) is a key diagnostic of long-range entanglement in two-dimensional gapped phases of matter, but it can suffer from spurious contributions that overestimate the total quantum dimension of the underlying topological order. In this work, we identify the microscopic origin of spurious TEE and introduce a concave partition for computing the Levin-Wen TEE of translation-invariant stabilizer codes of prime-dimensional qudits. We rigorously prove that this prescription is free of spurious contributions. As a complementary probe, we study bivariate bicycle codes on a bipartite cylinder and show that the entanglement entropy depends sensitively on the cylinder circumference, revealing topological frustration of the underlying anyons.

quant-ph↗

arXiv2026

InterPilot: Exploring the Design Space of AI-assisted Job Interview Support for HR Professionals

Recruitment interviews are cognitively demanding interactions in which interviewers must simultaneously listen, evaluate candidates, take notes, and formulate follow-up questions. To better understand these challenges, we conducted a formative study with eight HR professionals, from which we derived key design goals for real-time AI support. Guided by these insights, we developed InterPilot, a prototype system that augments interviews through intelligent note-taking and post-interview summary, adaptive question generation, and real-time skill-evidence mapping. We evaluated the system with another seven HR professionals in mock interviews using a within-subjects design. Results show that InterPilot reduced documentation burden without increasing overall workload, but introduced usability trade-offs related to visual attention and interaction complexity. Qualitative findings further reveal tensions around trust and verification when AI suggests highly specific technical questions. We discuss implications for designing future real-time human-AI collaboration in professional settings, highlighting the need to balance assistance granularity, attentional demands, and human agency.

cs.HC↗

arXiv2026

Generalized $\mathbb{Z}_p$ toric codes as qudit low-density parity-check codes

We study two-dimensional translation-invariant CSS stabilizer codes over prime-dimensional qudits on the square lattice under twisted boundary conditions, generalizing the Kitaev $\mathbb{Z}_p$ toric code by augmenting each stabilizer with two additional qudits. Using the Laurent-polynomial formalism, we adapt the Gr\"obner basis to compute the logical dimension $k$ efficiently, without explicitly constructing large parity-check matrices. We then perform a systematic search over various stabilizer realizations and lattice geometries for $p\in\{3,5,7,11\}$, identifying qudit low-density parity-check codes with the optimal finite-size performance. Representative examples include $[[242,10,22]]_3$ and $[[120,6,20]]_{11}$, both achieving $k d^{2}/n=20$. Across the searched regime, the best observed $k d^{2}$ at fixed $n$ increases with $p$, with an empirical relation $k d^{2} = 0.0541 \, n^{2}\ln p + 3.84 \, n$, compatible with a Bravyi--Poulin--Terhal-type tradeoff when the interaction range grows with system size.

quant-ph↗

arXiv2025

Pauli stabilizer formalism for topological quantum field theories and generalized statistics

Topological quantum field theory (TQFT) provides a unifying framework for describing topological phases of matter and for constructing quantum error-correcting codes, playing a central role across high-energy physics, condensed matter, and quantum information. A central challenge is to formulate topological order on lattices and to extract the properties of topological excitations from microscopic Hamiltonians. In this work, we construct new classes of lattice gauge theories as Pauli stabilizer models, realizing a wide range of TQFTs in general dimensions. We develop a lattice description of extended excitations and systematically determine their generalized statistics. Our main example is the (4+1)D fermionic-loop toric code, obtained by condensing the $e^2m^2$-loop in the (4+1)D $\mathbb Z_4$ toric code. We show that the loop excitation exhibits fermionic loop statistics: the 24-step loop-flipping process yields a phase of $-1$. Our Pauli stabilizer models realize all twisted 2-form gauge theories in (4+1)D, the higher-form Dijkgraaf-Witten TQFT classified by $H^5(B^2G,U(1))$. Beyond (4+1)D, the fermionic-loop toric codes form a family of $\mathbb Z_2$ topological orders in arbitrary dimensions, realized as explicit Pauli stabilizer codes using $\mathbb Z_4$ qudits. Finally, we develop a Pauli-based framework that defines generalized statistics for extended excitations in any dimension, yielding computable lattice unitary processes to detect nontrivial statistics. For example, we propose anyonic membrane statistics in (6+1)D, as well as fermionic membrane and volume statistics in arbitrary dimensions. We construct new families of $\mathbb Z_2$ topological orders: the fermionic-membrane toric code and the fermionic-volume toric code. In addition, we demonstrate that $p$-dimensional excitations in $2p+2$ spatial dimensions can support anyonic $p$-brane statistics for only even $p$.

quant-ph↗

arXiv2025

CellSecInspector: Safeguarding Cellular Networks via Automated Security Analysis on Specifications

The complexity, interdependence, and rapid evolution of 3GPP specifications present fundamental challenges for ensuring the security of modern cellular networks. Manual reviews and existing automated approaches, which often depend on rule-based parsing or small sets of manually crafted security requirements, fail to capture deep semantic dependencies, cross-sentence/clause relationships, and evolving specification behaviors. In this work, we present CellSecInspector, an automated framework for security analysis of 3GPP specifications. CellSecInspector extracts structured state-condition-action (SCA) representations, models mobile network procedures with comprehensive function chains, systematically validates them against 9 foundational security properties under 4 adversarial scenarios, and automatically generates test cases. This end-to-end approach enables the automated discovery of vulnerabilities without relying on manually predefined security requirements or rules. Applying CellSecInspector to the well-studied 5G and 4G NAS and RRC specifications and selected sections of TS 23.501 and TS 24.229, it discovers 43 vulnerabilities, 7 of which are previously unreported. Our findings show that CellSecInspector is a scalable, adaptive, and effective solution to assess 3GPP specifications for safeguarding operational and next-generation cellular networks.

cs.CR↗

arXiv2025

Onsiteability of Higher-Form Symmetries

An internal symmetry in a lattice model is said to be onsiteable if it can be disentangled into an onsite action by introducing ancillas and conjugating with a finite-depth circuit. A standard lore holds that onsiteability is equivalent to being anomaly-free, which is indeed valid for finite 0-form symmetries in (1+1)D. However, for higher-form symmetries, these notions become inequivalent: a symmetry may be onsite while still anomalous. In this work, we clarify the conditions for onsiteability of higher-form symmetries by proposing an equivalence between onsiteability and the possibility of $higher$ gauging. For a finite 1-form symmetry in (2+1)D, we show that the symmetry is onsiteable if and only if its 't Hooft anomaly satisfies a specific algebraic condition that ensures the symmetry can be 1-gauged. We further demonstrate that onsiteable 1-form symmetry in (2+1)D can always be brought into transversal Pauli operators by ancillas and circuit conjugation. In generic dimensions, we derive necessary conditions for onsiteability using lattice 't Hooft anomaly of higher-form symmetry, and conjecture a general equivalence between onsiteability and possibility of higher gauging on lattices.

cond-mat.str-el↗

arXiv2025

Cryogenic temperature dependence and hysteresis of surface-trap-induced gate leakage in GaN high-electron-mobility transistors

This work provides a detailed mapping of various mechanisms of surface-trap-induced gate leakage in GaN HEMTs across a temperature range from room to cryogenic levels. Two-dimensional variable-range hopping is observed at small gate bias. Under higher reverse gate bias, the leakage is dominated by the Poole--Frenkel emission above 220 K, but gradually transitions to the trap-assisted tunneling below 220 K owing to the frozen-trap effect. The trap barrier height extracted from the gate leakage current under the upward gate sweep is 0.65 V, which is 12\% higher than that from the downward sweep. The gate leakage current as a function of the gate bias exhibits clockwise hysteresis loops above 220 K but counterclockwise ones below 220 K. This remarkable opposite hysteresis phenomenon is thoroughly explained by the trap mechanisms.

cond-mat.mes-hall↗

arXiv2025

Self-dual bivariate bicycle codes with transversal Clifford gates

Bivariate bicycle codes are promising candidates for high-threshold, low-overhead fault-tolerant quantum memories. Meanwhile, color codes are the most prominent self-dual CSS codes, supporting transversal Clifford gates that have been demonstrated experimentally. In this work, we combine these advantages and introduce a broad family of self-dual bivariate bicycle codes. These codes achieve higher encoding rates than surface and color codes while admitting transversal CNOT, Hadamard, and $S$ gates. In particular, we enumerate weight-8 self-dual bivariate bicycle codes with up to $n \leq 200$ physical qubits, realized on twisted tori that enhance code distance and improve stabilizer locality. Representative examples include codes with parameters $[[n,k,d]]$: $[[16,4,4]]$, $[[40,6,6]]$, $[[56,6,8]]$, $[[64,8,8]]$, $[[120,8,12]]$, $[[152,6,16]]$, and $[[160,8,16]]$.

quant-ph↗

arXiv2025

Detection of OH maser emission in the 71-year periodic comet 12P/Pons-Brooks using the 40-m Thai National Radio Telescope (TNRT)

Although the optical cometary database is extensive, the radio database is limited. The 18-cm OH maser observations of comets allow us to determine (i) the production rate of OH ($Q_{\rm{OH}}$) and (ii) the water expansion velocity, for each comet. To reveal the physical properties of the periodic comet 12P/Pons-Brooks, we conducted the OH maser observations of the comet using the 40-m TNRT (Thai National Radio Telescope) on March 22nd, 27th and 29th, 2024 before the perihelion passage on April 21st, 2024. We successfully detected 1665 and 1667 MHz OH maser emissions from the comet. The average OH production rates of 12P/Pons-Brooks were determined as 4.28$\pm$0.30 $\times$ 10$^{29}$ sec$^{-1}$, 5.21$\pm$0.42 $\times$ 10$^{29}$ sec$^{-1}$, and 3.36$\pm$0.43 $\times$ 10$^{29}$ sec$^{-1}$ for March 22nd, 27th and 29th, respectively. Combining our results with previous estimates, we find that the OH production rate of 12P/Pons-Brooks shows some fluctuations on timescales of a few days, but gradually increases on longer timescales as the comet approaches the last perihelion. The water expansion velocities of the comet were determined to be 1.55$\pm$0.14 km s$^{-1}$, 1.55$\pm$0.35 km s$^{-1}$, and 2.02$^{+0.47}_{-0.45}$ km s$^{-1}$ for the observations on March 22nd, 27th and 29th, respectively. The reason why the errors are different is because the signal to noise ratio is different for each OH maser emission. All expansion velocities are consistent with the individual results of the heuristic law (Tseng et al. 2007) within errors.

astro-ph.EP↗

arXiv2025

Anyonic membranes and Pontryagin statistics

Anyons, unique to two spatial dimensions, underlie extraordinary phenomena such as the fractional quantum Hall effect, but their generalization to higher dimensions has remained elusive. The topology of Eilenberg-MacLane spaces constrains the loop statistics to be only bosonic or fermionic in any dimension. In this work, we introduce the novel anyonic statistics for membrane excitations in four dimensions. Analogous to the $\mathbb{Z}_N$-particle exhibiting $\mathbb{Z}_{N\times \gcd(2,N)}$ anyonic statistics in two dimensions, we show that the $\mathbb{Z}_N$-membrane possesses $\mathbb{Z}_{N\times \gcd(3,N)}$ anyonic statistics in four dimensions. Given unitary volume operators that create membrane excitations on the boundary, we propose an explicit 56-step unitary sequence that detects the membrane statistics. We further analyze the boundary theory of $(5{+}1)$D 1-form $\mathbb{Z}_N$ symmetry-protected topological phases and demonstrate that their domain walls realize all possible anyonic membrane statistics. We then show that the $\mathbb{Z}_3$ subgroup persists in all higher dimensions. In addition to the standard fermionic $\mathbb{Z}_2$ membrane statistics arising from Stiefel-Whitney classes, membranes also exhibit $\mathbb{Z}_3$ statistics associated with Pontryagin classes. We explicitly verify that the 56-step process detects the nontrivial $\mathbb{Z}_3$ statistics in 5, 6, and 7 spatial dimensions. Moreover, in 7 and higher dimensions, the statistics of membrane excitations stabilize to $\mathbb{Z}_{2} \times \mathbb{Z}_{3}$, with the $\mathbb{Z}_3$ sector consistently captured by this process.

quant-ph↗

arXiv2025

Higher-Form Anomalies on Lattices

Higher-form symmetry in a tensor product Hilbert space is always emergent: the symmetry generators become genuinely topological only when the Gauss law is energetically enforced at low energies. In this paper, we present a general method for defining the 't Hooft anomaly of higher-form symmetries in lattice models built on a tensor product Hilbert space. In (2+1)D, for given Gauss law operators realized by finite-depth circuits that generate a finite 1-form $G$ symmetry, we construct an index representing a cohomology class in $H^4(B^2G, U(1))$, which characterizes the corresponding 't Hooft anomaly. This construction generalizes the Else-Nayak characterization of 0-form symmetry anomalies. More broadly, under the assumption of a specified formulation of the $p$-form $G$ symmetry action and Hilbert space structure in arbitrary $d$ spatial dimensions, we show how to characterize the 't Hooft anomaly of the symmetry action by an index valued in $H^{d+2}(B^{p+1}G, U(1))$.

cond-mat.str-el↗

arXiv2025

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↗

arXiv2025

Virtual Multiplex Staining for Histological Images using a Marker-wise Conditioned Diffusion Model

Multiplex imaging is revolutionizing pathology by enabling the simultaneous visualization of multiple biomarkers within tissue samples, providing molecular-level insights that traditional hematoxylin and eosin (H&E) staining cannot provide. However, the complexity and cost of multiplex data acquisition have hindered its widespread adoption. Additionally, most existing large repositories of H&E images lack corresponding multiplex images, limiting opportunities for multimodal analysis. To address these challenges, we leverage recent advances in latent diffusion models (LDMs), which excel at modeling complex data distributions by utilizing their powerful priors for fine-tuning to a target domain. In this paper, we introduce a novel framework for virtual multiplex staining that utilizes pretrained LDM parameters to generate multiplex images from H&E images using a conditional diffusion model. Our approach enables marker-by-marker generation by conditioning the diffusion model on each marker, while sharing the same architecture across all markers. To tackle the challenge of varying pixel value distributions across different marker stains and to improve inference speed, we fine-tune the model for single-step sampling, enhancing both color contrast fidelity and inference efficiency through pixel-level loss functions. We validate our framework on two publicly available datasets, notably demonstrating its effectiveness in generating up to 18 different marker types with improved accuracy, a substantial increase over the 2-3 marker types achieved in previous approaches. This validation highlights the potential of our framework, pioneering virtual multiplex staining. Finally, this paper bridges the gap between H&E and multiplex imaging, potentially enabling retrospective studies and large-scale analyses of existing H&E image repositories.

eess.IV↗