Alphabeta Math
Open problemQuestion: Literature-sourcedProof: Not applicablePipeline-generated‡ sources checked 2026-11-04
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 N=1 minimal model as the infrared limit of a two-field cubic Landau–Ginzburg model

Physical scope

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 u=(u1,u2)∈R2 be Euclidean spacetime coordinates. Let θ,θ~ be independent Grassmann-odd coordinates of mass dimension −1/2, so θ2=θ~2=0 and θθ~=−θ~θ. In the source's Euclidean d=2 convention, take two real N=1 scalar superfields with component expansions

X(u,θ,θ~)=ϕX(u)+iθψX(u)+iθ~ψ~X(u)+θθ~FX(u),Y(u,θ,θ~)=ϕY(u)+iθψY(u)+iθ~ψ~Y(u)+θθ~FY(u).

Here ϕX,ϕY,FX,FY:R2→R are smooth real scalar profiles. Let ΛR be a real Grassmann algebra and let Λ=ΛR⊗RC, with the antilinear involution ρ(a⊗z)=a⊗zˉ. Its odd generators anticommute. Use the real structure ρ componentwise on C2⊗Λ1ˉ and require ρ(Ψi)=Ψi, where Ψi=(ψi,ψ~i)T for i∈{X,Y}. 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 [ϕi]=0, [Ψi]=1/2, [Fi]=1, and g1,g2∈R with mass dimension one, in units ℏ=1. 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

W(X,Y)=g12XY2+g26X3.

Choose γ1=(0110) and γ2=(100−1), so {γμ,γν}=2δμνI. These real matrices preserve the stated real structure. Put C=i(01−10), define Ψˉj:=ΨjTC, and set ∂̸=γ1∂1+γ2∂2. In particular the kinetic bilinear means the ordered Grassmann expression Ψˉj∂̸Ψj=∑μ=12ΨjTCγμ∂μΨj, with derivatives acting on the field to their right. The scalar bilinear is ΨˉjΨk=ΨjTCΨk. This fixes both bilinears, including their common phase, in a real Clifford basis for the Euclidean continuation. Let hijk:=∂i∂j∂kW for polynomial derivatives in the field variables X,Y. The source's canonical component action after eliminating the algebraic auxiliary fields is SE=∫R2d2u LE, where

LE=12∑i=X,Y(∂μϕi)2+12∑i=X,YΨˉi∂̸Ψi+12∑i,j,k=X,YhijkϕiΨˉjΨk+12∑i=X,Y(∂iW)2.

In LE, the derivatives of W are evaluated at X=ϕX(u) and Y=ϕY(u). In the source's spinor convention ΨˉkΨl=i(ψkψ~l+ψlψ~k). The R-parity acts as Φ(u,θ,θ~)↦−Φ(u,−θ,θ~) for Φ=(X,Y); equivalently it sends (ϕi,ψi,ψ~i,Fi) to (−ϕi,ψi,−ψ~i,Fi). Determine whether the continuum theory at the proposed coupled fixed point flows in d=2 to the exceptional (E6,D8), m=12 N=1 minimal-model target defined in Source-defined exceptional N=1 minimal-model target data, including its extended SW(3/2,5/2) chiral algebra, R-parity grading and operator dictionary. The N=1 super-Virasoro subalgebra uses N=1 superconformal mode algebra in NS and Ramond sectors.

The target in the question is the extended super-W3 model, not a theory specified only by the N=1 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 d=4−ϵ with a weakly coupled fixed point near g1/g2=3/2+O(ϵ); dimensions continued to d=2 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 g1=g2 decoupled fixed point is the separate m=10, (D6,E6) 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.

Depends on

Dependency tree · 2 levels

Sources