-
Notifications
You must be signed in to change notification settings - Fork 227
Open
Labels
ams-81: Quantum theorymillenium-problemsClay Maths Institute Millenium ProblemsClay Maths Institute Millenium Problemsneeds-prerequisitesIn order to formalise this conjecture, some major additions on top of mathlib are needed.In order to formalise this conjecture, some major additions on top of mathlib are needed.new conjectureIssues about open conjectures/unsolved problems problem. Category `research open`Issues about open conjectures/unsolved problems problem. Category `research open`
Milestone
Description
What is the conjecture
Yang–Mills Existence and Mass Gap. Prove that for any compact simple gauge group G, a non-trivial quantum Yang–Mills theory exists on R 4 {\displaystyle \mathbb {R} ^{4}} and has a mass gap Δ > 0. Existence includes establishing axiomatic properties at least as strong as those cited in Streater & Wightman (1964), Osterwalder & Schrader (1973) and Osterwalder & Schrader (1975).
One of the Millennium Problems posed by the Clay Mathematics Institute.
See here for the PDF by the Clay Mathematics Institute:
https://www.claymath.org/wp-content/uploads/2022/06/yangmills.pdf
Prerequisites needed
A lot of Quantum Field Theory I suppose. If we ever get to state, where we could formalize it in, then we probably would need the Prerequisites from PhysLean.
AMS categories
- ams-81
Choose either option
- I plan on adding this conjecture to the repository
- This issue is up for grabs: I would like to see this conjecture added by somebody else
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
ams-81: Quantum theorymillenium-problemsClay Maths Institute Millenium ProblemsClay Maths Institute Millenium Problemsneeds-prerequisitesIn order to formalise this conjecture, some major additions on top of mathlib are needed.In order to formalise this conjecture, some major additions on top of mathlib are needed.new conjectureIssues about open conjectures/unsolved problems problem. Category `research open`Issues about open conjectures/unsolved problems problem. Category `research open`