arXiv:2006.05559v4 [math-ph] 21 Jul 2021 osrcino esr nafnto pc uhta 11 mak the (1.1) of that such space calculations function the a discretizations on mentioned measure the a of of limit construction the as rigorously defined be can (1.1) function partition the that such spaces xasosvafntoa eiaie,i ioosmteaia w mathematical rigorous a in ϕ derivatives, functional via expansions p feeg functionals energy of hoisoe a over theories eurd eepc osuyternraiaino h ena in Feynman the publication. of forthcoming renormalization renor the a a study in to Consequently expect singularities. we have required, expr which be functions, can series Green mentioned the of in distribution appearing of distributions space the certain of a all in parameter coupling the in expansion (1.2) osbesre ftefr 12 osiue h edof field the constitutes (1.2) form the of series possible hr the where edoeain,smadmlilcto,o eiso h om(.) s (1.2), form in the norm of natural series a on also multiplication, is and sum operations, field ai numbers. -adic 4 h uhrwsprilyspotdb h ent noe hi ( Chair Endowed Debnath the by supported partially was author The phrases. and words Key 2020 Date nti ril ecntut(nargru ahmtclwy intera way) mathematical rigorous a (in construct we article this In rmnwon now From tere.I hscs,w hwta the that show we case, this In -theories. 29/04/2021. : ahmtc ujc Classification. Subject Mathematics na on Abstract. a sn ucinldrvtvs u namteaial iooswa rigorous car mathematically be a can in but calculations derivatives, perturbation functional advan the using The all way function. that partition is the here of presented definition rigorous a allows which x p O-RHMDA TTSIA IL THEORY FIELD STATISTICAL NON-ARCHIMEDEAN ai pctm.Temi euti h osrcino esr on measure a of construction the is result main The spacetime. -adic j are s x = p p ai pctm na rirr ieso.W rvd ag family large a provide We dimension. arbitrary an in spacetime -adic ecntuti ioosmteaia a neatn unu fi quantum interacting way mathematical rigorous a in construct We eoe xdpienme.A number. prime fixed a denotes x − p k ai iis ..nmesi h set the in numbers i.e. digits, -adic E p − ( ttsia edter,qatmfil hoy unu edtheor field quantum theory, field quantum theory, field statistical n k ,J ϕ, pitcreainfntoscnb are u sn perturbation using out carried be can functions correlation -point + Q x ditn aua iceiain nfiiedmninlvector finite-dimensional in discretizations natural admitting ) p − Z k endas defined +1 phys .A Z A. W. p − ( J 1. k +1 = ) rmr:8T5 12.Scnay 22,8B0 60G15. 82B20, 82B26, Secondary: 81T28. 81T25, Primary: Introduction + U ´ Z . . . NIGA-GALINDO ˜ | n x pitcreainfntosamtaconvergent a admit functions correlation -point D | 1 p + ( ϕ = x ) 0 e + p − k p K o nonzero a for , x ai ubri eiso h form the of series a is number -adic B 1 p 1 T p ai numbers -adic E + ( ϕ,J , . . . { 0 ) , TG,USA). UTRGV, 1 p , . . . , idoti h standard the in out ried with smteaia es,and sense, mathematical es y. se sasmo product of sum a as essed aeo h approach the of tage erl tahdt (1.1) to attached tegrals aiainpoeueis procedure malization .B h iktheorem Wick the By s. y u eut include results Our ay. u anrsl sthe is result main Our . x p Q − − ai ubro the of number -adic ucinspace function a p tn unu field quantum cting k eeg 3] There [33]. e.g. ee hr r natural are There . 1 0, 6= } l theories eld h e fall of set The . nlattices, on y 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. Lemma 5.1. In the second step by using R R Q R Q L ( p ) L ( p ) N 2 N N N the Gel’fand triple Q ֒ L Q ֒ ′ Q , where ′ Q is the topological R LR p R→ R p → LR p LR p dual of QN , and the Bochner-Minlos theorem, there exists a probability measure P on R p NL ′ Q , , that coincides with the probability measure constructed in the first step, cf. LR p B Theorem 5.1. For an interaction energy E (ϕ) satisfying exp ( E (ϕ)) 1, it verifies that int − int ≤
Eint(ϕ) Eint(ϕ) Eint(ϕ) e− dPl = e− dP e− dP l N l N N R(Qp ) R(Qp ) → R(Qp ) ZL ZL ZL as l . Then a (ϕ)-theory is given by a cylinder probability measure of the form →∞ P Eint(ϕ) 1 R (ϕ) e− dP (1.5) L E (ϕ) e− int dP R QN ZL ( p ) N N in the space of fields Q . Notice that P is a probability measure on ′ Q , but due LR p LR p to the factor 1 R (ϕ) our fields are test functions, and not distributions as in [5], [28], see also L [3]-[4], [19], and the references therein. Then, the Wick operator : : (or Wick regularization) · is not required in the definition of Eint (ϕ). This is a very relevant difference with respect to [5], [28]. Here we consider polynomial interactions. 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, see Theorem 6.3. However, a renormalization procedure is required. In [5] we construct probability measures for general, interacting QFTs, but using Hida-Kondratiev spaces, which are more bigger than the spaces of distributions used here. However, doing explicit calculations in this very general framework is not easy. The mathematical framework presented here allows the construction of complex-valued measures of type
√ α4 4 N N 1 R (ϕ) exp 1 2 ϕ (x) d x + J(x)ϕ (x) d x L − N N ( Qp Qp ) R R dP. α4 4 N exp √ 1 2 ϕ (x) d x dP R QN − QN ZL ( p ) ( p ) R Furthermore all the corresponding perturbation expansions can be carried out in the standard form. These measures are obtained from measures of type (1.5) by performing a Wick rotation of type ϕ √ 1ϕ, see Section 7. The novelty is that this Wick rotation is → − not performed in spacetime, and thus all these quantum field theories are acausal. More precisely, special relativity is not valid in the spacetime of these theories. However, the vacuum of all these theories perform thermal (resp. quantum) fluctuations, because the Feynman rules are valid, at least formally, in these theories. NON-ARCHIMEDEAN STATISTICAL FIELD THEORY 5
The energy functional E(ϕ,J; δ,γ,α ,α ), ϕ l QN , see (1.3), can be interpreted as 2 4 ∈DR p the Hamiltonian of a continuous Ising model in the ball BN with an external magnetic field l J. The Landau-Ginzburg energy functional E(ϕ, 0; δ,γ,α2,α4) is non-local, i.e. only long range interactions occur, furthermore, it has Z symmetry (ϕ ϕ). Finally, all the results 2 → − presented in this article are valid if Qp is replaced by any non-Archimedean local field.
2. Basic facts on p-adic analysis In this section we fix the notation and collect some basic results on p-adic analysis that we will use through the article. For a detailed exposition on p-adic analysis the reader may consult [2], [45], [47].
2.1. The field of p-adic numbers. Throughout this article p will denote a prime number. Since we have to deal with quadratic forms, for the sake of simplicity, we assume that p 3 ≥ throughout the article. The field of p adic numbers Q is defined as the completion of the − p field of rational numbers Q with respect to the p adic norm , which is defined as − |·|p 0 if x =0 x p = γ γ a | | p− if x = p , b
where a and b are integers coprime with p. The integer γ = ordp(x) := ord(x), with ord(0) := + , is called the p adic order of x. We extend the p adic norm to QN by ∞ − − p taking
N x p := max xi p, for x =(x1,...,xN ) Qp . 1 i N || || ≤ ≤ | | ∈ ord(x) N We define ord(x) = min1 i N ord(xi) , then x p = p− . The metric space Qp , p ≤ ≤ { } || || ||·|| is a complete ultrametric space. As a topological space Q is homeomorphic to a Cantor-like p subset of the real line, see e.g. [2], [47]. Any p adic number x = 0 has a unique expansion of the form − 6
∞ ord(x) j x = p xjp , j=0 X where x 0, 1, 2,...,p 1 and x = 0. By using this expansion, we define the fractional j ∈{ − } 0 6 part x of x Q as the rational number { }p ∈ p 0 if x =0 or ord(x) 0 x p = ≥ { } ord(x) ord(x) 1 j (p j−=0 − xjp if ord(x) < 0.
In addition, any x QN r 0 Pcan be represented uniquely as x = pord(x)v (x) where ∈ p { } v (x) = 1. k kp 6 W. A. ZU´ NIGA-GALINDO˜
2.2. Topology of QN . For r Z, denote by BN (a)= x QN ; x a pr the ball of p ∈ r { ∈ p || − ||p ≤ } radius pr with center at a =(a ,...,a ) QN , and take BN (0) := BN . Note that BN (a)= 1 N ∈ p r r r B (a ) B (a ), where B (a ) := x Q ; x a pr is the one-dimensional ball r 1 ×···× r N r i { ∈ p | i − i|p ≤ } of radius pr with center at a Q . The ball BN equals the product of N copies of B = Z , i ∈ p 0 0 p the ring of p adic integers. We also denote by SN (a)= x QN ; x a = pr the sphere − r { ∈ p || − ||p } of radius pr with center at a = (a ,...,a ) QN , and take SN (0) := SN . We notice that 1 N ∈ p r r 1 N N S0 = Zp× (the group of units of Zp), but Zp× ( S0 . The balls and spheres are both open and closed subsets in QN . In addition, two balls in QN are either disjoint or one is contained p p in the other. As a topological space QN , is totally disconnected, i.e. the only connected subsets p ||·||p of QN are the empty set and the points. A subset of QN is compact if and only if it is closed p p N and bounded in Qp , see e.g. [47, Section 1.3], or [2, Section 1.8]. The balls and spheres are compact subsets. Thus QN , is a locally compact topological space. p ||·||p Since (QN , +) is a locally compact topological group, there exists a Haar measure dN x, p which is invariant under translations, i.e. dN (x + a) = dN x. If we normalize this measure N by the condition N dx = 1, then d x is unique. Zp r Notation 1. WeR will use Ω(p− x a p) to denote the characteristic function of the ball N || − || Br (a). For more general sets, we will use the notation 1A for the characteristic function of a set A. N 2.3. The Bruhat-Schwartz space. A complex-valued function ϕ defined on Qp is called locally constant if for any x QN there exist an integer l(x) Z such that ∈ p ∈ N (2.1) ϕ(x + x′)= ϕ(x) for any x′ B . ∈ l(x) A function ϕ : QN C is called a Bruhat-Schwartz function (or a test function) if it is p → locally constant with compact support. Any test function can be represented as a linear combination, with complex coefficients, of characteristic functions of balls. The C-vector space of Bruhat-Schwartz functions is denoted by (QN ) := . We denote by (QN ) := D p D DR p DR the R-vector space of Bruhat-Schwartz functions. For ϕ (QN ), the largest number l = ∈ D p l(ϕ) satisfying (2.1) is called the exponent of local constancy (or the parameter of constancy) of ϕ. We denote by l (QN ) the finite-dimensional space of test functions from (QN ) having Dm p D p supports in the ball BN and with parameters of constancy l. We now define a topology m ≥ on as follows. We say that a sequence ϕj j N of functions in converges to zero, if the D { } ∈ D two following conditions hold: (1) there are two fixed integers k and m such that each ϕ k0 ; 0 0 j ∈ Dm0 (2) ϕ 0 uniformly. j → endowed with the above topology becomes a topological vector space. D ρ ρ ρ N ρ N N 2.4. L spaces. Given ρ [0, ), we denote by L := L Qp := L Qp ,d x , the ∈ ∞ ρ N C vector space of all the complex valued functions g satisfying N g (x) d x< . The − Qp | | ∞ corresponding R-vector spaces are denoted as Lρ := Lρ QN = Lρ QN ,dN x , 1 ρ< . R R p R R p ≤ ∞ NON-ARCHIMEDEAN STATISTICAL FIELD THEORY 7
If U is an open subset of QN , (U) denotes the space of test functions with supports p D contained in U, then (U) is dense in D 1 ρ Lρ (U)= ϕ : U C; ϕ = ϕ (x) ρ dN x < , → k kρ | | ∞ ( ZU ) where dN x is the normalized Haar measure on QN , + , for 1 ρ< , see e.g. [2, Section p ≤ ∞ 4.3]. We denote by Lρ (U) the real counterpart of Lρ (U). R 2.5. The Fourier transform. Set χ (y) = exp(2πi y ) for y Q . The map χ ( ) is p { }p ∈ p p · an additive character on Qp, i.e. a continuous map from (Qp, +) into S (the unit circle considered as multiplicative group) satisfying χ (x + x ) = χ (x )χ (x ), x , x Q . p 0 1 p 0 p 1 0 1 ∈ p The additive characters of Qp form an Abelian group which is isomorphic to (Qp, +). The isomorphism is given by κ χ (κx), see e.g. [2, Section 2.3]. → p Given κ =(κ ,...,κ ) and y =(x ,...,x ) QN , we set κ x := N κ x . The Fourier 1 N 1 N ∈ p · j=1 j j transform of ϕ (QN ) is defined as ∈D p P N N ( ϕ)(κ)= χp(κ x)ϕ(x)d x for κ Qp , F N · ∈ ZQp N N where d x is the normalized Haar measure on Qp . The Fourier transform is a linear iso- morphism from (QN ) onto itself satisfying D p (2.2) ( ( ϕ))(κ)= ϕ( κ), F F − see e.g. [2, Section 4.8]. We will also use the notation x κϕ and ϕ for the Fourier transform F → of ϕ. The Fourier transform extends to L2. If f L2, its Fourier transformb is defined as ∈ N N ( f)(κ) = lim χp(κ x)f(x)d x, for κ Qp , k k F x p p · ∈ →∞ Z|| || ≤ where the limit is taken in L2. We recall that the Fourier transform is unitary on L2, i.e. 2 2 f 2 = f 2 for f L and that (2.2) is also valid in L , see e.g. [45, Chapter III, || ||L ||F ||L ∈ Section 2].
n 2.6. Distributions. The C-vector space ′ Q := ′ of all continuous linear functionals D p D on (Qn) is called the Bruhat-Schwartz space of distributions. Every linear functional on D p is continuous, i.e. ′ agrees with the algebraic dual of , see e.g. [47, Chapter 1, VI.3, D D n D Lemma]. We denote by ′ Q := ′ the dual space of . DR p DR DR We endow ′ with the weak topology, i.e. a sequence Tj j N in ′ converges to T if D { } ∈ D limj Tj (ϕ)= T (ϕ) for any ϕ . The map →∞ ∈D ′ C D ×D → (T,ϕ) T (ϕ) → is a bilinear form which is continuous in T and ϕ separately. We call this map the pairing
between ′ and . From now on we will use (T,ϕ) instead of T (ϕ). D D 8 W. A. ZU´ NIGA-GALINDO˜
1 N Every f in L defines a distribution f ′ Q by the formula loc ∈D p (f,ϕ)= f (x ) ϕ (x) dN x. n Qp R Such distributions are called regular distributions. Notice that for f L2 , (f,ϕ) = f,ϕ , ∈ R h i where , denotes the scalar product in L2 . h· ·i R n m Remark 1. Let B(ψ,ϕ) be a bilinear functional, ψ Qp , ϕ Qp . Then there n m ∈ D ∈ D exists a unique distribution T ′ Q Q such that ∈D p × p (T, ψ (x) ϕ (y)) = B (ψ,ϕ), for ψ Qn ,ϕ Qm , ∈D p ∈D p cf. [47, Chapter 1, VI.7, Theorem]
2.7. The Fourier transform of a distribution. The Fourier transform [T ] of a distri- n F bution T ′ Q is defined by ∈D p ( [T ] ,ϕ)=(T, [ϕ]) for all ϕ (Qn). F F ∈D p n The Fourier transform T [T ] is a linear (and continuous) isomorphism from ′ Qp n → F D onto ′ Q . Furthermore, T = [ [T ]( ξ)]. D p F F − 3. W δ operators and their discretizations 3.1. The W operators. Take R := x R; x 0 , and fix a function δ + { ∈ ≥ } w : QN R δ p → + satisfying the following properties: (i) w (y) is a radial i.e. w (y)= w ( y ); δ δ δ k kp (ii) w ( y ) is a continuous and increasing function of y ; δ k kp k kp (iii) wδ (y) = 0 if and only if y = 0;
(iv) there exist constants C0,C1 > 0 and δ > N such that (3.1) C y δ w ( y ) C y δ , for y QN . 0 k kp ≤ δ k kp ≤ 1 k kp ∈ p We now define the operator
ϕ (x y) ϕ (x) N N (3.2) W δϕ(x)= − − d y, for ϕ Qp . wδ ( y p) ∈D ZN k k Qp
The operator W δ is pseudodifferential; more precisely, if
1 χp (y κ) N (3.3) Awδ (κ) := − · d y, wδ ( y p) N QZp k k then
1 N (3.4) W δϕ (x)= κ− x [Awδ (κ) x κϕ] =: W (∂, δ) ϕ (x), for ϕ Qp . −F → F → − ∈D NON-ARCHIMEDEAN STATISTICAL FIELD THEORY 9
The function A (κ) is radial (so we use the notation A (κ) = A ( κ )), continuous, wδ wδ wδ k kp non-negative, Awδ (0) = 0, and it satisfies
δ N δ N N C′ κ − A ( κ ) C′ κ − , for κ Q , 0 k kp ≤ wδ k kp ≤ 1 k kp ∈ p cf. [51, Lemmas 4, 5, 8 ]. The operator W (∂, δ) extends to an unbounded and densely 2 N defined operator in L Qp with domain
(3.5) Dom (W (∂, δ)) = ϕ L2; A ( κ ) ϕ L2 . ∈ wδ k kp F ∈ n o In addition: (i) (W (∂, δ) ,Dom(W (∂, δ))) is self-adjoint and positive operator; (ii) W (∂, δ) is the infinitesimal generator of a contraction C semigroup, cf. [51, Propo- − 0− sition 7]. The evolution equation ∂u (x, t) + W (∂, δ) u(x, t) = 0, x QN , t 0, ∂t ∈ p ≥ is a p-adic heat equation, which means that the corresponding semigroup is attached to a Markov stochastic process, see [51, Theorem 16].
Example 1. An important example of a W (∂, δ) operator is the Taibleson-Vladimirov op- erator, which is defined as
β β 1 p φ (x y) φ (x) N 1 β D − φ (x)= − β N − β+−N d y = κ x κ p x κφ , 1 p− − y F → k k F → N p − QZp k k where β > 0 and φ QN , see [51, Section 2.2.7]. ∈D p
The W δ operators were introduced by Chac´on-Cort´es and Z´u˜niga-Galindo, see [51] and the references therein. They are a generalization of the Vladimirov and Taibleson operators.
l N l N 3.2. Discretization of W operators. For l 1, we set G := p− Z /p Z and denote δ ≥ l p p by l (QN ) := l the R-vector space of all test functions of the form DR p DR l (3.6) ϕ (x)= ϕ (i) Ω p x i p , ϕ (i) R, i G k − k ∈ ∈ l P where i runs through a fixed system of representatives of G , and Ω pl x i is the l k − kp l N l N characteristic function of the ball i + p Zp . Notice that ϕ is supported on p− Zp and that l is a finite dimensional vector space spanned by the basis DR l (3.7) Ω p x i p . k − k i Gl n o ∈ We will identify ϕ l with the column vector [ϕ (i)] . Furthermore, l ֒ l+1 R i Gl R R ∈ D l l ∈ D → D (continuous embedding), and R = lim R = l∞=1 R. D −→D ∪ D 10 W. A. ZU´ NIGA-GALINDO˜
Remark 2. We set dN y d (l,wδ) := . wδ ( y p) QN ZBN k k p \ −l
By (3.1), d (l,w ) < . Furthermore, we have δ ∞
(δ N)l N (δ N)l N p − d z p − d z (3.8) δ d (l,wδ) δ , C1 z p ≤ ≤ C0 z p QNZZN k k QNZZN k k p \ p p \ p
(δ N)l which implies that d (l,w ) Cp − for some positive constant C. In particular, d (l,w ) δ ≥ δ → as l . ∞ →∞ We denote by W (l) the restriction W : BN BN . Take ϕ BN is δ δ DR l → DR l ∈ DR l then
(l) ϕ (x y) ϕ (x) N ϕ (x y) ϕ (x) N (3.9) W δ ϕ(x)= − − d y = − − d y+ wδ ( y p) wδ ( y p) ZN k k ZN k k Qp Bl
N ϕ (x y) ϕ (x) N ϕ (x y) ϕ (x) N d y − − d y = − − d y ϕ (x) . wδ ( y p) wδ ( y p) − wδ ( y p) QN rZBN k k BZN k k QNZBN k k p l l p \ l Notation 2. The cardinality of a finite set B is denoted as #B.
We set
−lN p if i = j w i j δ(k − kp) 6 (3.10) Ai,j (l) := 0 if i = j,
and A := [Ai,j (l)]i,j G . We denote by I the identity matrix of size #Gl #Gl. ∈ l ×
Lemma 3.1. The restriction W (l) : l l is a well-defined linear operator. Further- δ DR → DR more, the following formula holds true:
(l) l W δ ϕ(x)= Ai,j (l) ϕ (j) ϕ (i) d (l,wδ) Ω p x i p , i G j G − k − k ∈ l ( ∈ l ) P P which implies that A d (l,w ) I is the matrix of the operator W (l) in the basis (3.7). − δ δ NON-ARCHIMEDEAN STATISTICAL FIELD THEORY 11
Proof. For x i + plZN and for ϕ (x) of the from (3.6), we have ∈ p l l ϕ (j) Ω p y j p ϕ (i) Ω p x i p (l) ϕ (y) ϕ (x) j Gl k − k − k − k N ∈ N W δ ϕ(x)= − d y = d y wδ ( y x p) P wδ ( y x p) N N QZp k − k QZp k − k
l l l ϕ (j) Ω p y j p ϕ (i) Ω p y i p Ω p x i p = k − k dN y + k − k − k − k dN y n o j Gl wδ ( y x p) wδ ( y x p) j∈=i QZN k − k QZN k − k P6 p p l ϕ (i) Ω p y i p 1 = A (l) ϕ (j)+ k − k − dN y. i,j n o j Gl wδ ( y x p) j∈=i QN iZ+plZN k − k P6 p \ p Now
l l ϕ (i) Ω p y i p 1 ϕ (i) Ω p z p 1 k − k − dN y = k k − dN z n wδ ( y x p) o wδ n( z +(i x) p) o Z N Zl N QN i+plZN k − k Qp p Zp k − k p \( p ) \ dN z = ϕ (i) . − wδ ( z p) QN ZplZN k k p \ p
4. Energy functionals 4.1. Energy functionals in the coordinate space. For ϕ (QN ), and δ > N, γ > 0, ∈DR p α 0, we define the energy functional: 2 ≥ 2 γ ϕ (x) ϕ (y) N N α2 2 N (4.1) E0(ϕ) := E0(ϕ; δ,γ,α2)= { − } d xd y + ϕ (x) d x 0. 4 N N 2 ≥ Qp Qp w x y × δ p ZN RR k − k Qp Then E is a well-defined real-valued functional on . Notice that E (ϕ) = 0 if an only if 0 DR 0 ϕ = 0. The restriction of E to l (denoted as E(l)) provides a natural discretization of E . 0 DR 0 0 Remark 3. The functional
m N l E′ (ϕ) := ϕ (x) d x for m N r 0 , ϕ , m ∈ { } ∈DR N QZp discretizes as lN m Em′ (ϕ)= p− ϕ (i) . i G ∈ l P Lemma 4.1. For ϕ l , the following formula holds true: ∈DR γ α γ (l) lN 2 2 −lN E0 (ϕ)= p− d (l,wδ)+ ϕ (i) p Ai,j(l)ϕ (i) ϕ (j) . 2 2 i G − 2 i,j G ∈ l ∈ l P P 12 W. A. ZU´ NIGA-GALINDO˜
Proof. We set 2 γ ϕ (x) ϕ (y) N N E0′ (ϕ) := { − } d xd y 4 N N Qp Qp wδ x y RR× k − kp 2 l l ϕ (i) Ω p x i p Ω p y i p i G k − k − k − k γ ( ∈ l ) N N = P h i d xd y. 4 N N Qp Qp wδ x y RR× k − kp Now, by using that for i = j, 6 Ω pl x i Ω pl y j =1 Ω pl x j Ω pl y i =0, k − kp k − kp ⇒ k − kp k − kp we get that 2 l l ϕ (i) Ω p x i p Ω p y i p = (i Gl k − k − k − k ) ∈ h i P 2 2 l l ϕ (i) Ω p x i p Ω p y i p i G k − k − k − k − ∈ l h i P l l 2 ϕ (i) ϕ (j) Ω p x i p Ω p y j p . i,j Gl k − k k − k i=∈j P6 Therefore γ (1) γ (2) E0′ (ϕ)= Ei (ϕ) Ei,j (ϕ), 4 i Gl − 2 i,j Gl ∈ i=∈j P P6 where 2 Ω pl x i Ω pl y i (1) 2 k − kp − k − kp N N Ei (ϕ) := ϕ (i) d xd y = N N h i Qp Qp wδ x y RR× k − kp dN xdN y dN xdN y ϕ2 (i) + ϕ2 (i) = wδ x y wδ x y x Z>p−l y Z p−l p x Z p−l y Z>p−l p k kp k kp≤ k − k k kp≤ k kp k − k N N 2 d xd y lN 2 2ϕ (i) =2p− ϕ (i) d (l,wδ) . wδ x y x Z>p−l y Z p−l p k kp k kp≤ k − k And for i, j G , with i = j, ∈ l 6 l l Ω p x i p Ω p y j p (2) k − k k − k N N Ei,j (ϕ) := ϕ (i) ϕ (j) d xd y N N Qp Qp wδ x y RR× k − kp p−2lN = ϕ (i) ϕ (j) . w i j δ k − kp NON-ARCHIMEDEAN STATISTICAL FIELD THEORY 13
Consequently,
−2lN γ lN 2 γ p E0′ (ϕ)= p− d (l,wδ) ϕ (i) ϕ (i) ϕ (j) 2 i − 2 i j Gl , Gl wδ i j ∈ i=∈j p P P6 k − k γ γ lN 2 −lN (4.2) = p− d (l,wδ) ϕ (i) p Ai,j(l)ϕ (i) ϕ (j) . 2 i G − 2 i,j G ∈ l ∈ l P P The announced formula follows from (4.2) by using Remark 3.
We now set U (l) := U = [Ui,j(l)]i,j G , where ∈ l γ α2 γ Ui j(l) := d (l,w )+ δi j Ai j(l), , 2 δ 2 , − 2 ,
γ α2 γ where δi j denotes the Kronecker delta. Notice that U = d (l,w )+ I A is the , 2 δ 2 − 2 matrix of the operator γ α W + 2 − 2 δ 2 acting on l , in the basis (3.7), cf. Lemma 3.1. DR Lemma 4.2. With the above notation the following formula holds true:
(l) T lN lN (4.3) E (ϕ) = [ϕ (i)] p− U(l)[ϕ (i)] = p− U (l)ϕ (i) ϕ (j) 0, 0 i Gl i Gl i,j ∈ ∈ i,j G ≥ ∈ l l P lN for ϕ , where U is a symmetric, positive definite matrix. Consequently p− U(l) is a ∈ DR diagonalizable and invertible matrix.
γ γ W (l)ϕ (x)+ d (l,w )+ α ϕ (x)= J(x). − 2 δ 2 δ 2 4.2. The Fourier transform in l(QN ). We denote by l(QN ) := l the C-vector space D p D p D N l of the test functions ϕ (Qp ) having the form: ϕ (x) = i G ϕ (i) Ω p x i p , ∈ D ∈ l k − k ϕ (i) C. Alternatively, l the C-vector space of the test functions ϕ (QN ) satisfying: ∈ D P ∈D p N (1) supp ϕ = Bl ; N (2) for any x B , ϕ l N = ϕ (x). ∈ l |x+p Zp l lN l Then by using that x κ Ω p x i = p− χp (i·κ) Ω p− κ , we get that F → k − kp k kp lN l (4.4) ϕ (κ)= p− Ω p− κ ϕ (i) χ (i·κ) . k kp p i G X∈ l b l l By using the identity Ω p− κ p = j G Ω p κ j p in (4.4), k k ∈ l k − k P lN l ϕ (κ)= p− ϕ (i) χ (i · j) Ω p κ j p k − kp j G ( i G ) X∈ l X∈ l (4.5) b =: ϕ (j) Ω pl κ j . k − kp j G X∈ l b 14 W. A. ZU´ NIGA-GALINDO˜
Conversely,
lN l ϕ (x)= p− ϕ (i) χ ( i · j) Ω p x j p − k − kp j G ( i G ) X∈ l X∈ l (4.6) = ϕ (j) Ω pl bx j . k − kp j G X∈ l It follows from (4.5)-(4.6) that the Fourier transform is an automorphism of the C-vector space l. D Remark 4. (i) For ϕ l (QN ), ϕ (κ)= ϕ ( κ) and ∈DR p − (4.7) ϕ (κ) 2 = ϕ (i) 2 Ω pl κ i . | | b | b | k − kp i G X∈ l (ii) The formulae b b
lN lN (4.8) ϕ (j)= p− ϕ (i) χ (i · j) , ϕ (j)= p− ϕ (i) χ ( i · j) p p − i G i G X∈ l X∈ l give the discreteb Fourier transform its inverse in the additive groupb Gl.
4.3. Lizorkin spaces of second kind. The space
N N N := (Qp )= ϕ (Qp ); ϕ (x) d x =0 L L ∈D N ( Qp ) R is called the p-adic Lizorkin space of second kind. The real Lizorkin space of second kind is := (QN )= (QN ) (QN ). If LR LR p L p ∩DR p
:= (QN )= ϕ (QN ); ϕ (0) = 0 , FL FL p ∈D p then the Fourier transform gives rise to an isomorphism of C-vector spaces from into . N b b L FL The topological dual ′ := ′(Qp ) of the space is called the p-adic Lizorkin space of L L L N distributions of second kind. The real version is denoted as ′ := ′ (Q ). LR LR p Let A(∂) be a pseudodifferential operator defined as
1 N A(∂)ϕ (x)= κ− x(A( κ p) x κϕ), for ϕ R(Qp ), F → k k F → ∈D where A( κ ) is a real-valued and radial function satisfying k kp A( κ ) = 0 if and only if κ = 0. k kp Then, the Lizorkin space is invariant under A(∂). For further details about Lizorkin LR spaces and pseudodifferential operators, the reader may consult [2, Sections 7.3, 9.2]. We now define for l N r 0 , ∈ { }
l l N l lN := (Q )= ϕ (x)= ϕ (i) Ω p x i ,ϕ (i) C; p− ϕ (i)=0 , L L p k − kp ∈ ( i G i G ) X∈ l X∈ l NON-ARCHIMEDEAN STATISTICAL FIELD THEORY 15
resp. l := l (QN )= l l , and LR LR p L ∩DR
l := l(QN )= ϕ (κ)= ϕ (i) Ω pl κ i , ϕ (i) C; ϕ (0)=0 , FL FL p k − kp ∈ ( i G ) X∈ l By the formulae (4.8), the Fourierb transformb : l l is anb automorphismb of C-vector F L →FL spaces. The multiplication by the function A( κ ) gives rise to a linear transformation from k kp l onto itself. Consequently, A(∂): l l is a well-defined linear operator. L L →L 4.4. Energy functionals in the momenta space. By using (3.2)-(3.4), for ϕ , we ∈ DR have 2 ϕ (x) ϕ (y) N N N { − } d xd y =2 ϕ (x)( W δ) ϕ (x) d x. N N N − Qp Qp wδ x y Qp RR× k − kp R Then
γ N α2 2 N E0(ϕ)= ϕ (x)( W δ) ϕ (x) d x + ϕ (x) d x 2 N − 2 N Qp Qp γ R α R = ϕ (x) W (∂, δ) ϕ (x) dN x + 2 ϕ2 (x) dN x 2 N 2 N Qp Qp R R γ 2 N α2 2 N = Awδ ( κ p) ϕ (κ) d κ + ϕ (κ) d κ 2 N k k | | 2 N | | Qp Qp R R γ b α2 2 N b = Awδ ( κ p)+ ϕ (κ) d κ. N 2 k k 2 | | Qp R Now, for ϕ l by using (4.7), we have b ∈DR lN γ α2 2 E0(ϕ)= p− Awδ ( j p)+ ϕ (j) j Glr 0 2 k k 2 | | ∈ P{ } 2 γ α2 bN + ϕ (0) Awδ ( z p)+ d z , | | l N 2 k k 2 (p Zp ) R where ϕ (j) = ϕ (j) + √ 1ϕb (j) C. Here we use the alternative notation ϕ (j) = 1 − 2 ∈ 1 Re(ϕ (j)), ϕ2 (j)=Im(ϕ (j)) which more convenient for us. b b b c Remark 5. Notice that b b b l = ϕ (κ)= ϕ (i) Ω pl κ i , ϕ (i) C; ϕ (0) = 0, ϕ (κ)= ϕ ( κ) , FLR k − kp ∈ − ( i G ) X∈ l and that the conditionb ϕ (κb) = ϕ ( κ) implies thatb ϕ ( i)b = ϕ (i) andb ϕ ( bi) = ϕ (i) − 1 − 1 2 − − 2 for any i G . This implies that l is R-vector space of dimension #G 1. ∈ l FLR l − b b + b b+ b b Remark 6. We set G r 0 := G G−, where the subsets G , G− satisfy that l { } l l l l + F G G− l → l i i → − 16 W. A. ZU´ NIGA-GALINDO˜
+ is a bijection. We recall here that Gl is a finite additive group. Since #Gl = #Gl− necessarily #(G r 0 ) = p2Nl 1 is even, and thus p 3. Then any function from l can be l { } − ≥ FLR uniquely represented as
l l ϕ (κ)= ϕ1 (i) Ω+ p κ i + ϕ2 (i) Ω p κ i , k − kp − k − kp i G+ X∈ l b b b where Ω pl κ i := Ω pl κ i + Ω pl κ + i , + k − kp k − kp k kp and Ω pl κ i := √ 1 Ω pl κ i Ω pl κ + i . − k − kp − k − kp − k kp n o We take ϕ l , then ϕ (0) = 0, and ∈LR (l) lN γ α2 2 2 E (ϕ)= p− A ( j )+ ϕ (j)+ ϕ (j) 0 b wδ p 1 2 j Glr 0 2 k k 2 ∈ { } lN P γ α2 2 =2p− Awδ ( j p)+ c ϕr (jc) . r 1,2 + 2 k k 2 j Gl ∈{P } ∈P l l (l) c l By using that R R we get that E0 is a real-valued functional defined on R (#G 1) L ≃ FL FL ≃ R l− . We now define the diagonal matrix B(r) = B(r) , r = 1, 2, where i,j + i,j Gl h i ∈ γ α2 2 Awδ ( j p)+ 2 if i = j (r) k k Bi,j := 0 if i = j. 6 (1) (2) Notice that Bi,j = Bi,j . We set
B(1) 0 (4.9) B(l) := B(l,δ,γ,α2)= (2) " 0 B . #
+ + The matrix B = [Bi j] is a diagonal of size 2 #G 2 #G . In addition, the indices i, j , l × l run through two disjoint copies of G+. Then we have the following result: l Lemma 4.3. Assume that α 0. With the above notation the following formula holds 2 ≥ true: (4.10) T [ϕ1 (j)] + [ϕ1 (j)] + (l) (l) + j Gl lN j Gl E0 (ϕ) := E0 ϕ1 (j) , ϕ2 (j); j Gl = ∈ 2p− B(l) ∈ 0, ∈ [ϕ2 (j)] + [ϕ2 (j)] + ≥ " j Gl # " j Gl # c ∈ c ∈ l cl c(#Gl 1) lN for ϕ R − , where 2p− B(l) is a diagonal, positive definite, invertible ∈ LR ≃ FLR ≃ c c matrix. NON-ARCHIMEDEAN STATISTICAL FIELD THEORY 17
5. Gaussian measures We recall that we are taking δ > N, γ > 0, α 0. We define the partition function 2 ≥ attached to the energy functional E0 as
E0(ϕ) (δ,γ,α )= D(ϕ)e− , Z 2 RZ(QN ) FL p where D(ϕ) is a “spurious measure” on (QN ). For the sake of simplicity we use the FLR p notation = (δ,γ,α ) wherever possible. Z Z 2 As the discrete version of (δ,γ,α ) we take Z 2
(l) E0(ϕ) (δ,γ,α ) := D (ϕ) e− . Z 2 l l N RZ(Q ) FL p
We also use the notation (l) = (l)(δ,γ,α ). Now we define (l)(δ,γ,α ) as Z Z 2 Z 2
(l)(δ,γ,α )= Z 2 T [ϕ1 (j)] + [ϕ1 (j)] + j Gl lN j Gl exp ∈ 2p− B(l) ∈ dϕ1 (i) dϕ2 (i) , [ϕ (j)] + [ϕ (j)] + − " 2 j G # " 2 j G # + 2ZlN ∈ l ∈ l i G R(p −1) c c Y∈ l c c c c (p2lN 1) where i G+ dϕ1 (i) dϕ2 (i) is the Lebesgue measure on R − . ∈ l (l) TheQ integral is the natural discretization of . From a classical point of view, one Z (l) Z should expect thatc c= liml in some sense. The goal of this section is to study these Z →∞ Z matters in a rigorous mathematical way. Our main result is the construction of rigorous mathematical version of the spurious measure D(ϕ). By Lemma 4.3, (l) is a Gaussian integral, then Z
p2lN −1 2lN ( ) (p2lN −1) lN(p −1) 2 (2π) π 2 p 2 (l) = = . lN Z det 4p− B(l) 2 √det B Definition 1. We define thep following family of Gaussian measures:
[ϕ1 (j)] + [ϕ1 (j)] + j Gl j Gl dPl ∈ ; δ,γ,α2 := dPl ∈ " [ϕ2 (j)]j G+ # ! " [ϕ2 (j)]j G+ #! ∈ l ∈ l c T c 1 [ϕ1 (j)]j G+ lN [ϕ1 (j)]j G+ c ∈ l − c∈ l i i (5.1) = (l) exp( 2p B(l) ) dϕ1 ( ) dϕ2 ( ) [ϕ (j)] + j − " 2 j G # " [ϕ2 ( )]j G+ # + Z ∈ l l i G c c ∈ Y∈ l c c l (p2lN 1) c c in R − , for l N r 0 . FLR ≃ ∈ { } 18 W. A. ZU´ NIGA-GALINDO˜
p2lN 1) l Thus for any Borel subset A of R( − and any continuous and bounded function ≃FLR f : l R the integral FLR → [ϕ1 (j)] + [ϕ1 (j)] + j Gl j Gl f ∈ dPl ∈ =: f (ϕ) dPl (ϕ) [ϕ2 (j)] + [ϕ2 (j)] + A " j Gl #! " j Gl #! A R c ∈ c ∈ R is well-defined. b b c + c We define = l N 0 Gl . Then is a countable set. Given a finite subset J of there I ∪ ∈ \{ } + I + I is l0 N 0 such that G is the smallest set of the form G containing J. To each finite ∈ \{ } l0 l subset J of we attach a collection of Gaussian random variables I [ϕ1 (j)]j G+ ∈ l0 [ϕ (j)] + 2 j G + " l0 # c c ∈ ϕ2(j)=ϕ1(j)=0,j Gl J c ∈ 0 \
having joint probability distributionc
[ϕ1 (j)]j G+ ∈ l0 PJ = Pl0 . [ϕ (j)] + 2 j G + " l0 #! c c ∈ ϕ2(j)=ϕ1(j)=0,j Gl J c ∈ 0 \
[ϕ1 (j)] +c [ϕ 1 (j)] + j Gl j Gl Notice that PG+ ∈ = Pl ∈ . The family of Gaussian l [ϕ2 (j)] + [ϕ2 (j)] + " j Gl #! " j Gl #! c ∈ c ∈ [ϕ1 (j)] + j Gl #K #J measures PJ c ∈ ; J is consistent,c i.e. PJ (A) = PK (A R − ), ( " [ϕ2 (j)]j G+ #! ⊂ I) × ∈ l for J K, see e.g.c [17, Chapter IV, Section 3.1, Lemma 1]. We now apply Kolmogorov’s ⊂ consistency theoremc and its proof, see e.g. [43, Theorem 2.1], to obtain the following result:
Lemma 5.1. There exists a probability measure space (X, , P) and random variables F [ϕ1 (j)]j G+ ∈ l , for l N r 0 , [ϕ2 (j)] + ∈ { } " j Gl # c ∈ [ϕ1 (j)] + j Gl such that Pl is the joint probabilityc distribution of ∈ . The space (X, , P) [ϕ2 (j)] + F " j Gl # is unique up to isomorphisms of probability measure spaces.c Furthermore,∈ for any bounded continuous function f supported in l , we have c FLR f (ϕ) dPl (ϕ)= f (ϕ) dP (ϕ) . l l R R FLR FLR 5.1. A quick detour into the pb-adicb noise calculus.b bIn this section we introduce a Gel’fand triple an construct some Gaussian measures in the non-Archimedean setting. 5.1.1. A bilinear form in QN . For δ > N, γ, α > 0, we define the operator DR p 2 QN L2 QN D p → p