1. Introduction
The leading idea behind statistical descriptions of complex deterministic quantum problems is that quantum characteristics (e.g., eigenenergies) of a large variety of such problems are so erratic and irregular that their precise values are irrelevant (such as the position of a molecule in the air), and only their statistical properties are of importance. As matrices are inherent in quantum mechanics, random matrices occupy a predominant place in the application of statistics to quantum problems [
1]. In a typical setting, one tries to find a random matrix ensemble whose eigenvalues have the same statistical distributions as (high-excited) eigenenergies of a given deterministic quantum problem. Until now, this query has been figured out only for two limiting classes of quantum problems: (i) models whose classical limit is integrable [
2] and (ii) models whose classical limit is chaotic [
3]. For generic integrable models, quantum eigenenergies are distributed as eigenvalues of diagonal matrices with independent identically distributed (i.i.d.) elements which means that their correlation functions after unfolding coincide with the ones of the Poisson distribution [
2]. For generic chaotic systems, it was conjectured in [
3] that their eigenenergies are distributed as eigenvalues of standard random matrix ensembles (GOE, GUE, GSE) depending only on system symmetries whose correlation functions are known explicitly [
4]. The difference between these two cases is clearly seen from the limiting behaviour of their nearest-neighbour distribution
, which is the probability density that two eigenvalues are separated by a distance
s and there are no other eigenvalues in between. For the Poisson statistics, there is no level repulsion that means that
and for large argument
decreases exponentially with
s. Standard random matrix ensembles levels repel each other,
, and
when
.
These two big conjectures form a cornerstone of quantum chaos and have been successfully applied to various problems from nuclear physics to number theory. Nevertheless, they do not cover all possible types of models. Especially intriguing is the class of pseudo-integrable billiards (see, e.g., [
5]) which are two-dimensional polygonal billiards whose angles
are rational multiples of
with co-prime integers
and
. A peculiarity of such billiards is seen in the fact that their classical trajectories belong to a two-dimensional surface of genus
g related with angles as follows [
6]
where
is the least common multiple of all denominators
. Consequently, any such model with at least one numerator
is neither integrable (which would imply that trajectories belong to a two-dimensional torus with
) nor fully chaotic (in which case trajectories should cover a three-dimensional surface of constant energy), and the aforementioned conjectures cannot be applied to such systems. Numerical calculations show that for many pseudo-integrable billiards, the spectral statistical properties of corresponding quantum problems differ from both the Poisson statistics and the random matrix statistics mentioned above (see, e.g., [
7,
8] and references therein). In particular, for these models, (i)
as for standard random matrix ensembles but (ii)
for large
s as for the Poisson statistics. Such hybrid statistics, labeled intermediate statistics, had been first observed in the Anderson model at the metal–insulate transition [
9,
10], and they constitute a special, interesting but poorly investigated class of spectral statistics.
Probably the simplest example of pseudo-integrable systems is the so-called barrier billiard, which is a rectangular billiard with a barrier inside sketched in
Figure 1a. The quantum problem for this model consists of solving the Helmholtz equation
imposing that eigenfunction
obeys (e.g.,) the Dirichlet conditions on the boundary of the rectangle as well as on the barrier
Calculating the exact
S-matrix for the scattering inside the infinite slab with a barrier depicted in
Figure 1b, it has been demonstrated in [
7,
8] that spectral statistics of this model is the same as the statistics of eigenvalues of the following
random unitary matrix
where
are i.i.d. random variables uniformly distributed on interval
and
where coordinates
depend on the position of the barrier.
Define the following quantities (momenta) of propagating modes in each of three channels indicated in
Figure 1b.
If the ratio
is an irrational number, coordinates
have the following form
Here,
with
are the numbers of propagating modes in each channel
where
is the largest integer
and the total dimension of the
B-matrix is
.
When the ratio
is a rational number,
with co-prime integers
p and
q (
), there exist exact plane wave solutions of barrier billiard equal to zero at the whole line passing through the barrier. It is natural to disregard them and take into account only non-trivial eigenvalues. In such case, coordinates
have to be chosen as indicated below
The dimension of this vector is
The matrix
B can be generalised for arbitrary vector
provided the following interlacing conditions are fulfilled
Exact correlation functions for the
B-matrix are unknown at present. In [
7,
8], it was argued that an approximate Wigner-type surmise for this matrix corresponds to the so-called semi-Poisson distribution [
11]. In particular, it implies that the probability density
that two levels are separated by a distance
s and there are exactly
n levels in between (after the standard unfolding) is given by the following expression
Numerical calculations presented in [
7,
8] agree with these simple formulas.
Despite the simplicity of the semi-Poisson distribution, it has been observed (mostly numerically) in various models ranging from certain pseudo-integrable models and quantum maps (see references in [
7,
8]) to the entanglement spectra of two-bits random many body quantum circuits [
12].
This paper is devoted to the calculation of another important characteristic of spectral statistics, namely the level (or spectral) compressibility, which is a long-range characteristic of the spectral two-point correlation function. In particular, this quantity determines the limiting behaviour of the variance of the number of levels inside a given interval. More precisely, let
be the number of eigenvalues in an interval
L unfolded to the unit mean density, which means that the mean number of levels in interval
L equals
L,
. By definition, the number variance is
. If for large
L
constant
is called the level compressibility. The importance of this quantity follows from the fact that for integrable systems with the Poisson statistics,
, but for standard random matrix statistics typical for chaotic models,
. For all examples of intermediate statistics, it was observed that
.
The conventional way of determining the level compressibility for dynamical systems is the summation over all periodic orbits in the diagonal approximation initiated in [
13]. For the symmetric barrier billiard with
and
, it has been demonstrated in [
14] that
. The same value had been obtained in [
15] for the case
and arbitrary barrier height
. Finally, for
with co-prime integers
p,
q and irrational values of
, it has been proven in [
16] that
but in the calculations, exact eigenvalues whose eigenfunctions are zero on the whole line
(see
Figure 1a) have not been excluded. When these trivial eigenvalues are removed, the answer is
[
17]. Therefore, direct (and quite tedious) calculations suggest that for (almost) all positions and heights of the barrier, the level compressibility is the same as for the semi-Poisson statistics [
11]
but the reason of this universality remains obscure.
The purpose of the paper is to find analytically the spectral compressibility for barrier billiards and for a few other models directly from the corresponding random unitary matrices. To achieve the goal, it is convenient to slightly generalise the method developed in [
18] for random unitary matrices that appeared in the quantisation of quantum graphs [
19]. The method is briefly explained in
Section 2. In
Section 3, this method is applied to random unitary matrices derived in [
20] by the quantisation of a simple interval-exchange map. In this case, the transition matrix is a circulant matrix whose eigenvalues are known explicitly. The results coincide with the exact level compressibility for these models obtained in [
21,
22,
23,
24]. This example gives credit to the method and permits explaining its main features without unnecessary complications. In particular, it clarifies the situation (not covered by Refs. [
21,
22,
23,
24]) when a parameter that entered the matrix takes an irrational value. Numerically, it has been observed [
22] that in such case, the spectral statistics are well described by the ones of chaotic systems (GOE or GUE), although the Lyapunov exponent of the underlying classical map is always zero.
The main part of the paper is devoted to the derivation of the level compressibility for random matrices associated with barrier billiards (
1). The calculations are more complicated, as no eigenvalues (except one) are known analytically. The simplest case of the symmetric barrier billiard with
is investigated in
Section 4. To obtain tractable expressions, a kind of paraxial approximation is developed, which permits controlling the largest terms. By using such approximation, the transition matrix is transformed into a Toeplitz matrix with a quickly decreasing symbol, which allows us to find its eigenvalues for large matrix dimension. The result of this section is that the level compressibility equals
in accordance with periodic orbit calculations in [
14,
15].
In
Section 5, random unitary matrices corresponding to barrier billiards with irrational ratio
(with coordinates given by (
3)) are considered. In this case, the transition matrix in paraxial approximation contains quickly oscillating terms and, consequently, has forbidden zones in the spectrum. In spite of that, one can argue that largest moduli eigenvalues are insensitive to fast oscillations and are determined solely by a matrix averaged over such oscillations. The final matrix is also a Toeplitz type, which allows analytical calculations, proving that the level compressibility is again equal to
.
Section 6 addresses the calculation of level compressibility in the most complicated case of barrier billiards with rational ratio
. The computation is cumbersome, but in the end, one comes to the conclusion that the level compressibility remains equal
. In other words, the level compressibility of barrier billiards is universal (i.e., independent of the barrier position and its height) and coincides with the semi-Poisson prediction [
11].
2. Generalities
It is well known that the level compressibility (
7) is related with the two-point correlation form factor
as follows
For
random unitary matrices
U, the form factor can, conveniently, be written in the following concise form (see, e.g., [
18])
where the average is taken either on different realisations of random parameters, or over a small window of
, or both.
Unitary matrices considered in the paper all have the product form
where
are i.i.d. random phases uniformly distributed between 0 and
, and matrix
is a fixed unitary matrix.
In [
18] (see [
19] for more detailed discussion), it was shown that for such unitary matrices, the averaging over random phases leads in the diagonal approximation to the following formula
where matrix elements of matrix
T, called below the transition matrix, are squared moduli of matrix elements of matrix
U
For systems without time-reversal invariance,
, and for models with time-reversal invariance,
(here, only cases of
are considered). Due to the unitarily of matrix
U, the
T-matrix is a double stochastic matrix,
and
, thus having the meaning of classical transition matrix.
Let
be eigenvalues of the
T-matrix
From (
12), it follows that
The unitarity imposes that one eigenvalue . Perron–Frobenius theorem states that all other eigenvalues .
Let the set of eigenvalues be ordered
. One has
It has been noted in [
18] that if
then the second term in (
15) goes to zero for all finite
and
for small
. Consequently, it is reasonable to conjecture (as it has been done in [
18]) that the whole spectral statistics of such matrices will be well described by standard random matrix formulas.
For the matrices discussed below, criterium (
16) is not fulfilled. Instead, in all considered cases, the largest moduli eigenvalues of transition matrices have the form
. To calculate the level compressibility from (
14), the summation over all such eigenvalues is performed analytically, and then, the limit
is taken.
It is well known that the form factor is not a self-average quantity. It has strong fluctuations and necessarily requires a smoothing. There exist two different sources of fluctuations. The first is related with random phases in matrices (
11). Equation (
12) corresponds to the averaging over these random phases in the diagonal approximation. The second has its roots in non-smoothness of
for different
n and could be removed by a smoothing over a small interval of
. (A trivial example is
).
3. Interval-Exchange Matrices
This section is devoted to the calculation of the level compressibility for special unitary matrices derived in [
20] by quantisation of a simple two-dimensional parabolic map. Slightly generalising their result [
21], one can write these matrices in the following form
Here,
is a real parameter and
are i.i.d. random variables uniformly distributed between 0 and
(the case with ‘time-reversal symmetry’ when
requires only multiplication of the formulas below by factor
, as indicated in (
12)).
When
is a rational number
with co-prime integers
p and
q, the original classical map is an interval-exchange map and, as it was shown in detail in [
21,
22,
23,
24], spectral statistics of matrices (
17) in the limit of
are unusual and peculiar. It appears that the limiting results depend on the residue of
(when
matrix (
17) have explicit eigenvalues not interesting for our purposes). For example, if
, there are two possibilities:
mod 5 and
. In the first case, the nearest-neighbour distribution is
but for the second one, the exact result is different
where
,
,
,
, and
.
Although the spectral correlation functions for
are different for different residues
, the calculations show that the spectral compressibility for all residues remains the same [
21,
22]
Matrices (
17) with irrational
were investigated numerically in [
22], and it was observed that their spectral statistics are well described by standard random matrix ensembles (GOE or GUE). In particular, it implies that in such case
Below, it is shown that values (
18) and (
19) can easily be recovered by the discussed method.
The transition matrix (
13) for the discussed case has the form
This is a circulant matrix, and its eigenvalues are simply the Fourier transforms of its matrix elements
Differentiating both sides of the identity with integer
s on
z
after straightforward transformations, one proves that
from which it follows that eigenvalues (
21) are
Notice that
,
for
.
Consider first the case of rational
. Assume that
mod
q and calculate the form factor from (
14) separately for
mod
q with
(i.e.,
with integer
t)
Here, we do not take into account that when
N is even the term with
is real and has an additional factor
.
Notice that the phase depends only on
r. For large
N, one can put the first factor in the exponent and sum the geometric progression from 1 to infinity. The answer is
where
with
.
When
, all terms except the one with
tend to zero, as they do not have a pole at
. The remaining term equals
It means that after the averaging over random phases, the limiting value of the form factor
strongly depends on small changes of
. For
,
tends to 1 for small
but for all other terms with
tends to 0. The difference between these different values of
is very small, of the order of
. Therefore, after the averaging over any small (but finite) interval of
, one gets
which agrees with (
18) obtained in [
22] by a different method.
For illustration, the results of the direct calculation of the form factor for
and
and
are presented in
Figure 2. First, eigenvalues of the matrix (
17) were calculated numerically, and then using (
10), the form factor for different
n values was computed. The result is averaged over 1000 realisations of random phases. It is clear that, indeed, for different residues of
n modulo 5, the results are different, and when
mod 5, the form factor at small argument is close to 1, but for all other residues, it starts at 0. The average over all 5 residues begins at
, as expected.
Such a clear picture appears when the form factor is calculated at special values of , with integer n. Computing it at arbitrary arguments leads to an irregular plot but, of course, the average curve remains unchanged.
Exactly the same formulas can be applied for an irrational value of parameter
. In this case, one has
The exponent has a large imaginary part when . It means that the above expression is a strongly oscillated function of . When averaged over a small interval of , one obtains as it should be for the ensemble of usual random matrices (GUE). This result follows without calculations from the fact that the average of all eigenvalues except equals zero as a consequence of rapidly changing phases. (For even N, the term with is real, but as it tends to zero at large N, its contribution is negligible).
Notice that criterion (
16) for matrix (
17) with irrational
is not fulfilled. Nevertheless, the spectral statistics of such a matrix is close to GUE statistics. This example illustrates a new mechanism for the appearance of random matrix statistics. The contribution of higher eigenvalues of the transition matrix (
13) decreases not because of a gap between the first and the second eigenvalues as has been proposed in (
16) but due to rapid oscillations for large matrix dimensions.
4. Symmetric Barrier Billiard with h/b = 1/2
The central problem of the paper is the determination of level compressibility for the
B-matrices given by (
1) and (
2) by employing the method proposed in [
18] and used in the previous section for matrices derived from the quantisation of an interval-exchange map. The simplicity of treatment of interval-exchange matrices comes from the fact that their transition matrices are circulant matrices whose eigenvalues are known exactly. For the
B-matrices, calculations are more complicated, as there are no explicit formulas for eigenvalues of the corresponding transition matrix.
This section is devoted to the investigation of the
B-matrix corresponding to the symmetric barrier billiard with ratio
. In this case,
,
, and the second part of the vector
in (
5) coincides with the third one. Now, trivial eigenfunctions can be removed by considering a desymmetrised rectangular billiard with height
and imposing the Neumann boundary conditions for negative
x and
. It is the equivalent of dropping the second part of vector (
5) and taking coordinates
as follows [
7]
Odd (resp., even) indices describe the first (resp., the third) part of vector (
5).
The numerically calculated spectrum of the transition matrix in this case is presented in
Figure 3a.
To calculate this spectrum (or, at least, the behaviour of largest-moduli eigenvalues) analytically, a kind of paraxial approximation has been developed. It is based on the fact that the main ingredient of matrices with intermediate statistics is a linear fall-off of matrix elements from the diagonal [
25,
26]. In the simplest setting, it means that
Therefore, it is natural to assume that the most important contributions come from the pole terms with
. This type of approximation can be done directly from the definition (
2), as it is demonstrated in
Appendix A. According to these results, the
T-matrix in the paraxial approximation is a block matrix
Here, subscripts ‘o’ and ‘e’ indicate odd and even indices, respectively.
It is instructive to obtain this answer without the knowledge of the exact
B-matrix. One can achieve it by using the instantaneous approximation used in quantum mechanics when the interaction changes suddenly. In optics, such an approximation is analogous to the Fraunhofer diffraction. In the barrier billiard, it corresponds to the situation when a wave with large momentum quickly moving in a channel enters into another channel (cf.,
Figure 1b). In the instantaneous approximation, eigenfunctions in the new channel are just a re-expansion of the initial eigenfunctions into a complete set of eigenfunctions with correct boundary conditions inside the final channel.
Consider a normalised wave with the Neumann boundary conditions at
and the Dirichlet ones at
propagating in the desymmetrised barrier billiard at negative
x. When it penetrates into the region of positive
x, it has to be expanded into correct waves propagating inside that region
where
are waves obeying the Dirichlet boundary conditions at
and
Coefficients
are the
S-matrix for this process. In the paraxial approximation, they are calculated as follows (notice that in the paraxial approximation,
)
Taking into account only the pole term (and symmetry of the
S-matrix), one obtains for the
T-matrix exactly the same expression as (A1).
Thus, the transition matrix (
27) is a block Toeplitz matrix. It is plain that its eigenvalues
where
are eigenvalues of a
matrix (with
).
Dominant contributions to the sum come from regions
and
. Due to a quick decrease of the summands, the finite summation over
k can safely be substituted in the limit
by the sum over all integer
k
Using (
A6), the necessary sum is easily calculated, and the result is
This formula is valid when
and
.
Matrix (
28) is a Toeplitz matrix with quickly decreasing matrix elements. It is well known that eigenvalues of the
Toeplitz matrix can be asymptotically calculated as follows (see, e.g., [
27,
28,
29,
30,
31] and references therein)
where function
called the symbol is the Fourier series of
.
(More precise formulas can be found in the above references).
Using (
A4) and (
A5) one finds that the symbol of matrix (
28) is
Therefore, eigenvalues of the
P-matrix for large
are
Eigenvalues of block matrix (
27)
. Taking into account that the dimension of matrix (
27) is
, one concludes that approximately its eigenvalues are
With the corresponding redefinition of index
, these eigenvalues can be rewritten in the form
which agrees well with numerical calculations (see
Figure 3a).
The form factor in the diagonal approximation is related with transition matrix eigenvalues by (
14)
As
for
(which is a consequence of the block structure of the transition matrix (
27)), the form factor
with odd
n in the diagonal approximation tends to zero when
However, for even
n, one obtains a different answer. Equation (
30) may not be accurate for extreme eigenvalues with small
. For
, one can separate the contribution of small
and the rest for which (
30) is a good approximation
As has been discussed in the previous section, it means that the spectral compressibility of the
B-matrix for symmetric barrier billiard coincides with the semi-Poisson value
For illustration, the form factor for the symmetric billiard calculated numerically by the direct diagonalisation of
matrices (
1) with coordinates given by (
26) and averaged over 1000 realisations is shown in
Figure 3b. Two branches corresponding to odd and even
n are clearly seen. The average over odd and even values agrees well with the semi-Poisson expression for the form factor [
11] and, in fortiori, the level compressibility is
, as in (
33).
5. Barrier Billiard with Irrational Ratio h/b
The transition matrices for a general barrier billiard with an off-centre barrier remain the same as in (
25), but coordinates
should have the form (
3) for irrational ratio
and (
5) for rational
. The direct calculations of eigenvalues of these matrices reveal that they are more complicated that the ones for symmetric billiard with
discussed in the previous section. As an example, in
Figure 4, the spectra of the transition matrices with
and
are presented. It is clearly seen that although eigenvalues with small moduli are quite irregular and have gaps, the largest moduli eigenvalues are well described by a straight line
.
This section is concentrated on the analytical treatment of billiards with irrational ratio
. As in the previous section, the first step consists of the calculation of a paraxial
S-matrix for the scattering inside the slab with a barrier, as shown in
Figure 1b. It can easily be completed in the instantaneous approximation exactly as above. In such an approximation, only transitions from channel 1 to 2 and to 3 and their inverse are non-zero. One has
Similarly,
The transition matrix
also has the same block structure. Retaining only the pole (the first) terms (and slightly changing the notations), one obtains
where
with
given by (
4) and
Due to the block structure of the transition matrix (
34), it follows that its eigenvalues
are determined by the relation
where
are eigenvalues of
matrix
For large matrix dimensions, the summation can be extended over all integer
k, and the sums can be calculated explicitly by using (
A7) from
Appendix C. The results are
and for
This matrix is a combination of Toeplitz terms dependent on the difference
and oscillating terms (which explains the existence of forbidden zones in its spectrum; see
Figure 4a).
Due to the unitarity of the
B-matrix, the exact transition matrix
has the largest eigenvalue equal to 1, whose corresponding eigenvector is
. It is natural (and is confirmed by calculations) that eigenvectors of the
P-matrix corresponding to large moduli eigenvalues are slowly varying functions. Consequently, all oscillating terms in (
36) and (
37) for large
m and
n could be ignored. These arguments lead to the following recipe of the next step of approximation. Put
and average all matrix elements of the
P-matrix over quickly changing phase
. The calculations are straightforward and
where
Eigenvalues of such a matrix for large
N are calculated by the Fourier transform of this symbol
The necessary sums are expressed through the Bernoulli polynomials (
A4), (
A5), and the result is
From the beginning, one can assume that
, i.e.,
(the case
was discussed in
Section 4). Then
As eigenvalues of the block matrix (
34)
, it follows that close to maximum value (i.e., with small
),
As in the calculation of the form factor (
14) small moduli eigenvalues are irrelevant, one can ignore higher-order terms in the above expression, which gives the same expression as in (
30). It means that the level compressibility of barrier billiards with irrational ratio
has the same value as in the preceding sections
.
In
Figure 5a, the above formulas are compared with the results of direct calculations for the
P-matrix with
. As has been demonstrated, the approximate expression (
39) is tangent to the exact spectrum close to 1. The form factor computed numerically for the same ratio
is presented in
Figure 5b. The agreement with the above result is clearly seen.
6. Barrier Billiard with Rational Ratio h/b = p/q
The calculation of transition matrix eigenvalues when the ratio
is a rational number can be completed by a similar method. An additional difficulty in such case is that one has to select special combinations of states in the second and the third channels to remove trivial eigenvalues equal to zero on the whole line passing through the barrier. It has been discussed in detail in [
8] and briefly reviewed in
Appendix B. Combining all terms together, one concludes that the transition matrix when
with
p and
q being co-prime integers has the block form similar to (
34) but with one more block
Here, indices
have the following restrictions
and
with
given by (
4) and
is determined by (
A2) or (
6). The total matrix dimension is
as in (
6).
Matrices
and
are the same as in (
35) and
given by (
A3) from
Appendix BThe eigenvalues of block matrix (
40)
are
where
with
are eigenvalues of matrix (superscript (res), indicating that the matrix describes the resonance case
)
Using an evident relation
and (
A7), the above sums can be explicitly calculated.
The results are
and when
where
Although these expressions are indexed by integers
m and
n, this notation is symbolic. The point is that by construction, these integers cannot be arbitrary but have to be not divisible by
q. Let us order such numbers and let
with
be the
integer
. Then, indices of matrix
have to be considered as follows:
,
with
with
defined in (
41). In such notation, matrix
is
matrix
The next step, as in the previous section (cf., (
38)), consists in the substitution instead of the above exact expressions, their mean values with fixed difference between the indices
where both integers
n and
have to be not divisible by
q.
According to (
42) and (
43), the
matrix is a mixture of functions depending explicitly on the differences of indices and certain coefficients depending on indices modulus
q. Only the latter requires the explicit averaging. Using (
A8)–(
A11) from
Appendix C, one obtains that
Here, it is taken into account that
. The superscript ′ in these sums indicates that the term with
is omitted. The latter condition implies that the number of independent terms equal
if
or
otherwise. Finally, one obtains
with
where constants
are
Although this matrix depends only on the difference of indices
, it is not a Toeplitz matrix as
m and
n are not arbitrary numbers but only integers not divisible by
q. Nevertheless, one can argue that the largest eigenvalues for large matrix dimension can be calculated by a formula similar to Toeplitz matrices (which is a kind of variational method)
Here, as above,
is the
integer
.
In
Appendix C (see (
A13)), it is shown that such a sum can be written as follows
The first sum is calculated through the Bernoulli polynomial
(see (
A4)). The last sums are expressed through two functions
The explicit expressions of these function can be obtained as follows.
Define one more function
By the differentiation over
x, one has
and
. As the differentiation of
over
x gives the sum of
-function, it is plain that
is the piece-wise constant function in interval
. Using (
A6), one gets
Correspondingly, function
is a piece-wise linear function in the same intervals
In the same way, one proves that function
is a piece-wise quadratic function
In all these formulas,
and
.
Combining all terms together, one finds
The main interest for the calculation of the form factor is the behaviour of the largest eigenvalues for
x close to zero. Using (
47) and (
48), one concludes that
Here
and
The sum over residues is of the form
and (as it is easy to check) in the considered case
. Therefore
Consequently
and
Using sums indicated in
Appendix C and collecting all terms in the end, one finds that
This result signifies that the largest moduli eigenvalues of the transition matrix for the barrier billiard with rational ratio
are (i) independent of values of integers
p and
q and (ii) have the same asymptotic expression as in (
30) (taking into account that
)
As it has been explained above, it implies that (i) the form factor for barrier billiards is different for odd and even
n and (ii) the spectral compressibility is exactly equal
for all positions of the barrier
The numerical calculations exemplified in
Figure 6 confirm well these results.
7. Summary
It is demonstrated that the method of calculation of the level of compressibility proposed by G. Tanner in [
18] for chaotic systems can successfully be applied for intermediate statistics models. The criterium discussed in [
18] states that if the difference between the dominant eigenvalue of the transition matrix
and the second in magnitude eigenvalue is big enough, then only the dominant eigenvalues contributes to the form factor, and one obtains the usual value of the form factor corresponding to standard random matrix ensembles. Notably, the level compressibility is zero.
For models considered in the paper, no individual transition matrix eigenvalues dominate, and one has to sum over many of them with moduli close to 1. Two types of random unitary matrices were investigated. The first corresponding to a quantisation of an interval-exchange map [
20] has been discussed in detail in [
21,
22,
23,
24]. In particular, the values of the level compressibility were derived. The application of the transition matrix approach for this case serves first of all to check the validity of Tanner’s method for intermediate statistics models. It appears that interval-exchange matrices lead to circulant transition matrices whose eigenvalues are explicitly known and all necessary sums are easily estimated. In the end, one obtains the same values of the level compressibility as obtained in [
21,
22,
23,
24] but with much simpler and transparent calculations. An example is of a special interest. It corresponds to interval-exchange matrices with an irrational value of a parameter (which strictly speaking describes not an interval-exchange map but only a parabolic one). Numerically, it has observed in [
22] that in such case, spectral statistics is of usual random matrix type (GOE or GUE depending on a symmetry) as for chaotic systems, which looks strange as the Lyapunov exponent of any parabolic map is zero. The transition matrix approach clearly indicates that although there is no dominant eigenvalue as has been discussed in [
18], all eigenvalues except
for large matrix dimensions are so quickly oscillating that averaging over a small interval of the argument effectively removes their contributions, producing the standard random matrix result.
The main part of the paper contains the calculation of the level compressibility for random unitary matrices derived from the exact quantisation of barrier billiards in [
7,
8]. The importance of such matrices comes from the fact that they have the same spectral statistics as high-excited states of barrier billiards, which are the simplest examples of pseudo-integrable models for which very little is known analytically.
The barrier billiard transition matrices are more complicated than the ones for interval-exchange matrices. Their spectra contain forbidden zones, and their exact eigenvalues seems not to be accessible in closed form. Nevertheless, as the level compressibility requires the control only of largest moduli eigenvalues of the transition matrix, it is possible to find such eigenvalues for large matrix dimensions precisely. The main simplification comes from the fact that eigenvectors corresponding to largest moduli eigenvalues are slow oscillating functions. Therefore, quickly oscillating terms in matrix elements will give negligible contributions on these eigenvectors, and one can substitute instead of exact matrix elements their average over fast oscillations. The resulting matrices are simpler and permit finding their large moduli eigenvalues analytically. In the end, one proves that the level compressibility of barrier billiards for all positions and heights of the barrier is the same and equals . This result strongly indicates that spectral statistics of the B-matrices associated with barrier billiards is universal (i.e., independent on the barrier position) and well described by the semi-Poisson distribution.