:: Library Catalog

表紙画像

保存先:

書誌詳細
第一著者:	Itakura, Hidetoshi
フォーマット:	Recurso digital
言語:	英語
出版事項:	Zenodo 2026
主題:	4D mass gap Yang–Mills Lean 4 formal verification spectral gap machine-checked mathematics proof architecture normalized mass gap external audit MGAP4D
オンライン･アクセス:	https://doi.org/10.5281/zenodo.20181046
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

類似資料

Carry Mixing and Spectral Gap Analysis of the Collatz Conjecture: 202 Lean4 Theorems and the Fibonacci Firewall
著者:: Fujimoto, Nobuki, 等
出版事項: (2026)

Yang-Mills Existence and Mass Gap
著者:: Keen, Joseph
出版事項: (2026)

Yang--Mills Mass gap solution for clay
著者:: Hoey, BENJAMIN
出版事項: (2026)

Completing the Cohomological Extension Package: Section Cocycles and Splitting Criterion for Mathlib
著者:: Spivack, Nova
出版事項: (2026)

Canonical Certification Does Not Exhaust Reflective Structure: Reflective Split, Strict Refinement, and Fiber Structure in Infinity Compression
著者:: Spivack, Nova
出版事項: (2026)

Constraint-Driven Closure and the Yang–Mills Mass Gap
著者:: Maley, Amos Jay
出版事項: (2026)

Unified Field Theory and Yang–Mills Existence with Mass Gap
著者:: 高, 小飞
出版事項: (2026)

Yang–Mills Existence and Mass Gap: A Constructive Proof via Lattice Gauge Theory and B4 Root System Classification
著者:: Brown, Edward
出版事項: (2026)

Geometric Boundary Projection (CQM like mass model) 54 baryons MAPE less than 0.4% RMSE less than 18 Zero free Parameters
著者:: Richardson, Jason
出版事項: (2026)

An Explanation of the Yang–Mills Mass Gap via the Coherent Unified Field from a Virtual Universe Perspective
著者:: Yi, Zhongning
出版事項: (2026)

Vacuum-sector mass gap for the local gauge-invariant sharp-local Yang–Mills net
著者:: Maley, Amos Jay
出版事項: (2026)

The thinking of the Yang-Mills existence and mass gap problem: Part 1, Topological Quantum Field Theory and Algebraic Geometry Path to Yang-Mills Existence and Mass Gap Issue
著者:: ZHOU, changzheng, 等
出版事項: (2025)

Phase Closure on the Planck Lattice: A Conditional Proof of the Yang–Mills Mass Gap
著者:: Clark, Robert M.
出版事項: (2026)

Structural Mass Emergence Theorem (SMET): A Classificatory Framework for Non-Perturbative Mass Generation in Quantum Field Theory
著者:: Arnaldo Adrian, Ozorio Olea
出版事項: (2026)

Paper V Glueball Harmonics and the Yang-Mills Mass Gap: A Physical Derivation from QCD Confinement Geometry
著者:: Schulz, Matthew
出版事項: (2026)

Yang-Mills Existence and Mass Gap via Self-Adjoint Gauge Persistence (Canonical Lane)
著者:: HautevilleHouse
出版事項: (2026)

The topological necessity of the mass gap
著者:: Goussey, Dirk
出版事項: (2026)

Lean Representational Incompleteness (Lean formalization)
著者:: Spivack, Nova
出版事項: (2026)

Lean Representational Incompleteness (Lean formalization)
著者:: Spivack, Nova
出版事項: (2026)

Lean Reflexive Closure (Lean formalization)
著者:: Spivack, Nova
出版事項: (2026)

Lean Aps Recursion Uniformization (Lean formalization)
著者:: Spivack, Nova
出版事項: (2026)

Lean Observer Non Exhaustability (Lean formalization)
著者:: Spivack, Nova
出版事項: (2026)

Lean Observer Non Exhaustability (Lean formalization)
著者:: Spivack, Nova
出版事項: (2026)

Lean Reflexive Architecture Nonexhaustibility (Lean formalization)
著者:: Spivack, Nova
出版事項: (2026)

Four-Dimensional Yang–Mills via the Sigma-Lattice Operator Algebra: Reflection Positivity, Transfer Matrix, and Continuum Mass Gap
著者:: Jasinski, Adrian
出版事項: (2025)

Claim Verification: "The binary operator eml is defined by the expression \(\text{eml}(a, b) = \exp(a) - \ln(b)\) (where exp is the exponential function and ln is the principal branch of the natural logarithm). For every real \(x > 0\), the nested expression \(\text{eml}(1, \text{eml}(\text{eml}(1, x), 1))\) equals the natural logarithm \(\ln(x)\)." — Proved
著者:: Proof Engine
出版事項: (2026)

Claim Verification: "The binary operator eml is defined by the expression \(\text{eml}(a, b) = \exp(a) - \ln(b)\). There exists a finite binary tree consisting solely of eml operations, whose 9 leaves are drawn from \(\{1, x, y\}\), such that the tree evaluates exactly to \(x \times y\). The tree has K = 17 tokens (8 eml operations and 9 leaves), and the identity holds for all complex \(x\) and \(y\) (in the algebraic setting where \(\ln \circ \exp\) is the identity)." — Proved
著者:: Proof Engine
出版事項: (2026)

UGP/GTE Lean formalization
著者:: Spivack, Nova
出版事項: (2026)

Lean Nems (Lean formalization)
著者:: Spivack, Nova
出版事項: (2026)

Formal Verification of Plasma-Mediated N₂ Fixation — Viridis Applied Proofs Series 1
著者:: Hart, Justin
出版事項: (2026)

Topological Origin of the Mass Gap in Topological Gauge Duality D; Exploring the Universality of the Three-Criteria Framework
著者:: zhou, changzheng, 等
出版事項: (2025)

Hamiltonian Reduction, Dual-Entropy Lyapunov Control, and the Yang–Mills Mass-Gap Problem
著者:: Caffagni, Andrea
出版事項: (2026)

Abstract Zeta–Möbius Inversion: A Minimal Monoid-Based Schema for Formal Verification
著者:: Jefferson, Bob
出版事項: (2026)

Uniform Spectral Gap and Renormalization Stability in Lattice Yang–Mills Theory
著者:: Simita Roland
出版事項: (2026)

Hanners Theorem Formalization: Information-Theoretic Foundations of Harmonic Coherence
著者:: Hanners, Michael
出版事項: (2025)

Dyadic Geometry of the Zeta Function — Formal Lean Verification
著者:: Motta, Thiago F.
出版事項: (2026)

Proof Engine Verification (PROVED): Training and running today's frontier AI models consumes more electricity than entire small countries.
著者:: Proof Engine
出版事項: (2026)

Claim Verification: "GLP-1 drugs like Ozempic cause unavoidable major muscle loss and "Ozempic face" even with exercise and high protein intake" — Disproved
著者:: Proof Engine
出版事項: (2026)

Claim Verification: "The Pyramid of Giza was built by slaves." — Disproved
著者:: Proof Engine
出版事項: (2026)

Claim Verification: "AI hallucinations occur on fewer than 5% of factual questions" — Disproved
著者:: Proof Engine
出版事項: (2026)