Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Definition (Lattice) Gibbs measures: formal definition Gibbsian specification: Family Π Φ = { π Φ Λ : Λ ⊂ ⊂ L } with Λ ) = e − βH Λ ( ω | σ ) π Φ Λ ( C ω Norm. [ π Φ Λ ( · | σ ) = equilibrium in Λ given σ ] Gibbs measures: µ is Gibbs for Φ if, equivalently, ◮ µ is left invariant by Π Φ : � π Φ Λ ( C ω Λ ) µ ( dω ) = µ ( C ω Λ ) [ µ = equilibrium in L = every Λ in equilibrium] ◮ µ = w − lim Λ → L π Φ Λ ( · | σ ) + convex combinations [thermodynamic limit]
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Gibbsianness test How to recognize Gibbsianness Kozlov – Sullivan: µ is Gibbs iff it is ◮ Non-null: µ ( C ω Λ ) > 0 for every cylinder C ω Λ ◮ Quasilocal: If Λ ⊂ Γ ⊂ ⊂ L , � Γ ξ − �� � � Γ ξ + � � � � � � σ � σ sup � µ C ω − µ C ω � − γ → L 0 − − → Λ Λ σ,ω,ξ ± Physics in Λ does not depend on state of the Andromeda galaxy
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Gibbsianness test How to recognize Gibbsianness Kozlov – Sullivan: µ is Gibbs iff it is ◮ Non-null: µ ( C ω Λ ) > 0 for every cylinder C ω Λ ◮ Quasilocal: If Λ ⊂ Γ ⊂ ⊂ L , � Γ ξ − �� � � Γ ξ + � � � � � � σ � σ sup � µ C ω − µ C ω � − γ → L 0 − − → Λ Λ σ,ω,ξ ± Physics in Λ does not depend on state of the Andromeda galaxy
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Gibbsianness test How to recognize Gibbsianness Kozlov – Sullivan: µ is Gibbs iff it is ◮ Non-null: µ ( C ω Λ ) > 0 for every cylinder C ω Λ ◮ Quasilocal: If Λ ⊂ Γ ⊂ ⊂ L , � Γ ξ − �� � � Γ ξ + � � � � � � σ � σ sup � µ C ω − µ C ω � − γ → L 0 − − → Λ Λ σ,ω,ξ ± Physics in Λ does not depend on state of the Andromeda galaxy
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Non-quasilocality Essential non-quasilocality µ is Gibbs if ∃ Λ and w sp s.t: ∃ ξ ± for which � Γ ξ − �� � � Γ ξ + � � � � � � σ � σ sup � µ C ω − µ C ω � — γ → L 0 / − → Λ Λ σ,ω,ξ ± � � � � · for every realisation of µ C ω Λ ◮ Quasilocality = continuity w.r.t. external conditions ◮ Non-quasilocality = essential discontinuity w.r.t. external conditions Interpretation: Info from ∞ despite frozen fluctuations Possible explanation: hidden variables
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Non-quasilocality Essential non-quasilocality µ is Gibbs if ∃ Λ and w sp s.t: ∃ ξ ± for which � Γ ξ − �� � � Γ ξ + � � � � � � σ � σ sup � µ C ω − µ C ω � — γ → L 0 / − → Λ Λ σ,ω,ξ ± � � � � · for every realisation of µ C ω Λ ◮ Quasilocality = continuity w.r.t. external conditions ◮ Non-quasilocality = essential discontinuity w.r.t. external conditions Interpretation: Info from ∞ despite frozen fluctuations Possible explanation: hidden variables
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Non-quasilocality Essential non-quasilocality µ is Gibbs if ∃ Λ and w sp s.t: ∃ ξ ± for which � Γ ξ − �� � � Γ ξ + � � � � � � σ � σ sup � µ C ω − µ C ω � — γ → L 0 / − → Λ Λ σ,ω,ξ ± � � � � · for every realisation of µ C ω Λ ◮ Quasilocality = continuity w.r.t. external conditions ◮ Non-quasilocality = essential discontinuity w.r.t. external conditions Interpretation: Info from ∞ despite frozen fluctuations Possible explanation: hidden variables
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Non-quasilocality Essential non-quasilocality µ is Gibbs if ∃ Λ and w sp s.t: ∃ ξ ± for which � Γ ξ − �� � � Γ ξ + � � � � � � σ � σ sup � µ C ω − µ C ω � — γ → L 0 / − → Λ Λ σ,ω,ξ ± � � � � · for every realisation of µ C ω Λ ◮ Quasilocality = continuity w.r.t. external conditions ◮ Non-quasilocality = essential discontinuity w.r.t. external conditions Interpretation: Info from ∞ despite frozen fluctuations Possible explanation: hidden variables
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Renormalization and non-Gibbsianness Renormalization transformations General definition: A (stochastic) RT is a map Prob(Ω ′ ) Prob(Ω) − → � µ ′ ( · ) = µ �− → K ( · | ω ) µ ( dω ) where K is a probability kernel The transformation is deterministic if ∃ f : Ω → Ω ′ s.t. K ( · | ω ) = δ f ( ω ) ( · ) A block RT is of the form � K ( dω ′ | ω ) = K ′ x ( dω ′ x ′ | ω Bx ′ ) x ′ ⊂ L is the block associated to x ′ each B x ′ ⊂
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Renormalization and non-Gibbsianness Renormalization transformations General definition: A (stochastic) RT is a map Prob(Ω ′ ) Prob(Ω) − → � µ ′ ( · ) = µ �− → K ( · | ω ) µ ( dω ) where K is a probability kernel The transformation is deterministic if ∃ f : Ω → Ω ′ s.t. K ( · | ω ) = δ f ( ω ) ( · ) A block RT is of the form � K ( dω ′ | ω ) = K ′ x ( dω ′ x ′ | ω Bx ′ ) x ′ ⊂ L is the block associated to x ′ each B x ′ ⊂
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Renormalization and non-Gibbsianness Renormalization transformations General definition: A (stochastic) RT is a map Prob(Ω ′ ) Prob(Ω) − → � µ ′ ( · ) = µ �− → K ( · | ω ) µ ( dω ) where K is a probability kernel The transformation is deterministic if ∃ f : Ω → Ω ′ s.t. K ( · | ω ) = δ f ( ω ) ( · ) A block RT is of the form � K ( dω ′ | ω ) = K ′ x ( dω ′ x ′ | ω Bx ′ ) x ′ ⊂ L is the block associated to x ′ each B x ′ ⊂
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Renormalization and non-Gibbsianness Examples of block transformations Deterministic transformations: ◮ Decimation ◮ Majority (odd block) Stochastic transformations: ◮ Majority (even block) ◮ Kadanoff: � � � p ω ′ exp x ∈ B x ′ ω x x ′ K ′ x ( dω ′ dω ′ x ′ | ω Bx ′ ) = x ′ Norm [weighted majority; → majority as p → ∞ ]
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Renormalization and non-Gibbsianness Hidden variables and non-quasilocality Hidden-variables mechanism: ◮ Each fixed ω ′ Λc determines a constrained Ω system ◮ ω ′ sp is s.t. the constrained system has a phase transition ◮ ξ ′ far away decides the phase → info form ∞ Two-slice point of view: ◮ Ω = original slice = hidden variables ◮ Ω ′ = present slice = observed variables Non-quasilocality: Hidden variables constrained by observed variables exhibit a phase transition
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Renormalization and non-Gibbsianness Hidden variables and non-quasilocality Hidden-variables mechanism: ◮ Each fixed ω ′ Λc determines a constrained Ω system ◮ ω ′ sp is s.t. the constrained system has a phase transition ◮ ξ ′ far away decides the phase → info form ∞ Two-slice point of view: ◮ Ω = original slice = hidden variables ◮ Ω ′ = present slice = observed variables Non-quasilocality: Hidden variables constrained by observed variables exhibit a phase transition
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Renormalization and non-Gibbsianness Hidden variables and non-quasilocality Hidden-variables mechanism: ◮ Each fixed ω ′ Λc determines a constrained Ω system ◮ ω ′ sp is s.t. the constrained system has a phase transition ◮ ξ ′ far away decides the phase → info form ∞ Two-slice point of view: ◮ Ω = original slice = hidden variables ◮ Ω ′ = present slice = observed variables Non-quasilocality: Hidden variables constrained by observed variables exhibit a phase transition
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Renormalization and non-Gibbsianness Hidden variables and non-quasilocality Hidden-variables mechanism: ◮ Each fixed ω ′ Λc determines a constrained Ω system ◮ ω ′ sp is s.t. the constrained system has a phase transition ◮ ξ ′ far away decides the phase → info form ∞ Two-slice point of view: ◮ Ω = original slice = hidden variables ◮ Ω ′ = present slice = observed variables Non-quasilocality: Hidden variables constrained by observed variables exhibit a phase transition
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Renormalization and non-Gibbsianness Single-site Kadanoff transformations ( B x ′ = { x ′ } ) On finite volumes, the two-slice measures are of the form � �� � K Λ ( dω ′ | ω ) µ H Kad ( ω, ω ′ ) + H Λ ( ω ) dω ′ Λ ( dω ) ∝ exp β Λ dω Λ Λ where � p �� � � x ω x − 1 H Kad ( ω, ω ′ ) = β ω ′ β log 2 cosh( p ω x ) Λ x ′ acts on the original spins as an extra magnetic field Constrained internal spins have phase transition if p β ω ′ x compensates h in the average ( ∗ ) and β is large enough
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Renormalization and non-Gibbsianness Single-site Kadanoff transformations ( B x ′ = { x ′ } ) On finite volumes, the two-slice measures are of the form � �� � K Λ ( dω ′ | ω ) µ H Kad ( ω, ω ′ ) + H Λ ( ω ) dω ′ Λ ( dω ) ∝ exp β Λ dω Λ Λ where � p �� � � x ω x − 1 H Kad ( ω, ω ′ ) = β ω ′ β log 2 cosh( p ω x ) Λ x ′ acts on the original spins as an extra magnetic field Constrained internal spins have phase transition if p β ω ′ x compensates h in the average ( ∗ ) and β is large enough
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Renormalization and non-Gibbsianness Single-site Kadanoff transformations ( B x ′ = { x ′ } ) On finite volumes, the two-slice measures are of the form � �� � K Λ ( dω ′ | ω ) µ H Kad ( ω, ω ′ ) + H Λ ( ω ) dω ′ Λ ( dω ) ∝ exp β Λ dω Λ Λ where � p �� � � x ω x − 1 H Kad ( ω, ω ′ ) = β ω ′ β log 2 cosh( p ω x ) Λ x ′ acts on the original spins as an extra magnetic field Constrained internal spins have phase transition if p β ω ′ x compensates h in the average ( ∗ ) and β is large enough
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Renormalization and non-Gibbsianness Single-site Kadanoff transformations (cont.) Let h be the original Ising field and fix β large enough s.t. ◮ Original model with h = 0 has phase transition ◮ Pirogov-Sinai theory holds If h = 0, alternated ω ′ = ⇒ ( ∗ ) for p/β small enough Hence, ∃ p 1 > p 2 s.t. ◮ µ ′ is Gibbs for p > p 1 ◮ µ ′ is not Gibbs for 2 > p If h � = 0, ∃ ω ′ s.t. ( ∗ ) only for a range of p/β Hence, ∃ p 1 ≥ p 2 > p 3 ≥ p 4 s.t. ◮ µ ′ is Gibbs for p > p 1 ◮ µ ′ is not Gibbs for p 2 > p > p 3 ◮ µ ′ is not Gibbs for p 4 > p
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Renormalization and non-Gibbsianness Single-site Kadanoff transformations (cont.) Let h be the original Ising field and fix β large enough s.t. ◮ Original model with h = 0 has phase transition ◮ Pirogov-Sinai theory holds If h = 0, alternated ω ′ = ⇒ ( ∗ ) for p/β small enough Hence, ∃ p 1 > p 2 s.t. ◮ µ ′ is Gibbs for p > p 1 ◮ µ ′ is not Gibbs for 2 > p If h � = 0, ∃ ω ′ s.t. ( ∗ ) only for a range of p/β Hence, ∃ p 1 ≥ p 2 > p 3 ≥ p 4 s.t. ◮ µ ′ is Gibbs for p > p 1 ◮ µ ′ is not Gibbs for p 2 > p > p 3 ◮ µ ′ is not Gibbs for p 4 > p
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Renormalization and non-Gibbsianness Single-site Kadanoff transformations (cont.) Let h be the original Ising field and fix β large enough s.t. ◮ Original model with h = 0 has phase transition ◮ Pirogov-Sinai theory holds If h = 0, alternated ω ′ = ⇒ ( ∗ ) for p/β small enough Hence, ∃ p 1 > p 2 s.t. ◮ µ ′ is Gibbs for p > p 1 ◮ µ ′ is not Gibbs for 2 > p If h � = 0, ∃ ω ′ s.t. ( ∗ ) only for a range of p/β Hence, ∃ p 1 ≥ p 2 > p 3 ≥ p 4 s.t. ◮ µ ′ is Gibbs for p > p 1 ◮ µ ′ is not Gibbs for p 2 > p > p 3 ◮ µ ′ is not Gibbs for p 4 > p
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Renormalization and non-Gibbsianness Single-site Kadanoff transformations (cont.) Let h be the original Ising field and fix β large enough s.t. ◮ Original model with h = 0 has phase transition ◮ Pirogov-Sinai theory holds If h = 0, alternated ω ′ = ⇒ ( ∗ ) for p/β small enough Hence, ∃ p 1 > p 2 s.t. ◮ µ ′ is Gibbs for p > p 1 ◮ µ ′ is not Gibbs for 2 > p If h � = 0, ∃ ω ′ s.t. ( ∗ ) only for a range of p/β Hence, ∃ p 1 ≥ p 2 > p 3 ≥ p 4 s.t. ◮ µ ′ is Gibbs for p > p 1 ◮ µ ′ is not Gibbs for p 2 > p > p 3 ◮ µ ′ is not Gibbs for p 4 > p
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Renormalization and non-Gibbsianness Single-site Kadanoff transformations (cont.) Let h be the original Ising field and fix β large enough s.t. ◮ Original model with h = 0 has phase transition ◮ Pirogov-Sinai theory holds If h = 0, alternated ω ′ = ⇒ ( ∗ ) for p/β small enough Hence, ∃ p 1 > p 2 s.t. ◮ µ ′ is Gibbs for p > p 1 ◮ µ ′ is not Gibbs for 2 > p If h � = 0, ∃ ω ′ s.t. ( ∗ ) only for a range of p/β Hence, ∃ p 1 ≥ p 2 > p 3 ≥ p 4 s.t. ◮ µ ′ is Gibbs for p > p 1 ◮ µ ′ is not Gibbs for p 2 > p > p 3 ◮ µ ′ is not Gibbs for p 4 > p
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Definition and example Dynamic Gibbs – non-Gibbs transitions Simulations, particle systems, PCA: µ t = S t µ with S t = semigroup of operators. Dynamic G–non-G : µ Gibbs but µ t non-Gibbs at some t Example: ◮ µ =low- T Ising model ◮ S t = S n infinite- T discrete-time Glauber � S x ( ω x | ω x ) = 1 − ǫ S = S { x } with S x ( − ω x | ω x ) = ǫ x [invariant measure = product measure = infinite- T Gibbs] Unquenching: heating up a low- T Ising model
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Definition and example Dynamic Gibbs – non-Gibbs transitions Simulations, particle systems, PCA: µ t = S t µ with S t = semigroup of operators. Dynamic G–non-G : µ Gibbs but µ t non-Gibbs at some t Example: ◮ µ =low- T Ising model ◮ S t = S n infinite- T discrete-time Glauber � S x ( ω x | ω x ) = 1 − ǫ S = S { x } with S x ( − ω x | ω x ) = ǫ x [invariant measure = product measure = infinite- T Gibbs] Unquenching: heating up a low- T Ising model
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Definition and example Dynamic Gibbs – non-Gibbs transitions Simulations, particle systems, PCA: µ t = S t µ with S t = semigroup of operators. Dynamic G–non-G : µ Gibbs but µ t non-Gibbs at some t Example: ◮ µ =low- T Ising model ◮ S t = S n infinite- T discrete-time Glauber � S x ( ω x | ω x ) = 1 − ǫ S = S { x } with S x ( − ω x | ω x ) = ǫ x [invariant measure = product measure = infinite- T Gibbs] Unquenching: heating up a low- T Ising model
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Definition and example Dynamic Gibbs – non-Gibbs transitions Simulations, particle systems, PCA: µ t = S t µ with S t = semigroup of operators. Dynamic G–non-G : µ Gibbs but µ t non-Gibbs at some t Example: ◮ µ =low- T Ising model ◮ S t = S n infinite- T discrete-time Glauber � S x ( ω x | ω x ) = 1 − ǫ S = S { x } with S x ( − ω x | ω x ) = ǫ x [invariant measure = product measure = infinite- T Gibbs] Unquenching: heating up a low- T Ising model
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Definition and example Un-quenching G–non-G transitions � � ω ω ′ ≡ S x ( ω ′ In matrix form S x x | ω x ) � 1 − ǫ � � 1 + a n � x = 1 ǫ 1 − a n S n S x = , ǫ 1 − ǫ 1 − a n 1 + a n 2 with a n = (1 − 2 ǫ ) n . Hence � 1 + a n � x | ω x ) = A n e p n ω ′ x ( ω ′ S n x ω x , p n = log 1 − a n Kadanoff with p n − − n → 0 ∞ and p n − − → n →∞ 0 − − →
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Definition and example Un-quenching G–non-G transitions � � ω ω ′ ≡ S x ( ω ′ In matrix form S x x | ω x ) � 1 − ǫ � � 1 + a n � x = 1 ǫ 1 − a n S n S x = , ǫ 1 − ǫ 1 − a n 1 + a n 2 with a n = (1 − 2 ǫ ) n . Hence � 1 + a n � x | ω x ) = A n e p n ω ′ x ( ω ′ S n x ω x , p n = log 1 − a n Kadanoff with p n − − n → 0 ∞ and p n − − → n →∞ 0 − − →
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Definition and example Un-quenching G–non-G transitions (cont.) Using previous results on Kadanoff-renormalized measures: Gibbs Non-Gibbs . . . . . . ( h = 0) ✲ 0 n 1 n 2 Gibbs Non-Gibbs Gibbs . . . . . . ( h > 0) ✲ n 3 n 4 0 n 1 n 2 Mathematical mechanism: hidden variables (two-slice view) Physical mechanism?
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Definition and example Un-quenching G–non-G transitions (cont.) Using previous results on Kadanoff-renormalized measures: Gibbs Non-Gibbs . . . . . . ( h = 0) ✲ 0 n 1 n 2 Gibbs Non-Gibbs Gibbs . . . . . . ( h > 0) ✲ n 3 n 4 0 n 1 n 2 Mathematical mechanism: hidden variables (two-slice view) Physical mechanism?
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Definition and example Un-quenching G–non-G transitions (cont.) Using previous results on Kadanoff-renormalized measures: Gibbs Non-Gibbs . . . . . . ( h = 0) ✲ 0 n 1 n 2 Gibbs Non-Gibbs Gibbs . . . . . . ( h > 0) ✲ n 3 n 4 0 n 1 n 2 Mathematical mechanism: hidden variables (two-slice view) Physical mechanism?
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Mechanism Alternative paradigm: Heuristic version A. van Enter: most probable history of an improbable state Given a large improbable droplet. How did it get there? ◮ Nurture: Created by the dynamics (cost exp-volume) ◮ Nature: Present at t = 0 and survived To compete: typical of the other phase (cost exp-perimeter) Heuristic version: ◮ Short t : Only nature, no time to change much ◮ Mid t : ◮ ω sp nurtured, but ξ ± nature ◮ Hence ξ ± determines original phase → discontinuity ◮ Long t : If h � = 0 only one phase → no tilting mechanism
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Mechanism Alternative paradigm: Heuristic version A. van Enter: most probable history of an improbable state Given a large improbable droplet. How did it get there? ◮ Nurture: Created by the dynamics (cost exp-volume) ◮ Nature: Present at t = 0 and survived To compete: typical of the other phase (cost exp-perimeter) Heuristic version: ◮ Short t : Only nature, no time to change much ◮ Mid t : ◮ ω sp nurtured, but ξ ± nature ◮ Hence ξ ± determines original phase → discontinuity ◮ Long t : If h � = 0 only one phase → no tilting mechanism
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Mechanism Alternative paradigm: Heuristic version A. van Enter: most probable history of an improbable state Given a large improbable droplet. How did it get there? ◮ Nurture: Created by the dynamics (cost exp-volume) ◮ Nature: Present at t = 0 and survived To compete: typical of the other phase (cost exp-perimeter) Heuristic version: ◮ Short t : Only nature, no time to change much ◮ Mid t : ◮ ω sp nurtured, but ξ ± nature ◮ Hence ξ ± determines original phase → discontinuity ◮ Long t : If h � = 0 only one phase → no tilting mechanism
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Mechanism Alternative paradigm: Heuristic version A. van Enter: most probable history of an improbable state Given a large improbable droplet. How did it get there? ◮ Nurture: Created by the dynamics (cost exp-volume) ◮ Nature: Present at t = 0 and survived To compete: typical of the other phase (cost exp-perimeter) Heuristic version: ◮ Short t : Only nature, no time to change much ◮ Mid t : ◮ ω sp nurtured, but ξ ± nature ◮ Hence ξ ± determines original phase → discontinuity ◮ Long t : If h � = 0 only one phase → no tilting mechanism
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Mechanism Alternative paradigm: Heuristic version A. van Enter: most probable history of an improbable state Given a large improbable droplet. How did it get there? ◮ Nurture: Created by the dynamics (cost exp-volume) ◮ Nature: Present at t = 0 and survived To compete: typical of the other phase (cost exp-perimeter) Heuristic version: ◮ Short t : Only nature, no time to change much ◮ Mid t : ◮ ω sp nurtured, but ξ ± nature ◮ Hence ξ ± determines original phase → discontinuity ◮ Long t : If h � = 0 only one phase → no tilting mechanism
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Mechanism Alternative paradigm: Heuristic version A. van Enter: most probable history of an improbable state Given a large improbable droplet. How did it get there? ◮ Nurture: Created by the dynamics (cost exp-volume) ◮ Nature: Present at t = 0 and survived To compete: typical of the other phase (cost exp-perimeter) Heuristic version: ◮ Short t : Only nature, no time to change much ◮ Mid t : ◮ ω sp nurtured, but ξ ± nature ◮ Hence ξ ± determines original phase → discontinuity ◮ Long t : If h � = 0 only one phase → no tilting mechanism
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Mechanism Alternative paradigm: rigorous version most probable history = most probable trajectory most probable = minimizer of the large-deviation rate Paradigm: Establish a large-deviation principle for trajectories of measures conditioned to a given final empirical measure ◮ Single minimizer = Gibbsianness ◮ Multiple minimizers = non-Gibbsianness Perturbation of conditioning → discontinuous choice of trajectory
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Mechanism Alternative paradigm: rigorous version most probable history = most probable trajectory most probable = minimizer of the large-deviation rate Paradigm: Establish a large-deviation principle for trajectories of measures conditioned to a given final empirical measure ◮ Single minimizer = Gibbsianness ◮ Multiple minimizers = non-Gibbsianness Perturbation of conditioning → discontinuous choice of trajectory
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Mechanism Alternative paradigm: rigorous version most probable history = most probable trajectory most probable = minimizer of the large-deviation rate Paradigm: Establish a large-deviation principle for trajectories of measures conditioned to a given final empirical measure ◮ Single minimizer = Gibbsianness ◮ Multiple minimizers = non-Gibbsianness Perturbation of conditioning → discontinuous choice of trajectory
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Mechanism Alternative paradigm: rigorous version most probable history = most probable trajectory most probable = minimizer of the large-deviation rate Paradigm: Establish a large-deviation principle for trajectories of measures conditioned to a given final empirical measure ◮ Single minimizer = Gibbsianness ◮ Multiple minimizers = non-Gibbsianness Perturbation of conditioning → discontinuous choice of trajectory
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Mechanism Alternative paradigm: graphical summary [ h = 0] ^ ^ m(t, � ) m(t, � ) Forbidden Region m * t 1 � � c c t t -m * One trajectory = Gibbs Many trajectories = non-Gibbs
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Mean-field models: Definition The program Prove rigorously the previous paradigm. Steps: (i) Mean-field models (ii) Kac models (iii) Finite-range models At present: (i) and (ii) for Ising under independent dynamics (i) Mean-field: ◮ No geometry – no notion of neighbourhood ◮ Everything in terms of empirical magnetization
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Mean-field models: Definition The program Prove rigorously the previous paradigm. Steps: (i) Mean-field models (ii) Kac models (iii) Finite-range models At present: (i) and (ii) for Ising under independent dynamics (i) Mean-field: ◮ No geometry – no notion of neighbourhood ◮ Everything in terms of empirical magnetization
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Mean-field models: Definition Mean-field Ising model N Ising spins ( ω i ∈ {− 1 , 1 } ) N N � � H N ( σ ) − J = σ i σ j − h σ i 2 N i,j =1 i =1 = NH ( m N ( σ )) where m N is the empirical magnetization � m N ( σ ) = 1 Nσ i N i =1 and, if m ∈ M N := {− 1 , − 1 + 2 N − 1 , . . . , +1 − 2 N − 1 , +1 } , 2 Jm 2 − hm H ( m ) := − 1
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Mean-field models: Definition Mean-field Ising model N Ising spins ( ω i ∈ {− 1 , 1 } ) N N � � H N ( σ ) − J = σ i σ j − h σ i 2 N i,j =1 i =1 = NH ( m N ( σ )) where m N is the empirical magnetization � m N ( σ ) = 1 Nσ i N i =1 and, if m ∈ M N := {− 1 , − 1 + 2 N − 1 , . . . , +1 − 2 N − 1 , +1 } , 2 Jm 2 − hm H ( m ) := − 1
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Mean-field models: Definition Mean-field measures and evolution The H N -Gibbs measure [ β absorbed] µ N ( dσ ) = e − H N ( σ ) dσ Z N induces a measure on M N � � e − NH ( m ) N µ N ( dm ) := dm 1+ m N N Z 2 [ µ N ← → µ N + permutation invariance]
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Mean-field models: Definition Mean-field measures and evolution The H N -Gibbs measure [ β absorbed] µ N ( dσ ) = e − H N ( σ ) dσ Z N induces a measure on M N � � e − NH ( m ) N µ N ( dm ) := dm 1+ m N N Z 2 [ µ N ← → µ N + permutation invariance]
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Mean-field models: Definition Mean-field evolution Independent ( T = ∞ ) dynamics on Ω N induces on M N a continuous-time Markov chain ( m N t ) t ≥ 0 with generator � � � � 1 + m f ( m − 2 N − 1 ) − f ( m ) L N f ( m ) = N 2 � � +1 − m f ( m + 2 N − 1 ) − f ( m ) N 2 This induces a dynamics on measures on M N t ( f ) = µ N � � e tL N f µ N
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Mean-field models: Definition Mean-field evolution Independent ( T = ∞ ) dynamics on Ω N induces on M N a continuous-time Markov chain ( m N t ) t ≥ 0 with generator � � � � 1 + m f ( m − 2 N − 1 ) − f ( m ) L N f ( m ) = N 2 � � +1 − m f ( m + 2 N − 1 ) − f ( m ) N 2 This induces a dynamics on measures on M N t ( f ) = µ N � � e tL N f µ N
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Mean-field models: Non-Gibbsianness Mean-field single-site specification (K¨ ulske and Le Ny) Consider the single-spin conditional probabilities γ N t ( σ 1 | α N − 1 ) := µ N t ( σ 1 | σ N − 1 ) , with ◮ σ 1 ∈ {− 1 , +1 } , ◮ α N − 1 ∈ M N − 1 , ◮ σ N − 1 ∈ Ω N − 1 any configuration s.t. m N − 1 ( σ N − 1 ) = α N − 1 [By permutation invariance RHS independ of choice of σ N − 1 ]
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Mean-field models: Non-Gibbsianness Gibbs and Non-Gibbs mean-field models (K¨ ulske and Le Ny) For fixed t ≥ 0: (a) A magnetization α ∈ [ − 1 , 1] is good for µ t if γ N γ t ( · | � α ) := lim t ( · | α N − 1 ) , N →∞ α N → � α ◮ exists and is independent of the sequence α N → � α ◮ it is continuous in � α for � α in a neighbourhood of α (b) A magnetization α ∈ [ − 1 , +1] is bad if it is not good (c) µ t is Gibbs if it has no bad magnetizations
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Mean-field models: Non-Gibbsianness Gibbs and Non-Gibbs mean-field models (K¨ ulske and Le Ny) For fixed t ≥ 0: (a) A magnetization α ∈ [ − 1 , 1] is good for µ t if γ N γ t ( · | � α ) := lim t ( · | α N − 1 ) , N →∞ α N → � α ◮ exists and is independent of the sequence α N → � α ◮ it is continuous in � α for � α in a neighbourhood of α (b) A magnetization α ∈ [ − 1 , +1] is bad if it is not good (c) µ t is Gibbs if it has no bad magnetizations
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Mean-field models: Large deviations Large-deviations: General definition Informally: A family of measures ( ν N ) satisfies a large-deviation principle if ν N ( A ) ∼ e − N I ( A ) ◮ N is the LDP speed , I the rate function ◮ As a consequence, supp( ν N ) → argmin( I ) Formally: ( ν N ) on a Borel space satisf. LDP with rate fcn I and speed N if 1 N log ν N ( A ) lim inf ≥ − inf x ∈ A I ( x ) for A open N →∞ 1 N log ν N ( A ) lim sup ≤ − sup I ( x ) for A closed N →∞ x ∈ A
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Mean-field models: Large deviations Large-deviations: General definition Informally: A family of measures ( ν N ) satisfies a large-deviation principle if ν N ( A ) ∼ e − N I ( A ) ◮ N is the LDP speed , I the rate function ◮ As a consequence, supp( ν N ) → argmin( I ) Formally: ( ν N ) on a Borel space satisf. LDP with rate fcn I and speed N if 1 N log ν N ( A ) lim inf ≥ − inf x ∈ A I ( x ) for A open N →∞ 1 N log ν N ( A ) lim sup ≤ − sup I ( x ) for A closed N →∞ x ∈ A
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Mean-field models: Large deviations Large-deviations: General definition Informally: A family of measures ( ν N ) satisfies a large-deviation principle if ν N ( A ) ∼ e − N I ( A ) ◮ N is the LDP speed , I the rate function ◮ As a consequence, supp( ν N ) → argmin( I ) Formally: ( ν N ) on a Borel space satisf. LDP with rate fcn I and speed N if 1 N log ν N ( A ) lim inf ≥ − inf x ∈ A I ( x ) for A open N →∞ 1 N log ν N ( A ) lim sup ≤ − sup I ( x ) for A closed N →∞ x ∈ A
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Mean-field models: Large deviations LDP for mean-field Ising: “Static” part: The family ( µ N ) satisfies a LDP with speed N and rate I S − inf( I S ) with I S ( m ) := H ( m ) + 1 + m log(1 + m ) + 1 − m log(1 − m ) . 2 2 Independent evolutions: Let P N = law of ( m N t ) t ≥ 0 Defined on the space of c` adl` ag trajectories; Skorohod topology
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Mean-field models: Large deviations LDP for mean-field Ising: “Static” part: The family ( µ N ) satisfies a LDP with speed N and rate I S − inf( I S ) with I S ( m ) := H ( m ) + 1 + m log(1 + m ) + 1 − m log(1 − m ) . 2 2 Independent evolutions: Let P N = law of ( m N t ) t ≥ 0 Defined on the space of c` adl` ag trajectories; Skorohod topology
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Mean-field models: Large deviations LDP for mean-field evolutions (Ermolaev and K¨ ulske) ( P N ) restricted to [0 , T ] satisfies LDP with speed N and rate I T − inf( I T ) given by I T ( φ ) := I S ( φ (0)) + I T D ( φ ) , where � � T 0 L ( φ ( s ) , ˙ if ˙ φ ( s )) ds φ exists I T D ( φ ) := ∞ otherwise is the action integral with Lagrangian � − 1 4 (1 − m 2 ) + ˙ m 2 L ( m, ˙ m ) = 2 �� � m 2 + ˙ 4 (1 − m 2 ) + ˙ m +1 2 ˙ m log + 1 2(1 − m )
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Mean-field models: Large deviations LDP for mean-field evolutions (Ermolaev and K¨ ulske) ( P N ) restricted to [0 , T ] satisfies LDP with speed N and rate I T − inf( I T ) given by I T ( φ ) := I S ( φ (0)) + I T D ( φ ) , where � � T 0 L ( φ ( s ) , ˙ if ˙ φ ( s )) ds φ exists I T D ( φ ) := ∞ otherwise is the action integral with Lagrangian � − 1 4 (1 − m 2 ) + ˙ m 2 L ( m, ˙ m ) = 2 �� � m 2 + ˙ 4 (1 − m 2 ) + ˙ m +1 2 ˙ m log + 1 2(1 − m )
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Mean-field models: Large deviations LDP for conditioned mean-field evolutions The family of measures on trajectory space t,α ( · ) := P N � � � � m N ( t ) = α Q N ( m N ( s )) 0 ≤ s ≤ t = · satisfies LDP with speed N and rate I t,α − inf( I t,α ), with � I t ( φ ) if φ t = α I t,α ( mφ ) = ∞ otherwise Hence, conditioned optimal trajectories correspond to I t ( φ ) argmin φ : φ ( t )= α
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Mean-field models: Large deviations LDP for conditioned mean-field evolutions The family of measures on trajectory space t,α ( · ) := P N � � � � m N ( t ) = α Q N ( m N ( s )) 0 ≤ s ≤ t = · satisfies LDP with speed N and rate I t,α − inf( I t,α ), with � I t ( φ ) if φ t = α I t,α ( mφ ) = ∞ otherwise Hence, conditioned optimal trajectories correspond to I t ( φ ) argmin φ : φ ( t )= α
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Mean-field models: Results The mean-field computational advantage Simplifying feature: ◮ There is an explicit expression for I t ( φ ) C t,α ( m ) := inf φ : φ (0)= m, φ ( t )= α ◮ We have the identity φ : φ ( t )= α I t ( φ ) m ∈ [ − 1 , +1] C t,α ( m ) = inf inf Hence, multiple conditioned trajectories ⇐ ⇒ multiple global minima of C t,α ( m )
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Mean-field models: Results The mean-field computational advantage Simplifying feature: ◮ There is an explicit expression for I t ( φ ) C t,α ( m ) := inf φ : φ (0)= m, φ ( t )= α ◮ We have the identity φ : φ ( t )= α I t ( φ ) m ∈ [ − 1 , +1] C t,α ( m ) = inf inf Hence, multiple conditioned trajectories ⇐ ⇒ multiple global minima of C t,α ( m )
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Mean-field models: Results I. Single optimal trajectory = Gibbsianness α �→ γ t ( σ | α ) is continuous at α 0 if and only if ◮ I t ( φ ) has a unique minimizing path � φ ◮ or, equivalently, C t,α 0 ( m ) has a unique minimizing m . Furthermore, in this case, the specification kernel equals � φ (0)+ h ] p t ( x, z ) x ∈{− 1 , +1 } e x [ J � γ t ( z | α ) = � φ (0)+ h ] p t ( x, y ) x,y ∈{− 1 , +1 } e x [ J � p t ( · , · ) = kernel of Markov jump process on {− 1 , +1 } with ◮ jumping rate 1 ◮ jump probabilities p t ( i, ± i ) = e − t � cosh( t ) sinh( t ) “If” part and for of γ t proven by Ermolaev and K¨ ulske
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Mean-field models: Results I. Single optimal trajectory = Gibbsianness α �→ γ t ( σ | α ) is continuous at α 0 if and only if ◮ I t ( φ ) has a unique minimizing path � φ ◮ or, equivalently, C t,α 0 ( m ) has a unique minimizing m . Furthermore, in this case, the specification kernel equals � φ (0)+ h ] p t ( x, z ) x ∈{− 1 , +1 } e x [ J � γ t ( z | α ) = � φ (0)+ h ] p t ( x, y ) x,y ∈{− 1 , +1 } e x [ J � p t ( · , · ) = kernel of Markov jump process on {− 1 , +1 } with ◮ jumping rate 1 ◮ jump probabilities p t ( i, ± i ) = e − t � cosh( t ) sinh( t ) “If” part and for of γ t proven by Ermolaev and K¨ ulske
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Mean-field models: Results I. Single optimal trajectory = Gibbsianness α �→ γ t ( σ | α ) is continuous at α 0 if and only if ◮ I t ( φ ) has a unique minimizing path � φ ◮ or, equivalently, C t,α 0 ( m ) has a unique minimizing m . Furthermore, in this case, the specification kernel equals � φ (0)+ h ] p t ( x, z ) x ∈{− 1 , +1 } e x [ J � γ t ( z | α ) = � φ (0)+ h ] p t ( x, y ) x,y ∈{− 1 , +1 } e x [ J � p t ( · , · ) = kernel of Markov jump process on {− 1 , +1 } with ◮ jumping rate 1 ◮ jump probabilities p t ( i, ± i ) = e − t � cosh( t ) sinh( t ) “If” part and for of γ t proven by Ermolaev and K¨ ulske
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Mean-field models: Results II. Short-term Gibbsianness Theorem If J ≤ 1 the evolved measures µ t are Gibbs for all t ≥ 0 ◮ Proven by K¨ ulske and Le Ny and K¨ ulske and Ermolaev ◮ Note that 1 = β MF cr
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Mean-field models: Results II. Short-term Gibbsianness Theorem If J ≤ 1 the evolved measures µ t are Gibbs for all t ≥ 0 ◮ Proven by K¨ ulske and Le Ny and K¨ ulske and Ermolaev ◮ Note that 1 = β MF cr
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Mean-field models: Results III. Case J > 1 , h = 0 Consider the critical time � 1 if 1 < J ≤ 3 2 acoth(2 J − 1) 2 , Ψ c ( J ) := if J > 3 t ∗ ( J ) implicitly calculable 2 , Then: ◮ t < Ψ c : Evolved measure µ t is Gibbs ◮ t > Ψ c : Discontinuity at α = 0; two optimal trajectories ± � φ ◮ If Λ t, 0 ( J ) = cone between the trajectories ± ˆ φ ◮ No trajectory can penetrate Λ t, 0 ( J ) ◮ For J ≤ 3 / 2 the map t �→ Λ t, 0 ( J ) is continuous ◮ For J > 3 / 2 the map t �→ Λ t, 0 ( J ) is continuous except at t = Ψ c where it exhibits a right-continuous jump
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Mean-field models: Results III. Case J > 1 , h = 0 Consider the critical time � 1 if 1 < J ≤ 3 2 acoth(2 J − 1) 2 , Ψ c ( J ) := if J > 3 t ∗ ( J ) implicitly calculable 2 , Then: ◮ t < Ψ c : Evolved measure µ t is Gibbs ◮ t > Ψ c : Discontinuity at α = 0; two optimal trajectories ± � φ ◮ If Λ t, 0 ( J ) = cone between the trajectories ± ˆ φ ◮ No trajectory can penetrate Λ t, 0 ( J ) ◮ For J ≤ 3 / 2 the map t �→ Λ t, 0 ( J ) is continuous ◮ For J > 3 / 2 the map t �→ Λ t, 0 ( J ) is continuous except at t = Ψ c where it exhibits a right-continuous jump
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Mean-field models: Results III. Case J > 1 , h = 0 Consider the critical time � 1 if 1 < J ≤ 3 2 acoth(2 J − 1) 2 , Ψ c ( J ) := if J > 3 t ∗ ( J ) implicitly calculable 2 , Then: ◮ t < Ψ c : Evolved measure µ t is Gibbs ◮ t > Ψ c : Discontinuity at α = 0; two optimal trajectories ± � φ ◮ If Λ t, 0 ( J ) = cone between the trajectories ± ˆ φ ◮ No trajectory can penetrate Λ t, 0 ( J ) ◮ For J ≤ 3 / 2 the map t �→ Λ t, 0 ( J ) is continuous ◮ For J > 3 / 2 the map t �→ Λ t, 0 ( J ) is continuous except at t = Ψ c where it exhibits a right-continuous jump
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Mean-field models: Results III. Case J > 1 , h = 0 Consider the critical time � 1 if 1 < J ≤ 3 2 acoth(2 J − 1) 2 , Ψ c ( J ) := if J > 3 t ∗ ( J ) implicitly calculable 2 , Then: ◮ t < Ψ c : Evolved measure µ t is Gibbs ◮ t > Ψ c : Discontinuity at α = 0; two optimal trajectories ± � φ ◮ If Λ t, 0 ( J ) = cone between the trajectories ± ˆ φ ◮ No trajectory can penetrate Λ t, 0 ( J ) ◮ For J ≤ 3 / 2 the map t �→ Λ t, 0 ( J ) is continuous ◮ For J > 3 / 2 the map t �→ Λ t, 0 ( J ) is continuous except at t = Ψ c where it exhibits a right-continuous jump
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Mean-field models: Results III. Case J > 1 , h = 0 Consider the critical time � 1 if 1 < J ≤ 3 2 acoth(2 J − 1) 2 , Ψ c ( J ) := if J > 3 t ∗ ( J ) implicitly calculable 2 , Then: ◮ t < Ψ c : Evolved measure µ t is Gibbs ◮ t > Ψ c : Discontinuity at α = 0; two optimal trajectories ± � φ ◮ If Λ t, 0 ( J ) = cone between the trajectories ± ˆ φ ◮ No trajectory can penetrate Λ t, 0 ( J ) ◮ For J ≤ 3 / 2 the map t �→ Λ t, 0 ( J ) is continuous ◮ For J > 3 / 2 the map t �→ Λ t, 0 ( J ) is continuous except at t = Ψ c where it exhibits a right-continuous jump
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Mean-field models: Results Graphic summary: h = 0 , α = 0 ^ ^ ^ m(t, � ) m(t, � ) m(t, � ) m � Forbidden Region m * t 1 � � � t 2 c c c t t t -m * -m � C t,0 C t,0 C t,0 -m * m * m m m t < Ψ c t = Ψ c t > Ψ c First row: Minimizing trajectories for ( J, h ) = (1 . 6 , 0) Second row: Corresponding plots of m �→ C t, 0 ( m )
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Mean-field models: Results IV. Bad magnetizations as function of time J=1.4, h=0 J=2.5, h=0 � c UB t B � � t c t U -UB J=1.4, h=0.29 J=2.5, h=0.1 � T � U � * U � � * B U M B t t M T t B s B U L B t B B � L 1 < J ≤ 3 J > 3 2 2 S B = trifurcation point, rest of the line = bifurcation
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Kac models: Definition Kac models: Basic definitions n := Z d /n Z d = the discrete torus of size n ◮ ∆ d ◮ Ω n := {− 1 , +1 } ∆ d n = Ising-spin configurations on ∆ d n ◮ Kac-type Hamiltonian: � � � x − y � H n ( σ ) := − 1 h ( x J σ ( x ) σ ( y ) − n ) σ ( x ) 2 n d n x,y ∈ ∆ d x ∈ ∆ d n n [ J ≥ 0 symmetric] ◮ Gibbs measure associated with H n : µ n ( dσ ) := e − βH n ( σ ) dσ Z n
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Kac models: Definition Kac models: Basic definitions n := Z d /n Z d = the discrete torus of size n ◮ ∆ d ◮ Ω n := {− 1 , +1 } ∆ d n = Ising-spin configurations on ∆ d n ◮ Kac-type Hamiltonian: � � � x − y � H n ( σ ) := − 1 h ( x J σ ( x ) σ ( y ) − n ) σ ( x ) 2 n d n x,y ∈ ∆ d x ∈ ∆ d n n [ J ≥ 0 symmetric] ◮ Gibbs measure associated with H n : µ n ( dσ ) := e − βH n ( σ ) dσ Z n
Intro Gibbs Non-Gibbs Dynamics Mean field Kac End Kac models: Definition Continuum limit ◮ T d := R d / Z d , the d -dimensional unit torus ◮ T d n := 1 n ∆ d n = (1 /n )-discretization of T d ◮ M ( T d n ) [ M ( T d )] = signed measures on T d n [ T d ] (TV ≤ 1) The empirical density of σ ∈ Ω n inside Λ ⊆ ∆ d n is π n Λ : Ω n → M ( T d n ) ⊆ M ( T d ) � Λ ( σ ) := 1 π n σ ( x ) δ x/n | Λ | x ∈ Λ
Recommend
More recommend