Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee...
Transcript of Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee...
![Page 1: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/1.jpg)
Yang–Mills for probabilists
Sourav Chatterjee
Sourav Chatterjee Yang–Mills for probabilists
![Page 2: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/2.jpg)
Fundamental forces
I The four fundamental forces:
I The electromagnetic force. Interaction of light and matter.I The weak force. Interactions between sub-atomic particles.I The strong force. Force that holds together quarks that form
protons and neutrons.I Gravity.
I Physical theories:I Electromagnetic force: Quantum electrodynamics (QED).
Dirac, Feynman, Tomonaga, Schwinger, Dyson, ...I Weak force: Electroweak theory. Glashow, Salam, Weinberg, ...I Strong force: Quantum chromodynamics (QCD). Yang, Mills,
Gross, Politzer, Wilczek, Wilson, ...I Gravity: General relativity (GR). Einstein.
Sourav Chatterjee Yang–Mills for probabilists
![Page 3: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/3.jpg)
Fundamental forces
I The four fundamental forces:I The electromagnetic force. Interaction of light and matter.
I The weak force. Interactions between sub-atomic particles.I The strong force. Force that holds together quarks that form
protons and neutrons.I Gravity.
I Physical theories:I Electromagnetic force: Quantum electrodynamics (QED).
Dirac, Feynman, Tomonaga, Schwinger, Dyson, ...I Weak force: Electroweak theory. Glashow, Salam, Weinberg, ...I Strong force: Quantum chromodynamics (QCD). Yang, Mills,
Gross, Politzer, Wilczek, Wilson, ...I Gravity: General relativity (GR). Einstein.
Sourav Chatterjee Yang–Mills for probabilists
![Page 4: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/4.jpg)
Fundamental forces
I The four fundamental forces:I The electromagnetic force. Interaction of light and matter.I The weak force. Interactions between sub-atomic particles.
I The strong force. Force that holds together quarks that formprotons and neutrons.
I Gravity.
I Physical theories:I Electromagnetic force: Quantum electrodynamics (QED).
Dirac, Feynman, Tomonaga, Schwinger, Dyson, ...I Weak force: Electroweak theory. Glashow, Salam, Weinberg, ...I Strong force: Quantum chromodynamics (QCD). Yang, Mills,
Gross, Politzer, Wilczek, Wilson, ...I Gravity: General relativity (GR). Einstein.
Sourav Chatterjee Yang–Mills for probabilists
![Page 5: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/5.jpg)
Fundamental forces
I The four fundamental forces:I The electromagnetic force. Interaction of light and matter.I The weak force. Interactions between sub-atomic particles.I The strong force. Force that holds together quarks that form
protons and neutrons.
I Gravity.
I Physical theories:I Electromagnetic force: Quantum electrodynamics (QED).
Dirac, Feynman, Tomonaga, Schwinger, Dyson, ...I Weak force: Electroweak theory. Glashow, Salam, Weinberg, ...I Strong force: Quantum chromodynamics (QCD). Yang, Mills,
Gross, Politzer, Wilczek, Wilson, ...I Gravity: General relativity (GR). Einstein.
Sourav Chatterjee Yang–Mills for probabilists
![Page 6: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/6.jpg)
Fundamental forces
I The four fundamental forces:I The electromagnetic force. Interaction of light and matter.I The weak force. Interactions between sub-atomic particles.I The strong force. Force that holds together quarks that form
protons and neutrons.I Gravity.
I Physical theories:I Electromagnetic force: Quantum electrodynamics (QED).
Dirac, Feynman, Tomonaga, Schwinger, Dyson, ...I Weak force: Electroweak theory. Glashow, Salam, Weinberg, ...I Strong force: Quantum chromodynamics (QCD). Yang, Mills,
Gross, Politzer, Wilczek, Wilson, ...I Gravity: General relativity (GR). Einstein.
Sourav Chatterjee Yang–Mills for probabilists
![Page 7: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/7.jpg)
Fundamental forces
I The four fundamental forces:I The electromagnetic force. Interaction of light and matter.I The weak force. Interactions between sub-atomic particles.I The strong force. Force that holds together quarks that form
protons and neutrons.I Gravity.
I Physical theories:
I Electromagnetic force: Quantum electrodynamics (QED).Dirac, Feynman, Tomonaga, Schwinger, Dyson, ...
I Weak force: Electroweak theory. Glashow, Salam, Weinberg, ...I Strong force: Quantum chromodynamics (QCD). Yang, Mills,
Gross, Politzer, Wilczek, Wilson, ...I Gravity: General relativity (GR). Einstein.
Sourav Chatterjee Yang–Mills for probabilists
![Page 8: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/8.jpg)
Fundamental forces
I The four fundamental forces:I The electromagnetic force. Interaction of light and matter.I The weak force. Interactions between sub-atomic particles.I The strong force. Force that holds together quarks that form
protons and neutrons.I Gravity.
I Physical theories:I Electromagnetic force: Quantum electrodynamics (QED).
Dirac, Feynman, Tomonaga, Schwinger, Dyson, ...
I Weak force: Electroweak theory. Glashow, Salam, Weinberg, ...I Strong force: Quantum chromodynamics (QCD). Yang, Mills,
Gross, Politzer, Wilczek, Wilson, ...I Gravity: General relativity (GR). Einstein.
Sourav Chatterjee Yang–Mills for probabilists
![Page 9: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/9.jpg)
Fundamental forces
I The four fundamental forces:I The electromagnetic force. Interaction of light and matter.I The weak force. Interactions between sub-atomic particles.I The strong force. Force that holds together quarks that form
protons and neutrons.I Gravity.
I Physical theories:I Electromagnetic force: Quantum electrodynamics (QED).
Dirac, Feynman, Tomonaga, Schwinger, Dyson, ...I Weak force: Electroweak theory. Glashow, Salam, Weinberg, ...
I Strong force: Quantum chromodynamics (QCD). Yang, Mills,Gross, Politzer, Wilczek, Wilson, ...
I Gravity: General relativity (GR). Einstein.
Sourav Chatterjee Yang–Mills for probabilists
![Page 10: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/10.jpg)
Fundamental forces
I The four fundamental forces:I The electromagnetic force. Interaction of light and matter.I The weak force. Interactions between sub-atomic particles.I The strong force. Force that holds together quarks that form
protons and neutrons.I Gravity.
I Physical theories:I Electromagnetic force: Quantum electrodynamics (QED).
Dirac, Feynman, Tomonaga, Schwinger, Dyson, ...I Weak force: Electroweak theory. Glashow, Salam, Weinberg, ...I Strong force: Quantum chromodynamics (QCD). Yang, Mills,
Gross, Politzer, Wilczek, Wilson, ...
I Gravity: General relativity (GR). Einstein.
Sourav Chatterjee Yang–Mills for probabilists
![Page 11: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/11.jpg)
Fundamental forces
I The four fundamental forces:I The electromagnetic force. Interaction of light and matter.I The weak force. Interactions between sub-atomic particles.I The strong force. Force that holds together quarks that form
protons and neutrons.I Gravity.
I Physical theories:I Electromagnetic force: Quantum electrodynamics (QED).
Dirac, Feynman, Tomonaga, Schwinger, Dyson, ...I Weak force: Electroweak theory. Glashow, Salam, Weinberg, ...I Strong force: Quantum chromodynamics (QCD). Yang, Mills,
Gross, Politzer, Wilczek, Wilson, ...I Gravity: General relativity (GR). Einstein.
Sourav Chatterjee Yang–Mills for probabilists
![Page 12: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/12.jpg)
Quantum field theories
I The theories explaining the first three forces are known asquantum field theories.
I The various quantum field theories are unified into one bodyknown as the Standard Model.
I The first quantum field theory was quantum electrodynamics.
I Gave astonishingly accurate predictions, matching up to 10decimal places with experimental data!
I The other theories have similar success stories.
I However, there is no rigorous mathematical foundation forthese theories. (Clay millennium problem of Yang–Millsexistence.)
I Even from the point of view of theoretical physicists, there arevery important unsolved theoretical problems — quarkconfinement, mass gap, etc.
Sourav Chatterjee Yang–Mills for probabilists
![Page 13: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/13.jpg)
Quantum field theories
I The theories explaining the first three forces are known asquantum field theories.
I The various quantum field theories are unified into one bodyknown as the Standard Model.
I The first quantum field theory was quantum electrodynamics.
I Gave astonishingly accurate predictions, matching up to 10decimal places with experimental data!
I The other theories have similar success stories.
I However, there is no rigorous mathematical foundation forthese theories. (Clay millennium problem of Yang–Millsexistence.)
I Even from the point of view of theoretical physicists, there arevery important unsolved theoretical problems — quarkconfinement, mass gap, etc.
Sourav Chatterjee Yang–Mills for probabilists
![Page 14: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/14.jpg)
Quantum field theories
I The theories explaining the first three forces are known asquantum field theories.
I The various quantum field theories are unified into one bodyknown as the Standard Model.
I The first quantum field theory was quantum electrodynamics.
I Gave astonishingly accurate predictions, matching up to 10decimal places with experimental data!
I The other theories have similar success stories.
I However, there is no rigorous mathematical foundation forthese theories. (Clay millennium problem of Yang–Millsexistence.)
I Even from the point of view of theoretical physicists, there arevery important unsolved theoretical problems — quarkconfinement, mass gap, etc.
Sourav Chatterjee Yang–Mills for probabilists
![Page 15: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/15.jpg)
Quantum field theories
I The theories explaining the first three forces are known asquantum field theories.
I The various quantum field theories are unified into one bodyknown as the Standard Model.
I The first quantum field theory was quantum electrodynamics.
I Gave astonishingly accurate predictions, matching up to 10decimal places with experimental data!
I The other theories have similar success stories.
I However, there is no rigorous mathematical foundation forthese theories. (Clay millennium problem of Yang–Millsexistence.)
I Even from the point of view of theoretical physicists, there arevery important unsolved theoretical problems — quarkconfinement, mass gap, etc.
Sourav Chatterjee Yang–Mills for probabilists
![Page 16: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/16.jpg)
Quantum field theories
I The theories explaining the first three forces are known asquantum field theories.
I The various quantum field theories are unified into one bodyknown as the Standard Model.
I The first quantum field theory was quantum electrodynamics.
I Gave astonishingly accurate predictions, matching up to 10decimal places with experimental data!
I The other theories have similar success stories.
I However, there is no rigorous mathematical foundation forthese theories. (Clay millennium problem of Yang–Millsexistence.)
I Even from the point of view of theoretical physicists, there arevery important unsolved theoretical problems — quarkconfinement, mass gap, etc.
Sourav Chatterjee Yang–Mills for probabilists
![Page 17: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/17.jpg)
Quantum field theories
I The theories explaining the first three forces are known asquantum field theories.
I The various quantum field theories are unified into one bodyknown as the Standard Model.
I The first quantum field theory was quantum electrodynamics.
I Gave astonishingly accurate predictions, matching up to 10decimal places with experimental data!
I The other theories have similar success stories.
I However, there is no rigorous mathematical foundation forthese theories. (Clay millennium problem of Yang–Millsexistence.)
I Even from the point of view of theoretical physicists, there arevery important unsolved theoretical problems — quarkconfinement, mass gap, etc.
Sourav Chatterjee Yang–Mills for probabilists
![Page 18: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/18.jpg)
Quantum field theories
I The theories explaining the first three forces are known asquantum field theories.
I The various quantum field theories are unified into one bodyknown as the Standard Model.
I The first quantum field theory was quantum electrodynamics.
I Gave astonishingly accurate predictions, matching up to 10decimal places with experimental data!
I The other theories have similar success stories.
I However, there is no rigorous mathematical foundation forthese theories. (Clay millennium problem of Yang–Millsexistence.)
I Even from the point of view of theoretical physicists, there arevery important unsolved theoretical problems — quarkconfinement, mass gap, etc.
Sourav Chatterjee Yang–Mills for probabilists
![Page 19: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/19.jpg)
Quantum gravity
I There is no quantum theory of gravity. Finding such a theoryis the holy grail of modern physics.
I Quantum effects are important at very small distances, wheregravity is unimportant.
I Gravity is felt at large distances, between very massive bodies,where quantum effects are negligible.
I So, the unification seems like only an academic goal, exceptthat...
I Both gravity and quantum effects manifest themselves inblack holes. Small black holes can potentially form whenparticles collide with each other at very high speeds, as inparticle accelerators.
Sourav Chatterjee Yang–Mills for probabilists
![Page 20: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/20.jpg)
Quantum gravity
I There is no quantum theory of gravity. Finding such a theoryis the holy grail of modern physics.
I Quantum effects are important at very small distances, wheregravity is unimportant.
I Gravity is felt at large distances, between very massive bodies,where quantum effects are negligible.
I So, the unification seems like only an academic goal, exceptthat...
I Both gravity and quantum effects manifest themselves inblack holes. Small black holes can potentially form whenparticles collide with each other at very high speeds, as inparticle accelerators.
Sourav Chatterjee Yang–Mills for probabilists
![Page 21: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/21.jpg)
Quantum gravity
I There is no quantum theory of gravity. Finding such a theoryis the holy grail of modern physics.
I Quantum effects are important at very small distances, wheregravity is unimportant.
I Gravity is felt at large distances, between very massive bodies,where quantum effects are negligible.
I So, the unification seems like only an academic goal, exceptthat...
I Both gravity and quantum effects manifest themselves inblack holes. Small black holes can potentially form whenparticles collide with each other at very high speeds, as inparticle accelerators.
Sourav Chatterjee Yang–Mills for probabilists
![Page 22: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/22.jpg)
Quantum gravity
I There is no quantum theory of gravity. Finding such a theoryis the holy grail of modern physics.
I Quantum effects are important at very small distances, wheregravity is unimportant.
I Gravity is felt at large distances, between very massive bodies,where quantum effects are negligible.
I So, the unification seems like only an academic goal, exceptthat...
I Both gravity and quantum effects manifest themselves inblack holes. Small black holes can potentially form whenparticles collide with each other at very high speeds, as inparticle accelerators.
Sourav Chatterjee Yang–Mills for probabilists
![Page 23: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/23.jpg)
Quantum gravity
I There is no quantum theory of gravity. Finding such a theoryis the holy grail of modern physics.
I Quantum effects are important at very small distances, wheregravity is unimportant.
I Gravity is felt at large distances, between very massive bodies,where quantum effects are negligible.
I So, the unification seems like only an academic goal, exceptthat...
I Both gravity and quantum effects manifest themselves inblack holes. Small black holes can potentially form whenparticles collide with each other at very high speeds, as inparticle accelerators.
Sourav Chatterjee Yang–Mills for probabilists
![Page 24: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/24.jpg)
More about quantum gravity
I In classical physics, particles move along deterministictrajectories.
I In quantum physics, the trajectories are probabilistic(although the notion of probability is replaced by complexprobability amplitudes).
I General relativity is a classical theory, in the sense that thestructure of curved spacetime is deterministic.
I A quantum theory of gravity would replace the fixedspacetime by a randomly fluctuating spacetime (randomRiemannian manifold).
I The most promising approach: String theory.
I Roughly speaking, strings moving randomly trace out randomsurfaces. Higher dimensional strings, known as branes, traceout higher dimensional random manifolds.
Sourav Chatterjee Yang–Mills for probabilists
![Page 25: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/25.jpg)
More about quantum gravity
I In classical physics, particles move along deterministictrajectories.
I In quantum physics, the trajectories are probabilistic(although the notion of probability is replaced by complexprobability amplitudes).
I General relativity is a classical theory, in the sense that thestructure of curved spacetime is deterministic.
I A quantum theory of gravity would replace the fixedspacetime by a randomly fluctuating spacetime (randomRiemannian manifold).
I The most promising approach: String theory.
I Roughly speaking, strings moving randomly trace out randomsurfaces. Higher dimensional strings, known as branes, traceout higher dimensional random manifolds.
Sourav Chatterjee Yang–Mills for probabilists
![Page 26: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/26.jpg)
More about quantum gravity
I In classical physics, particles move along deterministictrajectories.
I In quantum physics, the trajectories are probabilistic(although the notion of probability is replaced by complexprobability amplitudes).
I General relativity is a classical theory, in the sense that thestructure of curved spacetime is deterministic.
I A quantum theory of gravity would replace the fixedspacetime by a randomly fluctuating spacetime (randomRiemannian manifold).
I The most promising approach: String theory.
I Roughly speaking, strings moving randomly trace out randomsurfaces. Higher dimensional strings, known as branes, traceout higher dimensional random manifolds.
Sourav Chatterjee Yang–Mills for probabilists
![Page 27: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/27.jpg)
More about quantum gravity
I In classical physics, particles move along deterministictrajectories.
I In quantum physics, the trajectories are probabilistic(although the notion of probability is replaced by complexprobability amplitudes).
I General relativity is a classical theory, in the sense that thestructure of curved spacetime is deterministic.
I A quantum theory of gravity would replace the fixedspacetime by a randomly fluctuating spacetime (randomRiemannian manifold).
I The most promising approach: String theory.
I Roughly speaking, strings moving randomly trace out randomsurfaces. Higher dimensional strings, known as branes, traceout higher dimensional random manifolds.
Sourav Chatterjee Yang–Mills for probabilists
![Page 28: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/28.jpg)
More about quantum gravity
I In classical physics, particles move along deterministictrajectories.
I In quantum physics, the trajectories are probabilistic(although the notion of probability is replaced by complexprobability amplitudes).
I General relativity is a classical theory, in the sense that thestructure of curved spacetime is deterministic.
I A quantum theory of gravity would replace the fixedspacetime by a randomly fluctuating spacetime (randomRiemannian manifold).
I The most promising approach: String theory.
I Roughly speaking, strings moving randomly trace out randomsurfaces. Higher dimensional strings, known as branes, traceout higher dimensional random manifolds.
Sourav Chatterjee Yang–Mills for probabilists
![Page 29: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/29.jpg)
More about quantum gravity
I In classical physics, particles move along deterministictrajectories.
I In quantum physics, the trajectories are probabilistic(although the notion of probability is replaced by complexprobability amplitudes).
I General relativity is a classical theory, in the sense that thestructure of curved spacetime is deterministic.
I A quantum theory of gravity would replace the fixedspacetime by a randomly fluctuating spacetime (randomRiemannian manifold).
I The most promising approach: String theory.
I Roughly speaking, strings moving randomly trace out randomsurfaces. Higher dimensional strings, known as branes, traceout higher dimensional random manifolds.
Sourav Chatterjee Yang–Mills for probabilists
![Page 30: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/30.jpg)
Gauge-string duality
I There is a theoretical result of Weinberg and Witten (1980)that it is impossible to generate gravity using quantum fieldtheories in the traditional sense (hard to explain without goinginto details).
I However, Weinberg and Witten have the unstated assumptionthat one is looking for both theories in the same dimension.
I In 1997, Maldacena made the remarkable discovery thatcertain quantum field theories are ‘dual’ to certain stringtheories in one dimension higher!
I Duality means that any calculation in one theory correspondsto some calculation in the other theory.
I Maldacena’s discovery is known as AdS-CFT duality orgauge-string duality.
I The principle of going to one dimension higher is known asthe holographic principle.
Sourav Chatterjee Yang–Mills for probabilists
![Page 31: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/31.jpg)
Gauge-string duality
I There is a theoretical result of Weinberg and Witten (1980)that it is impossible to generate gravity using quantum fieldtheories in the traditional sense (hard to explain without goinginto details).
I However, Weinberg and Witten have the unstated assumptionthat one is looking for both theories in the same dimension.
I In 1997, Maldacena made the remarkable discovery thatcertain quantum field theories are ‘dual’ to certain stringtheories in one dimension higher!
I Duality means that any calculation in one theory correspondsto some calculation in the other theory.
I Maldacena’s discovery is known as AdS-CFT duality orgauge-string duality.
I The principle of going to one dimension higher is known asthe holographic principle.
Sourav Chatterjee Yang–Mills for probabilists
![Page 32: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/32.jpg)
Gauge-string duality
I There is a theoretical result of Weinberg and Witten (1980)that it is impossible to generate gravity using quantum fieldtheories in the traditional sense (hard to explain without goinginto details).
I However, Weinberg and Witten have the unstated assumptionthat one is looking for both theories in the same dimension.
I In 1997, Maldacena made the remarkable discovery thatcertain quantum field theories are ‘dual’ to certain stringtheories in one dimension higher!
I Duality means that any calculation in one theory correspondsto some calculation in the other theory.
I Maldacena’s discovery is known as AdS-CFT duality orgauge-string duality.
I The principle of going to one dimension higher is known asthe holographic principle.
Sourav Chatterjee Yang–Mills for probabilists
![Page 33: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/33.jpg)
Gauge-string duality
I There is a theoretical result of Weinberg and Witten (1980)that it is impossible to generate gravity using quantum fieldtheories in the traditional sense (hard to explain without goinginto details).
I However, Weinberg and Witten have the unstated assumptionthat one is looking for both theories in the same dimension.
I In 1997, Maldacena made the remarkable discovery thatcertain quantum field theories are ‘dual’ to certain stringtheories in one dimension higher!
I Duality means that any calculation in one theory correspondsto some calculation in the other theory.
I Maldacena’s discovery is known as AdS-CFT duality orgauge-string duality.
I The principle of going to one dimension higher is known asthe holographic principle.
Sourav Chatterjee Yang–Mills for probabilists
![Page 34: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/34.jpg)
Gauge-string duality
I There is a theoretical result of Weinberg and Witten (1980)that it is impossible to generate gravity using quantum fieldtheories in the traditional sense (hard to explain without goinginto details).
I However, Weinberg and Witten have the unstated assumptionthat one is looking for both theories in the same dimension.
I In 1997, Maldacena made the remarkable discovery thatcertain quantum field theories are ‘dual’ to certain stringtheories in one dimension higher!
I Duality means that any calculation in one theory correspondsto some calculation in the other theory.
I Maldacena’s discovery is known as AdS-CFT duality orgauge-string duality.
I The principle of going to one dimension higher is known asthe holographic principle.
Sourav Chatterjee Yang–Mills for probabilists
![Page 35: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/35.jpg)
Gauge-string duality
I There is a theoretical result of Weinberg and Witten (1980)that it is impossible to generate gravity using quantum fieldtheories in the traditional sense (hard to explain without goinginto details).
I However, Weinberg and Witten have the unstated assumptionthat one is looking for both theories in the same dimension.
I In 1997, Maldacena made the remarkable discovery thatcertain quantum field theories are ‘dual’ to certain stringtheories in one dimension higher!
I Duality means that any calculation in one theory correspondsto some calculation in the other theory.
I Maldacena’s discovery is known as AdS-CFT duality orgauge-string duality.
I The principle of going to one dimension higher is known asthe holographic principle.
Sourav Chatterjee Yang–Mills for probabilists
![Page 36: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/36.jpg)
Plan for the remainder of the talk
I This concludes the presentation of the physics background.
I In the remaining part of the talk, I will present some concretemathematical problem for probabilists.
I The physics connections will not be discussed in any greatdepth due to time constraints. I will only say one or twosentences for each problem, connecting the math problemswith the physics problems mentioned before.
Sourav Chatterjee Yang–Mills for probabilists
![Page 37: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/37.jpg)
Plan for the remainder of the talk
I This concludes the presentation of the physics background.
I In the remaining part of the talk, I will present some concretemathematical problem for probabilists.
I The physics connections will not be discussed in any greatdepth due to time constraints. I will only say one or twosentences for each problem, connecting the math problemswith the physics problems mentioned before.
Sourav Chatterjee Yang–Mills for probabilists
![Page 38: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/38.jpg)
Plan for the remainder of the talk
I This concludes the presentation of the physics background.
I In the remaining part of the talk, I will present some concretemathematical problem for probabilists.
I The physics connections will not be discussed in any greatdepth due to time constraints. I will only say one or twosentences for each problem, connecting the math problemswith the physics problems mentioned before.
Sourav Chatterjee Yang–Mills for probabilists
![Page 39: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/39.jpg)
Quantum Yang–Mills theories
I The quantum field theories describing the electromagnetic,weak and strong forces are known as quantum Yang–Millstheories.
I Quantum Yang–Mills theories are defined in Minkowskispacetime. Euclidean Yang–Mills theories are ‘Wick-rotated’quantum Yang–Mills theories that are defined in Euclideanspacetime.
I They are formally probability measures on spaces ofconnections on certain principal bundles.
I They have lattice analogs, known as lattice gauge theories,that are rigorously defined probabilistic models.
I Euclidean Yang–Mills theories are supposed to be scalinglimits of lattice gauge theories.
Sourav Chatterjee Yang–Mills for probabilists
![Page 40: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/40.jpg)
Quantum Yang–Mills theories
I The quantum field theories describing the electromagnetic,weak and strong forces are known as quantum Yang–Millstheories.
I Quantum Yang–Mills theories are defined in Minkowskispacetime. Euclidean Yang–Mills theories are ‘Wick-rotated’quantum Yang–Mills theories that are defined in Euclideanspacetime.
I They are formally probability measures on spaces ofconnections on certain principal bundles.
I They have lattice analogs, known as lattice gauge theories,that are rigorously defined probabilistic models.
I Euclidean Yang–Mills theories are supposed to be scalinglimits of lattice gauge theories.
Sourav Chatterjee Yang–Mills for probabilists
![Page 41: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/41.jpg)
Quantum Yang–Mills theories
I The quantum field theories describing the electromagnetic,weak and strong forces are known as quantum Yang–Millstheories.
I Quantum Yang–Mills theories are defined in Minkowskispacetime. Euclidean Yang–Mills theories are ‘Wick-rotated’quantum Yang–Mills theories that are defined in Euclideanspacetime.
I They are formally probability measures on spaces ofconnections on certain principal bundles.
I They have lattice analogs, known as lattice gauge theories,that are rigorously defined probabilistic models.
I Euclidean Yang–Mills theories are supposed to be scalinglimits of lattice gauge theories.
Sourav Chatterjee Yang–Mills for probabilists
![Page 42: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/42.jpg)
Quantum Yang–Mills theories
I The quantum field theories describing the electromagnetic,weak and strong forces are known as quantum Yang–Millstheories.
I Quantum Yang–Mills theories are defined in Minkowskispacetime. Euclidean Yang–Mills theories are ‘Wick-rotated’quantum Yang–Mills theories that are defined in Euclideanspacetime.
I They are formally probability measures on spaces ofconnections on certain principal bundles.
I They have lattice analogs, known as lattice gauge theories,that are rigorously defined probabilistic models.
I Euclidean Yang–Mills theories are supposed to be scalinglimits of lattice gauge theories.
Sourav Chatterjee Yang–Mills for probabilists
![Page 43: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/43.jpg)
Quantum Yang–Mills theories
I The quantum field theories describing the electromagnetic,weak and strong forces are known as quantum Yang–Millstheories.
I Quantum Yang–Mills theories are defined in Minkowskispacetime. Euclidean Yang–Mills theories are ‘Wick-rotated’quantum Yang–Mills theories that are defined in Euclideanspacetime.
I They are formally probability measures on spaces ofconnections on certain principal bundles.
I They have lattice analogs, known as lattice gauge theories,that are rigorously defined probabilistic models.
I Euclidean Yang–Mills theories are supposed to be scalinglimits of lattice gauge theories.
Sourav Chatterjee Yang–Mills for probabilists
![Page 44: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/44.jpg)
Constructive field theory
I The problem of rigorously constructing Euclidean Yang–Millstheories, and then using them to construct quantumYang–Mills theories, is the problem of Yang–Mills existence.
I A standard approach is via the program of constructivequantum field theory.
I The plan there is to first define Euclidean Yang–Mills theoriesas probability measures on appropriate spaces of generalizedfunctions; then show that these probability measures satisfycertain axioms (the Osterwalder–Schrader axioms); this wouldthen imply that the theory can be ‘quantized’ to obtain thedesired quantum Yang–Mills theories.
I The constructive field theory program waged a valiant battlefor more than thirty years (1960–1990), making sense ofvarious quantum field theories in two and three dimensions,but never quite reached its ultimate goal of constructing 4Dquantum Yang–Mills theories. May be revival possible?
Sourav Chatterjee Yang–Mills for probabilists
![Page 45: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/45.jpg)
Constructive field theory
I The problem of rigorously constructing Euclidean Yang–Millstheories, and then using them to construct quantumYang–Mills theories, is the problem of Yang–Mills existence.
I A standard approach is via the program of constructivequantum field theory.
I The plan there is to first define Euclidean Yang–Mills theoriesas probability measures on appropriate spaces of generalizedfunctions; then show that these probability measures satisfycertain axioms (the Osterwalder–Schrader axioms); this wouldthen imply that the theory can be ‘quantized’ to obtain thedesired quantum Yang–Mills theories.
I The constructive field theory program waged a valiant battlefor more than thirty years (1960–1990), making sense ofvarious quantum field theories in two and three dimensions,but never quite reached its ultimate goal of constructing 4Dquantum Yang–Mills theories. May be revival possible?
Sourav Chatterjee Yang–Mills for probabilists
![Page 46: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/46.jpg)
Constructive field theory
I The problem of rigorously constructing Euclidean Yang–Millstheories, and then using them to construct quantumYang–Mills theories, is the problem of Yang–Mills existence.
I A standard approach is via the program of constructivequantum field theory.
I The plan there is to first define Euclidean Yang–Mills theoriesas probability measures on appropriate spaces of generalizedfunctions;
then show that these probability measures satisfycertain axioms (the Osterwalder–Schrader axioms); this wouldthen imply that the theory can be ‘quantized’ to obtain thedesired quantum Yang–Mills theories.
I The constructive field theory program waged a valiant battlefor more than thirty years (1960–1990), making sense ofvarious quantum field theories in two and three dimensions,but never quite reached its ultimate goal of constructing 4Dquantum Yang–Mills theories. May be revival possible?
Sourav Chatterjee Yang–Mills for probabilists
![Page 47: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/47.jpg)
Constructive field theory
I The problem of rigorously constructing Euclidean Yang–Millstheories, and then using them to construct quantumYang–Mills theories, is the problem of Yang–Mills existence.
I A standard approach is via the program of constructivequantum field theory.
I The plan there is to first define Euclidean Yang–Mills theoriesas probability measures on appropriate spaces of generalizedfunctions; then show that these probability measures satisfycertain axioms (the Osterwalder–Schrader axioms);
this wouldthen imply that the theory can be ‘quantized’ to obtain thedesired quantum Yang–Mills theories.
I The constructive field theory program waged a valiant battlefor more than thirty years (1960–1990), making sense ofvarious quantum field theories in two and three dimensions,but never quite reached its ultimate goal of constructing 4Dquantum Yang–Mills theories. May be revival possible?
Sourav Chatterjee Yang–Mills for probabilists
![Page 48: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/48.jpg)
Constructive field theory
I The problem of rigorously constructing Euclidean Yang–Millstheories, and then using them to construct quantumYang–Mills theories, is the problem of Yang–Mills existence.
I A standard approach is via the program of constructivequantum field theory.
I The plan there is to first define Euclidean Yang–Mills theoriesas probability measures on appropriate spaces of generalizedfunctions; then show that these probability measures satisfycertain axioms (the Osterwalder–Schrader axioms); this wouldthen imply that the theory can be ‘quantized’ to obtain thedesired quantum Yang–Mills theories.
I The constructive field theory program waged a valiant battlefor more than thirty years (1960–1990), making sense ofvarious quantum field theories in two and three dimensions,but never quite reached its ultimate goal of constructing 4Dquantum Yang–Mills theories. May be revival possible?
Sourav Chatterjee Yang–Mills for probabilists
![Page 49: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/49.jpg)
Constructive field theory
I The problem of rigorously constructing Euclidean Yang–Millstheories, and then using them to construct quantumYang–Mills theories, is the problem of Yang–Mills existence.
I A standard approach is via the program of constructivequantum field theory.
I The plan there is to first define Euclidean Yang–Mills theoriesas probability measures on appropriate spaces of generalizedfunctions; then show that these probability measures satisfycertain axioms (the Osterwalder–Schrader axioms); this wouldthen imply that the theory can be ‘quantized’ to obtain thedesired quantum Yang–Mills theories.
I The constructive field theory program waged a valiant battlefor more than thirty years (1960–1990), making sense ofvarious quantum field theories in two and three dimensions,but never quite reached its ultimate goal of constructing 4Dquantum Yang–Mills theories. May be revival possible?
Sourav Chatterjee Yang–Mills for probabilists
![Page 50: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/50.jpg)
Towards the formal definition of Euclidean YM theories
I Ingredients: dimension n and gauge group G .
I Assume that G is a closed subgroup of U(N) for some N.I Examples (all in n = 4):
I Quantum electrodynamics: G = U(1).I Electroweak theory: G = SU(2).I Quantum chromodynamics: G = SU(3).
I Let g be the Lie algebra of G .
I Then g is a subspace of the space of all N × Nskew-Hermitian matrices.
Sourav Chatterjee Yang–Mills for probabilists
![Page 51: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/51.jpg)
Towards the formal definition of Euclidean YM theories
I Ingredients: dimension n and gauge group G .
I Assume that G is a closed subgroup of U(N) for some N.
I Examples (all in n = 4):I Quantum electrodynamics: G = U(1).I Electroweak theory: G = SU(2).I Quantum chromodynamics: G = SU(3).
I Let g be the Lie algebra of G .
I Then g is a subspace of the space of all N × Nskew-Hermitian matrices.
Sourav Chatterjee Yang–Mills for probabilists
![Page 52: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/52.jpg)
Towards the formal definition of Euclidean YM theories
I Ingredients: dimension n and gauge group G .
I Assume that G is a closed subgroup of U(N) for some N.I Examples (all in n = 4):
I Quantum electrodynamics: G = U(1).I Electroweak theory: G = SU(2).I Quantum chromodynamics: G = SU(3).
I Let g be the Lie algebra of G .
I Then g is a subspace of the space of all N × Nskew-Hermitian matrices.
Sourav Chatterjee Yang–Mills for probabilists
![Page 53: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/53.jpg)
Towards the formal definition of Euclidean YM theories
I Ingredients: dimension n and gauge group G .
I Assume that G is a closed subgroup of U(N) for some N.I Examples (all in n = 4):
I Quantum electrodynamics: G = U(1).
I Electroweak theory: G = SU(2).I Quantum chromodynamics: G = SU(3).
I Let g be the Lie algebra of G .
I Then g is a subspace of the space of all N × Nskew-Hermitian matrices.
Sourav Chatterjee Yang–Mills for probabilists
![Page 54: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/54.jpg)
Towards the formal definition of Euclidean YM theories
I Ingredients: dimension n and gauge group G .
I Assume that G is a closed subgroup of U(N) for some N.I Examples (all in n = 4):
I Quantum electrodynamics: G = U(1).I Electroweak theory: G = SU(2).
I Quantum chromodynamics: G = SU(3).
I Let g be the Lie algebra of G .
I Then g is a subspace of the space of all N × Nskew-Hermitian matrices.
Sourav Chatterjee Yang–Mills for probabilists
![Page 55: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/55.jpg)
Towards the formal definition of Euclidean YM theories
I Ingredients: dimension n and gauge group G .
I Assume that G is a closed subgroup of U(N) for some N.I Examples (all in n = 4):
I Quantum electrodynamics: G = U(1).I Electroweak theory: G = SU(2).I Quantum chromodynamics: G = SU(3).
I Let g be the Lie algebra of G .
I Then g is a subspace of the space of all N × Nskew-Hermitian matrices.
Sourav Chatterjee Yang–Mills for probabilists
![Page 56: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/56.jpg)
Towards the formal definition of Euclidean YM theories
I Ingredients: dimension n and gauge group G .
I Assume that G is a closed subgroup of U(N) for some N.I Examples (all in n = 4):
I Quantum electrodynamics: G = U(1).I Electroweak theory: G = SU(2).I Quantum chromodynamics: G = SU(3).
I Let g be the Lie algebra of G .
I Then g is a subspace of the space of all N × Nskew-Hermitian matrices.
Sourav Chatterjee Yang–Mills for probabilists
![Page 57: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/57.jpg)
Towards the formal definition of Euclidean YM theories
I Ingredients: dimension n and gauge group G .
I Assume that G is a closed subgroup of U(N) for some N.I Examples (all in n = 4):
I Quantum electrodynamics: G = U(1).I Electroweak theory: G = SU(2).I Quantum chromodynamics: G = SU(3).
I Let g be the Lie algebra of G .
I Then g is a subspace of the space of all N × Nskew-Hermitian matrices.
Sourav Chatterjee Yang–Mills for probabilists
![Page 58: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/58.jpg)
Connections and curvature
I A smooth G connection form on Rn is a smooth map from Rn
into gn.
I If A is a G connection form, its value A(x) at x is an n-tuple(A1(x), . . . ,An(x)) of skew-Hermitian matrices. In thelanguage of differential forms,
A =n∑
j=1
Ajdxj .
I The curvature form F of A is the g-valued 2-form
F = dA + A ∧ A .
I This means that at each x , F (x) is an n × n array ofskew-Hermitian matrices of order N, whose (j , k)th entry isthe matrix
Fjk(x) =∂Ak
∂xj−∂Aj
∂xk+ [Aj(x),Ak(x)].
Sourav Chatterjee Yang–Mills for probabilists
![Page 59: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/59.jpg)
Connections and curvature
I A smooth G connection form on Rn is a smooth map from Rn
into gn.I If A is a G connection form, its value A(x) at x is an n-tuple
(A1(x), . . . ,An(x)) of skew-Hermitian matrices. In thelanguage of differential forms,
A =n∑
j=1
Ajdxj .
I The curvature form F of A is the g-valued 2-form
F = dA + A ∧ A .
I This means that at each x , F (x) is an n × n array ofskew-Hermitian matrices of order N, whose (j , k)th entry isthe matrix
Fjk(x) =∂Ak
∂xj−∂Aj
∂xk+ [Aj(x),Ak(x)].
Sourav Chatterjee Yang–Mills for probabilists
![Page 60: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/60.jpg)
Connections and curvature
I A smooth G connection form on Rn is a smooth map from Rn
into gn.I If A is a G connection form, its value A(x) at x is an n-tuple
(A1(x), . . . ,An(x)) of skew-Hermitian matrices. In thelanguage of differential forms,
A =n∑
j=1
Ajdxj .
I The curvature form F of A is the g-valued 2-form
F = dA + A ∧ A .
I This means that at each x , F (x) is an n × n array ofskew-Hermitian matrices of order N, whose (j , k)th entry isthe matrix
Fjk(x) =∂Ak
∂xj−∂Aj
∂xk+ [Aj(x),Ak(x)].
Sourav Chatterjee Yang–Mills for probabilists
![Page 61: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/61.jpg)
Connections and curvature
I A smooth G connection form on Rn is a smooth map from Rn
into gn.I If A is a G connection form, its value A(x) at x is an n-tuple
(A1(x), . . . ,An(x)) of skew-Hermitian matrices. In thelanguage of differential forms,
A =n∑
j=1
Ajdxj .
I The curvature form F of A is the g-valued 2-form
F = dA + A ∧ A .
I This means that at each x , F (x) is an n × n array ofskew-Hermitian matrices of order N, whose (j , k)th entry isthe matrix
Fjk(x) =∂Ak
∂xj−∂Aj
∂xk+ [Aj(x),Ak(x)].
Sourav Chatterjee Yang–Mills for probabilists
![Page 62: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/62.jpg)
The Yang–Mills action
I Let A be the space of all smooth G connection forms on Rn.The Yang–Mills action on this space is the function
SYM(A) := −∫Rn
Tr(F ∧ ∗F ),
where F is the curvature form of A and ∗ denotes the Hodgestar operator, assuming that this integral is finite.
I Explicitly, this is
SYM(A) = −∫Rn
n∑j ,k=1
Tr(Fjk(x)2)dx .
Sourav Chatterjee Yang–Mills for probabilists
![Page 63: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/63.jpg)
The Yang–Mills action
I Let A be the space of all smooth G connection forms on Rn.The Yang–Mills action on this space is the function
SYM(A) := −∫Rn
Tr(F ∧ ∗F ),
where F is the curvature form of A and ∗ denotes the Hodgestar operator, assuming that this integral is finite.
I Explicitly, this is
SYM(A) = −∫Rn
n∑j ,k=1
Tr(Fjk(x)2)dx .
Sourav Chatterjee Yang–Mills for probabilists
![Page 64: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/64.jpg)
Formal definition of Euclidean YM theories
I The Euclidean Yang–Mills theory with gauge group G on Rn
is formally described as the probability measure
dµ(A) =1
Zexp
(− 1
4g2SYM(A)
)dA ,
where:
I A ∈ A, the space of all smooth G connection forms on Rn,I SYM is the Yang–Mills action,I
dA =n∏
j=1
∏x∈Rn
d(Aj(x))
is ‘infinite-dimensional Lebesgue measure’ on A,I g is a parameter called the coupling strength, andI Z is the normalizing constant that makes this a probability
measure.
Sourav Chatterjee Yang–Mills for probabilists
![Page 65: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/65.jpg)
Formal definition of Euclidean YM theories
I The Euclidean Yang–Mills theory with gauge group G on Rn
is formally described as the probability measure
dµ(A) =1
Zexp
(− 1
4g2SYM(A)
)dA ,
where:I A ∈ A, the space of all smooth G connection forms on Rn,
I SYM is the Yang–Mills action,I
dA =n∏
j=1
∏x∈Rn
d(Aj(x))
is ‘infinite-dimensional Lebesgue measure’ on A,I g is a parameter called the coupling strength, andI Z is the normalizing constant that makes this a probability
measure.
Sourav Chatterjee Yang–Mills for probabilists
![Page 66: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/66.jpg)
Formal definition of Euclidean YM theories
I The Euclidean Yang–Mills theory with gauge group G on Rn
is formally described as the probability measure
dµ(A) =1
Zexp
(− 1
4g2SYM(A)
)dA ,
where:I A ∈ A, the space of all smooth G connection forms on Rn,I SYM is the Yang–Mills action,
I
dA =n∏
j=1
∏x∈Rn
d(Aj(x))
is ‘infinite-dimensional Lebesgue measure’ on A,I g is a parameter called the coupling strength, andI Z is the normalizing constant that makes this a probability
measure.
Sourav Chatterjee Yang–Mills for probabilists
![Page 67: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/67.jpg)
Formal definition of Euclidean YM theories
I The Euclidean Yang–Mills theory with gauge group G on Rn
is formally described as the probability measure
dµ(A) =1
Zexp
(− 1
4g2SYM(A)
)dA ,
where:I A ∈ A, the space of all smooth G connection forms on Rn,I SYM is the Yang–Mills action,I
dA =n∏
j=1
∏x∈Rn
d(Aj(x))
is ‘infinite-dimensional Lebesgue measure’ on A,
I g is a parameter called the coupling strength, andI Z is the normalizing constant that makes this a probability
measure.
Sourav Chatterjee Yang–Mills for probabilists
![Page 68: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/68.jpg)
Formal definition of Euclidean YM theories
I The Euclidean Yang–Mills theory with gauge group G on Rn
is formally described as the probability measure
dµ(A) =1
Zexp
(− 1
4g2SYM(A)
)dA ,
where:I A ∈ A, the space of all smooth G connection forms on Rn,I SYM is the Yang–Mills action,I
dA =n∏
j=1
∏x∈Rn
d(Aj(x))
is ‘infinite-dimensional Lebesgue measure’ on A,I g is a parameter called the coupling strength, and
I Z is the normalizing constant that makes this a probabilitymeasure.
Sourav Chatterjee Yang–Mills for probabilists
![Page 69: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/69.jpg)
Formal definition of Euclidean YM theories
I The Euclidean Yang–Mills theory with gauge group G on Rn
is formally described as the probability measure
dµ(A) =1
Zexp
(− 1
4g2SYM(A)
)dA ,
where:I A ∈ A, the space of all smooth G connection forms on Rn,I SYM is the Yang–Mills action,I
dA =n∏
j=1
∏x∈Rn
d(Aj(x))
is ‘infinite-dimensional Lebesgue measure’ on A,I g is a parameter called the coupling strength, andI Z is the normalizing constant that makes this a probability
measure.
Sourav Chatterjee Yang–Mills for probabilists
![Page 70: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/70.jpg)
Problem
I The above description of Euclidean Yang–Mills theory withgauge group G is not directly mathematically meaningfulbecause of the problems associated with the definitionLebesgue measure on A.
I While it has been possible to give rigorous meanings to similardescriptions of Brownian motion and various quantum fieldtheories in dimensions two and three, 4D EuclideanYang–Mills theories have so far remained largely intractable.
Sourav Chatterjee Yang–Mills for probabilists
![Page 71: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/71.jpg)
Problem
I The above description of Euclidean Yang–Mills theory withgauge group G is not directly mathematically meaningfulbecause of the problems associated with the definitionLebesgue measure on A.
I While it has been possible to give rigorous meanings to similardescriptions of Brownian motion and various quantum fieldtheories in dimensions two and three, 4D EuclideanYang–Mills theories have so far remained largely intractable.
Sourav Chatterjee Yang–Mills for probabilists
![Page 72: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/72.jpg)
Lattice gauge theories
I Wilson (1974) proposed a discretization of EuclideanYang–Mills theories, now known as lattice gauge theories.
I The lattice gauge theory with gauge group G on a finite setΛ ⊆ Zn is defined as follows.
I Suppose that for any two adjacent vertices x , y ∈ Λ, we havea group element U(x , y) ∈ G , with U(y , x) = U(x , y)−1.
I Let G (Λ) denote the set of all such configurations.I A square bounded by four edges is called a plaquette. Let
P(Λ) denote the set of all plaquettes in Λ.I For a plaquette p ∈ P(Λ) with vertices x1, x2, x3, x4 in
anti-clockwise order, and a configuration U ∈ G (Λ), define
Up := U(x1, x2)U(x2, x3)U(x3, x4)U(x4, x1).
I The Wilson action of U is defined as
SW(U) :=∑
p∈P(Λ)
Re(Tr(I − Up)).
Sourav Chatterjee Yang–Mills for probabilists
![Page 73: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/73.jpg)
Lattice gauge theories
I Wilson (1974) proposed a discretization of EuclideanYang–Mills theories, now known as lattice gauge theories.
I The lattice gauge theory with gauge group G on a finite setΛ ⊆ Zn is defined as follows.
I Suppose that for any two adjacent vertices x , y ∈ Λ, we havea group element U(x , y) ∈ G , with U(y , x) = U(x , y)−1.
I Let G (Λ) denote the set of all such configurations.I A square bounded by four edges is called a plaquette. Let
P(Λ) denote the set of all plaquettes in Λ.I For a plaquette p ∈ P(Λ) with vertices x1, x2, x3, x4 in
anti-clockwise order, and a configuration U ∈ G (Λ), define
Up := U(x1, x2)U(x2, x3)U(x3, x4)U(x4, x1).
I The Wilson action of U is defined as
SW(U) :=∑
p∈P(Λ)
Re(Tr(I − Up)).
Sourav Chatterjee Yang–Mills for probabilists
![Page 74: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/74.jpg)
Lattice gauge theories
I Wilson (1974) proposed a discretization of EuclideanYang–Mills theories, now known as lattice gauge theories.
I The lattice gauge theory with gauge group G on a finite setΛ ⊆ Zn is defined as follows.
I Suppose that for any two adjacent vertices x , y ∈ Λ, we havea group element U(x , y) ∈ G , with U(y , x) = U(x , y)−1.
I Let G (Λ) denote the set of all such configurations.I A square bounded by four edges is called a plaquette. Let
P(Λ) denote the set of all plaquettes in Λ.I For a plaquette p ∈ P(Λ) with vertices x1, x2, x3, x4 in
anti-clockwise order, and a configuration U ∈ G (Λ), define
Up := U(x1, x2)U(x2, x3)U(x3, x4)U(x4, x1).
I The Wilson action of U is defined as
SW(U) :=∑
p∈P(Λ)
Re(Tr(I − Up)).
Sourav Chatterjee Yang–Mills for probabilists
![Page 75: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/75.jpg)
Lattice gauge theories
I Wilson (1974) proposed a discretization of EuclideanYang–Mills theories, now known as lattice gauge theories.
I The lattice gauge theory with gauge group G on a finite setΛ ⊆ Zn is defined as follows.
I Suppose that for any two adjacent vertices x , y ∈ Λ, we havea group element U(x , y) ∈ G , with U(y , x) = U(x , y)−1.
I Let G (Λ) denote the set of all such configurations.
I A square bounded by four edges is called a plaquette. LetP(Λ) denote the set of all plaquettes in Λ.
I For a plaquette p ∈ P(Λ) with vertices x1, x2, x3, x4 inanti-clockwise order, and a configuration U ∈ G (Λ), define
Up := U(x1, x2)U(x2, x3)U(x3, x4)U(x4, x1).
I The Wilson action of U is defined as
SW(U) :=∑
p∈P(Λ)
Re(Tr(I − Up)).
Sourav Chatterjee Yang–Mills for probabilists
![Page 76: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/76.jpg)
Lattice gauge theories
I Wilson (1974) proposed a discretization of EuclideanYang–Mills theories, now known as lattice gauge theories.
I The lattice gauge theory with gauge group G on a finite setΛ ⊆ Zn is defined as follows.
I Suppose that for any two adjacent vertices x , y ∈ Λ, we havea group element U(x , y) ∈ G , with U(y , x) = U(x , y)−1.
I Let G (Λ) denote the set of all such configurations.I A square bounded by four edges is called a plaquette. Let
P(Λ) denote the set of all plaquettes in Λ.
I For a plaquette p ∈ P(Λ) with vertices x1, x2, x3, x4 inanti-clockwise order, and a configuration U ∈ G (Λ), define
Up := U(x1, x2)U(x2, x3)U(x3, x4)U(x4, x1).
I The Wilson action of U is defined as
SW(U) :=∑
p∈P(Λ)
Re(Tr(I − Up)).
Sourav Chatterjee Yang–Mills for probabilists
![Page 77: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/77.jpg)
Lattice gauge theories
I Wilson (1974) proposed a discretization of EuclideanYang–Mills theories, now known as lattice gauge theories.
I The lattice gauge theory with gauge group G on a finite setΛ ⊆ Zn is defined as follows.
I Suppose that for any two adjacent vertices x , y ∈ Λ, we havea group element U(x , y) ∈ G , with U(y , x) = U(x , y)−1.
I Let G (Λ) denote the set of all such configurations.I A square bounded by four edges is called a plaquette. Let
P(Λ) denote the set of all plaquettes in Λ.I For a plaquette p ∈ P(Λ) with vertices x1, x2, x3, x4 in
anti-clockwise order, and a configuration U ∈ G (Λ), define
Up := U(x1, x2)U(x2, x3)U(x3, x4)U(x4, x1).
I The Wilson action of U is defined as
SW(U) :=∑
p∈P(Λ)
Re(Tr(I − Up)).
Sourav Chatterjee Yang–Mills for probabilists
![Page 78: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/78.jpg)
Lattice gauge theories
I Wilson (1974) proposed a discretization of EuclideanYang–Mills theories, now known as lattice gauge theories.
I The lattice gauge theory with gauge group G on a finite setΛ ⊆ Zn is defined as follows.
I Suppose that for any two adjacent vertices x , y ∈ Λ, we havea group element U(x , y) ∈ G , with U(y , x) = U(x , y)−1.
I Let G (Λ) denote the set of all such configurations.I A square bounded by four edges is called a plaquette. Let
P(Λ) denote the set of all plaquettes in Λ.I For a plaquette p ∈ P(Λ) with vertices x1, x2, x3, x4 in
anti-clockwise order, and a configuration U ∈ G (Λ), define
Up := U(x1, x2)U(x2, x3)U(x3, x4)U(x4, x1).
I The Wilson action of U is defined as
SW(U) :=∑
p∈P(Λ)
Re(Tr(I − Up)).
Sourav Chatterjee Yang–Mills for probabilists
![Page 79: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/79.jpg)
Definition of lattice gauge theory
I Let σΛ be the product Haar measure on G (Λ).
I Given β > 0, let µΛ,β be the probability measure on G (Λ)defined as
dµΛ,β(U) :=1
Ze−βSW(U)dσΛ(U),
where Z is the normalizing constant.
I This probability measure is called the lattice gauge theory onΛ for the gauge group G , with inverse coupling strength β.
I An infinite volume limit of the theory is a weak limit of theabove probability measures as Λ ↑ Zn.
I The infinite volume limit may or may not be unique.
I The uniqueness (or non-uniqueness) is in general unknown forlattice gauge theories in dimension four when β is large.
Sourav Chatterjee Yang–Mills for probabilists
![Page 80: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/80.jpg)
Definition of lattice gauge theory
I Let σΛ be the product Haar measure on G (Λ).
I Given β > 0, let µΛ,β be the probability measure on G (Λ)defined as
dµΛ,β(U) :=1
Ze−βSW(U)dσΛ(U),
where Z is the normalizing constant.
I This probability measure is called the lattice gauge theory onΛ for the gauge group G , with inverse coupling strength β.
I An infinite volume limit of the theory is a weak limit of theabove probability measures as Λ ↑ Zn.
I The infinite volume limit may or may not be unique.
I The uniqueness (or non-uniqueness) is in general unknown forlattice gauge theories in dimension four when β is large.
Sourav Chatterjee Yang–Mills for probabilists
![Page 81: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/81.jpg)
Definition of lattice gauge theory
I Let σΛ be the product Haar measure on G (Λ).
I Given β > 0, let µΛ,β be the probability measure on G (Λ)defined as
dµΛ,β(U) :=1
Ze−βSW(U)dσΛ(U),
where Z is the normalizing constant.
I This probability measure is called the lattice gauge theory onΛ for the gauge group G , with inverse coupling strength β.
I An infinite volume limit of the theory is a weak limit of theabove probability measures as Λ ↑ Zn.
I The infinite volume limit may or may not be unique.
I The uniqueness (or non-uniqueness) is in general unknown forlattice gauge theories in dimension four when β is large.
Sourav Chatterjee Yang–Mills for probabilists
![Page 82: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/82.jpg)
Definition of lattice gauge theory
I Let σΛ be the product Haar measure on G (Λ).
I Given β > 0, let µΛ,β be the probability measure on G (Λ)defined as
dµΛ,β(U) :=1
Ze−βSW(U)dσΛ(U),
where Z is the normalizing constant.
I This probability measure is called the lattice gauge theory onΛ for the gauge group G , with inverse coupling strength β.
I An infinite volume limit of the theory is a weak limit of theabove probability measures as Λ ↑ Zn.
I The infinite volume limit may or may not be unique.
I The uniqueness (or non-uniqueness) is in general unknown forlattice gauge theories in dimension four when β is large.
Sourav Chatterjee Yang–Mills for probabilists
![Page 83: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/83.jpg)
Definition of lattice gauge theory
I Let σΛ be the product Haar measure on G (Λ).
I Given β > 0, let µΛ,β be the probability measure on G (Λ)defined as
dµΛ,β(U) :=1
Ze−βSW(U)dσΛ(U),
where Z is the normalizing constant.
I This probability measure is called the lattice gauge theory onΛ for the gauge group G , with inverse coupling strength β.
I An infinite volume limit of the theory is a weak limit of theabove probability measures as Λ ↑ Zn.
I The infinite volume limit may or may not be unique.
I The uniqueness (or non-uniqueness) is in general unknown forlattice gauge theories in dimension four when β is large.
Sourav Chatterjee Yang–Mills for probabilists
![Page 84: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/84.jpg)
Definition of lattice gauge theory
I Let σΛ be the product Haar measure on G (Λ).
I Given β > 0, let µΛ,β be the probability measure on G (Λ)defined as
dµΛ,β(U) :=1
Ze−βSW(U)dσΛ(U),
where Z is the normalizing constant.
I This probability measure is called the lattice gauge theory onΛ for the gauge group G , with inverse coupling strength β.
I An infinite volume limit of the theory is a weak limit of theabove probability measures as Λ ↑ Zn.
I The infinite volume limit may or may not be unique.
I The uniqueness (or non-uniqueness) is in general unknown forlattice gauge theories in dimension four when β is large.
Sourav Chatterjee Yang–Mills for probabilists
![Page 85: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/85.jpg)
From LGT to Euclidean YM theory: Wilson’s heuristic
I Discretize Rn as εZn for some small ε.
I Take a G connection form A =∑n
j=1 Ajdxj .
I Let e1, . . . , en denote the standard basis vectors of Rn.
I For a directed edge (x , x + εej) of εZn, define
U(x , x + εej) := eεAj (x),
and let U(x + εej , x) := U(x , x + εej)−1.
I This defines a configuration of unitary matrices assigned todirected edges of εZn.
Sourav Chatterjee Yang–Mills for probabilists
![Page 86: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/86.jpg)
From LGT to Euclidean YM theory: Wilson’s heuristic
I Discretize Rn as εZn for some small ε.
I Take a G connection form A =∑n
j=1 Ajdxj .
I Let e1, . . . , en denote the standard basis vectors of Rn.
I For a directed edge (x , x + εej) of εZn, define
U(x , x + εej) := eεAj (x),
and let U(x + εej , x) := U(x , x + εej)−1.
I This defines a configuration of unitary matrices assigned todirected edges of εZn.
Sourav Chatterjee Yang–Mills for probabilists
![Page 87: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/87.jpg)
From LGT to Euclidean YM theory: Wilson’s heuristic
I Discretize Rn as εZn for some small ε.
I Take a G connection form A =∑n
j=1 Ajdxj .
I Let e1, . . . , en denote the standard basis vectors of Rn.
I For a directed edge (x , x + εej) of εZn, define
U(x , x + εej) := eεAj (x),
and let U(x + εej , x) := U(x , x + εej)−1.
I This defines a configuration of unitary matrices assigned todirected edges of εZn.
Sourav Chatterjee Yang–Mills for probabilists
![Page 88: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/88.jpg)
From LGT to Euclidean YM theory: Wilson’s heuristic
I Discretize Rn as εZn for some small ε.
I Take a G connection form A =∑n
j=1 Ajdxj .
I Let e1, . . . , en denote the standard basis vectors of Rn.
I For a directed edge (x , x + εej) of εZn, define
U(x , x + εej) := eεAj (x),
and let U(x + εej , x) := U(x , x + εej)−1.
I This defines a configuration of unitary matrices assigned todirected edges of εZn.
Sourav Chatterjee Yang–Mills for probabilists
![Page 89: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/89.jpg)
From LGT to Euclidean YM theory: Wilson’s heuristic
I Discretize Rn as εZn for some small ε.
I Take a G connection form A =∑n
j=1 Ajdxj .
I Let e1, . . . , en denote the standard basis vectors of Rn.
I For a directed edge (x , x + εej) of εZn, define
U(x , x + εej) := eεAj (x),
and let U(x + εej , x) := U(x , x + εej)−1.
I This defines a configuration of unitary matrices assigned todirected edges of εZn.
Sourav Chatterjee Yang–Mills for probabilists
![Page 90: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/90.jpg)
Wilson’s heuristic, continued
I By the Baker–Campbell–Hausdorff formula for products ofmatrix exponentials, one can derive the formal approximation
SW(U) ≈ −ε4−n
4SYM(A).
I The above heuristic was used by Wilson to justify theapproximation of Euclidean Yang–Mills theory by lattice gaugetheory, scaling the inverse coupling strength β like ε4−n as thelattice spacing ε→ 0.
Sourav Chatterjee Yang–Mills for probabilists
![Page 91: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/91.jpg)
Wilson’s heuristic, continued
I By the Baker–Campbell–Hausdorff formula for products ofmatrix exponentials, one can derive the formal approximation
SW(U) ≈ −ε4−n
4SYM(A).
I The above heuristic was used by Wilson to justify theapproximation of Euclidean Yang–Mills theory by lattice gaugetheory, scaling the inverse coupling strength β like ε4−n as thelattice spacing ε→ 0.
Sourav Chatterjee Yang–Mills for probabilists
![Page 92: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/92.jpg)
Scaling in dimension four
I The most important dimension is n = 4, because spacetime isfour-dimensional.
I In the above formulation, β does not scale with ε at all whenn = 4.
I Currently, however, the general belief in the physicscommunity is that β should scale like some multiple oflog(1/ε) in dimension four.
Sourav Chatterjee Yang–Mills for probabilists
![Page 93: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/93.jpg)
Scaling in dimension four
I The most important dimension is n = 4, because spacetime isfour-dimensional.
I In the above formulation, β does not scale with ε at all whenn = 4.
I Currently, however, the general belief in the physicscommunity is that β should scale like some multiple oflog(1/ε) in dimension four.
Sourav Chatterjee Yang–Mills for probabilists
![Page 94: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/94.jpg)
Scaling in dimension four
I The most important dimension is n = 4, because spacetime isfour-dimensional.
I In the above formulation, β does not scale with ε at all whenn = 4.
I Currently, however, the general belief in the physicscommunity is that β should scale like some multiple oflog(1/ε) in dimension four.
Sourav Chatterjee Yang–Mills for probabilists
![Page 95: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/95.jpg)
Wilson loops
I Suppose that we have a lattice gauge theory on Λ ⊆ Zn withgauge group G .
I Given a loop γ with directed edges e1, . . . , em, the Wilsonloop variable Wγ is defined as
Wγ := Tr(U(e1)U(e2) · · ·U(em)).
Sourav Chatterjee Yang–Mills for probabilists
![Page 96: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/96.jpg)
Wilson loops
I Suppose that we have a lattice gauge theory on Λ ⊆ Zn withgauge group G .
I Given a loop γ with directed edges e1, . . . , em, the Wilsonloop variable Wγ is defined as
Wγ := Tr(U(e1)U(e2) · · ·U(em)).
Sourav Chatterjee Yang–Mills for probabilists
![Page 97: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/97.jpg)
Open problem #1: Yang–Mills existence
I The problem has many parts.
I But the main step is to show that 4D non-Abelian latticegauge theories have nontrivial continuum limits.
I The description of the limit is part of the problem.
I The most important groups are SU(2) and SU(3).
I Large body of work in 2D. Less in 3D. Almost none in 4D,except for a very long series of papers by Ba laban that peoplefind very difficult to understand. May be someone can take offfrom where Ba laban stopped? Or revive the project usingdifferent ideas?
Sourav Chatterjee Yang–Mills for probabilists
![Page 98: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/98.jpg)
Open problem #1: Yang–Mills existence
I The problem has many parts.
I But the main step is to show that 4D non-Abelian latticegauge theories have nontrivial continuum limits.
I The description of the limit is part of the problem.
I The most important groups are SU(2) and SU(3).
I Large body of work in 2D. Less in 3D. Almost none in 4D,except for a very long series of papers by Ba laban that peoplefind very difficult to understand. May be someone can take offfrom where Ba laban stopped? Or revive the project usingdifferent ideas?
Sourav Chatterjee Yang–Mills for probabilists
![Page 99: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/99.jpg)
Open problem #1: Yang–Mills existence
I The problem has many parts.
I But the main step is to show that 4D non-Abelian latticegauge theories have nontrivial continuum limits.
I The description of the limit is part of the problem.
I The most important groups are SU(2) and SU(3).
I Large body of work in 2D. Less in 3D. Almost none in 4D,except for a very long series of papers by Ba laban that peoplefind very difficult to understand. May be someone can take offfrom where Ba laban stopped? Or revive the project usingdifferent ideas?
Sourav Chatterjee Yang–Mills for probabilists
![Page 100: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/100.jpg)
Open problem #1: Yang–Mills existence
I The problem has many parts.
I But the main step is to show that 4D non-Abelian latticegauge theories have nontrivial continuum limits.
I The description of the limit is part of the problem.
I The most important groups are SU(2) and SU(3).
I Large body of work in 2D. Less in 3D. Almost none in 4D,except for a very long series of papers by Ba laban that peoplefind very difficult to understand. May be someone can take offfrom where Ba laban stopped? Or revive the project usingdifferent ideas?
Sourav Chatterjee Yang–Mills for probabilists
![Page 101: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/101.jpg)
Open problem #1: Yang–Mills existence
I The problem has many parts.
I But the main step is to show that 4D non-Abelian latticegauge theories have nontrivial continuum limits.
I The description of the limit is part of the problem.
I The most important groups are SU(2) and SU(3).
I Large body of work in 2D. Less in 3D. Almost none in 4D,except for a very long series of papers by Ba laban that peoplefind very difficult to understand. May be someone can take offfrom where Ba laban stopped? Or revive the project usingdifferent ideas?
Sourav Chatterjee Yang–Mills for probabilists
![Page 102: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/102.jpg)
Open problem #2: Yang–Mills mass gap
I Again, the problem has many parts, but the main step is toshow that 4D non-Abelian lattice gauge theories haveexponential decay of correlations at any β.
I There are standard techniques for showing exponential decayof correlations at small β (e.g. by Dobrushin’s condition).Showing exponential decay at large β is conjectured for manymodels in statistical physics, but most of these problems,including the YM mass gap, are open.
I Even physicists do not think they have a proof of mass gap.
I A solution of this problem will explain, roughly speaking, whymass exists in the universe.
Sourav Chatterjee Yang–Mills for probabilists
![Page 103: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/103.jpg)
Open problem #2: Yang–Mills mass gap
I Again, the problem has many parts, but the main step is toshow that 4D non-Abelian lattice gauge theories haveexponential decay of correlations at any β.
I There are standard techniques for showing exponential decayof correlations at small β (e.g. by Dobrushin’s condition).Showing exponential decay at large β is conjectured for manymodels in statistical physics, but most of these problems,including the YM mass gap, are open.
I Even physicists do not think they have a proof of mass gap.
I A solution of this problem will explain, roughly speaking, whymass exists in the universe.
Sourav Chatterjee Yang–Mills for probabilists
![Page 104: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/104.jpg)
Open problem #2: Yang–Mills mass gap
I Again, the problem has many parts, but the main step is toshow that 4D non-Abelian lattice gauge theories haveexponential decay of correlations at any β.
I There are standard techniques for showing exponential decayof correlations at small β (e.g. by Dobrushin’s condition).Showing exponential decay at large β is conjectured for manymodels in statistical physics, but most of these problems,including the YM mass gap, are open.
I Even physicists do not think they have a proof of mass gap.
I A solution of this problem will explain, roughly speaking, whymass exists in the universe.
Sourav Chatterjee Yang–Mills for probabilists
![Page 105: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/105.jpg)
Open problem #2: Yang–Mills mass gap
I Again, the problem has many parts, but the main step is toshow that 4D non-Abelian lattice gauge theories haveexponential decay of correlations at any β.
I There are standard techniques for showing exponential decayof correlations at small β (e.g. by Dobrushin’s condition).Showing exponential decay at large β is conjectured for manymodels in statistical physics, but most of these problems,including the YM mass gap, are open.
I Even physicists do not think they have a proof of mass gap.
I A solution of this problem will explain, roughly speaking, whymass exists in the universe.
Sourav Chatterjee Yang–Mills for probabilists
![Page 106: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/106.jpg)
Open problem #3: Quark confinement
I Suppose that we are given a 4D non-Abelian lattice gaugetheory.
I Show that for any β, there are constants C (β) and c(β) suchthat for any loop γ,
|〈Wγ〉| ≤ C (β)e−c(β)area(γ),
where 〈Wγ〉 is the expected value of the Wilson loop variableWγ and area(γ) is the minimal surface area enclosed by γ.
I Showing for rectangles is good enough.I There is a proof at small β by Osterwalder & Seiler (1978).I Proof at large β for 3D U(1) theory by Gopfert and Mack
(1982).I Disproof at large β for 4D U(1) theory by Guth (1980) and
Frohlich & Spencer (1982).I Proof of this conjecture will explain why we do not observe
free quarks in nature. This is one of the biggest mysteries ofparticle physics.
Sourav Chatterjee Yang–Mills for probabilists
![Page 107: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/107.jpg)
Open problem #3: Quark confinement
I Suppose that we are given a 4D non-Abelian lattice gaugetheory.
I Show that for any β, there are constants C (β) and c(β) suchthat for any loop γ,
|〈Wγ〉| ≤ C (β)e−c(β)area(γ),
where 〈Wγ〉 is the expected value of the Wilson loop variableWγ and area(γ) is the minimal surface area enclosed by γ.
I Showing for rectangles is good enough.I There is a proof at small β by Osterwalder & Seiler (1978).I Proof at large β for 3D U(1) theory by Gopfert and Mack
(1982).I Disproof at large β for 4D U(1) theory by Guth (1980) and
Frohlich & Spencer (1982).I Proof of this conjecture will explain why we do not observe
free quarks in nature. This is one of the biggest mysteries ofparticle physics.
Sourav Chatterjee Yang–Mills for probabilists
![Page 108: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/108.jpg)
Open problem #3: Quark confinement
I Suppose that we are given a 4D non-Abelian lattice gaugetheory.
I Show that for any β, there are constants C (β) and c(β) suchthat for any loop γ,
|〈Wγ〉| ≤ C (β)e−c(β)area(γ),
where 〈Wγ〉 is the expected value of the Wilson loop variableWγ and area(γ) is the minimal surface area enclosed by γ.
I Showing for rectangles is good enough.
I There is a proof at small β by Osterwalder & Seiler (1978).I Proof at large β for 3D U(1) theory by Gopfert and Mack
(1982).I Disproof at large β for 4D U(1) theory by Guth (1980) and
Frohlich & Spencer (1982).I Proof of this conjecture will explain why we do not observe
free quarks in nature. This is one of the biggest mysteries ofparticle physics.
Sourav Chatterjee Yang–Mills for probabilists
![Page 109: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/109.jpg)
Open problem #3: Quark confinement
I Suppose that we are given a 4D non-Abelian lattice gaugetheory.
I Show that for any β, there are constants C (β) and c(β) suchthat for any loop γ,
|〈Wγ〉| ≤ C (β)e−c(β)area(γ),
where 〈Wγ〉 is the expected value of the Wilson loop variableWγ and area(γ) is the minimal surface area enclosed by γ.
I Showing for rectangles is good enough.I There is a proof at small β by Osterwalder & Seiler (1978).
I Proof at large β for 3D U(1) theory by Gopfert and Mack(1982).
I Disproof at large β for 4D U(1) theory by Guth (1980) andFrohlich & Spencer (1982).
I Proof of this conjecture will explain why we do not observefree quarks in nature. This is one of the biggest mysteries ofparticle physics.
Sourav Chatterjee Yang–Mills for probabilists
![Page 110: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/110.jpg)
Open problem #3: Quark confinement
I Suppose that we are given a 4D non-Abelian lattice gaugetheory.
I Show that for any β, there are constants C (β) and c(β) suchthat for any loop γ,
|〈Wγ〉| ≤ C (β)e−c(β)area(γ),
where 〈Wγ〉 is the expected value of the Wilson loop variableWγ and area(γ) is the minimal surface area enclosed by γ.
I Showing for rectangles is good enough.I There is a proof at small β by Osterwalder & Seiler (1978).I Proof at large β for 3D U(1) theory by Gopfert and Mack
(1982).
I Disproof at large β for 4D U(1) theory by Guth (1980) andFrohlich & Spencer (1982).
I Proof of this conjecture will explain why we do not observefree quarks in nature. This is one of the biggest mysteries ofparticle physics.
Sourav Chatterjee Yang–Mills for probabilists
![Page 111: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/111.jpg)
Open problem #3: Quark confinement
I Suppose that we are given a 4D non-Abelian lattice gaugetheory.
I Show that for any β, there are constants C (β) and c(β) suchthat for any loop γ,
|〈Wγ〉| ≤ C (β)e−c(β)area(γ),
where 〈Wγ〉 is the expected value of the Wilson loop variableWγ and area(γ) is the minimal surface area enclosed by γ.
I Showing for rectangles is good enough.I There is a proof at small β by Osterwalder & Seiler (1978).I Proof at large β for 3D U(1) theory by Gopfert and Mack
(1982).I Disproof at large β for 4D U(1) theory by Guth (1980) and
Frohlich & Spencer (1982).
I Proof of this conjecture will explain why we do not observefree quarks in nature. This is one of the biggest mysteries ofparticle physics.
Sourav Chatterjee Yang–Mills for probabilists
![Page 112: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/112.jpg)
Open problem #3: Quark confinement
I Suppose that we are given a 4D non-Abelian lattice gaugetheory.
I Show that for any β, there are constants C (β) and c(β) suchthat for any loop γ,
|〈Wγ〉| ≤ C (β)e−c(β)area(γ),
where 〈Wγ〉 is the expected value of the Wilson loop variableWγ and area(γ) is the minimal surface area enclosed by γ.
I Showing for rectangles is good enough.I There is a proof at small β by Osterwalder & Seiler (1978).I Proof at large β for 3D U(1) theory by Gopfert and Mack
(1982).I Disproof at large β for 4D U(1) theory by Guth (1980) and
Frohlich & Spencer (1982).I Proof of this conjecture will explain why we do not observe
free quarks in nature. This is one of the biggest mysteries ofparticle physics.
Sourav Chatterjee Yang–Mills for probabilists
![Page 113: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/113.jpg)
Open problem #4: Gauge-string duality
I Recall that gauge-string duality is an attempt to unifyquantum field theories and gravity.
I Technically speaking, this problem can be discussed only aftersolving the problem of YM existence.
I The main step is to show that Wilson loop expectations in acontinuum Yang–Mills theory can be expressed as integralsover trajectories of strings in a string theory, where thetrajectories are in one dimension higher.
Sourav Chatterjee Yang–Mills for probabilists
![Page 114: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/114.jpg)
Open problem #4: Gauge-string duality
I Recall that gauge-string duality is an attempt to unifyquantum field theories and gravity.
I Technically speaking, this problem can be discussed only aftersolving the problem of YM existence.
I The main step is to show that Wilson loop expectations in acontinuum Yang–Mills theory can be expressed as integralsover trajectories of strings in a string theory, where thetrajectories are in one dimension higher.
Sourav Chatterjee Yang–Mills for probabilists
![Page 115: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/115.jpg)
Open problem #4: Gauge-string duality
I Recall that gauge-string duality is an attempt to unifyquantum field theories and gravity.
I Technically speaking, this problem can be discussed only aftersolving the problem of YM existence.
I The main step is to show that Wilson loop expectations in acontinuum Yang–Mills theory can be expressed as integralsover trajectories of strings in a string theory, where thetrajectories are in one dimension higher.
Sourav Chatterjee Yang–Mills for probabilists
![Page 116: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/116.jpg)
Some results about gauge-string duality
I Consider SO(N) lattice gauge theory on Zn, n arbitrary.
I In recent work (C., 2015 and C. & Jafarov, 2016), we gave aformula for Wilson loop expectations in this theory asasymptotic series expansions in 1/N, where each coefficient inthe series arises as a sum over trajectories in a certain latticestring theory, where the trajectories are in Zn+1.
I This proves a version of gauge-string duality and theholographic principle. Possibly the first rigorous result.
I The expansion was proved only at small β (strong coupling).Will be a very important breakthrough to prove somethingsimilar at large β.
I In 2D, the terms were explicitly evaluated by Basu & Ganguly(2016) using combinatorial techniques. May be the techniquescan extend to higher dimensions?
Sourav Chatterjee Yang–Mills for probabilists
![Page 117: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/117.jpg)
Some results about gauge-string duality
I Consider SO(N) lattice gauge theory on Zn, n arbitrary.
I In recent work (C., 2015 and C. & Jafarov, 2016), we gave aformula for Wilson loop expectations in this theory asasymptotic series expansions in 1/N, where each coefficient inthe series arises as a sum over trajectories in a certain latticestring theory, where the trajectories are in Zn+1.
I This proves a version of gauge-string duality and theholographic principle. Possibly the first rigorous result.
I The expansion was proved only at small β (strong coupling).Will be a very important breakthrough to prove somethingsimilar at large β.
I In 2D, the terms were explicitly evaluated by Basu & Ganguly(2016) using combinatorial techniques. May be the techniquescan extend to higher dimensions?
Sourav Chatterjee Yang–Mills for probabilists
![Page 118: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/118.jpg)
Some results about gauge-string duality
I Consider SO(N) lattice gauge theory on Zn, n arbitrary.
I In recent work (C., 2015 and C. & Jafarov, 2016), we gave aformula for Wilson loop expectations in this theory asasymptotic series expansions in 1/N, where each coefficient inthe series arises as a sum over trajectories in a certain latticestring theory, where the trajectories are in Zn+1.
I This proves a version of gauge-string duality and theholographic principle. Possibly the first rigorous result.
I The expansion was proved only at small β (strong coupling).Will be a very important breakthrough to prove somethingsimilar at large β.
I In 2D, the terms were explicitly evaluated by Basu & Ganguly(2016) using combinatorial techniques. May be the techniquescan extend to higher dimensions?
Sourav Chatterjee Yang–Mills for probabilists
![Page 119: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/119.jpg)
Some results about gauge-string duality
I Consider SO(N) lattice gauge theory on Zn, n arbitrary.
I In recent work (C., 2015 and C. & Jafarov, 2016), we gave aformula for Wilson loop expectations in this theory asasymptotic series expansions in 1/N, where each coefficient inthe series arises as a sum over trajectories in a certain latticestring theory, where the trajectories are in Zn+1.
I This proves a version of gauge-string duality and theholographic principle. Possibly the first rigorous result.
I The expansion was proved only at small β (strong coupling).Will be a very important breakthrough to prove somethingsimilar at large β.
I In 2D, the terms were explicitly evaluated by Basu & Ganguly(2016) using combinatorial techniques. May be the techniquescan extend to higher dimensions?
Sourav Chatterjee Yang–Mills for probabilists
![Page 120: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/120.jpg)
Some results about gauge-string duality
I Consider SO(N) lattice gauge theory on Zn, n arbitrary.
I In recent work (C., 2015 and C. & Jafarov, 2016), we gave aformula for Wilson loop expectations in this theory asasymptotic series expansions in 1/N, where each coefficient inthe series arises as a sum over trajectories in a certain latticestring theory, where the trajectories are in Zn+1.
I This proves a version of gauge-string duality and theholographic principle. Possibly the first rigorous result.
I The expansion was proved only at small β (strong coupling).Will be a very important breakthrough to prove somethingsimilar at large β.
I In 2D, the terms were explicitly evaluated by Basu & Ganguly(2016) using combinatorial techniques. May be the techniquescan extend to higher dimensions?
Sourav Chatterjee Yang–Mills for probabilists
![Page 121: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/121.jpg)
The master loop equation
The following is a generalization of what are called Makeenko–Migdalequations or master loop equations. They hold at all β, and give the startingpoint for the proof of the 1/N expansion and gauge-string duality.
Theorem (C., 2015)Consider SO(N) LGT on Zn. For a collection of loops s = (`1, . . . , `m), define
φ(s) :=〈W`1W`2 · · ·W`m 〉
Nm.
Let |s| be the total number of edges in s. Then
(N − 1)|s|φ(s) =∑
s′∈T−(s)
φ(s ′)−∑
s′∈T+(s)
φ(s ′) + N∑
s′∈S−(s)
φ(s ′)
− N∑
s′∈S+(s)
φ(s ′) +1
N
∑s′∈M−(s)
φ(s ′)− 1
N
∑s′∈M+(s)
φ(s ′)
+ Nβ∑
s′∈D−(s)
φ(s ′)− Nβ∑
s′∈D+(s)
φ(s ′),
where T±, S±, M± and D± are certain operations that produce new collectionsof loops from old.
Sourav Chatterjee Yang–Mills for probabilists
![Page 122: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/122.jpg)
The master loop equation
The following is a generalization of what are called Makeenko–Migdalequations or master loop equations. They hold at all β, and give the startingpoint for the proof of the 1/N expansion and gauge-string duality.
Theorem (C., 2015)Consider SO(N) LGT on Zn. For a collection of loops s = (`1, . . . , `m), define
φ(s) :=〈W`1W`2 · · ·W`m 〉
Nm.
Let |s| be the total number of edges in s. Then
(N − 1)|s|φ(s) =∑
s′∈T−(s)
φ(s ′)−∑
s′∈T+(s)
φ(s ′) + N∑
s′∈S−(s)
φ(s ′)
− N∑
s′∈S+(s)
φ(s ′) +1
N
∑s′∈M−(s)
φ(s ′)− 1
N
∑s′∈M+(s)
φ(s ′)
+ Nβ∑
s′∈D−(s)
φ(s ′)− Nβ∑
s′∈D+(s)
φ(s ′),
where T±, S±, M± and D± are certain operations that produce new collectionsof loops from old.
Sourav Chatterjee Yang–Mills for probabilists
![Page 123: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/123.jpg)
Final remarks
I I have a very recent preprint on arXiv, with the same title asthis talk, that contains most of this talk in greater detail.
I The preprint also has an extensive review of the mathematicalliterature on these topics, which I did not cover in this talk.
I Special thanks to David Brydges, Erhard Seiler and SteveShenker for teaching me most of what I know aboutYang–Mills theories, lattice gauge theories and quantum fieldtheories.
Sourav Chatterjee Yang–Mills for probabilists
![Page 124: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/124.jpg)
Final remarks
I I have a very recent preprint on arXiv, with the same title asthis talk, that contains most of this talk in greater detail.
I The preprint also has an extensive review of the mathematicalliterature on these topics, which I did not cover in this talk.
I Special thanks to David Brydges, Erhard Seiler and SteveShenker for teaching me most of what I know aboutYang–Mills theories, lattice gauge theories and quantum fieldtheories.
Sourav Chatterjee Yang–Mills for probabilists
![Page 125: Yang{Mills for probabilists - University of Utahfiras/FPD18/Talks/Chatterjee.pdfSourav Chatterjee Yang{Mills for probabilists Fundamental forces I The four fundamental forces: I The](https://reader033.fdocuments.us/reader033/viewer/2022060209/5f0477207e708231d40e1a87/html5/thumbnails/125.jpg)
Final remarks
I I have a very recent preprint on arXiv, with the same title asthis talk, that contains most of this talk in greater detail.
I The preprint also has an extensive review of the mathematicalliterature on these topics, which I did not cover in this talk.
I Special thanks to David Brydges, Erhard Seiler and SteveShenker for teaching me most of what I know aboutYang–Mills theories, lattice gauge theories and quantum fieldtheories.
Sourav Chatterjee Yang–Mills for probabilists