A major piece of a quantum-physics dictionary may be proved
- What it is
- The paper claims an all-level proof of one specified case of the AGT correspondence in mathematical physics.
- Who did it
- Le-Feng Chen and Kilar Zhang
- What it could mean
- A four-dimensional physics calculation can have a two-dimensional counterpart. This claim would prove one precise version of that surprising bridge at every expansion level—not collapse the full theory into two dimensions.
See the check plan
Evidence & validation
From announcement to evidence
Discovery recorded. State of Proof has not yet examined this claim.
Read the original work
Proof of the AGT Conjecture at Generic β ↗See the proposed checks
Re-derive the factorization and one-box matrix elements; inspect the rational corner-function identity and total-derivative recursion; compare the all-level recurrence with known finite-level calculations under precisely matching genericity assumptions.
No proof docket yet
A docket is the public record of checks and open questions. This paper does not have one yet; the check plan above describes work still to do.
Explore existing proof dockets →
- What it claims
- The authors claim an all-level proof of the four-point SU(2) AGT correspondence with four fundamental hypermultiplets at generic β=-ε₁/ε₂, via generalized-Jack-polynomial Selberg-average factorization and a triangular recursion.
- Why this could matter
- A major piece of a quantum-physics dictionary may be proved The AGT correspondence links calculations in four-dimensional gauge theory to two-dimensional conformal field theory. This paper claims an all-level proof for the four-point SU(2) case at generic beta—not the entire AGT program.
- If it holds up
- Foundational: that specific four-point SU(2), generic-beta correspondence becomes a theorem at every expansion level, strengthening one important part of the broader AGT dictionary.
- If it does not
- Finite-level matches may remain, but the claimed universal translation needs repair—likely in a recursion, factorization, parameter, or normalization step.
- Impact horizon
- Foundational · Quantum field theory · Mathematical physics · Dualities
- Version
- v1, submitted 2026-08-27 17:58:06 UTC; arXiv comment: 7+14 pages.
- Why we tracked it
- It presents itself as a full proof of a named correspondence where the abstract specifies several load-bearing identities and a transition from finite-level evidence to an all-level statement.
- Highest-risk dependency
- The transition from the stated recursion and factorization identities to the complete AGT correspondence at all levels, including parameter-domain and basis-normalization assumptions.
- Available artifacts
- No formal-proof, code, or certificate repository was linked on the primary record at retrieval.
- Current boundary
- Intake record only; examination not started.