-
Tensor networks for non-invertible symmetries in 3+1d and beyond
Authors:
Pranay Gorantla,
Shu-Heng Shao,
Nathanan Tantivasadakarn
Abstract:
Tensor networks provide a natural language for non-invertible symmetries in general Hamiltonian lattice models. We use ZX-diagrams, which are tensor network presentations of quantum circuits, to define a non-invertible operator implementing the Wegner duality in 3+1d lattice $\mathbb{Z}_2$ gauge theory. The non-invertible algebra, which mixes with lattice translations, can be efficiently computed…
▽ More
Tensor networks provide a natural language for non-invertible symmetries in general Hamiltonian lattice models. We use ZX-diagrams, which are tensor network presentations of quantum circuits, to define a non-invertible operator implementing the Wegner duality in 3+1d lattice $\mathbb{Z}_2$ gauge theory. The non-invertible algebra, which mixes with lattice translations, can be efficiently computed using ZX-calculus. We further deform the $\mathbb{Z}_2$ gauge theory while preserving the duality and find a model with nine exactly degenerate ground states on a torus, consistent with the Lieb-Schultz-Mattis-type constraint imposed by the symmetry. Finally, we provide a ZX-diagram presentation of the non-invertible duality operators (including non-invertible parity/reflection symmetries) of generalized Ising models based on graphs, encompassing the 1+1d Ising model, the three-spin Ising model, the Ashkin-Teller model, and the 2+1d plaquette Ising model. The mixing (or lack thereof) with spatial symmetries is understood from a unifying perspective based on graph theory.
△ Less
Submitted 18 June, 2024;
originally announced June 2024.
-
The Next 700 ML-Enabled Compiler Optimizations
Authors:
S. VenkataKeerthy,
Siddharth Jain,
Umesh Kalvakuntla,
Pranav Sai Gorantla,
Rajiv Shailesh Chitale,
Eugene Brevdo,
Albert Cohen,
Mircea Trofin,
Ramakrishna Upadrasta
Abstract:
There is a growing interest in enhancing compiler optimizations with ML models, yet interactions between compilers and ML frameworks remain challenging. Some optimizations require tightly coupled models and compiler internals,raising issues with modularity, performance and framework independence. Practical deployment and transparency for the end-user are also important concerns. We propose ML-Comp…
▽ More
There is a growing interest in enhancing compiler optimizations with ML models, yet interactions between compilers and ML frameworks remain challenging. Some optimizations require tightly coupled models and compiler internals,raising issues with modularity, performance and framework independence. Practical deployment and transparency for the end-user are also important concerns. We propose ML-Compiler-Bridge to enable ML model development within a traditional Python framework while making end-to-end integration with an optimizing compiler possible and efficient. We evaluate it on both research and production use cases, for training and inference, over several optimization problems, multiple compilers and its versions, and gym infrastructures.
△ Less
Submitted 17 November, 2023;
originally announced November 2023.
-
On the size of maximum cut in planar graphs
Authors:
Pranay Gorantla,
Santhoshini Velusamy
Abstract:
We show that the size of maximum cut in a planar graph with $m$ edges is at least $2m/3$. We also show that maximal planar graphs saturate this bound.
We show that the size of maximum cut in a planar graph with $m$ edges is at least $2m/3$. We also show that maximal planar graphs saturate this bound.
△ Less
Submitted 24 January, 2023; v1 submitted 22 January, 2023;
originally announced January 2023.
-
Gapped Lineon and Fracton Models on Graphs
Authors:
Pranay Gorantla,
Ho Tat Lam,
Nathan Seiberg,
Shu-Heng Shao
Abstract:
We introduce a $\mathbb{Z}_N$ stabilizer code that can be defined on any spatial lattice of the form $Γ\times C_{L_z}$, where $Γ$ is a general graph. We also present the low-energy limit of this stabilizer code as a Euclidean lattice action, which we refer to as the anisotropic $\mathbb{Z}_N$ Laplacian model. It is gapped, robust (i.e., stable under small deformations), and has lineons. Its ground…
▽ More
We introduce a $\mathbb{Z}_N$ stabilizer code that can be defined on any spatial lattice of the form $Γ\times C_{L_z}$, where $Γ$ is a general graph. We also present the low-energy limit of this stabilizer code as a Euclidean lattice action, which we refer to as the anisotropic $\mathbb{Z}_N$ Laplacian model. It is gapped, robust (i.e., stable under small deformations), and has lineons. Its ground state degeneracy (GSD) is expressed in terms of a "mod $N$-reduction" of the Jacobian group of the graph $Γ$. In the special case when space is an $L\times L\times L_z$ cubic lattice, the logarithm of the GSD depends on $L$ in an erratic way and grows no faster than $O(L)$. We also discuss another gapped model, the $\mathbb{Z}_N$ Laplacian model, which can be defined on any graph. It has fractons and a similarly strange GSD.
△ Less
Submitted 20 November, 2022; v1 submitted 7 October, 2022;
originally announced October 2022.
-
2+1d Compact Lifshitz Theory, Tensor Gauge Theory, and Fractons
Authors:
Pranay Gorantla,
Ho Tat Lam,
Nathan Seiberg,
Shu-Heng Shao
Abstract:
The 2+1d continuum Lifshitz theory of a free compact scalar field plays a prominent role in a variety of quantum systems in condensed matter physics and high energy physics. It is known that in compact space, it has an infinite ground state degeneracy. In order to understand this theory better, we consider two candidate lattice regularizations of it using the modified Villain formalism. We show th…
▽ More
The 2+1d continuum Lifshitz theory of a free compact scalar field plays a prominent role in a variety of quantum systems in condensed matter physics and high energy physics. It is known that in compact space, it has an infinite ground state degeneracy. In order to understand this theory better, we consider two candidate lattice regularizations of it using the modified Villain formalism. We show that these two lattice theories have significantly different global symmetries (including a dipole global symmetry), anomalies, ground state degeneracies, and dualities. In particular, one of them is self-dual. Given these theories and their global symmetries, we can couple them to corresponding gauge theories. These are two different $U(1)$ tensor gauge theories. The resulting models have excitations with restricted mobility, i.e., fractons. Finally, we give an exact lattice realization of the fracton/lineon-elasticity dualities for the Lifshitz theory, scalar and vector charge gauge theories.
△ Less
Submitted 23 July, 2023; v1 submitted 20 September, 2022;
originally announced September 2022.
-
Fractons on Graphs and Complexity
Authors:
Pranay Gorantla,
Ho Tat Lam,
Shu-Heng Shao
Abstract:
We introduce two exotic lattice models on a general spatial graph. The first one is a matter theory of a compact Lifshitz scalar field, while the second one is a certain rank-2 $U(1)$ gauge theory of fractons. Both lattice models are defined via the discrete Laplacian operator on a general graph. We unveil an intriguing correspondence between the physical observables of these lattice models and gr…
▽ More
We introduce two exotic lattice models on a general spatial graph. The first one is a matter theory of a compact Lifshitz scalar field, while the second one is a certain rank-2 $U(1)$ gauge theory of fractons. Both lattice models are defined via the discrete Laplacian operator on a general graph. We unveil an intriguing correspondence between the physical observables of these lattice models and graph theory quantities. For instance, the ground state degeneracy of the matter theory equals the number of spanning trees of the spatial graph, which is a common measure of complexity in graph theory ("GSD = complexity"). The discrete global symmetry is identified as the Jacobian group of the graph. In the gauge theory, superselection sectors of fractons are in one-to-one correspondence with the divisor classes in graph theory. In particular, under mild assumptions on the spatial graph, the fracton immobility is proven using a graph-theoretic Abel-Jacobi map.
△ Less
Submitted 5 November, 2022; v1 submitted 18 July, 2022;
originally announced July 2022.
-
Fair allocation of a multiset of indivisible items
Authors:
Pranay Gorantla,
Kunal Marwaha,
Santhoshini Velusamy
Abstract:
We study the problem of fairly allocating a multiset $M$ of $m$ indivisible items among $n$ agents with additive valuations. Specifically, we introduce a parameter $t$ for the number of distinct types of items and study fair allocations of multisets that contain only items of these $t$ types, under two standard notions of fairness:
1. Envy-freeness (EF): For arbitrary $n$, $t$, we show that a co…
▽ More
We study the problem of fairly allocating a multiset $M$ of $m$ indivisible items among $n$ agents with additive valuations. Specifically, we introduce a parameter $t$ for the number of distinct types of items and study fair allocations of multisets that contain only items of these $t$ types, under two standard notions of fairness:
1. Envy-freeness (EF): For arbitrary $n$, $t$, we show that a complete EF allocation exists when at least one agent has a unique valuation and the number of items of each type exceeds a particular finite threshold. We give explicit upper and lower bounds on this threshold in some special cases.
2. Envy-freeness up to any good (EFX): For arbitrary $n$, $m$, and for $t\le 2$, we show that a complete EFX allocation always exists. We give two different proofs of this result. One proof is constructive and runs in polynomial time; the other is geometrically inspired.
△ Less
Submitted 5 November, 2022; v1 submitted 10 February, 2022;
originally announced February 2022.
-
Global Dipole Symmetry, Compact Lifshitz Theory, Tensor Gauge Theory, and Fractons
Authors:
Pranay Gorantla,
Ho Tat Lam,
Nathan Seiberg,
Shu-Heng Shao
Abstract:
We study field theories with global dipole symmetries and gauge dipole symmetries. The famous Lifshitz theory is an example of a theory with a global dipole symmetry. We study in detail its 1+1d version with a compact field. When this global symmetry is promoted to a $U(1)$ dipole gauge symmetry, the corresponding gauge field is a tensor gauge field. This theory is known to lead to fractons. In or…
▽ More
We study field theories with global dipole symmetries and gauge dipole symmetries. The famous Lifshitz theory is an example of a theory with a global dipole symmetry. We study in detail its 1+1d version with a compact field. When this global symmetry is promoted to a $U(1)$ dipole gauge symmetry, the corresponding gauge field is a tensor gauge field. This theory is known to lead to fractons. In order to resolve various subtleties in the precise meaning of these global or gauge symmetries, we place these 1+1d theories on a lattice and then take the continuum limit. Interestingly, the continuum limit is not unique. Different limits lead to different continuum theories, whose operators, defects, global symmetries, etc. are different. We also consider a lattice gauge theory with a $\mathbb Z_N$ dipole gauge group. Surprisingly, several physical observables, such as the ground state degeneracy and the mobility of defects depend sensitively on the number of sites in the lattice.
Our analysis forces us to think carefully about global symmetries that do not act on the standard Hilbert space of the theory, but only on the Hilbert space in the presence of defects. We refer to them as time-like global symmetries and discuss them in detail. These time-like global symmetries allow us to phrase the mobility restrictions of defects (including those of fractons) as a consequence of a global symmetry.
△ Less
Submitted 17 June, 2022; v1 submitted 25 January, 2022;
originally announced January 2022.
-
Anomaly Inflow for Subsystem Symmetries
Authors:
Fiona J. Burnell,
Trithep Devakul,
Pranay Gorantla,
Ho Tat Lam,
Shu-Heng Shao
Abstract:
We study 't Hooft anomalies and the related anomaly inflow for subsystem global symmetries. These symmetries and anomalies arise in a number of exotic systems, including models with fracton order such as the X-cube model. As is the case for ordinary global symmetries, anomalies for subsystem symmetries can be canceled by anomaly inflow from a bulk theory in one higher dimension; the corresponding…
▽ More
We study 't Hooft anomalies and the related anomaly inflow for subsystem global symmetries. These symmetries and anomalies arise in a number of exotic systems, including models with fracton order such as the X-cube model. As is the case for ordinary global symmetries, anomalies for subsystem symmetries can be canceled by anomaly inflow from a bulk theory in one higher dimension; the corresponding bulk is therefore a non-trivial subsystem symmetry protected topological (SSPT) phase. We demonstrate these phenomena in several examples with continuous and discrete subsystem global symmetries, as well as time-reversal symmetry. For each example we describe the boundary anomaly, and present classical continuum actions for the corresponding bulk SSPT phases, which describe the response of background gauge fields associated with the subsystem symmetries. Interestingly, we show that the anomaly does not uniquely specify the bulk SSPT phase. In general, the latter may also depend on how the symmetry and the associated foliation structure on the boundary are extended into the bulk.
△ Less
Submitted 18 October, 2021;
originally announced October 2021.
-
The low-energy limit of some exotic lattice theories and UV/IR mixing
Authors:
Pranay Gorantla,
Ho Tat Lam,
Nathan Seiberg,
Shu-Heng Shao
Abstract:
We continue our exploration of exotic, gapless lattice and continuum field theories with subsystem global symmetries. In an earlier paper, we presented free lattice models enjoying all the global symmetries (except continuous translations), dualities, and anomalies of the continuum theories. Here, we study in detail the relation between the lattice models and the corresponding continuum theories.…
▽ More
We continue our exploration of exotic, gapless lattice and continuum field theories with subsystem global symmetries. In an earlier paper, we presented free lattice models enjoying all the global symmetries (except continuous translations), dualities, and anomalies of the continuum theories. Here, we study in detail the relation between the lattice models and the corresponding continuum theories. We do that by analyzing the spectrum of the theories and several correlation functions. These lead us to uncover interesting subtleties in the way the continuum limit can be taken. In particular, in some cases, the infinite volume limit and the continuum limit do not commute. This signals a surprising UV/IR mixing, i.e., long distance sensitivity to short distance details.
△ Less
Submitted 22 November, 2021; v1 submitted 30 July, 2021;
originally announced August 2021.
-
A Modified Villain Formulation of Fractons and Other Exotic Theories
Authors:
Pranay Gorantla,
Ho Tat Lam,
Nathan Seiberg,
Shu-Heng Shao
Abstract:
We reformulate known exotic theories (including theories of fractons) on a Euclidean spacetime lattice. We write them using the Villain approach and then we modify them to a convenient range of parameters. The new lattice models are closer to the continuum limit than the original lattice versions. In particular, they exhibit many of the recently found properties of the continuum theories including…
▽ More
We reformulate known exotic theories (including theories of fractons) on a Euclidean spacetime lattice. We write them using the Villain approach and then we modify them to a convenient range of parameters. The new lattice models are closer to the continuum limit than the original lattice versions. In particular, they exhibit many of the recently found properties of the continuum theories including emergent global symmetries and surprising dualities. Also, these new models provide a clear and rigorous formulation to the continuum models and their singularities. In appendices, we use this approach to review well-studied lattice models and their continuum limits. These include the XY-model, the $\mathbb{Z}_N$ clock-model, and various gauge theories in diverse dimensions. This presentation clarifies the relation between the condensed-matter and the high-energy views of these systems. It emphasizes the role of symmetries associated with the topology of field space, duality, and various anomalies.
△ Less
Submitted 14 October, 2021; v1 submitted 1 March, 2021;
originally announced March 2021.
-
FCC, Checkerboards, Fractons, and QFT
Authors:
Pranay Gorantla,
Ho Tat Lam,
Nathan Seiberg,
Shu-Heng Shao
Abstract:
We consider XY-spin degrees of freedom on an FCC lattice, such that the system respects some subsystem global symmetry. We then gauge this global symmetry and study the corresponding $U(1)$ gauge theory on the FCC lattice. Surprisingly, this $U(1)$ gauge theory is dual to the original spin system. We also analyze a similar $\mathbb{Z}_N$ gauge theory on that lattice. All these systems are fractoni…
▽ More
We consider XY-spin degrees of freedom on an FCC lattice, such that the system respects some subsystem global symmetry. We then gauge this global symmetry and study the corresponding $U(1)$ gauge theory on the FCC lattice. Surprisingly, this $U(1)$ gauge theory is dual to the original spin system. We also analyze a similar $\mathbb{Z}_N$ gauge theory on that lattice. All these systems are fractonic. The $U(1)$ theories are gapless and the $\mathbb{Z}_N$ theories are gapped. We analyze the continuum limits of all these systems and present free continuum Lagrangians for their low-energy physics.
Our $\mathbb{Z}_2$ FCC gauge theory is the continuum limit of the well known checkerboard model of fractons. Our continuum analysis leads to a straightforward proof of the known fact that this theory is dual to two copies of the $\mathbb{Z}_2$ X-cube model.
We find new models and new relations between known models. The $\mathbb{Z}_N$ FCC gauge theory can be realized by coupling three copies of an anisotropic model of lineons and planons to a certain exotic $\mathbb{Z}_2$ gauge theory. Also, although for $N=2$ this model is dual to two copies of the $\mathbb{Z}_2$ X-cube model, a similar statement is not true for higher $N$.
△ Less
Submitted 30 October, 2020;
originally announced October 2020.
-
More Exotic Field Theories in 3+1 Dimensions
Authors:
Pranay Gorantla,
Ho Tat Lam,
Nathan Seiberg,
Shu-Heng Shao
Abstract:
We continue the exploration of nonstandard continuum field theories related to fractons in 3+1 dimensions. Our theories exhibit exotic global and gauge symmetries, defects with restricted mobility, and interesting dualities. Depending on the model, the defects are the probe limits of either fractonic particles, strings, or strips. One of our models is the continuum limit of the plaquette Ising lat…
▽ More
We continue the exploration of nonstandard continuum field theories related to fractons in 3+1 dimensions. Our theories exhibit exotic global and gauge symmetries, defects with restricted mobility, and interesting dualities. Depending on the model, the defects are the probe limits of either fractonic particles, strings, or strips. One of our models is the continuum limit of the plaquette Ising lattice model, which features an important role in the construction of the X-cube model.
△ Less
Submitted 20 August, 2020; v1 submitted 9 July, 2020;
originally announced July 2020.
-
Interface Junctions in QCD${}_4$
Authors:
Pranay Gorantla,
Ho Tat Lam
Abstract:
We study 3+1 dimensional $SU(N)$ Quantum Chromodynamics (QCD) with $N_f$ degenerate quarks that have a spatially varying complex mass. It leads to a network of interfaces connected by interface junctions. We use anomaly inflow to constrain these defects. Based on the chiral Lagrangian and the conjectures on the interfaces, characterized by a spatially varying $θ$-parameter, we propose a low-energy…
▽ More
We study 3+1 dimensional $SU(N)$ Quantum Chromodynamics (QCD) with $N_f$ degenerate quarks that have a spatially varying complex mass. It leads to a network of interfaces connected by interface junctions. We use anomaly inflow to constrain these defects. Based on the chiral Lagrangian and the conjectures on the interfaces, characterized by a spatially varying $θ$-parameter, we propose a low-energy description of such networks of interfaces. Interestingly, we observe that the operators in the effective field theories on the junctions can carry baryon charges, and their spin and isospin representations coincide with baryons. We also study defects, characterized by spatially varying coupling constants, in 2+1 dimensional Chern-Simons-matter theories and in a 3+1 dimensional real scalar theory.
△ Less
Submitted 11 July, 2020; v1 submitted 28 April, 2020;
originally announced April 2020.
-
Memories of initial states and density imbalance in dynamics of interacting disordered systems
Authors:
Ahana Chakraborty,
Pranay Gorantla,
Rajdeep Sensarma
Abstract:
We study the dynamics of one and two dimensional disordered lattice bosons/fermions initialized to a Fock state with a pattern of $1$ and $0$ particles on $A$ and ${\bar A}$ sites. For non-interacting systems we establish a universal relation between the long time density imbalance between $A$ and ${\bar A}$ site, $I(\infty)$, the localization length $ξ_l$, and the geometry of the initial pattern.…
▽ More
We study the dynamics of one and two dimensional disordered lattice bosons/fermions initialized to a Fock state with a pattern of $1$ and $0$ particles on $A$ and ${\bar A}$ sites. For non-interacting systems we establish a universal relation between the long time density imbalance between $A$ and ${\bar A}$ site, $I(\infty)$, the localization length $ξ_l$, and the geometry of the initial pattern. For alternating initial pattern of $1$ and $0$ particles in 1 dimension, $I(\infty)=\tanh[a/ξ_l]$, where $a$ is the lattice spacing. For systems with mobility edge, we find analytic relations between $I(\infty)$, the effective localization length $\tildeξ_l$ and the fraction of localized states $f_l$. The imbalance as a function of disorder shows non-analytic behaviour when the mobility edge passes through a band edge. For interacting bosonic systems, we show that dissipative processes lead to a decay of the memory of initial conditions. However, the excitations created in the process act as a bath, whose noise correlators retain information of the initial pattern. This sustains a finite imbalance at long times in strongly disordered interacting systems.
△ Less
Submitted 5 June, 2019;
originally announced June 2019.
-
Non-Equilibrium Field Theory for Dynamics Starting from Arbitrary Athermal Initial Conditions
Authors:
Ahana Chakraborty,
Pranay Gorantla,
Rajdeep Sensarma
Abstract:
Schwinger Keldysh field theory is a widely used paradigm to study non-equilibrium dynamics of quantum many-body systems starting from a thermal state. We extend this formalism to describe non-equilibrium dynamics of quantum systems starting from arbitrary initial many-body density matrices. We show how this can be done for both Bosons and Fermions, and for both closed and open quantum systems, usi…
▽ More
Schwinger Keldysh field theory is a widely used paradigm to study non-equilibrium dynamics of quantum many-body systems starting from a thermal state. We extend this formalism to describe non-equilibrium dynamics of quantum systems starting from arbitrary initial many-body density matrices. We show how this can be done for both Bosons and Fermions, and for both closed and open quantum systems, using additional sources coupled to bilinears of the fields at the initial time, calculating Green's functions in a theory with these sources, and then taking appropriate set of derivatives of these Green's functions w.r.t. initial sources to obtain physical observables. The set of derivatives depend on the initial density matrix. The physical correlators in a dynamics with arbitrary initial conditions do not satisfy Wick's theorem, even for non-interacting systems. However our formalism constructs intermediate ``n-particle Green's functions'' which obey Wick's theorem and provide a prescription to obtain physical correlation functions from them. This allows us to obtain analytic answers for all physical many body correlation functions of a non-interacting system even when it is initialized to an arbitrary density matrix. We use these exact expressions to obtain an estimate of the violation of Wick's theorem, and relate it to presence of connected multi-particle initial correlations in the system. We illustrate this new formalism by calculating density and current profiles in many body Fermionic and Bosonic open quantum systems initialized to non-trivial density matrices. We have also shown how this formalism can be extended to interacting many body systems.
△ Less
Submitted 10 March, 2019; v1 submitted 19 October, 2018;
originally announced October 2018.
-
Braids and phase gates through high-frequency virtual tunneling of Majorana Zero Modes
Authors:
Pranay Gorantla,
Rajdeep Sensarma
Abstract:
Braiding of non-Abelian Majorana anyons is a first step towards using them in quantum computing. We propose a protocol for braiding Majorana zero modes formed at the edges of nanowires with strong spin orbit coupling and proximity induced superconductivity. Our protocol uses high frequency virtual tunneling between the ends of the nanowires in a tri-junction, which leads to an effective low freque…
▽ More
Braiding of non-Abelian Majorana anyons is a first step towards using them in quantum computing. We propose a protocol for braiding Majorana zero modes formed at the edges of nanowires with strong spin orbit coupling and proximity induced superconductivity. Our protocol uses high frequency virtual tunneling between the ends of the nanowires in a tri-junction, which leads to an effective low frequency coarse grained dynamics for the system, to perform the braid. The braiding operation is immune to amplitude noise in the drives, and depends only on relative phase between the drives, which can be controlled by usual phase locking techniques. We also show how a phase gate, which is necessary for universal quantum computation, can be implemented with our protocol.
△ Less
Submitted 21 May, 2018; v1 submitted 1 December, 2017;
originally announced December 2017.