Physics as Code: From Scans to Theorems with ITP APIs in $SU(5)$ Model Building
Fuente:
arXiv
Salvato in:
| Autori principali: | Krippendorf, Sven, Tooby-Smith, Joseph |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2026
|
| Soggetti: | |
| Accesso online: | |
| 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)
di: Tooby-Smith, Joseph
Pubblicazione: (2026)
HepLean: Digitalising high energy physics
di: Tooby-Smith, Joseph
Pubblicazione: (2024)
di: Tooby-Smith, Joseph
Pubblicazione: (2024)
Formalization of physics index notation in Lean 4
di: Tooby-Smith, Joseph
Pubblicazione: (2024)
di: Tooby-Smith, Joseph
Pubblicazione: (2024)
Digitalizing Wick's theorem
di: Tooby-Smith, Joseph
Pubblicazione: (2025)
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)
di: Krippendorf, Sven, et al.
Pubblicazione: (2025)
The Tameness of Quantum Field Theory, Part I -- Amplitudes
di: Douglas, Michael R., et al.
Pubblicazione: (2022)
di: Douglas, Michael R., et al.
Pubblicazione: (2022)
Deep observations of the Type IIB flux landscape
di: Chauhan, Aman, et al.
Pubblicazione: (2025)
di: Chauhan, Aman, et al.
Pubblicazione: (2025)
Complexity in Tame Quantum Theories
di: Grimm, Thomas W., et al.
Pubblicazione: (2023)
di: Grimm, Thomas W., et al.
Pubblicazione: (2023)
New Soft Theorems for Two-Scalar Sigma Models
di: Kampf, Karol, et al.
Pubblicazione: (2024)
di: Kampf, Karol, et al.
Pubblicazione: (2024)
Theorem on vacuum stability
di: Milagre, André, et al.
Pubblicazione: (2024)
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)
di: Patel, Ketan M., et al.
Pubblicazione: (2023)
Constraining F-theory Model Building with QCD Axions
di: Chen, Keren, et al.
Pubblicazione: (2026)
di: Chen, Keren, et al.
Pubblicazione: (2026)
Minimal dark matter in $SU(5)$ grand unification
di: Toma, Takashi
Pubblicazione: (2024)
di: Toma, Takashi
Pubblicazione: (2024)
Minimal SU(5) theory on the edge: the importance of being effective
di: Senjanović, Goran, et al.
Pubblicazione: (2024)
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)
di: Wojcik, George N., et al.
Pubblicazione: (2024)
An All-loop Soft Theorem for Pions
di: Bartsch, Christoph, et al.
Pubblicazione: (2024)
di: Bartsch, Christoph, et al.
Pubblicazione: (2024)
On approximations of Feynman path integrals
di: Hyttinen, Tapani
Pubblicazione: (2022)
di: Hyttinen, Tapani
Pubblicazione: (2022)
Five benefits of grand unified $SU(5)$ brane world scenario
di: Arai, Masato, et al.
Pubblicazione: (2026)
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)
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)
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)
di: Tawfik, Abdel Nasser, et al.
Pubblicazione: (2025)
Recursion for Differential Cross-Section from the Optical Theorem
di: Garg, Vatsal, et al.
Pubblicazione: (2024)
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)
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)
di: Bartolini, Lorenzo, et al.
Pubblicazione: (2023)
Quantum Error Correction Codes for Truncated SU(2) Lattice Gauge Theories
di: Yao, Xiaojun
Pubblicazione: (2025)
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)
di: Friesen, Alexandra, et al.
Pubblicazione: (2025)
A Core Representation Theorem for Scheme-Invariant Collinear Factorization in QCD
di: Keller, Dustin
Pubblicazione: (2026)
di: Keller, Dustin
Pubblicazione: (2026)
A New Non-Renormalization Theorem from UV/IR Mixing
di: Abel, Steven, et al.
Pubblicazione: (2024)
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)
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)
di: Bartolini, Lorenzo, et al.
Pubblicazione: (2023)
Chiral non-Abelian vortex molecules in dense QCD
di: Gudnason, Sven Bjarke, et al.
Pubblicazione: (2025)
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)
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)
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)
di: Kühler, Paul, et al.
Pubblicazione: (2025)
Geometric Building Blocks of Effective Field Theory Amplitudes
di: Cohen, Timothy, et al.
Pubblicazione: (2025)
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)
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)
di: Chen, Wen, et al.
Pubblicazione: (2023)
On evolution kernels of twist-two operators
di: Ji, Yao, et al.
Pubblicazione: (2023)
di: Ji, Yao, et al.
Pubblicazione: (2023)
Spinodal Gravitational Waves
di: Bea, Yago, et al.
Pubblicazione: (2021)
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)
di: Ahmed, Waqas, et al.
Pubblicazione: (2025)
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)