RENORMALIZATION GROUP TRAJECTORIES BETWEEN TWO FIXED POINTS - - PowerPoint PPT Presentation

renormalization group trajectories between two fixed
SMART_READER_LITE
LIVE PREVIEW

RENORMALIZATION GROUP TRAJECTORIES BETWEEN TWO FIXED POINTS - - PowerPoint PPT Presentation

RENORMALIZATION GROUP TRAJECTORIES BETWEEN TWO FIXED POINTS Abdelmalek Abdesselam University of Virginia, Department of Mathematics ICMP Prague, Aug 7, 2009 Main reference: A. A. CMP 07 Main reference: A. A. CMP 07 Outline: 1.


slide-1
SLIDE 1

RENORMALIZATION GROUP TRAJECTORIES BETWEEN TWO FIXED POINTS

Abdelmalek Abdesselam

University of Virginia, Department of Mathematics

ICMP Prague, Aug 7, 2009

slide-2
SLIDE 2

◮ Main reference: A. A. CMP 07’

slide-3
SLIDE 3

◮ Main reference: A. A. CMP 07’ ◮ Outline:

  • 1. Global dynamics of Wilson’s RG
  • 2. Rigorous results (selection)
  • 3. The BMS model
  • 4. Good infinite-volume coordinates
  • 5. Idea of the proof
  • 6. Functional analysis, norms
  • 7. Perspectives
slide-4
SLIDE 4
  • 1. Global Dynamics of Wilson’s Renormalization Group:
slide-5
SLIDE 5
  • 1. Global Dynamics of Wilson’s Renormalization Group:

QFT functional integrals: a challenge for mathematicians

slide-6
SLIDE 6
  • 1. Global Dynamics of Wilson’s Renormalization Group:

QFT functional integrals: a challenge for mathematicians

  • e. g., the φ4 model
  • F

Dφ · · · e−

  • Rd [ 1

2 (∇φ)2(x)+µφ(x)2+gφ(x)4]dx

slide-7
SLIDE 7
  • 1. Global Dynamics of Wilson’s Renormalization Group:

QFT functional integrals: a challenge for mathematicians

  • e. g., the φ4 model
  • F

Dφ · · · e−

  • Rd [ 1

2 (∇φ)2(x)+µφ(x)2+gφ(x)4]dx

F infinite-dimensional space of functions Rd → R Dφ Lebesgue measure on F

slide-8
SLIDE 8

◮ Construction by scaling limit of lattice theories on

(aZ)d ⊂ Rd ⇐ ⇒ cut-off 1

a on momenta in Fourier space ◮ rescale to unit lattice ◮ approximants to continuum theory = points in the space of all

possible unit cut-off theories

slide-9
SLIDE 9

◮ Construction by scaling limit of lattice theories on

(aZ)d ⊂ Rd ⇐ ⇒ cut-off 1

a on momenta in Fourier space ◮ rescale to unit lattice ◮ approximants to continuum theory = points in the space of all

possible unit cut-off theories

◮ RG = dynamical system on this space

slide-10
SLIDE 10

◮ Construction by scaling limit of lattice theories on

(aZ)d ⊂ Rd ⇐ ⇒ cut-off 1

a on momenta in Fourier space ◮ rescale to unit lattice ◮ approximants to continuum theory = points in the space of all

possible unit cut-off theories

◮ RG = dynamical system on this space ◮ dν measure on random φ with ˆ

φ(p) = 0 if |p| > 1

◮ introduce magnification ratio L > 1 ◮ split φ = ζ + φlow

ζ ⇐ ⇒ L−1 < |p| ≤ 1 φlow ⇐ ⇒ |p| ≤ L−1

slide-11
SLIDE 11

◮ integrate over ζ −

→ marginal probability distribution on φlow

◮ rescale ψ(x) = L[φ]φlow(Lx) −

→ measure dν′

slide-12
SLIDE 12

◮ integrate over ζ −

→ marginal probability distribution on φlow

◮ rescale ψ(x) = L[φ]φlow(Lx) −

→ measure dν′

◮ RG map: dν −

→ dν′

slide-13
SLIDE 13

◮ integrate over ζ −

→ marginal probability distribution on φlow

◮ rescale ψ(x) = L[φ]φlow(Lx) −

→ measure dν′

◮ RG map: dν −

→ dν′ Important features: fixed points, eigenvalues of linearized RG around them, local stable & unstable manifolds. . .

slide-14
SLIDE 14

◮ integrate over ζ −

→ marginal probability distribution on φlow

◮ rescale ψ(x) = L[φ]φlow(Lx) −

→ measure dν′

◮ RG map: dν −

→ dν′ Important features: fixed points, eigenvalues of linearized RG around them, local stable & unstable manifolds. . . Local features

slide-15
SLIDE 15

◮ integrate over ζ −

→ marginal probability distribution on φlow

◮ rescale ψ(x) = L[φ]φlow(Lx) −

→ measure dν′

◮ RG map: dν −

→ dν′ Important features: fixed points, eigenvalues of linearized RG around them, local stable & unstable manifolds. . . Local features Global features ? e. g. heteroclinic trajectories between fixed points

slide-16
SLIDE 16
  • 2. Rigorous Results (Selection):
slide-17
SLIDE 17
  • 2. Rigorous Results (Selection):

Local:

◮ RG exponents for Gaussian fixed point, ∃ nontrivial IR fp in

“4 − ǫ” dimensions, local stable/unstable manifolds, for HM: Bleher-Sinai CMP 73’, 75’, Collet-Eckmann CMP 77’, LNP 78’, Gaw¸ edzki-Kupiainen CMP 83’, JSP 84’, Pereira JMP 93’

◮ HM at ǫ = 1: Koch-Wittwer CMP 86’ ◮ new fps at d = 2 + 2 n−1, n = 3, 4, . . . in LPA: Felder CMP 95’

slide-18
SLIDE 18
  • 2. Rigorous Results (Selection):

Local:

◮ RG exponents for Gaussian fixed point, ∃ nontrivial IR fp in

“4 − ǫ” dimensions, local stable/unstable manifolds, for HM: Bleher-Sinai CMP 73’, 75’, Collet-Eckmann CMP 77’, LNP 78’, Gaw¸ edzki-Kupiainen CMP 83’, JSP 84’, Pereira JMP 93’

◮ HM at ǫ = 1: Koch-Wittwer CMP 86’ ◮ new fps at d = 2 + 2 n−1, n = 3, 4, . . . in LPA: Felder CMP 95’ ◮ Euclidean model in “4 − ǫ” dimensions, ∃ nontrivial IR fp and

local stable manifold: Brydges-Dimock-Hurd CMP 98’

◮ Same for nicer model: Brydges-Mitter-Scoppola CMP 03’

slide-19
SLIDE 19
  • 2. Rigorous Results (Selection):

Local:

◮ RG exponents for Gaussian fixed point, ∃ nontrivial IR fp in

“4 − ǫ” dimensions, local stable/unstable manifolds, for HM: Bleher-Sinai CMP 73’, 75’, Collet-Eckmann CMP 77’, LNP 78’, Gaw¸ edzki-Kupiainen CMP 83’, JSP 84’, Pereira JMP 93’

◮ HM at ǫ = 1: Koch-Wittwer CMP 86’ ◮ new fps at d = 2 + 2 n−1, n = 3, 4, . . . in LPA: Felder CMP 95’ ◮ Euclidean model in “4 − ǫ” dimensions, ∃ nontrivial IR fp and

local stable manifold: Brydges-Dimock-Hurd CMP 98’

◮ Same for nicer model: Brydges-Mitter-Scoppola CMP 03’

Global:

◮ uniqueness of IR fp in LPA for 3 ≤ d < 4: Lima CMP 87’ ◮ Massless GN in “2 + ǫ” dim: Gaw¸

edski-Kupiainen NPB 85’

slide-20
SLIDE 20
  • 2. Rigorous Results (Selection):

Local:

◮ RG exponents for Gaussian fixed point, ∃ nontrivial IR fp in

“4 − ǫ” dimensions, local stable/unstable manifolds, for HM: Bleher-Sinai CMP 73’, 75’, Collet-Eckmann CMP 77’, LNP 78’, Gaw¸ edzki-Kupiainen CMP 83’, JSP 84’, Pereira JMP 93’

◮ HM at ǫ = 1: Koch-Wittwer CMP 86’ ◮ new fps at d = 2 + 2 n−1, n = 3, 4, . . . in LPA: Felder CMP 95’ ◮ Euclidean model in “4 − ǫ” dimensions, ∃ nontrivial IR fp and

local stable manifold: Brydges-Dimock-Hurd CMP 98’

◮ Same for nicer model: Brydges-Mitter-Scoppola CMP 03’

Global:

◮ uniqueness of IR fp in LPA for 3 ≤ d < 4: Lima CMP 87’ ◮ Massless GN in “2 + ǫ” dim: Gaw¸

edski-Kupiainen NPB 85’

◮ BMS model, construction of discrete heteroclinic trajectories

joining Gaussian UV fp to nontrivial IR fp: A. A. CMP 07’

slide-21
SLIDE 21
  • 3. The BMS Model:
slide-22
SLIDE 22
  • 3. The BMS Model:

Scalar field φ : R3 − → R Z =

  • Dφ e− 1

2 φ,(−∆) 3+ǫ 4 φL2(R3)

  • Gaussian measure

− potential V (φ)

  • dx(µ:φ2(x):+g:φ4(x):)
slide-23
SLIDE 23
  • 3. The BMS Model:

Scalar field φ : R3 − → R Z =

  • Dφ e− 1

2 φ,(−∆) 3+ǫ 4 φL2(R3)

  • Gaussian measure

− potential V (φ)

  • dx(µ:φ2(x):+g:φ4(x):)

◮ propagator (−∆)− 3+ǫ

4 (x, y) ∼

1 |x−y|2[φ] ◮ [φ] = 3−ǫ 4 ◮ propagator ∼

dl l l−2[φ] u

x−y

l

  • ◮ u finite range, smooth, and nonnegative in x and p

◮ unit cut-off C(x − y) =

1 dl l l−2[φ] u

x−y

l

slide-24
SLIDE 24

◮ split C(x − y) = Γ(x − y) + CL−1(x − y)

with CL−1(x − y) = L−2[φ]C(L−1(x − y)) and Γ(x − y) = L

1

dl l l−2[φ] u x − y l

  • ◮ convolution dµC = dµΓ ⋆ dµCL−1

Z =

  • dµC(φ) Z(φ) =
  • dµCL−1(ψ)dµΓ(ζ) Z(ψ + ζ)

=

  • dµC(φ) (RZ)(φ)

(RZ)(φ) =

  • dµΓ(ζ) Z(φL−1 + ζ) and φL−1(x) = L−[φ]φ(L−1x)
slide-25
SLIDE 25

◮ split C(x − y) = Γ(x − y) + CL−1(x − y)

with CL−1(x − y) = L−2[φ]C(L−1(x − y)) and Γ(x − y) = L

1

dl l l−2[φ] u x − y l

  • ◮ convolution dµC = dµΓ ⋆ dµCL−1

Z =

  • dµC(φ) Z(φ) =
  • dµCL−1(ψ)dµΓ(ζ) Z(ψ + ζ)

=

  • dµC(φ) (RZ)(φ)

(RZ)(φ) =

  • dµΓ(ζ) Z(φL−1 + ζ) and φL−1(x) = L−[φ]φ(L−1x)

RG map: Z − → RZ

slide-26
SLIDE 26
  • 4. Good Infinite-Volume Coordinates:

Brydges et al. Z3 ⊂ R3 = ⇒ cell decomposition

X polymer

slide-27
SLIDE 27

In finite box Λ Z(Λ, φ) =

  • n=0

1 n!

  • X1,...,Xn

disjoint in Λ

exp

  • Λ\(∪Xi)

dx{g : φ4(x) :C +µ : φ2(x) :C}

  • ×K(X1, φ|X1) · · · K(Xn, φ|Xn)

◮ Z ←

→ (g, µ, K)

◮ K = (K(X, ·))X polymer collection of local functionals

slide-28
SLIDE 28

In finite box Λ Z(Λ, φ) =

  • n=0

1 n!

  • X1,...,Xn

disjoint in Λ

exp

  • Λ\(∪Xi)

dx{g : φ4(x) :C +µ : φ2(x) :C}

  • ×K(X1, φ|X1) · · · K(Xn, φ|Xn)

◮ Z ←

→ (g, µ, K)

◮ K = (K(X, ·))X polymer collection of local functionals ◮ need to extract second order perturbation theory:

K(X, φ) = g2[explicit complicated formula]e−V (X,φ)+R(X, φ)

◮ R of order g3

slide-29
SLIDE 29

In finite box Λ Z(Λ, φ) =

  • n=0

1 n!

  • X1,...,Xn

disjoint in Λ

exp

  • Λ\(∪Xi)

dx{g : φ4(x) :C +µ : φ2(x) :C}

  • ×K(X1, φ|X1) · · · K(Xn, φ|Xn)

◮ Z ←

→ (g, µ, K)

◮ K = (K(X, ·))X polymer collection of local functionals ◮ need to extract second order perturbation theory:

K(X, φ) = g2[explicit complicated formula]e−V (X,φ)+R(X, φ)

◮ R of order g3 ◮ RG map: (g, µ, R) −

→ (g′, µ′, R′)

slide-30
SLIDE 30

Sketch of the RG phase portrait:

µ Gaussian UV f.p. R g BMS IR f.p. critical surface

slide-31
SLIDE 31

RG map in (g, µ, R) coordinates: g′ = Lǫg − L2ǫa(L, ǫ)g2 + ξg(g, µ, R) µ′ = L

3+ǫ 2 µ + ξµ(g, µ, R)

R′ = L(g,µ)(R) + ξR(g, µ, R)

slide-32
SLIDE 32

RG map in (g, µ, R) coordinates: g′ = Lǫg − L2ǫa(L, ǫ)g2 + ξg(g, µ, R) µ′ = L

3+ǫ 2 µ + ξµ(g, µ, R)

R′ = L(g,µ)(R) + ξR(g, µ, R) where L(g,µ)(·) is a contraction

slide-33
SLIDE 33

RG map in (g, µ, R) coordinates: g′ = Lǫg − L2ǫa(L, ǫ)g2 + ξg(g, µ, R) µ′ = L

3+ǫ 2 µ + ξµ(g, µ, R)

R′ = L(g,µ)(R) + ξR(g, µ, R) where L(g,µ)(·) is a contraction Simplified RG map: g′ = Lǫg − L2ǫa(L, ǫ)g2 µ′ = L

3+ǫ 2 µ

R′ = L(g,µ)(R)

slide-34
SLIDE 34

Approximate fixed point at (¯ g∗, 0, 0) with ¯ g∗ = Lǫ − 1 L2ǫa ∼ ǫ

µ R g · · · ¯ g−2 ¯ g−1 ¯ g0 ¯ g1 ¯ g2 · · · ¯ g∗ (input)

slide-35
SLIDE 35

Fake trajectory (¯ gn)n∈Z obtained by simple 1d, yet nonlinear, iteration by f (x) = Lǫx − L2ǫax2

f(x) x · · · ¯ g−1 ¯ g0 ¯ g1 · · · ¯ g∗

slide-36
SLIDE 36

Fake trajectory (¯ gn)n∈Z obtained by simple 1d, yet nonlinear, iteration by f (x) = Lǫx − L2ǫax2

f(x) x · · · ¯ g−1 ¯ g0 ¯ g1 · · · ¯ g∗

Note that f ′(0) = Lǫ > 1 and f ′(¯ g∗) = 2 − Lǫ < 1

slide-37
SLIDE 37

True trajectories (gn, µn, Rn)n∈Z constructed as perturbations of fake trajectories

µ R g · · · ¯ g−2 ¯ g−1 ¯ g0 ¯ g1 ¯ g2 · · · ¯ g∗

slide-38
SLIDE 38

Theorem

(A. A. CMP 07’) In the regime where ǫ > 0 is small enough, for any ω0 ∈]0, 1

2[,

there exists a complete trajectory (gn, µn, Rn)n∈Z for the RG map such that lim

n→−∞(gn, µn, Rn) = (0, 0, 0) the Gaussian ultraviolet

fixed point, and lim

n→+∞(gn, µn, Rn) = (g∗, µ∗, R∗) the BMS

nontrivial infrared fixed point, and determined by the ‘initial condition’ at unit scale g0 = ω0¯ g∗

slide-39
SLIDE 39
  • 5. Idea of the Proof:
slide-40
SLIDE 40
  • 5. Idea of the Proof:

◮ (gn, µn, Rn) = (¯

gn + δgn, µn, Rn)

slide-41
SLIDE 41
  • 5. Idea of the Proof:

◮ (gn, µn, Rn) = (¯

gn + δgn, µn, Rn)

◮ rewrite RG in terms of deviation variables (δgn, µn, Rn)

δgn+1 = f ′(¯ gn)δgn +

  • −L2ǫa δg2

n + ξg(¯

gn + δgn, µn, Rn)

  • ,

µn+1 = L

3+ǫ 2 µn + ξµ(¯

gn + δgn, µn, Rn) , Rn+1 = L(¯

gn+δgn,µn)(Rn) + ξR(¯

gn + δgn, µn, Rn)

slide-42
SLIDE 42
  • 5. Idea of the Proof:

◮ (gn, µn, Rn) = (¯

gn + δgn, µn, Rn)

◮ rewrite RG in terms of deviation variables (δgn, µn, Rn)

δgn+1 = f ′(¯ gn)δgn +

  • −L2ǫa δg2

n + ξg(¯

gn + δgn, µn, Rn)

  • ,

µn+1 = L

3+ǫ 2 µn + ξµ(¯

gn + δgn, µn, Rn) , Rn+1 = L(¯

gn+δgn,µn)(Rn) + ξR(¯

gn + δgn, µn, Rn) Boundary conditions:

slide-43
SLIDE 43
  • 5. Idea of the Proof:

◮ (gn, µn, Rn) = (¯

gn + δgn, µn, Rn)

◮ rewrite RG in terms of deviation variables (δgn, µn, Rn)

δgn+1 = f ′(¯ gn)δgn +

  • −L2ǫa δg2

n + ξg(¯

gn + δgn, µn, Rn)

  • ,

µn+1 = L

3+ǫ 2 µn + ξµ(¯

gn + δgn, µn, Rn) , Rn+1 = L(¯

gn+δgn,µn)(Rn) + ξR(¯

gn + δgn, µn, Rn) Boundary conditions:

◮ Infrared: µn does not blow up when n → +∞

slide-44
SLIDE 44
  • 5. Idea of the Proof:

◮ (gn, µn, Rn) = (¯

gn + δgn, µn, Rn)

◮ rewrite RG in terms of deviation variables (δgn, µn, Rn)

δgn+1 = f ′(¯ gn)δgn +

  • −L2ǫa δg2

n + ξg(¯

gn + δgn, µn, Rn)

  • ,

µn+1 = L

3+ǫ 2 µn + ξµ(¯

gn + δgn, µn, Rn) , Rn+1 = L(¯

gn+δgn,µn)(Rn) + ξR(¯

gn + δgn, µn, Rn) Boundary conditions:

◮ Infrared: µn does not blow up when n → +∞ ◮ Ultraviolet: Rn does not blow up when n → −∞

slide-45
SLIDE 45
  • 5. Idea of the Proof:

◮ (gn, µn, Rn) = (¯

gn + δgn, µn, Rn)

◮ rewrite RG in terms of deviation variables (δgn, µn, Rn)

δgn+1 = f ′(¯ gn)δgn +

  • −L2ǫa δg2

n + ξg(¯

gn + δgn, µn, Rn)

  • ,

µn+1 = L

3+ǫ 2 µn + ξµ(¯

gn + δgn, µn, Rn) , Rn+1 = L(¯

gn+δgn,µn)(Rn) + ξR(¯

gn + δgn, µn, Rn) Boundary conditions:

◮ Infrared: µn does not blow up when n → +∞ ◮ Ultraviolet: Rn does not blow up when n → −∞ ◮ Anthropic?: δg0 = 0

slide-46
SLIDE 46

Forward and backward integral equations towards the boundary conditions ∀n > 0, δgn = f ′(¯ gn−1)δgn−1 +

  • −L2ǫa δg2

n−1

+ξg(¯ gn−1 + δgn−1, µn−1, Rn−1)] ∀n < 0, δgn = 1 f ′(¯ gn)δgn+1 − 1 f ′(¯ gn)

  • −L2ǫa δg2

n + ξg(¯

gn + δgn, µn, Rn)

  • ∀n ∈ Z,

µn = L−( 3+ǫ

2 )µn+1 − L−( 3+ǫ 2 )ξµ(¯

gn + δgn, µn, Rn) ∀n ∈ Z, Rn = L(¯

gn−1+δgn−1,µn−1)(Rn−1) + ξR(¯

gn−1 + δgn−1, µn−1, Rn−1)

slide-47
SLIDE 47

Forward and backward integral equations towards the boundary conditions ∀n > 0, δgn = f ′(¯ gn−1)δgn−1 +

  • −L2ǫa δg2

n−1

+ξg(¯ gn−1 + δgn−1, µn−1, Rn−1)] ∀n < 0, δgn = 1 f ′(¯ gn)δgn+1 − 1 f ′(¯ gn)

  • −L2ǫa δg2

n + ξg(¯

gn + δgn, µn, Rn)

  • ∀n ∈ Z,

µn = L−( 3+ǫ

2 )µn+1 − L−( 3+ǫ 2 )ξµ(¯

gn + δgn, µn, Rn) ∀n ∈ Z, Rn = L(¯

gn−1+δgn−1,µn−1)(Rn−1) + ξR(¯

gn−1 + δgn−1, µn−1, Rn−1) then iterate until hit the b.c.

slide-48
SLIDE 48

Fixed point equation in space of sequences: ∀n > 0, δgn =

  • 0≤p<n

 

p<j<n

f ′(¯ gj)   −L2ǫa δg2

p + ξg(¯

gp + δgp, µp, Rp)

  • ∀n < 0,

δgn = −

  • n≤p<0

 

n≤j≤p

1 f ′(¯ gj)   −L2ǫa δg2

p + ξg(¯

gp + δgp, µp, Rp)

  • ∀n ∈ Z,

µn = −

  • p≥n

L−( 3+ǫ

2 )(p−n+1) ξµ(¯

gp + δgp, µp, Rp) ∀n ∈ Z, Rn =

  • p<n

L(¯

gn−1+δgn−1,µn−1) ◦ L(¯ gn−2+δgn−2,µn−2) ◦ · · ·

· · · ◦ L(¯

gp+1+δgp+1,µp+1) (ξR(¯

gp + δgp, µp, Rp))

slide-49
SLIDE 49

Use this to define a map on a space of sequences (δgn, µn, Rn)n∈Z

slide-50
SLIDE 50

Use this to define a map on a space of sequences (δgn, µn, Rn)n∈Z ∀n > 0, δg′

n =

  • 0≤p<n

 

p<j<n

f ′(¯ gj)   −L2ǫa δg2

p + ξg(¯

gp + δgp, µp, Rp)

  • ∀n < 0,

δg′

n = −

  • n≤p<0

 

n≤j≤p

1 f ′(¯ gj)   −L2ǫa δg2

p + ξg(¯

gp + δgp, µp, Rp)

  • ∀n ∈ Z,

µ′

n = −

  • p≥n

L−( 3+ǫ

2 )(p−n+1) ξµ(¯

gp + δgp, µp, Rp) ∀n ∈ Z, R′

n =

  • p<n

L(¯

gn−1+δgn−1,µn−1) ◦ L(¯ gn−2+δgn−2,µn−2) ◦ · · ·

· · · ◦ L(¯

gp+1+δgp+1,µp+1) (ξR(¯

gp + δgp, µp, Rp))

slide-51
SLIDE 51

◮ Use contraction mapping argument in a big Banach space of

double-sided sequences

slide-52
SLIDE 52

◮ Use contraction mapping argument in a big Banach space of

double-sided sequences

◮ The fixed point (in the space of sequences) is a trajectory

slide-53
SLIDE 53
  • 6. Functional Analysis, Norms:

Fields:

◮ ∆ a closed cube. Sobolev imbedding W 4,2(

  • ∆) ֒

→ C 2(∆)

◮ φ ∈ Fld(X) = ∆⊂X W 4,2(

  • ∆) plus C 2 gluing conditions

◮ ||φ||Fld(X) =

  • ∆⊂X
  • |ν|≤4 ||∂νφ∆||2

L2(

  • ∆)

1

2

◮ Fluctuation measure dµΓ realized in Hilbert spaces Fld(X) ◮ Also need ||φ||C 2(X) = sup x∈X

max

|ν|≤2 |∂νφ(x)| ◮ φ’s are real-valued

slide-54
SLIDE 54

Functionals:

slide-55
SLIDE 55

Functionals: ||K|| = sup

∆0

  • X⊃∆0

L5|X| sup

φ∈Fld(X)

  • e

−κ

∆⊂X

  • 1≤|ν|≤4 ||∂νφ||2

L2(◦ ∆)

×

  • 0≤n≤9

(cg− 1

4 )n

n! sup

φ1,...,φn∈Fld(X)\{0}

|DnK(X, φ; φ1, . . . , φn)| ||φ1||C 2(∆) · · · ||φn||C 2(∆)   

slide-56
SLIDE 56

Functionals: ||K|| = sup

∆0

  • X⊃∆0

L5|X| sup

φ∈Fld(X)

  • e

−κ

∆⊂X

  • 1≤|ν|≤4 ||∂νφ||2

L2(◦ ∆)

×

  • 0≤n≤9

(cg− 1

4 )n

n! sup

φ1,...,φn∈Fld(X)\{0}

|DnK(X, φ; φ1, . . . , φn)| ||φ1||C 2(∆) · · · ||φn||C 2(∆)   

◮ K’s allowed to be complex-valued

slide-57
SLIDE 57

Functionals: ||K|| = sup

∆0

  • X⊃∆0

L5|X| sup

φ∈Fld(X)

  • e

−κ

∆⊂X

  • 1≤|ν|≤4 ||∂νφ||2

L2(◦ ∆)

×

  • 0≤n≤9

(cg− 1

4 )n

n! sup

φ1,...,φn∈Fld(X)\{0}

|DnK(X, φ; φ1, . . . , φn)| ||φ1||C 2(∆) · · · ||φn||C 2(∆)   

◮ K’s allowed to be complex-valued ◮ Fibered norm problem: norms depend on the dynamical

variable g

slide-58
SLIDE 58

Functionals: ||K|| = sup

∆0

  • X⊃∆0

L5|X| sup

φ∈Fld(X)

  • e

−κ

∆⊂X

  • 1≤|ν|≤4 ||∂νφ||2

L2(◦ ∆)

×

  • 0≤n≤9

(cg− 1

4 )n

n! sup

φ1,...,φn∈Fld(X)\{0}

|DnK(X, φ; φ1, . . . , φn)| ||φ1||C 2(∆) · · · ||φn||C 2(∆)   

◮ K’s allowed to be complex-valued ◮ Fibered norm problem: norms depend on the dynamical

variable g

◮ use fake solution to calibrate

slide-59
SLIDE 59
  • 7. Perspectives:
slide-60
SLIDE 60
  • 7. Perspectives:

◮ Study more refined dynamical systems features: construct full

invariant curve, regularity properties, smoothness at g = 0 (asked by K. Gaw¸ edzki), first on HM with Ph. D. student Ajay Chandra

slide-61
SLIDE 61
  • 7. Perspectives:

◮ Study more refined dynamical systems features: construct full

invariant curve, regularity properties, smoothness at g = 0 (asked by K. Gaw¸ edzki), first on HM with Ph. D. student Ajay Chandra

◮ Correlation functions

slide-62
SLIDE 62
  • 7. Perspectives:

◮ Study more refined dynamical systems features: construct full

invariant curve, regularity properties, smoothness at g = 0 (asked by K. Gaw¸ edzki), first on HM with Ph. D. student Ajay Chandra

◮ Correlation functions ◮ Composite fields, anomalous dimensions, preliminary results

by P. K. Mitter

slide-63
SLIDE 63
  • 7. Perspectives:

◮ Study more refined dynamical systems features: construct full

invariant curve, regularity properties, smoothness at g = 0 (asked by K. Gaw¸ edzki), first on HM with Ph. D. student Ajay Chandra

◮ Correlation functions ◮ Composite fields, anomalous dimensions, preliminary results

by P. K. Mitter

◮ Analytic continuation to Minkowski

slide-64
SLIDE 64
  • 7. Perspectives:

◮ Study more refined dynamical systems features: construct full

invariant curve, regularity properties, smoothness at g = 0 (asked by K. Gaw¸ edzki), first on HM with Ph. D. student Ajay Chandra

◮ Correlation functions ◮ Composite fields, anomalous dimensions, preliminary results

by P. K. Mitter

◮ Analytic continuation to Minkowski ◮ Alternate construction using phase space expansion of A. A.

  • Ph. D. Thesis 97’
slide-65
SLIDE 65
  • 7. Perspectives:

◮ Study more refined dynamical systems features: construct full

invariant curve, regularity properties, smoothness at g = 0 (asked by K. Gaw¸ edzki), first on HM with Ph. D. student Ajay Chandra

◮ Correlation functions ◮ Composite fields, anomalous dimensions, preliminary results

by P. K. Mitter

◮ Analytic continuation to Minkowski ◮ Alternate construction using phase space expansion of A. A.

  • Ph. D. Thesis 97’

◮ GN in 2d

slide-66
SLIDE 66
  • 7. Perspectives:

◮ Study more refined dynamical systems features: construct full

invariant curve, regularity properties, smoothness at g = 0 (asked by K. Gaw¸ edzki), first on HM with Ph. D. student Ajay Chandra

◮ Correlation functions ◮ Composite fields, anomalous dimensions, preliminary results

by P. K. Mitter

◮ Analytic continuation to Minkowski ◮ Alternate construction using phase space expansion of A. A.

  • Ph. D. Thesis 97’

◮ GN in 2d ◮ φ4 3 at large N

slide-67
SLIDE 67
  • 7. Perspectives:

◮ Study more refined dynamical systems features: construct full

invariant curve, regularity properties, smoothness at g = 0 (asked by K. Gaw¸ edzki), first on HM with Ph. D. student Ajay Chandra

◮ Correlation functions ◮ Composite fields, anomalous dimensions, preliminary results

by P. K. Mitter

◮ Analytic continuation to Minkowski ◮ Alternate construction using phase space expansion of A. A.

  • Ph. D. Thesis 97’

◮ GN in 2d ◮ φ4 3 at large N ◮ φ4 4 (noncommutative)

slide-68
SLIDE 68
  • 7. Perspectives:

◮ Study more refined dynamical systems features: construct full

invariant curve, regularity properties, smoothness at g = 0 (asked by K. Gaw¸ edzki), first on HM with Ph. D. student Ajay Chandra

◮ Correlation functions ◮ Composite fields, anomalous dimensions, preliminary results

by P. K. Mitter

◮ Analytic continuation to Minkowski ◮ Alternate construction using phase space expansion of A. A.

  • Ph. D. Thesis 97’

◮ GN in 2d ◮ φ4 3 at large N ◮ φ4 4 (noncommutative) ◮ 2d σ-model

slide-69
SLIDE 69
  • 7. Perspectives:

◮ Study more refined dynamical systems features: construct full

invariant curve, regularity properties, smoothness at g = 0 (asked by K. Gaw¸ edzki), first on HM with Ph. D. student Ajay Chandra

◮ Correlation functions ◮ Composite fields, anomalous dimensions, preliminary results

by P. K. Mitter

◮ Analytic continuation to Minkowski ◮ Alternate construction using phase space expansion of A. A.

  • Ph. D. Thesis 97’

◮ GN in 2d ◮ φ4 3 at large N ◮ φ4 4 (noncommutative) ◮ 2d σ-model ◮ YM in 4d

slide-70
SLIDE 70
  • 7. Perspectives:

◮ Study more refined dynamical systems features: construct full

invariant curve, regularity properties, smoothness at g = 0 (asked by K. Gaw¸ edzki), first on HM with Ph. D. student Ajay Chandra

◮ Correlation functions ◮ Composite fields, anomalous dimensions, preliminary results

by P. K. Mitter

◮ Analytic continuation to Minkowski ◮ Alternate construction using phase space expansion of A. A.

  • Ph. D. Thesis 97’

◮ GN in 2d ◮ φ4 3 at large N ◮ φ4 4 (noncommutative) ◮ 2d σ-model ◮ YM in 4d ◮ Nontrivial UV fp in quantum gravity. . .