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

arXiv:1001.4517

Topological Properties of Tensor Network States From Their Local Gauge and Local Symmetry Structures

Brian G. Swingle, Xiao-Gang Wen

Published Jan 25, 2010• 4 citations
arXivHTMLPDF

Abstract

Tensor network states are capable of describing many-body systems with complex quantum entanglement, including systems with non-trivial topological order. In this paper, we study methods to calculate the topological properties of a tensor network state from the tensors that form the state. Motivated by the concepts of gauge group and projective symmetry group in the slave-particle/projective construction, and by the low-dimensional gauge-like symmetries of some exactly solvable Hamiltonians, we study the $d$-dimensional gauge structure and the $d$-dimensional symmetry structure of a tensor network state, where $d\leq d_{space}$ with $d_{space}$ the dimension of space. The $d$-dimensional gauge structure and $d$-dimensional symmetry structure allow us to calculate the string operators and $d$-brane operators of the tensor network state. This in turn allows us to calculate many topological properties of the tensor network state, such as ground state degeneracy and quasiparticle statistics.

DOI
10.48550/arxiv.1001.4517

Related papers

Symmetries in topological tensor network states: classification, construction and detection

José Garre-Rubio

This thesis contributes to the understanding of symmetry-enriched topological phases focusing on their descriptions in terms of tensor network states. The Projected Entangled Pair State (PEPS) formalism allows us to locally encode the main properties of the models (like topological order, symmetries and their interplay) in the tensors. We have used that encoding to classify, construct and detect some classes of symmetry-enriched topological phases in 2D PEPS. For that purpose, we have studied what the allowed freedom in the tensors generating the same tensor network state is. These results are the so-called 'fundamental theorems' and they give the necessary knowledge to properly study symmetries (actions that leave the states invariant). We focus our study on the family of PEPS describing quantum double models of $G$, the so-called $G$-injective PEPS, and on global on-site symmetries coming from a finite group $Q$: as a result of the classification we have a finite number of phases closely related to the theory of group extensions. We also provide the maps that appear in group extension theory with physical meaning and we characterize their actions on the ground subspace and on the anyons. We construct a representative of each class of our classification. Moreover, we connect our construction with an interesting physical phenomenon, the so-called anyon condensation, which describes topological phase transitions. We have also proposed a family of gauge invariant quantities and their corresponding order parameters (in the form of expectation values of a local operator in 2D) to detect the corresponding quantum phases, in particular their symmetry fractionalization patterns. We conclude this thesis by touching on some mathematical open problems in PEPS.

arXiv:1912.08597•Dec 18, 2019•1 citation

Tensor network states for the description of quantum many-body systems

Thorsten B. Wahl

This thesis is divided into two mainly independent parts: In the first part, we derive a criterion to determine when a translationally invariant Matrix Product State (MPS) has long range localizable entanglement, which indicates that the corresponding state has some kind of non-local hidden order. We give examples fulfilling this criterion and eventually use it to obtain all such MPS with bond dimension 2 and 3. In the second part, we show that Projected Entangled Pair States (PEPS) in two spatial dimensions can describe chiral topological states by explicitly constructing a family of such states with a non-trivial Chern number. We demonstrate that such free fermionic PEPS must necessarily be non-injective and have gapless parent Hamiltonians. Moreover, we provide numerical evidence that they can nevertheless approximate well the physical properties of Chern insulators with local Hamiltonians at arbitrary temperatures. We also construct long range, topological Hamiltonians with a flat energy spectrum for which those PEPS are unique ground states. As for non-chiral topological PEPS, the non-trivial, topological properties can be traced down to the existence of a symmetry on the virtual level of the PEPS tensor that is used to build the state. We use the special properties of PEPS to build the boundary theory and show how the symmetry results in the appearance of chiral modes, a ground state degeneracy of the parent Hamiltonian on the torus and a universal correction to the area law for the zero Rényi entropy. Finally, we show that PEPS can also describe chiral topologically ordered phases. For that, we construct a simple PEPS for spin-1/2 particles in a two-dimensional lattice. We reveal a symmetry of the PEPS tensor that gives rise to the global topological character. We also extract characteristic quantities of the edge Conformal Field Theory using the bulk-boundary correspondence.

arXiv:1509.05984•Sep 20, 2015•0 citations

Tensor Network methods in many-body physics

András Molnár

Strongly correlated systems exhibit phenomena -- such as high-T_c superconductivity or the fractional quantum Hall effect -- that are not explicable by classical and semi-classical methods. Moreover, due to the exponential scaling of the associated Hilbert space, solving the proposed model Hamiltonians by brute-force numerical methods is bound to fail. Thus, it is important to develop novel numerical and analytical methods that can explain the physics in this regime. Tensor Network states are quantum many-body states that help to overcome some of these difficulties by defining a family of states that depend only on a small number of parameters. Their use is twofold: they are used as variational ansatzes in numerical algorithms as well as providing a framework to represent a large class of exactly solvable models that are believed to represent all possible phases of matter. The present thesis investigates mathematical properties of these states thus deepening the understanding of how and why Tensor Networks are suitable for the description of quantum many-body systems. It is believed that tensor networks can represent ground states of local Hamiltonians, but how good is this representation? This question is of fundamental importance as variational algorithms based on tensor networks can only perform well if any ground state can be approximated efficiently in such a way. While any state can be written as a tensor network state, the number of parameters needed for the description might be too large. This is not the case for one-dimensional systems: only a few parameters are required to have a good approximation of their ground states; that, in turn, allows for numerical algorithms based on tensor networks performing well. The situation in two dimensions is somewhat more complicated, but it is known that ground states of local Hamiltonians can be expressed as tensor networks with sub-exponentially many parameters. In the present thesis, we improve on these existing bounds strengthening the claim that the language of tensor networks is suitable to describe many-body systems. Another central question is how symmetries of the system such as translational invariance, time-reversal symmetry or local unitary symmetry can be reflected in tensor networks. This question is important as systems appearing in nature might intrinsically possess certain symmetries; on one hand, understanding these symmetries simplifies the description of these systems. On the other hand, the presence of symmetries leads to the appearance of novel phases -- symmetry-protected topological (SPT) order, -- and tensor networks provide the right language to classify these phases. In one dimension and for certain classes of two-dimensional tensor networks (states generated by so-called injective tensors) it is well understood how symmetries of the state can be described. A general framework, however, has yet to be developed. In the present thesis, we contribute to the development of the theory in two ways. We first investigate the question for injective tensors, and generalize the existing proof for any geometry including the hyperbolic geometry used in the AdS/CFT correspondence. Second, we introduce a class of tensor network states that include previously known examples of states exhibiting SPT order. We show how symmetries are reflected in these states thus deepening the understanding of SPT order in two dimensions.

•Jan 1, 2019•0 citations

Tensor Network Representation of Many-Body Quantum States and Unitary Operators

Sujeet K. Shukla

Understanding many-body quantum systems is one of the most challenging problems in contemporary condensed-matter physics. Tensor network representation of quantum states and operators are taking central stage in this pursuit and beyond. They prove to be a powerful numerical and conceptual tool, and indeed a new language altogether. This thesis investigates various aspects of these representations by focusing on two specific problems: the first half of the thesis is devoted to examining how 'stable' a tensor network representation is for two-dimensional quantum states with topological order, and the second half explores the representability of various unitary loop operators with tensor networks. In the numerical usage of the tensor networks, the tensor is varied as to find the representation of the ground states of the given Hamiltonian. In chapter two and three of this thesis we show that such a numerical program for topological phases can be 'ill-posed'. We show that tensor network can be an unstable representation for a topological phase: even an infinitesimal variation in the representation results in the loss of topological order, completely or partially. We diagnose this problem by identifying the exact causes of this instability, and find that it is only tensor variations in certain directions that result in instability, because they result in the condensation of bosonic quasi-particles of the phase. Such unstable variations are characterized by two properties: (1) they can replace a tensor in the tensor network without making the network collapse, and (2) their presence in the network represents the presence of a non-trivial topological charge. We prove that the general tensor representation of all string-net models suffer with such instabilities. We propose an exact mathematical operator to project out all such unstable variations and show its efficacy for a few models by direct calculations. Such an operator can be useful in numerical programs involving such tensor representations. We also point out that such variations play a crucial role in simulating topological phase transitions and their presence can be vital in an accurate simulation. In chapter four and five of this thesis we focus on the representability of unitary loop operators by tensor networks. Such operators not only provide an important tool in the study of dynamical process in one-dimensional systems, but also in understanding and classification of symmetry protected topological phases in two dimensions. To characterize all such operators, we find a necessary and sufficient condition for any loop tensor network operator of a given length to represent a unitary operator. In particular, it is shown that all unitary operators that map local operators to local operators (locality-preserving) can always be represented by a tensor network. Locality-preserving unitary loop operators are classified by a rational index called the GNVW index defined in Ref. [1] which measures how much information 'flows' along the loop. We define Rank-Ratio index for tensor network operators and show that it is completely equivalent to the GNVW index. Therefore, GNVW index of a unitary operator can be easily extracted from its tensor network representation. We find that, other than representing locality-preserving unitary maps, tensor networks can also represent unitary operators that map local operators to global (non-local) operators. These tensor network operators are found to have a long-ranged order similar to tensors that represent topological tensor network states in two dimensions.

•Sep 25, 2017•0 citations

Algebraically contractible topological tensor network states

S. J. Denny, Jacob Biamonte, Dieter Jaksch +1 more

We adapt the bialgebra and Hopf relations to expose internal structure in the ground state of a Hamiltonian with Z 2 topological order. Its tensor network description allows for exact contraction through simple diagrammatic rewrite rules. The contraction property does not depend on specifics such as geometry, but rather originates from the non-trivial algebraic properties of the constituent tensors. We then generalise the resulting tensor network from a spin-1/2 lattice to a class of exactly contractible states on spin- S degrees of freedom, yielding the most efficient tensor network description of finite Abelian lattice gauge theories. We gain a new perspective on these states as examples of two-dimensional quantum states with algebraically contractible tensor network representations. The introduction of local perturbations to the network is shown to reduce the von Neumann entropy of string-like regions, creating an unentangled sub-system within the bulk in a certain limit. We also show how local perturbations induce finite-range correlations in this system. This class of tensor networks is readily translated onto any lattice, and we differentiate between the physical consequences of bipartite and non-bipartite lattices on the properties of the corresponding quantum states. We explicitly show this on the hexagonal, square, kagome and triangular lattices.

arXiv:1108.0888•Journal of Physics A Mathematical and Theoretical•Dec 6, 2011•30 citations

Symmetries & tensor networks in two-dimensional quantum physics

Henrik Dreyer

The most general description of a quantum many-body system is given by a wave- function that lives in a Hilbert space with dimension exponential in the number of particles. This makes it extremely hard to study strongly correlated phenomena like the fractional quantum Hall effect and high-temperature superconductivity. Whenever interactions are sufficiently local and temperature is low, the system does not explore the full Hilbert space, but its ground state resides in the small corner of Hilbert space described by the area law. Containing little entanglement, the states can then be expressed as tensor networks, a family of wavefunctions with a polynomial number of parameters. On the one hand, tensor networks can be used as a variational manifold in nu- merical computations. On the other hand, they allow building model wavefunctions much like locality allows writing down physically realistic Hamiltonians. Besides allowing for an analytical treatment, these models grant access both to the physical and the entanglement degrees of freedom. This is particularly useful in classifying phases of matter. A large number of phases can be explained in terms of Landau’s symmetry-breaking paradigm. This framework, however, is not complete, as exemplified by the existence of phases with intrinsic topological order in two dimensions. It was a major conceptual advance when tensor networks could explain (non-chiral) topological phases as those where the symmetry resides in the entanglement degrees of freedom. The symmetries corresponding to those topological phases act as discrete, finite groups on the virtual degrees of freedom. The purpose of this Thesis is to generalize this program to include other symmetries. We investigate a class of tensor networks with continuous symmetries and find that they cannot describe gapped physics with a unique ground state. The abelian case is found to describe a non-Lorentz invariant phase transition point into a topologically ordered phase. The physics of the non- abelian case is that of a plaquette state that spontaneously breaks the translation symmetry of the lattice. The non-abelian PEPS arises as the ground state of a local parent Hamiltonian whose ground state manifold is completely characterized by the tensor network. In both cases, we find two types of corrections to the entanglement entropy: first there is a correction that is logarithmic in the size of the boundary and independent of the shape. A further correction depends only on the shape of the partition, imposing further restrictions on regions that are suffciently thin. Finally, we investigate symmetries that mix the virtual with the physical degrees of freedom and are furthermore anisotropic. Their physics is described by subsystem symmetry protected topological order. In particular, we focus on the entanglement entropy in the cluster phase and show that there is a universal constant correction to the entropy throughout the phase. This is important in the program of establishing the entanglement entropy as a detection mechanism for topologically ordered phases. We put forward a numerical algorithm to compute the correction and use it to discover a novel phase of matter in which the cluster phase is embedded.

•Jan 1, 2020•0 citations
Tensor network states are capable of describing many-body systems with complex quantum entanglement, including systems with non-trivial topological order. In this paper, we study methods to calculate the topological properties of a tensor network state from the tensors that form the state. Motivated by the concepts of gauge group and projective symmetry group in the slave-particle/projective construction, and by the low-dimensional gauge-like symmetries of some exactly solvable Hamiltonians, we study the ddd-dimensional gauge structure and the ddd-dimensional symmetry structure of a tensor network state, where d≤dspaced\leq d_{space}d≤dspace​ with dspaced_{space}dspace​ the dimension of space. The ddd-dimensional gauge structure and ddd-dimensional symmetry structure allow us to calculate the string operators and ddd-brane operators of the tensor network state. This in turn allows us to calculate many topological properties of the tensor network state, such as ground state degeneracy and quasiparticle statistics.
This thesis contributes to the understanding of symmetry-enriched topological phases focusing on their descriptions in terms of tensor network states. The Projected Entangled Pair State (PEPS) formalism allows us to locally encode the main properties of the models (like topological order, symmetries and their interplay) in the tensors. We have used that encoding to classify, construct and detect some classes of symmetry-enriched topological phases in 2D PEPS. For that purpose, we have studied what the allowed freedom in the tensors generating the same tensor network state is. These results are the so-called 'fundamental theorems' and they give the necessary knowledge to properly study symmetries (actions that leave the states invariant). We focus our study on the family of PEPS describing quantum double models of GGG, the so-called GGG-injective PEPS, and on global on-site symmetries coming from a finite group QQQ: as a result of the classification we have a finite number of phases closely related to the theory of group extensions. We also provide the maps that appear in group extension theory with physical meaning and we characterize their actions on the ground subspace and on the anyons. We construct a representative of each class of our classification. Moreover, we connect our construction with an interesting physical phenomenon, the so-called anyon condensation, which describes topological phase transitions. We have also proposed a family of gauge invariant quantities and their corresponding order parameters (in the form of expectation values of a local operator in 2D) to detect the corresponding quantum phases, in particular their symmetry fractionalization patterns. We conclude this thesis by touching on some mathematical open problems in PEPS.
This thesis is divided into two mainly independent parts: In the first part, we derive a criterion to determine when a translationally invariant Matrix Product State (MPS) has long range localizable entanglement, which indicates that the corresponding state has some kind of non-local hidden order. We give examples fulfilling this criterion and eventually use it to obtain all such MPS with bond dimension 2 and 3. In the second part, we show that Projected Entangled Pair States (PEPS) in two spatial dimensions can describe chiral topological states by explicitly constructing a family of such states with a non-trivial Chern number. We demonstrate that such free fermionic PEPS must necessarily be non-injective and have gapless parent Hamiltonians. Moreover, we provide numerical evidence that they can nevertheless approximate well the physical properties of Chern insulators with local Hamiltonians at arbitrary temperatures. We also construct long range, topological Hamiltonians with a flat energy spectrum for which those PEPS are unique ground states. As for non-chiral topological PEPS, the non-trivial, topological properties can be traced down to the existence of a symmetry on the virtual level of the PEPS tensor that is used to build the state. We use the special properties of PEPS to build the boundary theory and show how the symmetry results in the appearance of chiral modes, a ground state degeneracy of the parent Hamiltonian on the torus and a universal correction to the area law for the zero Rényi entropy. Finally, we show that PEPS can also describe chiral topologically ordered phases. For that, we construct a simple PEPS for spin-1/2 particles in a two-dimensional lattice. We reveal a symmetry of the PEPS tensor that gives rise to the global topological character. We also extract characteristic quantities of the edge Conformal Field Theory using the bulk-boundary correspondence.
Strongly correlated systems exhibit phenomena -- such as high-T_c superconductivity or the fractional quantum Hall effect -- that are not explicable by classical and semi-classical methods. Moreover, due to the exponential scaling of the associated Hilbert space, solving the proposed model Hamiltonians by brute-force numerical methods is bound to fail. Thus, it is important to develop novel numerical and analytical methods that can explain the physics in this regime. Tensor Network states are quantum many-body states that help to overcome some of these difficulties by defining a family of states that depend only on a small number of parameters. Their use is twofold: they are used as variational ansatzes in numerical algorithms as well as providing a framework to represent a large class of exactly solvable models that are believed to represent all possible phases of matter. The present thesis investigates mathematical properties of these states thus deepening the understanding of how and why Tensor Networks are suitable for the description of quantum many-body systems. It is believed that tensor networks can represent ground states of local Hamiltonians, but how good is this representation? This question is of fundamental importance as variational algorithms based on tensor networks can only perform well if any ground state can be approximated efficiently in such a way. While any state can be written as a tensor network state, the number of parameters needed for the description might be too large. This is not the case for one-dimensional systems: only a few parameters are required to have a good approximation of their ground states; that, in turn, allows for numerical algorithms based on tensor networks performing well. The situation in two dimensions is somewhat more complicated, but it is known that ground states of local Hamiltonians can be expressed as tensor networks with sub-exponentially many parameters. In the present thesis, we improve on these existing bounds strengthening the claim that the language of tensor networks is suitable to describe many-body systems. Another central question is how symmetries of the system such as translational invariance, time-reversal symmetry or local unitary symmetry can be reflected in tensor networks. This question is important as systems appearing in nature might intrinsically possess certain symmetries; on one hand, understanding these symmetries simplifies the description of these systems. On the other hand, the presence of symmetries leads to the appearance of novel phases -- symmetry-protected topological (SPT) order, -- and tensor networks provide the right language to classify these phases. In one dimension and for certain classes of two-dimensional tensor networks (states generated by so-called injective tensors) it is well understood how symmetries of the state can be described. A general framework, however, has yet to be developed. In the present thesis, we contribute to the development of the theory in two ways. We first investigate the question for injective tensors, and generalize the existing proof for any geometry including the hyperbolic geometry used in the AdS/CFT correspondence. Second, we introduce a class of tensor network states that include previously known examples of states exhibiting SPT order. We show how symmetries are reflected in these states thus deepening the understanding of SPT order in two dimensions.
Understanding many-body quantum systems is one of the most challenging problems in contemporary condensed-matter physics. Tensor network representation of quantum states and operators are taking central stage in this pursuit and beyond. They prove to be a powerful numerical and conceptual tool, and indeed a new language altogether. This thesis investigates various aspects of these representations by focusing on two specific problems: the first half of the thesis is devoted to examining how 'stable' a tensor network representation is for two-dimensional quantum states with topological order, and the second half explores the representability of various unitary loop operators with tensor networks. In the numerical usage of the tensor networks, the tensor is varied as to find the representation of the ground states of the given Hamiltonian. In chapter two and three of this thesis we show that such a numerical program for topological phases can be 'ill-posed'. We show that tensor network can be an unstable representation for a topological phase: even an infinitesimal variation in the representation results in the loss of topological order, completely or partially. We diagnose this problem by identifying the exact causes of this instability, and find that it is only tensor variations in certain directions that result in instability, because they result in the condensation of bosonic quasi-particles of the phase. Such unstable variations are characterized by two properties: (1) they can replace a tensor in the tensor network without making the network collapse, and (2) their presence in the network represents the presence of a non-trivial topological charge. We prove that the general tensor representation of all string-net models suffer with such instabilities. We propose an exact mathematical operator to project out all such unstable variations and show its efficacy for a few models by direct calculations. Such an operator can be useful in numerical programs involving such tensor representations. We also point out that such variations play a crucial role in simulating topological phase transitions and their presence can be vital in an accurate simulation. In chapter four and five of this thesis we focus on the representability of unitary loop operators by tensor networks. Such operators not only provide an important tool in the study of dynamical process in one-dimensional systems, but also in understanding and classification of symmetry protected topological phases in two dimensions. To characterize all such operators, we find a necessary and sufficient condition for any loop tensor network operator of a given length to represent a unitary operator. In particular, it is shown that all unitary operators that map local operators to local operators (locality-preserving) can always be represented by a tensor network. Locality-preserving unitary loop operators are classified by a rational index called the GNVW index defined in Ref. [1] which measures how much information 'flows' along the loop. We define Rank-Ratio index for tensor network operators and show that it is completely equivalent to the GNVW index. Therefore, GNVW index of a unitary operator can be easily extracted from its tensor network representation. We find that, other than representing locality-preserving unitary maps, tensor networks can also represent unitary operators that map local operators to global (non-local) operators. These tensor network operators are found to have a long-ranged order similar to tensors that represent topological tensor network states in two dimensions.
We adapt the bialgebra and Hopf relations to expose internal structure in the ground state of a Hamiltonian with Z 2 topological order. Its tensor network description allows for exact contraction through simple diagrammatic rewrite rules. The contraction property does not depend on specifics such as geometry, but rather originates from the non-trivial algebraic properties of the constituent tensors. We then generalise the resulting tensor network from a spin-1/2 lattice to a class of exactly contractible states on spin- S degrees of freedom, yielding the most efficient tensor network description of finite Abelian lattice gauge theories. We gain a new perspective on these states as examples of two-dimensional quantum states with algebraically contractible tensor network representations. The introduction of local perturbations to the network is shown to reduce the von Neumann entropy of string-like regions, creating an unentangled sub-system within the bulk in a certain limit. We also show how local perturbations induce finite-range correlations in this system. This class of tensor networks is readily translated onto any lattice, and we differentiate between the physical consequences of bipartite and non-bipartite lattices on the properties of the corresponding quantum states. We explicitly show this on the hexagonal, square, kagome and triangular lattices.
The most general description of a quantum many-body system is given by a wave- function that lives in a Hilbert space with dimension exponential in the number of particles. This makes it extremely hard to study strongly correlated phenomena like the fractional quantum Hall effect and high-temperature superconductivity. Whenever interactions are sufficiently local and temperature is low, the system does not explore the full Hilbert space, but its ground state resides in the small corner of Hilbert space described by the area law. Containing little entanglement, the states can then be expressed as tensor networks, a family of wavefunctions with a polynomial number of parameters. On the one hand, tensor networks can be used as a variational manifold in nu- merical computations. On the other hand, they allow building model wavefunctions much like locality allows writing down physically realistic Hamiltonians. Besides allowing for an analytical treatment, these models grant access both to the physical and the entanglement degrees of freedom. This is particularly useful in classifying phases of matter. A large number of phases can be explained in terms of Landau’s symmetry-breaking paradigm. This framework, however, is not complete, as exemplified by the existence of phases with intrinsic topological order in two dimensions. It was a major conceptual advance when tensor networks could explain (non-chiral) topological phases as those where the symmetry resides in the entanglement degrees of freedom. The symmetries corresponding to those topological phases act as discrete, finite groups on the virtual degrees of freedom. The purpose of this Thesis is to generalize this program to include other symmetries. We investigate a class of tensor networks with continuous symmetries and find that they cannot describe gapped physics with a unique ground state. The abelian case is found to describe a non-Lorentz invariant phase transition point into a topologically ordered phase. The physics of the non- abelian case is that of a plaquette state that spontaneously breaks the translation symmetry of the lattice. The non-abelian PEPS arises as the ground state of a local parent Hamiltonian whose ground state manifold is completely characterized by the tensor network. In both cases, we find two types of corrections to the entanglement entropy: first there is a correction that is logarithmic in the size of the boundary and independent of the shape. A further correction depends only on the shape of the partition, imposing further restrictions on regions that are suffciently thin. Finally, we investigate symmetries that mix the virtual with the physical degrees of freedom and are furthermore anisotropic. Their physics is described by subsystem symmetry protected topological order. In particular, we focus on the entanglement entropy in the cluster phase and show that there is a universal constant correction to the entropy throughout the phase. This is important in the program of establishing the entanglement entropy as a detection mechanism for topologically ordered phases. We put forward a numerical algorithm to compute the correction and use it to discover a novel phase of matter in which the cluster phase is embedded.