Abstract
We study crosscap states in integrable field theories and spin chains in \(1+1\) dimensions. We derive an exact formula for overlaps between the crosscap state and any excited state in integrable field theories with diagonal scattering. We then compute the crosscap entropy, i.e. the overlap for the ground state, in some examples. In the examples we analyzed, the result turns out to decrease monotonically along the renormalization group flow except in cases where the discrete symmetry is spontaneously broken in the infrared. We next introduce crosscap states in integrable spin chains, and obtain determinant expressions for the overlaps with energy eigenstates. These states are long-range entangled and their entanglement entropy grows linearly until the size of the subregion reaches half the system size. This property is reminiscent of pure-state black holes in holography and makes them interesting for use as initial conditions of quantum quench. As side results, we propose a generalization of Zamolodchikov’s staircase model to flows between D-series minimal models, and discuss the relation to fermionic minimal models and the GSO projection.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Boundaries and defects enrich the study of quantum field theory (QFT) and statistical mechanics. In QFT, they give us access to the dynamical information of the theory that cannot be studied by local operators. A notable example is the Wilson-’t Hooft loop in gauge theories, which is the order parameter for confinement. In statistical mechanics on the other hand, there is a whole zoo of critical phenomena associated with boundaries and defects. One phenomenon that has attracted much attention in the past is the Kondo effect [1] i.e. the anomalous behavior of the electrical resistivity due to magnetic impurities.
In \(1+1\) dimensions, there are several ways to study non-perturbative dynamics of boundaries and defects. A popular approach is to focus on fixed points of the renormalization group (RG) flow and use the techniques of two-dimensional conformal field theory (CFT). For example, in [2,3,4] a systematic construction of conformal boundary conditions was discussed, and in [5, 6] a complete classification for the minimal models was obtained. Another approach is to study integrable field theories—theories with infinitely many conserved charges that are amenable to analytical calculations. In these theories, one can follow the dynamics of special boundaries, called integrable boundaries, all the way from UV to IR along the RG flow [7,8,9,10,11]. Both approaches were successfully applied to the Kondo problem [12,13,14,15].
Recently, the boundaries in \(1+1\) dimensions have attracted renewed interest in the context of quantum quench [16,17,18,19]. The states produced by the boundaries, known as the boundary states, have often been used as initial conditions for quench protocols [16]. Since they are defined locally by the boundary condition, the boundary states are short-range entangled and provide ideal initial states for studying the growth of entanglement [17]. Analogs of integrable boundary states are known also in spin chains (see e.g. [20,21,22,23,24,25,26,27]). Taking them as initial conditions, precision computations of the quench dynamics in lattice systems were performed in the literature [18, 19, 28].
Moreover, boundaries in integrable systems play an important role in quite a different discipline, namely in the study of the AdS/CFT correspondence [29]. A prototypical example of the AdS/CFT correspondence is the duality between \({\mathcal {N}}=4\) supersymmetric Yang–Mills theory (SYM) in four dimensions and type IIB string theory on AdS\(_5\times \)S\(^5\) spacetime. Recent works have shown that various observables in \({\mathcal {N}}=4\) SYM, such as one-point functions in defect CFT [30,31,32,33,34,35] and three-point functions involving determinant operators [36,37,38], can be mapped to the overlap of a boundary state and an energy eigenstate in integrable systems. Generalizing the techniques developed in the past, exact computations of these observables have been achieved recently [33,34,35,36,37].
In all these fascinating developments, there is one corner that has been left out and somehow received little attention. In 2d CFT, there is another class of states called crosscap states which are just as important as the boundary states. Geometrically they correspond to non-orientable surfaces such as \({{\mathbb {RP}}}^2\) and the Klein bottle and have been analyzed extensively in the studies of 2d CFTs on these surfaces [2, 39,40,41,42]. Surprisingly, however, analogous studies for integrable field theories and spin chains have been lacking. The aim of this paper is to fill this gap and initiate a systematic investigation of crosscap states in integrable field theories and spin chains.
The main takeaways of our work are
-
Integrability survives in the presence of crosscaps: The overlaps with the crosscap state, to be called the p-functions, can be computed analytically.
-
The notion of integrability is defined often in the infinite volume limit, be it factorized S-matrices, reflection matrices, or form factors. In contrast, the crosscap state is a genuinely finite-volume quantity since it identifies fields at antipodal points and does not admit the infinite volume limit. It is probably the first example of such a quantity to which integrability is applicable.
-
For general integrable quantum field theories with \({\mathbb {Z}}_2\)-symmetry, one can study their \({\mathbb {Z}}_2\)-orbifolds and fermionization by modifying their (thermodynamic) Bethe ansatz by signs. The p-function is sensitive to such modifications.
The summary of the rest of the paper is the following:
-
Section 2: We compute the overlap between the crosscap state and an arbitrary excited state in integrable field theories with a diagonal S-matrix. For the ground state, this gives a crosscap analog of the boundary entropy [43] (or equivalently the g-function), and we therefore call it the crosscap entropy. See (2.7) for the definition. We compute it by analyzing the partition function on the Klein bottle and expanding it in two different channels. The result is a ratio of the Fredholm determinants and agrees with the so-called “universal part”Footnote 1 of the g-function in integrable field theories up to simple factors. The main difference from the g-function is that it only depends on the bulk data and the “non-universal prefactor” is absent.
-
Section 3: We compute the crosscap entropy for the integrable RG flow of the staircase model, which contains flows between diagonal unitary minimal models (A-series) as its limit. We next show that the flows between the D-series minimal models can be obtained by the \({\mathbb {Z}}_2\)-orbifold of the staircase model. The result for the A-series decreases monotonically along the RG flow while that of the D-series starts to increase in the deep infrared, in the vicinity of the \({\mathbb {Z}}_2\)-symmetry broken phase. Finally we explain how to perform fermionization of integrable field theories at the level of the Bethe ansatz.
-
Section 4: We define an analog of the crosscap states in the XXX spin chain and the non-compact SL(2, R) spin chain. We show that the overlaps with the Bethe eigenstates are given simply by a ratio of determinants, without extra prefactors. These states are long-range entangled and potentially provide interesting initial conditions for quantum quench, which are quite different from short-ranged entangled initial conditions given by the boundary states. We also prove that the crosscap state in the XXX spin chain is annihilated by infinitely many conserved charges. In addition, we point out that the crosscap state can be interpreted alternatively as a thermofield double state at infinite temperature and discuss its implication.
We then discuss future directions in Sect. 5.
2 Exact \({\varvec{p}}\)-Function
In this section, we generalize the derivation of exact g-functions in integrable field theories to overlaps between the crosscap state and arbitrary excited states. In Sect. 2.1, we discuss general properties of the crosscap state and the partition function on the Klein bottle. We also give a definition of the crosscap entropy and explain its relation to the crosscap overlap. In Sect. 2.2, we compute the crosscap overlap in integrable field theories. Throughout this section, we assume that the theory is parity-invariant and excitations are scalar.
2.1 Klein Bottle and Crosscap Entropy
To define crosscaps, we cut out a disk from a two-dimensional surface and identify antipodal points on the boundary of the disk (see Fig. 1a). This manipulation makes the surface non-orientable and the state created by this procedure is called the crosscap state. Two commonly-studied closed non-orientable surfaces are \({\mathbb {RP}}^2\) and the Klein bottle. They can be obtained by inserting one or two crosscap states on \(S^2\) respectively. The crosscap states were studied extensively in 2d CFT, where part of the motivation came from the analysis of string theory in orientifold spacetimes [39,40,41,42].
To compute the crosscap overlaps, we consider a cylinder of length R and circumference L and contract the two ends with the crosscap states (see Fig. 1b). This makes the surface topologically equivalent to the Klein bottle. As mentioned above, the Klein bottle can also be obtained by inserting two crosscaps on \(S^2\), but here it is important to start with the cylinder, which is locally flat, since our interest is in massive QFT, not CFT.
The partition function of this Klein bottle \(Z_{{\mathbb {K}}}(R,L)\) can be expanded in two different channels, depending on either we view R or L as the (imaginary) time direction. If we take R as the time direction, we obtain an expansion
Here \(\psi _\ell \) is the state defined on the spatial length \(\ell \), \(|{\mathcal {C}}\rangle \) is the crosscap state, and \(\Omega \) is the ground state. In the literature, this channel is often called the tree channel.
The expansion in the other channel (called the loop channel) is slightly more complicated (see Fig. 2). Owing to the antipodal identification at the boundary of the cylinder, the Hilbert space in the other channel is defined on a circle of length 2R not R. As can be seen in the figure, the states defined on this circle get identified with their parity images after the time evolution for a period L/2. This leads to an expression
Here \(\Pi \) is the parity operator while H is the Hamiltonian. Re-organizing the sum in terms of eigenstates of the parity, we can rewrite it as
where \(\epsilon _{\psi }\) is the eigenvalue of the parity for the state \(\psi \), which takes either \(+1\) or \(-1\). The equality of the two expressions (2.1) and (2.3) in the large R limit gives
This shows that the overlap \(\langle {\mathcal {C}}|\Omega _{L}\rangle \) controls the density of states weighted by the parity \(\epsilon _{\psi }\). To make this statement more precise, we consider the parity-weighted free energy
Without the parity weight \(\epsilon \), this would give a definition of a thermal free energy in the infinite volume limit \((R\rightarrow \infty )\). Now, using the relation (2.4), we find that \(F_{{\mathbb {K}}}\) behaves as
This shows that the parity-weighted free energy contains an O(1) term in addition to the usual extensive contribution proportional to the volume 2R. The structure is reminiscent of the thermal free energy of a system with boundaries, for which the boundary entropy, also known as the g-function, gives an O(1) contribution. The boundary entropy is defined in terms of the overlap with the boundary state \(|{\mathcal {B}}\rangle \) as \(s_{{\mathcal {B}}}=(1-L\partial _L)\log |\langle {\mathcal {B}}|\Omega _L\rangle |\). Based on the similarity, we call the following quantity the crosscap entropy:
The crosscap entropy for rational conformal field theories was discussed already by Tu in [44] (see also [45]) and it was later extended to compactified boson CFTs [46]. The main goal of this paper is to discuss it away from fixed points in particular in integrable QFTs.
Let us make a few remarks on the definition of the crosscap entropy (2.7).
-
For the boundary entropy, the subtraction of the \(L\partial _{L}\) term removes non-universal contributions related to counter terms localized at the boundary, and is crucial for defining a quantity that is scheme-independent and monotonically decreases along the RG flow [47]. For the crosscaps, we do not expect such counter termsFootnote 2 and therefore we defined the entropy without subtracting the \(L\partial _{L}\) term. We will study the monotonicity of \(s_{{\mathcal {C}}}\) in examples in the next section.
-
Here we focused on the crosscap overlap for the ground state. As we see below, the crosscap overlaps can also be computed for any excited state in integrable field theories. They do not have a natural thermodynamic interpretation, but are nevertheless important observables in integrable theories on non-orientable surfaces.
-
In string theory and 2d CFT [2, 39,40,41,42], one often considers more general crosscap states for which the parity \(\Pi \) in (2.2) is replaced with a product of \(\Pi \) and some other \({\mathbb {Z}}_2\) transformation. We will not discuss such a generalization in this paper, but it is an interesting direction to explore. We will come back to this point in the conclusion.
2.2 Crosscap Overlaps in Integrable Field Theories
We now compute the crosscap overlaps in integrable field theories. To be concrete, we consider theories with a single species of particles without bound states, the prototypical example being the sinh-Gordon model.
Before proceeding to the calculation, let us briefly summarize the state of research of the g-function, since the discussion below heavily relies on it. The first complete proposal for the g-function in integrable field theories with diagonal scattering was made in [10], building on earlier works [48, 49]. The proposal was verified later in [50], which provided a streamlined derivation based on the thermodynamic Bethe ansatz [51]. These results were recently generalized in [52] to non-diagonal scattering, and a further reformulation was made in [53] which revealed a underlying effective field theory description whose path integral localizes to the saddle point. More recently, the generalization of the g-function to excited states was achieved in [36, 37], based on the analytic continuation approach developed in [54] for the spectrum. In what follows, we generalize these techniques to the crosscap overlaps.
Derivation The starting point of our analysis is the relation (2.4), which we display here again in a slightly different form:
In integrable theories, the energy eigenstates in the infinite volume limit (\(R\rightarrow \infty \)) can be described as a collection of excitations, and are labelled by a set of momenta \(|\{p_j\}\rangle \) (\(j=1,\ldots , M\)) that satisfy the Bethe equations
The parity transformation simply flips the signs of these momenta,
Note that the constant of proportionality depends on the definition of the state \(|\{p_j\}\rangle \) and cannot be determined just from this argument. (We will see shortly that the constant of proportionality is 1 in the standard normalization of the Bethe wave function.) Using (2.10), we conclude that the states whose momenta are not invariant under the sign flipFootnote 3 do not contribute in the parity-weighted trace:
In other words, these states come in pairs \(|\{p_j\}\rangle \pm \Pi |\{p_j\}\rangle \), and their contributions cancel out in the weighted trace.
The next step is to show that all the states whose momenta are invariant under the sign flip have eigenvalue \(+1\) under the parity. To see this, consider a coordinate wave function
Here \(|x_1,\ldots , x_M\rangle \) denotes a state in which the j-th excitation is at position \(x_j\). When the excitations are far apart, the wave function is given by a sum over plane waves
Acting the parity transformation to (2.12), we obtain
Changing the integration variables from \(x_j\) to \(x_j^{\prime }=2R-x_{M+1-j}\), we can rewrite this as
Now using the asymptotic form of the wave function (2.13) and the parity invariance of the S-matrix \(S(p,q)=S(-q,-p)\), we can check that
Since the Bethe equation (2.9) implies \(e^{2iR\sum _{k}p_k}=1\), we conclude that the state \(|\{p_j\}\rangle \) transforms under the parity as
In particular, this means that the state with a parity-invariant set of momenta
has an eigenvalue \(+1\) under the parity.
Therefore the left hand side of (2.8) reduces to a restricted thermal sum over states
where the sum \(\sum _{\{p_j\}=\{-p_j\}}\) is taken over solutions to the Bethe equation (2.9) that are invariant under the sign flip. In the large volume limit \(R\rightarrow \infty \), this sum can be evaluated using the standard trick of the thermodynamic Bethe ansatz (TBA)—namely we replace the sum over states with a path integral of density of excitations and evaluate it around the saddle point.Footnote 4 The only modification from the standard TBA is the constraint \(\{p_j\}=\{-p_j\}\).
To deal with the constraint, let us study the Bethe equation for a parity-invariant set of momenta. It takes a different form depending on whether we have a zero-momentum particle, and for a reason that will become clear later, we call the two sectors \(\mathbf{S}\) and \(\mathbf{T}\):
Now comes the crucial observation. These equations take the same form as the Bethe equation for a system with two identical boundariesFootnote 5
if we identify the reflection matrix R(p) and S-matrices as follows:
Moreover, the parity-weighted sum (2.19) can be rewritten in the following way,
with \(m\equiv E(p=0)\) being the mass of the particle. This shows that the contribution from each sector takes the same form as the thermal partition function of the boundary problem with the inverse temperature L (up to a prefactor \(e^{-mL/2}\) in the \(\mathbf{T}\)-sector). These imply that we can recycle the results for the boundary problem, in particular the result for the g-function.
Result In order to write down the result for the crosscap overlap, let us recall the result for the g-function [36, 50, 52] (see e.g. Section 6.2.2 of [36] for the derivation),
Here Y(u) is the Y-functionFootnote 6 and it satisfies the TBA equation
with E(u) being the energy. The notation \(A*B\) stands for the convolution \(\int _0^{\infty }\frac{dv}{2\pi }A(u,v)B(v)\) while the kernels \({\mathcal {K}}_{\pm }\) are defined in terms of the S-matrix S(u, v) as
The Fredholm determinants \(\det \left[ 1-{\hat{G}}_{\mp }\right] \) are defined in terms of the kernels \({\mathcal {K}}_{\pm }\) as
The only factor which depends on the reflection matrix R(u) is \(\Theta (u)\) and it reads
Here, the subtraction of the delta function \(-\pi \delta (u)\) is necessary because the boundary Bethe equation (2.22) allows \(p_j=0\) as a formal solution although the state with \(p_j=0\) does not exist as a physical state.
Let us now apply the formula to the crosscap state. For the \(\mathbf{S}\)-sector, we first perform the replacement (2.23) and use the identity
A small difference from the boundary problem is that the Bethe equation (2.20) does not admit \(p_j=0\) as a solution since the right hand side of (2.20) evaluates to \(-1\), not 1, upon setting \(p_j=0\) thanks to \(S(0,0)=-1\). Thus, the subtraction \(-\pi \delta (u)\) is not necessary. As a result, the prefactor \(\Theta \) vanishes and the contribution from the S-sector is given simply by
On the other hand, the contribution from the T-sector can be evaluated by performing the replacement
Unlike the S-sector, the Bethe equation for the T-sector does admit \(p_j=0\) as a solution. This however should not be included in the TBA computation since we already separated out the contribution from the zero-momentum excitation in (2.24) and we cannot have two excitations with the same momentum. Therefore we need to subtract \(\pi \delta (u)\) in the final answer. Combined with the extra factor \(e^{-mL/2}\) in (2.24), this leads to an expression
Here the square-root in \(1/\sqrt{1+Y(0)}\) comes from \(\int _0^{\infty }du\,\delta (u)f(u)=\frac{1}{2}f(0)\), and we usedFootnote 7
The exponent in (2.33) can be simplified using the TBA equation (2.26) evaluated at \(u=0\). The result reads
Summing the two contributions and taking the square root, we arrive at our main formula
As compared to the formula for the g-function, it does not contain a “non-universal” prefactor that depends on the reflection matrices. Thus, at the level of the formula, the crosscap overlap can be viewed as the “simplest possible g-function”. Another comment is that the result (2.36) only gives the absolute value of the overlap. In general, we expect the phase of the overlap to carry important physical informationFootnote 8 as well. However its computation requires more careful analysis and we leave it for future studies.
Excited states and asymptotic limit We can also derive the generalization for excited states applying the argument given in [36], which uses the analytic-continuation trick developed by Dorey and Tateo for the spectrum [54]. An immediate consequence of this is that the crosscap state has non-zero overlaps only with states that are parity-symmetric; namely states whose rapidities are invariant under the parity transformation. In the case of integrable boundary states, this selection rule reflects the fact that the boundary states preserve infinitely many parity-odd conserved charges [7, 56].Footnote 9 We expect the same to hold for crosscap states although we do not present a general proof in this paper. (We do present a proof of an analogous statement for the XXX spin chain in Sect. 4.)
The result of the analytic continuation is (see Section 6.3 of [36] for the derivation):
Here \(|\Psi _{L}\rangle \) is a parity-symmetric excited state satisfying the excited-state TBA
with \({\tilde{u}}_k\)’s satisfying the exact Bethe equation \(1+Y({\tilde{u}}_k)=0\). The deformed Fredholm determinants \(\det \left[ 1-{\hat{G}}_{\pm }^{\bullet }\right] \) are given by a combination of sums and convolutions:
With the formula for the excited states, we can analyze the large volume limit \(L\rightarrow \infty \), which is often called the asymptotic limit. In the limit, states that have non-zero overlaps are labelled by a parity-symmetric set of rapidities
satisfying the Bethe equation
In addition, in the formula for the overlap, the Y-function is exponentially suppressed on the real axis and the terms that involve the convolution can be dropped. The result, after rewriting, reads (see Section 6.3.2 of [36] for details)
with
Later in Sect. 3, we will see exactly the same structure as (2.42) in integrable spin chains.
3 Crosscap Entropy in Integrable Flow
In this section, we use the formulae derived in the previous section to study the behaviour of the p-function under the RG flow and we specifically apply it to the so-called staircase model first introduced by Zamolodchikov [58]. In Sect. 3.2, we propose a generalization of the staircase model whose RG flow interpolates between the D-series minimal models obtained by \({\mathbb {Z}}_2\)-orbifolding the A-series minimal models. Finally, in Sect. 3.3, we discuss the fermionization of integrable field theories and how to accomodate them in the Bethe ansatz. In particular, this allows for yet another generalization of the staircase model.
3.1 RG Flow for the p-Function in the Staircase Model
Model. The staircase model is defined abstractly by an S-matrix. To this date the corresponding Lagrangian realization remains unknown. Its origin stems from the sinh-Gordon model which is a relativistic integrable theory of a single massive scalar field whose Lagrangian is
with m and b being the mass of the elementary field \(\Phi \) and the coupling constant respectively. The sinh-Gordon exact S-matrix is given in terms of the difference of rapidities of the corresponding excitations being scattered
Importantly, the parameter \(\gamma \) is related to the coupling constant of the model by
and the S-matrix enjoys invariance under the transformation \(\gamma \rightarrow \pi -\gamma \). This is the famous weak-strong coupling duality of the sinh-Gordon model. At \(\gamma = \pi /2\), the theory is self-dual.
In [58], Zamolodchikov proposed to move away from the self-dual point by the following analytic continuation
with \(\theta _0\) being a real parameter. The resulting S-matrix remains real-analytic [59] (i.e. S(u) is real for purely imaginary u) besides maintaining the remaining constraints from the original theory, namely unitarity and crossing symmetry. It is therefore considered to be still a physical S-matrix describing the scattering of asymptotic states in some putative massive QFT whose underlying microscopic description remains somewhat obscure. We will take this point of view, and use this model as a playground to study p-functions.
The salient feature of the staircase model occurs when \(\theta _0\) is sent to infinity. As \(\theta _0\) increases, the effective central charge (or equivalently the ground-state energy) as a function of the volume of the system L develops several plateaux, whose approximate locations are at the values of L obeying \(\log L \sim -(m-3)\theta _{0}/2\) for integers \(m\ge 2\), see Fig. 3. At each of these plateaux, the effective central charge matches precisely the central charge of a diagonal unitary minimal model, also known as the A-series minimal models, \({\mathcal {M}}_{m}^{(A)}\):
The staircase behavior is more pronounced as \(\theta _0\) grows and in the limiting behavior as \(\theta _0 \rightarrow \infty \), it describes the sequence of transitions \({\mathcal {M}}^{(A)}_m \rightarrow {\mathcal {M}}^{(A)}_{m-1}\). These transitions are well-known and amount to the RG flows induced by the least relevant operator \(\phi _{13}\) which is part of the spectrum of all these minimal models. This behavior suggests an intepretation for the staircase model: it describes a parametric family of integrable field theories whose behavior along the RG comes close to that of the unitary minimal models before it flows to a massive theory in the deep infrared.
This is then an example where we can follow the RG behavior using integrability and enjoy an infinite sequence of benchmark points provided by the unitary minimal models for which we can analytically compute a large amount of information purely from CFT.
Result. The result of the numerical evaluation of (2.36) is given in the plot of Fig. 4. The crosscap entropy (\(\log |p|\)) monotonically decreases with the RG flow and decays to zero in the deep infrared. Along the way, it develops plateaux whose values correspond to the p-functions of the minimal models in the A-series. These plateaux values can be calculated analytically. Referring to the formula (2.36), the (ratio of) Fredholm determinants and the value of Y(0) at the plateau corresponding to \({\mathcal {M}}_{m}^{(A)}\) were computed in [11]. The results read (see [11] for derivations)
Plugging these values into (2.36), we obtain a closed-form expression for the p-function of the A-series minimal models:
The explicit results for the first few m’s are
which correspond to the Ising (\(m=3\)), the tricritical Ising (\(m=4\)) and the tetracritical Ising (\(m=5\)) models.Footnote 10 To our knowledge, the closed-form expression (3.8) never appeared before in the literature.
Comparison with CFT. Let us now check that the values at the plateaux (3.8), obtained from integrability, agree with those in CFT. To compute the p-function from CFT, we follow the same strategy as in Sect. 2; namely we consider the Klein bottle partition function, compute it by a parity-weighted sum over states in the loop channel and expand the answer in the tree channel. The additional advantages in working directly with CFTs are
-
1.
The parity operator exchanges the chiral and the anti-chiral sectors. As a result, only states that survive in the parity-weighted sum are the ones with identical chiral and anti-chiral representations, i.e. Verma modules corresponding to scalar primaries.
-
2.
The sum over states can be organized into a sum over Virasoro characters. Because of the parity operator which exchanges the chiral and the anti-chiral sectors, it is given by a sum over single Virasoro characters, unlike the torus partition function which is given by a sum of products of two characters (chiral times anti-chiral).
-
3.
One can rewrite each Virasoro character in the loop channel into a sum of characters in the tree channel using the modular S-matrix.
The details of the derivation can be found in the literature [2, 44, 60, 61] and we will not repeat it here. The outcome of the analysis is given by the following sum of modular S-matrices
where a denotes a irreducible representation of the Virasoro algebra, I is the identity representation, \(n_{a,b}\) is a degeneracy of states with the representation a for the chiral part and b for the anti-chiral part. \(S_{a,b}\) is the modular S-matrix between the representations a and b.
Before we move on, let us make one clarifying remark on the formula.Footnote 11 (3.10) When deriving (3.10), we made an assumption that all the scalar primaries have eigenvalues \(+1\) under the parity. This is a reasonable assumption and is in line with what we saw in Sect. 2.2 for integrable field theories. However, strictly speaking one needs to check if this choice is consistent with other conformal bootstrap conditions such as the one coming from the Mobius strip. For the A-series minimal models analyzed here, it was shown in [62] that this choice is indeed consistent, but an analogous statement is not yet established for the D-series minimal models, which we discuss in the next subsection. Therefore, to be precise, we should take the CFT result for the D-series minimal model as a conjecture.
To evaluate (3.10) for a given theory, we need to know two data; the modular S-matrix and the degeneracy \(n_{a,b}\). As is well-known [63], the minimal models are labelled by two coprime integers (p, q) and unitary theories correspond to \((p,q)=(m,m+1)\) or \((m+1,m)\). To list states in these unitary theories in a compact way, we follow [64] and set \((p,q)=(m,m+1)\) when m is odd and \((p,q)=(m+1,m)\) when m is even. In this convention, the full set of (non-chiral) characters for the A-series minimal model reads
Here \(\chi _{r,s}\) is a (chiral) character of a irreducible representation of the Virasoro algebra corresponding to a primary with dimension \(L_0=\frac{(pr-qs)^2-1}{4 p q}\). For later convenience, let us also write down characters for the D-series in this convention:
Here \(\equiv \) is the equality modulo 2. On the other hand, the modular S-matrix for these representations read (see e.g. [61, 63]):
The identity representation corresponds to \((r^{\prime },s^{\prime })=(1,1)\).
As can be seen from (3.11), all the states in the A-series minimal models have identical chiral and anti-chiral representations and all the representations appear only once. Setting \(n_{a,a}=1\) in (3.10) and summing all the representations that appear in (3.11), we obtain the answer that precisely agrees with the result from integrability (3.8).
3.2 Generalization to D-Series by \({\mathbb {Z}}_2\)-orbifold
Derivation. The staircase model studied above describes the RG flows between diagonal minimal models called the A-series. We now propose its simple modification that gives the RG flows between the (non-diagonal) D-series minimal models. (The existence of the RG flows connecting two D-series minimal models was first pointed out in [65].)
It is well-known in CFT that the D-series can be obtained from the A-series by gauging the \({\mathbb {Z}}_2\)-symmetry, also known as the \({\mathbb {Z}}_2\)-orbifold, see [63]. In 2d QFT, the \({\mathbb {Z}}_2\)-gauging amounts to performing the following manipulationsFootnote 12 to the original theory:
-
1.
Add a new sector, called the twisted sector, in which fields are periodic up to \({\mathbb {Z}}_2\) transformation; e.g. \(\phi (\sigma +2\pi )=-\phi (\sigma )\).
-
2.
Restrict the Hilbert space to \({\mathbb {Z}}_2\)-invariant states.
The resulting theory possesses an emergent \({\mathbb {Z}}_2\) symmetry which assigns \(+1\) to the untwisted sector and \(-1\) to the twisted sector. Gauging this \({\mathbb {Z}}_2\) takes it back to the original theory [66].
To see the effect of the orbifold at the level of the Bethe ansatz, we need to understand how the \({\mathbb {Z}}_2\)-transformation acts on individual excitations. This is not obvious for the staircase model since it is defined only indirectly as an analytic continuation of the sinh-Gordon model. However, given that the sinh-Gordon model has the \({\mathbb {Z}}_2\)-symmetry which flips the sign of excitations \(\phi \rightarrow -\phi \), it is natural to assume that the same holds for the staircase model. Then, the \({\mathbb {Z}}_2\)-gauging can be achieved by restricting to states with an even number of particles while allowing them to take either periodic (untwisted sector S) or antiperiodic (twisted sector U) boundary conditions.
After imposing the parity-invariance condition needed for the computation of the p-function, the Bethe equation for each sector takes
We can then proceed as before; namely take the thermodynamic limit and sum over states satisfying the Bethe equations using TBA. The contribution from the S-sector was already computed in Sect. 2.2. The result for the U-sector is similar but slightly different since now the Bethe equation does admit \(p_j=0\) as a formal solution. However, since the states in the \(\mathbf{U}\)-sector contain an even number of particles, this does not correspond to a physical solution. Thus we subtract it from the final answer using \(-\pi \delta (u)\) term as discussed below (2.29). The result reads
Summing the two contributions, we get the formula for the \({\mathbb {Z}}_2\)-orbifolded theory
Note that, although we have focused on the p-function, the argument here can in principle be generalized to other quantities as well, such as the boundary entropies.
Numerical computation. As can be seen in Fig. 5, the result of the numerical computation exhibits two important differences from that of the non-orbifolded theory. First, although the p-function decreases monotonically for most part of the flow, it starts to increase in the deep infrared, after the plateau corresponding to the Ising model.
Second, the infrared value of the crosscap entropy is \(\frac{1}{2}\log 2\) while that of the original staircase model is 0. This difference translates to the following behaviors of the Klein bottle partition function in the infrared:
To understand the physical meaning of this difference, it is useful to analyze \(Z_{{\mathbb {K}}}\) in the loop channel. In the original staircase model, there is a unique vacuum state in the S-sector and its contribution dominates in the infrared (\(L\gg 1\)). This is because all the states in the T-sector contain massive excitations. If we further take the infinite R limit, the ground state energy asymptotes to zero and therefore we get \(Z_{{\mathbb {K}}}\sim e^{-LE_{\Omega _{2R}}/2}\sim 1\). On the other hand in the orbifolded theory, both of the two sectors \(\mathbf{S}\) and \(\mathbf{U}\) have a state without excitations and their energies both asymptote to zero in the infinite R limit. This is why we get \(Z_{{\mathbb {K}}}\sim 2\). Now, the crucial point is that these two states are oppositely charged under the emergent \({\mathbb {Z}}_2\)-symmetry, which assigns \(+1\) to the untwisted sector and \(-1\) to the twisted sector. Physically, this means that the emergent \({\mathbb {Z}}_2\)-symmetry is spontaneously brokenFootnote 13 in the orbifolded theory in the infrared.
Although we need to study more examples in order to draw any conclusion, it is tempting to speculate that these two features—the sudden increase of the p-function in the infrared and the \({\mathbb {Z}}_2\)-symmetry breaking—might be somehow correlated. As another example where this phenomenon could potentially be observed, it is known that the A-series minimal models flow to a symmetry breaking phase in the deep infrared when perturbed by \(\phi _{13}\) with opposite sign, see [65] for a related discussion. It would be interesting to study the behavior of the p-function also in this case. Leaving this as an important open question, let us emphasize here that, even for the orbifolded model, the p-function keeps decreasing until the deep infrared. In particular, it means that the p-function monotically decreases along the flows that connect neighboring D-series minimal models.
Analytic expressions and comparison with CFT As in the A-series, we can compute the values at plateaux analytically by simply plugging in (3.6) and (3.7) into (3.17). The result reads
The explicit results for the first few are
The results for \({\mathcal {M}}_{3,4}^{(D)}\) coincide with those for the A-series. This is expected since the A- and D-series minimal models are identical for \(m=3,4\). The result for \(m=5\) is different from that of the A-series and corresponds to the 3-state Potts model.
The closed-form expression for the D-series (3.19) is in perfect agreement with the direct CFT computation which can be obtained by using the operator content given in (3.12) and the formulaFootnote 14 (3.10). This gives an important cross-check of our integrability formula (3.17) for the \({\mathbb {Z}}_2\)-orbifolded model.
3.3 Fermionization of Integrable Field Theories
For every two-dimensional quantum field theory with non-anomalous \({\mathbb {Z}}_2\) symmetry, one can define four different versions by a combination of \({\mathbb {Z}}_2\)-orbifolding and tensoring with the Arf theory—a spin TQFT which describes the low energy limit of the Kitaev chain [68] and whose partition function is given by the Arf invariant \((-1)^{\mathrm{Arf}[\rho ]}\). This latter manipulation is called fermionization, and for minimal models it was studied by Petkova already in the eighties, see [69, 70]. More recently, it has been attracting interest [64, 71,72,73,74,75,76] in the context of fermionic Symmetry Protected Topological phases. Interestingly, a similar concept was proposed in the context of integrable field theories by Klassen and Melzer [77], who pointed out that the S-matrices of the sine-Gordon and massive Thirring models differ by a sign. The aim of this subsection is to discuss the relation between the two concepts. A more detailed analysis will be presented elsewhere.
Following the notations in [64], we call the four variants A, D, F and \({\tilde{F}}\): A is the original theory with \({\mathbb {Z}}_2\) symmetry while D is its \({\mathbb {Z}}_2\)-orbifold. F and \({\tilde{F}}\) are both fermonic and can be obtained from A and D by fermionization. Since F and \({\tilde{F}}\) differ only by the assignment of the fermion number in the Ramond (R) sector (=periodic sector), we focus on A, D and F in what follows.
As explained in [64] and summarized in table 1, each theory consists of the same four sectors S, T, U and V, but their interpretation depends on the theory we consider: The left columns of the A- and D-theories in table 1 give the spectrum in the standard Hilbert space while the right columns give the “defect spectrum”; the spectrum at the endpoint of the \({\mathbb {Z}}_2\)-defect line P. The rows in A and D distinguish states with different \({\mathbb {Z}}_2\)-parity. On the other hand, the four sectors in the F-theory are classified by the periodicity and the fermion number. For instance, the S-sector corresponds to \({\mathbb {Z}}_2\)-even states in the standard Hilbert space of the A-theory while it corresponds to the bosonic Neveu-Schwarz (NS) sector (=anti-periodic sector) in the F-theory.
Let us now see how fermionization is realized at the level of the Bethe equations. We begin with the Bethe equations in the A-theory. We already wrote down three of them when the parity condition is imposed (see (2.20), (2.21) and (3.15)), but we now present them all without imposing the parity condition:
Here we set the size of the system to be R. We next rewrite them into the Bethe equations in the F-theory. The proposal made by Klassen and Melzer is that the S-matrix of a fermionic theory can be obtained by flipping the signFootnote 15 of the S-matrix of a bosonic theory,
Rewriting each of these equations in terms of \(S_f\), we obtain the following set of equations:
Note that the signs of the left hand side of S and U are flipped since they contain an odd number of S-matrices. Now, we interpret these equations in terms of the F-theory. The left hand sides of S and V are \(-1\), indicating that they are in the NS-sector, while U and T are in the R-sector. The fermion number of each sector can be determined simply by counting the number of excitations. As a result, we conclude
Happily, this agrees precisely with the results in [64] summarized in table 1, supporting the proposal by Klassen and Melzer. To recover the Hilbert space of the A- or D-theories, one simply needs to pick two of the four sectors by correlating the number of excitations with the periodicity. This is basically the GSO projection in superstring theory [78,79,80].
In summary, our conclusion is
-
1.
Fermionization of the Bethe equation is achieved simply by flipping the sign of the S-matrix \(S_f=-S\) and allowing twisted boundary conditions.
-
2.
The GSO projection of the Bethe equation amounts to picking two of the four sectors in the fermionic theory by correlating the number of excitations with the periodicity.
Note that the discussion above is focused on the torus partition function, and it would be interesting to generalize it to non-orientable manifolds. That would allow us to study integrable worldsheet theories for unoriented type 0 string (see [81] for a related discussion), for which the existence of eight different GSO projections was pointed out recently [82, 83].
Clarifying remarks Let us make an additional remark on fermionization of the S-matrix (3.22). A similar change of the sign is often discussed in the literature in the discussion of the so-called “bosonic TBA” [84, 85]. In this context, one starts with a standard S-matrix of integrable theories and flips its sign. The resulting S-matrix satisfies \(S(0)=+1\), indicating that particles with the same mode number are now allowed to coexist. This leads to a substantial change of the TBA equation (for instance \(\log (1+Y)\) changes to \(-\log (1-Y)\)), and it typically leads to a Hagedorn-like instability at finite volume [84, 85].
We emphasize that this notion of “bosonic” and “fermionic” is different from what has been discussed here: In the context of “bosonic TBA”, the notion of “bosonic” or “fermionic” refers to whether or not the exclusion principle is realized. In contrast, in this paper we followed a standard convention in quantum field theory, in which fermionic theories refer to theories that depend on the spin structure while bosonic theories are the ones that are insensitive to it. In order to make the distinction clear, we call fermionic theories discussed in our paper spin theories and bosonic theories non-spin theories in the discussion below.
The difference of the two notions can be seen clearly in the following fact. As pointed out by Klassen and Melzer [77], for the exclusion principle to be satisfied, spin theories need to have \(S(0)=+1\) while non-spin theories need to have \(S(0)=-1\). Despite this difference of S(0), both are described by the standard TBA (“fermionic TBA”). More generally, the relation between the two concepts can be summarized as follows:
In this paper, we discussed the diagonal entries in this table and how to transform one to the other. In contrast the literature on “bosonic TBA” addresses theories on the first row.
4 Crosscap States in Spin Chain
We now construct analogs of crosscap states in integrable spin chains. We focus on two simple rank-1 spin chains, the XXX spin chain and the noncompact SL(2, R) spin chain.
4.1 Definition and Entanglement Structures
XXX spin chain Let us first discuss the simplest integrable spin chain; the XXX (Heisenberg) spin chain. At each site, we have the spin 1/2 representation of SU(2) and the local Hilbert space is spanned by \(\{|\!\!\uparrow \rangle , |\!\!\downarrow \rangle \}\). It has a nearest-neighbor Hamiltonian invariant under the global SU(2) transformation,
The Hamiltonian (4.1) is known to be solvable using the Bethe ansatz and the energy eigenstate (called the Bethe state) is given by
where the wave function is given by
with
The rapidity set \(\mathbf{u}\) needs to satisfy the Bethe equation
where \(S_{\mathrm{SU}}(u,v)\) is the S-matrix given by \(S_{\mathrm{SU}}(u,v)=h_{\mathrm{SU}}(u,v)/h_{\mathrm{SU}}(v,u)\) and L is the length of the chain. For details, see standard reviews and textbooks (for instance [86, 87]).
To define the crosscap state in this model, we simply mimic the definition in the field theory; namely we identify states at antipodal sites. To be more concrete, we first take an entangled pair of states at the j-th and \((j+\frac{L}{2})\)-th sites
where \(|\bullet \rangle _j\) means a state at the j-th site. We then consider a tensor product of such states over the chain,
This gives a straightforward analog of the crosscap state in the XXX spin chain. We will later see that the overlap with the Bethe state is given by a ratio of determinants.
SL(2,R) spin chain The crosscap state can be defined in the non-compact SL(2, R) spin chain as well. In this case, the spin chain is defined in terms of the SL(2, R) algebra
and the Hilbert space at each site is spanned byFootnote 16
with the vacuum state \(|0\rangle \) defined by \(S_{-}|0\rangle =0\). For details, see [88,89,90,91,92].
The Bethe state of this spin chain is given by
with
and
The Bethe equation for the SL(2, R) chain is given by
with \(S_{\mathrm{SL}}(u,v)=h_{\mathrm{SL}}(u,v)/h_{\mathrm{SL}}(v,u)\). Note that, unlike the XXX spin chain, several excitations can be at the same site. For instance, when \(n_1=n_2\) in the sum in (4.9), we will have \(|0\cdots \underset{n_1=n_2}{2}\cdots \rangle \) as a ket.
The crosscap state in this model is defined by
where \(|{\tilde{c}}\rangle \!\rangle _j\) is the antipodally identified two-site state
Entanglement structures The boundary states in the XXX spin chain can also be expressed in terms of entangled two-site states [56]. However, while the crosscap states in the XXX chain are given by two-site states at antipodal sites, the boundary states are given by two-site states at neighboring sites. This difference is reflected in the different entanglement structures: the boundary state is short-range entangled, and their subregion entanglement entropy never exceeds \(\log 2\) (see Fig. 6a). This is simply because the boundary states are tensor products of local two-site states.
In contrast, the subregion entanglement entropy of the crosscap state exhibits the volume law: it increases linearly until the size of the region reaches half of the system size and the entanglement entropy takes the maximum value \(\frac{L}{2}\log 2\). Thereafter, it decreases linearly until it goes back to zero (see Fig. 6a). The linear growth of the entanglement entropy is a generic feature of high energy eigenstates in chaotic spin chains. However, in general, the linear growth stops before the subregion size reachs half of the system size and the maximum value of the entanglement entropy is strictly smaller than \(\frac{L}{2}\log 2\), see [93,94,95,96].
An example in which the linear growth continues to half the system size is a pure-state black hole in AdS\(_3\), which is holographically dual to a high energy eigenstate in 2d CFT with infinite central charge. In this example, one can calculate the entanglement entropy using the Ryu-Takayanagi formula [97] and show that the entropy grows linearly until the subregion covers half of the system. After that point it makes a sharp turn and decreases linearly due to the phase transition of the Ryu-Tanayanagi surface, see Fig. 6b.
This similarity motivates to use our crosscap states as a toy model of pure-state black holesFootnote 17. Of course, since the spin chains we are studying are integrable while the black holes are expected to be dual to chaotic quantum systems, we cannot hope for precise correspondences between the dynamics of the two systems. Nevertheless we may be able to learn some aspects. For instance, the question “How do pure-state black holes evaporate?” can be translated to the question “How do highly-entangled crosscap states decohere as a result of dynamics?”. To address this question, we need a system in which the entanglement stored in the correlation of spins can leak into other dynamical degrees of freedom. There are several ways to achieve this but one possible approach is to consider an integrable system with both spins and particles as dynamical degrees of freedom such as the spin Calogero-Sutherland model see e.g. [101]. It would be interesting to construct the crosscap states in such models and use them as initial conditions of quantum quench.
Even without the connection to the blackhole physics, our crosscap states provide interesting initial conditions for quantum quench which are analytically tractable but are quite distinct from the ones given by integrable boundary states. Thus it is certainly worth studying the details of their dynamics. We leave these exciting questions to future investigations.
4.2 Determinant Formulae for Overlaps
With the crosscap states we constructed, we computed overlaps with various Bethe states. As a result, we found a selection rule identical to that of the integrable boundary state: namely the overlap vanishes unless the set of rapidities are parity invariant,
In addition, we found convincing evidence that the overlap is given by the following universal formula, both in the XXX spin chain and the SL(2, R) spin chain:
Here S(u, v) is the S-matrix, which is taken to be \(S=S_{\mathrm{SU}}\) for the XXX chain and \(S=S_{\mathrm{SL}}\) for the SL(2, R) chain. The matrices \(G_{\pm }\) are given by (2.43), which we display again for convenience:
To compare this expression with the results in Sect. 2, we need to normalize the state \(|\mathbf{u}\rangle \). This can be achieved using the result for the normFootnote 18 of parity-symmetric states [30, 36]
We then arrive at an exceedingly simple expression, which is identical to the asymptotic limit of the crosscap overlap (2.42) obtained in Sect. 2:
The equivalence between (2.42) and (4.20) supports our interpretation of \(|{\mathcal {C}}\rangle \) as the spin-chain analog of the crosscap states. It is also plausible that the two are more directly related in \({\mathcal {N}}=4\) SYM; namely, there might be some observable in \({\mathcal {N}}=4\) SYM which are given by the spin-chain crosscap state at weak coupling and the crosscap state on the integrable worldsheet theory at finite coupling. See also the discussion in Sect. 5.
4.3 Integrability of the Crosscap State
The selection rule (4.16) suggests that the crosscap states \(|{\mathcal {C}}\rangle \) are annihilated by infinitely many odd conserved charges. Below we will prove this explicitly for the XXX spin chain.
Let us first recall the Lax operator of the XXX spin chain
where \(S_j^{\pm , z}\) are the generators of SU(2) acting on the spin Hilbert space at the j-th site. Using the Lax operator, we can define the transfer matrix T(u), which generates higher conserved charges:
Here V denotes the auxiliary space, not the spin-chain Hilbert space. In what follows, we will show that the crosscap state satisfies
This equality means that the crosscap state is annihilated by infinitely many odd conserved charges generated by \(T(u)-T(-u)\).
As the first step, we consider the following equalityFootnote 19
where \(\sigma _2\) is a Pauli matrix acting on the space V. This equality can be verified straightforwardly by computing both sides using the definition of \(|c\rangle \!\rangle \) (4.6). Using this relation, one can rewrite the action of the transfer matrix as follows, see also Fig. 7:
Here a and b are matrix indices which are summed over.
As the next step, we rewrite it as
This is just a trivial rewriting but now we can interpret the barred indices \({\bar{a}}\) and \({\bar{b}}\) as acting on another auxiliary space \({\bar{V}}\), and identify \(\delta _{{\bar{b}}a}\delta _{b{\bar{a}}}\) with the permutation operator \(\mathbf{P}\) acting on \(V\otimes {\bar{V}}\). This leads to the following expression (see also Fig. 8)
The third step is to consider the R-matrix acting on \(V\otimes {\bar{V}}\),
with \(\mathbf{I}\) being the identity operator, and use the equality
Inserting this equality inside (4.27), we get
The last step is to move the R-matrix using the Yang-Baxter relation (RLL relation):
Since both \((\sigma _2\otimes \sigma _2)\) and \(\mathbf{P}\) commute with the R-matrix, we can rewrite (4.30) into the following by repeated use of (4.31) (see Fig. 8):
Comparing (4.30) and (4.32), we see that the right hand sides are symmetric with respect to \(u\leftrightarrow -u\), which must also be true for the left hand sides. This leads to the equality we wanted to prove
4.4 Integrability of Thermofield Double State
Before concluding this section, let us point out a tantalizing connection between the crosscap state and a thermofield double state at infinite temperature.Footnote 20 The key observation is that one can interpret the crosscap state on a spin chain of length L as an infinite-temperature thermofield double state (TFD) for a spin chain of length L/2. More concretely, we identify j-th site in the original spin chain with the j-th site in the left Hilbert space of TFD, and the (\(\frac{L}{2}+j\))-th site in the original spin chain with the j-th site in the right Hilbert space of TFD. Under this identification, the crosscap state (4.7) coincides with the thermofield double state at infinite temperature (\(\beta =0\)) defined by
where the sum runs over all possible states \(\psi \) on a spin chain of length L/2. Then, the integrability property of the crosscap state \(\langle {\mathcal {C}}|(T(u)-T(-u))=0\) translates to the condition
where \({\tilde{T}}(u)\) is a transfer matrix acting both on the left and the right Hilbert spaces of TFD, see Fig. 9.
It would be interesting to see if a similar relation exists also for TFD at finite temperature, and explore its implication to the dynamics of thermofield double states (see [105] for a related work).
5 Conclusion
In this paper, we studied the crosscap states in integrable field theories and spin chains. The main outcome is the exact formula for the overlaps between the crosscap state and the energy eigenstates, (2.37) and (4.20). As far as we know, our work is the first systematic analysis of the crosscap states in integrable systems and it opens a number of future directions, some of which we discuss below.
Generalizations On the integrable field theory side, an immediate next step is to generalize our formula to more general theories, such as theories with bound states and theories with non-diagonal scatterings. Such generalizations have been discussed for g-functions in [36, 37, 106] and we do not foresee fundamental obstacles in performing the same analysis for crosscaps. In particular, it would be interesting to study the WZNW model (cf. [106]) and test it against the CFT predictions at UV and IR fixed points.
On the spin-chain side, it would be interesting to find a generalization to higher-rank spin chains and derive determinant formulas for the overlaps. In higher-rank spin chains, one can consider more general crosscap states in which one combines the antipodal identification with the \({\mathbb {Z}}_2\) symmetry of the theory. In the case of g-functions, the detailed form of the determinants depends on the choice of the outer automorphism of the symmetry algebra [30, 35, 36, 107]. It is natural to expect that this freedom also exists for the crosscaps and is related to the choice of the \({\mathbb {Z}}_2\) symmetry mentioned above. It would be interesting to work this out in examples and classify integrable crosscap states. Also, such generalizations would provide an ideal setup for studying the transformation property of the overlap formula under the change of gradings [107, 108], thanks to the absence of non-universal prefactors.
Proof of the spin-chain overlap formula At a more technical level, it would be desirable to analytically prove our overlap formula (4.17) for the spin-chain crosscap states. There are several possible strategies; mapping the system to a lattice model [23, 109], using the algebraic Bethe ansatz and separation of variables [110], directly working with the coordinate Bethe ansatz [104], or developing a systematic algebraic approach as was recently achieved in [111] for the boundary states.
Staircase, \({\mathbb {Z}}_2\)-orbifold and fermionization The \({\mathbb {Z}}_2\)-orbifolded staircase model, which we conjectured to describe the flows between D-series minimal models, deserves further study. For instance, it would be interesting to compute boundary entropies and confirm the agreement with CFT. The same comment applies also to the fermionic staircase model, which we expect to describe the flows between fermionic minimal models. Note that the crosscap states in fermionic minimal models have not been fully analyzed in the literature, and it is by itself an interesting problem. More generally, the \({\mathbb {Z}}_2\)-orbifold and the fermionization discussed in Sect. 3 can be applied to any integrable quantum field theory with \({\mathbb {Z}}_2\)-symmetry. In particular, it would be interesting to study the fermionic version of the sinh-Gordon model, for which a direct Lagrangian description does not exist. (This is in contrast to the sine-Gordon model, whose fermionic version is the massive Thirring model). Another interesting question is to study generalizations such as \({\mathbb {Z}}_k\)-orbifolding and \({\mathbb {Z}}_k\)-parafermionization of integrable field theories. See [112] for \({\mathbb {Z}}_k\)-parafermionization of minimal models and [113] for the groupoid structures of orbifolding and fermionization, and the connection to 3d TQFT.
\({\varvec{p}}\)-Theorem? We found that the crosscap entropy decreases monotonically along the RG flow of the staircase model, which contains infinitely many flows between A-series minimal models as its limit. On the other hand, the result for the \({\mathbb {Z}}_2\)-orbifolded staircase model starts to increase in the deep infrared in the vicinity of the \({\mathbb {Z}}_2\)-symmetry broken phase, where the theory becomes fully massive. However, we would like to emphasize that even for the orbifolded model the p-function decreases for most part of the flow, and in particular it is monotonic along the massless flows between D-series minimal models. So far, the connection between the monotonicity and the spontaneous symmetry breaking is just an empirical observation and it is desirable to study other theories to understand it better. Even more interesting would be to prove the monotonicity of the crosscap entropy under certain assumptions.Footnote 21 by generalizing the proofs for the g-function [47, 114, 115].
Alternative formulation Recently, there have been several works which attempted to derive an alternative representation for the g-function; either based on the integral equation of the TBA type (called the “Tracy-Widom TBA”) [116] or based on separation of variables [116, 117]. One unsatisfactory feature of all these works is that they only give a ratio of Fredholm determinants and one has to multiply a non-universal prefactor in order to get the full g-function. As we saw in this paper, such a non-universal prefactor is absent in the crosscap overlap. This makes the crosscap overlap an ideal target for these new approaches and motivates further studies.
Application to string theory and holography Historically, one of the motivations for studying the crosscap states in 2d CFT came from string theory on orientifold backgrounds. Our results generalize the construction of crosscaps in 2d CFT to integrable theories, and are potentially useful for string theory for which the worldsheet dynamics is integrable, e.g. type IIB string theory on AdS\(_5\times \)S\(^5\). Famous examples of orientifolds of AdS\(_5\times \)S\(^5\) are those dual to \({\mathcal {N}}=4\) SYM with SO(N) or Sp(N) gauge groups [118] (see also the discussion in the context of integrability of \({\mathcal {N}}=4\) SYM [119]). However, the crosscap overlaps vanish in these examples since they are dual to vacuum one-point functions of local operators, which are zero due to conformal symmetry. In order to apply our techniques and obtain nontrivial results, one needs to find a setup in which the conformal symmetry is partially broken by the orientifold. Work in this direction is in progress [120]. Finding such a setup in AdS/CFT is important also from a broader point of view, as this could provide a non-perturbative definition of orientifold planes, which play a key role in various model buildings in string phenomenology including the construction of de Sitter vacua, see e.g. [121, 122].
Conclusion Needless to say, the list above is not exhaustive, and there are certainly many other open questions. For instance, the crosscap states are important for understanding topological phases in \(2+1\) dimensions protected by the reflection symmetry (see e.g. [123]). It would be interesting see if our construction in spin chains has any implication on it. We hope that our findings will pave the way for exciting and unexpected future developments.
Data Availability
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
Notes
This is more like a technical term used in the integrability literature and should not be confused with the standard use of the word “universal” in quantum field theory, which refers to the scheme independence or the absence of the counter-term ambiguity. In fact, the boundary entropy, which is independent of the counter term ambiguity, receives contributions both from the “universal part” and the “non-universal prefactor”.
The counter terms that one can write for the Klein bottle partition function give extensive contributions; namely they are proportional to RL, which can be removed by taking a ratio with a torus partition function as discussed in [44].
In the literature, the states which are invariant under the sign flip of momenta are often called unpaired states while the states which are not invariant are called the paired states (simply because such states come in pairs). The unpaired states are known to be annihilated by infinitely many odd spin charges. See [55] for discussions in the context of spin chain.
The result is given by a product of an exponentially decaying piece which comes from the evaluation of the action at the saddle point, and the O(1) piece that comes from the one-loop fluctuations around the saddle point. The former gives the ground energy in the tree channel while the latter gives the crosscap overlap. For details, see e.g. [36].
For two non-identical boundaries, the total reflection phase is given by a product of the left and the right reflection phases \(R_{L}(-p)R_{R}(p)\). Here we used the relation \(R_{L}(-p)=R_{R}(p)\), which holds for identical boundaries.
In the literature, one often writes the results in terms of the “pseudo energy” \(\epsilon (u)\): \(Y(u)=e^{-\epsilon (u)}\).
The second equality comes from \( \partial _u\log S(u,v)-\partial _v\log S(v,u)=\partial _u \log S(u,v)+\partial _u \log S(v,u)=0\).
For instance, for orientifolds in string theory, the overlap can be negative reflecting the negative tension of the orientifold plane.
See also [57] for a related discussion on integrability in lattices with boundaries.
We thank Yifan Wang for asking a clarifying question.
Alternatively, we can achieve the gauging by inserting a \({\mathbb {Z}}_2\) line defect P in all possible ways. This is because the combination \(1+P\) inserted along a spatial circle realizes the projection to \({\mathbb {Z}}_2\)-invariant states while P inserted on a time circle gives the twisted sector.
As discussed in Appendix A of [67], one can argue more generally that, if the \({\mathbb {Z}}_2\)-symmetry of the original theory is unbroken, the emergent \({\mathbb {Z}}_2\)-symmetry of the orbifolded theory must be broken and vice versa.
Note however that we are making an assumption in the computation that the scalar primaries have eigenvalues \(+1\). See a paragraph below (3.10).
This is roughly because the \({\mathbb {Z}}_2\)-odd excitation in the original theory comes attached to a \({\mathbb {Z}}_2\) Wilson line after fermionization and that gives an extra \(-1\) factor upon exchanging particles.
In the application to \({\mathcal {N}}=4\) SYM, the generator \(S_{+}\) is identified with a covariant derivative along a lightcone direction \(D_{+}\).
Here we defined the norm using the two-point function in \({\mathcal {N}}=4\) SYM. This is slightly different from the standard spin-chain norm since it does not involve the complex conjugation of the wave functions. For more details, see Appendix C of [36].
We thank an anonymous referee of Journal of Statistical Physics for pointing this out and suggesting to include it in the paper.
Another unconventional feature of the p-function is that it is not constant on the conformal manifold as can be seen explicitly in the compactified free boson CFT [46] We thank also Yifan Wang for bringing this to our attention.
References
Kondo, J.: Resistance minimum in dilute magnetic alloys. Prog. Theor. Phys. 32, 37 (1964)
Ishibashi, N.: The boundary and crosscap states in conformal field theories. Mod. Phys. Lett. A 4, 251 (1989). https://doi.org/10.1142/S0217732389000320
Cardy, J.L.: Boundary conditions, fusion rules and the Verlinde formula. Nucl. Phys. B 324, 581 (1989). https://doi.org/10.1016/0550-3213(89)90521-X
Cardy, J.L., Lewellen, D.C.: Bulk and boundary operators in conformal field theory. Phys. Lett. B 259, 274 (1991). https://doi.org/10.1016/0370-2693(91)90828-E
Behrend, R.E., Pearce, P.A., Petkova, V.B., Zuber, J.-B.: On the classification of bulk and boundary conformal field theories. Phys. Lett. B 444, 163 (1998). https://doi.org/10.1016/S0370-2693(98)01374-4. arXiv:hep-th/9809097
Behrend, R.E., Pearce, P.A., Petkova, V.B., Zuber, J.-B.: Boundary conditions in rational conformal field theories. Nucl. Phys. B 570, 525 (2000). https://doi.org/10.1016/S0550-3213(99)00592-1. arXiv:hep-th/9908036
Ghoshal, S., Zamolodchikov, A.B.: Boundary S matrix and boundary state in two-dimensional integrable quantum field theory. Int. J. Mod. Phys. A 9, 3841 (1994). https://doi.org/10.1142/S0217751X94001552. arXiv:hep-th/9306002
Dorey, P., Runkel, I., Tateo, R., Watts, G.: g function flow in perturbed boundary conformal field theories. Nucl. Phys. B 578, 85 (2000). https://doi.org/10.1016/S0550-3213(99)00772-5. arXiv:hep-th/9909216
Dorey, P., Rim, C., Tateo, R.: Exact g-function flow between conformal field theories. Nucl. Phys. B 834, 485 (2010). https://doi.org/10.1016/j.nuclphysb.2010.03.010. arXiv:0911.4969
Dorey, P., Fioravanti, D., Rim, C., Tateo, R.: Integrable quantum field theory with boundaries: the exact g function. Nucl. Phys. B 696, 445 (2004). https://doi.org/10.1016/j.nuclphysb.2004.06.045. arXiv:hep-th/0404014
Dorey, P., Tateo, R., Wilbourne, R.: Exact g-function flows from the staircase model. Nucl. Phys. B 843, 724 (2011). https://doi.org/10.1016/j.nuclphysb.2010.10.009. arXiv:1008.1190
Affleck, I., Ludwig, A.W.W.: The Kondo effect, conformal field theory and fusion rules. Nucl. Phys. B 352, 849 (1991). https://doi.org/10.1016/0550-3213(91)90109-B
Affleck, I., Ludwig, A.W.W.: Critical theory of overscreened Kondo fixed points. Nucl. Phys. B 360, 641 (1991). https://doi.org/10.1016/0550-3213(91)90419-X
Andrei, N.: Diagonalization of the Kondo Hamiltonian. Phys. Rev. Lett. 45, 379 (1980). https://doi.org/10.1103/PhysRevLett.45.379
Wiegmann, P.: Exact solution of the sd exchange model (Kondo problem). J. Phys. C: Solid State Phys. 14, 1463 (1981)
Calabrese, P., Cardy, J.L.: Time-dependence of correlation functions following a quantum quench. Phys. Rev. Lett. 96, 136801 (2006). https://doi.org/10.1103/PhysRevLett.96.136801. arXiv:cond-mat/0601225
Calabrese, P., Cardy, J.: Entanglement and correlation functions following a local quench: a conformal field theory approach. J. Stat. Mech. 0710, P10004 (2007). https://doi.org/10.1088/1742-5468/2007/10/P10004. arXiv:0708.3750
Caux, J.-S., Essler, F.H.L.: Time evolution of local observables after quenching to an integrable model. Phys. Rev. Lett. 110, 257203 (2013). https://doi.org/10.1103/PhysRevLett.110.257203. arXiv:1301.3806
Caux, J.-S.: The quench action. J. Stat. Mech. 1606, 064006 (2016). https://doi.org/10.1088/1742-5468/2016/06/064006. arXiv:1603.04689
Brockmann, M., De Nardis, J., Wouters, B., Caux, J.-S.: A gaudin-like determinant for overlaps of néel and xxz bethe states. J. Phys. A: Math. Theor. 47, 145003 (2014)
Brockmann, M., De Nardis, J., Wouters, B., Caux, J.-S.: Néel-xxz state overlaps: odd particle numbers and Lieb–Liniger scaling limit. J. Phys. A: Math. Theor. 47, 345003 (2014)
Pozsgay, B.: Overlaps between eigenstates of the xxz spin-1/2 chain and a class of simple product states. J. Stat. Mech. Theory Exp, 2014, P06011 (2014)
Foda, O., Zarembo, K.: Overlaps of partial Néel states and Bethe states. J. Stat. Mech. 1602, 023107 (2016). https://doi.org/10.1088/1742-5468/2016/02/023107. arXiv:1512.02533
Pozsgay, B.: Overlaps with arbitrary two-site states in the XXZ spin chain. J. Stat. Mech. 1805, 053103 (2018). https://doi.org/10.1088/1742-5468/aabbe1. arXiv:1801.03838
Piroli, L., Vernier, E., Calabrese, P., Pozsgay, B.: Integrable quenches in nested spin chains I: the exact steady states. J. Stat. Mech. 1906, 063103 (2019). https://doi.org/10.1088/1742-5468/ab1c51. arXiv:1811.00432
Pozsgay, B., Piroli, L., Vernier, E.: Integrable matrix product states from boundary integrability. SciPost Phys. 6, 062 (2019). https://doi.org/10.21468/SciPostPhys.6.5.062. arXiv:1812.11094
De Leeuw, M., Gombor, T., Kristjansen, C., Linardopoulos, G., Pozsgay, B.: Spin chain overlaps and the twisted Yangian. JHEP 01, 176 (2020). https://doi.org/10.1007/JHEP01(2020)176. arXiv:1912.09338
Piroli, L., Pozsgay, B., Vernier, E.: Non-analytic behavior of the Loschmidt echo in XXZ spin chains: Exact results. Nucl. Phys. B 933, 454 (2018). https://doi.org/10.1016/j.nuclphysb.2018.06.015. arXiv:1803.04380
Maldacena, J.M.: The Large N limit of superconformal field theories and supergravity. Adv. Theor. Math. Phys. 2, 231 (1998). https://doi.org/10.1023/A:1026654312961. arXiv:hep-th/9711200
de Leeuw, M., Kristjansen, C., Zarembo, K.: One-point functions in defect CFT and integrability. JHEP 08, 098 (2015). https://doi.org/10.1007/JHEP08(2015)098. arXiv:1506.06958
Buhl-Mortensen, I., de Leeuw, M., Kristjansen, C., Zarembo, K.: One-point functions in AdS/dCFT from matrix product states. JHEP 02, 052 (2016). https://doi.org/10.1007/JHEP02(2016)052. arXiv:1512.02532
Buhl-Mortensen, I., de Leeuw, M., Ipsen, A.C., Kristjansen, C., Wilhelm, M.: Asymptotic one-point functions in gauge-string duality with defects. Phys. Rev. Lett. 119, 261604 (2017). https://doi.org/10.1103/PhysRevLett.119.261604. arXiv:1704.07386
Komatsu, S., Wang, Y.: Non-perturbative defect one-point functions in planar \({\cal{N}} =4\) super-Yang-Mills. Nucl. Phys. B 958, 115120 (2020). https://doi.org/10.1016/j.nuclphysb.2020.115120. arXiv:2004.09514
Gombor, T., Bajnok, Z.: Boundary states, overlaps, nesting and bootstrapping AdS/dCFT. JHEP 10, 123 (2020). https://doi.org/10.1007/JHEP10(2020)123. arXiv:2004.11329
Gombor, T., Bajnok, Z.: Boundary state bootstrap and asymptotic overlaps in AdS/dCFT. JHEP 03, 222 (2021). https://doi.org/10.1007/JHEP03(2021)222. arXiv:2006.16151
Jiang, Y., Komatsu, S., Vescovi, E.: Structure constants in \( {\cal{N}} \) = 4 SYM at finite coupling as worldsheet g-function. JHEP 07, 037 (2020). https://doi.org/10.1007/JHEP07(2020)037. arXiv:1906.07733
Jiang, Y., Komatsu, S., Vescovi, E.: Exact three-point functions of determinant operators in planar \(N=4\) supersymmetric Yang–Mills theory. Phys. Rev. Lett. 123, 191601 (2019). https://doi.org/10.1103/PhysRevLett.123.191601. arXiv:1907.11242
Yang, P., Jiang, Y., Komatsu, S., Wu, J.-B.: Three-Point Functions in ABJM and Bethe Ansatz. arXiv:2103.15840
Sagnotti, A.: Open Strings and their Symmetry Groups, in NATO Advanced Summer Institute on Nonperturbative Quantum Field Theory (Cargese Summer Institute), 9, (1987). arXiv:hep-th/0208020
Fioravanti, D., Pradisi, G., Sagnotti, A.: Sewing constraints and nonorientable open strings. Phys. Lett. B 321, 349 (1994). https://doi.org/10.1016/0370-2693(94)90255-0. arXiv:hep-th/9311183
Pradisi, G., Sagnotti, A., Stanev, Y.S.: Completeness conditions for boundary operators in 2-D conformal field theory. Phys. Lett. B 381, 97 (1996). https://doi.org/10.1016/0370-2693(96)00578-3. arXiv:hep-th/9603097
Angelantonj, C., Sagnotti, A.: Open strings. Phys. Rept. 371, 1 (2002). https://doi.org/10.1016/S0370-1573(02)00273-9. arXiv:hep-th/0204089
Affleck, I., Ludwig, A.W.W.: Universal noninteger “ground state degeneracy’’ in critical quantum systems. Phys. Rev. Lett. 67, 161 (1991). https://doi.org/10.1103/PhysRevLett.67.161
Tu, H.-H.: Universal entropy of conformal critical theories on a Klein bottle. Phys. Rev. Lett. 119, 261603 (2017). https://doi.org/10.1103/PhysRevLett.119.261603. arXiv:1707.05812
García-Compeán, H., Quiroz, N.: On the topological and crosscap entropies in non-oriented RCFTs. Eur. Phys. J. Plus 136, 881 (2021). https://doi.org/10.1140/epjp/s13360-021-01878-y. arXiv:1811.07238
Tang, W., Xie, X.C., Wang, L., Tu, H.-H.: Klein bottle entropy of compactified boson conformal field theory. Phys. Rev. B 99, 115105 (2019). https://doi.org/10.1103/PhysRevB.99.115105. arXiv:1805.01300
Cuomo, G., Komargodski, Z., Raviv-Moshe, A.: Renormalization Group Flows on Line Defects. arXiv:2108.01117
LeClair, A., Mussardo, G., Saleur, H., Skorik, S.: Boundary energy and boundary states in integrable quantum field theories. Nucl. Phys. B 453, 581 (1995). https://doi.org/10.1016/0550-3213(95)00435-U. arXiv:hep-th/9503227
Woynarovich, F.: O(1) contribution of saddle point fluctuations to the free energy of Bethe Ansatz systems. Nucl. Phys. B 700, 331 (2004). https://doi.org/10.1016/j.nuclphysb.2004.08.043. arXiv:cond-mat/0402129
Pozsgay, B.: On O(1) contributions to the free energy in Bethe Ansatz systems: the exact g-function. JHEP 08, 090 (2010). https://doi.org/10.1007/JHEP08(2010)090. arXiv:1003.5542
Zamolodchikov, A.B.: Thermodynamic Bethe Ansatz in relativistic models. scaling three state Potts and Lee-yang models. Nucl. Phys. B 342, 695 (1990). https://doi.org/10.1016/0550-3213(90)90333-9
Kostov, I., Serban, D., Vu, D.-L.: Boundary TBA, trees and loops. Nucl. Phys. B 949, 114817 (2019). https://doi.org/10.1016/j.nuclphysb.2019.114817. arXiv:1809.05705
Kostov, I.: Effective quantum field theory for the thermodynamical Bethe Ansatz. JHEP 02, 043 (2020). https://doi.org/10.1007/JHEP02(2020)043. arXiv:1911.07343
Dorey, P., Tateo, R.: Excited states by analytic continuation of TBA equations. Nucl. Phys. B 482, 639 (1996). https://doi.org/10.1016/S0550-3213(96)00516-0. arXiv:hep-th/9607167
Kristjansen, C.: Review of AdS/CFT integrability, Chapter IV.1: aspects of non-planarity. Lett. Math. Phys. 99, 349 (2012). https://doi.org/10.1007/s11005-011-0514-9. arXiv:1012.3997
Piroli, L., Pozsgay, B., Vernier, E.: What is an integrable quench? Nucl. Phys. B 925, 362 (2017). https://doi.org/10.1016/j.nuclphysb.2017.10.012. arXiv:1709.04796
Frassek, R.: Boundary perimeter Bethe Ansatz. J. Phys. A 50, 265202 (2017). https://doi.org/10.1088/1751-8121/aa7278. arXiv:1703.10842
Zamolodchikov, A.B.: Resonance factorized scattering and roaming trajectories.
Dorey, P.: Exact S matrices, in Eotvos Summer School in Physics: Conformal Field Theories and Integrable Models, pp. 85–125, 8, (1996), arXiv:hep-th/9810026
Tsiares, I.: Universal Dynamics in Non-Orientable CFT\(_2\). arXiv:2011.09250
Blumenhagen, R., Plauschinn, E.: Introduction to conformal field theory: with applications to String theory. 77 (2009), https://doi.org/10.1007/978-3-642-00450-6
Onogi, T., Ishibashi, N.: Conformal field theories on surfaces with boundaries and crosscaps. Mod. Phys. Lett. A 04, 161 (1989). https://doi.org/10.1142/S0217732389000228
Di Francesco, P., Mathieu, P., Senechal, D.: Conformal Field Theory. Graduate Texts in Contemporary Physics. Springer, New York (1997). https://doi.org/10.1007/978-1-4612-2256-9
Hsieh, C.-T., Nakayama, Y., Tachikawa, Y.: Fermionic minimal models. Phys. Rev. Lett. 126, 195701 (2021). https://doi.org/10.1103/PhysRevLett.126.195701. arXiv:2002.12283
Klassen, T.R., Melzer, E.: RG flows in the D series of minimal CFTs. Nucl. Phys. B 400, 547 (1993). https://doi.org/10.1016/0550-3213(93)90415-L. arXiv:hep-th/9110047
Vafa, C.: Quantum symmetries of string vacua. Mod. Phys. Lett. A 4, 1615 (1989). https://doi.org/10.1142/S0217732389001842
Chai, N., Chaudhuri, S., Choi, C., Komargodski, Z., Rabinovici, E., Smolkin, M.: Symmetry breaking at all temperatures. Phys. Rev. Lett. 125, 131603 (2020). https://doi.org/10.1103/PhysRevLett.125.131603
Kitaev, A.Y.: Unpaired Majorana fermions in quantum wires. Phys. Usp. 44, 131 (2001). https://doi.org/10.1070/1063-7869/44/10S/S29. arXiv:cond-mat/0010440
Petkova, V.B.: Two-dimensional (half) integer spin conformal theories with central charge \(C < 1\). Int. J. Mod. Phys. A 3, 2945 (1988). https://doi.org/10.1142/S0217751X88001235
Furlan, P., Ganchev, A.C., Petkova, V.B.: Fusion matrices and \(C < 1\) (quasi)local conformal theories. Int. J. Mod. Phys. A 5, 2721 (1990). https://doi.org/10.1142/S0217751X90001252
Karch, A., Tong, D., Turner, C.: A web of 2d dualities: \({\bf Z}_2\) gauge fields and Arf invariants. SciPost Phys. 7, 007 (2019). https://doi.org/10.21468/SciPostPhys.7.1.007. arXiv:1902.05550
Runkel, I., Watts, G.M.T.: Fermionic CFTs and classifying algebras. JHEP 06, 025 (2020). https://doi.org/10.1007/JHEP06(2020)025. arXiv:2001.05055
Kulp, J.: Two more fermionic minimal models. JHEP 03, 124 (2021). https://doi.org/10.1007/JHEP03(2021)124. arXiv:2003.04278
Smith, P. B.: Boundary states and anomalous symmetries of fermionic minimal models. arXiv:2102.02203
Fukusumi, Y., Tachikawa, Y., Zheng, Y.: Fermionization and boundary states in 1+1 dimensions. SciPost Phys. 11, 082 (2021). https://doi.org/10.21468/SciPostPhys.11.4.082. arXiv:2103.00746
Ebisu, H., Watanabe, M.: Fermionization of conformal boundary states. arXiv:2103.01101
Klassen, T.R., Melzer, E.: Sine-Gordon not equal to massive Thirring, and related heresies. Int. J. Mod. Phys. A 8, 4131 (1993). https://doi.org/10.1142/S0217751X93001703. arXiv:hep-th/9206114
Gliozzi, F., Scherk, J., Olive, D.I.: Supergravity and the spinor dual model. Phys. Lett. B 65, 282 (1976). https://doi.org/10.1016/0370-2693(76)90183-0
Gliozzi, F., Scherk, J., Olive, D.I.: Supersymmetry, supergravity theories and the dual spinor model. Nucl. Phys. B 122, 253 (1977). https://doi.org/10.1016/0550-3213(77)90206-1
Seiberg, N., Witten, E.: Spin structures in string theory. Nucl. Phys. B 276, 272 (1986). https://doi.org/10.1016/0550-3213(86)90297-X
Skrzypek, T., Tseytlin, A. A.: On type 0 string theory in solvable RR backgrounds, arXiv:2110.14683
Kaidi, J., Parra-Martinez, J., Tachikawa, Y.: Classification of string theories via topological phases. Phys. Rev. Lett. 124, 121601 (2020). https://doi.org/10.1103/PhysRevLett.124.121601. arXiv:1908.04805
Kaidi, J., Parra-Martinez, J., Tachikawa, Y., Debray, w. a. m. a. b. A.: Topological Superconductors on Superstring Worldsheets, SciPost Phys. 9, 10 (2020) https://doi.org/10.21468/SciPostPhys.9.1.010. arXiv:1911.11780
Mussardo, G., Simon, P.: Bosonic type S matrix, vacuum instability and CDD ambiguities. Nucl. Phys. B 578, 527 (2000). https://doi.org/10.1016/S0550-3213(99)00806-8. arXiv:hep-th/9903072
Córdova, L., Negro, S., Massolo, F. I. S.: Thermodynamic Bethe Ansatz past turning points: the (elliptic) sinh-Gordon model, arXiv:2110.14666
Faddeev, L. D.: How algebraic Bethe ansatz works for integrable model, in Les Houches School of Physics: Astrophysical Sources of Gravitational Radiation, pp. 149–219, 5, (1996), arXiv:hep-th/9605187
Korepin, V. E., Bogoliubov, N. M., Izergin, A. G.: Quantum Inverse Scattering Method and Correlation Functions, Cambridge Monographs on Mathematical Physics. Cambridge University Press, Cambridge, (1993), https://doi.org/10.1017/CBO9780511628832
Beisert, N.: The dilatation operator of N=4 super Yang–Mills theory and integrability. Phys. Rept. 405, 1 (2004). https://doi.org/10.1016/j.physrep.2004.09.007. arXiv:hep-th/0407277
Braun, V.M., Derkachov, S.E., Manashov, A.N.: Integrability of three particle evolution equations in QCD. Phys. Rev. Lett. 81, 2020 (1998). https://doi.org/10.1103/PhysRevLett.81.2020. arXiv:hep-ph/9805225
Braun, V.M., Derkachov, S.E., Korchemsky, G.P., Manashov, A.N.: Baryon distribution amplitudes in QCD. Nucl. Phys. B 553, 355 (1999). https://doi.org/10.1016/S0550-3213(99)00265-5. arXiv:hep-ph/9902375
Belitsky, A.V.: Fine structure of spectrum of twist—three operators in QCD. Phys. Lett. B 453, 59 (1999). https://doi.org/10.1016/S0370-2693(99)00326-3. arXiv:hep-ph/9902361
Belitsky, A.V.: Integrability and WKB solution of twist—three evolution equations. Nucl. Phys. B 558, 259 (1999). https://doi.org/10.1016/S0550-3213(99)00402-2. arXiv:hep-ph/9903512
Nakagawa, Y.O., Watanabe, M., Sugiura, S., Fujita, H.: Universality in volume-law entanglement of scrambled pure quantum states. Nat. Commun. 9, 1635 (2018). https://doi.org/10.1038/s41467-018-03883-9. arXiv:1703.02993
Vidmar, L., Rigol, M.: Entanglement entropy of eigenstates of quantum chaotic Hamiltonians. Phys. Rev. Lett. 119, 220603 (2017). https://doi.org/10.1103/PhysRevLett.119.220603. arXiv:1708.08453
Murthy, C., Srednicki, M.: Structure of chaotic eigenstates and their entanglement entropy. Phys. Rev. E 100, 022131 (2019). https://doi.org/10.1103/PhysRevE.100.022131. arXiv:1906.04295
Dong, X., Wang, H.: Enhanced corrections near holographic entanglement transitions: a chaotic case study. JHEP 11, 007 (2020). https://doi.org/10.1007/JHEP11(2020)007. arXiv:2006.10051
Ryu, S., Takayanagi, T.: Holographic derivation of entanglement entropy from AdS/CFT. Phys. Rev. Lett. 96, 181602 (2006). https://doi.org/10.1103/PhysRevLett.96.181602. arXiv:hep-th/0603001
Maloney, A., Ross, S.F.: Holography on non-orientable surfaces. Class. Quant. Grav. 33, 185006 (2016). https://doi.org/10.1088/0264-9381/33/18/185006. arXiv:1603.04426
Verlinde, H.: Poking Holes in AdS/CFT: Bulk Fields from Boundary States, arXiv:1505.05069
Nakayama, Y., Ooguri, H.: Bulk local states and crosscaps in holographic CFT. JHEP 10, 085 (2016). https://doi.org/10.1007/JHEP10(2016)085. arXiv:1605.00334
Minahan, J.A., Polychronakos, A.P.: Integrable systems for particles with internal degrees of freedom. Phys. Lett. B 302, 265 (1993). https://doi.org/10.1016/0370-2693(93)90395-X. arXiv:hep-th/9206046
Kazama, Y., Komatsu, S., Nishimura, T.: Novel construction and the monodromy relation for three-point functions at weak coupling. JHEP 01, 095 (2015). https://doi.org/10.1007/JHEP01(2015)095. arXiv:1410.8533
Jiang, Y., Kostov, I., Petrovskii, A., Serban, D.: String bits and the spin vertex. Nucl. Phys. B 897, 374 (2015). https://doi.org/10.1016/j.nuclphysb.2015.05.029. arXiv:1410.8860
Jiang, Y., Pozsgay, B.: On exact overlaps in integrable spin chains, arXiv:2002.12065
Lagnese, G., Calabrese, P., Piroli, L.: Entanglement dynamics of thermofield double states in integrable models, arXiv:2112.02008
Vu, D.-L., Kostov, I., Serban, D.: Boundary entropy of integrable perturbed SU (2)\(_{k}\) WZNW. JHEP 08, 154 (2019). https://doi.org/10.1007/JHEP08(2019)154. arXiv:1906.01909
Kristjansen, C., Müller, D., Zarembo, K.: Overlaps and fermionic dualities for integrable super spin chains. JHEP 03, 100 (2021). https://doi.org/10.1007/JHEP03(2021)100. arXiv:2011.12192
Kristjansen, C., Müller, D., Zarembo, K.: Duality relations for overlaps of integrable boundary states in AdS/dCFT. JHEP 09, 004 (2021). https://doi.org/10.1007/JHEP09(2021)004. arXiv:2106.08116
Tsuchiya, O.: Determinant formula for the six-vertex model with reflecting end. J. Math. Phys. 39, 5946 (1998)
Gombor, T., Pozsgay, B.: On factorized overlaps: algebraic Bethe Ansatz, twists, and separation of variables. Nucl. Phys. B 967, 115390 (2021). https://doi.org/10.1016/j.nuclphysb.2021.115390. arXiv:2101.10354
Gombor, T.: On exact overlaps for \({\mathfrak{gl}} (N)\) symmetric spin chains, arXiv:2110.07960
Yao, Y., Furusaki, A.: Parafermionization, bosonization, and critical parafermionic theories. JHEP 04, 285 (2021). https://doi.org/10.1007/JHEP04(2021)285. arXiv:2012.07529
Gaiotto, D., Kulp, J.: Orbifold groupoids. JHEP 02, 132 (2021). https://doi.org/10.1007/JHEP02(2021)132. arXiv:2008.05960
Friedan, D., Konechny, A.: On the boundary entropy of one-dimensional quantum systems at low temperature. Phys. Rev. Lett. 93, 030402 (2004). https://doi.org/10.1103/PhysRevLett.93.030402. arXiv:hep-th/0312197
Casini, H., Landea, I.S., Torroba, G.: The g-theorem and quantum information theory. JHEP 10, 140 (2016). https://doi.org/10.1007/JHEP10(2016)140. arXiv:1607.00390
Caetano, Ja., Komatsu, S.: Functional equations and separation of variables for exact \(g\)-function. JHEP 09, 180 (2020). https://doi.org/10.1007/JHEP09(2020)180. arXiv:2004.05071
Cavaglià, A., Gromov, N., Levkovich-Maslyuk, F.: Separation of variables in AdS/CFT: functional approach for the fishnet CFT. JHEP 06, 131 (2021). https://doi.org/10.1007/JHEP06(2021)131. arXiv:2103.15800
Witten, E.: Baryons and branes in anti-de Sitter space. JHEP 07, 006 (1998). https://doi.org/10.1088/1126-6708/1998/07/006. arXiv:hep-th/9805112
Caputa, P., Kristjansen, C., Zoubos, K.: On the spectral problem of N=4 SYM with orthogonal or symplectic gauge group. JHEP 10, 082 (2010). https://doi.org/10.1007/JHEP10(2010)082. arXiv:1005.2611
In progress,
Córdova, C., De Luca, G.B., Tomasiello, A.: Classical de Sitter solutions of 10-dimensional supergravity. Phys. Rev. Lett. 122, 091601 (2019). https://doi.org/10.1103/PhysRevLett.122.091601. arXiv:1812.04147
Córdova, C., De Luca, G.B., Tomasiello, A.: New de Sitter solutions in ten dimensions and orientifold singularities. JHEP 08, 093 (2020). https://doi.org/10.1007/JHEP08(2020)093. arXiv:1911.04498
Cho, G.Y., Hsieh, C.-T., Morimoto, T., Ryu, S.: Topological phases protected by reflection symmetry and cross-cap states. Phys. Rev. B 91, 195142 (2015). https://doi.org/10.1103/PhysRevB.91.195142. arXiv:1501.07285
Acknowledgements
We thank Leonardo Rastelli for discussions on related topics. We also thank Ivan Kostov, Shu-Heng Shao and especially Yifan Wang for valuable comments on the manuscript.
Funding
Open access funding provided by CERN (European Organization for Nuclear Research).
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by T. Prosen.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Caetano, J., Komatsu, S. Crosscap States in Integrable Field Theories and Spin Chains. J Stat Phys 187, 30 (2022). https://doi.org/10.1007/s10955-022-02914-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10955-022-02914-6