-Boson model and relations with integrable hierarchies
Abstract.
This work investigates the intricate relationship between the q-boson model, a quantum integrable system, and classical integrable systems such as the Toda and KP hierarchies. Initially, we analyze scalar products of off-shell Bethe states and explore their connections to tau functions of integrable hierarchies. Furthermore, we discuss correlation functions within this formalism, examining their representations in terms of tau functions, as well as their Schur polynomial expansions.
Key words and phrases:
Integrability, Bethe states, Schur, Hall-Littlewood, Toda, KP2020 Mathematics Subject Classification:
82B20, 82B23Contents
1. Introduction
The exploration of connections between quantum and classical exactly solvable models constitutes a significant endeavor aimed at elucidating the overarching structure of integrable systems. This research avenue has yielded fruitful insights, as evidenced by [Its:1992bj, Foda:2009zz, Alexandrov:2011aa, Araujo:2021ghu], to name a few. The present work is situated within this research field.
Here, we examine the emergence of classical integrable structures within correlation functions of the q-boson system. This quantum integrable system describes q-deformed bosons confined to a one-dimensional chain [Bogoliubov:1992, Bogoliubov:1997soj, Bogoliubov2005]. Notably, this model bears close relation to the AL (Ablowitz-Ladik) model, which is an integrable discretization of the nonlinear Schrödinger equation.
In [Bogoliubov2005], the author demonstrates that the limit of the q-boson, known as the phase model, is associated with the enumeration of plane partitions. This connection allows for a Schur polynomials expansion for the Bethe states. Subsequently, this result was extended to in [Tsilevich:2006], where the Bethe states are expressed in terms of Hall-Littlewood polynomials.
The authors of [Foda:2008hn, Wheeler:2010vmq] utilize a rich set of dualities between the ring of symmetric functions and -deformations of the Heisenberg algebra [**g1991, **g1995] to explore the combinatorial properties of this spin chain. As a consequence, it has been shown that the scalar product of off-shell Bethe states are restricted tau functions of the KP (Kadomtsev-Petviashvili) hierarchy.
This underlying combinatorial structure underscores the significance of this model in various physical phenomena, notably in the context of crystal melting and string theory [Okounkov:2003sp, Saulina:2004da]. The application of the q-boson model in these contexts has been demonstrated in [Sulkowski:2008mx], with the string data recoverable as the chain length approaches infinity.
This paper builds upon these developments and aims to extend some of these results. Firstly, we investigate the connections between the scalar product and tau functions, exploring them in a wider context, particularly in the case of the Toda hierarchy [Takasaki:2018wsv]. It is important to note that both the AL and the KP hierarchies are reductions of the Toda hierarchy. This paper takes steps towards resolving this problem, which is instrumental in understanding the finer details of these relationships.
Additionally, we explore other correlation functions within this model and examine how they fit into the classical integrable context. It is noteworthy that even when the object is not a tau function itself, it may have an interesting expansion in terms of different types of Schur polynomials, highlighting some of its combinatorial properties111Results involving Schur and Hall-Littlewood polynomials have been confirmed using the software [Araujo:2024piv].. We also investigate some of these expansions in this paper.
In Section 2, we provide a review of the phase model and q-bosons. This section serves to establish notation and emphasize the key aspects relevant to our analysis. Section 3 delves into the analysis of the phase model and its connections with the KP and Toda integrable hierarchies. We explore the general expansion of a phase model correlation function that yields a Toda system solution. In Section 4, we shift our focus to the q-bosons. We discuss a determinantal formula for the scalar product of two off-shell Bethe states and its expansion in terms of big, supersymmetric Schur functions, as well as in terms of Kostka-Foulkes polynomials. Finally, in Section 5, we conclude with an overview of open problems.
2. Phase Model and q-Bosons
This section introduces the phase and -boson models [Bogoliubov:1992, Bogoliubov:1997soj, Bogoliubov2005, Tsilevich:2006]. It serves as a comprehensive review of existing literature, offering insights into established concepts. While the content does not introduce novel ideas, its presentation adds value, particularly from a pedagogical standpoint. In structuring this discussion, we adopt certain conventions from [Wheeler:2010vmq], while aligning our presentation style more closely with that of [Tsilevich:2006].
2.1. Phase model
Consider the set of operators such that
(1) |
where is the vacuum projection operator. These operators can be written as
(2) |
and it is easy to see that and .
The Hamiltonian is given by
(3) |
where is the total number operator, and we also impose periodic boundary conditions and .
These operators appear in the context of quantum optics, and for this reason, this model is referred to as the phase model. It corresponds to the strongly correlated limit of the -bosons model [Bogoliubov:1997soj], which we will define shortly.
2.1.1. Representation
The representation of the phase model algebra is constructed using the vacuum state defined by by . In this context, the state with bosons (oscillators) is given by .
Given the vacuum , the Fock space is defined as
(4) |
where the states are defined as
(5) |
with . Moreover, it is easy to see that these states are normalized, that is . Finally, the actions of the operators and are
(6) |
Given a state , we associate a partition . It’s worth noting that this correspondence is not unique, as the partition does not account for the number of particles . If the total number of particles is known, we can determine , where represents the number of rows in the Young diagram defined by partition . This aspect is crucial because, in our subsequent considerations, the particle sector remains fixed owing to the integrability of the model. Consequently, the value of becomes known once we specify the partition .
Finally, based on the correspondence we mentioned in the introduction, Wheeler [Wheeler:2010vmq] defines a map , where denotes the Fock space of charged free fermions constructed from the neutral (fermionic) vacuum.
2.1.2. Bethe Ansatz
The -matrix is given by
(7) |
where . We also have the monodromy matrix
(8) |
With these expressions, one can finally build the Bethe states
(9) |
where and .
When the coordinates satisfy the Bethe equations
(10) |
we say that the Bethe states are on-shell; otherwise, we have off-shell states. In what follows, we will only consider off-shell states.
2.2. q-Bosons
The set of operators constitute independent q-boson algebras defined by
(11) |
where we denote the deformation parameter as .
The q-boson model is characterized by its Hamiltonian
(12) |
where , and we also impose periodic boundary conditions and .
In the limit , the q-bosons behave as ordinary bosons, while the limit () corresponds to the phase model discussed earlier.
2.2.1. Representation
Let us define the -th vacuum such that . The representation of this Hilbert space, denoted by , is defined by the states .
Given the vacuum , the Fock space is defined as
(13) |
where the actions of the operators are given by the following relations
(14a) | |||||
(14b) |
Consequently, the states are
(15) |
where we write . Moreover, this space has an inner product that satisfies
(16) |
Similar to the phase model, we can associate to a given states , a Young diagram . It is useful to define a proportionaly factor relating these two objects
(17) |
where denotes the number of parts of size in the partition. These partition states satisfy . Once again, we see that the correspondence is not unique, as the number of oscillators at site is completely ignored in the partition notation. Finally, if the number of particles is fixed, then .
2.2.2. Bethe Ansatz
The -operator for the q-boson is given by
(18) |
and the monodromy matrix is
(19) |
As before, the eigenstates of the Hamiltonian have the form
(20) |
where and . When the parameters satisfy the Bethe equations given by
(21) |
we have on-shell Bethe states; otherwise, they are off-shell states.
3. Tau functions in the phase model
This section explores the presence of integrable hierarchies in the phase model. We demonstrate its relations with the Toda hierarchy tau function and discuss some implications, particularly its connection to a matrix model. We also argue that these results imply that the scalar products in the model also serve as KP hierarchy tau functions, consistent with the findings of Wheeler [Wheeler:2010vmq]. Additionally, we highlight the existence of correlation functions in this model that satisfy the KP hierarchy equations.
Bogoliubov [Bogoliubov2005] has demonstrated that the scalar product of two vectors in the -particle sector of a chain with length is
(22) |
where is an matrix with components
(23) |
3.1. Toda tau functions
We now argue that the scalar product defined above is a tau function of the Toda hierarchy. Let us first write the function as the geometric sum
(24) |
Hence, we express the determinant of the matrix as
(25) |
Furthermore, we can interpret this expression as the result of multiplying an matrix by another matrix , which are given by
(26) |
therefore
(27) |
If we now define , and using (22), we have
(28) |
where and are Vandermonde determinants. This formula agrees with the Schur expansion defined in [Bogoliubov2005].
Define two sets of Miwa coordinates and by
(29) |
where are power sums. One can write the inner product in terms of these coordinates, that is
(30) |
This expression is known to be a tau function for . As such, utilizing the free fermions representation [Alexandrov:2012tr], it can be written as
(31) |
It is a tau function of the Toda hierarchy with trivial element , and it is nothing but the Cauchy’s identity
(32) |
Bringing all these facts together, the truncation for finite and also yields tau functions of the Toda hierarchy. More specifically, according to [Alexandrov:2012tr, Kharchev:1991gd, Zabrodin:2010ii], the truncation of the tau function corresponds to the inclusion of a projection operator in the expectation value of the tau function written in the fermionic representation.
As a final remark, we can also write
(33) |
with if and otherwise. In this case, one can define a diagonal matrix . Consequently, if we repeat the arguments above, we find
(34) |
Here, is equal to if , and it is zero otherwise.
In this case, we find that this tau function is a trivial example of the tau functions considered in [orlov:2001]. We anticipate that in the analysis of more general correlation functions, the diagonal terms will be more interesting. We will revisit this discussion soon.
3.1.1. Matrix Models
It is also interesting to note the particular case when , but with a finite number of particles . In this case, the partitions satisfy the condition . Therefore, the scalar product (28) becomes
(35) |
From [Zabrodin:2010ii], we know that this expression can be written as the following integral
(36) |
where
(37) |
See also [Kharchev:1991gd] for a detailed proof of this relation, and [Orlov:2005] for other details.
From the results of [Zabrodin:2010ii], see citations therein, we have an interesting consequence of this representation. Impose the Bethe equations (10) to one set of variables, say . Additionally, let us set . In this particular case, we have
(38) |
Then, the phase model is equivalent to an ensemble of 2D Coulomb particles on a circle. In this case, we find that the quantities are eigenvalues of a matrix .
Furthermore, according to Zabrodin [Zabrodin:2010ii], see citations therein, we also know that under the rescaling , and , we obtain the dispersion limit tau function
(39) |
that is a free energy, from the viewpoit of the matrix integral partition function.
It remains unclear how one can use this fact to determine properties of the integrable model, but it might be possible to study the analytic structure of the free energy to gain some understanding of the Bethe roots . This problem is currently under further investigation, and we hope to report new results elsewhere.
3.1.2. KP tau function
Lastly, one may also observe that if we fix one set of coordinates, say , then we can write
(40) |
with coefficients . But now, it is trivial to notice that these are Plücker coordinates in the Jacobi-Trudi form, as seen in [Miwa2000, Alexandrov:2012tr].
Hence, the following expression
(41) |
is also a KP tau function, a fact that we already know from [Wheeler:2010vmq], where the author proved this statement using the free fermions formalism.
3.2. Correlation functions
Bogoliubov has also shown, in [Bogoliubov2005], that the correlation functions
(42a) | |||
can be written as | |||
(42b) |
where is an matrix with components
(43) |
and are the components of the matrix in (23). The components are independent of the coordinates ; therefore, we cannot express the above expression as a Toda hierarchy tau function.
We already know from (22) that
(44) |
then
(45) |
and we treat the coordinates as a set of fixed parameters.
Furthermore, we define vector field , where its components are given by
(46) |
As before, we expand , , as the geometric sum
(47) |
We can also express the function in this form by setting and requiring to be an even integer.
With these definitions, we conclude that
(48) |
From the expansion
(49) |
and utilizing the Cauchy-Binet formula, we get
(50) |
We now use the definition of the Schur polynomials and the Jacobi-Trudi expression of Plücker coordinates, as detailed in [Alexandrov:2012tr], leading to the following expression:
(51) |
where , . Putting all these facts together, we conclude that this expression is also a KP tau function.
This expression underscores the non-trivial nature of these tau functions within the model. However, it also implies the existence of other intriguing examples awaiting exploration. Let us now briefly investigate other cases.
3.2.1. Skew Schur polynomials expansion
It has also been demonstrated in [Bogoliubov2005, Tsilevich:2006] that the Bethe states exhibit a coordinate expansion
(52) |
where are skew Schur polynomials [Macdonald:1998].
Therefore, we can write the correlation function (42a) as
(53) |
where we have used that , and in the second line we sum over all partitions, since , . This expression also shows that the expression can also be written as a tau function.
More generally, let us consider the correlation functions
(54) |
where and we have also used that the skew Schur polynomial for any Young diagram that does not contain and/or vanishes.
In the limit , we can use the elementary properties of skew Schur polynomials [Macdonald:1998]
(55) |
and the Cauchy’s identity, we have that
(56) |
Therefore, we write the finite case as
(57) |
We observe that this correlation function can be expressed as the product of the off-shell norm (22) and a finite sum over skew Schur functions.
3.2.2. Schur polynomials expansion of some correlation functions
Indeed, it is worth noting that other quantities, which are not tau functions, may have interesting Schur polynomial expansions. Consider the state calculated in [Bogoliubov2005]
(58) |
Then
(59) |
While it may not be a tau function, it has an interesting expansion as a sum of skew Schur polynomials.
3.3. General tau functions
Based on the discussion we have had so far, and on the general map** between the phase model and free fermions, one can grasp the general form of tau functions in the context of this integrable chain.
Let us consider the vertex operator construction [Okounkov2001], as also discussed in [Alexandrov:2012tr, Wheeler:2010vmq]. We consider the vacuum state , often referred to as a “Fermi sea”, defined by the conditions for and , where are components of a holomorphic free fermionic field. In this formalism, the partition states are given by
(60) |
where are defined in a such a way that the Shur coefficients of the vertex operators (defined below) have positive coefficients.
The pairs define the Frobenius notation of the partition . In this notation, is given by and is given by , where represents the number of boxes in the diagonal of the Young diagram, and is its conjugate, or transpose, diagram. From these definitions, we have the equivalence
(61) |
Finally, the algebra has generators given by the bilinears , where , for large , say , and the colons denote the normal ordering
(62) |
The group is defined through the exponential map as usual.
Note that these elements have only finitely many non-zero entries: the diagonal terms represent number operators , the upper triangular terms represent annihilation operators , and the lower triangular terms represent creation operators . The central charge corresponds to the vacuum projection . Therefore,
(63) |
where .
The operators and , for a large enough chain , are related to the vertex operators and , respectivelly, as
(64) |
where is written in terms of free fermions as . This set of operators generate a Heisenberg subalgebra
(65) |
Putting all these facts together, we have that the tau functions of the Toda hierarchies, given by
(66) |
are mapped into objects of the form
(67) |
where we necessarily have in the phase model
3.3.1. Hypergeometric tau functions
From these expressions, we can conclude that if we consider a diagonal group element , we have that (67) becomes
(68) |
where
(69) |
From the representation of the phase model, we have that for the partition , we have
(70) |
Consequently, we have
(71) |
and we conclude that
(72) |
We observe that this tau function has diagonal coordinates . These tau functions belong to the hypergeometric type considered in [Orlov:2000, orlov:2001, Orlov:2001b, Orlov:2005].
4. Tau functions in the Q-bosons model
We now shift our focus to the case of q-bosons. The analysis parallels what we did before, but the specific details are markedly different. We begin by examining the norm of two off-shell Bethe states.
It has been shown [Tsilevich:2006] (see also [Sulkowski:2008mx, Wheeler:2010vmq]) that the Bethe states have coordinate expansions
(73) |
where denote Hall-Littlewood polynomials. In this form, the scalar product of two off-shell Bethe states in the q-boson model can be easily calculated to be
(74) |
where we use that and the completeness relation
(75) |
It turns out that this expansion is the Cauchy identity for Hall-Littlewood polynomials [Macdonald:1998]
(76) |
Our goal is to explore some properties of Hall-Littlewood polynomials to gain insight into aspects of this expansion.
4.1. Scalar product: determinant formula
We aim to refine the expressions above. First, we consider a determinant expression for the scalar product (74). We proceed with the scenario where and are very large but finite. In this case, we express this scalar product as
(77) |
Using the Cauchy’s identity for Schur polynomials, that is
(78) |
and from the results derived in the phase model, we find that
(79) |
where is the matrix (23). Consequently, the scalar product (77) becomes
(80) |
and we see that it is the quotient of scalar products of the phase model. Hence, it is the quotient of two Toda tau functions. Observe that in the case , we have , then , as expected.
Additionally, we write
(81) |
Using , we have
(82) |
Let us denote , therefore
(83) |
where is a matrix with components where
(84) |
Note that from this expression, we cannot decompose this function as in (24) since the coefficients in this expansion depend on and .
4.2. Big Schur functions expansion
Now, let’s revisit the result originally derived in [Foda:2008hn] which demonstrates that the scalar product (74) is a tau function of the KP hierarchy. According to [Macdonald:1998, Chapter 3, Section 4, Equation (4.7)], we can expand the Cauchy identity (76) as
(85) |
Here, the polynomials , which we will refer to as the big-Schur functions, are defined by a Jacobi-Trudi formula:
(86) |
where the coefficients are obtained from the expression:
(87) |
and is a formal variable. It has been argued [Foda:2008hn] in that if we interpret the big-Schur functions as Plücker coordinates, the expression
(88) |
is a restricted KP tau function with respect to both set of coordinates, that is and .
Based on these findings, we conclude that the inner product can be expressed as a quotient of two Toda tau functions or as a KP tau function with coefficients given by the big Schur polynomials. Nevertheless, further investigation of these results is necessary.
4.3. Kostka-Foulkes expansion
In a Schur polynomial basis, we write
(89) |
where are inverse Kostka-Foulkes polynomials [Macdonald:1998, Wheeler:2018].
If we now insert this expansion in the inner product, we have
(90) |
and we have the coefficients
(91) |
for the double expansion of the inner product in terms of Schur polynomials. Based on our discussion so far, we know that these coefficients are not Plücker coordinates of the Toda hierarchy.
But we can say something interesting about these coefficients. Let us now expand the big-Schur functions as
(92) |
we can fix the coefficients in terms of Kostka-Foulkes polynomials using the orthogonality relations of these polynomials [Macdonald:1998]. In particular, there is an inner product in the ring of symmetric functions such that
(93) |
Therefore,
(94) |
and we conclude that
(95) |
and consistency with (91) implies that .
Hence, we conclude that
(96) |
where we have written the big Schur polynomial in terms of the Miwa coordinates .
Remark 1.
This expression also reveals something interesting. We can formulate this problem in terms of partition statess defined in the phase model. Alternatively, we can utilize the conventional vertex operator construction rather than the q-deformed version proposed by **g [**g1991, **g1995], which is much more challenging to handle.
4.4. Supersymmetric Schur polynomials expansion
Based on this result, we argue that although Equation (74) is not a Toda tau function with respect to the coordinates , we can define a new set of coordinates such that the scalar product becomes a trivial Toda tau function.
Let us first decompose
(97) |
Reorganizing this sum, we conclude that
(98) |
where in the last equality we have used the homogeneity of the elementary symmetric polynomials, and .
It is easy to see that
(99a) | |||
where . Additionally | |||
(99b) |
Consequently
(100) |
with . Then, we conclude that are homogeneous polynomials with respect the Miwa coordinates . Then
(101) |
All in all, we conclude that the big Schur functions are ordinary Schur functions with respect to the coordinates .
Moreover, a more refined approach is also possible. Supersymmetric (or Hook) Schur functions [Berele:1983], as discussed in works such as [Macdonald:1998, Moens:2003], denoted by , are defined as ordinary Schur functions evaluated at Miwa coordinates of the form
(102) |
Comparing this expression with the results above, we can see that the big Schur functions correspond to the supersymmetric Schur functions for and , which is
(103) |
Putting these facts together, we immediately conclude that
(104) |
is a Toda hierarchy tau function with respect to . As a result, we obviously have that
(105) |
is also a restricted tau function of the Toda hierarchy with respect to and .
Let us also express the supersymmetric Schur polynomials in terms of ordinary Schur functions, as shown in [Macdonald:1998, Sec. I.5, exerc. 23]:
(106) |
where the prime denotes the conjugate diagram. Compare this expansion with (92). Then
(107) |
From this expression we conclude (and speculate) the following.
Remark 2.
Since the skew Schur polynomials have determinant expressions, we can deduce that the -dependent coefficients have Jacobi-Trudi expressions. It is tempting to regard these objects as -dependent Plücker coordinates. In this sense, we would have a curve in the infinite Grassmannian instead of a point. Evidently, it is not a tau functions on any known integrable hierarchy, but it might suggest some new generalizations that are worth investigating.
Remark 3.
It is worth noting that one of the simplest nontrivial solutions of the KP hierarchies are the Schur functions themselves [Zabrodin2018]. As we have just demonstrated, the big Schur polynomials can be expressed as supersymmetric Schur polynomials, which are essentially ordinary Schur polynomials in a specific choice of Miwa coordinates. Therefore, we conclude that the big Schur polynomials are also KP tau functions. This direct conclusion serves as an alternative proof of this fact, originally derived in in [Necoechea:2019wbg] using the KP bilinear identity.
Combining these observations, we conclude that the left-hand side of equation 107 is a tau function with respect to the coordinates . Furthermore, by employing the vertex operator formalism, we can express the Schur polynomials as
(108) |
Hence
(109) |
It is important to reiterate that this expression does not constitute a tau function with respect to . Despite this crucial distinction, we proceed under the assumption that the coefficients can be expressed as
(110) |
where . Hence
(111) |
where .
To derive the expression for this group element, recall that . With this in mind, we can express the scalar product as follows:
(112a) | |||
From the Heisenberg algebra, we deduce that , therefore | |||
(112b) |
We finally conclude that
(113) |
Generally, the expectation values involving coordinate-dependent group elements do not form Toda hierarchy tau functions. However, in the example above, the coordinates combine in such a way that they generate a tau function with respect to the coordinates and .
5. Conclusions and Perspectives
In this work, we have explored the connections between a quantum integrable system, the q-boson model, and solutions of a classical integrable system, the Toda hierarchy. Our investigation has extended some early findings in this field and has also unveiled new research avenues, which we aim to explore in future studies. Let us now discuss some of these promising directions.
In Section 3, we delved into some aspects of the phase model. We presented the scalar product of two off-shell Bethe states as an elementary example of the Toda system tau function. Additionally, we revealed an intriguing alternative portrayal of these scalar products using a matrix integral framework, which corresponds to an ensemble of Coulomb particles. This discovery opens up promising avenues for further inquiry. Specifically, it would be intriguing to further explore this subject and investigate whether the matrix model description provides valuable insights into the phase model and its Bethe roots. Such an investigation promises to illuminate the underlying dynamics of the phase model and its relationship with classical integrable systems.
We have elucidated how various correlation functions align with this framework, revealing a remarkably rich structure. Notably, we explored a map** between the phase model data and the vertex operator representation of free bosons. An intriguing avenue for future research is to delve into the properties of the hypergeometric tau functions uncovered in Section 3.3.1. Exploring these functions is expected to provide significant understanding, and comparing them with existing literature will further enrich our comprehension of their characteristics and implications within the context of integrable systems.
In Section 4, we addressed the same problem within the context of the q-boson model. Initially, we derived a determinant formula for the q-boson scalar products, followed by a discussion on their expression in terms of the phase model data. This result establishes a connection between the q-boson and phase model quantities. Furthermore, we explored different expansions for these scalar products. Notably, we observed that they can be expanded in terms of Big Schur and supersymmetric tau functions. Hence, we introduced a new set of coordinates, demonstrating that scalar products can be precisely expressed as Toda tau functions within this transformed coordinate system.
One of our most pressing challenges lies in elucidating the intricate connection between our findings and the Ablowitz-Ladik hierarchy. Since this hierarchy arises as a reduction of the Toda hierarchy, it becomes imperative to understand how we can capture the structure of the AL hierarchy using the results we have derived. Considering that the q-boson model effectively quantizes the Ablowitz-Ladik equation, it follows that we should detect some resemblance of this classical problem within the q-boson system. This understanding holds the promise of shedding significant light on the interplay between classical and quantum integrable systems.
We hope to address some of these challenges in future publications.
Acknowledgments
This work is supported by Fapesp through grant 2022/06599-0.