Related papers: Atomic saturation of reduced powers
For a few pairs $G\subset \hat G$ of reductive groups, we study the decomposition of irreducible $\hait G$-modules into $G$-modules. In particular, we observe the saturation property for all of these pairs.
We use a toy model to illustrate how to build effective theories for singular potentials. We consider a central attractive 1/r^2 potential perturbed by a 1/r^4 correction. The power-counting rule, an important ingredient of effective…
We review several problems of conventional Grand Unification and some new approaches. In particular, we discuss strongly coupled Grand Unified Theories. Standard Model may emerge as a low energy effective theory of composite particles in…
Bonnor's map in General Relativity is duality between (dimensionally reduced) vacuum gravity and static truncation of electro-vacuum theory. It was used as a tool to generate an exact solution of electro-vacuum from some vacuum solution. It…
Quantum corrections to the magnetic central charge of the monopole in N=4 supersymmetric Yang-Mills theory are free from the anomalous contributions that were crucial for BPS saturation of the two-dimensional supersymmetric kink and the N=2…
Given a first-order theory $T$ formulated in the usual language of first-order arithmetic, we say that $T$ is of *restricted complexity* if there is some natural number $n$ and some set $\mathcal A$ of $\Sigma_n$-sentences such that $T$ can…
A typical form of mass formula is re-explained in terms of nuclear structure. For $ N \approx Z $ nuclei, we propose to start with the shell model picture and to consider the T=0 $2n-2p$ ($\alpha$-like) correlations as the fundamental…
We examine saturation properties of a quark-based picture of nuclear matter. Soliton matter consisting of nonlocal confining solitons is used to model nuclear matter. Each composite nucleon is described by a non-topological soliton as given…
This text provides very easy and short proofs of some basic properties of complex power series (addition, subtraction, multiplication, division, rearrangement, composition, differentiation, uniqueness, Taylor's series, Principle of…
We study a new class of matrix models, the simplest of which is based on an Sp(2) symmetry and has a compactification which is equivalent to Chern-Simons theory on the three-torus. By replacing Sp(2) with the super-algebra Osp(1|32), which…
Let T be an algebraically bounded theory. We consider the $L(\bar\delta)$-expansions of T by a tuple $\bar \delta$ of derivations (which may be commuting or not). We investigate the model completion of either of the above theories, whose…
We study atom canonicity for several varieties of cylindric like algebras that contain properly the variety of representable algebras. The algebras in such varieties have relativized representations, and we thereby obtain many omitting…
We prove a compactness theorem for full Boolean-valued models. As an application, we show that if $T$ is a complete countable theory and $\mathcal{B}$ is a complete Boolean algebra, then $\lambda^+$-saturated $\mathcal{B}$-valued models of…
For a primal-dual pair of conic linear problems that are described by convex cones $S\subset X$, $T\subset Y$, bilinear symmetric objective functions $\langle\cdot,\cdot\rangle_X$, $\langle\cdot,\cdot\rangle_Y$ and a linear operator…
Solving nonlinear SMT problems over real numbers has wide applications in robotics and AI. While significant progress is made in solving quantifier-free SMT formulas in the domain, quantified formulas have been much less investigated. We…
Equality saturation is a program optimization technique based on non-destructive rewriting and a form of abstract interpretation called e-class analysis. Existing e-class analyses are pessimistic and therefore typically imprecise when…
Inspired by the results obtained in \cite{SR}, in this work, we develop techniques to handle the contraction property for weak normalization and Lipschitz saturation of algebras for the following types of algebras: universally injective,…
We study the saturation properties of several classes of $C^*$-algebras. Saturation has been shown by Farah and Hart to unify the proofs of several properties of coronas of $\sigma$-unital $C^*$-algebras; we extend their results by showing…
In algebra, atomicity is the study of divisibility by and factorizations into atoms (also called irreducibles). In one side of the spectrum of atomicity we find the antimatter algebraic structures, inside which there are no atoms and,…
The problems of determining the optimal power allocation, within maximum power bounds, to (i) maximize the minimum Shannon capacity, and (ii) minimize the weighted latency are considered. In the first case, the global optima can be achieved…