-
2D Quon Language: Unifying Framework for Cliffords, Matchgates, and Beyond
Authors:
Byungmin Kang,
Chen Zhao,
Zhengwei Liu,
Xun Gao,
Soonwon Choi
Abstract:
Simulating generic quantum states and dynamics is practically intractable using classical computers. However, certain special classes -- namely Clifford and matchgate circuits -- permit efficient computation. They provide invaluable tools for studying many-body physics, quantum chemistry, and quantum computation. While both play foundational roles across multiple disciplines, the origins of their…
▽ More
Simulating generic quantum states and dynamics is practically intractable using classical computers. However, certain special classes -- namely Clifford and matchgate circuits -- permit efficient computation. They provide invaluable tools for studying many-body physics, quantum chemistry, and quantum computation. While both play foundational roles across multiple disciplines, the origins of their tractability seem disparate, and their relationship remain unclear. A deeper understanding of such tractable classes could expand their scope and enable a wide range of new applications. In this work, we make progress toward the unified understanding of the Clifford and matchgate -- these two classes are, in fact, distinct special cases of a single underlying structure. Specifically, we introduce the 2D Quon language, which combines Majorana worldlines with their underlying spacetime topology to diagrammatically represent quantum processes and tensor networks. In full generality, the 2D Quon language is universal -- capable of representing arbitrary quantum states, dynamics, or tensor networks -- yet they become especially powerful in describing Clifford and matchgate classes. Each class can be efficiently characterized in a visually recognizable manner using the Quon framework. This capability naturally gives rise to several families of efficiently computable tensor networks introduced in this work: punctured matchgates, hybrid Clifford-matchgate-MPS, and ansatze generated from factories of tractable networks. All of these exhibit high non-Cliffordness, high non-matchgateness, and large bipartite entanglement entropy. We discuss a range of applications of our approach, from recovering well-known results such as the Kramers-Wannier duality and the star-triangle relation of the Ising model, to enabling variational optimization with novel ansatz states.
△ Less
Submitted 9 May, 2025;
originally announced May 2025.
-
A polynomial-time classical algorithm for noisy quantum circuits
Authors:
Thomas Schuster,
Chao Yin,
Xun Gao,
Norman Y. Yao
Abstract:
We provide a polynomial-time classical algorithm for noisy quantum circuits. The algorithm computes the expectation value of any observable for any circuit, with a small average error over input states drawn from an ensemble (e.g. the computational basis). Our approach is based upon the intuition that noise exponentially damps non-local correlations relative to local correlations. This enables one…
▽ More
We provide a polynomial-time classical algorithm for noisy quantum circuits. The algorithm computes the expectation value of any observable for any circuit, with a small average error over input states drawn from an ensemble (e.g. the computational basis). Our approach is based upon the intuition that noise exponentially damps non-local correlations relative to local correlations. This enables one to classically simulate a noisy quantum circuit by only keeping track of the dynamics of local quantum information. Our algorithm also enables sampling from the output distribution of a circuit in quasi-polynomial time, so long as the distribution anti-concentrates. A number of practical implications are discussed, including a fundamental limit on the efficacy of noise mitigation strategies: for constant noise rates, any quantum circuit for which error mitigation is efficient on most input states, is also classically simulable on most input states.
△ Less
Submitted 14 October, 2024; v1 submitted 17 July, 2024;
originally announced July 2024.
-
Twisted restricted conformal blocks of vertex operator algebras II: twisted restricted conformal blocks on totally ramified orbicurves
Authors:
Xu Gao,
Jianqi Liu,
Yiyi Zhu
Abstract:
In this paper, we introduce a notion of twisted restricted conformal blocks on totally ramified orbicurves and establish an isomorphism between the space of twisted restricted conformal blocks and the space of twisted conformal blocks. The relationships among twisted (restricted) conformal blocks, $g$-twisted (restricted) correlation functions, and twisted intertwining operators are explored. Furt…
▽ More
In this paper, we introduce a notion of twisted restricted conformal blocks on totally ramified orbicurves and establish an isomorphism between the space of twisted restricted conformal blocks and the space of twisted conformal blocks. The relationships among twisted (restricted) conformal blocks, $g$-twisted (restricted) correlation functions, and twisted intertwining operators are explored. Furthermore, by introducing a geometric generalization of Zhu's algebra and its modules, we obtain a description of the space of coinvariants by modules over associative algebras and show it is finite-dimensional under some conditions. In particular, a more conceptual proof of the $g$-twisted fusion rules theorem in vertex operator algebra theory is provided.
△ Less
Submitted 31 March, 2024; v1 submitted 1 March, 2024;
originally announced March 2024.
-
Twisted restricted conformal blocks of vertex operator algebras I: $g$-twisted correlation functions and fusion rules
Authors:
Xu Gao,
Jianqi Liu,
Yiyi Zhu
Abstract:
In this paper, we introduce a notion of $g$-twisted restricted conformal block on the three-pointed twisted projective line $\mathfrak{x}\colon\overline{C}\to\mathbb{P^1}$ associated with an untwisted module $M^1$ and the bottom levels of two $g$-twisted modules $M^2$ and $M^3$ over a vertex operator algebra $V$. We show that the space of twisted restricted conformal blocks is isomorphic to the sp…
▽ More
In this paper, we introduce a notion of $g$-twisted restricted conformal block on the three-pointed twisted projective line $\mathfrak{x}\colon\overline{C}\to\mathbb{P^1}$ associated with an untwisted module $M^1$ and the bottom levels of two $g$-twisted modules $M^2$ and $M^3$ over a vertex operator algebra $V$. We show that the space of twisted restricted conformal blocks is isomorphic to the space of $g$-twisted (restricted) correlation functions defined by the same datum and to the space of intertwining operators among these twisted modules. As an application, we derive a twisted version of the Fusion Rules Theorem.
△ Less
Submitted 26 December, 2023;
originally announced December 2023.
-
Nijenhuis operators on low dimensional pre-Lie algebras and solutions of CYBE
Authors:
Xiang Gao,
Chuangchuang Kang,
Jiafeng Lü,
Shizhuo Yu
Abstract:
We first classify all Nijenhuis operators on 2-dimensional complex pre-Lie algebras and 3-dimensional complex associative algebras. Moreover, applying the obtained classification, we provide solutions of classical Yang-Baxter equation of the semi-direct product sub-adjacent Lie algebras.
We first classify all Nijenhuis operators on 2-dimensional complex pre-Lie algebras and 3-dimensional complex associative algebras. Moreover, applying the obtained classification, we provide solutions of classical Yang-Baxter equation of the semi-direct product sub-adjacent Lie algebras.
△ Less
Submitted 23 August, 2023;
originally announced August 2023.
-
Extensibility of Hohenberg-Kohn Theorem to general quantum systems
Authors:
Limin Xu,
Jiahao Mao,
Xingyu Gao,
Zheng Liu
Abstract:
Hohenberg-Kohn (HK) theorem is a cornerstone of modern electronic structure calculations. For interacting electrons, given that the internal part of the Hamiltonian ($\hat H_{int}$), containing the kinetic energy and Couloumb interaction of electrons, has a fixed form, the theorem states that when the electrons are subject to an external electrostatic field, the ground-state density can inversely…
▽ More
Hohenberg-Kohn (HK) theorem is a cornerstone of modern electronic structure calculations. For interacting electrons, given that the internal part of the Hamiltonian ($\hat H_{int}$), containing the kinetic energy and Couloumb interaction of electrons, has a fixed form, the theorem states that when the electrons are subject to an external electrostatic field, the ground-state density can inversely determine the field, and thus the full Hamiltonian completely. For a general quantum system, a HK-type Hamiltonian in the form of $\hat H_{hk}\{g_i\}=\hat H_{int}+\sum_i g_i \hat O_i$ can always be defined, by grouping those terms with fixed or preknown coefficients into $\hat H_{int}$, and factorizing the remaining as superposition of a set of Hermitian operators $\{\hat O_i\}$. We ask whether the HK theorem can be extended, so that the ground-state expectation values of $\{\hat O_i\}$ as the generalized density can in principle be used as the fundamental variables determining all the properties of the system. We show that the question can be addressed by introducing the concept of generalized density correlation matrix (GDCM) defined with respect to the $\{\hat O_i\}$ operators. The invertibility of the GDCM represents a mathematically rigorous and practically useful criterion for the extension of HK theorem to be valid. We apply this criterion to several representative systems, including the quantum Ising dimer, the frustration-free systems, N-level quantum systems with fixed inter-level transition amplitude and tunable level energies, and a fermionic Hubbard chain with inhomogeneous on-site interactions. We suggest that for a finite-size system, finding an invertible GDCM under one single $\{g_i\}$ configuration is typically sufficient to establish the generic extensibility of the HK theorem in the entire parameter space.
△ Less
Submitted 5 July, 2022; v1 submitted 22 January, 2022;
originally announced January 2022.
-
Operator forms of nonhomogeneous associative classical Yang-Baxter equation
Authors:
Chengming Bai,
Xing Gao,
Li Guo,
Yi Zhang
Abstract:
This paper studies operator forms of the nonhomogeneous associative classical Yang-Baxter equation (nhacYBe), extending and generalizing such studies for the classical Yang-Baxter equation and associative Yang-Baxter equation that can be tracked back to the works of Semonov-Tian-Shansky and Kupershmidt on Rota-Baxter Lie algebras and $\mathcal{O}$-operators. In general, solutions of the nhacYBe ar…
▽ More
This paper studies operator forms of the nonhomogeneous associative classical Yang-Baxter equation (nhacYBe), extending and generalizing such studies for the classical Yang-Baxter equation and associative Yang-Baxter equation that can be tracked back to the works of Semonov-Tian-Shansky and Kupershmidt on Rota-Baxter Lie algebras and $\mathcal{O}$-operators. In general, solutions of the nhacYBe are characterized in terms of generalized $\mathcal{O}$-operators. The characterization can be given by the classical $\mathcal{O}$-operators precisely when the solutions satisfy an invariant condition. When the invariant condition is compatible with a Frobenius algebra, such solutions have close relationships with Rota-Baxter operators on the Frobenius algebra. In general, solutions of the nhacYBe can be produced from Rota-Baxter operators, and then from $\mathcal{O}$-operators when the solutions are taken in semi-direct product algebras. In the other direction, Rota-Baxter operators can be obtained from solutions of the nhacYBe in unitizations of algebras. Finally a classifications of solutions of the nhacYBe satisfying the mentioned invariant condition in all unital complex algebras of dimensions two and three are obtained. All these solutions are shown to come from Rota-Baxter operators.
△ Less
Submitted 16 July, 2021; v1 submitted 21 July, 2020;
originally announced July 2020.
-
Decay and Strichartz estimates in critical electromagnetic fields
Authors:
Xiaofen Gao,
Zhiqing Yin,
Junyong Zhang,
Jiqiang Zheng
Abstract:
We study the $L^1\to L^\infty$-decay estimates for dispersive equations in the Aharonov-Bohm magnetic fields, and further prove Strichartz estimates for the Klein-Gordon equation with critical electromagnetic potentials. The novel ingredients are the construction of Schwartz kernels of the spectral measure and heat propagator for the Schrödinger operator in Aharonov-Bohm magnetic fields. In partic…
▽ More
We study the $L^1\to L^\infty$-decay estimates for dispersive equations in the Aharonov-Bohm magnetic fields, and further prove Strichartz estimates for the Klein-Gordon equation with critical electromagnetic potentials. The novel ingredients are the construction of Schwartz kernels of the spectral measure and heat propagator for the Schrödinger operator in Aharonov-Bohm magnetic fields. In particular, we explicitly construct the representation of the spectral measure and resolvent of the Schrödinger operator with Aharonov-Bohm potentials, and show that the heat kernel in critical electromagnetic fields satisfies Gaussian boundedness. In future papers, this result on the spectral measure will be used to (i) study the uniform resolvent estimates, and (ii) prove the $L^p$-regularity property of wave propagation in the same setting.
△ Less
Submitted 4 February, 2021; v1 submitted 6 March, 2020;
originally announced March 2020.
-
On Missing Bianchi Identities in Cohomology Formulation
Authors:
Xin Gao,
Pramod Shukla,
Rui Sun
Abstract:
In this article, we perform a deep analysis of the Bianchi identities in the two known formulations developed for the four-dimensional effective type IIA supergravity theory with (non-)geometric fluxes. In what we call the `first formulation', fluxes are expressed in the real six-dimensional indices while in the `second formulation', fluxes are written in the cohomology form. We find that the set…
▽ More
In this article, we perform a deep analysis of the Bianchi identities in the two known formulations developed for the four-dimensional effective type IIA supergravity theory with (non-)geometric fluxes. In what we call the `first formulation', fluxes are expressed in the real six-dimensional indices while in the `second formulation', fluxes are written in the cohomology form. We find that the set of flux constraints arising from these two known formulations are not equivalent, and there are missing identities in the cohomology version which need to be supplemented to match with the first formulation. By analyzing two explicit examples, we conjecture a model independent form for (the most of) the missing identities. These identities have been mostly overlooked in the previous attempts of studying moduli stabilization, particularly for the models developed in the beyond toroidal frameworks, where they could play some important role.
△ Less
Submitted 25 September, 2019; v1 submitted 11 May, 2018;
originally announced May 2018.
-
Symplectic formulation of the type IIA nongeometric scalar potential
Authors:
Xin Gao,
Pramod Shukla,
Rui Sun
Abstract:
We study the four-dimensional (4D) scalar potential arising from a generalized type IIA flux superpotential including the (non-)geometric fluxes. First, we show that using a set of peculiar flux combinations, the 4D scalar potential can be formulated into a very compact form. This is what we call as the `symplectic formulation' from which one could easily anticipate the ten-dimensional origin of t…
▽ More
We study the four-dimensional (4D) scalar potential arising from a generalized type IIA flux superpotential including the (non-)geometric fluxes. First, we show that using a set of peculiar flux combinations, the 4D scalar potential can be formulated into a very compact form. This is what we call as the `symplectic formulation' from which one could easily anticipate the ten-dimensional origin of the effective scalar potential. We support our formulation through an alternate derivation of the scalar potential via considering the Double Field Theory (DFT) reduction on a generic Calabi Yau orientifold. In addition, we also exemplify the insights of our formulation with explicit computations for two concrete toroidal examples using orientifolds of the complex threefolds ${\mathbb T}^6/{({\mathbb Z}_2 \times {\mathbb Z}_2)}$ and ${\mathbb T}^6/{\mathbb Z}_4$.
△ Less
Submitted 26 July, 2018; v1 submitted 19 December, 2017;
originally announced December 2017.
-
Universal Bound on Sampling Bosons in Linear Optics
Authors:
Man-Hong Yung,
Xun Gao,
Joonsuk Huh
Abstract:
In linear optics, photons are scattered in a network through passive optical elements including beamsplitters and phase shifters, leading to many intriguing applications in physics, such as Mach-Zehnder interferometry, Hong-Ou-Mandel effect, and tests of fundamental quantum mechanics. Here we present a general analytic expression governing the upper limit of the transition amplitudes in sampling b…
▽ More
In linear optics, photons are scattered in a network through passive optical elements including beamsplitters and phase shifters, leading to many intriguing applications in physics, such as Mach-Zehnder interferometry, Hong-Ou-Mandel effect, and tests of fundamental quantum mechanics. Here we present a general analytic expression governing the upper limit of the transition amplitudes in sampling bosons, through all realizable linear optics. Apart from boson sampling, this transition bound results in many other interesting applications, including behaviors of Bose-Einstein Condensates (BEC) in optical networks, counterparts of Hong-Ou-Mandel effects for multiple photons, and approximating permanents of matrices. Also, this general bound implies the existence of a polynomial-time randomized algorithm for estimating transition amplitudes of bosons, which represents a solution to an open problem raised by Aaronson and Hance in 2012.
△ Less
Submitted 1 August, 2016;
originally announced August 2016.
-
Hopf algebras of rooted forests, cocyles and free Rota-Baxter algebras
Authors:
Xing Gao,
Li Guo,
Tianjie Zhang
Abstract:
The Hopf algebra and the Rota-Baxter algebra are the two algebraic structures underlying the algebraic approach of Connes and Kreimer to renormalization of perturbative quantum field theory. In particular the Hopf algebra of rooted trees serves as the "baby model" of Feynman graphs in their approach and can be characterized by certain universal properties involving a Hochschild 1-cocycle. Decorate…
▽ More
The Hopf algebra and the Rota-Baxter algebra are the two algebraic structures underlying the algebraic approach of Connes and Kreimer to renormalization of perturbative quantum field theory. In particular the Hopf algebra of rooted trees serves as the "baby model" of Feynman graphs in their approach and can be characterized by certain universal properties involving a Hochschild 1-cocycle. Decorated rooted trees have also been applied to study Feynman graphs. We will continue the study of universal properties of various spaces of decorated rooted trees with such a 1-cocycle, leading to the concept of a cocycle Hopf algebra. We further apply the universal properties to equip a free Rota-Baxter algebra with the structure of a cocycle Hopf algebra or a cocycle bialgebra.
△ Less
Submitted 31 May, 2016;
originally announced May 2016.
-
Addition formulae of discrete KP, q-KP and two-component BKP systems
Authors:
Xu Gao,
Chuanzhong Li,
Jingsong He
Abstract:
In this paper, we constructed the addition formulae for several integrable hierarchies, including the discrete KP, the q-deformed KP, the two-component BKP and the D type Drinfeld-Sokolov hierarchies. With the help of the Hirota bilinear equations and $τ$ functions of different kinds of KP hierarchies, we prove that these addition formulae are equivalent to these hierarchies. These studies show th…
▽ More
In this paper, we constructed the addition formulae for several integrable hierarchies, including the discrete KP, the q-deformed KP, the two-component BKP and the D type Drinfeld-Sokolov hierarchies. With the help of the Hirota bilinear equations and $τ$ functions of different kinds of KP hierarchies, we prove that these addition formulae are equivalent to these hierarchies. These studies show that the addition formula in the research of the integrable systems has good universality.
△ Less
Submitted 23 February, 2016;
originally announced February 2016.
-
Rota-Baxter operators on Witt and Virasoro algebras
Authors:
Xu Gao,
Ming Liu,
Chengming Bai,
Naihuan Jing
Abstract:
The homogeneous Rota-Baxter operators on the Witt and Virasoro algebras are classified. As applications, the induced solutions of the classical Yang-Baxter equation and the induced pre-Lie and PostLie algebra structures are obtained.
The homogeneous Rota-Baxter operators on the Witt and Virasoro algebras are classified. As applications, the induced solutions of the classical Yang-Baxter equation and the induced pre-Lie and PostLie algebra structures are obtained.
△ Less
Submitted 15 June, 2016; v1 submitted 11 July, 2014;
originally announced July 2014.
-
Bosonization of Supersymmetric KdV equation
Authors:
Xiao Nan Gao,
S. Y. Lou
Abstract:
Bosonization approach to the classical supersymmetric systems is presented. By introducing the multi-fermionic parameters in the expansions of the superfields, the $\mathcal {N}=1$ supersymmetric KdV (sKdV) equations are transformed to a system of coupled bosonic equations. The method can be applied to any fermionic systems. By solving the coupled bosonic equations, some novel types of exact solut…
▽ More
Bosonization approach to the classical supersymmetric systems is presented. By introducing the multi-fermionic parameters in the expansions of the superfields, the $\mathcal {N}=1$ supersymmetric KdV (sKdV) equations are transformed to a system of coupled bosonic equations. The method can be applied to any fermionic systems. By solving the coupled bosonic equations, some novel types of exact solutions can be explicitly obtained. Especially, the richness of the localized excitations of the supersymmetric integrable system are discovered. The rich multi-soliton solutions obtained here have not yet been obtained by using other methods. Unfortunately, the traditional known multi-soliton solutions can also not be obtained by the bosonization approach of this paper. Some open problems on the bosonization of the supersymmetric integrable models are proposed in the both classical and quantum levels.
△ Less
Submitted 20 August, 2011;
originally announced August 2011.
