2区-

rotation s of a Spin

T.ES?D=i5e.S2=SCStI),S=tz.l?. L3spinquanTumnumberexpEio5
SSingle Spinの0=-(列がNational the aaxisの二Xi Yc Z

0=2 た

邸 たなばた

だよ に.

.

.

.

で は 言い、lLieb Schultz Mathis Te theorem--theorem which States that certainnago
cannot havequantum many Body Systems

a-aund State

unique goo

Energy gaps

with anon ZenoGwenergypropeniesquantumspincha.insymmetry

tos

afterwards
.

.

.

j-1J

j +1.

.

.

.

2Part I
theoeiginal

Lieb Schultz--Matt istheorem
3The okiginal LSM theorem
Lieb Schultz,Affleck,,Lieb

14 は 、 51961

1986

oantiferromagneti
clt
eis
enbeegchain.lt
盱的絹ぼ が的・=た SCS 1 1 )
-Eqs

:

if S

=energyeige.rs value

方言
E

Ease EE East
for

any

始悟.

.

.

.

g.se nergy

THEOREMan、KL.

.

.

There exists

such thatに 8で 54

Outline of the Proof
theg.sk#ofHisuniqueforteuenL( Marshall 1 9 55 Lieb Metis 1 9 6 2 ) invariant
いいVakiationd Estimate →of A+ rotation invariant,い)unique nessL

expfi 4→jgkadual、non-=0

IIGS 〉=1 GD

1Uniform rotation (Twist) がiii.類別
G=tj -00 jOj

T:oej 5(l)Variation al Estimateが 列姚た齊
Twist operator
=と唄
Bloch

「 and State

1玉 〉

=でに〉

もIGD.ee卒ignoreく を 1$+0 (幽 ?)的 1長にthus

MTG )

a

伝 1月 1 を 〉 きが せvalid forany

S=が 言、-た00

6

(2) Orthogonal iy

Unitary Estl:が強even={灝 また、oo

1で 月 に はIGS ) is the unique g.si → PIGS )、た expf

な 例
ま嚙がた が

曦=if に 去る.

.

例風に-_-=IIGS )-1親の 阿=

娍

嘘的で.

1た1

に 例で も NG(GSI で は=07

Computing the ProofIGS )the unique g.si of 円

た1 た ので。 1 G(i) Variational Estimate

伝 1月 1 を )(2)-Orthogonal Fly
ifl is even andthen thee
withis an

Energy eigen

East=g。

逆的 的
actual Twist

f for any KL
任 長〉

S 当主=

、

Energy eigenstat
value Ee"st=Oは>

Ee-East//8

re Marks

Tenergegen valueEst
East
if に も 言

THEOREM.

0 <.

、

E

0 in the LA I init thee(ii) There.

for-(i) unique.

Two

are

KL

anypossibiliesithi.isg.s.withgaplessexc.TTions ←Multiple gsono
S
Information
are

is=T.

2.

.

thecase.

.

.

g.s.withagapGEEI-ltddanergee.IO

in fact the Modelhasaunique、

41gap

qPart 立new

LSM Type

theorem10LSM theorem and Early Extensions
Lieb Schu は M #is 19 6 1、、,

Affect Lieb 1986,

Oshikawa Yamanaka Attack 1992
Nacht geek Sims 2 0 0 720Has
Oshikawa 2 0 0,、0Ting,VII) invariant
rece が Extensions

00is.

,,Essential 6

1 Vis
Watanabe 8

hwandh.ae/2oBsimi1arno-gotheoremsformodel

Chen Gu Wen 20 1 1,,,,,

with

Only diode symmetry
dose ly related to"topological

Condensed matter Physics"

1 1

THEOREM Take Aquarium Spin chain with s Et
anda.

.

.

,

Shonanged Translation invariant Hamilton

This invariant Under Time reversal
it caninever be theダ→一絹の焮theinfinievolumeg.s.is
uniquecase that

accompaniedbyanonzerogap.ee#=tNisi+
andの 的で は はらた とChen Gu Wen 2011,,wandh.ae/2oBproofforMPsOgata.Tsaki20l9ful theogetyhof
remOgaTa.Tchik
1 VishWatanabe 8,,awa 、Matsui 20 0 1

Taki 2020 New

Essential

agume Nに

Stateof Our

Proof

YOgda.YTchikawa.H.ESaki

theorem sforquantumspincha.is
General Lieb Schu は Matty-arXiv 2 0 0 4:06 458:rg

Oshikawa

200 0condition fornecessarythe existence A a unique gappedg.snoexamine aMake Full
State"

useof the Index for"Edge

developed in the Study ofsymmetry Protected topological Phase13Time-ve veraIT a Single Spin I はotimereveralmapPCantilneartautomorph.in )に は)=一らはx y z )の,

8 月 か な が例
で1 の ftp.B )Why=、,哺 ) で 1が3)
が A + べでuntil in ear ?
がら た が

rfs

_らが-

isz

汽部
14

Time ve vera IT a Single Spinotime-reverdahiuritanyope.ir → PA )どがた ど ど

^-=が鬩
噤がた鼈
蠟=節と𩝐

惣箛。

OStandard basis
・など も 城 など
2城とIndex I E 1 0 , 1 9 = ト1 区 、 呦 )

た げた
④

た役

得Teu

たばた訡が襂に詔.

.

I・詰 15を.

・・し-た (mod 2 )remark:

Kramers deg ene ray'if S 法言

anyif.

.

.

stat 147 andWHO-147 are Orthogonal

H ← time.eerely invariant

H 1 4に E 1 47 impies

Hanyeigenno1 4)=な1 4)=

月 14) Evalue must be degenerateunique g.s.sn=a

LSM likeddementia Single-Spinindices forInfini をoEdge States:

anexample

SE chaindimenstatep.at?ilr'_j:euen
timekeverso.ly

い.

.

Anna.

antejtj Odd:.

.

.

eoeee

jinvariant
cone

onset.

-.-.

invariantdeoogye.eeeoTransform as-1
a 5=42.

.

.

.

.

s17

.

indices forEdge States

a inFine S

1 chain

.

0-0-

0=-0-

Zeno

0j

a inFine S=

1 chain-0&Examples

:

--

二By

State
0-.-

_〇

AKLTstatefefted.ie岳とpineieeiieeneteie.net
Jdj

=

118

indices for Edge States genteal results:

ageneralshonangedt.me
unique goo

and State

areversal

ly invariantlamina

compared byanonzerogap@rnreoenosoj.seoeosoredjawell-definedindexE10.I•9rindexforthespinatjn@e.IrJ.oezn.J

Essential identify

jtl'dj=Ij ++1t 、

19remarks About the Index
indices for ALPS (matrix poduct States )と rez Garcia Wolf Sanz Ver straete Cirac,,,-2008、

20100
for General unique gappedg.sn
Tillman , Tren Bag Oshikawa、

indices

withsymmetry

based on a Series of high.ly nominal

Mathematical Works

Matsui 2 0 1 2 1 30Ogaた,20 180,

Hastings 2007

and more20

remarks About the Index
indices for ALPS (matrix poduct States )と rez Garcia Wolf Sanz Ver straete Cirac
,,,

-2008

、

20100
for General unique gappedg.sn
Tillman , Tren Bag Oshikawa、

indices

withsymmetry

based on a Series of high.ly nominal

Mathematical Works

Matsui 2 0 1 2 1 30God,

20 180,

Hastings 2007

and more

E algebra

staを

Split
Construction
GNS

Type

-I factor

erepn

plotof the LSM-

Type theorem

oassume.tk#thereisatimereversally&j
invariant uniquegappedg.s.eo.on.ca

二百 t

t.net

oassumetanslationinvariancedj-f.tt

な 0=>5=1.2

3,0なるに.

. .

、timerev.8tansl.in variant

unique gappedg.s.isinpossible !62,

THEOREM Take Aquarium Spin chain with s Et
anda.

.

.

,

Shonanged Translation invariant Hamilton

This invariant Under Time reversal
it caninever be theダ→一絹のが、 z

theinfinievolumeg.s.is
compared bynonzerogap
uniqueandacase thata22

inflection invariant chain
in Varianunder-Time| ref-

reversal

j→

ein_j

いなもきみた 9=-re t u r n e d-

=

2-

Iot

10

1I。

2=が2 0。

=

spinal the okig in is S=。

1.

瓦2.

.

.

.

.

=023

THEOREM Take Aquarium Spin chain with Site dependent-Spinand ash-

Under election
if the spinalrang ej→the-Hamilton in that is invariant

J and Time reversal

Origins

IT caninever be theSatisfied

=らを.

.

.

then

the

infinievolumeg.s.is
uniquecase thatac ompaniedbyanonzerogapc.mn/TEhnxGlT@YnEs=?s=I
andにした 1

Eji 2014

2418
Watanabe,,

Jian Za He 12017,

Summary t discussin

Original LSM theorem makes use ofist
on the UCI )basedsymmetry
the giadualtw
a thea"on ew LSM

-Propertieso thefrom thetheorems Follow
Typeof indices footage States"

results extend to General symmetry
G then a IS is replaced by thegoupdegree-2)
HYG.lt/)pgoup cohomology
25adrertis.me#
for background, related topic,
andmore , See

Hal Tasaki

Physicsand Mathematics

of Quantum Many

-SystemsBody"SpongeJune 2020

withfourimgind.ie
Illustrations
by Mari Okaz製