The published foundations of TFPT
Read the original registered statements beside their paper sections, assumptions and verification sources. The later reviewed research stays connected through a separate record.
Claims without an authored topic assignment
723 matching active claims. Showing at most 20 per page. Original statement text and long numerical details open within each claim.
Origin Theory
Origin Theory
Original identifier and classification
MCKAY.E8.01Lattice (McKay correspondence, exact)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
CMNORM.DUAL.01Identity (exact ring arithmetic)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceRed-team audit
Red-team audit
Original identifier and classification
E8.CHAN.01Identity (exact)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
QGEO.RR.01Identity (exact index) [E]/[C]/[O]
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
QEC.SEAM.01Numerical (contraction bound) [E]/[C]
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceRed-team audit
Red-team audit
Original identifier and classification
CP.MOD.01Identity/Numerical (modular) [E]/[C]
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceRed-team audit
Red-team audit
Original identifier and classification
DUAL.FRAME.01Identity (exact) [E]/[C]
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceStandard Model and flavor structure
Standard Model and flavor structure
Original identifier and classification
FTR.PATH.01Identity (exact) [E]/[C]
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceStandard Model and flavor structure
Standard Model and flavor structure
Original identifier and classification
LEP.FROB.01Identity (exact algebra) [E]/[C]
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceStandard Model and flavor structure
Standard Model and flavor structure
Original identifier and classification
CENTER.NORM.01Identity (exact) [E]/[C]
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceRed-team audit
Red-team audit
Original identifier and classification
CP.MU6.01Identity (exact) [E]/[C]
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceRed-team audit
Red-team audit
Original identifier and classification
CP.TRIALITY.01Identity (exact) [E]/[C]
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
GATE.HOLO.01Lattice/AQFT selection (exact) [E]/[O]
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch Contract 1 — [formula in source]
tfpt research contracts
Original identifier and classification
GATE.HOLO.02Lattice/CS realisation (exact) [E]/[O]
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
TOPO.BRIESKORN.01Lattice/Topology (exact) [E]/[I]
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch Contract 1 — [formula in source]
tfpt research contracts
Original identifier and classification
GATE.HOLO.03Lattice/topological-order (exact) [E]/[O]
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
DYN.SEMIGROUP.01Numerical (finite-block) [E]/[O]
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
DYN.KMS.01Numerical (finite-block) [E]/[O]
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
DYN.GNS.01Numerical (finite-block) [E]/[O]
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
DHR.SECTORS.01Numerical (finite MTC) [E]/[C]
No authored topic assignment in this snapshot.
Read the statement, conditions and evidence