A Solvable Mixed Charge Ensemble on the Line: Global Results
Abstract
We consider an ensemble of interacting charged particles on the line consisting of two species of particles with charge ratio in the presence of the harmonic oscillator potential. The system is assumed to be at temperature corresponding to and the sum of the charges is fixed. We investigate the distribution of the number as well as the spatial density of each species of particle in the limit as the total charge increases to . These results will follow from the fact that the system of particles forms a Pfaffian point process. We produce the skeworthogonal polynomials necessary to simplify the related matrix kernels.
1 Introduction
Let and be nonnegative integers so that , and consider 1dimensional electrostatic system consisting of particles with unit charge and particles with charge 2. We will identify the state of the system by pairs of finite subsets of , and , where represent the locations of the charge 1 particles and represent the locations of the charge 2 particles.
The potential energy of state is given by
We assume that the system is in the presence of an external field, so that the interaction energy between the charges and the field is given by
for some potential . Eventually we will specify to the situation where is the harmonic oscillator potential, but for now we maintain generality. The total potential energy of the system is therefore
(1.1)  
Given a pair of vectors we will define to be the right hand side of (1.1), and call a state vector corresponding to the state . Generically, there are state vectors corresponding to a given state.
Assuming the system is placed in a heat bath corresponding to inverse temperature parameter , then the Boltzmann factor for the state vector is given by
(1.2) 
where is the weight of the system. The partition function of the system is given by
(1.3) 
where and are Lebesgue measure on and respectively. The multiplicative prefactor compensates for the multitude of state vectors associated to each state.
Here we will be interested in a form of the grand canonical ensemble conditioned so that the sum of the charges equals . That is, we consider the union of all two component ensembles with particles of charge 1 and particles of charge 2 over all pairs of nonnegative integers and with . The partition function of this ensemble is given by
Here is the fugacity of the system, a parameter which controls the probability that the system has a particular population vector . The sum over indicates that we are summing over all pairs of nonnegative integers such that .
Note now that is itself a random vector, though we will continue to use this notation for the value of the population vector as well. For example, for each admissible pair , the joint density of particles given population vector is given by the normalized Boltzmann factor,
(1.4) 
When the probability of seeing a particular pair , or , is the ratio , where .
Experts of random matrix theory will have already noticed that when the above reduces to a general orthogonal (or ) ensemble. Likewise, as , the above formally goes over to the corresponding symplectic (or ) ensemble. This provides then an unusual sort of interpolation between two classical and well studied point processes.
2 Statement of results
In this paper we will primarily be concerned with global statistics of the particles when the fugacity equals 1 and the potential is given by
Many of the results presented here are valid for other potentials and other values of , however unless otherwise indicated we will restrict ourselves to these choices of and . We will also restrict ourselves to the situation where is an even integer.
Similar results for the twocharge ensemble constrained to the circle with uniform weight were obtained by P.J. Forrester (see 5.9 of [7] and the references therein).
The goal of this paper is to present global results about the distribution of and as well as the global spatial distribution of each of the species of particles. Along the way we will derive a Pfaffian point process for the particles (similar to that of another twocomponent ensemble, Ginibre’s real ensemble) as well as the skeworthogonal polynomials which allow us to present a simplified matrix kernel for the process. The local analysis of this kernel (i.e. its scaling limits in the bulk and at the edge) as well an investigation of the rightmost particle of each species will appear in a forthcoming publication.
2.1 Distribution of the population vectors
Sharp results on the law of the state vector are consequences of the following characterization.
Theorem 2.1.
For each nonnegative integer , let be the th Laguerre polynomial with parameter . Then, is the coefficient of of the polynomial . That is,
and so
Properties of the Laguerre polynomials now allow for nice expressions for the mean, variance, etc. of for all finite values of . For example, we have that
Asymptotic descriptions of the law of are just as readily obtained from Theorem 2.1.
Theorem 2.2.
As it holds:

and ,

converges in distribution to a standard Normal random variable,

with a numerical constant for any .
2.2 Spatial density of particles
We introduce the (mean) counting measures and for the charge 1 and charge 2 particles defined by
for Borel subsets (where, for instance, is the number of charge 1 particles in ). As we shall see in the sequel, these measures are absolutely continuous with respect to Lebesgue measure, and we will write and for their respective densities. (The cryptic notation will be resolved in Section 3.2, when we define the correlation function of the ensemble to be ).
From Theorem 2.2 we see that, as ,
One then would ask, when suitably scaled and normalized as in
whether and converge to proper probability measures. This is answered in the affirmative in Theorem 2.3 below.
The previous result shows that, with probability one, for all large the number of charge 1 particles is . This suggests that, in the thermodynamic limit, the statistics of the charge 2 particles should behave as though there are no charge 1 particles present, or like a copy of the Gaussian Symplectic Ensemble (again, arrived at from the present ensemble upon setting ). Indeed we find the scaled density of charge 2 particles approaches the semicircle law.
On the other hand, though the charge 1 particles exhibit the same level repulsion amongst themselves as the eigenvalues in the Gaussian Orthogonal Ensemble (occurring here when ), the preponderance of charge 2 particles leads to a different limit distribution.
Ginibre’s real ensemble, the ensemble of eigenvalues of real asymmetric matrices with i.i.d. Gaussian entries, has superficial resemblance to the ensemble we are considering here. First, it is suggestive to think of the present ensemble as arising from real Ginibre by forcing the nonreal eigenvalues, which occur in complex conjugate pairs, to be identified with one “charge two” particle on the line. A little more concretely, the (random) number of real eigenvalues in real Ginibre has both expectation and variance of , as does the number of charge 1 particles here. (See [6] for the mean, and [8] for the variance). It is perhaps not surprising, therefore, that the limiting scaled density of charge 1 particles is the same (up to a constant) as that of the real eigenvalues in Ginibre’s real ensemble [4].
Theorem 2.3.
As , converges weakly in the sense of measures to the uniform law on , and converges in the same manner to the semicircular law with the same support. In particular, it is proved that
and
where the convergence is pointwise.
We give an elementary proof of the above, making use of the explicit skeworthogonal polynomial system derived below. Given that the number of charge 1 particles is , one could undoubtedly make a large deviation proof along the lines of [2] or [3] of a stronger version of the second statement: that the random counting measure of charge 2 particles converges almost surely to the semicircle law. However, it is not clear how to use such energy optimization ideas to access the charge 1 profile.
3 A Pfaffian point process for the particles
All of the results in this paper follow, in one way or another, from the fact that our interacting particles form a Pfaffian point process very much like that of Ginibre’s real ensemble and related to the Gaussian Orthogonal and Symplectic Ensembles.
The results in this section are valid for quite general weight functions and fugacities. Thus, for the time being, we will return to the general situation.
3.1 The joint density of particles
The joint density of particles for a particular choice of is given by
More specifically,
where, for now, the only assumptions we will make on are that it is positive and Lebesgue measurable with .
3.2 Correlation Functions
Given and , we define the correlation function by
where, for instance, is the vector in formed by concatenating and . We will often write for in situations where is seen as being fixed.
The correlation functions encode statistical information about the configurations of the charged particles. To be more precise, given and with , we set
Given an tuple of mutually disjoint subsets of , , and an tuple of mutually disjoint subsets of , , the probability that the system is in a state where there is exactly one charge 1 particle in each of the and exactly one charge 2 particle in each of the is given by
This probability can also be represented by
Since the integrand is symmetric in the coordinates of and , we find
The correlation functions can be used to generalize this formula. If is a tuple of disjoint subsets of and another such tuple, then
3.3 Pfaffian point processes
Consider, for the moment, a simplified system of indistinguishable random points with correlation functions satisfying
for any tuple of mutually disjoint sets.
If there exists a matrix valued function such that
then we say that our ensemble of random points forms a Pfaffian point process with matrix kernel . Much of the information about probabilities of locations of particles (e.g. gap probabilities) can be derived from properties of the matrix kernel. Moreover, in many instances, we are interested in statistical properties of the particles as their number (or some related parameter) tends toward . In these instances, it is sometimes possible to analyze in this limit (under, perhaps, some scaling of and dependent on ) so that the relevant limiting probabilities are attainable from this limiting kernel.
For the ensemble of charge 1 and charge 2 particles with total charge , we will demonstrate that the correlation functions have a Pfaffian formulation of the form,
where and are matrix kernels.
3.4 A Pfaffian form for the total partition function
In order to establish the existence of the matrix kernels we first need a Pfaffian formulation of the total partition function.
Given a measure on we define the operators and on by
(Obviously does not depend on , but it is convenient to maintain symmetric notation). Using these inner products we define
We specialize these operators and inner products for Lebesgue measure by setting and . We also write . It is easily seen that
Similarly,
We call a family of polynomials, , a complete family of polynomials if . A complete family of monic polynomials is defined accordingly.
Theorem 3.1.
Suppose is even and is any complete family of monic polynomials. Then,
where
Corollary 3.2.
With the same assumptions as Theorem 3.1, .
3.5 A Pfaffian formulation of the correlation functions
In order to describe the entries in the kernels and , we suppose is any complete family of polynomials and define
where and are as in Corollary 3.2. (Here we are setting , though similar maneuvers are valid for general ). Since we are assuming that is nonzero, is invertible and we set
The clearly depend on our choice of polynomials. We then define
(3.1) 
The operators and operate on in the usual manner. For instance,
and
(That is, written on the left acts on the viewed as a function of , etc.).
Theorem 3.3.
Remark.
The factor can be moved inside the Pfaffian so that the entries in the various kernels where an appears are multiplied by 2. This maneuver is superficial, but has the effect of making these particular entries appear more like the entries in other ensembles (e.g. GOE). For instance, appears more natural to experts used to these other ensembles.
We can simplify the presentation of the matrix kernels with a bit of notation. First, let us write
Then,
We notice in particular that the functions and given in Section 2.2 are given by
(3.2) 
3.6 Skeworthogonal polynomials
The entries in the kernel themselves can be simplified (or at least presented in a simplified form) by a judicious choice of . If we define
then
Since (and by extension all other entries of the various kernels) depend on the inverse transpose of , it is desirable to find a complete family of polynomials for which can be easily inverted.
We say is a family of skeworthogonal polynomials for the skewinner product with weight if there exists real numbers (called normalizations) such that
Using these polynomials, the entries in the matrix kernels presented in Section 3.5 have a particularly simple form. For instance,
and the entries of the kernels are computed by applying the appropriate operators to this expression.
3.7 Specification to the Harmonic Oscillator Potential
We now return to the case where the weight function is .
Theorem 3.4.
Let
A complete family of skeworthogonal polynomials for the weight with respect to is given by
(3.3) 
and
(3.4) 
where is the generalized th Laguerre polynomial. The normalization of this family of polynomials is given by
(3.5) 
We can recover a family of monic skeworthogonal polynomials by dividing by the leading coefficient. Specifically,
Corollary 3.5.
A complete family of monic skeworthogonal polynomials for the weight with respect to is given by
and
The normalization for this family of monic skeworthogonal polynomials is given by
Setting , we recover a family of skeworthogonal polynomials for the harmonic oscillator two charge ensemble with fugacity equal to one, and we will write for and for .
4 Proofs
4.1 Proof of Theorem 2.1
We set . To prove 1, we use Theorem 3.1 and the skeworthogonal polynomials from Corollary 3.5 to write
Hence,
where again . Note .
The remaining claims follow from the above by definition and the properties of Laguerre polynomials.
4.2 Proof of Theorem 2.2
Point 3 of Theorem 2.1 specified to the first two moments produces
Now, since and , we have that
Further, using the differential equation , we also have that
This yields
and so asymptotics of the variance follow from those for the mean.
Next introduce a version of Perron’s formula (see [5]),
where and are known explicitly. In particular, , , , and . Substituting into the above we then obtain
and which completes the proof of point 1 (recall ).
Moving to the limit law for , we introduce a little new notation. Set
with . For even, is the probability of particles of charge 1, otherwise this probability is zero, compare point 1 of Theorem 2.1. In the continuum limit this distinction is unimportant; we will show that, as
(4.1) 
uniformly for on compact sets.
First note that by Stirling’s approximation (in the form ) and again Perron’s formula (now in the simpler form ),