Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Tensor-Network Simulation of Quantum Spin Systems with Bond-Dependent Interactions

Richards, Addison

Published Jan 1, 2025• 0 citations
Publisher

Abstract

The efficient simulation of a quantum many-body system is often incredibly difficult due to the exponential scaling of the Hilbert space with increasing number of interacting particles. In practice, it is only possible to exactly simulate small clusters. In many cases, tensor-network-based methods are capable of overcoming this challenge, providing reliable simulations of much larger or even infinite-sized systems through a low-rank factorization of the state coefficients. Tensor operations are typically highly parallelizable, and therefore capable of utilizing the high performance of modern general-purpose graphics processing units (GPU). A particular tensor-network ansatz called infinite projected-entangled pair states (iPEPS) may be used to simulate infinite two-dimensional lattice systems, and are the primary subject of this thesis. As part of this work, a GPU-based open-source software library called Ace-TN was developed to accelerate iPEPS calculations. Benchmarks are presented showing efficient single- and muli-gpu execution of the core iPEPS simulation techniques. iPEPS simulations are performed for quantum spin systems with bond directional interactions, referred to as quantum compass models (QCM) or Kitaev models depending on pre-established naming conventions. The QCM defined on square and kagome lattices are considered with the addition of an external magnetic field. Each system possesses one-dimensional gauge-like symmetries in zero field, relating subextensively-many ground states that are capable of being represented by iPEPS. These states are shown to be metastable in non-zero field through adiabatic evolution from the zero-field ground state, each separated by a small energy gap. Several field-dependent phases and phase transitions are found in each system. Prominent nematic phases are found in both the square- and kagome-lattice systems. The square-lattice system contains a field value that admits an exact solution of the ground state which is characteristic of the surrounding phase. The inclusion of isotropic Heisenberg coupling to the kagome-lattice system is also explored, which produces a frustrated parameter regime between two dual quantum spin-liquid phases.

DOI
10.71548/22872

Related papers

Studies of Infinite Two-Dimensional Quantum Lattice Systems with Projected Entangled Pair States

Jacob Jordan

Determining the properties of quantum many-body systems is a central challenge in modern physics. Being able to determine the macroscopic properties of a system from its microscopic description would hasten progress in many fields of science and technology. However, we currently lack the tools to solve such problems generally, or even to develop a theoretical intuition about how many systems might behave. From a simple Hamiltonian description of the system, one may obtain complex, highly correlated collective behaviour. Computational techniques have played a major part in the effort to determine properties of quantum many-body systems. However, as the total degrees of freedom in the system scales exponentially in the system size, numerical diagonalization of the Hamiltonian quickly becomes computationally intractable and one must develop more efficient approximate techniques to explore the system. Present numerical methods such as quantum Monte Carlo and series expansion have provided insight into many systems of interest, but are also held back by fundamental difficulties. In this thesis, we focus on tensor networks, a relatively new ansatz for representing quantum many-body states. Tensor networks are motivated by two ideas from quantum information: firstly, that quantum entanglement is the source of the immense difficulty of simulating quantum systems classically, and secondly that the ground states of certain Hamiltonians exist in a low-entanglement region of the entire Hilbert space. The strength of tensor networks is that they provide a systematic way of representing this class of low-entanglement quantum states. In particular, this thesis describes the iPEPS algorithm for computing the ground states of infinite, two-dimensional quantum lattice systems based on the Projected Entangled Pair States (PEPS) ansatz. We then benchmark the algorithm by computing the phase diagrams of several systems that have been studied with other techniques. Lastly, we apply our algorithm to problems that are not well solved by current approaches, such as frustrated spin systems.

•Jan 1, 2011•7 citations

Connecting the Dots: Tensor Network Algorithms for Two-Dimensional Strongly-Correlated Systems

Juan Osorio Iregui

Tensor network algorithms (TNAs) represent one of the most recent developments in the field of numerical methods for the simulation of strongly-correlated manybody systems.Arising as a natural consequence of an improved understanding of the entanglement structures intrinsic to the ground-state manifolds of manybody Hilbert spaces, they correspond to algorithms exploiting entropic constraints expected to arise in various classes of many-body ground states.In this work we apply and develop TNAs for the simulation of various stronglycorrelated lattice models.Concretely, we apply tensor network renormalization (TNR) to the study of the classical Blume-Capel model (BCM).We propose to exploit the RG features specific to TNR to obtain an indicator for the vicinity of (multi-)critical points.We show that in the case of the BCM it leads to a location of its tricritical point matching the accuracy of state-of-the-art Monte Carlo approaches.This allows us to characterize the underlying c = 7/10 conformal field theory with an excellent accuracy.We then present a self-contained introduction to the most widely used techniques for the simulation of one-and two-dimensional quantum systems, where we cover matrix product states (MPS) and projected entangled-pair states (PEPS) in detail.We briefly discuss the multi-scale entanglement renormalization Ansatz (MERA).We apply infinite PEPS (iPEPS) to the simulation of the Kitaev-Heisenberg (KH) model, proposed as an effective low-energy theory for the so-called Iridate compounds of the form A 2 IrO 3 (A = Na, Li).We show the ability of iPEPS to accurately encode the complex ground-state physics of Kitaev's honeycomb model.When considering the KH model we confirm the existence of all previously found phases, locate all phase transitions in the phase diagram, finding good agreement with previous studies, and provide estimates for the survival regions of the spinliquid phases in the thermodynamic limit.We briefly discuss the nature of these transitions.We conclude this work with a study of various formulations of iPEPS on cylindrical geometries.We benchmark the proposed formulations by studying the transversefield Ising model and find good performance for a subset of the formulations studv ied.We then carry out a comparison between iPEPS and iMPS methods for the Heisenberg and Hubbard models and find a range of cylinder widths over which both methods exhibit comparable performance.We find evidence for the potential of iPEPS simulations on cylinders and argue that our findings provide support for future studies employing both MPS and PEPS methods in conjunction.vi Wir schlieSSen diese Arbeit mit einer Untersuchung verschiedener Formulierungen von iPEPS für zylindrische Geometrien ab.Wir bewerten die vorgeschlagenen Formulierungen durch die Untersuchung des Ising-Modells im transversalen Feld und finden gute Ergebnisse für eine Teilmenge der untersuchten Formulierungen.Wir führen dann einen Vergleich zwischen iPEPS und iMPS Methoden für die Heisenberg und Hubbard Modelle durch und finden einen Bereich von Zylinderbreiten, in dem beide Methoden vergleichbare Leistungen bringen.Wir finden Beweise für das Potenzial von iPEPS-Simulationen auf Zylinder und argumentieren, dass unsere Erkenntnisse Unterstützung für zukünftige Studien liefern, die sowohl MPSals auch PEPS-Methoden zusammen verwenden.viii Despite the considerable progress made towards the understanding of stronglycorrelated systems, much work remains to be done and, as is perhaps to be expected, the broad nature of the problems encountered means that no single approach is likely to be applicable in every circumstance.From a numerical perspective a wide variety of techniques have been developed over time.Of these, the most accurate is exact diagonalization (ED) which, as its name indicates, attempts to partially diagonalize the Hamiltonian operator.However, owing to the exponential growth of Hilbert space dimension as the system size is increased, this method rapidly becomes inapplicable.Indeed, even when targeting

•Jan 1, 2017•1 citation

Development of Two-Dimensional Tensor Network Methods for the Variational Simulation of Quantum Many-Body States

Jan Naumann

Strongly correlated quantum systems are one of the most interesting and challenging phenomena in modern condensed matter physics. Unfortunately, the theoretical access even to their low energy properties is limited by the exponential growth of the Hilbert space in a many-body setting. To mitigate this computational barrier, tensor network methods are one of the most competitive approaches to classically simulate complex quantum systems. In this thesis we will discuss recent developments in the field of tensor networks to efficiently and accurately simulate two-dimensional quantum many-body states in the thermodynamic limit. Hereby, we introduce the variational update globally optimizing the wave-function, encoded as tensor network in the form of an infinite projected entangled pair state (iPEPS), in order to obtain ground states of many-body Hamiltonian models. We focus in the discussion on the well-established method to approximately contract this two-dimensional structure, the corner transfer matrix renormalization group (CTMRG), and discuss its native application on square lattice and triangular lattice based models. Furthermore, we report the development of a refined numerical algorithm, the split-CTMRG, to significantly reduce its computational complexity, pushing the limits of feasible simulations within modern hardware capabilities. Finally, the method advancements are applied to a currently widely studied model of frustrated magnetism, the Heisenberg maple-leaf antiferromagnet. We are able to find a large phase of vanishing magnetization in contradiction to previous works and, to the best of our knowledge, the lowest reported variational ground state energy at the isotropic point of the model. As an outlook, we describe a potential adaption of the previously developed methods to variationally simulate two-dimensional many-body thermal states.

•Jan 1, 2026•0 citations

Universal tensor-network algorithm for any infinite lattice

Saeed S. Jahromi, Román Orús

We present a general graph-based projected entangled-pair state (gPEPS) algorithm to approximate ground states of nearest-neighbor local Hamiltonians on any lattice or graph of infinite size. By introducing the structural matrix, which codifies the details of tensor networks on any graphs in any dimension $d$, we are able to produce a code that can be essentially launched to simulate any lattice. We further introduce an optimized algorithm to compute simple tensor updates as well as expectation values and correlators with a mean-field-like effective environments. Though not being variational, this strategy allows to cope with PEPS of very large bond dimension (e.g., $D=100$) and produces remarkably accurate results in the thermodynamic limit in many situations, and specially when the correlation length is small and the connectivity of the lattice is large. We prove the validity of our approach by benchmarking the algorithm against known results for several models, i.e., the antiferromagnetic Heisenberg model on a chain, star and cubic lattices, the hardcore Bose-Hubbard model on square lattice, the ferromagnetic Heisenberg model in a field on the pyrochlore lattice, as well as the three-state quantum Potts model in field on the kagome lattice and the spin-1 bilinear-biquadratic Heisenberg model on the triangular lattice. We further demonstrate the performance of gPEPS by studying the quantum phase transition of the $2d$ quantum Ising model in transverse magnetic field on the square lattice, and the phase diagram of the Kitaev-Heisenberg model on the hyperhoneycomb lattice. Our results are in excellent agreement with previous studies.

arXiv:1808.00680•Physical review. B./Physical review. B•May 3, 2019•38 citations

Towards next-generation methods to optimize two-dimensional tensor networks: Algorithmic differentiation and applications to quantum magnets

Juraj Hašík

Infinite Projected entangled-pair state (iPEPS) is a two-dimensional tensor network (TN) ansatz targeting the ground states of lattice models directly in the thermodynamic limit. It is the most successful among the true two-dimensional TN methods, challenging the more common density matrix renormalization group computations conducted on a finite-width cylinders. iPEPS, being a variational method does not suffer from the infamous sign problem, and hence could be readily applied to both fermionic problems off the half-filling and frustrated spin system. Using the imaginary-time optimization, the so called Full Update, led to the celebrated results of iPEPS such as the analysis of stripes in doped t-J and Hubbard models or the insight into the magnetization plateaus in Shastry-Sutherland model. However, the physics of the continuous phase transitions from the symmetry-broken Neel phase into the valence-bond solids or spin-liquids in frustrated magnets is still eluding iPEPS. The main difficulty lies in the optimization, since Full Update is just not precise enough. In the pursuit of the best variational iPEPS states, the gradient methods were put forward in 2016 by Corboz and Vanderstraeten. However, due to their complex nature, they have not been widely adopted especially for iPEPS ansatze with larger unit cells. We will introduce an alternative approach first applied in the context of iPEPS by Liao et al., based on the well established method of Algorithmic differentiation (AD) which allows us to evaluate gradients for iPEPS in a robust and conceptually simple way. Finally, we will present the results of our investigation into the physics of frustrated magnets putting AD to work.

•Oct 25, 2019•3 citations

Single-layer tensor network study of the Heisenberg model with chiral interactions on a kagome lattice

Reza Haghshenas, Shou-Shu Gong, D. N. Sheng

We study the antiferromagnetic kagome Heisenberg model with an additional scalar-chiral interaction by using the infinite projected entangled-pair state (iPEPS) ansatz. We discuss in detail the implementation of the optimization algorithm in the framework of the single-layer tensor network based on the corner transfer matrix technique. Our benchmark based on the full-update algorithm shows that the single-layer algorithm is stable, which leads to the same level of accuracy as the double-layer ansatz but with much less computation time. We further apply this algorithm to study the nature of the kagome Heisenberg model with a scalar-chiral interaction by computing the bond dimension scaling of magnetization, bond energy difference, chiral order parameter, and correlation length. In particular, we find that for strong chiral coupling the correlation length, which is extracted from the transfer matrix, saturates to a finite value for large bond dimension, representing a gapped spin-liquid state. Further comparison with density matrix renormalization group results supports that our iPEPS faithfully represents the time-reversal symmetry breaking chiral state. Our iPEPS simulation results shed new light on constructing PEPS for describing gapped chiral topological states.

arXiv:1812.11436•Physical review. B./Physical review. B•May 22, 2019•24 citations
The efficient simulation of a quantum many-body system is often incredibly difficult due to the exponential scaling of the Hilbert space with increasing number of interacting particles. In practice, it is only possible to exactly simulate small clusters. In many cases, tensor-network-based methods are capable of overcoming this challenge, providing reliable simulations of much larger or even infinite-sized systems through a low-rank factorization of the state coefficients. Tensor operations are typically highly parallelizable, and therefore capable of utilizing the high performance of modern general-purpose graphics processing units (GPU). A particular tensor-network ansatz called infinite projected-entangled pair states (iPEPS) may be used to simulate infinite two-dimensional lattice systems, and are the primary subject of this thesis. As part of this work, a GPU-based open-source software library called Ace-TN was developed to accelerate iPEPS calculations. Benchmarks are presented showing efficient single- and muli-gpu execution of the core iPEPS simulation techniques. iPEPS simulations are performed for quantum spin systems with bond directional interactions, referred to as quantum compass models (QCM) or Kitaev models depending on pre-established naming conventions. The QCM defined on square and kagome lattices are considered with the addition of an external magnetic field. Each system possesses one-dimensional gauge-like symmetries in zero field, relating subextensively-many ground states that are capable of being represented by iPEPS. These states are shown to be metastable in non-zero field through adiabatic evolution from the zero-field ground state, each separated by a small energy gap. Several field-dependent phases and phase transitions are found in each system. Prominent nematic phases are found in both the square- and kagome-lattice systems. The square-lattice system contains a field value that admits an exact solution of the ground state which is characteristic of the surrounding phase. The inclusion of isotropic Heisenberg coupling to the kagome-lattice system is also explored, which produces a frustrated parameter regime between two dual quantum spin-liquid phases.
Determining the properties of quantum many-body systems is a central challenge in modern physics. Being able to determine the macroscopic properties of a system from its microscopic description would hasten progress in many fields of science and technology. However, we currently lack the tools to solve such problems generally, or even to develop a theoretical intuition about how many systems might behave. From a simple Hamiltonian description of the system, one may obtain complex, highly correlated collective behaviour. Computational techniques have played a major part in the effort to determine properties of quantum many-body systems. However, as the total degrees of freedom in the system scales exponentially in the system size, numerical diagonalization of the Hamiltonian quickly becomes computationally intractable and one must develop more efficient approximate techniques to explore the system. Present numerical methods such as quantum Monte Carlo and series expansion have provided insight into many systems of interest, but are also held back by fundamental difficulties. In this thesis, we focus on tensor networks, a relatively new ansatz for representing quantum many-body states. Tensor networks are motivated by two ideas from quantum information: firstly, that quantum entanglement is the source of the immense difficulty of simulating quantum systems classically, and secondly that the ground states of certain Hamiltonians exist in a low-entanglement region of the entire Hilbert space. The strength of tensor networks is that they provide a systematic way of representing this class of low-entanglement quantum states. In particular, this thesis describes the iPEPS algorithm for computing the ground states of infinite, two-dimensional quantum lattice systems based on the Projected Entangled Pair States (PEPS) ansatz. We then benchmark the algorithm by computing the phase diagrams of several systems that have been studied with other techniques. Lastly, we apply our algorithm to problems that are not well solved by current approaches, such as frustrated spin systems.
Tensor network algorithms (TNAs) represent one of the most recent developments in the field of numerical methods for the simulation of strongly-correlated manybody systems.Arising as a natural consequence of an improved understanding of the entanglement structures intrinsic to the ground-state manifolds of manybody Hilbert spaces, they correspond to algorithms exploiting entropic constraints expected to arise in various classes of many-body ground states.In this work we apply and develop TNAs for the simulation of various stronglycorrelated lattice models.Concretely, we apply tensor network renormalization (TNR) to the study of the classical Blume-Capel model (BCM).We propose to exploit the RG features specific to TNR to obtain an indicator for the vicinity of (multi-)critical points.We show that in the case of the BCM it leads to a location of its tricritical point matching the accuracy of state-of-the-art Monte Carlo approaches.This allows us to characterize the underlying c = 7/10 conformal field theory with an excellent accuracy.We then present a self-contained introduction to the most widely used techniques for the simulation of one-and two-dimensional quantum systems, where we cover matrix product states (MPS) and projected entangled-pair states (PEPS) in detail.We briefly discuss the multi-scale entanglement renormalization Ansatz (MERA).We apply infinite PEPS (iPEPS) to the simulation of the Kitaev-Heisenberg (KH) model, proposed as an effective low-energy theory for the so-called Iridate compounds of the form A 2 IrO 3 (A = Na, Li).We show the ability of iPEPS to accurately encode the complex ground-state physics of Kitaev's honeycomb model.When considering the KH model we confirm the existence of all previously found phases, locate all phase transitions in the phase diagram, finding good agreement with previous studies, and provide estimates for the survival regions of the spinliquid phases in the thermodynamic limit.We briefly discuss the nature of these transitions.We conclude this work with a study of various formulations of iPEPS on cylindrical geometries.We benchmark the proposed formulations by studying the transversefield Ising model and find good performance for a subset of the formulations studv ied.We then carry out a comparison between iPEPS and iMPS methods for the Heisenberg and Hubbard models and find a range of cylinder widths over which both methods exhibit comparable performance.We find evidence for the potential of iPEPS simulations on cylinders and argue that our findings provide support for future studies employing both MPS and PEPS methods in conjunction.vi Wir schlieSSen diese Arbeit mit einer Untersuchung verschiedener Formulierungen von iPEPS für zylindrische Geometrien ab.Wir bewerten die vorgeschlagenen Formulierungen durch die Untersuchung des Ising-Modells im transversalen Feld und finden gute Ergebnisse für eine Teilmenge der untersuchten Formulierungen.Wir führen dann einen Vergleich zwischen iPEPS und iMPS Methoden für die Heisenberg und Hubbard Modelle durch und finden einen Bereich von Zylinderbreiten, in dem beide Methoden vergleichbare Leistungen bringen.Wir finden Beweise für das Potenzial von iPEPS-Simulationen auf Zylinder und argumentieren, dass unsere Erkenntnisse Unterstützung für zukünftige Studien liefern, die sowohl MPSals auch PEPS-Methoden zusammen verwenden.viii Despite the considerable progress made towards the understanding of stronglycorrelated systems, much work remains to be done and, as is perhaps to be expected, the broad nature of the problems encountered means that no single approach is likely to be applicable in every circumstance.From a numerical perspective a wide variety of techniques have been developed over time.Of these, the most accurate is exact diagonalization (ED) which, as its name indicates, attempts to partially diagonalize the Hamiltonian operator.However, owing to the exponential growth of Hilbert space dimension as the system size is increased, this method rapidly becomes inapplicable.Indeed, even when targeting
Strongly correlated quantum systems are one of the most interesting and challenging phenomena in modern condensed matter physics. Unfortunately, the theoretical access even to their low energy properties is limited by the exponential growth of the Hilbert space in a many-body setting. To mitigate this computational barrier, tensor network methods are one of the most competitive approaches to classically simulate complex quantum systems. In this thesis we will discuss recent developments in the field of tensor networks to efficiently and accurately simulate two-dimensional quantum many-body states in the thermodynamic limit. Hereby, we introduce the variational update globally optimizing the wave-function, encoded as tensor network in the form of an infinite projected entangled pair state (iPEPS), in order to obtain ground states of many-body Hamiltonian models. We focus in the discussion on the well-established method to approximately contract this two-dimensional structure, the corner transfer matrix renormalization group (CTMRG), and discuss its native application on square lattice and triangular lattice based models. Furthermore, we report the development of a refined numerical algorithm, the split-CTMRG, to significantly reduce its computational complexity, pushing the limits of feasible simulations within modern hardware capabilities. Finally, the method advancements are applied to a currently widely studied model of frustrated magnetism, the Heisenberg maple-leaf antiferromagnet. We are able to find a large phase of vanishing magnetization in contradiction to previous works and, to the best of our knowledge, the lowest reported variational ground state energy at the isotropic point of the model. As an outlook, we describe a potential adaption of the previously developed methods to variationally simulate two-dimensional many-body thermal states.
We present a general graph-based projected entangled-pair state (gPEPS) algorithm to approximate ground states of nearest-neighbor local Hamiltonians on any lattice or graph of infinite size. By introducing the structural matrix, which codifies the details of tensor networks on any graphs in any dimension ddd, we are able to produce a code that can be essentially launched to simulate any lattice. We further introduce an optimized algorithm to compute simple tensor updates as well as expectation values and correlators with a mean-field-like effective environments. Though not being variational, this strategy allows to cope with PEPS of very large bond dimension (e.g., D=100D=100D=100) and produces remarkably accurate results in the thermodynamic limit in many situations, and specially when the correlation length is small and the connectivity of the lattice is large. We prove the validity of our approach by benchmarking the algorithm against known results for several models, i.e., the antiferromagnetic Heisenberg model on a chain, star and cubic lattices, the hardcore Bose-Hubbard model on square lattice, the ferromagnetic Heisenberg model in a field on the pyrochlore lattice, as well as the three-state quantum Potts model in field on the kagome lattice and the spin-1 bilinear-biquadratic Heisenberg model on the triangular lattice. We further demonstrate the performance of gPEPS by studying the quantum phase transition of the 2d2d2d quantum Ising model in transverse magnetic field on the square lattice, and the phase diagram of the Kitaev-Heisenberg model on the hyperhoneycomb lattice. Our results are in excellent agreement with previous studies.
Infinite Projected entangled-pair state (iPEPS) is a two-dimensional tensor network (TN) ansatz targeting the ground states of lattice models directly in the thermodynamic limit. It is the most successful among the true two-dimensional TN methods, challenging the more common density matrix renormalization group computations conducted on a finite-width cylinders. iPEPS, being a variational method does not suffer from the infamous sign problem, and hence could be readily applied to both fermionic problems off the half-filling and frustrated spin system. Using the imaginary-time optimization, the so called Full Update, led to the celebrated results of iPEPS such as the analysis of stripes in doped t-J and Hubbard models or the insight into the magnetization plateaus in Shastry-Sutherland model. However, the physics of the continuous phase transitions from the symmetry-broken Neel phase into the valence-bond solids or spin-liquids in frustrated magnets is still eluding iPEPS. The main difficulty lies in the optimization, since Full Update is just not precise enough. In the pursuit of the best variational iPEPS states, the gradient methods were put forward in 2016 by Corboz and Vanderstraeten. However, due to their complex nature, they have not been widely adopted especially for iPEPS ansatze with larger unit cells. We will introduce an alternative approach first applied in the context of iPEPS by Liao et al., based on the well established method of Algorithmic differentiation (AD) which allows us to evaluate gradients for iPEPS in a robust and conceptually simple way. Finally, we will present the results of our investigation into the physics of frustrated magnets putting AD to work.
We study the antiferromagnetic kagome Heisenberg model with an additional scalar-chiral interaction by using the infinite projected entangled-pair state (iPEPS) ansatz. We discuss in detail the implementation of the optimization algorithm in the framework of the single-layer tensor network based on the corner transfer matrix technique. Our benchmark based on the full-update algorithm shows that the single-layer algorithm is stable, which leads to the same level of accuracy as the double-layer ansatz but with much less computation time. We further apply this algorithm to study the nature of the kagome Heisenberg model with a scalar-chiral interaction by computing the bond dimension scaling of magnetization, bond energy difference, chiral order parameter, and correlation length. In particular, we find that for strong chiral coupling the correlation length, which is extracted from the transfer matrix, saturates to a finite value for large bond dimension, representing a gapped spin-liquid state. Further comparison with density matrix renormalization group results supports that our iPEPS faithfully represents the time-reversal symmetry breaking chiral state. Our iPEPS simulation results shed new light on constructing PEPS for describing gapped chiral topological states.