arXiv Science⌕ Search

arXiv subjects

Zhengwei Liu

Publications and source records attributed to Zhengwei Liu.

At least 19 recordsLinked to original sources
arXiv2026

Complexity of tensor network simulation for noisy quantum circuits

We aim to rigorously address how local noise affects the classical simulability of quantum dynamics benchmarked by tensor-network methods. Using operator entanglement entropy (OEE) as a unifying criterion, we prove the following: (1) For single-qubit depolarizing noise, geometry-independent $\order{1}$-layer and $Θ(\log n)$-layer thresholds for fixed absolute and relative Hilbert--Schmidt error are established, beyond which polynomial bond dimension suffices; on 1D local circuits with a product initial input, whole-trajectory MPO approximations are constructed at fixed purified distance with $\mathrm{poly}(n)$ bond dimension. (2) For general single-qubit noise, we identify sufficient contractivity conditions for MPO approximations with constant bond dimension, in both the average and worst cases. (3) We further extend the above results to higher dimensions, yielding $\mathrm{poly}(n)$ average boundary-bond dimensions for projected entangled pair operators (PEPO) across every cut. Our results establish a rigorous connection between certain noise models, circuit types, and their classical simulability.

cond-mat.str-el↗
arXiv2026

Triangle Relation Planar Algebras: Cohomology, Classification, and New Families

We establish a finite system of consistency equations for triangle relation planar algebras. Within the Yang--Baxter relation class, we characterize triangle relations by $H^2(K;\mathbb C)=0$, where $K$ is the fusion complex recording the support of the fusion coefficients. Together with a reconstruction theorem, this gives an algebraic classification procedure. We classify bi-commutative triangle relation planar algebras with $\dim P_{2,\pm}\leq5$. In ranks two, three, and four, the classification yields respectively $2$, $7$, and $19$ realizable fusion-support pair strata, up to relabelling and shading reversal. These results recover the low-rank examples of Bisch, Jones, Liu, and Lu, and extend the rank-four classification beyond exchange relations. In rank five, we obtain two one-parameter families with different duality types whose generic members do not arise from representations of groups or quantum groups.

math.QA↗
arXiv2026

FaultScope: A software package for fast error attribution in quantum error correction

We introduce FaultScope, a classical simulator for quantum error correction circuits, implemented in Rust with a Python interface. FaultScope estimates logical error rates and their derivatives with respect to component error rates from the same sampled and decoded shots, without modifying or differentiating through the decoder. These derivatives enable error attribution to individual noisy components, helping identify noise hotspots for targeted noise reduction. FaultScope supports forward simulation of error propagation through circuits and direct sampling of detector and logical observable outcomes from detector error models. In our noiseless and noisy benchmarks, FaultScope has the lowest runtime among the tested simulators at every size. Computing all derivatives adds only 0.33--0.97\% to the runtime of logical error rate estimation across five repetition code sizes with 7--2047 error locations. FaultScope can be used to benchmark large-scale quantum error correction schemes and guide targeted noise reduction efficiently, thereby facilitating the design and optimization of fault-tolerant quantum computing architectures.

quant-ph↗
arXiv2026

Coxeter Rigidity and ADE Classification of Fibonacci-Generated Tensor Categories

We propose a program to classify tensor categories generated by prescribed seed tensor categories. We carry out this program for finitely many marked copies of the positive Fibonacci category with pairwise nonisomorphic generating simple objects, in the setting of split locally finite semisimple rigid $\CC$-linear tensor categories with simple unit. We show that the Fibonacci fusion relation forces the fusion rules to be those of a specialized Coxeter--Hecke ring. The systems admitting categorification have Coxeter exponents $2,3,\infty$. For every such system we construct a tensor category and prove uniqueness up to marked tensor equivalence. Its simple objects are indexed by the Coxeter group, which may be infinite. Finite rank occurs precisely for disjoint unions of finite ADE diagrams, giving the ADE classification of Fibonacci-generated fusion categories. These categories are unitarizable, with no unitary structure assumed on the candidate. In finite ADE type, allowing Yang--Lee seeds gives one independent tensor-branch choice on each connected component.

math.QA↗
arXiv2026

Finite Composites of the Fibonacci Category with Pointed Fusion Categories

We classify finite composites of the positive Fibonacci category with arbitrary pointed fusion categories, retaining the entire source functor and making no unitarity assumption on the target. Formal codegrees, dimension fields, and algebraic integrality exclude all dihedral Fibonacci rings $R_n$ with $n\ge4$ from categorification. Together with an independent graphical uniqueness argument, this gives the finite two-Fibonacci classification. For several marked Fibonacci generators, a geometric height-and-polygon argument identifies the based ring with a standard-basis Coxeter--Hecke ring. Transitive conjugation by the pointed image forces the noncommutation graph to be empty or a perfect matching. We then obtain a crossed-product classification in terms of a quotient group, a stabilizer, labelled Fibonacci or rank-six $\TT$ blocks, and compatible cocycle and categorical action data. This includes the Fibonacci--$\Z/3\Z$ composite problem without target unitarity. We also establish the corresponding forms and marked descent statements over characteristic-zero fields admitting the chosen Fibonacci-type input.

math.QA↗
arXiv2026

G-equivariant Alterfold TQFT in any dimension

For a discrete group $G$, we construct an $(n+1)$-dimensional $G$-equivariant Alterfold topological quantum field theory from a $G$-equivariant $S^n$-algebra satisfying strong semisimplicity, complete finiteness, and Morita invariance. We use state sum on triangulation to define a partition function and prove that it is invariant under local surgery relations and is invariant under gauge transformations relative to the boundary. If the input is given a reflection-positive structure, the theory is unitary. For $n=2$ and input reconstructed from a strict faithful spherical $G$-fusion category, the restriction to ordinary $G$-cobordisms is naturally isomorphic to the Turaev--Virelizier state-sum HQFT \cite{turaev20123}. A Tambara-Yamagami example recovers the Quon language \cite{liu2017quon} as a $\mathbb{Z}_2$-equivariant Alterfold TQFT.

math.QA↗
arXiv2026

Post-merger rotational evolution of magnetised single hot subdwarfs results in slow rotation due to magnetic braking

Single hot subdwarfs are believed to form through mergers of helium-core white dwarfs, which can lead to large-scale magnetic fields generated during the merger, and may be observable at the surface once they evolve into the stable core-helium burning phase. As a post-merger product, the orbital angular momentum of the binary system that forms it, could lead to a rapidly rotating hot subdwarf. But previous models were not able to explain the rather slow rotational velocities of observed single hot subdwarfs. Motivated by recent detections of surface magnetic fields in hot subdwarfs in the range 200 - 500 kiloGauss, we explore in this work the role of large-scale magnetic fields on their rotational evolution via rotating stellar evolution models. We find that large-scale stable magnetic fields can extract angular momentum efficiently from the star via coupling to stellar winds, producing slowly rotating single hot subdwarfs and thus providing a possible explanation to both the long rotation periods provided by asteroseismology and low spectroscopic rotational velocities. This hints magnetic braking could be an important component of the rotational properties of low-mass stellar mergers.

astro-ph.SR↗
arXiv2026

Triangular prism equations for near-group categories: algebraic solutions and a unitary conjecture

We derive the triangular prism equations (TPE) for near-group fusion rules of type $G+|G|$, where $G$ is a finite abelian group. We prove that spherical categorification with trivial Frobenius--Schur indicator over any field in which $|G|$ is invertible is equivalent to the solvability of the TPE system. For every cyclic group, we construct an explicit solution to the TPE system using hyperbolic gamma functions, yielding both a spherical category with negative simple-object dimensions and, after Galois conjugation, a pseudo-unitary category with positive dimensions. For scalar solutions with positive dimensions, we establish an exact singular-value formula and a uniform gap, which provide explicit sufficient criteria for unitarity. Finally, we show that the unitarity of the cyclic Galois-conjugated coefficients for arbitrary orders corresponds to a specialization of a real-multiplication conjecture implied by the order-one abelian Stark conjecture, revealing a deep connection between categorical unitarity and Hilbert's twelfth problem for real quadratic fields.

math.QA↗
arXiv2026

Entropy Contraction and Hypercontractivity for Gaussian Quantum Markov Semigroups

In this paper, we study finite-mode Gaussian quantum Markov semigroups with a faithful invariant Gaussian state. We present an algebraic characterization of the complete modified logarithmic Sobolev inequality relative to the fixed-point algebra, and we obtain the corresponding optimal constant under the assumption that the drift evolution $e^{t\mathbf{Z}}$ converges as $t\to\infty$. We establish hypercontractivity for such quantum Markov semigroups with Hurwitz drift, in the sense that every fixed pair $1<p<q<\infty$ is attained at sufficiently large times. We find that the usual reverse hypercontractive curves with a positive rate from time zero can fail in general, but every fixed pair $1/2 < p < q < 1$ is attained at sufficiently large times under the Hurwitz assumption. We also systematically investigate the $p$-logarithmic Sobolev inequality and show that the $p$-logarithmic Sobolev constant can be negative for $0 < p < 1/2$.

math-ph↗
arXiv2026

Robust exponential lower bounds for fermionic and bosonic Gaussian ranks

The power and limitations of classical simulation are central to understanding quantum computational advantages. A leading simulation paradigm is based on coherent decomposition into classically tractable free states where the decomposition rank determines the simulation complexity. Proving strong lower bounds on this number is a notoriously difficult and mathematically rich problem, as exemplified by the qubit stabilizer rank problem. Here, we study the Gaussian version of this problem in both bosonic and fermionic systems and establish robust exponential lower bounds on Gaussian rank. In particular, we prove that for every pure non-Gaussian state on finitely many modes, with definite parity in the fermionic case, the approximate border Gaussian rank of its tensor powers grows at least exponentially at any fixed norm error below one. Our proofs combine reduction to four modes with Majorana spectral bounds for fermions, and Gaussian postselection with an entropy-based rank bound for bosons. As concrete examples, we derive explicit exponential lower bounds for the four-mode fermionic GHZ state and the bosonic single-photon state. The bosonic results require no assumption on the energy of the target state. Our results show that non-Gaussianity universally entails exponential Gaussian decomposition complexity, setting fundamental limitations on decomposition-based classical simulation of bosonic and fermionic systems.

quant-ph↗
arXiv2026

Scaling law of variational quantum algorithms

We study scaling law of variational quantum algorithms by large-scale numerical experiments on combinatorial optimizations. On experiments up to n = 5000 qubits with O( log(n)) circuit depth with a classically simulable ansatz, the converged energies consistently differ by no more than 0.5% from the optimal or reference energies reported in the benchmarks.

quant-ph↗
arXiv2026

Resonance Breaking in Noisy Shor's Algorithm

We argue that the exponential quantum advantage in Shor's algorithm is broken under one-layer depolarizing noise of arbitrary small error rate, by analyzing a resonance breaking phenomenon in noisy quantum circuits. First, we express the distribution of measurements on $n$-qubit strings as the superposition of the $4^n$ wave functions in the Pauli path integral. In the noiseless case, the bit-strings achieving resonant peaks guaranteed a constant rate of successful measurements to factor a large number. Secondly, when the middle layer of the quantum circuit has independent depolarizing noise of rate $λ$, for any Hamming weight $d$, we obtain corresponding measurement rate bounded by $2(1-λ)^d$ for higher frequency terms and by $O(n^d)/2^{n/2}$ for low frequency terms. The rate approaches to zero as $n$ and $d$ approaches to infinity. Resonance breaking destroys the exponential quantum advantage. Furthermore, we design a classical factoring algorithm in polynomial time $O(n^d)$ to substitute the low frequency contribution.

quant-ph↗
arXiv2026

Frustration-Free Models for Topological Holography: Fusion Spin Chains as Boundary Algebras

We introduce a class of $2d$ quantum spin systems based on a unitary spherical fusion category with a chosen object. These models have frustration-free, reflection positive, but generally non-commuting local interactions, generalizing the Levin-Wen string-net models. Based on the theory developed in arXiv:2510.20662, we explicitly realize the Temperley-Lieb-Jones algebra, and more generally fusion spin chains as their boundary algebras.

math-ph↗
arXiv2026

Equivalence of states and bimodule quantum channels

We study the action of quantum channels on states on a von Neumann algebra $\mathcal{M}$ with conserved quantities encoded by a subalgebra $\mathcal{N}$. We define a phase as an equivalence class of normal states on $\mathcal{M}$ under the action of quantum channels preserving $\mathcal{N}$. First, we establish a relative quasi-entropic characterization of phase equivalence using the Petz recovery map. We further introduce the operator algebra (OA) symmetry of a state and define an equivalence relation between OA symmetries via bishifts of biprojections. When $\mathcal{N}\subseteq\mathcal{M}$ is an irreducible finite-index subfactor of type II$_1$, we prove that phase equivalence implies OA symmetry equivalence. Consequently, OA symmetry breaking provides a sufficient mechanism for detecting phase transitions. Furthermore, combining finite-index subfactor theory with quantum Fourier analysis, we prove that the cardinality of each phase is finite and obtain an explicit upper bound depending only on the Jones index.

math.OA↗
arXiv2026

Topological Orders from Reflection Positive Frustration-free Hamiltonians

We establish a framework based on reflection positivity for analyzing topologically ordered quantum spin systems and reconstructing their boundary algebras. For any reflection positive frustration-free Hamiltonian, we prove that the local topological quantum order (LTQO) condition of ground states on a disk holds, if and only if the ground state on the sphere obtained by gluing the disk with its reflection is nondegenerate. Furthermore, we show that Osterwalder-Schrader reconstruction produces the local net of boundary operator algebras from the local ground states, offering a constructive approach to topological holography through spatial reflection positivity.

math-ph↗
arXiv2026

Some entropic inequalities for primitive KMS symmetric quantum Markov semigroups

In this note, we prove that every primitive KMS-symmetric quantum Markov semigroup on a finite-dimensional matrix algebra satisfies a modified logarithmic Sobolev inequality (MLSI). We also construct a primitive quantum Markov semigroup without KMS symmetry that fails MLSI, and a primitive KMS-symmetric quantum Markov semigroup that fails complete MLSI (CMLSI). The latter construction also provides a non-primitive KMS-symmetric quantum Markov semigroup without MLSI. For the graph-based KMS-symmetric quantum Markov semigroups studied here, we prove MLSI and CMLSI when the underlying graph is connected and has at least three vertices. Finally, we establish CMLSI for a class of primitive bimodule KMS-symmetric quantum Markov semigroups arising from fermionic systems.

math.OA↗
arXiv2026

A prolonged plateau-to-tail transition in the Type II supernova SN2025abyc

We present optical photometric and spectroscopic observations of the Type II supernova SN2025abyc. During the optically thick phase between approximately 10 and 70 d after explosion, its light curves show strongly wavelength-dependent decline rates of approximately 2.7, 2.1, 0.9, and 0.8 mag/100d in the g, c, r, and o bands, respectively. At approximately 70 d, the light curves begin to depart from their nearly linear plateau evolution and gradually transition toward the radioactive tail. A Fermi-Dirac fit to the well-sampled ATLAS o-band light curve yields a transition midpoint of t_PT ~ 100.5d. The interval between the end of the linear plateau and this transition midpoint is approximately 30 d, indicating a prolonged plateau-to-tail transition. This timescale is comparable to those measured for SN2013by, SN2013ej, and SN2014G. Spectroscopically, at +13 d post-explosion, the Halpha profile appears weak and broad, whereas Hbeta and Hgamma display clear P-Cygni profiles. This morphology can be explained by the normal early spectroscopic evolution of SNe II, although partial filling of the Halpha absorption trough by emission associated with circumstellar interaction cannot be excluded. SN2025abyc otherwise follows the general photospheric velocity evolution of SNe II, while remaining toward the high-velocity side of the comparison distribution in Halpha, Hbeta, and FeII. Exploratory light-curve modelling suggests a synthesized Ni mass of approximately 0.03-0.04 solar mass. We suggest that the extended circumstellar environment, Ni distribution, and hydrogen-envelope structure could all play a role in shaping the observed light-curve evolution, particularly the prolonged plateau-to-tail transition.

astro-ph.SR↗
arXiv2026

Axiomatization of the Levin--Wen Wave Function

The Levin--Wen model provides a lattice realization of topological orders associated with a given unitary fusion category. A longstanding open problem is to characterize Levin--Wen ground-state wave functions intrinsically, without assuming a priori categorical symmetry data or a Hamiltonian. We address this by proposing six axioms on a family of wave functions defined on lattices at multiple scales. These axioms allow us to reconstruct the underlying unitary fusion category and prove that the resulting wave functions map to nonzero Levin--Wen ground-state vectors of the emergent category.

math-ph↗