In  quantum statistics starts with the grand canonical ensemble. The quantum canonical ensemble is mentioned, but not elaborated. I want to fill this gap. There is a simple example, which corresponds to a quantum canonical ensemble: There are K employers and N employees. I want to describe the fluctuation of employees between the employers. I assume, that there are rates (αij) for the preference of a change from employer i to employer j. I observe the numbers q(i) of employees per employer i during some years. Trying to explain the fluctuations, there are two different models available. If I assume, that always the employees decide to change, the numbers q(i) will follow particle statistics, i.e. they are gaussian like concentrated around a mean value. If I assume, that always the employers decide (without considering anything about employees), the numbers will follow quantum statistics. Then the values of q(i) along such a fluctuation process are similar to a mode (  p. 100): for a mode i there is a value r, where ), excepted for the values of the employer, who is most preferred by the change rates (αij), where there are many options. Such a process is defined in Chapter 2, with the employees as elements, the employers as labels, and the preference rates as request probabilities.
Normally both models about reasons of fluctuations are mixed. But in statistical physics there is a clean cut. In  Huang introduces different kinds of elements: particles, bosons and fermions. Then particles are treated in particle statistics, bosons and fermions in quantum statistics. I search for such differences elsewhere, in the trigger method of state transitions. In my quantum systems it is possible, that a request for a transition is rejected, because there is no element available to perform the transition. In my example above it is artificial. But it is essential, when I choose such a model.
In  states and state changes are described by transition probabilities of complexes. I consider most simple complexes, i.e. single exchanges between species (labels). In  the number of particles per species (label) is observed along several steps of a transition process. There are balance conditions for the transition process (in a special case,  16.3). Instead of transition probabilities for particles I build a quantum analogue by request probabilities (Chapter 2) with nearly the same balance conditions (Chapter 4). The common feature is a unique eigenvector (up to a factor λ > 0), unique because of the theorem of Perron-Frobenius (  , Chapter 16.6). In  the eigenvector consists of probabilities with sum = 1. In the corresponding quantum system it consists of emission rates, where the highest emission rate has a value between 1/K and 1.
There is an important special case, (dynamic) equilibrium, i.e. detailed balance (Chapter 5). When there is given a positive vector (or function) ρ, there exist transition probabilities for particles for an exchange process in detailed balance (  Metropolis algorithm, or with in the hybrid Monte Carlo method). I use the same values as request probabilities. The eigenvector ρ is the same for all numbers N of elements of the exchange process. When N = 1, transition probabilities and request probabilities coincide. When N increases, the emission rates increase by a common factor. Another setup is: there is a space X, where I can build approximately equal distributed finite sets, with a function . Then the selection of these finite sets varies, and one asks for properties of the exchange processes, which are independent of the selection. Assuming equilibrium, the determination of the edges of the state transitions is less important than it is e.g. in models of equilibration as in  for quantum systems, or in approximation tasks by the Metropolis-Hastings algorithm  .
I started to consider such random walks, trying to explain the difference between Boltzmann and Gibbs entropy more explicitly than in  . It was my “Gibbs version” of the random walks, which led to my version of quantum random walks. I made numerous computer simulations, observing the results of such random walks, to confirm my theoretical considerations.
2. Random Walks
Given a directed, connected graph Γ(V,E) with K vertices (labels) , and edges e E. An edge e leads from label start(e) to label end(e). For labels i, j with i ≠ j, there is at most one edge e E with i = start(e) and j = end(e). Then I write e = (i → j). The inverse edge is (−e) = (j → i). The graph is assumed to be homogeneous: When e ∈ E, then is −e E. There is a number L, that for all labels i
Given a function of request probabilities
For N > 0 I define random walks through
A single step of the random walk consists of a request and a transition:
request of an edge: (2.4)
select an edge e R randomly, with same probability for each edge
select a random number τ [0,1)
if (τ < αe), the request is accepted, otherwise rejected
transition, if the request of edge e = (i → j) is accepted at q Q: (2.5)
if (q(i) > 0), the transition is accepted and performed by
q → r with (annihilation at vertex i) and
(creation at vertex j), r(k) = q(k) at k ≠ i,j
if (q(i) = 0), the transition is rejected
On rejection q is not changed.
I call it a quantum process. One version of a corresponding particle process is: I select a particle. It is at label i. Therefore I select an edge starting at i to perform the transition.
Each function α defines a (K x K)-matrix A = (αij) by
The result of a finite random walk is summarized by the number of all accepted requests, where q(i) = n for the current state q (i.e. where the transition will start):
The probability for a quantum number n at a label i is
The mean quantum number at a label (i) is
More typical for a quantum process is the emission rate:
i.e. the probability, that a transition starting at label i is accepted, related to all accepted requests starting at label i. The requests are independent of the current state. Therefore counting at all accepted requests leads to the same probabilities.
A special case is N = 1. Then r(i) = p(i), the probability, that the only element is at label i. Particle statistics of N > 1 elements can be explained by N identical and independent systems of such a 1-element system.
4. Balance Conditions
The probability of an accepted transition, which ends at a label i (input for i), must be equal to the probability of an accepted transition, which starts at i (output from i). Then, regarding (2.1)
Therefore the values r(i) build an eigenvector of the matrix (2.6), supplied with diagonal elements as in 
As suggested in  , I can add a common value λ > 0 to the diagonal elements, to achieve non negative matrix elements. The matrix must be irreducible. Then the values r(i) build an exemplar of the unique eigenvector with positive components due to the theorem of Perron-Frobenius.
The balance condition (4.1) is a striking property of such systems. In  it is considered only for particle statistics.
Let t(i) (number of all accepted transitions starting at label i) ≈ (number of all accepted transitions ending at label i). I define
Then there is another balance condition, which is used in a similar context by Einstein to derive Planck’s radiation law (  , and there are many related presentations available).
For a label i and a quantum number n there is
I search for a relation to modes in my context. The probability of an accepted request of edge e in all accepted requests is
The probability, that an accepted request starts at label i with quantum number n related to all accepted requests, is
The probability of a rejection of a transition i → j depends on the actual quantum number at the end of the edge, i.e. q(j), because a higher value of q(j) gives a higher probability of the rejection condition “q(i) = zero” at the start of the edge, label i. I have probabilities like “p(q(start(e)) = m) & q(end(e)) = n)”. If I assume independence, I get a relation:
Then I get via (3.4)
The balance (4.2) is
Therefore the quotient is independent of the quantum number n. Such a constant quotient, if < 1, describes the distribution of the quantum numbers of a mode (  p. 100). Therefore I can try to compare the labels with modes. For a perfect mode at label i there would be
In the counting results of my random walks (4.4) the values are nearly equal, excepted when the value of r(i) is close to 1.
Given a vector
I define “equilibrium” by request probabilities for each edge by
as usual in the Metropolis algorithm or via log ρ instead of ρ in the Hybrid Monte Carlo algorithm  for transition probabilities. The vector ρ fulfills the detailed balance conditions, because for each pair ((i → j), (j → i)) of edges there is
Therefore especially the balance conditions (4.1) are fulfilled by the vector ρ. The equilibrium for ρ is independent of the set of edges E, which is used for the transitions. Only (5.2) and irreducibility of the matrix (2.6) is required (for (2.1) one adds edges with request probabilities 0). In the context of the Metropolis-Hastings algorithm  there are additional options to vary.
Such balance conditions are not available in the boson system of  Chapter 8.5, which consists of a set of independent labels p, because there the precondition (  (8.57) Σnp = N) is eliminated due to the passage to the grand partition function (  (8.61)). It leads to independent labels and balance conditions like (4.2) at each single label p. Along a random walk, the edge selection is independent of the current state. Therefore I can interpret the random walk through Q as a random walk with Q as set of labels of a single element (K = #Q, N = 1), extending to
The request probability of an edge (q → r) for q, r ∈ Q is
I can fulfill condition (2.1) e.g. adding multiple edges (q → q).
The extended vector ρ fulfills the corresponding detailed balance conditions (5.3). As mentioned before, because of N = 1, there is
Now N may vary. I write Q(N) for Q defined by (2.3), pN instead of p and rN instead of r. Then with and
It confirms, that for each N the emission rates are multiples of the same eigenvector, and that N = 1 leads to probabilities. Furthermore rN(i) increases with N and the limit for
N → ∞ is 1 (proof via Z-functions). Because of (5.6) the emission rates (more general: all probabilities of quantum numbers) are independent of variations of the edges and request probabilities as mentioned at (5.3), detailed balance. Writing I get Z-functions as usual.
6.1 Main Results
Normally the labels are like modes, but there are exceptions. If ρ(i) is maximal at label i, there are two significant types. The label may be like a mode too (typically at low values of β or low values of N), or its quantum numbers may be concentrated, i.e. nearly gaussian distributed around a mean value (typically at large values of β or large values of N). There are continuous passages between these types.
Table 1 contains counting results and derived results for K = 12 labels with values H(i), randomly distributed in [0,1], labels sorted by the H-values, β = 1, N = 80. The random walk consists of 1010 steps. Evaluations start at 1/2 of all steps, to achieve a randomized start position.
Now I look at special functions ρ. In the context of quantum gases I find a
Table 1. Emission rates and mean values for random values of H(i).
r(i) = emission rate of label i by the counting results c(i, n); t(i) = emission rate of label i by Z-functions (5.6) (“theoretical”);
= mean quantum number at label i by the counting results c(i, n);
basic relation of Bose statistics in  (11.4):
It means: A vector as required in (5.1) is
I assume Equilibrium (5.2) of a quantum process. Then ρ(k) becomes an eigenvector, because of the detailed balance (5.3). The emission rates build an eigenvector too. I assume, that there is a unique maximum of ρ in k = 1 (i.e. ε1 is minimal). Then there is a unique μ < ε1 with , and therefore for each label k
Then (6.1) coincides with (4.4), which is well approximated in my random walks for labels k > 1. But the label k = 1 is an exception, not for (6.2), but for (6.1). Therefore k = 1 is treated by an extra term in  and  .
6.2. Ideal Bose gas
If I assume detailed balance of the exchange of kinetic energy in an ideal Bose gas  or  , I have 3D vectors p with
In such systems there exist critical temperatures, where the label (p = 0) is no longer like a mode (Bose-Einstein condensation). One finds a critical temperature on this way  : I build families of systems by their Hamilton operator (  (1.4)). β is fixed. I calculate the value of the emission rate r(p = 0) (called fugacity in this context) for single members of the family. Then I build a limit of the systems, running to infinity (there it is L → ∞). Although r(p = 0) < 1 for each single system, the limit may be 1. Then β varies, and the critical value βc = 1/kTc is the minimal β (maximal temperature), where the limit is 1. Then I can show, that in the limit the zero label (p = 0) has too many elements in mean, to be like a mode. It remains valid to claim, that for finite systems there are continuous passages between the different types of behavior at the label (p = 0).
The effect of Bose-Einstein condensation is observed in  based upon a birth and death process. It contains steps modeled by single transitions from one species to another. I guess, that there exist steps with rejections because of an empty resource. But I cannot find it.
6.3. Photon Gas
If I assume detailed balance of the exchange of the photon energy in an ideal photon gas (  Chapter 12.1), I have
with and Planck’s constant .
The label k is a 3D-vector. The setup for the random walks is similar as in (6.2). But here instead of (6.1) there is in  (12.8)
“2” indicates, that there are two labels for each vector k, because of two different polarizations. There are several options to determine the labels: When there are two labels, I am asked about the request probabilities for transitions between these labels (which are = 1, because here the ωk-values are equal). Or I assume one common label for both polarizations, because the exchange is independent of the polarization. Or there is no exchange between different polarizations and therefore I have two independent systems of the same kind.
Apart from the factor 2 it is just black box radiation. The idea behind (6.5) is, that in this case all labels are like modes. But there exist experimental results about special photon gases, where there is an exceptional zero label  . In  it is explained assuming a grand canonical ensemble in the case of modes and a canonical ensemble in the exceptional case.
Table 2 contains counting results and derived results for a photon gas model, which includes both cases. The setup is: H(x) = |x|, a 3D ball of radius 6 with K = 2000 labels equal distributed in the ball, 0 is included, β = 0.9. It leads to maximal energies per value |x| at |x| ≈ 3.0 … 3.3. Each random walk consists of 1010 steps. Evaluations start at 1/2 of all steps. The number of elements N is varied.
Table 2. Emission rates and mean values for a finite model of a photon gas.
“0” is the zero label; label y is the nearest neighbor of the zero label; r(i) = emission rate of label i by the counting results c(i, n);
= mean quantum number at label i by the counting results c(i, n);
At N = 60 label 0 is like a mode. Then there is a continuous passage, and beginning at N = 120, label 0 becomes concentrated around a mean value and r(y) no longer increases. Although the random walks are rather long, the values have random deviations, because K is large. As a counting result, I get r(0) = 1. The theoretical value remains < 1. The values of the corresponding Z-functions in (5.6) are around 1031.
I considered random walks, where state transitions are triggered by the connections between labels, not by elements, which are transferred. The balance conditions of such walks lead to emission rates of the labels. The labels cannot be exactly like modes, in contrast to  (12.2). They are not connected with electromagnetic waves and their superposition principle. But I can build models of dynamical equilibrium, which gain insight into the statistics of the quantum numbers, and I can try to compare it e.g. with a Bose-Einstein condensate. There is no singularity, because the zero label is not introduced as a mode with mean quantum number, but as a label with an emission rate. To get comparable quantitative results there is an important question left open: How are the numbers of elements and labels related to pressure and volume of a quantum gas?
Another question is: Are there systems, where the zero label of my finite quantum system can explain the properties of the vacuum of a corresponding quantum system?
Comparisons are difficult, because I considered equilibrium only. It is left open, how to introduce a quantitative notion of time.