This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

Learning Symmetric Hamiltonian

Jing Zhou Institute of Physics, Beijing National Laboratory for Condensed Matter Physics,
Chinese Academy of Sciences, Beijing 100190, China
School of Physical Sciences, University of Chinese Academy of Sciences, Beijing 100049, China
   D. L. Zhou zhoudl72@iphy.ac.cn Institute of Physics, Beijing National Laboratory for Condensed Matter Physics,
Chinese Academy of Sciences, Beijing 100190, China
School of Physical Sciences, University of Chinese Academy of Sciences, Beijing 100049, China
Abstract

Hamiltonian Learning is a process of recovering system Hamiltonian from measurements, which is a fundamental problem in quantum information processing. In this study, we investigate the problem of learning the symmetric Hamiltonian from its eigenstate. Inspired by the application of group theory in block diagonal secular determination, we have derived a method to determine the number of linearly independent equations about the Hamiltonian unknowns obtained from an eigenstate. This number corresponds to the degeneracy of the associated irreducible representation of the Hamiltonian symmetry group. To illustrate our approach, we examine the XXX Hamiltonian and the XXZ Hamiltonian. We first determine the Hamiltonian symmetry group, then work out the decomposition of irreducible representation, which serves as foundation for analyzing the uniqueness of recovered Hamiltonian. Our numerical findings consistently align with our theoretical analysis.

preprint: APS/123-QED

I introduction

Hamiltonian Learning (HL) refers to recovering the Hamiltonian of a quantum system, typically from observations of its steady state or dynamics. HL plays a pivotal role in quantum physics. In recent years, there has been a rapid development in quantum simulators and related quantum computing devices, including controllable trapped ion [1, 2, 3, 4] and superconducting quantum circuits [5, 6]. The exponential growth of noise with the size of quantum hardware has made HL an essential tool for verification and benchmarking [7, 8, 9, 10, 11, 12]. In the filed of condensed matter physics, HL aids in understanding the behavior of quantum material and may be utilized to explore new material systems [13, 14, 15, 16, 17, 18, 19].

One of the challenge in HL lies in determining when we can uniquely recover a Hamiltonian from its steady state. This question was initially raised and partially addressed by Qi and Ranard , and they present that the most of the generic local Hamiltonian can be recovered from measurements of a single eigenstate [20]. From the perspective of dimension counting, the space of kk-local Hamiltonian scales linearly with the system size nn, whereas the space of states scales exponentially with nn. As a result, it becomes feasible to recover local Hamiltonian from its single eigenstate. Qi and Ranard introduced the concept of “correlation matrix”, which successfully recovered local Hamiltonian from a single eigenstate.

Following Qi’s question, various methods for recovering the Hamiltonian from a steady state have been proposed [21, 22, 23]. Most of these methods aim to simplify the process of measuring the steady state, while ignoring the case when recovering the Hamiltonian from its steady state is not feasible. In fact, there exists critical chain length LcL_{c} in spin system with length LL for generic local Hamiltonian. When LL is smaller than LcL_{c}, we cannot recover Hamiltonian form its steady state. The value of LcL_{c} depends on the rank of the steady state and Hamiltonian model. In previous work, we utilize the energy eigen-value equations (EEE) to analytically determine the value of LcL_{c}, successfully applying this approach to models of generic local Hamiltonians [24]. Subsequently, we extended this investigation to degenerate steady states using the orthogonal space equations (OSE) method [25].

So far, we focused on the recoverability of a generic local Hamiltonian from its steady state, while many Hamiltonians arouse interests exhibit symmetries [26, 27]. Such as the Heisenberg spin chain models [28]. Symmetric Hamiltonians inherently entail fewer unknowns compared to generic ones. However, it doesn’t necessarily make them easier to recover. According to Noether’s theorem, there is a direct relationship between the Hamiltonian symmetry and the conserved quantities in the associated physical system. It directly reduces the degrees of freedom of associated eigenstates [29]. In other words, the space dimension of eigenstate is reduced, which decreases the number of linearly independent equations (LIE) that can be derived from an eigenstate.

To determine the number of the LIE obtained from an eigenstate of symmetric Hamiltonian, we introduce the block diagonalization of secular determination, which is a commonly used technique in group theory. We expand the EEE in a symmetrized basis, and analyze the repeating structure of linearly equations. We find that the number of LIE equals the degeneracy of the associated irreducible representation (IR) of the Hamiltonian symmetry group. In other words, if we know the symmetry group of a Hamiltonian, we can infer how much information is contained in its eigenstate. To verify our theoretical derivation, we perform simulations on the XXX and XXZ Hamiltonians. Given only the Hamiltonian’s symmetry group and its IRs, we are able to successfully predict the number of LIEs obtained from the eigenstate.

II framework

II.1 Problem setting

The specific form of HL can be reduced to determine the unknowns a\vec{a} in a local Hamiltonian

H=n=1Nanhn,H=\sum_{n=1}^{N}a_{n}h_{n}, (1)

where hnh_{n} is the Pauli operator that acts on kk continuously site.

In general, the algorithms of HL from steady state often can be written in the forms of homogeneous linear equations

Qx=0,Q\vec{x}=0, (2)

where x\vec{x} is the unknown vector for (a,E)(\vec{a},E), and EE is the eigenvalue of corresponding eigenstate, QQ is constraint matrix for unknowns x\vec{x}. Eq. (2) extracts information from measurements and can be varied in different algorithms. For the EEE and the OSE method, QQ is deduced from energy eigen-value equations. By calculating the number of LIE in Eq. (2), we can evaluate the degree to which a steady state characterizes a Hamiltonian and thus determine the recoverability of the Hamiltonian from its steady state.

We note that the rank of matrix QQ equals the number of LIE for x\vec{x}, which we denote as KK. The number of LIE for a\vec{a}, denoted as MM, is equal to K1K-1. In short, we have RankQ=K=M+1\operatorname{Rank}Q=K=M+1. Eq. (2) represents a system of homogeneous linear equations, such that the parameter of Hamiltonian can only be determined up to a linear factor α\alpha, where arecover=αatrue\vec{a}_{recover}=\alpha\vec{a}_{true}. As a consequence, when the value of MM reaches M=N1M=N-1, the Hamiltonian can be uniquely determined.

In this paper, we propose the first algorithm to calculate the number of LIE obtained from an eigenstate of symmetric Hamiltonian.

II.2 The symmetry group of Hamiltonian

The degeneracy of Hamiltonian’s energy level is intimately linked to its symmetry group. Supposing that Hamiltonian HH is invariant under the transformation operator SS, such that

SHS1=H.SHS^{-1}=H. (3)

If HH is invariant under transformation SS and SS^{\prime}, then it follows that HH also remains invariant under their composition SSS\cdot S^{\prime}. Therefore, all transformations satisfying (3) constitute the symmetry group of HH. Eq. (3) can also be written as

HS=HS.HS=HS. (4)

Now we consider an eigenstate of Hamiltonian HH, |ψ|\psi\rangle with eigenvalue EE. Applying the transformation operator SS to |ψ|\psi\rangle, the resulting state remains an eigenstate of HH,

H(S|ψ)=S(H|ψ)=E(S|ψ).H(S|\psi\rangle)=S(H|\psi\rangle)=E(S|\psi\rangle). (5)

Similarly, repeatedly applying SS on eigenstate S|ψS|\psi\rangle, the resulting state S2|ψS^{2}|\psi\rangle also remains an eigenstate of HH.Consequently, all states Sn|ψS^{n}|\psi\rangle, where n0n\in\mathbb{N}_{0} are eigenstates correspond to the same eigenvalue EE.

Representation theory plays a vital role in group theory. Here, we introduce two fundamental theorems concerning representations, which reveal the relevance between properties of Hamiltonian and its symmetry group representation[30, 31].

Theorem 1.

The eigenfunctions of the Hamiltonian HH with the same eigenvalues constitute a set of basis functions for the symmetry group GG of the Hamiltonian.

Theorem 2.

In the absence of accidental degeneracy, a group of eigenstates that are transformed according to an IR of group GG, belong to the same energy level.

Through the theorems above, it can be inferred that the degeneracy of the Hamiltonian levels equals the dimension of the IR of the symmetry group GG. This insight inspires a useful concept: If we determine the symmetry group of an unknown Hamiltonian, we can uncover information about the degeneracy of its energy levels and the transformations between degenerate eigenstates.

Now we ask: Is it possible to uncover Hamiltonian’s symmetry group without knowing its specific form? The answer is yes. In fact, we can determine under which transformations the Hamiltonian ansatz specified in Eq. (1) is invariant. As long as all terms hnh_{n} are invariant under certain transformations, the Hamiltonian HH will also be invariant under those transformations. In other words, the Hamiltonians under the same ansatz in Eq. (1) share the same symmetry group, resulting in consistent energy level degeneracy. This degeneracy, caused by symmetry, is referred to as intrinsic degeneracy. Mathematically, any symmetric transformation in this group is defined by

ShnS1=hn,n.Sh_{n}S^{-1}=h_{n},\;\forall n. (6)

We call the group as the symmetry group GG on Hamiltonian learning.

Next, we will explore the impact of this symmetry on Hamiltonian Learning.

II.3 The diagonalization of the Schodinger equation

Group theory can be utilized in simplifying the solution of Schodinger equations. In this subsection, we will introduce the application of group theory in the diagonalization of secular determination.

Supposing that Hamiltonian HH having group GG as its symmetry group. Starting with the Schodinger equation

H|ψ=E|ψH|\psi\rangle=E|\psi\rangle (7)

Expanding HH in the basis {hn}\{h_{n}\}, H=nanhnH=\sum_{n}a_{n}h_{n},

nanhn|ψ=E|ψ.\sum_{n}a_{n}h_{n}|\psi\rangle=E|\psi\rangle. (8)

Choosing a set of symmetrized basis {|ϕimp}\{|\phi_{im}^{p}\rangle\} for eigenstate |ψ|\psi\rangle, whose transformation is in accordance with IR of group GG. |ϕimp|\phi_{im}^{p}\rangle is the mm-th base of the pp-th IR of group GG, and ii is the index of the repeating IR. Expanding the eigenstate |ψ|\psi\rangle in the basis {|ϕimp}\{|\phi_{im}^{p}\rangle\}, and Eq. (2) can be written as

nanhnipmcimp|ϕimp=Eipmcimp|ϕimp.\sum_{n}a_{n}h_{n}\sum_{i}\sum_{p}\sum_{m}c_{im}^{p}|\phi_{im}^{p}\rangle=E\sum_{i}\sum_{p}\sum_{m}c_{im}^{p}|\phi_{im}^{p}\rangle. (9)

Taking the inner product of |ϕjlq|\phi_{jl}^{q}\rangle with the equation above

nanipmcimpϕjlq|hn|ϕimp\displaystyle\sum_{n}a_{n}\sum_{i}\sum_{p}\sum_{m}c_{im}^{p}\langle\phi_{jl}^{q}|h_{n}|\phi_{im}^{p}\rangle (10)
Eipmcimpϕjlq|ϕimp=0.\displaystyle-E\sum_{i}\sum_{p}\sum_{m}c_{im}^{p}\langle\phi_{jl}^{q}|\phi_{im}^{p}\rangle=0.

To solve the tedious equations above, we introduce the theorem of matrix elements for the invariant operator[32]:

Theorem 3 ( Theorem of matrix elements for the invariant operator).

If GG is the symmetry group of Hamiltonian H=nanhnH=\sum_{n}a_{n}h_{n}, and {ϕjlq}\{\phi_{jl}^{q}\} is the basis of IR for GG, then the matrix elements of hnh_{n} satisfy that

ϕjlq|hn|ϕimp=δpqδlmϕjμp|hn|ϕiμp,\langle\phi_{jl}^{q}|h_{n}|\phi_{im}^{p}\rangle=\delta_{pq}\delta_{lm}\langle\phi_{j\mu}^{p}|h_{n}|\phi_{i\mu}^{p}\rangle, (11)

where ϕjμp|hn|ϕiμp\langle\phi_{j\mu}^{p}|h_{n}|\phi_{i\mu}^{p}\rangle is independent of μ\mu.

According to Theorem 3, Eq. (10) becomes

nanicilqϕjlq|hn|ϕilqEcjlq=0,\sum_{n}a_{n}\sum_{i}c_{il}^{q}\langle\phi_{jl}^{q}|h_{n}|\phi_{il}^{q}\rangle-Ec_{jl}^{q}=0, (12)

which holds for any {q,j,l}\{q,j,l\}. Noting that coefficient cilq/cjlqc_{il}^{q}/c_{jl}^{q} is independent of ll. Eq. (12) can be written as

icilqcjlqϕjlq|H|ϕilqE=0,\sum_{i}\frac{c_{il}^{q}}{c_{jl}^{q}}\langle\phi_{jl}^{q}|H|\phi_{il}^{q}\rangle-E=0, (13)

which we see as a linear equation for the unknowns {cilq/cjlq}i\{c_{il}^{q}/c_{jl}^{q}\}_{i}. Sinceϕjlq|H|ϕilq\langle\phi_{jl}^{q}|H|\phi_{il}^{q}\rangle is independent of ll, {cilq/cjlq}=αij\{c_{il}^{q}/c_{jl}^{q}\}=\alpha_{ij} is also independent of ll. Consequently, Eq. (12) is rewritten as

naniαijϕjlq|hn|ϕilqE=0,\sum_{n}a_{n}\sum_{i}\alpha_{ij}\langle\phi_{jl}^{q}|h_{n}|\phi_{il}^{q}\rangle-E=0, (14)

which reveals that once q,jq,j are fixed, Eqs. (12) are equivalent for all ll. Therefore Eqs. (12) can be divided into series of subsystem of linear equations, which are composed of repeating unit of equations. Noting that Eqs. (14) are complex equations for generic Hamiltonian. Here we consider a symmetric Hamiltonian whose basis {hn}\{h_{n}\} can be written as a real matrix, making Eqs. (14) real equations.

The number of LIE in each unit depends on the degeneracy of IR, and repeating times of units depends on the dimension of IR. An example of such structure of linear equations with 88 base functions which contains one 4-dimensional IR and two degenerate 2-dimensional IR is shown in Fig. 1.

Refer to caption
Figure 1: Structure of system of linear equations for basis {|ϕjlq}\{|\phi_{jl}^{q}\rangle\} with 8 base functions, containing a 44-dimensional IR D1D^{1} and two degenerate 22-dimensional IR D2D^{2}.

So far, we have shown the repeating structure of system of linear equations and given the possible number of LIE obtained from a eigenstate of Hamiltonian. However, while considering a specific eigenstate, some of the equations in Eqs. (12) could be trivial [33].

Theorem 4.

Eigen-states with the same eigen-value furnish an IR of Hamiltonian symmetry group.

Eigenstate |ψ|\psi\rangle lies in a subspace spanned by the basis of a IR of GG, that is to say, every eigenstate has a corresponding qq. Eqs. (12) are nontrivial only when the value of qq is conform to |ψ|\psi\rangle. Consequently, the number of LIE obtained from an eigenstate is

M=mq1,M=m_{q}-1, (15)

where mqm_{q} is the degeneracy of IR qq in the Hilbert space.

III examples

III.1 The XXX Spin Chain

Considering an 1-dimensional spin chain of LL sites, with a spin 12\frac{1}{2} particle at each site. The Hamiltonian of this model can be written as

HXXX=l=1L1Jl(σlxσl+1x+σlyσl+1y+σlzσl+1z),H_{XXX}=\sum_{l=1}^{L-1}J_{l}(\sigma_{l}^{x}\sigma_{l+1}^{x}+\sigma_{l}^{y}\sigma_{l+1}^{y}+\sigma_{l}^{z}\sigma_{l+1}^{z}), (16)

where

σli=𝕀𝕀σi𝕀𝕀,\sigma_{l}^{i}=\mathbb{I}\otimes\cdots\otimes\mathbb{I}\otimes\sigma^{i}\otimes\mathbb{I}\cdots\otimes\mathbb{I}, (17)

σi\sigma^{i} is the ii’th Pauli matrix, and 𝕀\mathbb{I} is the 2×22\times 2 identity matrix.

XXX Hamiltonian has time reversal and SU(2) symmetry. Its symmetry group is composed of

M={R}+{TR},M=\{R\}+\{TR\}, (18)

where TT is the time reversal operator, and SU(2)={R}SU(2)=\{R\} and {TR}\{TR\} is a set of anti-unitary operators. The representation of non-unitary group MM is denoted as co-representation.

To determine whether time-reversal symmetry will cause a doubling of energy degeneracy, it’s instructive to study the co-representation DΓD\Gamma of the symmetry group MM [34]. DΓD\Gamma can be derived from an IR 𝚪R\mathbf{\Gamma}_{R} of subgroup {R}\{R\}, whose specific forms are illustrated in appendix. A. The dimension of DΓD\Gamma is doubled compared to the basis of 𝚪R\mathbf{\Gamma}_{R}. Without the time reversal symmetry, the energy level degeneracy of Hamiltonian is determined by the dimension of the IR of the group {R}\{R\}. If the co-representation DΓD\Gamma is reducible, the degeneracy will not be doubled. However, if DΓD\Gamma is irreducible, then the degeneracy will be doubled.

The co-representation DΓD\Gamma of group MM is reducible and the degeneracy will not be doubled (see appendix. B). Therefore the dimension of IR of MM and SU(2) group is consistent. TABLE. 1 shows the decomposition of the SU(2) symmetry of the LL-site XXX Hamiltonian into a series of IRs.

LL Decomposition of representation
2 𝟐2=𝟑𝟏\mathbf{2}^{\otimes 2}=\mathbf{3}\oplus\mathbf{1}
3 𝟐3=𝟒(2×𝟐)\mathbf{2}^{\otimes 3}=\mathbf{4}\oplus(2\times\mathbf{2})
4 𝟐4=𝟓(3×𝟑)(2×𝟏)\mathbf{2}^{\otimes 4}=\mathbf{5}\oplus(3\times\mathbf{3})\oplus(2\times\mathbf{1})
5 𝟐5=𝟔(4×𝟒)(5×𝟐)\mathbf{2}^{\otimes 5}=\mathbf{6}\oplus(4\times\mathbf{4})\oplus(5\times\mathbf{2})
6 𝟐6=𝟕(5×𝟓)(9×𝟑)(5×𝟏)\mathbf{2}^{\otimes 6}=\mathbf{7}\oplus(5\times\mathbf{5})\oplus(9\times\mathbf{3})\oplus(5\times\mathbf{1})
7 𝟐7=𝟖(6×𝟔)(14×𝟒)(14×𝟐)\mathbf{2}^{\otimes 7}=\mathbf{8}\oplus(6\times\mathbf{6})\oplus(14\times\mathbf{4})\oplus(14\times\mathbf{2})
Table 1: Dimensions of SU(2) IRs of LL-site XXX Hamiltonian.

Up to now, we have calculated the dimensions of IR of the symmetry group MM. Next, we will leverage the properties of these IRs to determine how much information can be extracted from an eigenstate of the XXX Hamiltonian. In other words, we will explore the number of linearly independent equations that can be deduced from a single eigenstate.

The number of LIE obtained from an eigenstate corresponds to the degeneracy of its associated irreducible subspace. For example, when the chain length L=3L=3, the Hilbert space is segmented into one subspace of dimension 4, and two subspaces of dimension 2, resulting in energy level degeneracies of 4, 2 and 2, respectively. For eigenstates lie in the 4-dimensional subspace, the degeneracy of the corresponding IR is 1. Thus we can only derive a single LIE from it. Conversely, eigenstates situated in the 2-dimensional subspaces have a degeneracy of 2, allowing us to obtain two LIEs. This elucidates that determining which subspace an eigenstate lies in enables us to ascertain how much information about the Hamiltonian it encodes.

To determine the subspace occupancy of an eigenstate within the formalism of angular momentum, one often utilizes ladder operators:

S±=Sx±iSy.S^{\pm}=S^{x}\pm iS^{y}. (19)

Upon applying S±S^{\pm} to an eigenstate |m|m\rangle of SzS^{z} with eigenvalue mm, the resulting state S±|mS^{\pm}|m\rangle remains an eigenstate of SzS^{z} with eigenvalue m±1m\pm 1.

In the context of a finite spin chain, the irreducible subspace is finite. Starting from an eigenstate of the XXX Hamiltonian, one can apply the ladder operators a finite number of times until it reaches 0. Within the irreducible subspace labeled by jj, the maximum eigenvalue of SzS^{z} is +j+j, the minimum is j-j. This can be expressed as

S±|±j=0.S^{\pm}|\pm j\rangle=0. (20)

The space that the ladder operators acting on, is exactly an irreducible subspace with dimension 2j+12j+1. All vectors within this subspace can be connected through the action of the ladder operators. Therefore, when given an eigenstate, by applying ladder operators, we can traverse its subspace and thereby determine where it lies in.

We perform simulations on recovering the Hamiltonian HXXXH_{XXX} from a single eigenstate. The results for chain length L=3,4L=3,4 are shown in TABLE. 2 and 3, respectively. We present the recovery result for all eigenstate, where the symbol ‘O’ indicates the success of HL and ‘X’ signifies a failure. We also record the energy level degeneracy (gg), the dimension of IR (ll), the degeneracy of IR (mm), and the number of LIEs for unknowns a\vec{a} of the Hamiltonian (MM).

eigenstate |ψ0|\psi_{0}\rangle |ψ1|\psi_{1}\rangle |ψ2|\psi_{2}\rangle |ψ3|\psi_{3}\rangle |ψ4|\psi_{4}\rangle |ψ5|\psi_{5}\rangle |ψ6|\psi_{6}\rangle |ψ7|\psi_{7}\rangle
gg 2 2 2 2 4 4 4 4
ll 2 2 2 2 4 4 4 4
mm 2 2 2 2 1 1 1 1
MM 1 1 1 1 0 0 0 0
success? O O O O X X X X
Table 2: Recovery of 3-site XXX Hamiltonian from its eigenstate.
eigenstate gg ll mm MM success?
|ψ0|\psi_{0}\rangle 3 3 3 2 O
|ψ1|\psi_{1}\rangle 3 3 3 2 O
|ψ2|\psi_{2}\rangle 3 3 3 2 O
|ψ3|\psi_{3}\rangle 1 1 2 1 X
|ψ4|\psi_{4}\rangle 3 3 3 2 O
|ψ5|\psi_{5}\rangle 3 3 3 2 O
|ψ6|\psi_{6}\rangle 3 3 3 2 O
|ψ7|\psi_{7}\rangle 5 5 1 0 X
|ψ8|\psi_{8}\rangle 5 5 1 0 X
|ψ9|\psi_{9}\rangle 5 5 1 0 X
|ψ10|\psi_{10}\rangle 5 5 1 0 X
|ψ11|\psi_{11}\rangle 5 5 1 0 X
|ψ12|\psi_{12}\rangle 1 1 2 1 X
|ψ13|\psi_{13}\rangle 3 3 3 2 O
|ψ14|\psi_{14}\rangle 3 3 3 2 O
|ψ15|\psi_{15}\rangle 3 3 3 2 O
Table 3:  Recovery of 4-site XXX Hamiltonian from its eigenstate.

When the chain length L=3L=3, the Hamiltonian has two unknown parameters. Its Hilbert space is partitioned into one subspace with dimension 4 and two subspaces with dimension 2. When (1) g=2g=2, m=2m=2, M=1M=1, the Hamiltonian can be uniquely recovered, (2) g=4g=4, m=1m=1, M=0M=0, and the Hamiltonian cannot be uniquely recovered. These results are consistent with Equation (15), which relates the number of LIEs MM to the IR degeneracy mm.

When L=3L=3 and g=4g=4, the dimension of IR is 4, labeled by quantum number j=32j=\frac{3}{2}. We can express the XXX Hamiltonian HXXXH_{XXX} using the ladder operators σl±=σlx±iσly\sigma_{l}^{\pm}=\sigma_{l}^{x}\pm i\sigma_{l}^{y} acting on the ll-th site:

HXXX=l=1L1Jl(σlzσl+1z+σl+σl+σlσl+).H_{XXX}=\sum_{l=1}^{L-1}J_{l}(\sigma_{l}^{z}\sigma_{l+1}^{z}+\sigma_{l}^{+}\sigma_{l}^{-}+\sigma_{l}^{-}\sigma_{l}^{+}). (21)

From this expression, we can see that the states ||\uparrow\uparrow\uparrow\rangle and ||\downarrow\downarrow\downarrow\rangle are eigenstates of HXXXH_{XXX}, with all spins either up or down in the zz-direction. Additionally, since the operator SS^{-} commutes with HXXXH_{XXX}, i.e., [S,HXXX]=0[S^{-},H_{XXX}]=0, applying SS^{-} to the eigenstate ||\uparrow\uparrow\uparrow\rangle results in another eigenstate of HXXXH_{XXX}.

S|=13(|+|+|),S^{-}|\uparrow\uparrow\uparrow\rangle=\frac{1}{\sqrt{3}}(|\downarrow\uparrow\uparrow\rangle+|\uparrow\downarrow\uparrow\rangle+|\uparrow\uparrow\downarrow\rangle), (22)

repeatedly acting SS^{-}, until it reaches 0

(S)2|=13(|+|+|),(S^{-})^{2}|\uparrow\uparrow\uparrow\rangle=\frac{1}{\sqrt{3}}(|\downarrow\downarrow\uparrow\rangle+|\downarrow\uparrow\downarrow\rangle+|\uparrow\downarrow\downarrow\rangle), (23a)
(S)3|=13(|+|+|),(S^{-})^{3}|\uparrow\uparrow\uparrow\rangle=\frac{1}{\sqrt{3}}(|\downarrow\downarrow\downarrow\rangle+|\downarrow\downarrow\downarrow\rangle+|\downarrow\downarrow\downarrow\rangle), (23b)
(S)4|=0.(S^{-})^{4}|\uparrow\uparrow\uparrow\rangle=0. (23c)

From this example, we note that for any 3-site HXXXH_{XXX} Hamiltonian, the following states are degenerate eigenstates, regardless of the specific model parameters: ||\uparrow\uparrow\uparrow\rangle, ||\downarrow\downarrow\downarrow\rangle, 13(|+|+|)\frac{1}{\sqrt{3}}(|\downarrow\downarrow\uparrow\rangle+|\downarrow\uparrow\downarrow\rangle+|\uparrow\downarrow\downarrow\rangle) and 13(|+|+|)\frac{1}{\sqrt{3}}(|\downarrow\downarrow\downarrow\rangle+|\downarrow\downarrow\downarrow\rangle+|\downarrow\downarrow\downarrow\rangle). These four of degenerate eigenstates can be connected through the action of the ladder operators, but they do not provide any information about the Hamiltonian parameters. Therefore, the number of LIE obtained from these eigenstate is 0.

When L=4L=4, for all eigenstates, the relationship between the degeneracy of the IR mm and number of LIE MM is given by M=m1M=m-1, as shown in TABLE. 3. When M=N1M=N-1, the Hamiltonian HXXXH_{XXX} can be uniquely recovered. Here, we point out that, under the case when the value of MM exceeds the value of Hamiltonian unknowns NN. The number of LIE is given by

M=min{m1,N1}.M=\min\{m-1,N-1\}. (24)

III.2 The XXZ Spin Chain

Now we consider 1-dimensional spin-12\frac{1}{2} chain with XXZ Hamiltonian give by

HXXZ=l=1L1Jlzσlzσl+1z+Jlxy(σlxσl+1x+σlyσl+1y).H_{XXZ}=\sum_{l=1}^{L-1}J_{l}^{z}\sigma_{l}^{z}\sigma_{l+1}^{z}+J_{l}^{xy}(\sigma_{l}^{x}\sigma_{l+1}^{x}+\sigma_{l}^{y}\sigma_{l+1}^{y}). (25)

The system described by XXZ Hamiltonian has U(1) and time reversal symmetry, whose symmetry group can be written as

P={U}+{TU},P=\{U\}+\{TU\}, (26)

where {U}\{U\} and TT represent U(1) group and time reversal operator, respectively.

The representation DΓD\Gamma of the non-unitary group PP is denoted as co-representation. The degeneracy of Hamiltonian energy level is determined by the reducibility of DΓD\Gamma. In appendix. C, we show that when Sz=0S^{z}=0, DΓD\Gamma is reducible, and the corresponding energy level will not be doubled; when Sz0S^{z}\neq 0, DΓD\Gamma is irreducible, and the corresponding energy level will be doubled.

LL Decomposition of representation
2 𝟐2=𝟏0,1𝟏0,1𝟐±1\mathbf{2}^{\otimes 2}=\mathbf{1}^{0,1}\oplus\mathbf{1}^{0,-1}\oplus\mathbf{2}^{\pm 1}
3 𝟐3=𝟐±32(3×𝟐±12)\mathbf{2}^{\otimes 3}=\mathbf{2}^{\pm\frac{3}{2}}\oplus(3\times\mathbf{2}^{\pm\frac{1}{2}})
4 𝟐4=(3×𝟏0,1)(3×𝟏0,1)(4×𝟐±1)𝟐±2\mathbf{2}^{\otimes 4}=(3\times\mathbf{1}^{0,1})\oplus(3\times\mathbf{1}^{0,-1})\oplus(4\times\mathbf{2}^{\pm 1})\oplus\mathbf{2}^{\pm 2}
5 𝟐5=𝟐±52(5×𝟐±32)(10×𝟐±12)\mathbf{2}^{\otimes 5}=\mathbf{2}^{\pm\frac{5}{2}}\oplus(5\times\mathbf{2}^{\pm\frac{3}{2}})\oplus(10\times\mathbf{2}^{\pm\frac{1}{2}})
6 𝟐6=(10×𝟏0,1)(10×𝟏0,1)(15×𝟐±1)6×𝟐±2𝟐±3\mathbf{2}^{\otimes 6}=(10\times\mathbf{1}^{0,1})\oplus(10\times\mathbf{1}^{0,-1})\oplus(15\times\mathbf{2}^{\pm 1})\oplus 6\times\mathbf{2}^{\pm 2}\oplus\mathbf{2}^{\pm 3}
7 𝟐7=𝟐±72(7×𝟐±52)(21×𝟐±32)(35×𝟐±12)\mathbf{2}^{\otimes 7}=\mathbf{2}^{\pm\frac{7}{2}}\oplus(7\times\mathbf{2}^{\pm\frac{5}{2}})\oplus(21\times\mathbf{2}^{\pm\frac{3}{2}})\oplus(35\times\mathbf{2}^{\pm\frac{1}{2}})
Table 4:  Decomposition of the U(1)+T symmetry of the LL-site XXZ Heisenberg model into a series of fundamental, IRs.

TABLE.  4 shows the decomposition of the symmetry group of the XXZ Hamiltonian into a series of IRs, whose degeneracy is dependent on the value of |Sz||S^{z}|.This means that for a given eigenstate of the XXZ Hamiltonian, the number of linearly independent eigenstates (LIE) is determined by the value of |Sz||S^{z}|. Simulations of HL are performed on HXXZH_{XXZ}, the number of LIE as a function of SzS^{z} for chain lengths ranging from 2 to 7 are presented in Table 5.

LL SzS^{z} 0 ±12\pm\frac{1}{2} ±1\pm 1 ±32\pm\frac{3}{2} ±2\pm 2 ±52\pm\frac{5}{2} ±3\pm 3 ±72\pm\frac{7}{2} N
2 0 / 0 / / / / / 2
3 / 2 / 0 / / / / 4
4 2 / 3 / 0 / / / 6
5 / 7 / 4 / 0 / / 8
6 9 / 9 / 5 / 0 / 10
7 / 11 / 11 / 6 / 0 12
Table 5:  Recovery of XXZ Hamiltonian from its eigenstate. The number of LIE as a function of SzS^{z} for chain lengths ranging from 2 to 7.

When the degeneracy mm of the IR is smaller than the unknowns NN, the number of LIE MM equals m1m-1. In this case, the Hamiltonian cannot be fully recovered. When mm is equal to or larger than NN, MM equals to N1N-1, it succeed to recover Hamiltonian. To sum up, the number of LIE is determined by the degeneracy of IR of the corresponding eigenstate or the number of unknowns for the first and the second situation:

M=min{m1,N1}.M=\min\{m-1,N-1\}. (27)

IV conclusions

In this paper, we investigate the problem of when a local Hamiltonian can be uniquely recovered from its eigenstate, which extends the previous work to the realm of symmetric Hamiltonian. Our work shows that the number of LIEs derived from an eigenstate corresponds to the degeneracy of IR of Hamiltonian symmetry group. An open question remains regarding the potential extension of our results to a broader range of Hamiltonians, such as those featuring all-to-all two-body interactions, or those of indistinguishable particles. Additionally, we ask whether our findings are applicable to systems possessing spatial symmetries, such as crystallographic point groups that are intricately linked to the symmetries of crystals. Addressing these inquiries is pivotal for the practical implementation of HL in the exploration of novel quantum materials.

V acknowledgement

This work is supported by National Key Research and Development Program of China (Grant No. 2021YFA0718302 and No. 2021YFA1402104), National Natural Science Foundation of China (Grants No. 12075310).

References

  • Blatt and Roos [2011] R. Blatt and C. Roos, Nature Physics 8, 277 (2011).
  • Webb et al. [2018] A. E. Webb, S. C. Webster, S. Collingbourne, D. Bretaud, A. M. Lawrence, S. Weidt, F. Mintert, and W. K. Hensinger, Phys. Rev. Lett. 121, 180501 (2018).
  • Ballance et al. [2016] C. J. Ballance, T. P. Harty, N. M. Linke, M. A. Sepiol, and D. M. Lucas, Phys. Rev. Lett. 117, 060504 (2016).
  • Cirac and Zoller [1995] J. I. Cirac and P. Zoller, Phys. Rev. Lett. 74, 4091 (1995).
  • Barends et al. [2013] R. Barends, J. Kelly, A. Megrant, D. Sank, E. Jeffrey, Y. Chen, Y. Yin, B. Chiaro, J. Mutus, C. Neill, P. O’Malley, P. Roushan, J. Wenner, T. C. White, A. N. Cleland, and J. M. Martinis, Phys. Rev. Lett. 111, 080502 (2013).
  • Barends et al. [2014] R. Barends, J. Kelly, A. Megrant, A. Veitia, D. Sank, E. Jeffrey, T. C. White, J. Mutus, A. G. Fowler, B. Campbell, Y. Chen, Z. Chen, B. Chiaro, A. Dunsworth, C. Neill, P. O’Malley, P. Roushan, A. Vainsencher, J. Wenner, A. N. Korotkov, A. N. Cleland, and J. M. Martinis, Nature 508, 500 (2014).
  • Pastori et al. [2022] L. Pastori, T. Olsacher, C. Kokail, and P. Zoller, PRX Quantum 3, 030324 (2022).
  • Ben Av et al. [2020] E. Ben Av, Y. Shapira, N. Akerman, and R. Ozeri, Phys. Rev. A 101, 062305 (2020).
  • Wang et al. [2017] J. Wang, S. Paesani, R. Santagati, S. Knauer, A. A. Gentile, N. Wiebe, M. Petruzzella, J. L. O’brien, J. G. Rarity, A. Laing, et al., Nature Physics 13, 551 (2017).
  • Motta et al. [2020] M. Motta, C. Sun, A. T. Tan, M. J. O’Rourke, E. Ye, A. J. Minnich, F. G. Brandão, and G. K.-L. Chan, Nature Physics 16, 205 (2020).
  • Wiebe et al. [2014] N. Wiebe, C. Granade, C. Ferrie, and D. G. Cory, Physical review letters 112, 190501 (2014).
  • Holzäpfel et al. [2015] M. Holzäpfel, T. Baumgratz, M. Cramer, and M. B. Plenio, Phys. Rev. A 91, 042129 (2015).
  • Zhu et al. [2019] W. Zhu, Z. Huang, and Y.-C. He, Phys. Rev. B 99, 235109 (2019).
  • Huang et al. [2023] H.-Y. Huang, Y. Tong, D. Fang, and Y. Su, Phys. Rev. Lett. 130, 200403 (2023).
  • Anshu et al. [2021] A. Anshu, S. Arunachalam, T. Kuwahara, and M. Soleimanifar, Nature Physics 17, 931 (2021).
  • Shabani et al. [2011] A. Shabani, M. Mohseni, S. Lloyd, R. L. Kosut, and H. Rabitz, Physical Review A 84, 012107 (2011).
  • Burgarth et al. [2009] D. Burgarth, K. Maruyama, and F. Nori, Phys. Rev. A 79, 020305 (2009).
  • Rath et al. [2021] A. Rath, R. van Bijnen, A. Elben, P. Zoller, and B. Vermersch, Phys. Rev. Lett. 127, 200503 (2021).
  • Anshu et al. [2020] A. Anshu, S. Arunachalam, T. Kuwahara, and M. Soleimanifar, in 2020 IEEE 61st Annual Symposium on Foundations of Computer Science (FOCS) (2020) pp. 685–691.
  • Qi and Ranard [2019] X.-L. Qi and D. Ranard, Quantum 3, 159 (2019).
  • Chertkov and Clark [2018] E. Chertkov and B. K. Clark, Phys. Rev. X 8, 031029 (2018).
  • Bairey et al. [2019] E. Bairey, I. Arad, and N. H. Lindner, Phys. Rev. Lett. 122, 020504 (2019).
  • Hou et al. [2020] S.-Y. Hou, N. Cao, S. Lu, Y. Shen, Y.-T. Poon, and B. Zeng, New Journal of Physics 22, 083088 (2020).
  • Zhou and Zhou [2022] J. Zhou and D. L. Zhou, Phys. Rev. A 105, 012615 (2022).
  • Zhou and Zhou [2024] J. Zhou and D. Zhou, Physics Letters A 493, 129279 (2024).
  • Gross [1996] D. Gross, Proceedings of the National Academy of Sciences 93, 14256 (1996)https://www.pnas.org/doi/pdf/10.1073/pnas.93.25.14256 .
  • LaBorde and Wilde [2022] M. L. LaBorde and M. M. Wilde, Phys. Rev. Lett. 129, 160503 (2022).
  • Joel et al. [2013] K. Joel, D. Kollmar, and L. F. Santos, AMERICAN JOURNAL OF PHYSICS 81, 450 (2013).
  • Kosmann-Schwarzbach et al. [2011] Y. Kosmann-Schwarzbach, B. E. Schwarzbach, and Y. Kosmann-Schwarzbach, The Noether Theorems (Springer, 2011).
  • Xu and Ka [2016] W. Xu and X. Ka, Group theory and its applications in solid state physics [in Chinese] (Higher Education Press, 2016).
  • Burns [1977] G. Burns, in Introduction to Group Theory with Applications, Materials Science and Technology, edited by G. Burns (Academic Press, 1977) pp. 125–155.
  • Cornwell [1997] J. F. Cornwell, Group theory in physics: An introduction (Academic press, 1997) pp. 65–91.
  • Zee [2016] A. Zee, Group theory in a nutshell for physicists (Princeton University Press, 2016).
  • Jacobs [2005] P. W. Jacobs, Group theory with applications in chemical physics (Cambridge University Press, 2005) pp. 252–264.
  • El-Batanouny and Wooten [2008] M. El-Batanouny and F. Wooten, Symmetry and condensed matter physics: a computational approach (Cambridge University Press, 2008) pp. 452–453.

Appendix A Co-representation of group containing anti-unitary elements

Considering a non-unitary group QQ that composes half of the anti-unitary elements

Q={S}+{AS},Q=\{S\}+\{AS\}, (28)

where {S}\{S\} is a unitary subgroup and AA is an anti-unitary operator. The representation of such group is called co-representation. The co-representation can be educed from an IR 𝚪S\mathbf{\Gamma}_{S} of unitary subgroup {S}\{S\}

𝐃(S)=(𝚪(S)00𝚪(A1SA)),S{S},\mathbf{D}(S)=\begin{pmatrix}\mathbf{\Gamma}(S)&0\\ 0&\mathbf{\Gamma}(A^{-1}SA)^{*}\end{pmatrix},S\in\{S\}, (29a)
𝐃(B)=(0𝚪(BA)𝚪(A1B)0),B{AS}.\mathbf{D}(B)=\begin{pmatrix}0&\mathbf{\Gamma}(BA)\\ \mathbf{\Gamma}(A^{-1}B)^{*}&0\end{pmatrix},B\in\{AS\}. (29b)

This co-representation is denoted as DΓD\Gamma, whose representation matrix 𝐃\mathbf{D} is unitary. Since DΓD\Gamma is educed from IR 𝚪S\mathbf{\Gamma}_{S}, its reducibility is directly related to 𝚪S\mathbf{\Gamma}_{S} and can be divided into three conditions:

  1. (1)

    If 𝚪(S)=𝐂𝚪(A1SA)𝐂1\mathbf{\Gamma}(S)=\mathbf{C}\mathbf{\Gamma}(A^{-1}SA)^{*}\mathbf{C}^{-1}, and 𝐂𝐂=𝚪(A2)\mathbf{C}\mathbf{C}^{*}=\mathbf{\Gamma}(A^{2}), then DΓD\Gamma is reducible and the degeneracy will not be doubled,

  2. (2)

    If 𝚪(S)=𝐂𝚪(A1SA)𝐂1\mathbf{\Gamma}(S)=\mathbf{C}\mathbf{\Gamma}(A^{-1}SA)^{*}\mathbf{C}^{-1}, and 𝐂𝐂=𝚪(A2)\mathbf{C}\mathbf{C}^{*}=-\mathbf{\Gamma}(A^{2}), then DΓD\Gamma is irreducible and the degeneracy will be doubled,

  3. (3)

    If two IR 𝚪S\mathbf{\Gamma}_{S} and 𝚪S\mathbf{\Gamma}_{S}^{*} of subgroup {S}\{S\} are inequivalent, then DΓD\Gamma is irreducible and the degeneracy will be doubled.

Character of representation 𝚪S\mathbf{\Gamma}_{S} can be utilized to distinguish these three cases. Supposing that χ\chi is the character of representation 𝚪S\mathbf{\Gamma}_{S}, then

B{AS}χ(B2)={=+gs,𝚪S in case (1)=gs,𝚪S in case (2) = 0,𝚪S in case (3) \sum_{B\in\{AS\}}\chi(B^{2})=\left\{\begin{aligned} =&+g_{s},&\mathbf{\Gamma}_{S}\text{ in case (1)}\\ =&-g_{s},&\mathbf{\Gamma}_{S}\text{ in case (2) }\\ =&\ \ 0,&\mathbf{\Gamma}_{S}\text{ in case (3) }\end{aligned}\right. (30)

where gsg_{s} is the rank of subgroup {S}\{S\}. Through co-representation of Hamiltonian symmetry group, we can educe the irreducible subspace of the system’s Hilbert space and thus the energy level degeneracy.

Appendix B The XXX spin chain

We will first show that the XXX Hamiltonian is invariant under the time reversal transformation. The time reversal is represented by an antiunitary operator

T=UK,T=UK, (31)

where KK is the complex conjugate operator and UU is an unitary operator. The spin angular momentum is transformed in the way

TσxT1=σx,TσyT1=σy,TσzT1=σz.T\sigma^{x}T^{-1}=-\sigma^{x},\ T\sigma^{y}T^{-1}=-\sigma^{y},\ T\sigma^{z}T^{-1}=-\sigma^{z}. (32)

We take the definition of TT for a single spin as

T=iσyK.T=i\sigma^{y}K. (33)

For a system contains LL spins, we choose

T=(iσy)LK.T=(i\sigma^{y})^{\otimes L}K. (34)

It can be verified that HXXXH_{XXX} is invariant under the rime reversal transformation

THXXXT1=HXXX.TH_{XXX}T^{-1}=H_{XXX}. (35)

We now show that the XXX Hamiltonian has SU(2) symmetry by confirming that it commutes with the total spin operator

Si=l=1Lσli,i=x,y,z.S^{i}=\sum_{l=1}^{L}\sigma_{l}^{i},\ i=x,y,z. (36)

It can be checked that

[H,Sx]=[H,Sy]=[H,Sz]=0.[H,S^{x}]=[H,S^{y}]=[H,S^{z}]=0. (37)

The spin operators form a SU(2) algebra and consequently the XXX spin chain has SU(2) as a symmetry group.

Each Lie group has a corresponding Lie algebra, the elements of the group can be constructed using the exponential mapping from the algebra elements. Therefore the elements of the SU(2) group can be written as

R(𝐧^,ω)=eiω𝐧^𝐒=eiω(nxSx+nySy+nzSz),R(\hat{\mathbf{n}},\omega)=e^{-i\omega\hat{\mathbf{n}}\cdot\vec{\mathbf{S}}}=e^{-i\omega(n_{x}S^{x}+n_{y}S^{y}+n_{z}S^{z})}, (38)

which describes the state transformation corresponding to the rotation with angle ω\omega around the axis n^\hat{n}.

So far, we have shown that the XXX Hamiltonian has time reversal and SU(2) symmetry. Thus its symmetry group is composed of

M={R}+{TR},M=\{R\}+\{TR\}, (39)

where TT is the time reversal operator, and SU(2)={R}SU(2)=\{R\}. Note that {TR}\{TR\} is a set of anti-unitary operators. Time reversal symmetry may cause the doubling of energy degeneracy, which is distinguished by Eq. (30). We first calculate the left-hand-side of Eq. (30),

B{TR}χ(B2)=\displaystyle\sum_{B\in\{TR\}}\chi(B^{2})= B{TR}χ(TRTR)\displaystyle\sum_{B\in\{TR\}}\chi(TRTR) (40)
=\displaystyle= R{R}χ(T2)χ(T1RTR)\displaystyle\sum_{R\in\{R\}}\chi(T^{2})\chi(T^{-1}RTR)
=\displaystyle= χ(T2)R{R}χ(R2).\displaystyle\chi(T^{2})\sum_{R\in\{R\}}\chi(R^{2}).

In a finite group, the group function averages over the group elements. When this group function is extended to a Lie group, it becomes an integral of the group function over the group elements. Eq. (40) becomes

B{TR}χ(B2)=χ(T2)R{R}χ(R2)𝑑R.\sum_{B\in\{TR\}}\chi(B^{2})=\chi(T^{2})\int_{R\in\{R\}}\chi(R^{2})dR. (41)

As is known that the IRs of SU(2), 𝚪j\mathbf{\Gamma}^{j} are labeled by jj, where j=0,1/2,1,3/2,j=0,1/2,1,3/2,\cdots, whose dimension is 2j+12j+1. The characters of the representation 𝚪j\mathbf{\Gamma}^{j} of an arbitrary group element R(𝐧^,ω)R(\hat{\mathbf{n}},\omega) is

χj(R)=sin[(j+1/2)ω]sin(ω/2).\chi^{j}(R)=\frac{\sin[(j+1/2)\omega]}{\sin(\omega/2)}. (42)

We have [R(𝐧^,ω)]2=R(𝐧^,2ω)[R(\hat{\mathbf{n}},\omega)]^{2}=R(\hat{\mathbf{n}},2\omega), such that

χj(R2)=sin[(2j+1)ω]sin(ω).\chi^{j}(R^{2})=\frac{\sin[(2j+1)\omega]}{\sin(\omega)}. (43)

The integration over SU(2) is thus [35]

B{TR}χ(B2)=\displaystyle\sum_{B\in\{TR\}}\chi(B^{2})= χ(T2)1π02πsin[(2j+1)ω]sin(ω)sin2(ω2)𝑑ω.\displaystyle\chi(T^{2})\cdot\frac{1}{\pi}\int_{0}^{2\pi}\frac{\sin[(2j+1)\omega]}{\sin(\omega)}\sin^{2}(\frac{\omega}{2})d\omega. (44)
=\displaystyle= (1)L1π(1)2jπ\displaystyle(-1)^{L}\cdot\frac{1}{\pi}(-1)^{2j}\pi
=\displaystyle= 1.\displaystyle 1.

Now it’s time to figure the rank of subgroup SU(2). The rank of the Lie algebra is known as the number of generators that can be simultaneously diagonalized [33]. The rank of SU(2) is thus 1: we can only diagonalize SzS_{z}. We can now conclude that

B{TR}χ(B2)=+gs,𝚪R in case (1),\sum_{B\in\{TR\}}\chi(B^{2})=+g_{s},\ \mathbf{\Gamma}_{R}\text{ in case (1)}, (45)

which means that the co-representation DΓD\Gamma is reducible and the degeneracy will not be doubled. Therefore the dimension of IR of MM and SU(2)SU(2) group is the same.

Appendix C the XXZ spin chain

Noting that HXXZH_{XXZ} commutes with total zz-spin operator SzS^{z}

[HXXZ,Sz]=0.[H_{XXZ},S^{z}]=0. (46)

Additionally, the XXZ Hamiltonian is invariant under time reversal TT,

THXXZT1=HXXZ.TH_{XXZ}T^{-1}=H_{XXZ}. (47)

Therefore, system of XXZ Hamiltonian possesses U(1) symmetry associated with the conservation of total zz-spin, as well as time reversal symmetry.

The U(1)U(1) group consists of all the one dimensional unitary operator

U(θ)=eiθ,θ[0,2π).U(\theta)=e^{i\theta},\theta\in[0,2\pi). (48)

The U(1) group is a compact abelian group, and its elements commute with each other. According to Schur’s theorem, all the IRs of a compact abelian group are one-dimensional. Therefore, the IR of U(1) symmetry is one-dimensional. Geometrically, the elements of the U(1) group can be visualized as points on a unit circle in the complex plane. In the context of the spin chain system, the U(1) symmetry can be expressed as

U(θ)=eiθSz,U(\theta)=e^{i\theta S^{z}}, (49)

where θ\theta is the continuous parameter, and SzS^{z} is the total zz-spin operator.

Thus the symmetry group PP of the XXZ Hamiltonian can be written as

P={U}+{TU},P=\{U\}+\{TU\}, (50)

where {U}\{U\} represents U(1) group, TT represents time reversal operator. Similar to the XXX Hamiltonian, co-representation can be utilized to characterize the representation of group PP. Next, we will investigate the reducibility of co-representation of group PP.

Recalling that there are three cases of criterion for reducibility of co-representation DΓD\Gamma. To determine which case it belongs, we first calculate T1U(θ)TT^{-1}U(\theta)T:

T1U(θ)T=U(θ).T^{-1}U(\theta)T=U(\theta). (51)

The co-representation DΓD\Gamma is deduced from IR of subgroup Γ(U)\Gamma(U), such that the reducibility of DΓD\Gamma is decided by the properties of Γ\Gamma. We first calculate Γ(U)\Gamma(U) and Γ(T1UT)\Gamma(T^{-1}UT)^{*} in the context of LL-site spin chain:

Γ(U)=Γ(eiθSz),\Gamma(U)=\Gamma(e^{i\theta S^{z}}), (52a)
Γ(T1UT)=Γ(U)=Γ(eiθSz).\Gamma(T^{-1}UT)^{*}=\Gamma(U)^{*}=\Gamma(e^{-i\theta S^{z}}). (52b)

Noting that the equivalence between Γ(U)\Gamma(U) and Γ(T1UT)\Gamma(T^{-1}UT)^{*} depends on the value of SzS^{z}. Therefore, we partition Hilbert space into subspaces by the value of SzS^{z}. This immediately leading to two cases:

  1. 1.

    When Sz=0S^{z}=0 (only exist for LL is even), Γ(U)=Γ(T1UT)=1\Gamma(U)=\Gamma(T^{-1}UT)^{*}=1, which is a 1-dim identity representation. The transformation operator is C=1C=1, with CC=Γ(T2)CC^{*}=\Gamma(T^{2}). As a result, DΓD\Gamma is reducible, and the degeneracy of the corresponding energy level will not be doubled.

  2. 2.

    When Sz0S^{z}\neq 0 (exist for LL is even or odd). Γ(U)\Gamma(U)is not equivalent to Γ(T1UT)\Gamma(T^{-1}UT)^{*}. Hence DΓD\Gamma is irreducible, and the degeneracy of the corresponding energy level will be doubled.

Through the discussion above, we have discovered that the time reversal symmetry connects certain subspaces with opposite values of SzS^{z}. In the absence of time reversal symmetry, when only the U(1) symmetry is present, all IRs are one-dimensional. However, with the introduction of time reversal symmetry, some of the subspaces become connected, forming two-dimensional IRs. In other words, when the time reversal operator TT acts on a vector in a subspace with Sz=mS^{z}=m (where m0m\neq 0), it results in a vector in the subspace with Sz=mS^{z}=-m. On the other hand, when TT acts on a vector in the subspace with Sz=0S^{z}=0, it leaves the vector unchanged within the same subspace.

Refer to caption
Refer to caption
Figure 2: TT operator acting on different space labeled by SzS^{z}.