Related papers: Atomic saturation of reduced powers

We consider anti-unification for simply typed lambda terms in associative, commutative, and associative-commutative theories and develop a sound and complete algorithm which takes two lambda terms and computes their generalizations in the…

We bound the number of electrons $Q$ that an atom can bind in excess of neutrality for density functionals generalizing the classical Thomas-Fermi-Weizs\"acker functional: instead of the classical power $5/3$ more general powers $p$ are…

Let $S=\mathbb{K}[x_1,\ldots, x_n]$ be the polynomial ring over a field $\mathbb{K}$ and $\mathfrak{m}= (x_1, \ldots, x_n)$ be the irredundant maximal ideal of $S$. For an ideal $I \subset S$, let $\mathrm{sat}(I)$ be the minimum number $k$…

There is increasing experimental evidence that the superconducting energy gap $\Delta_0$ in the underdoped cuprates is independent of doping concentration $x$ while the superfluid density is linear in $x$. We show that under these…

The problem of simultaneous decomposition of binary forms as sums of powers of linear forms is studied. For generic forms the minimal number of linear forms needed is found and the space parametrizing all the possible decompositions is…

We show how toroidally-compactified eleven-dimensional supergravity can be consistently truncated to yield a variety of maximally-supersymmetric ``massive'' supergravities in spacetime dimensions $D\le 8$. The mass terms arise as a…

We investigate formal power series ideals and their relationship to topological rewriting theory. Since commutative formal power series algebras are Zariski rings, their ideals are closed for the adic topology defined by the maximal ideal…

In this paper we derive part of the low energy action corresponding to F-theory compactifications on specific eight manifolds with SU(3) structure. The setup we use can actually be reduced to compactification of six-dimensional supergravity…

We study the complex Ginzburg-Landau equation posed on possibly unbounded domains, including some singular and saturated nonlinear damping terms. This model interpolates between the nonlinear Schr{\"o}dinger equation and dissipative…

This paper develops a new framework, \emph{simultaneous saturation}, designed to quantify the size of sets whose elements are simultaneously large. The framework establishes a correspondence between the magnitude of such sets and a system…

The nuclear equation-of-state is a topic of highest current interest in nuclear structure and reactions as well as in astrophysics. In particular, the equation-of-state of asymmetric matter and the symmetry energy representing the…

Poisson-Lie duality is a generalization of abelian and non-abelian T-duality, and it can be viewed as a map between solutions of the low-energy effective equations of string theory, i.e. at the (super)gravity level. We show that this fact…

We consider the dimensional reductions of N=4 Supersymmetric Yang-Mills theory on R x S^3 to the three-dimensional theory on R x S^2, the orbifolded theory on R x S^3/Z_k, and the plane-wave matrix model. With explicit emphasis on the…

We quantise the reduced theory obtained by substituting the soliton solutions of affine Toda theory into its symplectic form. The semi-classical S-matrix is found to involve the classical Euler dilogarithm.

We introduce and study a notion of duality for two classes of optimization problems commonly occurring in probability theory. That is, on an abstract measurable space $(\Omega,\mathcal{F})$, we consider pairs $(E,\mathcal{G})$ where $E$ is…

We derive a general expression for Delta rho (or, equivalently, for the oblique parameter T) in the SU(2) x U(1) electroweak model with an arbitrary number of scalar SU(2) doublets, with hypercharge +-1/2, and an arbitrary number of scalar…

A microscopic theory for nuclear pairing is proposed through the generalized density matrix formalism. The analytical equations are as simple as that of the BCS theory, and could be solved within a similar computer time. The current theory…

This talk is an attempt to review all our knowledge on saturation at low $x$ both theoretical and experimental, to stimulate a search for saturation effects at THERA. The main goals of this presentation are 1. To discuss an intuitive…

A concise survey is given of the general method of reduction in the number of coupling parameters. Theories with several independent couplings are related to a set of theories with a single coupling. The reduced theories may or may not have…

The global optimization of atomic clusters represents a fundamental challenge in computational chemistry and materials science due to the exponential growth of local minima with system size (i.e., the curse of dimensionality). We introduce…