English
Related papers

Related papers: Atomic saturation of reduced powers

200 papers

We consider the unitarity of the S-matrix for linearized General Relativity coupled to particle physics models. Taking renormalization group effects of the Planck mass into account, we find that the scale at which unitarity is violated is…

High Energy Physics - Theory · Physics 2011-01-27 Michael Atkins , Xavier Calmet

The two model-theoretic concepts of weak saturation and weak amalgamation property are studied in the context of accessible categories. We relate these two concepts providing sufficient conditions for existence and uniqueness of weakly…

Category Theory · Mathematics 2025-08-06 Ivan Di Liberti

Saturation is (mu,kappa)-transferable in T if and only if there is an expansion T_1 of T with |T_1| = |T| such that if M is a mu-saturated model of T_1 and |M| \geq kappa then the reduct M|L(T) is kappa-saturated. We characterize theories…

Logic · Mathematics 2008-02-03 J. Baldwin , R. Grossberg , Saharon Shelah

We show how the formulations of low $x$ physics involving Wilson line operators can be fully rewritten into an infinite twist TMD or GTMD framework, respectively for inclusive and exclusive observables. This leads to a perfect match between…

High Energy Physics - Phenomenology · Physics 2020-01-08 Tolga Altinoluk , Renaud Boussarie

Pairing plays a crucial role in nuclear spectra and attempts to describe it has a long history in nuclear physics. The limiting case in which all single particle states are degenerate, but with different s-wave pairing strengths was only…

Nuclear Theory · Physics 2011-02-18 A. B. Balantekin , Y. Pehlivan

Nuclear density functional theory is the prevalent theoretical framework for accurately describing nuclear properties at the scale of the entire chart of nuclides. Given an energy functional and a many-body scheme (e.g., single- or…

Nuclear Theory · Physics 2020-06-19 N. Schunck , J. O'Neal , M. Grosskopf , E. Lawrence , S. M. Wild

Matroids, particularly linear ones, have been a powerful tool in parameterized complexity for algorithms and kernelization. They have sped up or replaced dynamic programming. Delta-matroids generalize matroids by encapsulating structures…

Data Structures and Algorithms · Computer Science 2025-02-20 Eduard Eiben , Tomohiro Koana , Magnus Wahlström

In this paper we study summability based on double sequences of complex constants as it is defined in "Linear Operators, General Theory" by N. Dunford and J. T. Schwartz. We define "power double sequences" or infinite "power matrices" as…

Classical Analysis and ODEs · Mathematics 2017-09-01 Jinlu Li , Robert Mendris

We present a generalized formulation of the Optimized Effective Potential (OEP) approach to the Self Interaction Correction (SIC) problem in Time Dependent (TD) Density Functional Theory (DFT). The formulation relies on the introduction of…

Quantum Physics · Physics 2016-02-03 J. Messud , P. M. Dinh , P. -G. Reinhard , E. ~Suraud

We argue that the finiteness of quantum gravity amplitudes in fully compactified theories (at least in supersymmetric cases) leads to a bottom-up prediction for the existence of non-trivial dualities. In particular, finiteness requires the…

High Energy Physics - Theory · Physics 2025-08-20 Matilda Delgado , Damian van de Heisteeg , Sanjay Raman , Ethan Torres , Cumrun Vafa , Kai Xu

We analyze possibilities of second-order quantifier elimination for formulae containing parameters -- constants or functions. For this, we use a constraint resolution calculus obtained from specializing the hierarchical superposition…

Logic in Computer Science · Computer Science 2021-07-07 Dennis Peuter , Philipp Marohn , Viorica Sofronie-Stokkermans

In a countable superstable NDOP theory, the existence of a rigid aleph_epsilon-saturated model implies the existence of 2^lambda rigid aleph_epsilon-saturated models of power lambda for every lambda>2^{aleph_0}.

Logic · Mathematics 2007-05-23 Ziv Shami , Saharon Shelah

Superposition is an established decision procedure for a variety of first-order logic theories represented by sets of clauses. A satisfiable theory, saturated by superposition, implicitly defines a minimal term-generated model for the…

Artificial Intelligence · Computer Science 2009-11-30 Matthias Horbach , Christoph Weidenbach

We present the first computation of the thermodynamic properties of the complex su(3) Toda theory. This is possible thanks to a new string hypothesis, which involves bound states that are non self-conjugate solutions of the Bethe equations.…

High Energy Physics - Theory · Physics 2009-10-31 H. Saleur , B. Wehefritz-Kaufmann

We argue that symmetry and unification can emerge as byproducts of certain physical constraints on dynamical scattering. To accomplish this we parameterize a general Lorentz invariant, four-dimensional theory of massless and massive scalar…

High Energy Physics - Theory · Physics 2023-01-11 Clifford Cheung , Zander Moss

In what follows, we pose two general conjectures about decompositions of homogeneous polynomials as sums of powers. The first one (suggested by G. Ottaviani) deals with the generic k-rank of complex-valued forms of any degree divisible by k…

Algebraic Geometry · Mathematics 2019-02-07 Samuel Lundqvist , Alessandro Oneto , Bruce Reznick , Boris Shapiro

We show that first-order logic can be translated into a very simple and weak logic, and thus set theory can be formalized in this weak logic. This weak logical system is equivalent to the equational theory of Boolean algebras with three…

Logic · Mathematics 2011-11-07 H. Andréka , I. Németi

From general Fermi liquid theory arguments, we derive correlations among the symmetry energy (J), its slope parameter (L), and curvature (K_sym) at nuclear matter saturation density. We argue that certain properties of these correlations do…

Nuclear Theory · Physics 2018-08-01 Jeremy W. Holt , Yeunhwan Lim

We introduce and study a generalization of majorization called relative submajorization and show that it has many applications to the resource theories of thermodynamics, bipartite entanglement, and quantum coherence. In particular, we show…

Quantum Physics · Physics 2016-12-28 Joseph M. Renes

The elliptic flow in collisions of neutron-rich heavy-ion systems at intermediate energies emerges as an observable sensitive to the strength of the symmetry energy at supra-saturation densities. First results obtained by comparing ratios…

Nuclear Experiment · Physics 2014-02-06 W. Trautmann , H. H. Wolter