of information during each driving period. We construct exactly solvable models realizing each of
these phases, and discuss the anomalous dynamics of their topologically protected surface states.
Unlike previous encountered examples of Floquet SPT phases, these 3d FTPMs are not captured
by group cohomology methods, and cannot be obtained from equilibrium classifications simply by
treating the discrete time-translation as an ordinary symmetry. The simplest such FTPM phase
can feature anomalous Z2 (toric code) surface topological order, in which the gauge electric and
magnetic excitations are exchanged in each Floquet period, which cannot occur in a pure 2d system
without breaking time reversal symmetry.
Low temperature 2d systems with a gap exhibit dis- equilibrium setting to investigate new non-equilibrium
cretely quantized electrical and thermal Hall conduc- SPT phases arising in Floquet systems that are sub-
tance associated with chiral edge channels that reflect jected to time-periodic driving[2740].
the underlying bulk topology of the many-body state. In this context, quantum Hall systems with non-
In the absence of excitations with fractional charge and zero Chern number are unstable to drive-induced heat-
statistics, there are fundamental minimum values for ing [41, 42]. Instead, time-periodic driving enables a
these topological quantities. For example, the mini- new set of topological phases with chiral edge dynam-
mal thermal Hall conductance per unit temperature is ics but zero Hall conductance [31], dubbed chiral Flo-
0,f /T = 1 for (non-superconducting) fermion systems, quet (CF) phases [37], which can be many-body local-
and 0,b /T = 8 for bosonic systems [1]. Strikingly ized (MBL) [43]. In the absence of fractional excita-
3d time-reversal symmetry (TRS) symmetry protected tions [37, 40, 44], CF edge channels periodically pump
topological phases (SPTs), such as electronic topological a quantized integer number of quantum states, pR to the
insulators[2] (eTIs) and their interacting bosonic coun- right, and an integer number of states, pL , to the left.
terparts, topological paramagnets[36] (TPMs), can vi- This pumping is characterized by a topological invariant
olate these fundamental constraints, exhibiting anoma- = log ppRL , that is the logarithm of a rational fraction,
lous surface states with effectively half of this minimum inspiring the name rational CF phases.
Hall quantization. For example, in eTIs this half-integer
surface Hall conductance is a direct consequence of the In this paper, we investigate whether there are 3d TRS
unpaired surface Dirac fermion that is topologically pro- SPT phases whose surface states can exhibit a fraction
tected by TRS and charge-conservation. This anoma- of the minimal dynamical chiral invariant, , analogous
lous Hall conductance has been observed by examining to anomalous Hall conductance and anomalous -angle
domains between opposite surface magnetizations, whose of equilibrium TIs and TPMs. To avoid technical com-
interface carries a single chiral electron mode with electric plications associated with fermion systems, we focus on
and thermal Hall conductance twice that of the neigh- 3d Floquet systems of interacting bosons or spins sub-
boring magnetic domains [7]. Equivalently, this sur- jected to a TRS drive. In this context, we uncover an
face property corresponds to bulk electromagnetic and infinite family of 3d FSPT phases, which we refer to as
gravitational axion angles e,g = [8], leading to a Floquet topological paramagnets (FTPM). In analogy to
topological magneto-electric effect [9], and exposing un- how the surface state of an equilibrium topological para-
expected connections between electronic materials and magnet is effectively a TRS half of the minimal 2d in-
non-perturbative anomalies and dualities of gauge theo- teger thermal quantum Hall insulator, the surface states
ries [8, 1014]. of these 3d FTPM phase are effectively square-roots
of minimal chiral Floquet (CF) phases [31, 37, 40]. Just
These phenomena are, by now, rather well understood as a magnetic domain wall at the surface of an equi-
in thermal equilibrium settings, even in the presence of librium eTI behaves as the edge of an integer quantum
strong interactions, due to recent advances in under- Hall phase with odd-integer Hall conductance, a TRS-
standing and systematically classifying SPT phases [2 breaking domain on the surface of the 3d DTI phase ex-
5, 1526]. In this paper, we venture beyond this familiar hibits the same dynamics as the edge of a 2d rational CF
2
phase whose rational topological invariant is not a per- whose position, r , lies within a finite width region
fect square (the multiplicative analog of odd). These near the boundary.
FTPM phases are governed by an infinite set of dynam-
ical Z2 -valued topological invariants, one for each prime Denoting these two bulk-truncated Floquet evolutions
number, or equivalently the positive rationals modulo as UB1,2 respectively, we can then identify the action of
perfect squares, Q+ /Q2+ [45]. After constructing these U (T ) at the boundary by their difference:
invariants, we build solvable lattice models for driven sys-
tems that realize each of these 3d FTPM phases, and ex- Y = UB1
2
UB1 (2)
plore their anomalous, topological surface state dynam-
which is exponentially well-localized to the boundary. By
ics.
definition, the phase is trivially localizable in the ab-
A complementary perspective on the 3d FTPMs is pro-
sence of symmetries. This ensures that we can write Y
vided by their possible anomalous 2d surface topological
as a local RHamiltonian evolution of a 2d Hamiltonian:
orders. The simplest example is the 3d FTPM phase real- T
Y = T ei 0 HS (t)dt , where HS (t) is exponentially well
ized in a spin-1/2
lattice model, whose surface has chiral
localized to the surface. Since UB1.2 are manifestly TRS,
unitary index log 2. We will show that this phase can and commute [55], Y is also TRS. Crucially, however, it
exhibit a Floquet enriched Z2 -topological order (Toric might be the case that its generating Hamiltonian HS (t)
code) with emergent gauge electric e, magnetic, m that necessarily breaks TRS. To quantify this obstruction to
get periodically interchanged, e m. In a purely 2d sys- the existence of a TRS generating Hamiltonian, we first
tem, we have previously shown[40, 46] that this e m pick any generating Hamiltonian HS (t) and from it con-
exchange is necessarily accompanied by TRS-breaking struct a modified 2D Hamiltonian with enlarged period
radical CF edge state with chiral index = 21 log 2. 2T :
However, the special (anomalous) feature of the 3d Flo-
quet phase, is that it enables this surface e m exchang-
(
0 HS (t) for 0 < t < T
ing surface topological order to occur in a time-reversal HS (t) = 1
(3)
T HS (t T )T for T < t < 2T
symmetric fashion.
Topological invariants for 3D FTPMs We begin where the minus sign in the second line makes HS0 (t) a
by constructing a new dynamical topological invariant time-reversal anti-symmetrized version of HS . Since, Y
for 3d FTPMs. Our setting will be a 3d system of inter- is TRS on a closed surface. this anti-symmetrization im-
acting bosons (e.g. spins), subjected to a time-dependent 0
plies US (2T ) = e i 02T Hs0 dt
R
= T Y T 1 Y = 1, i.e. US0 (t),
Hamiltonian H(t) with period, T , H(t) = H(t + T ), and 0 t < 2T forms a closed loop in the space of finite depth
associated with the Floquet operator (time-evolution op- unitaries. Moreover, since HS0 is a purely 2D Hamilto-
erator for one period): nian, we can truncate it to a finite 2d disk and com-
RT pute its chiral unitary edge index, , which is equal to
U (T ) = T ei 0
H(t)dt
(1) the of HS minus the of its TR-conjugate (due to
the TRS anti-symmetrization in Eq. 3). Since Y = 1
where T denotes time ordering. In this driven setting,
away from the edge of the disk takes a (log) rational
heating can be either avoided by introducing strong dis-
value [37, 44, 56, 57]:
order to drive the system into a many-body localized
(MBL) regime [4749], or postponed for an exponen- (Y ) = log r(Y ) (4)
tially long time by rapid driving [5053]. We will restrict
our attention to MBL settings, though we expect our re- for some rational r. It will be convenient to represent
sults to extend straightforwardly to pre-thermal systems. this rational number via its unique prime factorization:
Our focus will be on drives with time-reversal symmetry
implemented by an anti-unitary operator T acting as:
Y n (Y )
r(Y ) = pi i , (5)
T H(t)T 1 = H(t) (i.e. T U (T )T 1 = U (T )), which i
acts like T 2 = 1 on all particles. The latter require-
ment avoids local Kramers degeneracies that would spoil where pi is the ith prime number, and ni Z.
MBL [54]. Without affecting the bulk dynamics, we can alter Y
In the absence of a boundary, the Floquet evolution by attaching a purelyP 2d rational CF phase with chiral
is MBL, and decomposes intoQthe product of quasi-local unitary index 2d = i mi log pi to the surface. Such
unitary operations: U (T ) = U , where U commute surface deformations preserve the unitary loop property
for different , and are exponentially well localized near of US0 . Due to the anti-symmetriziation in Eq. 3, this
position r . There are two distinct ways to define the changes [US0 ] by twice that of the attached 2d phase,
action of U (T ) in the presence of a spatial boundary: i.e. r i pni i +2mi . Given the completeness of the
Q
1. We can simply truncate the terms in the Hamilto- bosonic CF classification[37], this 2d CF alteration is the
nian H(t) that cross the boundary. only way to modify the surface with a finite depth
unitary transformation of the surface evolution, such that
2. Alternatively, we could omit the factors of U the integers ni are well-defined modulo 2. Each of these
3
Symmetry &
D.S. Freed for helpful conversations. ACP is sup-
SPT X-SPT F-SPT ported by NSF DMR-1653007. LF is supported by NSF
Dimensionality
DMR-1519579, Sloan FG-2015- 65244. AV acknowl-
None, 2d Z Z1 (none) Q+ ' Z edges support from a Simons Investigator Award and
AFOSR MURI grant FA9550-14-1-0035. This research
ZT2 , 3d Z2 Z2 Z2 Z2 Q+
2 ' Z2 Z2 was supported in part by the Kavli Institute of Theoret-
ical Physics and the National Science Foundation under
TABLE I. Dimensional hierarchy of bosonic SPTs. Grant No. NSF PHY11-25915.
Group structure of various types of SPT classifications includ-
ing equilibrium gapped ground-states (SPT), excited state
MBL systems (X-SPT), and periodically driven Floquet sys- Appendix A: Details of lattice model construction
tems (F-SPT). The equilibrium SPT include chiral phases
with thermal Hall conductance and their 3d descendant, the
beyond cohomology SPT (red). These cannot be MBL and In this Appendix, we provided details of the construc-
are absent from the X-SPTs. Instead, for Floquet systems, tion of the lattice models realizing the decorated domain
the chiral phases are replaced by rational CF phases and their wall Floquet evolution described in the main text. We
3d FTPM descendents SPTs in the second column are the first construct a convenient lattice implementation of a
equilibrium gapped ground states, where a time reversal sym- 2d CF phase, which forms the basis for the domain wall
metric SPT in 3d, the beyond cohomology state (blue). Here decoration in the 3d lattice models of FTPMs.
Q+ denotes the group of (positive) rationals with multiplica-
+ 2
tion, and Q+ +
' Z
2 = Q / Q 2 is the group of rationals
modulo perfect squares. 1. 2d Chiral Floquet Model
5
a)
4 3 5
1 2
a) 1...4 5 b) 1...4 5
b) c)
4 3
1 2
1...4 5 1...4 5
1...4 5 total c) d)
e)
d)
1...4 5
FIG. 3. 2d chiral floquet model a) Schematic of the 5-step FIG. 4. 2d chiral Floquet model on non-square do-
2d lattice model with CF evolution for a 9-site boson pla- mains The difference in the edge motion (dashed arrows)
quette. Steps 1 . . . 4 consist of applying chiral permutations from stages 1 . . . 4 and the ideal uniform chiral edge transla-
(colored circling arrows) around the 4-site boson to the pla- tion can be removed by a local unitary transformation (step
quettes of type 1 (blue), 2 (red), 3 (green), and 4 (purple) in 5), that depends on the local geometry of the 2d domain, and
sequence. Steps 1 . . . 4, are equivalent to a uniform chiral edge involves either 2-state bosonic SWAP operations (gray ovals)
translation up to a finite depth local unitary transformation or 3-state chiral SWAP operations (cyclic solid arrows). (a)-
(panel b). This difference is undone in step 5 by appropri- (e) show illustrative examples for various domain shapes made
ately chosen boson SWAP operations (gray ovals), such that from edge-sharing tilings of the minimal unit cell shown in
the total evolution results in uniform edge translation by one Fig. 3a), that consists of 4 square boson plaquettes.
site (panel c). Panel e) illustrates the 5-step evolution for a
larger 7 7-site square.
2. p-state bosons, with an onsite Hilbert space
spanned by a basis: {|1i, |2i . . . |pi} that transforms
by a finite-depth local unitary evolution. We can remove trivially under TRS.
this superficial difference by applying a 5th stage of the We arrange the spin-1/2, degrees of freedom on a
evolution, in which the boson states are swapped between layered triangular lattice with each layer being a verti-
neighboring sites shown with a dark gray oval in Fig. 3a. cally shifted copy of the one below it (Fig. 5). We take
The resulting 5-step evolution implements an idealized each -spin to be surrounded by a cube with a 5 5 grid
chiral edge translation unitary, in which the bosons at the of p-state boson sites on each face. In each layer, the
boundary are shifted by precisely one site in the right- boson cubes form a brick lattice around the spins, which
handed direction. This idealized CF evolution can be has the advantage that the spin domain walls projected
implemented on arbitrary 2d domains made from arbi- onto the boson cube faces will always contain an inte-
trary edge sharing configurations of this minimal 3 3 ger number of the elementary 4-square-plaquettes used
unit. The precise implementation of step 5 depends on in the 2d CF implementation (Fig. 3). This arrangement
the local geometry of the 2d domain (illustrative exam- also avoids issues with point-like intersections between
ples are given in Fig. 4). domain walls.
Our strategy will be to apply the 2d CF evolutions
described in the previous section, to the boson plaquettes
2. 3d Decorated Domain Wall Model sitting on spin DWs. We define an orientation of the
DWs point from down to up spins, and will evolve with
With the 2d CF implementation in hand, we can begin the CF phase of right-handed chirality (with respect to
to assemble the 3d decorated domain wall model of a the DW orientation). We further label the minimal 4-
FTPM. The lattice model is formed from two types of square boson plaquettes based on the direction of their
degrees of freedom: normal vector: x, y, or z (with sign given by the
DW orientation).
1. Spins-1/2, ~i that transform under TRS as Complications arise in folding the 2d CF evolution
T ~i T 1 = ix~i ix , and onto a closed 3d surface. Namely, it is impossible to
7
z
a) b)
z1
y
x a
xy3
a
z
xy1
y
a
z2
x
a
a) b)
c) xy1 d)
xy3
z xy2
y
x
This unitary evolution implements the decorated do- In this section we investigate the possible connections
main wall picture of the FTPM phase described in the of the ideas in the main text to fermionic SPT phases
main text, while preserving the overall TRS. We note, in protected by TRS, whose surface states are character-
passing, that U (T ) is unitarily equivalent to applying all ized by time-reversal breaking domain walls that exhibit
the steps in sequence as shown in Fig. 6: Uz2 Uz1 Uxy = the chiral edge dynamics of a 2d fermionic CF phase[46].
Uz2 U (T )Uz2 . Changing between these two orderings sim- Our current understanding of such fermionic generaliza-
ply amounts to a shift in our definition of the period, and tions is incomplete at present, and this appendix aims to
a corresponding shift to the center of inversion for the assemble our current partial knowledge, lay out possible
time-reversal operation. We can readily verify that the scenarios, and highlight open issues.
construction of U (T ) results in a TRS evolution:
T U (T )T 1 = T Uz1 T 1 Uxy
T Uz2 T 1 = Uz2
Uxy Uz1 1. Decorated domain walls with spinless fermions
= U (T ) (A4)
A seemingly simple extension of the models described
Crucially, each of these steps can be implemented by a in the main text is to replace the p-state boson sites
local Hamiltonian involving projectors onto spin configu- with complex (spinless) fermions described by creation
rations multiplied by the local boson terms corresponding operators fr on site r. Since the on-site Hilbert space
to the terms in the appropriate 2d CF implementation de- of a fermion has the same number of states as a p =
scribed in the previous section. The evolution is easiest 2 boson, this procedure would naively also produce a
to picture when projected onto a 2d plane. Fig. 8 shows phase with = 2. In the presence of microscopic
9
fermions, though, this = 2 fermion phase seemingly re- between boson and fermion CF phases with = log 2 in
quires charge conservation symmetry in addition to time- Ref. [37], hinged on the absence of U (1) charge conserva-
reversal symmetry for stability, since in superconducting
tion, to show that the boson and fermion on-site Hilbert
systems, a purely 2d Majorana CF phase with = 2 is spaces can be made equivalent by tacking on auxiliary
possible[37, 40, 46]. degrees of freedom with trivial dynamics. One can read-
This construction appears to yield a Floquet topolog- ily convince themselves that this trick cannot be done
ical insulator (FTI) protected by U (1) charge conserva- in a charge conserving way, so long as one has a finite
tion and spinless time-reversal symmetry, T , with T 2 = 1 on-site Hilbert space. Namely, in a fermion system, all
(class AI). We will refer to this phase as a spinless bosonic degrees of freedom have even charge, whereas all
fermion FTI. fermionic degrees of freedom have odd charge. Hence,
In the absence of interactions, FTIs are described by the maximal charge state in a fermionic site can never be
a non-interacting Floquet band structure, whose possi- equivalent to that of a bosonic site. This raises the more
ble topological features have exhaustively classified[38]. subtle possibility, that the fermion and boson phases may
For this class, there are no non-trivial Floquet-band TI only be equivalent in a system with an infinite on-site
phases, i.e. the spinless fermion FTI does not exist with- Hilbert space (e.g. a quantum rotor model), though such
out interactions. Hence, we are left with three possibili- an unbounded on-site Hilbert space may be problematic
ties: for MBL.
Lastly, while we presently see no concrete issue with
1. The spinless fermion FTI is topologically equivalent the fermionic decorated domain wall (DDW) model,
to a purely bosonic = 2 phase, there is potential cause to worry that there is some hid-
2. the spinless fermion FTI is inequivalent to any den obstruction that we have yet to identify (scenario 3).
bosonic phase, and instead constitutes an intrin- For example, in equilibrium, one could try to create a
sically interacting fermion Floquet SPT phase, or DDW model of an ordinary electronic TI, by decorating
TRS-breaking magnetic domains with integer quantum
2
3. there is a subtle (i.e. currently unknown) way in Hall states of spinless fermions with xy = eh . This
which the spinless fermion FTI surface states are would seemingly result in a model in which surface mag-
not topologically protected. netic domains have a single chiral mode equivalent to
While we do not currently have a definitive understand- the quantum Hall edge the hallmark of an electronic
ing of which option is correct, let us weigh some circum- TI with electromagnetic theta angle e = . However,
stantial evidence regarding each of these possible scenar- in that context, it is known that the surface state is
ios. not protected, and that only spinful (Kramers doublet,
Two observations speak in favor of scenario 1 (spinless T 2 = 1) electrons can form a stable TI phase. By anal-
fermion FTI = bosonic FTPM). First, we can employ ogy, it is conceivable that the spinless FTI is not a sta-
a gedanken experiment that is frequently useful in equi- ble topological phase, but rather, its surface state is not
librium SPTs of inserting a -flux (vison) into the sur- SPT protected. Instead, a non trivial SPT order requires
face state. In equilibrium, a non-trivial fermionic SPT spin-1/2 fermions to form. Such a spinful fermion FTI
will react non-trivially to such a -flux (e.g. the flux (class AII) does exist in the absence of interactions, and is
will acquire a symmetry protected degeneracy or frac- characterized by a non-trivial Floquet band invariant[38].
tional symmetry charge) otherwise one could prolifer- This spinful fermion FTI cannot be many-body local-
ate such -flux excitations and gap out the fermions at ized without breaking time-reversal symmetry due to lo-
the surface, showing that the topological properties arise cal Kramers degeneracies[54], however, it may occur as a
from purely bosonic degrees of freedom. The spinless long-lived pre-thermal phenomena.
fermion FTI phase, on the other hand, does not have a At the present, we are unable to definitively decide
topological response to a -flux, suggesting a topologi- among these three scenarios, and raise this task as a chal-
cal equivalence to a purely bosonic system. A second lenge for future work.
piece of circumstantial evidence for scenario 1, is that in
the absence of U (1)-number conservation symmetry, the
= log 2 CF phase of bosons and fermions are topologi- 2. Spinful fermion Floquet topological insulator
cally equivalent[37, 46].
However, there are two possible reasons to doubt these In this section, we briefly outline the topological prop-
arguments (supporting scenario 2, spinless fermion FTI erties of a (non-interacting or prethermal) Floquet topo-
6= bosonic FTPM). First, the application of the -flux logical insulator of spin-1/2 electrons protected by charge
proliferation to gap out the fermion degrees of free- conservation and spinful time-reversal symmetry (class
dom is subtle in the context of highly excited states of a AII). We will call this phase the Floquet band TI.
Floquet MBL system where energy is not conserved, and This phase is classified by a non-trivial Floquet band
the topological properties come from highly excited dy- invariant[38]. In general, Floquet band structures are
namics, potentially involving excitations with arbitrary classified by two copies of the equilibrium band invari-
quasi-energy. Second, the demonstration of equivalence ants. The first copy can be intuitively viewed as an equi-
10
librium phase that is realized in a Floquet context, and ground-states, there is a potential complication for re-
has the usual equilibrium topological surface states at alizing an MBL state in disordered versions of these sys-
quasi-energy 0. Similarly, the extra Floquet phases can tems. Namely, the bulk 3D topological order would ex-
be viewed as a second set of equilbrium invariants for hibit string-like gauge-flux excitations, which, in the ide-
topological surface states at quasi-energy . alized zero-correlation length limit, would result in an
This leads to an intuitive picture of the Floquet band exact degeneracy growing exponentially with the num-
TI surface states, as consisting of one Dirac cone 0 quasi- ber of intersections between the string excitations and
energy and another at quasi-energy (strictly speak- fluctuating spin-DWs. Upon moving away from the fine-
ing, since there is no particle-hole symmetry, it is the tuned integrable limit, in the related case of 2D radi-
quasi-energy difference between the two surface Dirac cal CF phases, these degeneracies were lifted either by
cones that is fixed at ). Namely, as was shown in a spontaneous breaking of time-translation symmetry, or
Ref. [68] (see also [66]), for any phase in which time- a breakdown of MBL. Whether simply breaking time-
evolution by two periods can be implemented by an or- translation symmetry in the above construction is suffi-
dinary local, symmetric, and time-independent Hamilto- cient to produce a stable MBL phase remains an open
nian U (2T ) = e2iHeff T one can formally define an emer- question for future study.
gent dynamical Z2 symmetry generator: g = U (T )eiHeff T
where U (2T ). The two surface Dirac cones have oppo-
site symmetry charge under this emergent dynamical Appendix C: General classification of bosonic
symmetry. Floquet topological paramagnets
We can further understand the properties of this phase,
via a gedanken experiment in which we insert a minimal Recall that the static equilibrium classification of 3d
flux magnetic monopole into the Floquet band TI. The bosonic phases with time reversal symmetry is Z2 Z2 ,
familiar topological index theorems for Dirac cones guar- with one Z2 generated by the in-cohomology (eT mT )
antee that each surface Dirac cone contributes a charge- SPT state [23] and the other by the beyond-cohomology
1/2 fermionic bound state to the monopole, described by (eF mF ) SPT state [3]. In this appendix we will ar-
annihilation operators 0, respectively. Crucially, the gue that the in-cohomology state can be realized by a
quasienergy difference between these modes is precisely: many-body localizable (MBL) Hamiltonian, whereas the
= . The charge neutral monopole has two possi- beyond-cohomology one cannot. A general proof that all
ble configurations, where one of the 0, is occupied and in-cohomology states are MBL was given in [42]. Here,
the other empty. These two configurations differ in quasi- we present a related, complementary argument that also
energy by , or equivalently, the two states of the neutral allows us to argue that the beyond-cohomology state can-
monopole are degenerate with respect to time evolution not be localized. Thus, the proposed full classification of
by two periods, U (2T ). This dynamical degeneracy is bosonic Floquet topological paramagnets will include the
protected by emergent dynamical Z2 symmetry that de- in-cohomology SPT state, together with the infinite fam-
scends from the time-translation symmetry of the drive. ily of models constructed in this paper: i.e. the new
We close by remarking that this monopole gedanken infinite family replaces the beyond-cohomology state in
experiment distinguishes the spinful Floquet band TI, the Floquet classification
from the putative spinless fermion FTI explained in the They key property of any in-cohomology SPTs in spa-
previous section. The latter does not respond in any non- tial dimension d 1 is the fact that its ground state can
trivial way to U (1) fluxes, and cannot be topologically be disentangled into a symmetric product state by a fi-
equivalent to the Floquet band TI. nite depth unitary V that commutes with all symmetry
generators:
|g.s. i = V |prod i. (C1)
3. Fractionalized generalizations
Here |g.s. i is the SPT ground state, V is a finite depth
In the main text and previous sections, we have focused circuit of local unitary operators, and
on short-range entangled bulk phases without anyon ex- |prod i = j |j i (C2)
citations, we may also consider consider fractional
analogs of these FTPM phases which can be accessed via is a tensor product state over the sites j of the system of
a related decorated domain wall construction in which symmetric states |j i. Indeed, the disentangling circuit
TRS breaking domains are decorated with radical CF V can be constructed directly for the zero correlation
phases, which would result in intrinsic 3D bulk topo- length models introduced in [23], and its existence is a
logical order. The surface of a putative fractional DTI universal property of the SPT phase. This ground-state
would then have an effective Q fractional value of the 3D construction was generalized to all excited states of an
ni mod 2
TRS topological invariant i pi , and sur- MBL system in [42]. Note that only the entire circuit
face states with effective chiral index that isa quartic V is symmetric the individual unit-depth unitary steps
root of a rational number, r, surface = log 4 r. While making up V will not, by themselves, be symmetric for
such phases should be stable as metastable pre-thermal a non-trivial SPT phase.
11
If the symmetry group G is onsite and Abelian, then and as the surface state, take the time reversal symmetric
each site Hilbert space decomposes as a sum of orthog- eF mF state [3, 69]. This is a gapped surface topologi-
onal one dimensional representations . Letting Pj de- cal order with an anomalous realization of time reversal
note the projector onto the representation at site j, we symmetry: namely, any truly 2d realization of the eF mF
see that the ground state |g.s. i is the unique state an- state necessarily has a chiral central charge equal to 4
nihilated by {V Pj0 V }, where 0 denotes the symmetric modulo 8.
representation generated by |j i. Thus the Hamiltonian In this open geometry, we can define a truncation of
the hypothetical V to the bulk, which disentangles the
X bulk but not the boundary (generically it is not possi-
HMBL = Jj, V Pj V (C3) ble to disentangle the boundary of a nontrivial SPT with
j, a finite depth unitary). The putative V would be TRS
in the bulk. Namely, writing the time-reversal operator
with suitably chosen (random or quasi-periodic) cou-
as T = UT K with UT being a product of on-site unitary
plings Jj, is a Hamiltonian with a full set of local con-
operators and K being complex conjugation (in some ba-
served quantities believed to be in or close to an MBL
phase, realizing |g.s. i as an eigenstate. sis), V and UT V UT have the same action on operators
Conversely, if an SPT ground state can be realized as localized in the bulk of the system. Note that time rever-
the eigenstate of a symmetric Hamiltonian with a full set sal property of the disentangling circuit V is not the same
of symmetric local conserved quantities, then we conjec- as that of the time evolution operator, which requires an
ture that such a symmetric disentangling circuit V must extra inverse. Thus we see that the operator V 1 U V U
exist. Indeed, in this case one can define V via the uni- acts only on the spins localized near the surface, i.e. is a
tary transformation mapping projectors onto on-site de- surface operator.
grees of freedom to projectors onto the conserved quan- The key point now is that V would break time reversal
tities (l-bits) of the MBL system, which is a locality symmetry near the surface and maps an SPT eigenstate
preserving, and quasi-local transformation. Indeed, [44] to a product state in the bulk tensored with a surface
showed that in one dimension such locality-preserving state |s i. This surface state |s i is now a truly 2d re-
unitary operators are always finite depth quantum cir- alization of the eF mF state, and hence has a nonzero
cuits up to a generalized translation. Assuming some chiral central charge of c equal to 4 modulo 8. On the
version of this result holds in higher dimensions, and the other hand, if we had disentangled the bulk of the orig-
generalized translation can be argued to act trivially (i.e. inal (TRS) state with the time-reversed partner U V U
take product states to product states), this would imply of V , we would have obtained the time-reversed eF mF
the existence of a symmetric finite depth circuit disen- state, with chiral central charge c. Also, these two
tangling the ground state. time-reversed incarnations of the eF mF surface state are
Although we cannot prove this at this time, we conjec- mapped into each other by the 2d locality preserving sur-
ture that this is true in the case of 3 spatial dimensions face operator V 1 U V U .
and time reversal symmetry. In fact, we can almost take This leads to a contradiction, as follows. Let us de-
the existence of such a V as the definition of symmetry note by eF mF+ and eF mF the surface states with chi-
preserving MBL. Certainly any counterexamples would ral central charge c and c respectively, and let W =
have a very different structure than known MBL phases, V 1 U V U be the 2d locality preserving operator that
and would likely require modifying several common defi- maps one to the other. Now stack each of eF mF+
nitions of MBL. In particular, the in-cohomology, eT mT and eF mF with another copy of eF mF . Augment-
state has a TRS disentangling circuit V and can be many- ing W by the identity on this second copy of eF mF ,
body localized in this fashion. On the other hand, we we obtain an operator W that maps eF mF+ eF mF
claim that for the beyond cohomology state, no such cir- to eF mF eF mF . However, eF mF+ eF mF is
cuit V exists, which by the argument above strongly sug- simply the quantum double of eF mF , and necessar-
gests that it cannot be MBL. ily has a parent Hamiltonian equal to a sum of local
We will now argue by contradiction, that no such cir- commuting projectors. Conjugating these local com-
cuit exists for the beyond cohomology, eF mF , state. muting projectors by the locality-preserving operator W
Suppose that a symmetric circuit, V did exist, which we would obtain a local commuting projector Hamilto-
could disentangle the bulk of the eF mF state in the ab- nian for eF mF eF mF , which is impossible because
sence of boundaries. Then, consider a system with a eF mF eF mF has nonzero chiral central charge[67].
boundary (e.g. a solid rectangular block with a surface), This is the desired contradiction.
2 2 k2
[1] Here, we work in units of eh L where L = 3e2B is the 146802 (2005).
Lorenz number and T is the temperature. [3] A. Vishwanath and T. Senthil, Physical Review X 3,
[2] C. L. Kane and E. J. Mele, Physical review letters 95, 011016 (2013).
12
[4] C. Wang and T. Senthil, Physical Review B 87, 235122 [36] R. Roy and F. Harper, Phys. Rev. B 94, 125105 (2016).
(2013). [37] H. C. Po, L. Fidkowski, T. Morimoto, A. C. Potter, and
[5] C. Wang, A. C. Potter, and T. Senthil, Science 343, 629 A. Vishwanath, Phys. Rev. X 6, 041070 (2016).
(2014). [38] R. Roy and F. Harper, ArXiv e-prints (2016),
[6] F. J. Burnell, X. Chen, L. Fidkowski, and arXiv:1603.06944 [cond-mat.str-el].
A. Vishwanath, Phys. Rev. B 90, 245122 (2014), [39] F. Harper and R. Roy, arXiv preprint arXiv:1609.06303
arXiv:1302.7072 [cond-mat.str-el]. (2016).
[7] C.-Z. Chang, J. Zhang, X. Feng, J. Shen, Z. Zhang, [40] H. C. Po, L. Fidkowski, A. Vishwanath, and A. C. Pot-
M. Guo, K. Li, Y. Ou, P. Wei, L.-L. Wang, et al., Science ter, arXiv preprint arXiv:1701.01440 (2017).
340, 167 (2013). [41] R. Nandkishore and A. C. Potter, Physical Review B 90,
[8] E. Witten, Physics Letters B 86, 283 (1979). 195115 (2014).
[9] X.-L. Qi, R. Li, J. Zang, and S.-C. Zhang, Science 323, [42] A. C. Potter and A. Vishwanath, arXiv preprint
1184 (2009). arXiv:1506.00592 (2015).
[10] D. T. Son, Physical Review X 5, 031027 (2015). [43] Whether stable MBL can occur in dimension higher
[11] C. Wang and T. Senthil, Physical Review X 5, 041031 than one remains remains an important, unsettled mat-
(2015). ter of principle[70]. For strong disorder the dynamics
[12] M. A. Metlitski and A. Vishwanath, Physical Review B will behave as in an MBL system at worst up to super-
93, 245151 (2016). exponentially long timescale, and possibly forever. Fur-
[13] N. Seiberg, T. Senthil, C. Wang, and E. Witten, Annals ther, quasi-periodic MBL could avoid the potentially
of Physics 374, 395 (2016). problematic rare regions effects [71].
[14] A. Karch and D. Tong, Physical Review X 6, 031043 [44] D. Gross, V. Nesme, H. Vogts, and R. Werner, Commu-
(2016). nications in Mathematical Physics 310, 419 (2012).
[15] L. Fu, C. L. Kane, and E. J. Mele, Physical Review [45] One might worry about the stability of such an infinite
Letters 98, 106803 (2007). classification, however, we remark that any reasonable
[16] J. E. Moore and L. Balents, Physical Review B 75, lattice model will contain a bounded number, D, of states
121306 (2007). per site, in which case we can only realize phases with
[17] A. Kitaev, arXiv preprint arXiv:0901.2686 (2009). invariant up to the largest prime factor of D.
[18] S. Ryu, A. P. Schnyder, A. Furusaki, and A. W. Ludwig, [46] L. Fidkowski, H. C. Po, A. C. Potter, and A. Vish-
New J. of Phys. 12, 065010 (2010). wanath, arXiv preprint arXiv:1703.07360 (2017).
[19] L. Fidkowski and A. Kitaev, Phys. Rev. B 83, 075103 [47] R. Nandkishore and D. A. Huse, Ann. Rev. Cond. Matt.
(2011). Phys. 6, 15 (2015).
[20] A. M. Turner, F. Pollmann, and E. Berg, Phys. Rev. B [48] A. Lazarides, A. Das, and R. Moessner, Physical review
83, 075102 (2011). letters 115, 030402 (2015).
[21] X. Chen, Z.-C. Gu, and X.-G. Wen, Phys. Rev. B 84, [49] D. A. Abanin, W. De Roeck, and F. Huveneers, Annals
235128 (2011). of Physics 372, 1 (2016).
[22] X. Chen, Z.-C. Gu, Z.-X. Liu, and X.-G. Wen, Science [50] D. A. Abanin, W. De Roeck, and F. Huveneers, Phys.
338, 1604 (2012). Rev. Lett. 115, 256803 (2015).
[23] X. Chen, Z.-C. Gu, Z.-X. Liu, and X.-G. Wen, Phys. [51] D. A. Abanin, W. De Roeck, and W. W. Ho, arXiv
Rev. B 87, 155114 (2013). preprint arXiv:1510.03405 (2015).
[24] Y.-M. Lu and A. Vishwanath, Phys. Rev. B 86, 125119 [52] T. Kuwahara, T. Mori, and K. Saito, Annals of Physics
(2012). 367, 96 (2016).
[25] C. Wang and T. Senthil, Physical Review B 89, 195124 [53] D. V. Else, B. Bauer, and C. Nayak, arXiv preprint
(2014). arXiv:1607.05277 (2016).
[26] M. A. Metlitski, L. Fidkowski, X. Chen, and A. Vish- [54] A. C. Potter and R. Vasseur, Physical Review B 94,
wanath, arXiv preprint arXiv:1406.3032 (2014). 224206 (2016).
[27] T. Oka and H. Aoki, Physical Review B 79, 081406 [55] More precisely, the non-commutation of these terms is
(2009). exponentially small in the ratio thickness of B2 divided
[28] N. H. Lindner, G. Refael, and V. Galitski, Nat. Phys. 7, by the localization length, which can be made arbitrarily
490 (2011). small.
[29] T. Kitagawa, E. Berg, M. Rudner, and E. Demler, Phys. [56] J. I. Cirac, D. Perez-Garcia, N. Schuch, and F. Ver-
Rev. B 82, 235114 (2010). straete, arXiv preprint arXiv:1703.09188 (2017).
[30] L. Jiang, T. Kitagawa, J. Alicea, A. R. Akhmerov, [57] M. B. Sahinoglu, S. K. Shukla, F. Bi, and X. Chen, arXiv
D. Pekker, G. Refael, J. I. Cirac, E. Demler, M. D. Lukin, preprint arXiv:1704.01943 (2017).
and P. Zoller, Phys. Rev. Lett. 106, 220402 (2011). [58] X. Chen, Y.-M. Lu, and A. Vishwanath, Nat. Comm. 5
[31] M. S. Rudner, N. H. Lindner, E. Berg, and M. Levin, (2014).
Phys. Rev. X 3, 031005 (2013). [59] The definition of MBL can be modified to allow for ther-
[32] V. Khemani, A. Lazarides, R. Moessner, and S. L. mal boundaries [72, 73].
Sondhi, Phys. Rev. Lett. 116, 250401 (2016). [60] C. Wang, A. C. Potter, and T. Senthil, Physical Review
[33] C. von Keyserlingk and S. Sondhi, Physical Review B 93, B 88, 115137 (2013).
245145 (2016). [61] X. Chen, L. Fidkowski, and A. Vishwanath, Physical
[34] D. V. Else and C. Nayak, Physical Review B 93, 201103 Review B 89, 165132 (2014).
(2016). [62] P. Bonderson, C. Nayak, and X.-L. Qi, Journal of Statis-
[35] A. C. Potter, T. Morimoto, and A. Vishwanath, Physical tical Mechanics: Theory and Experiment 2013, P09016
Review X 6, 041001 (2016). (2013).
13
[63] A. C. Potter and T. Morimoto, arXiv preprint [69] F. J. Burnell, X. Chen, L. Fidkowski, and A. Vish-
arXiv:1610.03485 (2016). wanath, ArXiv e-prints (2013), arXiv:1302.7072 [cond-
[64] D. V. Else, B. Bauer, and C. Nayak, Phys. Rev. Lett. mat.str-el].
117, 090402 (2016). [70] W. De Roeck and F. Huveneers, arXiv preprint
[65] C. von Keyserlingk and S. Sondhi, Physical Review B 93, arXiv:1608.01815 (2016).
245146 (2016). [71] V. Khemani, D. Sheng, and D. A. Huse, arXiv preprint
[66] C. von Keyserlingk, V. Khemani, and S. Sondhi, Physical arXiv:1702.03932 (2017).
Review B 94, 085112 (2016). [72] A. Chandran, A. Pal, C. R. Laumann, and A. Scardic-
[67] A. Kitaev, Annals of Physics 321, 2 (2006), january chio, Phys. Rev. B 94, 144203 (2016).
Special Issue. [73] R. Nandkishore and S. Gopalakrishnan, arXiv preprint
[68] N. Y. Yao, A. C. Potter, I.-D. Potirniche, and A. Vish- arXiv:1606.08465 (2016).
wanath, Physical Review Letters 118, 030401 (2017).