On the anomalous dimension of σ in the O(N ) model

Definitions:
1 x x
ζp (x) ≡ , ζ∞ (x) ≡ π − 2 Γ( ), (1)
1 − p−x 2
ζp (x) ζ∞ (x)
ΓQpn (x) ≡ , ΓRn ≡ . (2)
ζp (n − x) ζ∞ (n − x)

Useful formulæ, for Λ = Rn , Qpn :

e2πikx |x|s−n
Z
dk = , (3)
Λ |k|s ΓΛ (s)

|k|d−s−t
Z
1
dd k 0 = , (4)
Λ |k 0 |s |k − k 0 |t ΓΛ (s)ΓΛ (t)ΓΛ (2n − s − t)

|x23 |s−n |x13 |t−n |x12 |n−s−t

Z
dx
= . (5)
Λ |x1 − x|s |x2 − x|t |x3 − x|2n−s−t ΓΛ (s)ΓΛ (t)ΓΛ (2n − s − t)

Two-point functions:

Γ∞ (2)2 Γp (s)2
hσ(k)σ(−k)i = −2(2π)d |k|4−n , hσ(k)σ(−k)i = −2 |k|2s−n , (6)
Γ∞ (4 − n) Γp (2s − n)

−2(2π)4 ΓRn (2)2 ΓRn (4) −2 ΓQpn (s)2 ΓQpn (2s)

hσ(x)σ(y)iRn = , hσ(x)σ(y)iQpn = , (7)
|x − y|4 ΓRn (4 − n) |x − y|2s ΓQpn (2s − n)

δ ij δ ij
φi (k)φj (−k) Rn = 2 ,

i
φ (x)φj (y) Q

 
= , (8)
|k| pn |k|s

δ ij |x − y|2−d |x − y|s−n
φi (x)φj (y) Rn =

i
φ (x)φj (y) Q = δ ij

 
, , (9)
(2π)2 ΓRn (2) pn ΓQpn (s)

|x|4−2n |x|2s−2n
Γσσ
0 (x)Rn =− , Γσσ
0 (x)Qpn =− . (10)
2(2π)4 ΓRn (2)2 2ΓQpn (s)2

1
 Cφ Cσ K
φi (x)φj (y) ≡ δ ij Γσσ


, hσ(x)σ(y)i ≡ , 0 (x) ≡ . (11)
|x − y|n−s |x − y|2s |x|2n−2s
Relevant Feynman diagrams:
1
D1 = = − Cσ Cφ4 I1 /N, (12)
2

D2 = = −Cσ Cφ4 I2 /N, (13)

1
D3 = = − Cσ2 Cφ6 I3 /N. (14)
2
Evaluation of regulated integrals, where ∼ indicates that two expressions are identical to leading
order in δ:
Z
dx1 dx2
I1 = (15)
Λ2 |x1 |n−s |x 1− x|n−s |x 1 − x2 |
2s−δ |x |n−s |x − x|n−s
2 2
Z Z
dx1 dx2
∼ δ δ δ δ (16)
|x1 |n−s− 2 |x1 − x|n−s− 2 Λ |x1 − x2 |2s−δ |x2 |n−s+ 2 |x2 − x|n−s+ 2
Λ

ΓΛ (s)2 2s−n−δ ΓΛ (s)2 ΓΛ (δ)2 2s−2n+δ

Z
dx1
∼ |x| n−δ |x − x|n−δ
= |x| , (17)
ΓΛ (2s) Λ |x1 | 1 ΓΛ (2s)ΓΛ (2δ)

Z
1 dx1 dx2
I2 = n−s n−s
(18)
|x| Λ2 |x1 | |x1 − x2 |n+s−δ |x2 − x|n−s
ΓΛ (s)ΓΛ (δ − s) s−n
Z
dx2
= |x| n−δ
(19)
ΓΛ (δ) Λ |x2 | |x2 − x|n−s
∼ ΓΛ (s)ΓΛ (δ − s)|x|2s−2n+δ , (20)

Z
dx1 dx2 dx3 dx4
I3 =
Λ4 |x1 |n−s |x 2 |n−s |x 1 − x2 |n−s |x 1 − x3 |2s−δ |x2 − x4 |2s−δ |x3 − x|n−s |x4 − x|n−s |x3 − x4 |n−s
(21)
Z Z
dx2 dx3 dx1
∼ n−s−δ
(22)
Λ2 |x2 | |x3 − x|n−s−δ |x 1 − x2 | |n−s+δ |x
n−s |x − x |2s−δ
ZΛ 1 1 3
dx4
2s−δ |x − x |n−s |x − x|n−s+δ
Λ |x2 − x4 | 3 4 4
4 Z
ΓΛ (s) dx2 dx3
∼ 2 2n−3s
(23)
ΓΛ (2s) Λ2 |x2 | |x2 − x| |x2 − x3 |2s−2δ |x3 |s |x3 − x|2n−3s
s

ΓΛ (s)4
Z
dx3 dx2
∼ 2 s−δ 2n−3s−δ 2n−3s+δ
(24)
ΓΛ (2s) Λ |x3 | |x3 − x| |x2 | |x2 − x|s+δ |x2 − x3 |2s−2δ
ΓΛ (s)3 ΓΛ (3s − n) 2s−n−2δ
Z
dx3
∼ 3
|x| n−2δ
(25)
ΓΛ (2s) Λ |x3 | |x3 − x|n−2δ
ΓΛ (s)3 ΓΛ (3s − n)ΓΛ (2δ)2 2s−2n+2δ
= |x| . (26)
ΓΛ (2s)3 ΓΛ (4δ)

2
Computing the anomalous dimension of σ in the Archimedean case (Λ = Rn , s = 2):

ΓRn (δ)2 δ
 
4 1
|x| = + log |x| + O(δ) , (27)
ΓRn (2δ) ζ∞ (n) δ

 
δ 2π 1
ΓRn (δ − 2)|x| = − + log |x| + constant + O(δ) , (28)
ζ∞ (n + 2) δ

ΓRn (2)2 4 ΓRn (2)3 ΓRn (6 − n) 4

 
1 1 −2π 1
γσ = − Cσ Cφ4 − Cσ Cφ4 ΓRn (2) − Cσ2 Cφ6
2KN 2 ΓRn (4) ζ∞ (n) ζ∞ (n + 2) 2 ΓRn (4)3 ζ∞ (n)
(29)
2n+1 ζ∞ (n + 1)ΓRn (2) 
= =− + O(2 ), n = 4 − . (30)
N ζ∞ (1)ζ∞ (2 + n)ζ∞ (2 − n) 6N

Computing the anomalous dimension of σ in the p-adic case (Λ = Qpn ):

ΓQpn (δ)2 δ
 
2 1
n
|x| = + log |x| + O(δ) , (31)
ΓQpn (2δ) ζp (n) log p δ

ΓQpn (δ − s)|x|δ = constant + O(δ), (32)

Γ (s)2 1 2 6 ΓQpn (s)3 ΓQpn (3s − n)

 
1 1 4 Qpn 2 2
γσ = − Cσ Cφ − C C (33)
2KN 2 ΓQpn (2s) ζp (n) log p 2 σ φ ΓQpn (2s)3 ζ∞ (n) log p
2ΓQpn (s)2 2ΓQpn (s)ΓQpn (3s − n)
 
1/N 
= −1 =− + O(2 ), n = 2s − .
ζp (n)ΓQpn (2s − n) ΓQpn (2s − n)ΓQpn (2s) log p 6N
(34)