Free Riemann Gas
   HOME

TheInfoList



OR:

In
mathematical physics Mathematical physics is the development of mathematics, mathematical methods for application to problems in physics. The ''Journal of Mathematical Physics'' defines the field as "the application of mathematics to problems in physics and the de ...
, the primon gas or Riemann gas discovered by
Bernard Julia Bernard Julia (born 1952 in Paris) is a French theoretical physicist who has made contributions to the theory of supergravity. He graduated from Université Paris-Sud in 1978, and is directeur de recherche with the CNRS working at the École No ...
is a
model A model is an informative representation of an object, person, or system. The term originally denoted the plans of a building in late 16th-century English, and derived via French and Italian ultimately from Latin , . Models can be divided in ...
illustrating correspondences between
number theory Number theory is a branch of pure mathematics devoted primarily to the study of the integers and arithmetic functions. Number theorists study prime numbers as well as the properties of mathematical objects constructed from integers (for example ...
and methods in
quantum field theory In theoretical physics, quantum field theory (QFT) is a theoretical framework that combines Field theory (physics), field theory and the principle of relativity with ideas behind quantum mechanics. QFT is used in particle physics to construct phy ...
,
statistical mechanics In physics, statistical mechanics is a mathematical framework that applies statistical methods and probability theory to large assemblies of microscopic entities. Sometimes called statistical physics or statistical thermodynamics, its applicati ...
and
dynamical systems In mathematics, a dynamical system is a system in which a Function (mathematics), function describes the time dependence of a Point (geometry), point in an ambient space, such as in a parametric curve. Examples include the mathematical models ...
such as the Lee-Yang theorem. It is a quantum field theory of a set of non-interacting particles, the primons; it is called a
gas Gas is a state of matter that has neither a fixed volume nor a fixed shape and is a compressible fluid. A ''pure gas'' is made up of individual atoms (e.g. a noble gas like neon) or molecules of either a single type of atom ( elements such as ...
or a ''free model'' because the particles are non-interacting. The idea of the primon gas was independently discovered by Donald Spector. Later works by Ioannis Bakas and
Mark Bowick Mark John Bowick (born 1957) is a theoretical physicist in condensed matter theory and high energy physics. He is the deputy director of the Kavli Institute for Theoretical Physics at the University of California, Santa Barbara, and a Visiting ...
, and Spector explored the connection of such systems to
string theory In physics, string theory is a theoretical framework in which the point-like particles of particle physics are replaced by one-dimensional objects called strings. String theory describes how these strings propagate through space and intera ...
.


The model


State space

Consider a
Hilbert space In mathematics, a Hilbert space is a real number, real or complex number, complex inner product space that is also a complete metric space with respect to the metric induced by the inner product. It generalizes the notion of Euclidean space. The ...
H with an orthonormal basis of states , p\rangle labelled by the
prime number A prime number (or a prime) is a natural number greater than 1 that is not a Product (mathematics), product of two smaller natural numbers. A natural number greater than 1 that is not prime is called a composite number. For example, 5 is prime ...
s ''p''.
Second quantization Second quantization, also referred to as occupation number representation, is a formalism used to describe and analyze quantum many-body systems. In quantum field theory, it is known as canonical quantization, in which the fields (typically as ...
gives a new Hilbert space K, the bosonic Fock space on H, where states describe collections of primes - which we can call primons if we think of them as analogous to particles in quantum field theory. This Fock space has an orthonormal basis given by finite
multisets In mathematics, a multiset (or bag, or mset) is a modification of the concept of a set that, unlike a set, allows for multiple instances for each of its elements. The number of instances given for each element is called the ''multiplicity'' of ...
of primes. In other words, to specify one of these basis elements we can list the number k_p = 0 , 1, 2, \dots of primons for each prime p: :, k_2, k_3, k_5, k_7, k_, \ldots, k_p, \ldots\rangle where the total \sum_p k_p is finite. Since any positive natural number n has a unique factorization into primes: :n = 2^ \cdot 3^ \cdot 5^ \cdot 7^ \cdot 11^ \cdots p^ \cdots we can also denote the basis elements of the Fock space as simply , n\rangle where n = 1,2,3, \dots. In short, the Fock space for primons has an orthonormal basis given by the positive natural numbers, but we think of each such number n as a collection of primons: its prime factors, counted with multiplicity.


Identifying the Hamiltonian via the Koopman operator

Given the state x_n = n, we may use the Koopman operator \Phi to lift dynamics from the space of states to the space of observables: :\Phi \circ \textbf \circ x_n = \textbf \circ F \circ x_n = \textbf \circ x_ where \textbf is an algorithm for integer factorisation, analogous to the discrete logarithm, and F is the successor function. Thus, we have: :\textbf \circ x_n = \bigoplus_k a_k \cdot \ln p_k A precise motivation for defining the Koopman operator \Phi is that it represents a global linearisation of F, which views linear combinations of eigenstates as integer partitions. In fact, the reader may easily check that the successor function is not a linear function: :\forall n \in \mathbb, F(n) = n+1 \implies \forall x,y \in \mathbb^*, F(x+y) \neq F(x)+F(y) Hence, \Phi is canonical.


Energies

If we take a simple quantum Hamiltonian ''H'' to have eigenvalues proportional to log ''p'', that is, :H, p\rangle = E_p , p\rangle with :E_p=E \log p for some positive constant E, we are naturally led to :E_n = \sum_p k_p E_p = E \cdot \sum_p k_p \log p = E \log n


Statistics of the phase-space dimension

Let's suppose we would like to know the average time, suitably-normalised, that the Riemann gas spends in a particular subspace. How might this frequency be related to the dimension of this subspace? If we characterize distinct linear subspaces as Erdős-Kac data which have the form of sparse binary vectors, using the Erdős-Kac theorem we may actually demonstrate that this frequency depends upon nothing more than the dimension of the subspace. In fact, if \omega(n) counts the number of unique prime divisors of n \in \mathbb then the Erdős-Kac law tells us that for large n: : \frac \sim \mathcal(0,1) has the standard normal distribution. What is even more remarkable is that although the Erdős-Kac theorem has the form of a statistical observation, it could not have been discovered using statistical methods.BubbleZ (https://mathoverflow.net/users/470546/bubblez), Theorems that are essentially impossible to guess by empirical observation, URL (version: 2021-12-29): https://mathoverflow.net/q/412762 Indeed, for X \sim U( ,N the normal order of \omega(X) only begins to emerge for N \geq 10^.


Statistical mechanics

The partition function ''Z'' of the primon gas is given by the
Riemann zeta function The Riemann zeta function or Euler–Riemann zeta function, denoted by the Greek letter (zeta), is a mathematical function of a complex variable defined as \zeta(s) = \sum_^\infty \frac = \frac + \frac + \frac + \cdots for and its analytic c ...
: :Z(T) := \sum_^\infty \exp \left(\frac\right) = \sum_^\infty \exp \left(\frac\right) = \sum_^\infty \frac{n^s} = \zeta (s) with ''s'' = ''E''/''k''B''T'' where ''k''B is the
Boltzmann constant The Boltzmann constant ( or ) is the proportionality factor that relates the average relative thermal energy of particles in a ideal gas, gas with the thermodynamic temperature of the gas. It occurs in the definitions of the kelvin (K) and the ...
and ''T'' is the absolute
temperature Temperature is a physical quantity that quantitatively expresses the attribute of hotness or coldness. Temperature is measurement, measured with a thermometer. It reflects the average kinetic energy of the vibrating and colliding atoms making ...
. The divergence of the zeta function at ''s'' = 1 corresponds to the divergence of the partition function at a
Hagedorn temperature The Hagedorn temperature, ''T''H, is the temperature in theoretical physics where hadronic matter (i.e. ordinary matter) is no longer stable, and must either "evaporate" or convert into quark matter; as such, it can be thought of as the "boiling p ...
of ''T''H = ''E''/''k''B.


Supersymmetric model

The above second-quantized model takes the particles to be
boson In particle physics, a boson ( ) is a subatomic particle whose spin quantum number has an integer value (0, 1, 2, ...). Bosons form one of the two fundamental classes of subatomic particle, the other being fermions, which have half odd-intege ...
s. If the particles are taken to be
fermion In particle physics, a fermion is a subatomic particle that follows Fermi–Dirac statistics. Fermions have a half-integer spin (spin 1/2, spin , Spin (physics)#Higher spins, spin , etc.) and obey the Pauli exclusion principle. These particles i ...
s, then the
Pauli exclusion principle In quantum mechanics, the Pauli exclusion principle (German: Pauli-Ausschlussprinzip) states that two or more identical particles with half-integer spins (i.e. fermions) cannot simultaneously occupy the same quantum state within a system that o ...
prohibits multi-particle states which include squares of primes. By the
spin–statistics theorem The spin–statistics theorem proves that the observed relationship between the intrinsic spin of a particle (angular momentum not due to the orbital motion) and the quantum particle statistics of collections of such particles is a consequence of ...
, field states with an even number of particles are bosons, while those with an odd number of particles are fermions. The fermion operator (−1)F has a very concrete realization in this model as the
Möbius function The Möbius function \mu(n) is a multiplicative function in number theory introduced by the German mathematician August Ferdinand Möbius (also transliterated ''Moebius'') in 1832. It is ubiquitous in elementary and analytic number theory and m ...
\mu(n), in that the Möbius function is positive for bosons, negative for fermions, and zero on exclusion-principle-prohibited states.


More complex models

The connections between number theory and quantum field theory can be somewhat further extended into connections between topological field theory and
K-theory In mathematics, K-theory is, roughly speaking, the study of a ring generated by vector bundles over a topological space or scheme. In algebraic topology, it is a cohomology theory known as topological K-theory. In algebra and algebraic geometr ...
, where, corresponding to the example above, the
spectrum of a ring In commutative algebra, the prime spectrum (or simply the spectrum) of a commutative ring R is the set of all prime ideals of R, and is usually denoted by \operatorname; in algebraic geometry it is simultaneously a topological space equipped with ...
takes the role of the spectrum of energy eigenvalues, the
prime ideal In algebra, a prime ideal is a subset of a ring (mathematics), ring that shares many important properties of a prime number in the ring of Integer#Algebraic properties, integers. The prime ideals for the integers are the sets that contain all th ...
s take the role of the prime numbers, the
group representation In the mathematical field of representation theory, group representations describe abstract groups in terms of bijective linear transformations of a vector space to itself (i.e. vector space automorphisms); in particular, they can be used ...
s take the role of integers,
group character In mathematics, more specifically in group theory, the character of a group representation is a function on the group that associates to each group element the trace of the corresponding matrix. The character carries the essential information a ...
s taking the place the
Dirichlet character In analytic number theory and related branches of mathematics, a complex-valued arithmetic function \chi: \mathbb\rightarrow\mathbb is a Dirichlet character of modulus m (where m is a positive integer) if for all integers a and b: # \chi(ab) = \ch ...
s, and so on.


References


External links

*
John Baez John Carlos Baez ( ; born June 12, 1961) is an American mathematical physicist and a professor of mathematics at the University of California, Riverside (UCR) in Riverside, California. He has worked on spin foams in loop quantum gravity, ap ...

This Week's Finds in Mathematical Physics, Week 199
Number theory Quantum field theory statistical mechanics