X-Cube Fracton Model on Generic Lattices: Phases and Geometric Order
Abstract
Fracton order is a new kind of quantum order characterized by topological excitations which exhibit remarkable mobility restrictions and a robust ground state degeneracy (GSD) which can increase exponentially with system size. In this manuscript, we present a generic lattice construction (in three dimensions) for a generalized X-cube model of fracton order, where the mobility restrictions of the subdimensional particles inherit the geometry of the lattice. This helps explain a previous result that lattice curvature can produce a robust GSD, even on a manifold with trivial topology. We provide explicit examples to show that the (zero temperature) phase of matter is sensitive to the lattice geometry. In one example, the lattice geometry confines the dimension-1 particles to small loops, which allows the fractons to be fully mobile charges, and the resulting phase is equivalent to 3+1D toric code. However, the phase is sensitive to more than just lattice curvature; different lattices without curvature (e.g. cubic or stacked kagome lattices) also result in different phases of matter, which are separated by phase transitions. Unintuitively however, according to a previous definition of phase in Ref. Chen et al. (2010), even just a rotated or rescaled cubic results in different phases of matter, which motivates us to propose a new and coarser definition of phase for gapped ground states and fracton topological order. The new equivalence relation between ground states is given by the composition of a local unitary transformation and a quasi-isometry (which can rotate and rescale the lattice); equivalently, ground states are in the same phase if they can be adiabatically connected by varying both the Hamiltonian and the positions of the degrees of freedom (via a quasi-isometry). In light of the importance of geometry, we further propose that fracton orders should be regarded as a geometric order.
pacs:
Topologically ordered quantum phases of matter are often characterized by their topological excitations
[
This topological invariance is absent in the recently discovered, exactly solvable, gapped 3D lattice models Vijay et al. (2015); Haah (2011); Yoshida (2013); Chamon (2005); Bravyi et al. (2011); Vijay et al. (2016); Vijay and Fu (2017); Ma et al. (2017a); Hsieh and Halász (2017); Halász et al. (2017); Petrova and Regnault (2017); Brown et al. (2016) that exhibit so-called fracton topological order Vijay et al. (2016). Fracton order can be characterized by its topological excitations which are subdimensional Pretko (2017a), which means that they are immobile or are restricted to only move along lines or surfaces without creating or destroying other topological excitations. The immobile excitations are called fractons, while the particles that are bound to lines and surfaces are called dimension-1 particles (or lineons Devakul et al. (2017)) and dimension-2 particles, respectively. Fracton order has also been characterized by its GSD which increases exponentially with system size on a torus Vijay et al. (2015); Haah (2011); Shirley et al. (soon), geometric braiding processes (Fig. 1), geometry-dependent entanglement Shi and Lu (2017); Ma et al. (2017b); Schmitz et al. (2017), glassy dynamics Prem et al. (2017); Chamon (2005); Pretko (2017b), duality to lattice defects Pretko and Radzihovsky (2017), duality to fractal and subdimensional symmetry breaking Yoshida (2013); Vijay et al. (2016); Williamson (2016); Slagle and Kim (2017a); Nussinov and Ortiz (2009a, b), bifurcation in entanglement renormalization Haah (2014); Shirley et al. (soon), and connections to emergent gravity Pretko (2017c).
The aim of our work is to demonstrate the significance of geometry in the study of fracton order by considering the effects of changing the geometry of the lattice. By lattice geometry, we mean: Is the lattice a cubic lattice or stack of kagome lattices? Or does the lattice have curvature (as in e.g. Fig. 5)? Although liquid topological order (e.g. gauge theory) is completely blind to lattice geometry, we will show that lattice geometry plays a fundamental role in the physics of fracton order. To do this, in Sec. II we formulate a lattice construction (Fig. 3) of generic lattices on which we can define a generalized X-cube fracton model, which was previously only defined on a cubic lattice Vijay et al. (2016).
In Sec. III we will see that the mobility restrictions of the subdimensional particles inherit the geometry of the lattice. This helps explain a previous discovery that lattice curvature can result in a robust GSD on a manifold with trivial topology (Fig. 6b) Slagle and Kim (2017b).
In Sec. IV, we show that the lattice geometry can also affect the phase of matter (at zero temperature). As examples, we consider two lattices (Fig. 8 and 7) where the geometry grants fractons either full or subdimensional mobility which results in a phase equivalent to 3+1D gauge theory or a stack of 2+1D toric codes.
In Sec. V, we show that the phase is sensitive to more than just lattice curvature. For example, the X-cube model on different lattices without curvature (e.g. cubic or stacked kagome) can result in a different GSD and phase of matter.
In Ref. Chen et al. (2010) (and Hastings (2008)), two gapped quantum ground states were defined to be in the same phase if they could be connected by an adiabatic evolution of the Hamiltonian. Equivalently, the phase was also classified by an equivalence relation where two states are in the same phase if they could be connected by a (generalized) local unitary (gLU) transformation. (Hamiltonians on different lattices can be compared by adding trivial gapped degrees of freedom so that both Hamiltonians share the same Hilbert space; analogously, a “generalized” local unitary is allowed to add and remove degrees of freedom that are in a direct product state.)
Remarkably, we show that using this definition of phase Chen et al. (2010), a rotated or rescaled lattice can also correspond to a different phase (Fig. 9); e.g. the X-cube model on cubic lattices with different orientations corresponds to different phases of matter. This surprising (and unintuitive) result can be understood from the fact that different lattices have different lines and surfaces that the subdimensional particles are bound to (Fig. 11).
This motivates us to propose a coarser definition of phase in Sec. V.1 which (more intuitively) equates the X-cube model on rotated and rescaled lattices. Under the new definition, two gapped quantum ground states are in the same phase if they can be connected by an adiabatic evolution of both the Hamiltonian and the positions of the degrees of freedom. Equivalently, the new definition of phase is also given by an equivalence relation where two states are in the same phase if they can be connected by the composition of a generalized local unitary (gLU) transformation and a quasi-isometry (which can e.g. rotate and rescale the lattice). A quasi-isometry is a spatial transformation that preserves long-distance structure, such as locality, but is not required to preserve short-distance structure. When only liquid phases such as liquid Zeng and Wen (2015) topological order are considered, our new definition of phase reduces to the previous definition proposed in Ref. Chen et al. (2010).
I X-Cube Model Review
The X-cube model was originally defined on a cubic lattice with Pauli operators on the links Vijay et al. (2016):
(1) |
The first term sums over all cubes in the lattice and is a product of 12 Pauli operators over the 12 edges of the cube (Fig. 2a). Excitations of this term are immobile fractons which are created at the corners of rectangular membrane operators Vijay et al. (2016). However, a pair of neighboring fractons is a dimension-2 particle which can move along a plane (via the same “membrane” operator but of unit width). This cube operator counts the number of fractons within the cube by braiding dimension-1 particles (excitations of the second term) around the edges of the cube.
The second term in the Hamiltonian sums over all quadruples of links which make the shape of a cross and is a product of 4 Pauli operators over these 4 links (Fig. 2b). Excitations of this term are dimension-1 particles which can only move along the x, y, or z axes Vijay et al. (2016). The collection of an x-axis, y-axis, and z-axis dimension-1 particle can fuse into the vacuum. A neighboring pair of dimension-1 particles moving in the same direction is a dimension-2 particle, which can move along the plane orthogonal to their displacement. The cross operator in the XY plane counts the number of x-axis and y-axis particles at the vertex (modulo 2) by braiding a pair of fractons around a loop in the XY plane.
Ii Intersecting Surfaces Lattice Construction
Unlike liquid topological order, the X-cube model can not be naturally defined on an arbitrary lattice. The links neighboring each vertex must come in pairs to uniquely specify how a dimension-1 particle should pass through a link. We may also want to preserve the fusion rule that the collection of three orthogonal dimension-1 particles can fuse into the vacuum. Thus, we will restrict the vertices to have exactly six neighboring links so that there are exactly three kinds of dimension-1 particles at each vertex. Therefore, each vertex must locally look like the vertex of a cubic lattice. Additionally, there must be a notion of surfaces for the dimension-2 particles to be bound to.
In order to facilitate these conditions, we will construct our lattice from a collection of intersecting surfaces, which we will refer to as i-surfaces. The motion of a dimension-2 fracton pair will be restricted to these i-surfaces. The dimension-1 particles will traverse the lines formed by the intersection between two i-surfaces. The lattice has a vertex wherever three i-surfaces intersect. Links between vertices are places where two i-surfaces intersect. As desired, not all lattices are compatible with this construction; e.g. a stack of honeycomb lattices can’t be constructed, which is sensible since it is not clear how a dimension-1 particle should pass through a 5-valence vertex of a stacked honeycomb lattice. For simplicity, we will require that the i-surfaces are not fine tuned; i.e. perturbing the i-surfaces should not change the lattice. This implies that no more than three i-surfaces can intersect at a single point and no more than two i-surfaces can intersect along a line (which e.g. rules out a stack of triangular lattices). As examples, in Fig. 3 we show how this construction can form a cubic lattice or stack of kagome lattices.
The Hamiltonian is:
(2) |
The first two terms generalize Eq. (1).
Instead of summing over cube operators in the first term,
we instead sum over all 3-cells (3D volumes enclosed by i-surfaces) at which the 3-cell operator is a product of operators on the edges of the 3-cell (Fig. 4a).
The second term again consists of three cross operators at each vertex,
one for each of the three i-surfaces intersecting the vertex (Fig. 2b).
The third term sums over all finite-sized loops (that don’t increase in size as the system size increases)
and is a product of operators around the loop (Fig. 4b).
The fourth term sums over all finite-sized parallel loops
and is a product of operators on the links connecting the parallel loops (Fig. 4c).
The last two terms are new, and only appear when there are finite-sized intersections between i-surfaces.
Without the last two terms, the model can be fine tuned (e.g. in Fig. 7).
[
Iii Significance of Geometry
Now that we can define the X-cube model on different lattices, we can ask: How does the geometry of the lattice affect the long distance physics?
For the case of liquid topological orders, such as gauge theory which is described by toric code or BF theory, the geometry of the lattice or curvature of the spatial manifold has little effect on the long distance physics. That is, it doesn’t matter if toric code is defined on a square lattice or triangular lattice; the charge and flux excitations can always move in any direction and the GSD only depends on the topology of the spatial manifold.
In contrast to liquid topological order, the X-cube model is very sensitive to lattice geometry. For example, on the cubic lattice there are three kinds of dimension-1 particles, which are constrained to only move along the x, y, and z–axis. However, when the X-cube model is defined on a stack of kagome lattices (Fig. 3b), there are four kinds of dimension-1 particles corresponding to the four different directions that the links of the lattice are aligned. These four kinds of dimension-1 particles are physically distinct; they belong to different superselection sectors and can be distinguished by braiding pairs of fractons from a distance (similar to how braiding can be done on a cubic lattice Fig. 1a).
As a more exotic lattice example, we can consider curved i-surfaces that produce curved lattices. For example, a collection of curved surfaces can produce lattices with hyperbolic geometry (Fig. 5). On this lattice, the dimension-1 particles move along curved lines, which are geodesics of the hyperbolic plane. Thus, the mobility restrictions of the subdimensional particles inherit the geometry of the lattice. Consequently, the rigid braiding operators (Fig. 1a-b) also inherit the lattice geometry.
The geometry-dependent mobility restrictions of the subdimensional particles also affects the ground state degeneracy (GSD).
Similar to toric code, the GSD of the X-cube model can be understood as resulting from
non-local logical operators that act on the degenerate ground state Hilbert space.
These non-local operators are anticommuting Wilson and ’t Hooft loops
which correspond to moving a dimension-1 particle or a dimension-2 fracton pair, respectively, around a closed loop (Fig. 6a) Slagle and Kim (2017b); He et al. (2017).
[
(3) |
where sums over all i-surfaces which each contribute a factor of to the GSD,
where is the genus of the i-surface,
[
The geometry dependence of the Wilson and ’t Hooft loops allows us to better understand a previous result that lattice curvature can lead to a robust GSD on a manifold with trivial topology Slagle and Kim (2017b). The lattice considered is formed by constructing the cubic lattice from orthogonal i-surfaces (Fig. 3a) and then adding an additional large i-surface with the topology of a torus (Fig. 6b). The new torus-shaped i-surface has genus and results in closed Wilson and ’t Hooft loop operators around the torus, which contributes a factor of four to the GSD (in accordance with Eq. (3)). The GSD is robust in the limit of a large torus-shaped i-surface. Note that the topology of the spatial manifold wasn’t changed; instead, it was argued in Ref. Slagle and Kim (2017b) that the resulting lattice should be interpreted as having spatial curvature around the torus-shaped i-surface.
Iv Mobilizing Fractons
We will now consider two lattices with a very large amount of positive curvature. The first lattice is a stack of the lattice shown in Fig. 7, which is constructed from cylinder-shaped i-surfaces. Note that on this lattice, we must also include the new loop terms in (Eq. (2), Fig. 4b-c). These terms don’t commute with Wilson and ’t Hooft string operators (Fig. 6a) that are orthogonal to the plane, which prevents the subdimensional excitations from moving out of the plane. The lattice geometry does not support fractons, but instead results in a phase that is equivalent to a stack of 2+1d toric codes. String operators that move the toric code charges and fluxes are shown in Fig. 7.
Now consider a lattice constructed from spherical i-surfaces.
We will place the spheres on a face-centered cubic (FCC) lattice (Fig. 8a-b).
[
V Different Phases
We have shown that lattice geometry greatly affects the topological excitations, ground state degeneracy (GSD), and phase of the X-cube model. In this section we will discuss more subtle ways that the lattice geometry affects the phase of matter (Fig. 9), which will motivate a new definition of phase in Sec. V.1.
We will begin by studying the X-cube model using the definition of phase of matter defined in Ref. Chen et al. (2010). In Ref. Chen et al. (2010), ground states of gapped local Hamiltonians are grouped into equivalence classes, which are interpreted as phases of matter. The ground states of and are in the same phase if there exists an adiabatic evolution of Hamiltonians such that is gapped for all (i.e. no phase transition occurs) where parametrizes the coupling constants in . Equivalently, two states are in the same phase if they can be equated by a generalized local unitary transformation (gLU). [foo (b)] We will refer to phases under this classification as gLU-phases in order distinguish them from the coarser classification of phase that we will propose in Sec. V.1.
We will argue that different lattice geometries result in different gLU-phases using two different kinds of arguments. The first argument is to consider the GSD. If two Hamiltonians have different GSD, then the Hamiltonians must be separated by a gap closing (i.e. a phase transition) so that the GSD can change (under an adiabatic evolution of the Hamiltonian ). This implies that e.g. the X-cube model on the following lattices must correspond to different gLU-phases: a cubic lattice, a stacked kagome lattice, or a cubic lattice with a larger unit cell (Fig. 9).
To make this explicit, we can consider an arbitrary interpolation between four Hamiltonians with :
(4) | |||
Each is defined on a stacked kagome lattice and consists of the X-cube model defined on the black lattice (next to each in Fig. 9),
while the qubits on the green links are trivially gapped out.
The second term is not conceptually important and will be discussed in the next paragraph.
For a periodic stacked kagome lattice of length ,
and describe the X-cube model on different slanted cubic lattices and with a .
describes the X-cube model on a stacked kagome lattice with .
And describes the X-cube model on a slanted cubic lattice with a larger unit cell and . [foo (c)]
Thus, (and ), , and must belong to different gLU-phases since they have different GSD.
[
There is a minor subtlety regarding the definition of due to the fact that pairs of neighboring vertices in the black slanted cubic lattices (in Fig. 9) are split into multiple links (Fig. 10) on the stacked kagome lattice. In , the 3-cell operators are products of operators on all of the black links on the edge of a 3-cell. The cross operators are still products of exactly four operators on four black links neighboring a vertex. The second term in Eq. (4) sums over all pairs of links that are between two neighboring vertices in a black lattice; see Fig. 10 for an example. We emphasize that is in the same phase as the X-cube model defined on a slanted cubic lattice like the one that is defined on, but without the green links or multiple black links between neighboring vertices; just includes extra qubit degrees of freedom which are either gapped out (as in the green links) or (trivially) sewed in using a local unitary (as in the splitted black links).
The two different slanted cubic lattices ( and ) also belong to different gLU-phases.
Again, this can be shown using certain choices of periodic boundary conditions for which these Hamiltonians have different GSD (Appendix A.1).
However, there is also a physical reason for a difference in gLU-phase.
The dimension-2 particles (i.e. pairs of fractons or dimension-1 particles) are bound to a i-surface
(plane of the black cubic lattice in this case),
and these i-surfaces are different in and .
If we consider a ’t Hooft loop or paired Wilson loop formed by these dimension-2 particles,
then there are loop operators (Fig. 11) that only exist in or , but not both.
In Appendix A.2, we use this intuition to show more formally that in general it is not possible to
relate the ground states of and by a local unitary transformation.
and can be related by a lattice rotation, but this is not a local unitary transformation.
Thus, the X-cube model on a rotated lattice can result in a different gLU-phase of matter from the X-cube model on the un-rotated lattice.
[
v.1 Coarser Fracton Phases
In Ref. Chen et al. (2010), phases of gapped local Hamiltonians were defined as being separated by phase transitions; equivalently, different gLU-phases can not be connected by a generalized local unitary (gLU) transformation [foo (b)]. However, we argued that the X-cube model on the different black lattices in Fig. 9 correspond to different gLU-phases of matter that must be separated by phase transitions. This may be unsettling since the lattices used to define , , and in Fig. 9 only differ by rotation or rescaling of the unit-cell size. This motivates a new definition of phase of matter where the gLU is composed with a quasi-isometry.
A quasi-isometry is a spatial transformation that preserves long-distance structure, such as locality. A quasi-isometry is coarsely (i.e. up to a bounded error) one-to-one and onto. Importantly, a quasi-isometry preserves locality (of local Hamiltonians and local unitary transformations) since a quasi-isometry must satisfy (for constant ), which implies that nearby points can not be mapped to far away points. A quasi-isometry does not need to preserve short-distance details; e.g. a quasi-isometry can be discontinuous and is perfectly well-defined on a lattice. These properties are desirable since we are interested in long-distance physics. A homeomorphism (between path-connected metric spaces) with bounded derivatives is a quasi-isometry that also preserves short-distance structure. See Appendix B for more details. Rotations, translations, and scale transformations are the most important examples of quasi-isometries in this work.
We propose a new definition of phase where two states are in the same phases if and only if they can be equated by the composition of a gLU and a quasi-isometry. This definition of phase intuitively groups , , and (Fig. 9) into the same phase, but places into a separate phase.
Recall that phases of gapped Hamiltonians are separated by phase transitions under adiabatically varying the Hamiltonian. If the positions of the degrees of freedom (qubits in this work) are stationary under the adiabatic evolution, then gLU alone defines the corresponding notion of phase. However, if the positions of the degrees of freedom can be changed during the adiabatic evolution (e.g. by rotating or applying strain or pressure to a crystal in a lab), then the composition of a gLU with a quasi-isometry defines the correct notion of phase. That is because in this case, the ground states are separated by phase transitions if and only if they can not be related by the composition of a gLU with a quasi-isometry.
Vi Conclusion
We have shown that nearly all important characterizations of the long-distance physics of the X-cube model depend on lattice geometry. These characterizations include: the mobility restrictions of the topological excitations and braiding operators, ground state degeneracy, and the phase of matter. We emphasize that the long-distance physics of liquid topological order is blind to the short-distance lattice geometry since none of the above characteristics of liquid topological order depend on the geometry of the lattice. The lattice geometry dependence of fracton order is ultimately the reason why our new definition of phase of matter (Sec. V.1) was necessary. Thus, we propose that fracton orders should be regarded as a geometric order to emphasize the important role played by geometry.
In Sec. V.1, we made use of quasi-isometries to define phases of matter.
A paradigm that we are applying here is that metric spaces and quasi-isometries are useful mathematical tools when one is interested in long-distance physics
but starting with a short-distance model.
Quasi-isometries become unnecessary after coarse-graining (under renomalization group) a model to its low-energy and long-distance effective field theory,
for which the short-distance details have been thrown away and no longer need to be explicitly ignored by using quasi-isometries.
For example, after coarse-graining toric code to BF theory
[
Mathematically, quasi-isometries are particularly important in the study of geometric group theory. Geometric group theory has been observed Bacon (2003) to have connections to the Solovay-Kitaev theorem Kitaev (1997); Solovay (2000), which is an important result in the theory of quantum computation. Roughly, the theorem says that if a set of operators generates a dense subset of , then any operator in can be efficiently obtained within an accuracy by taking a product of only operators in the generating set Dawson and Nielsen (2005). It may be interesting to use geometric group theory to understand the geometry of the ground state degeneracy of fracton topological orders.
We have only briefly studied examples of how geometry affects the physics of the X-cube model. A more complete and general understanding of the generic mathematical structure would be very desirable. For example, if the X-cube model is the simplest example of fracton order in the same way that toric code is the simplest example of topological order, more interesting geometric physics may emerge in other fracton models, similar to how more interesting topological invariants result from more exotic models of (liquid) topological order Putrov et al. (2017).
Previously-proposed emergent gravity models Gu and Wen (2006, 2012); Xu (2006a, b); Xu and Hořava (2010) where later discovered to actually be gapless fracton models Pretko (2017c). And recently, a gravity-like attraction mechanism between fractons was discovered Pretko (2017c) in gapless fracton models Rasmussen et al. (2016); Pretko (2017a) (although the attrictive force is only long ranged if the model has gapless fracton dipoles). These gapless fracton models therefore appear to be simplified versions of a gravity-like model. The gapped fracton models discussed in this work are the discrete analogs of the fracton models. It would therefore be interesting to study how the geometry-dependent physics discussed in this work applies to the fracton models, and how the gravity-like connections of the fracton models may apply to the gapped fracton models.
Acknowledgements.
We thank Wilbur Shirley, Xie Chen, Zhenghan Wang, Michael Pretko, Tim Hsieh, Wonjune Choi, and Dave Aasen for many helpful and encouraging discussions. This work was supported by the NSERC of Canada and the Center for Quantum Materials at the University of Toronto.Appendix A Rotated Lattice Arguments
In this appendix, we will argue more thoroughly that the X-cube model on lattices that only differ by a rotation can result in different gLU-phases of matter. As a concrete example, we will show that the ground states of and (Fig. 9) belong to different gLU-phases. That is, we will argue that and must be separated by a phase transition (assuming immobile qubits) and their ground states can not be related by a generalized local unitary (gLU) transformation.
a.1 Degeneracy Argument
First, we will give an example of a certain periodic boundary condition for which the two Hamiltonians ( and ) have a different ground state degeneracies (GSD). A periodic lattice can be defined by imposing a periodic equivalence of lattice points. A typical choice for a lattice of lengths is to equate each point as follows:
(5) |
where , , and are lattice vectors. With the lattice vectors shown in Fig. 12, the above periodic boundary conditions result in a for both and .
However, if we instead choose
(6) |
then has (for even ) while instead has a much smaller (for even and ) [foo (c)]. The reduced GSD occurs because the Wilson loops along certain directions (Fig. 6a) get merged into a single Wilson loop due to the shifted periodic boundary condition. Since and have different GSD on the same lattice, they must be separated by a phase transition (if we assume that the qubits are immobile under adiabatic Hamiltonian evolution).
a.2 Logical Operator Argument
As an alternative argument, we will derive a contradiction by assuming that the ground states of and (Eq. (4)) can be related by a local unitary transformation (in the sense of Ref. Chen et al. (2010)). We will work in the limit of an infinitely large lattice so that the concept of local operators is well-defined. This will be an argument (not be a proof) since we will apply the physics knowledge that does not have mutual semion topological excitations that can traverse the loops in Fig. 11. However, we expect that this could also be proven.
To derive a contradiction, consider a ground state of that is an eigenstate of the ’t Hooft loop in Fig. 11, which wraps a dimension-2 particle (composed of a pair of fractons) around a periodic direction. We will also consider the paired Wilson loop operator in Fig. 11, which wraps a dimension-2 particle (composed of a pair of dimension-1 particles) around the same plane. The algebra of these operators is
(7) |
To derive a contradiction, suppose that has a ground state that is related to by a local unitary transformation via . We can then define the transformed operators
(8) |
must also be a ground state of . This is because
(9) |
where we have raised to a positive integer power .
The right hand sides of the above two lines must be equal since
and are ground states of (which is topologically ordered)
and must therefore be indistinguishable by local operators
[
Therefore, and are logical operators that act on the ground states and of with the following algebra
(10) |
since . But since is local, and must only act on the qubits near the (red and blue) loops drawn in Fig. 11. However, does not have logical operators obeying Eq. (10) that only act in this region. This is because the presence of these string logical operators would imply the existence of topological excitations that can move along the loops drawn in Fig. 11. However, no such excitations exist for . We have thus derived a contradiction by assuming that the ground states of and can be related by a local unitary transformation. (Although we did not consider generalized local unitary (gLU) transformations, which can add and remove qubits, we do not expect this to affect the result of the argument.) Therefore, the ground states of and can’t be related by a local unitary transformation and must therefore correspond to different gLU-phases of matter.
Note that in order to derive a contradiction, it was essential that we assumed that is a local transformation. In particular, can not be a lattice rotation operator and thus and can not simply be equal to and rotated by . Since lattice rotations are an example of a quasi-isometry, this argument does not apply to our new definition of phase in Sec. V.1.
Appendix B Quasi-isometry and Locality
In this appendix, we will review the mathematical notion of quasi-isometry and prove that quasi-isometries preserve the locality of local Hamiltonians and local unitary transformations.
A quasi-isometry is a function between metric spaces that is coarse Lipschitz and has a coarse-Lipschitz quasi-inverse. To be precise, let and be metric spaces with distance metrics and . We will abuse notation and simply write instead of or (even though subtraction is not defined on a generic metric space). A function is coarse-Lipschitz if
(11) |
for all . (If , then is Lipschitz continuous.) A function is a quasi-inverse of if there exists such that
(12) |
for all and . is a coarse inverse of in the sense that inverts up to a bounded error, . See Fig. 13 for an example.
As an aside, quasi-isometries can be related to other kinds of functions in certain limits: A quasi-isometry with (in Eq. (11) and (12)) is also a uniform homeomorphism, which is a homeomorphism that is uniformly continuous and has a uniformly continuous inverse. All uniform homeomorphisms between path-connected metric spaces are quasi-isometries. A quasi-isometry with and is an isometry, which is a distance-preserving transformation between metric spaces.
We define a local Hamiltonian to be a sum of operators where the norm of each operator decreases exponentially with the diameter of its support. More precisely, is a local Hamiltonian if it can be expressed as with constants and such that
(13) |
where denotes the operator norm of and
(14) |
is the diameter of the support of the operator , where the support of is the set of lattice sites that acts on. (We will place hats above operators in this appendix.) As an example, is a local Hamiltonian with .
We consider quasi-isometries since unlike generic spatial transformations, quasi-isometries will preserve the locality of local Hamiltonians and local unitary transformations. Furthermore, quasi-isometries have the desired property that they are not sensitive to short-distance details. Quasi-isometries are introduced in this work so that we can be very precise about what kind of “nice” spatial transformations are allowed in our new definition of phase of matter, which applies to phases with or without fractons.
When we consider the composition of a quasi-isometry with a generalized local unitary (gLU) transformation, we will want to preserve the Hilbert space and locations of the degrees of freedom. For example, the quasi-isometry will rescale a lattice of qubits at to a lattice with qubits at even integers (). (A similar rescaling relates the black lattices for and in Fig. 9.) In order to preserve the Hilbert space, we must make use of the generalzied local unitary (gLU) transformation [foo (b)] by adding back qubits at the odd integer positions (). Since the Hilbert space and position of degrees of freedom are preserved, the physical notion of distance (i.e. the distance metric) can also be preserved.
As a non-example, although it is a homeomorphism, is not a quasi-isometry. This is desirable because on a lattice (where ) and for large , will map neighboring qubits (at and ) to distant locations ( and ) which will be separated by many qubits after adding back the missing qubits (at ) with a gLU.
To show that quasi-isometries preserve the locality of local Hamiltonians, consider a quasi-isometry and a local Hamiltonian . Let obey Eq. (11) and choose that satisfy Eq. (13). After applying the quasi-isometry , each operator will have a diameter with the following upper bound:
(15) | ||||
(16) | ||||
(17) |
Eq. (15) and (17) follow from the definition of the diameter of an operator (Eq. (14)), while Eq. (16) follows from the coarse-Lipschitz property Eq. (11). Thus, after the quasi-isometry is applied to the Hamiltonian , the resulting Hamiltonian is local since
(18) | ||||
(19) | ||||
(20) |
where and . Eq. (18) follows since the quasi-isometry does not change the norm of an operator. Eq. (19) follows from the definition of a local Hamiltonian (Eq. (13)). Eq. (20) follows from Eq. (17).
Since local unitary transformations are defined in terms of time-dependent local Hamiltonians [foo (b)] and quasi-isometries preserve the locality of local Hamiltonians, this implies that quasi-isometries also preserve the locality of local unitary transformations.
Footnotes
- Topological excitations can not be annihilated by local operators, but instead require contact with a corresponding antiparticle in order to be annihilated. Examples include ordinary electrons and the charge and flux excitations of toric code Kitaev (2003).
- It is possible to have 3-cells and loops that get arbitrarily large. In order to keep the Hamiltonian local, the coefficients of the 3-cell and loop operators in Eq. (2) should decay exponentially with the size of the operator.
- The non-local logical operators for toric code are also Wilson and ’t Hooft loops which correspond to moving charges and fluxes, respectively, around non-contractible closed loops.
- If the i-surface in Eq. (3) is not connected and orientable, then should be replaced by the first Betti number with coefficients.
- Placing the spheres on a cubic lattice results in four spheres intersecting at a single point, which violates the assumptions of our lattice construction.
- In this case the new loop terms in (Eq. (2), Fig. 4b-c) are actually optional.
- Indeed, we have checked that the degeneracy is 8 for the X-cube model on the intersecting spheres lattice (Fig. 8) with periodic boundary conditions. [foo (c)] The unit cell is composed of 48 links on which the Pauli operators reside.
- Interestingly, in Ref. Shirley et al. (soon) it is shown that a local unitary transformation can connect to the union of and decoupled stacks of toric code.
- A translated a lattice, by e.g. half of a unit cell, does not result in a different phase since a lattice translation is a generalized local unitary (gLU) transformation.
- The relation between toric code Kitaev (2003) and BF theory Blau and Thompson (1991) is reviewed in the appendix of Ref. Slagle and Kim (2017b).
- Recall that if it were possible to distinguish and using the expectation value of a local operator , then could be added to the Hamiltonian with an arbitrarily small coefficient and split the degeneracy between and , which is impossible because the ground state degeneracy of the X-cube model on a periodic cubic lattice is robust to perturbations Vijay et al. (2016).
References
- X. Chen, Z.-C. Gu, and X.-G. Wen, Phys. Rev. B 82, 155138 (2010).
- Topological excitations can not be annihilated by local operators, but instead require contact with a corresponding antiparticle in order to be annihilated. Examples include ordinary electrons and the charge and flux excitations of toric code Kitaev (2003).
- B. Zeng and X.-G. Wen, Phys. Rev. B 91, 125121 (2015).
- A. Kitaev, Annals of Physics 321, 2 (2006), January Special Issue.
- X.-G. Wen, National Science Review 3, 68 (2016).
- T. Lan, L. Kong, and X.-G. Wen, arXiv:1704.04221 (2017).
- A. Kitaev, Annals of Physics 303, 2 (2003).
- M. Blau and G. Thompson, Annals of Physics 205, 130 (1991).
- P. Putrov, J. Wang, and S.-T. Yau, Annals of Physics 384, 254 (2017).
- S. Vijay, J. Haah, and L. Fu, Phys. Rev. B 92, 235136 (2015).
- J. Haah, Phys. Rev. A 83, 042330 (2011).
- B. Yoshida, Phys. Rev. B 88, 125122 (2013).
- C. Chamon, Phys. Rev. Lett. 94, 040402 (2005).
- S. Bravyi, B. Leemhuis, and B. M. Terhal, Annals of Physics 326, 839 (2011).
- S. Vijay, J. Haah, and L. Fu, Phys. Rev. B 94, 235157 (2016).
- S. Vijay and L. Fu, arXiv:1706.07070 (2017).
- H. Ma, E. Lake, X. Chen, and M. Hermele, Phys. Rev. B 95, 245126 (2017a).
- T. H. Hsieh and G. B. Halász, Phys. Rev. B 96, 165105 (2017).
- G. B. Halász, T. H. Hsieh, and L. Balents, arXiv:1707.02308 (2017).
- O. Petrova and N. Regnault, arXiv:1709.10094 (2017).
- B. J. Brown, D. Loss, J. K. Pachos, C. N. Self, and J. R. Wootton, Rev. Mod. Phys. 88, 045005 (2016).
- M. Pretko, Phys. Rev. B 95, 115139 (2017a).
- T. Devakul, S. A. Parameswaran, and S. L. Sondhi, arXiv:1709.10071 (2017).
- W. Shirley, K. Slagle, Z. Wang, and X. Chen, (to appear soon).
- B. Shi and Y.-M. Lu, arXiv:1705.09300 (2017).
- H. Ma, A. T. Schmitz, S. A. Parameswaran, M. Hermele, and R. M. Nandkishore, arXiv:1710.01744 (2017b).
- A. T. Schmitz, H. Ma, R. M. Nandkishore, and S. A. Parameswaran, arXiv:1712.02375 (2017).
- A. Prem, J. Haah, and R. Nandkishore, Phys. Rev. B 95, 155133 (2017).
- M. Pretko, Phys. Rev. B 96, 115102 (2017b).
- M. Pretko and L. Radzihovsky, arXiv:1711.11044 (2017).
- D. J. Williamson, Phys. Rev. B 94, 155128 (2016).
- K. Slagle and Y. B. Kim, Phys. Rev. B 96, 165106 (2017a).
- Z. Nussinov and G. Ortiz, Annals of Physics 324, 977 (2009a).
- Z. Nussinov and G. Ortiz, Proceedings of the National Academy of Sciences 106, 16944 (2009b).
- J. Haah, Phys. Rev. B 89, 075119 (2014).
- M. Pretko, Phys. Rev. D 96, 024051 (2017c).
- K. Slagle and Y. B. Kim, Phys. Rev. B 96, 195139 (2017b).
- M. B. Hastings, arXiv:1008.5137 (2008).
- (a), In Vijay et al. (2016), a generalization of the X-cube model was given. However, their model only generalizes to lattices with bipartite 3-cells. That is, the vertices of every 3-cell must form a bipartite lattice. In our figures, we present an alternative generalization which does not require bipartite 3-cells. However, our generalization has a peculiarity where odd integer system sizes can result in a reduced GSD. For simplicity, we will focus on the model in the main text, for which .
- It is possible to have 3-cells and loops that get arbitrarily large. In order to keep the Hamiltonian local, the coefficients of the 3-cell and loop operators in Eq.\tmspace+.1667em(2) should decay exponentially with the size of the operator.
- wikipedia.org/wiki/Order-4 dodecahedral honeycomb .
- H. He, Y. Zheng, B. A. Bernevig, and N. Regnault, arXiv:1710.04220 (2017).
- The non-local logical operators for toric code are also Wilson and ’t Hooft loops which correspond to moving charges and fluxes, respectively, around non-contractible closed loops.
- If the i-surface in Eq.\tmspace+.1667em(3) is not connected and orientable, then should be replaced by the first Betti number with coefficients.
- Placing the spheres on a cubic lattice results in four spheres intersecting at a single point, which violates the assumptions of our lattice construction.
- In this case the new loop terms in (Eq.\tmspace+.1667em(2), Fig.\tmspace+.1667em4b-c) are actually optional.
- Indeed, we have checked that the degeneracy is 8 for the X-cube model on the intersecting spheres lattice (Fig.\tmspace+.1667em8) with periodic boundary conditions. [foo (c)] The unit cell is composed of 48 links on which the Pauli operators reside.
- (b), Local unitary transformations can be generated by a finite time evolution of a local time-dependent Hamiltonian. When considering an adiabatic evolution of a Hamiltonian from to , it is allowed (and sometimes necessary) to add extra degrees of freedom to (and thus also to and ) as long as these extra degrees of freedom are gapped and decoupled when or . Analogously, a generalized local unitary (gLU) Chen et al. (2010) is a local unitary transformation that can also add or remove degrees of freedom that are in a direct product state.
- (c), Ground state degeneracies were calculated using a method equivalent to the method described in Appendix B of Ref. Ma et al. (2017a).
- Interestingly, in Ref.\tmspace+.1667emShirley et al. (soon) it is shown that a local unitary transformation can connect to the union of and decoupled stacks of toric code.
- A translated a lattice, by e.g. half of a unit cell, does not result in a different phase since a lattice translation is a generalized local unitary (gLU) transformation.
- The relation between toric code Kitaev (2003) and BF theory Blau and Thompson (1991) is reviewed in the appendix of Ref.\tmspace+.1667emSlagle and Kim (2017b).
- G. M. D’Ariano, International Journal of Theoretical Physics 56, 97 (2017).
- S. Rastgoo and M. Requardt, Phys. Rev. D 94, 124019 (2016).
- D. Bacon, arXiv:quant-ph/0305025 (2003).
- A. Y. Kitaev, Russian Mathematical Surveys 52, 1191 (1997).
- R. Solovay (MSRI Conference on the Mathematics of Quantum Computation, Berkeley, CA, 2000).
- C. M. Dawson and M. A. Nielsen, arXiv:quant-ph/0505030 (2005).
- Z.-C. Gu and X.-G. Wen, arXiv:gr-qc/0606100 (2006).
- Z.-C. Gu and X.-G. Wen, Nuclear Physics B 863, 90 (2012).
- C. Xu, arXiv:cond-mat/0602443 (2006a).
- C. Xu, Phys. Rev. B 74, 224433 (2006b).
- C. Xu and P. Hořava, Phys. Rev. D 81, 104033 (2010).
- A. Rasmussen, Y.-Z. You, and C. Xu, arXiv:1601.08235 (2016).
- Recall that if it were possible to distinguish and using the expectation value of a local operator , then could be added to the Hamiltonian with an arbitrarily small coefficient and split the degeneracy between and , which is impossible because the ground state degeneracy of the X-cube model on a periodic cubic lattice is robust to perturbations Vijay et al. (2016).