Copertina

Physics as Code: From Scans to Theorems with ITP APIs in $SU(5)$ Model Building

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Krippendorf, Sven, Tooby-Smith, Joseph
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	High Energy Physics - Theory Logic in Computer Science High Energy Physics - Phenomenology
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Formalizing the stability of the two Higgs doublet model potential into Lean: identifying an error in the literature
di: Tooby-Smith, Joseph
Pubblicazione: (2026)

HepLean: Digitalising high energy physics
di: Tooby-Smith, Joseph
Pubblicazione: (2024)

Formalization of physics index notation in Lean 4
di: Tooby-Smith, Joseph
Pubblicazione: (2024)

Digitalizing Wick's theorem
di: Tooby-Smith, Joseph
Pubblicazione: (2025)

Solving inverse problems of Type IIB flux vacua with conditional generative models
di: Krippendorf, Sven, et al.
Pubblicazione: (2025)

The Tameness of Quantum Field Theory, Part I -- Amplitudes
di: Douglas, Michael R., et al.
Pubblicazione: (2022)

Deep observations of the Type IIB flux landscape
di: Chauhan, Aman, et al.
Pubblicazione: (2025)

Complexity in Tame Quantum Theories
di: Grimm, Thomas W., et al.
Pubblicazione: (2023)

New Soft Theorems for Two-Scalar Sigma Models
di: Kampf, Karol, et al.
Pubblicazione: (2024)

Theorem on vacuum stability
di: Milagre, André, et al.
Pubblicazione: (2024)

Quantum corrections and the minimal Yukawa sector of $SU(5)$
di: Patel, Ketan M., et al.
Pubblicazione: (2023)

Constraining F-theory Model Building with QCD Axions
di: Chen, Keren, et al.
Pubblicazione: (2026)

Minimal dark matter in $SU(5)$ grand unification
di: Toma, Takashi
Pubblicazione: (2024)

Minimal SU(5) theory on the edge: the importance of being effective
di: Senjanović, Goran, et al.
Pubblicazione: (2024)

Towards Beyond Standard Model Model-Building with Reinforcement Learning on Graphs
di: Wojcik, George N., et al.
Pubblicazione: (2024)

An All-loop Soft Theorem for Pions
di: Bartsch, Christoph, et al.
Pubblicazione: (2024)

On approximations of Feynman path integrals
di: Hyttinen, Tapani
Pubblicazione: (2022)

Five benefits of grand unified $SU(5)$ brane world scenario
di: Arai, Masato, et al.
Pubblicazione: (2026)

Tri-unification: a separate $SU(5)$ for each fermion family
di: Navarro, Mario Fernández, et al.
Pubblicazione: (2023)

Chiral Magnetic Effect and Negative Magnetoresistance across the phase diagram of finite-density SU(2) gauge theory
di: Buividovich, P. V., et al.
Pubblicazione: (2026)

Derivation of Meson Masses in SU(3) and SU(4) Extended Linear-Sigma Model at Finite Temperature
di: Tawfik, Abdel Nasser, et al.
Pubblicazione: (2025)

Recursion for Differential Cross-Section from the Optical Theorem
di: Garg, Vatsal, et al.
Pubblicazione: (2024)

Muon $g-2$ and Proton Lifetime in SUSY SU(5) GUTs with Split Superpartners
di: Kim, Seong-Sik, et al.
Pubblicazione: (2024)

Mass and Isospin Breaking Effects in the Skyrme Model and in Holographic QCD
di: Bartolini, Lorenzo, et al.
Pubblicazione: (2023)

Quantum Error Correction Codes for Truncated SU(2) Lattice Gauge Theories
di: Yao, Xiaojun
Pubblicazione: (2025)

Temperature Dependence of the Masses of Various Meson States: A Comparative Study in SU(3) and SU(4) extended Linear-Sigma Model
di: Friesen, Alexandra, et al.
Pubblicazione: (2025)

A Core Representation Theorem for Scheme-Invariant Collinear Factorization in QCD
di: Keller, Dustin
Pubblicazione: (2026)

A New Non-Renormalization Theorem from UV/IR Mixing
di: Abel, Steven, et al.
Pubblicazione: (2024)

From the Unification of Conformal and Fuzzy Gravities with Internal Interactions to the $SO(10)$ GUT and the Particle Physics Standard Model
di: Patellis, Gregory, et al.
Pubblicazione: (2024)

Boundary terms in the Witten-Sakai-Sugimoto model at finite density
di: Bartolini, Lorenzo, et al.
Pubblicazione: (2023)

Chiral non-Abelian vortex molecules in dense QCD
di: Gudnason, Sven Bjarke, et al.
Pubblicazione: (2025)

$n-\overline{n}$ Oscillation in $S^1/Z_2\times Z_2'$ Orbifold $SU(5)$ GUT
di: Das, Ankit, et al.
Pubblicazione: (2024)

The Equivalence Theorem at work: manifestly gauge-invariant Abelian Higgs model physics
di: Boeykens, Bram, et al.
Pubblicazione: (2024)

Two-Loop Renormalization of a Chiral $SU(2)$ Gauge Theory in Dimensional Regularization with Non-Anticommuting $γ_5$
di: Kühler, Paul, et al.
Pubblicazione: (2025)

Geometric Building Blocks of Effective Field Theory Amplitudes
di: Cohen, Timothy, et al.
Pubblicazione: (2025)

On the Lagrangian and fermion mass of the unified $SU(2) \otimes SU(4)$ gauge field theory
di: Marsch, Eckart, et al.
Pubblicazione: (2025)

Soft Theorem to Three Loops in QCD and ${\cal N} = 4$ Super Yang-Mills Theory
di: Chen, Wen, et al.
Pubblicazione: (2023)

On evolution kernels of twist-two operators
di: Ji, Yao, et al.
Pubblicazione: (2023)

Spinodal Gravitational Waves
di: Bea, Yago, et al.
Pubblicazione: (2021)

Tribrid Inflation, Type II Leptogenesis, and Observable Gravitational Waves in $SU(3)_c \times SU(2)_L \times SU(2)_R \times U(1)_{B-L}$
di: Ahmed, Waqas, et al.
Pubblicazione: (2025)