Comprehensive definitions of technical terms, mathematical notation, and acronyms used in the GIFT framework.

Geometric Information Field Theory. The framework proposing that fundamental physics parameters emerge as topological invariants from ×ばつE8 structure compactified on G2 holonomy manifolds.

A compact 7-dimensional Riemannian manifold with G2 holonomy. The subscript 7 indicates dimension. Specific topological properties: b2(K7) = 21, b3(K7) = 77.

Framework uses hierarchical classification for results:

• VERIFIED (Lean 4): Formally verified by Lean 4 kernel with Mathlib (machine-checked proofs, zero domain axioms, zero sorry)
• VERIFIED: Exact topological identity with rigorous mathematical proof
• TOPOLOGICAL: Direct consequence of topological structure
• DERIVED: Calculated from proven relations
• THEORETICAL: Has theoretical justification, proof incomplete
• PHENOMENOLOGICAL: Empirically accurate, derivation in progress
• EXPLORATORY: Preliminary investigation, mechanism uncertain

The largest exceptional simple Lie algebra. Properties:

• Dimension: 248
• Rank: 8
• Root system: 240 roots, all length √2
• Simply-laced (all roots equal length)
• Cartan matrix determinant: 1

Product of two independent copies of E8. Total dimension 496 = ×ばつ248.

The automorphism group of the octonions. A 14-dimensional exceptional Lie group. Smallest exceptional group, important for 7-dimensional geometry.

Special Unitary Group. Group of ×ばつN unitary matrices with determinant 1.

• SU(3): Strong force (quantum chromodynamics)
• SU(2): Weak force component
• U(1): Electromagnetic force component

Five Lie algebras that don't fit standard infinite families:

• G2 (dimension 14, rank 2)
• F4 (dimension 52, rank 4)
• E6 (dimension 78, rank 6)
• E7 (dimension 133, rank 7)
• E8 (dimension 248, rank 8)

Symmetry group of root system. For E8, the Weyl group has order 696,729,600.

Set of vectors in Euclidean space satisfying reflection symmetry. For E8: 240 roots arranged in highly symmetric configuration.

Dimension of maximal torus (maximal abelian subgroup). For E8: rank 8.

Geometric property describing how vectors change when parallel-transported around closed loops. G2 holonomy implies special geometric structure.

Mathematical tool measuring topological features. For K7:

• H2(K7) = R21: Related to gauge bosons
• H3(K7) = R77: Related to chiral fermions

Topological invariants counting independent homology classes.

• b2: Second Betti number (2-dimensional holes)
• b3: Third Betti number (3-dimensional holes) For K7: b2 = 21, b3 = 77

Anti-de Sitter space in 4 dimensions. Maximally symmetric spacetime with negative cosmological constant. Used in holographic models and GIFT compactification.

Topological space that is closed (contains all limit points) and bounded. K7 is compact, allowing consistent dimensional reduction.

Manifold with Ricci curvature tensor equal to zero. G2 holonomy manifolds are automatically Ricci-flat, suitable for compactification.

Differential forms satisfying Laplace equation. Zero modes in dimensional reduction corresponding to 4D fields.

Process of compactifying extra dimensions to derive lower-dimensional effective theory. Fields decompose into tower of modes.

Current theory of particle physics describing electromagnetic, weak, and strong forces. Contains 19 free parameters in conventional formulation.

Family of fermions. Standard Model has three generations:

• First: (u, d, e, νe)
• Second: (c, s, μ, νμ)
• Third: (t, b, τ, ντ)

Strength of force interaction. Three in Standard Model:

• α: Electromagnetic (fine structure constant)
• g2: Weak force
• g3 (or α_s): Strong force

Dimensionless coupling for electromagnetic interaction. α ≈ 1/137.036.

Parameter relating electromagnetic and weak forces. sin2θ_W ≈ 0.231.

Coupling constant for quantum chromodynamics. α_s(M_Z) ≈ 0.118.

Cabibbo-Kobayashi-Maskawa matrix. ×ばつ3 unitary matrix describing quark mixing between generations. Contains 4 independent parameters (3 angles, 1 phase).

Pontecorvo-Maki-Nakagawa-Sakata matrix. Analogous to CKM for neutrino sector. Contains 3 mixing angles (θ12, θ13, θ23) and CP violation phase (δ_CP).

Breaking of combined charge conjugation (C) and parity (P) symmetry. Observed in quark and neutrino sectors.

Interaction strength between fermions and Higgs field, determining fermion masses.

Process by which gauge bosons acquire mass through spontaneous symmetry breaking.

Vacuum Expectation Value. Non-zero value of Higgs field in vacuum, v ≈ 246 GeV.

Number of fermion generations. Experimentally: 3. GIFT predicts: rank(E8) - rank(Weyl) = 3.

CP-violating phase in neutrino mixing. GIFT predicts: 197° from formula dim(K7)×ばつdim(G2) + H* = ×ばつ14 + 99 = 197°.

Three neutrino mixing angles in PMNS matrix.

• θ12 ≈ 33.44° (solar mixing)
• θ13 ≈ 8.61° (reactor mixing)
• θ23 ≈ 49.2° (atmospheric mixing)

Parameter in Koide formula relating charged lepton masses:

Q = (me + mμ + mτ)2 / (me2 + mμ2 + mτ2)

Experimental: Q ≈ 2/3. GIFT: Q = 2/3 exactly.

Dark energy density as fraction of critical density. Experimental: Ω_DE ≈ 0.689. GIFT: Ω_DE = ln(2) ≈ 0.693.

Hubble constant. Current expansion rate of universe. Local measurements: ~73 km/s/Mpc. CMB measurements: ~67 km/s/Mpc. "Hubble tension" refers to discrepancy.

Pi, ratio of circle circumference to diameter. π ≈ 3.14159...

Euler's number, base of natural logarithm. e ≈ 2.71828...

Golden ratio. φ = (1 + √5)/2 ≈ 1.61803... Appears in E8 via McKay correspondence.

Riemann zeta function at 3. ζ(3) = 1 + 1/8 + 1/27 + ... ≈ 1.202. Appears in δ_CP formula.

Natural logarithm of 2 ≈ 0.693. Related to dark energy density and information theory (bits vs nats).

Structure based on powers of 2. ×ばつE8 dimension 496 ≈ 248 + 48, suggestive of binary encoding.

Method of protecting quantum information from errors. E8 lattice forms 248, 12, 56 code.

Notation for quantum error correction code:

• n: Number of physical qubits
• k: Number of logical qubits encoded
• d: Distance (number of errors correctable)

Ratio of input to output dimensions. ×ばつE8: 496 → 99 gives ratio ≈ 5:1.

Particle Data Group. International collaboration compiling experimental particle physics data. Standard reference for measured parameters.

Large Hadron Collider. Particle accelerator at CERN. Discovered Higgs boson in 2012.

Particle physics experiment in Japan studying B mesons and precision measurements.

Deep Underground Neutrino Experiment. Future neutrino experiment in USA for precision measurements.

Tokai to Kamioka. Long-baseline neutrino experiment in Japan.

NuMI Off-Axis νe Appearance. Neutrino experiment in USA.

Dimension of Lie group or algebra G. Example: dim(E8) = 248.

Rank of Lie algebra G. Example: rank(E8) = 8.

n-th cohomology group of manifold M. Example: H2(K7) = R21.

n-th Betti number, dimension of Hn. Example: b3(K7) = 77.

Absolute value or cardinality (size of set).

Direct sum of vector spaces or algebras.

Tensor product.

"Element of" (set membership).

"For all" (universal quantifier).

"There exists" (existential quantifier).

Approximately equal.

Identically equal or defined as.

Of the same order of magnitude, or equivalent to.

Fine structure constant, α ≈ 1/137.

Base coupling parameter, β0 = 1/(4π2).

Heat kernel coefficient or Euler-Mascheroni constant.

CP violation phase (δ_CP) or small deviation.

Symmetry breaking parameter, ε0 = 1/8.

Riemann zeta function, ζ(3) appears in δ_CP.

Mixing angles (θ12, θ13, θ23, θ_W).

Correlation parameter, ξ = 5β0/2.

Density parameters (Ω_DE for dark energy).

Golden ratio or angle.

Geometric Information Field Theory

Standard Model (of particle physics)

Grand Unified Theory

Quantum Chromodynamics (strong force)

Quantum Electrodynamics (electromagnetic force)

Electroweak (unified electromagnetic and weak theory)

Supersymmetry

Cosmic Microwave Background

Vacuum Expectation Value

Renormalization Group

Ultraviolet (high energy)

Infrared (low energy)

Leading Order / Next-to-Leading Order / Next-to-Next-to-Leading Order (perturbative expansion)

System where ħ = c = 1. Energies, masses, and momenta have same dimensions.

Giga-electron-volt, 109 eV. Common energy/mass unit in particle physics.

• Proton mass: ~1 GeV
• Higgs boson mass: ~125 GeV
• Top quark mass: ~173 GeV

Mega-electron-volt, 106 eV.

• Electron mass: ~0.511 MeV
• Quark masses: few MeV to few GeV

Mathematical claim with rigorous proof provided.

Direct consequence of manifold topology.

Zero deviation by mathematical construction.

Experimental agreement <1% deviation.

Calculation or result pending refinement.

For more detailed explanations:

• Mathematical foundations: See S1: Foundations
• Particle physics background: See Main Paper Section 1
• Experimental values: See S2: Derivations
• Common questions: See FAQ

This glossary is continuously updated. To suggest additions or corrections:

1. Open issue at https://github.com/gift-framework/GIFT/issues
2. Tag as "documentation"
3. Specify term and proposed definition

Framework introduced in v2.1 connecting non-zero torsion on K7 to RG flow. Key parameters: |T_norm| = 0.0164, |T_costar| = 0.0141.

Mathematical infrastructure linking dimensionless to dimensional observables: Λ_GIFT = ×ばつe×ばつ248/(×ばつπ4) ≈ ×ばつ106.

Theorem prover used for formal verification of GIFT exact relations. The gift-framework/core repository contains 455+ certified relations including E8 root system, G2 cross product properties, spectral theory, TCS bounds, and Yukawa mass ratios. Key theorem: GIFT_framework_certified.

Last updated: v3.3.31 (2026年03月09日)