How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Exceptional minimal model as the infrared limit of a two-field cubic Landau–Ginzburg model
Two-dimensional N=1 Landau–Ginzburg RG flow of two real scalar superfields with cubic superpotential and the proposed exceptional (E6,D8), m=12 endpoint, extended chiral algebra, R-parity and operator dictionary.
Open problem
Let be Euclidean spacetime coordinates. Let be independent Grassmann-odd coordinates of mass dimension , so and . In the source's Euclidean convention, take two real scalar superfields with component expansions
Here are smooth real scalar profiles. Let be a real Grassmann algebra and let , with the antilinear involution . Its odd generators anticommute. Use the real structure componentwise on and require , where for . This is the Majorana reality convention for the continued Grassmann integration variables used here; the barred field below is a charge-conjugation transpose, not an independent field or a Hermitian adjoint. Take , , , and with mass dimension one, in units . The classical action is evaluated on smooth fields with boundary conditions making its spacetime integral finite; the existence of the continuum quantum theory is not assumed as a proved fact. The cubic superpotential is
Choose and , so . These real matrices preserve the stated real structure. Put , define , and set . In particular the kinetic bilinear means the ordered Grassmann expression , with derivatives acting on the field to their right. The scalar bilinear is . This fixes both bilinears, including their common phase, in a real Clifford basis for the Euclidean continuation. Let for polynomial derivatives in the field variables . The source's canonical component action after eliminating the algebraic auxiliary fields is , where
In , the derivatives of are evaluated at and . In the source's spinor convention . The R-parity acts as for ; equivalently it sends to . Determine whether the continuum theory at the proposed coupled fixed point flows in to the exceptional , minimal-model target defined in Source-defined exceptional minimal-model target data, including its extended chiral algebra, R-parity grading and operator dictionary. The super-Virasoro subalgebra uses superconformal mode algebra in NS and Ramond sectors.
The target in the question is the extended super- model, not a theory specified only by the super-Virasoro algebra.
Status
Open as of 2026-10-26. The current arXiv record lists v2, last revised 2026-09-28, and describes the identification as a proposal. Its evidence includes modular/fusion matching and a Gross–Neveu–Yukawa analysis at with a weakly coupled fixed point near ; dimensions continued to are reported as approximate. Neither that continuation nor the modular/fusion data prove the exact two-dimensional RG endpoint, full local OPE data, or operator dictionary. The decoupled fixed point is the separate , case, not the proposed target. The scope of this status check is the cited current arXiv version and targeted search recorded in batch-29 notes; it is not an exhaustive literature review.