ABJM theory as a Fermi gas
The partition function on the three-sphere of many supersymmetric Chern–Simons–matter theories reduces, by localization, to a matrix model. We develop a new method to study these models in the M-theory limit, but at all orders in the expansion. The method is based on reformulating the matrix model as the partition function of an ideal Fermi gas with a non-trivial, one-particle quantum Hamiltonian. This new approach leads to a completely elementary derivation of the behavior for ABJM theory and quiver Chern–Simons–matter theories. In addition, the full series of corrections to the original matrix integral can be simply determined by a next-to-leading calculation in the WKB or semiclassical expansion of the quantum gas, and we show that, for several quiver Chern–Simons–matter theories, it is given by an Airy function. This generalizes a recent result of Fuji, Hirano and Moriyama for ABJM theory. It turns out that the semiclassical expansion of the Fermi gas corresponds to a strong coupling expansion in type IIA theory, and it is dual to the genus expansion. This allows us to calculate explicitly non-perturbative effects due to D2-brane instantons in the AdS background.
One of the most interesting aspects of the AdS/CFT correspondence is that, in principle, one can use gauge theories to learn about elusive aspects of string theory and quantum gravity. For example, ABJM theory , as well as other supersymmetric Chern–Simons–matter (CSM) theories, are conjecturally dual to M-theory on spaces of the type AdS. Therefore, computations in the gauge theory side might give interesting insights on M-theory on these backgrounds.
It was shown in  that the partition function on the three-sphere of CSM theories with supersymmetry reduces, via localization, to a matrix model. This result was extended to theories with supersymmetry in [3, 4]. In the case of ABJM theory, the corresponding matrix model was solved for arbitrary ’t Hooft coupling and at all orders in in , providing the first gauge theory derivation of the famous growth of the number of degrees of freedom of M2 branes . In the last year, many results have been obtained for these matrix models, providing precision tests of the AdS/CFT correspondence as well as beautiful field-theoretical results on supersymmetric CSM theories (see  for a review and a list of references).
Up to now, the “stringy” side of these matrix models has been studied less intensively, but there have been already some interesting results in this direction for the ABJM theory. In  it was found that the genus free energies of the matrix model contain very rich information about worldsheet instantons in type IIA theory (i.e. they include non-perturbative effects in ). In , by studying the large order behavior of the genus expansion, it was possible to identify as well non-perturbative corrections in the string coupling constant, conjecturally associated to D2-branes, or to membrane instantons in M-theory. Finally, building on the results of [5, 8], it was shown in  that, once worldsheet instantons are discarded, the full free energy of the ABJM matrix model is given by an Airy function. Schematically, we have
where is the CS level (i.e. the inverse coupling), is a function of determined by the large limit, and is a function of which shifts (see (2.14) below for a precise formula). This is a beautiful result which provides the all-orders expansion of the partition function in powers of the string length, and therefore resums the perturbative long-distance expansion for quantum superstrings.
This result raises an interesting possibility. The behavior of the free energy characterizes a large class of [10, 11] and [12, 13, 14, 15] Chern–Simons–matter theories. On the other hand, the result (1.1) says that, for ABJM theory, this behavior is just the leading term in the logarithm of the Airy function. It is then natural to propose the following
In parity-invariant supersymmetric CSM theories that display an growth in the number of degrees of freedom, the leading large limit and the corrections to the partition function on the three-sphere add up to an Airy function, i.e. we have schematically
where are the different CS levels involved in the theory, is a function which is determined by the leading, large limit, and is a shift which also depends on the details of the theory (but cannot be determined by the large limit alone).
If this conjecture is true, the corresponding matrix models display a universal behavior characterized by the Airy function. For theories which are not parity-invariant, we expect the Airy function to be the crucial ingredient of the answer. It is interesting to point out that the universal role of the Airy function in summing up corrections was already proposed in , in the different but related context of five-dimensional black holes made out of M2 branes in certain Calabi–Yau compactifications111We would like to thank C. Vafa for discussions on this.. Unfortunately, the techniques used to derive (1.1) for ABJM theory rely heavily on the calculation of corrections based on the holomorphic anomaly equation (see [5, 9] for details and references). For other models it is not clear how to generalize these techniques, even in cases (like the one studied in ) where the planar resolvent is known explicitly.
All the results mentioned so far have been obtained in what we will call the ’t Hooft expansion of the matrix model, which corresponds to the genus expansion in type IIA superstring theory. The ’t Hooft expansion is the asymptotic expansion as goes to infinity and the ’t Hooft parameter of the model, , is kept fixed at large ,
However, in order to make contact with M-theory, we have to consider the M-theory expansion, i.e. the asymptotic expansion as goes to infinity in which is fixed,
The ’t Hooft expansion of the matrix model gives some information about the M-theory expansion. For example, the all-orders result (1.1) presumably captures the all-orders expansion of the M-theory partition function in powers of the Planck length, at finite . However, important contributions to the partition function in the M-theory expansion (like membrane instantons and Kaluza–Klein modes) are not directly captured in the ’t Hooft expansion, and in order to use the ABJM matrix model as a tool to explore M-theory, one should study the regime (1.4) directly. A step in this direction was taken in , who found a very simple method to extract the large , fixed behavior of general CSM matrix models. However, in the approach of  it is not obvious how to compute systematically corrections to the leading large behavior, not to speak about exponentially small corrections in .
It would then be very interesting to find a method to analyze the M-theory expansion of CSM theories, beyond the leading large contribution considered in . Such a method would allow us to address the above conjecture about the universal role of the Airy function in resumming the corrections, and eventually could give us information about M-theoretic features of the matrix models which are not manifest in the ’t Hooft expansion.
In this paper, we make a first step in this direction, and we propose a new method to analyze the matrix model of some Chern–Simons–matter theories which fulfills some of the expectations that we have just listed. The method consists of writing the partition function on the three-sphere as the partition function of an ideal Fermi gas with a non-trivial one-particle, quantum Hamiltonian. In this reformulation of the problem, the Chern–Simons level becomes the Planck’s constant of the quantum-mechanical problem. Since corresponds to the inverse string coupling, the semiclassical expansion of the Fermi gas is a strong coupling expansion in the type IIA theory large dual. As usual, the large limit is simply the thermodynamic limit of the gas. Our approach has the following features:
1) The large limit of the free energy at finite is governed by the thermodynamic limit of the Fermi gas, which can be determined by a semiclassical calculation. In particular, we find a completely elementary derivation of the behavior of the free energy of ABJM theory, including the correct coefficient. This can be extended in a straightforward way to necklace quivers, and the result for the free energy is in full agreement with the calculation in [17, 18] based on the matrix model analysis of . Interestingly, the relevant Fermi surface describing the thermodynamic limit of the Fermi gas is a two-dimensional polytope which characterizes the geometry of the dual tri-Sasakian spaces. In the case of ABJM theory, this Fermi surface is also a real version of the tropical curve obtained in .
2) The full expansion of the free energy of the matrix model is determined by the first quantum correction to the semiclassical limit. In this way we reproduce the result (1.1) for ABJM theory at finite , using again elementary methods in quantum Statistical Mechanics. Moreover, we prove our conjecture (1.1) for a large class of supersymmetric CSM theories.
3) One can also compute exponentially suppressed effects at large which are clearly M-theoretic. In particular, we find a systematic method to determine the contribution of membrane instantons. These non-perturbative effects receive however corrections at all orders in the expansion, and so far we can only determine them order by order in (but to all orders in the membrane winding). The strength of these corrections (i.e. the minimal membrane action) agrees with the instanton analysis of .
It follows from the last point above that, at the level of non-perturbative corrections, our method does not fully capture the M-theory expansion, since so far we are only able to determine these corrections in an expansion in around . In order to make contact with the true M-theory expansion one should resum the resulting series. In spite of this limitation, the Fermi gas picture gives a concrete computational method to address non-perturbative effects in these superstring theory backgrounds. In fact, the semiclassical expansion of the Fermi gas is dual to the conventional genus expansion captured by the ’t Hooft expansion of the matrix model. For example, in the ’t Hooft expansion, worldsheet instantons appear as exponential corrections in the ’t Hooft coupling, order by order in the expansion, while membrane corrections appear as large instantons, of order . In the Fermi gas approach developed in this paper, membrane instantons appear as exponential corrections in the chemical potential of the gas, order by order in the expansion, while worldsheet instantons appear as quantum-mechanical instanton effects of order .
Finally, we would like to point out that the use of Fermi gas techniques in the analysis of matrix models goes back to the solution of matrix quantum mechanics in , and should be familiar from the study of the string (see for example ). The idea of studying the matrix integral partition function in the grand-canonical ensemble appeared in , and was developed in detail in [22, 23, 24]. In particular, the semiclassical limit of the Fermi gas was already used in Appendix A of . The systematic application of semiclassical techniques of many-body physics in the study of these matrix integrals, which we develop in this paper, seems however to be new.
The paper is organized as follows. In section 2 we review previous results on the expansion of the ABJM matrix model in the ’t Hooft expansion, focusing on [5, 8, 9]. In section 3 we show that the matrix integral of a general class of CSM theories (necklace quivers with fundamental matter) can be written as the partition function of an ideal Fermi gas with a non-trivial one-particle Hamiltonian. In sections 4 and 5 we present the tools to analyze the Fermi gas, and we illustrate them in ABJM theory. More precisely, in section 4 we study the Fermi gas in the thermodynamic limit, by passing to the grand canonical ensemble. This makes it possible to derive the leading behavior of the free energy of ABJM theory, by using elementary tools in Statistical Mechanics. We also compute exponentially suppressed corrections to the grand canonical potential, which are interpreted as membrane instantons in M-theory. In section 5 we study the quantum corrections to the grand canonical potential. We show that, up to non-perturbative terms, a next-to-leading WKB calculation is enough to determine the full expansion of the canonical free energy. This provides a simple derivation of the Airy function resummation of . In section 6 we extend our techniques to more general CSM theories, including necklace quivers and theories with fundamental matter. We show that, when the free energy on the three-sphere is real, the expansion at fixed gets resummed by an Airy function, thus proving conjecture 1.1 for this family of examples. We also consider the “massive” theory of , where a different scaling has been found for the free energy, and we rederive it with our techniques. Finally, in section 8 we conclude with some prospects for future work. In an Appendix we collect some results for the grand canonical potential of ABJM theory at order .
As this paper was being prepared for submission, the paper  appear which also considers ABJM theory in the grand canonical ensemble.
2 The ABJM matrix model in the ’t Hooft expansion
2.1 expansion and non-perturbative effects
The matrix integral describing the partition function of ABJM theory on is given by 
This matrix integral can be solved in the ’t Hooft expansion (1.3) by using techniques of matrix model theory and topological string theory [26, 5]. In particular, one can obtain explicit formulae for the genus free energies appearing in the expansion
where the ’t Hooft coupling is defined in (1.3), and
The genus free energies obtained in this way are exact interpolating functions, and they can be studied in various regimes of the ’t Hooft coupling. When they reproduce the perturbation theory of the matrix model around the Gaussian point. They can be also studied in the strong coupling regime , where one can make contact with the AdS dual. In this regime it is more convenient to use the shifted variable
The first term represents the perturbative contribution in , while the second term is non-perturbative in ,
and it was interpreted in  as the contribution of worldsheet instantons in the type IIA dual. For , the perturbative part is of the form,
while for one has
is a polynomial.
Besides the non-perturbative effects in , one can use the connection between the large-order behavior of perturbation theory and instantons to deduce the structure of non-perturbative effects in the string coupling constant. In  a detailed analysis showed that these effects would have the form
at large . These were interpreted as D2-branes wrapped around generalized Lagrangian cycles of the target geometry. We will refer to these non-perturbative effects as membrane instanton effects, since they can be interpreted as M2 instantons in M-theory  but they are invisible in ordinary string perturbation theory.
2.2 The partition function as an Airy function
rather than (2.4). If we define the perturbative partition function as
where is the Airy function. This can be also written in terms of as
As noticed in , the expansion resummed in (2.14) makes perfect sense for finite . Therefore, even if (2.14) was obtained from a calculation in the ’t Hooft expansion, it should be part of the M-theory answer. Indeed, one of our goals in this paper is to verify this by computing directly in the M-theory expansion.
The Airy function appearing in (2.14) gives an exact resummation of the long-distance expansion in M-theory. To see this, one has to use the dictionary relating gauge theory quantities to gravity quantities. In particular, one has to take into account the anomalous shifts relating the rank of the gauge group to the Maxwell charge , which in turn determines the compactification radius [27, 28]. The relation is
The charge determines the compactification radius in M-theory according to
and then the argument of the Airy function (2.14) is given by
The expansion of the ABJM matrix model was derived in  by using the holomorphic anomaly equations  of topological string theory. The result (2.14) was obtained in  by looking at the recursive structure of these equations. There is however a much simpler method to obtain (2.14) which exploits the wavefunction behavior of the topological string partition function222We would like to thank C. Vafa for reminding us this.. Our derivation of (2.14) in this paper does not depend at all on ideas from topological string theory, but since it is formally very similar, we will now present this simpler argument. We will rely on results and notations of . Readers who are not familiar with topological string theory can skip the rest of this section and proceed to the next one.
As shown in , it follows from the holomorphic anomaly equations that the topological string partition function is a wavefunction on moduli space. In particular, its transformation from one symplectic frame to the other is given by a Fourier transform. This property was spelled out in detail and exploited in . The main result is summarized as follows. Let
be a symplectic transformation relating two different frames (we assume for simplicity that there is a single modulus in the problem). This means that the periods transform as
Then, the full topological string partition function
In the context of ABJM theory, as explained in detail in [26, 5], the relevant quantities correspond to topological string computations in the so-called orbifold frame, where the natural periods are (the ’t Hooft coupling of the gauge theory) and the derivative . On the other hand, the most familiar frame in topological string theory is the large radius or Gromov–Witten frame, where the natural periods are (the Kähler modulus) and the derivative . The genus free energies in the large radius frame are given by the standard formulae,
where are Gromov–Witten invariants in the local geometry (there is no constant term contribution at higher genus). The fact that the total free energy is at most cubic in , up to exponentially small corrections, is a well known fact in topological string theory.
In , the periods in the orbifold frame were written in terms of periods in the large radius frame in order to perform analytic continuations to strong coupling. By general principles, this relation must be a symplectic transformation like (2.20). In fact, it is easy to see that the results of  relating the periods can be written as the following symplectic transformation:
Notice that, up to nonperturbative terms in , this is the integral of the exponential of a cubic polynomial, therefore we will indeed get an Airy function. Let us introduce the new variable through
Then, one finds the expression
where we used the following integral representation of the Airy function,
The result of (2.31) is of course the expression obtained in (2.14). Notice that the first term in the shift comes from in (2.28), while the second term is due to the first, perturbative term in . The exponentially small corrections in in (2.31), which are due to the worldsheet instantons at large radius of the topological string, become, after Fourier transform, the worldsheet instantons (2.6) of the type IIA superstring.
This derivation is nice, but it seems difficult to generalize it in its current form to other Chern–Simons–matter theories, and prove in this way the conjecture (1.2) for other cases. In this paper we will find a completely different approach to the derivation of the Airy function which turns out to formally equivalent to the one based on topological string theory. However, this approach can be extended to many CSM theories and makes it possible to verify the conjecture 1.1 for many of them.
3 Chern–Simons–matter theories as Fermi gases
3.1 ABJM theory as a Fermi gas
Our Fermi gas approach is based on the following observation. The interaction term between the eigenvalues in (2.1) can be written in a different way by using the Cauchy identity:
In this equation, is the permutation group of elements, and is the signature of the permutation . This identity has been used in other matrix models in [21, 22, 23] in order to study them in the grand canonical ensemble, as we will do here. In the context of ABJM theory, it was used in  in order to prove the equivalence of (2.1) and the matrix integral for super Yang–Mills theory in three dimensions, when . The manipulations in  can be easily generalized to arbitrary , and one obtains the following expression for the ABJM matrix model,
We will derive this expression below with a different technique, which can be used for more general Chern–Simons–matter theories. The main property of (3.2) is that it makes contact with the standard formalism to study partition functions of ideal Fermi gases. Indeed, let us introduce the function
If we interpret it as a one-particle density matrix in the position representation
the matrix integral (2.1) can be written as the partition function of an ideal Fermi gas with particles
It is well-known that the sum over permutations appearing in the canonical free energy of an ideal quantum gas can be written as a sum over conjugacy classes of the permutation group (see for example ). A conjugacy class is specified by a set of integers satisfying
Let us define
Then, the partition function is given by,
where the means that we only sum over the integers satisfying the constraint (3.6).
Due to the constrained sum, the canonical partition function is not easy to handle for large . As usual, the remedy is to consider the grand partition function
plays the rôle of the fugacity and is the chemical potential. The grand-canonical potential is
Notice that this potential (like the free energy) has the opposite sign to the usual conventions in Statistical Mechanics. A standard argument (presented for example in ) tells us that the sum over conjugacy classes in (3.8) can be written as
The canonical partition function is recovered from the grand-canonical potential as
At large , this integral can be computed by applying the saddle-point method to
The saddle point occurs at
and defines a function . The free energy is given, at leading order as , by
However, it is possible to compute the corrections to this relation by simply computing the corrections to the full integral in (3.14). This is what we will eventually do. Notice the similarity between the traditional inverse transform (3.14) and the Fourier transform (2.31) in topological string theory.
We have then shown that the original ABJM matrix integral can be computed as the canonical partition function of a system of non-interacting fermions, where the one-particle density matrix is given by (3.3). We just have to solve the corresponding one-body problem in order to compute the relevant thermodynamic quantities of the system. Equivalently, one should compute the quantity introduced in (3.7). This quantity can be regarded as the partition function of a classical lattice gas with particles in a periodic lattice with nearest-neighbour interactions, as shown in Fig. 1. The density matrix plays the rôle of the classical transfer matrix of the system (see for example chapter 12 of ). It defines a symmetric kernel
It is easy to see that this kernel is a non-negative Hilbert–Schmidt operator, therefore it has a discrete, positive spectrum
where are orthonormal eigenfunctions and we assume that
We can then write the density matrix as
In terms of these eigenvalues we have,
When is large, this sum is dominated by the largest eigenvalue ,
It also follows from this representation that the grand-canonical partition function is given by a Fredholm determinant,
Instead of using the formulation of the lattice problem in terms of the density matrix operator, we can introduce a quantum Hamiltonian in the standard way,
This leads to the well-known equivalence between the partition function of a classical lattice gas (3.18) and the propagator of a quantum particle in units of discretized time (see for example [35, 36]). We can then write
To find the Hamiltonian corresponding to the ABJM matrix model, we first write the density matrix (3.3) as
In this equation, are canonically conjugate operators,
This is a key aspect of this formalism: is the inverse coupling constant of the gauge theory/string theory, therefore semiclassical or WKB expansions in the Fermi gas correspond to strong coupling expansions in gauge theory/string theory. The potential in (3.27) is given by
and the kinetic term is given by the same function,
The peculiar kinetic term (3.31) can be regarded as a non-trivial dispersion relation interpolating between the quadratic behavior of a non-relativistic particle at small ,
and the linear behavior of an ultra-relativistic particle at large ,
in corrections. There is a very elegant method to obtain these corrections based on the phase-space or Wigner approach to quantization. This method will be also extremely useful in setting the semiclassical or WKB expansion of our thermodynamic problem. We first recall that the Wigner transform of an operator is given by (see  for a detailed exposition of phase-space quantization)
The Wigner transform of a product is given by the -product of their Wigner transforms,
where the star operator is given as usual by
and is invariant under linear canonical transformations. Another useful property is that
Let us note that the partition function depends only on the eigenvalues of (or, equivalently, on the traces ). Therefore there is the following freedom in the choice of :
which translates into
after the Wigner transform. Equation (3.39) defines the Wigner transform of our Hamiltonian through
where the -exponential is defined by
The quantum Hamiltonian can be computed by using the Baker–Campbell–Hausdorff formula, as applied to the -product. One finds,
where we have used the fact that, at leading order in , the Moyal bracket is the Poisson bracket
3.2 More general Chern–Simons–matter theories
The identification of the matrix model of ABJM theory as the partition function of a Fermi gas can be also made for more general Chern–Simons–matter theories. We will set up the formalism for the necklace quivers with nodes considered in [38, 39], and with fundamental matter in each node (see Fig. 2). These theories are given by a
Chern–Simons quiver. Each node will be labelled with the letter . There are bifundamental chiral superfields , connecting adjacent nodes, and in addition we will suppose that there are matter superfields in each node, in the fundamental representation. We will write
and we will assume that
According to the general localization computation in , the matrix model computing the partition function of a necklace quiver is given by
This matrix model is very similar to the models considered in for example [22, 40], and one can use a very similar strategy in order to rewrite them as Fermi gases. First of all, we define a kernel corresponding to a pair of connected nodes by,
where we set . The grand canonical partition function corresponding to the above matrix model is defined as in (3.9). Then, if we use the Cauchy identity (3.1), a simple generalization of the above arguments makes it possible to write it again as a Fredholm determinant (3.24), where now 
is the product of the kernels (3.50) around the quiver. Therefore, we can apply exactly the same techniques that we used before in ABJM theory. In a sense, we are “integrating out” nodes of the quiver in order to define an effective theory in the -th node, but with a complicated Hamiltonian which takes into account the other nodes.
where the in the product is given again by (3.29). Let us note that
where we used that
We obtain then, for the Wigner transform of the density operator (3.51)
where we used (3.48). For necklace theories without fundamental matter this is simply
If we perform a canonical transformation
and we conjugate by to obtain a symmetric kernel, we get the equivalent representation,
which, for , agrees with the result (3.39). In this way, we have reduced the general necklace quiver theory to an ideal Fermi gas whose one-particle quantum Hamiltonian is defined by the above density matrices through (3.42).
Notice that, in general, the density operators are not Hermitian, and correspondingly is generally not real. This reflects the fact that the free energy on the three-sphere of these CSM theories is in general complex.
4 Thermodynamic limit
It is well-known that the thermodynamic limit of an ideal quantum gas can be evaluated by treating the one-particle problem in the semiclassical or WKB approximation. Moreover, the corrections to the thermodynamic limit can be obtained by studying the quantum corrections to the semiclassical limit. In this section we will present general results about the thermodynamic limit and we will illustrate them in ABJM theory. More general theories will be considered in section 6.
4.1 The thermodynamic limit of ideal Fermi gases
In the following we will need several standard results in the analysis of ideal quantum gases. The distribution operator at zero temperature is given by,
where is the Heaviside step function. The trace of this operator gives the function , counting the number of eigenstates whose energy is less than :
where are the eigenvalues (3.19) of the density matrix. The density of eigenstates is defined by
The one-particle canonical partition function is then given by the standard formula,
while the grand-canonical potential of the particle system is given by
Let us now consider the thermodynamic limit of the system, when . In this regime, the behavior of the system is semiclassical and the spectrum of the one-particle Hamiltonian is encoded in the functions , . The thermodynamic limit is governed by the behavior of these functions as . We notice that, if
then the grand-canonical potential is given by
where is the usual polylogarithm function. The number of particles is related to the chemical potential by
and large corresponds to large . In this regime, we have
The second equation defines as function of , and we deduce from (3.16) that the canonical free energy is given, as , by
These formulae should be familiar from the elementary theory of ideal quantum gases. For example, the textbook ideal Fermi gas in three dimensions has .
To determine the value of for a given system we notice that, in the semiclassical limit, the trace is replaced by an integral over phase space
which gives the standard semiclassical formula
i.e. the number of eigenstates is just given by the volume of phase space. The surface
is just the Fermi surface of the system. For a one-dimensional ideal gas whose one-particle Hamiltonian is of the form
This will be useful later on.
4.2 A simple derivation of the behavior in ABJM theory
We can now study the thermodynamic limit of the partition function of ABJM theory. In this case, the Hamiltonian appearing in the semiclassical formula (4.13) is just given by the classical counterpart of (3.34),
Here we have neglected the corrections appearing in . It is easy to show that the minimum energy is
which corresponds to the maximal eigenvalue of the density matrix
This is the semiclassical value given by the leading WKB approximation, and it will be corrected quantum-mechanically. In the large regime, the discrete spectrum “condenses” along a cut in the complex plane, and signals the endpoint of the cut.
In order to proceed with the analysis of the thermodynamic limit, we should determine the Fermi surface
controling the density of eigenvalues. We show the shape of this surface in Fig. 3 for (left) and (right). It is clear that in the thermodynamic limit, when is large, the surface can be approximated by considering the values of , for large. In this regime we have
so that (4.20) is approximately given by
the number of states is given by
By comparing with (4.7), we find
The equation (4.11) gives immediately
This is exactly the result first found in  using the ’t Hooft expansion of the matrix model. The derivation presented here is however completely elementary, and relies on basic notions of quantum Statistical Mechanics: the scaling of the number of degrees of freedom is nothing but the scaling of the free energy of an ultrarelativistic gas of one-dimensional fermions in a linearly confining potential. No matrix model techniques are needed. In this sense, our derivation is even simpler than the one presented in , which required some detailed analysis of the eigenvalue interaction in the matrix integral.
We would like to emphasize that the above result (4.27) provides the right large behavior of the system at finite . This is because the true expansion parameter in the semiclassical expansion is , which is small for large even at finite . This can be proved rigorously for some spectral problems defined by kernels of the form (3.3) , and we will verify it in section 5 by a detailed analysis of the WKB expansion.
4.3 Large corrections
One advantage of the statistical-mechanical framework presented here is that it makes it possible to compute corrections to the thermodynamic limit in a systematic way. To start the study of these corrections, we now look at the thermodynamics of the Fermi gas of ABJM theory in the semiclassical approximation, but taking into account the exact value of the volume of phase space (i.e. we go beyond the polygonal approximation in (4.22)). As expected, this gives sub-leading and exponentially suppressed corrections at large .
The computation of the exact volume is equivalent to computing all the exactly in the semiclassical approximation, and resumming the resulting series (3.12). Using that