Related papers: The Schroder-Bernstein property for a-saturated mo…
The genus-dependence of multi-loop superstring amplitudes is bounded at large orders in perturbation theory using the super-Schottky group parametrization of supermoduli space. Partial estimates of supermoduli space integrals suggest an…
Let $\mathcal A\subseteq \mat$ be a unital $*$-subalgebra of the algebra $\mat$ of all $n\times n$ complex matrices and let $B$ be an hermitian matrix. Let $\U_n(B)$ denote the unitary orbit of $B$ in $\mat$ and let $\mathcal E_\mathcal A$…
Two salient notions of sameness of theories are synonymy, also known as definitional equivalence, and bi-interpretability. Of these two definitional equivalence is the strictest notion. In which cases can we infer synonymy from…
We study a system of two hardcore bosonic Hubbard models weakly coupled with each other by tunneling. Assuming that the single uncoupled model exhibits off-diagonal long-range order, we prove that the coupled system exhibits spontaneous…
We show that all extended functorial field theories, both topological and nontopological, are local. We define the smooth (infinity,d)-category of bordisms with geometric data, such as Riemannian metrics or geometric string structures, and…
We rewrite simplicially the standard definitions of a complete first order theory, a model of it, and various characterisations of stability of a complete first order theory. In our reformulations the simplicial language replaces the…
In terms of electron processes, the 1D Hubbard model is a nonperturbative problem. That renders the description in terms of electron scattering of the microscopic processes that control the model properties a very difficult task. In this…
We show that for a minimal system $(X,T)$, the set of saturated points along cubes with respect to its maximal $\infty$-step pro-nilfactor $X_\infty$ has a full measure. As an application, it is shown that if a minimal system $(X,T)$ has no…
We study expansions of Hilbert spaces with a bounded normal operator $T$. We axiomatize this theory in a natural language and identify all of its completions. We prove the definability of the adjoint $T^*$ and prove quantifier elimination…
Properties of general Legendrian cycles $T$ acting in ${\mathbb R}^d\times S^{d-1}$ are studied. In particular, we give short proofs for certain uniqueness theorems with respect to the projections on the first and second component of such…
By using nonstandard analysis, we prove embeddability properties of difference sets $A-B$ of sets of integers. (A set $A$ is "embeddable" into $B$ if every finite configuration of $A$ has shifted copies in $B$.) As corollaries of our main…
We consider the one-dimensional Swift-Hohenberg equation coupled to a conservation law. As a parameter increases the system undergoes a Turing bifurcation. We study the dynamics near this bifurcation. First, we show that stationary,…
We review the main properties of a supersolid. We describe first the macroscopic equation that satisfies a supersolid based on general arguments and symmetries and show that such solids might exhibit simultaneously or independently both…
On-shell superspace techniques are used to quantify R-symmetry violation in type IIB superstring theory amplitudes in a flat background in ten dimensions. This shows the existence of a particularly simple class of non-vanishing amplitudes…
A complete first order theory of a relational signature is called monomorphic iff all its models are monomorphic (i.e. have all the $n$-element substructures isomorphic, for each positive integer $n$). We show that a complete theory…
This work is dedicated to the results were got in the model theory of the regular polygons. We give the characterization of the monoids with axiomatizable and model complete class of regular polygons. We describe the monoids with complete…
We investigate a generalization of the {\L}o\'s-Tarski preservation theorem via the semantic notion of \emph{preservation under substructures modulo $k$-sized cores}. It was shown earlier that over arbitrary structures, this semantic notion…
We consider the transverse-traceless tensor perturbation of a spatial flat homogeneous and isotropic spacetime in Born-Infeld determinantal gravity, and investigate the evolution of the tensor mode for two solutions in the early universe.…
We discuss Born-Infeld on the noncommutative two-torus as a description of compactified string theory. We show that the resulting theory, including the fluctuations, is manifestly invariant under the T-duality group SO(2,2;Z). The BPS mass…
We give sufficient conditions for a predicate P in a complete theory T to be stably embedded: P with its induced 0-definable structure has "finite rank", P has NIP in T and P is 1-stably embedded. This generalizes recent work by Hasson and…