From the discussion of the previous Chapter, it appears that the description of infinite systems looks much more difficult than in the finite-dimensional case, above all because of the existence of (too) many possible representations of the algebra of canonical variables.
The canonical anticommutation relations (CAR) for fermion systems can be represented by finite-dimensional matrix algebra, but it is impossible for canonical commutation relations (CCR) for bosons. After description of more simple case with representation of CAR and (bounded) quantum computational networks via Clifford algebras in the paper are discussed CCR. For representation of the algebra it is not enough to use quantum networks with fixed number of qubits and it is more convenient to consider Turing machine with essential operation of appending new cells for description of infinite tape in finite terms --- it has straightforward generalization for quantum case, but for CCR it is necessary to work with symmetrized version of the quantum Turing machine. The system is called here quantum abacus due to understanding analogy with the ancient counting devices (abacus).
This paper is a study of the representations of the current algebra for an infinite, free, Bose or Fermi system at finite temperature. The state of the algebra is calculated for a finite system by use of the grand canonical formalism of statistical physics, and the thermodynamic limit is used to get the representation of the infinite case. An expression of the states is given in terms of determinants of one particle operators. In a second part, the usual formulas for the occupation density, the condensation temperature for bosons, etc., are recovered. It is also found that the canonical and grand canonical formalisms are equivalent when used to study Fermi systems in the thermodynamic limit, but not so for the Bose systems. It is postulated that this has something to do with the phase transition of Bose systems. Finally, the problem of the Hamiltonian is discussed in some details. The states calculated previously are used to test a method for calculating expectation values of the Hamiltonian, given the states of the algebra; it yields the correct value for the case of the free system at finite temperature.
The received view in the philosophy of physics is that a quantum theory is given its mathematical formulation in a so-called Hilbert space, with the states of a quantum system given by the elements of this space and observables—measurable quantities of the system—given by so-called operators on this space. But the status of this fundamental postulate becomes threatened when one moves to complex systems, like the quantum fields underlying fundamental particle physics or statistical systems composed of infinite collections of quantum particles. In these more complex cases, one finds many inequivalent Hilbert space representations that appear to be competing quantum theories. In looking for a mathematical structure of the theory to interpret as representing the physical world, one is faced with a choice: either arbitrarily pick one Hilbert space representation (out of the many competing representations) as a Hilbert Space Conservative, or else look for the abstract algebraic structure that all of these competing representations have in common as an Algebraic Imperialist. This dissertation provides an extended argument for the second route.