NON-ARCHIMEDEAN STATISTICAL FIELD THEORY W. A. ZU´NIGA-GALINDO˜ Abstract. We construct in a rigorous mathematical way interacting quantum field theories on a p-adic spacetime. The main result is the construction of a measure on a function space which allows a rigorous definition of the partition function. The advantage of the approach presented here is that all the perturbation calculations can be carried out in the standard way using functional derivatives, but in a mathematically rigorous way. 1. Introduction In this article we construct (in a rigorous mathematical way) interacting quantum field theories over a p-adic spacetime in an arbitrary dimension. We provide a large family of energy functionals E(ϕ,J) admitting natural discretizations in finite-dimensional vector spaces such that the partition function 1 phys E(ϕ,J) (1.1) Z (J)= D(ϕ)e− KB T Z can be defined rigorously as the limit of the mentioned discretizations. Our main result is the construction of a measure on a function space such that (1.1) makes mathematical sense, and the calculations of the n-point correlation functions can be carried out using perturbation expansions via functional derivatives, in a rigorous mathematical way. Our results include ϕ4-theories. In this case, we show that the n-point correlation functions admit a convergent expansion in the coupling parameter in a certain space of distributions. By the Wick theorem all of the distributions appearing in the mentioned series can be expressed as a sum of product of Green functions, which have singularities. Consequently a renormalization procedure is required, we expect to study the renormalization of the Feynman integrals attached to (1.1) in a forthcoming publication. From now on p denotes a fixed prime number. A p-adic number is a series of the form k k+1 arXiv:2006.05559v4 [math-ph] 21 Jul 2021 (1.2) x = x kp− + x k+1p− + ... + x0 + x1p + ..., with x k = 0, − − − 6 where the x s are p-adic digits, i.e. numbers in the set 0, 1,...,p 1 . The set of all j { − } possible series of the form (1.2) constitutes the field of p-adic numbers Qp. There are natural field operations, sum and multiplication, on series of the form (1.2), see e.g. [33]. There is also a natural norm in Q defined as x = pk, for a nonzero p-adic number of the p | |p Date: 29/04/2021. 2020 Mathematics Subject Classification. Primary: 81T25, 81T28. Secondary: 82B26, 82B20, 60G15. Key words and phrases. statistical field theory, quantum field theory, quantum field theory on lattices, p-adic numbers. The author was partially supported by the Debnath Endowed Chair (UTRGV, USA). 1 2 W. A. ZU´ NIGA-GALINDO˜ form (1.2). The field of p-adic numbers with the distance induced by is a complete |·|p ultrametric space. The ultrametric (or non-Archimedean) property refers to the fact that x y max x z , z y for any x, y, z Q . We denote by Z the unit ball, | − |p ≤ | − |p | − |p ∈ p p which consists ofn all series with expansionso of the form (1.2) with k 0. We extend the N − ≥ N p adic norm to Qp by taking x p = max1 i N xi p, for x =(x1,...,xN ) Qp . − || || ≤ ≤ | | ∈ A fundamental scientific problem is the understanding of the structure of space-time at the level of the Planck scale, and the construction of physical-mathematical models of it. This problem occurs naturally when trying to unify general relativity and quantum mechan- ics. In the 1930s Bronstein showed that general relativity and quantum mechanics imply ~G that the uncertainty ∆x of any length measurement satisfies ∆x LPlanck := c3 , where 33 ≥ LPlanck is the Planck length (LPlanck 10− cm). This implies that space-timeq is not an ≈ infinitely divisible continuum (mathematically speaking, the spacetime must be a completely disconnected topological space at the level of the Planck scale). Bronstein’s inequality has motivated the development of several different physical theories. At any rate, this inequality implies the need of using non-Archimedean mathematics in models dealing with the Planck scale. In the 1980s, Volovich proposed the conjecture that the space-time at the Planck scale is non-Archimedean, see [48]. This conjecture has propelled a wide variety of inves- tigations in cosmology, quantum mechanics, string theory, QFT, etc., and the influence of this conjecture is still relevant nowadays, see e.g. [1], [7]-[15], [21]-[22], [28]-[32], [34]-[38], [47]-[51]. N The space Qp has a very rich mathematical structure. The axiomatic quantum field N theory can be extended to Qp . In [35], we construct a family of quantum scalar fields over a p adic spacetime which satisfy p adic analogues of the G˚arding–Wightman axioms. Since − N − the space of test functions on Qp is nuclear the techniques of white noise calculus are available in the p-adic setting, see e.g. [6], [17], [24], [23]. This implies that a rigorous functional integral approach is available in the p-adic framework, see e.g. [18], [42], [43]. In [52], see also [32, Chapter 11], [3]-[4], we introduced a class of non-Archimedean massive Euclidean fields, in arbitrary dimension, which are constructed as solutions of certain covariant p-adic stochastic pseudodifferential equations, by using techniques of white noise calculus. In [5], we construct a large class of interacting Euclidean quantum field theories, over a p-adic space time, by using white noise calculus. These quantum fields fulfill all the Osterwalder-Schrader axioms, except the reflection positivity. In all these theories the time is a p-adic variable. Since Qp is not an ordered field, there is no notion of past and future. In certain theories, it is possible to introduce a quadratic form. The orthogonal group of this form plays the role of Lorentz group. Anyway, we do not have a light cone structure, and then this type of theory is also acausal, see [35]. The relevant feature is that the vacuum of all these theories performs fluctuations. NON-ARCHIMEDEAN STATISTICAL FIELD THEORY 3 In the case of ϕ4-theories the energy functional E(ϕ, 0) takes the form γ N α2 2 N E(ϕ, 0; δ,γ,α2,α4)= ϕ (x) W (∂, δ) ϕ (x) d x + ϕ (x) d x 2 N 2 N Qp Qp α R R (1.3) + 4 ϕ4 (x) dN x, 2 N Qp R N N where ϕ : Qp R is a test function (ϕ R Qp ), δ > N, γ > 0, α2 0, α4 0, and → 1 ∈ D ≥ ≥ W (∂, δ) ϕ (x)= κ− x(Awδ ( κ ) x κϕ) is pseudodifferential operator, whose symbol has a F → k k F → singularity at the origin. An interesting observation is that the one-dimensional Vladimirov operator is a special case of the operators W (∂, δ), in this case the action E(ϕ, 0; δ, γ, 0, 0) appeared in p-adic string theory, see [44], [50], [49], see also [15] and the references therein. In order to make sense of the partition function attached to E(ϕ, 0; δ,γ,α2,α4), see (1.1), N we discretize the fields like in classical QFT. As fields we use test functions ϕ R Qp , N l ∈N D which are locally constant with compact support. We have Q = ∞ Q , where DR p ∪l=1DR p l QN R#Gl is a real, finite dimensional vector space consisting of test functions sup- DR p ≃ ported in the ball BN = x QN ; x pl having the form l ∈ p k kp ≤ n o l (1.4) ϕ (x)= ϕ (i) Ω p x i p , ϕ (i) R, i G k − k ∈ ∈ l P where G is a finite set of indices and Ω pl x i is the characteristic function of the l k − kp N N l ball B l (i)= x Qp ; x i p p− . Now a natural discretization of partition function − ∈ k − k ≤ (l) is obtainedn by restricting the fieldso to l QN R#Gl as follows. By identifying ϕ Z DR p ≃ with the column vector [ϕ (i)]i G , one obtains that ∈ l lN E(ϕ, 0; δ,γ,α2, 0) = p− Ui,j(l)ϕ (i) ϕ (j) , i,j G ∈ l P is a quadratic form in [ϕ (i)]i G , cf. Lemma 4.2, and thus taking KBT = 1, it is natural to ∈ l propose that −lN p Ui,j (l)ϕ(i)ϕ(j) def. − (l) E(ϕ,0;δ,γ,α2,0) i,j Gl = Dl(ϕ)e− = e ∈ dϕ (i) , Z #G P i G Z R l ∈ l R Q #Gl where i G dϕ (i) is the Lebesgue measure on R , which is a finite dimensional Gaussian ∈ l integral. We denote the corresponding Gaussian measure as P . The next step is to show the Q l existence of a probability measure P such that P = liml Pl ‘in some sense’. This requires →∞ one to pass to the momenta space and using the Lizorkin space QN QN , resp. LR p ⊂DR p l QN l QN . The key point is that the operator LR p ⊂DR p γ α W (∂, δ)+ 2 : QN QN 2 2 LR p →LR p has an inverse in QN for any α 0. The construction of the measure P is made LR p 2 ≥ in two steps. In the first step, by using Kolmogorov’s consistency theorem, one shows the 4 W. A. ZU´ NIGA-GALINDO˜ existence of a unique probability measure P in R∞ point such any linear functional f ∪{ } l N → l QN fdPl, where f is a continuous bounded function in R Qp , has unique extension LR( p ) L of the form l N fdPl = l N fdP, cf.