Cover Image

Convex Cone of Energy Tensors under AQEI: Formal Verification and Computational Exploration

Fuente: Zenodo

Saved in:

Bibliographic Details
Main Author:	Sherrington, Ryan
Format:	Recurso digital
Language:	English
Published:	Zenodo 2026
Subjects:	Averaged Quantum Energy Inequalities (AQEI) Lean 4 Formal Verification Convex Geometry Stress-Energy Tensor Extreme Rays Quantum field theory Geometry Minkowski Space Interactive Theorem Proving Exact Rational Arithmetic Polyhedral Geometry Mathematical physics Mathematical Computing Mathematics Wolfram Mathematica
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Convex Cone of Energy Tensors under AQEI: Formal Verification and Computational Exploration
by: Sherrington, Ryan
Published: (2026)

Fermat's Last Theorem: Fully Constructive Proof by Absolute Dynamic Residual Exhaustion Descent (ADRED) — Proof-Theoretic Minimalization
by: Onodera, Hiroaki
Published: (2025)

The Base of All Bases: How 7 Governs Rational Constants and Physical Laws
by: Hassanine, Sam
Published: (2025)

di-Langlands correspondence and extended observables
by: Jeong, Saebyeok, et al.
Published: (2024)

Bispectral duality and separation of variables from surface defect transition
by: Jeong, Saebyeok, et al.
Published: (2024)

Explicit Hamiltonian representations of meromorphic connections and duality from different perspectives: a case study
by: Alameddine, Mohamad, et al.
Published: (2024)

Arithmetic progression operator
by: Aditya das, Aditya das
Published: (2025)

Non-thesis Master's Level Pre-Service Mathematics Teachers' Conceptions of Proof
by: Isikhan Ugurel
Published: (2012)

A Rational Euler Constant in Base 7: Fibonacci-Type Convergence in Rational Harmonic Arithmetic
by: Hassanine, Sam
Published: (2025)

Total partition function with fermionic number fluxes of local toric Calabi--Yau threefold and KP integrability
by: Wang, Zhiyuan, et al.
Published: (2025)

Isomonodromic and isospectral deformations of meromorphic connections: the $\mathfrak{sl}_2(\mathbb{C})$ case
by: Marchal, Olivier, et al.
Published: (2023)

Closed real plane curves of hyperelliptic solutions of focusing gauged modified KdV equation of genus three
by: Matsutani, Shigeki
Published: (2024)

KP solitons and the Riemann theta functions
by: Kodama, Yuji
Published: (2023)

Any topological recursion on a rational spectral curve is KP integrable
by: Alexandrov, Alexander, et al.
Published: (2024)

Dubrovin duality and mirror symmetry for ADE resolutions
by: Brini, Andrea, et al.
Published: (2025)

Hamiltonian representation of isomonodromic deformations of general rational connections on $\mathfrak{gl}_2(\mathbb{C})$
by: Marchal, Olivier, et al.
Published: (2022)

On the geometry of Lagrangian one-forms
by: Caudrelier, Vincent, et al.
Published: (2024)

Quantum Analytic Langlands Correspondence
by: Gaiotto, Davide, et al.
Published: (2024)

Notes on the degenerate integrability of reduced systems obtained from the master systems of free motion on cotangent bundles of compact Lie groups
by: Feher, L.
Published: (2023)

On a Proof of the ADKMV Conjecture -- $3$-KP Integrability of the Topological Vertex
by: Wang, Zhiyuan, et al.
Published: (2024)

Poisson-Lie analogues of spin Sutherland models revisited
by: Feher, L.
Published: (2024)

KP integrability of non-perturbative differentials
by: Alexandrov, Alexander, et al.
Published: (2024)

Spherical singularities in compactified Ruijsenaars--Schneider systems
by: Feher, L., et al.
Published: (2026)

Integrable systems from Poisson reductions of generalized Hamiltonian torus actions
by: Feher, L., et al.
Published: (2025)

Beyond descendants: integrable observables for cohomological field theories
by: Blot, Xavier, et al.
Published: (2026)

A Simple Description of the Hyperkähler Structure of the Cotangent Bundle of Projective Space via Quantization
by: Lackman, Joshua
Published: (2025)

Quantization of Holomorphic Symplectic Manifolds: Analytic Continuation of Path Integrals and Coherent States
by: Lackman, Joshua
Published: (2025)

On a class of integrable deformations of the integrable hierarchy of topological type associated to a semisimple Frobenius manifold
by: Liu, Si-Qi, et al.
Published: (2025)

Duality of operator Frobenius algebras and solution of Eisenhart-Stäckel problem in the non-diagonal case
by: Bolsinov, Alexey V., et al.
Published: (2026)

Closed real plane curves of hyperelliptic solutions of focusing gauged modified KdV equation of genus $g$
by: Matsutani, Shigeki
Published: (2025)

Euler's original derivation of elastica equation
by: Matsutani, Shigeki
Published: (2024)

Galilean symmetry of the KdV hierarchy
by: Xu, Jianghao, et al.
Published: (2024)

KdV integrability in GUE correlators
by: Yang, Di
Published: (2026)

Solutions of the loop equations of a class of generalized Frobenius manifolds
by: Liu, Si-Qi, et al.
Published: (2024)

Mapping partition functions
by: Yang, Di, et al.
Published: (2023)

From Toda Hierarchy to KP Hierarchy
by: Yang, Di, et al.
Published: (2023)

Hamiltonian integrable systems in a magnetic field and Symplectic-Haantjes geometry
by: Kubů, Ondřej, et al.
Published: (2024)

Legendre transformations of a class of generalized Frobenius manifolds and the associated integrable hierarchies
by: Liu, Si-Qi, et al.
Published: (2024)

On the geometry of isomonodromic deformations on the torus and the elliptic Calogero-Moser system
by: Alameddine, Mohamad
Published: (2024)

Invariant Reduction for Partial Differential Equations. IV: Symmetries that Rescale Geometric Structures
by: Druzhkov, Kostya, et al.
Published: (2026)