Related papers: A note on one-variable theorems for NSOP

We propose and study a generalized version of the Lipman-Zariski conjecture: let $(x \in X)$ be an $n$-dimensional singularity such that for some integer $1 \le p \le n - 1$, the sheaf $\Omega_X^{[p]}$ of reflexive differential $p$-forms is…

This is the first part in a series in which sofic entropy theory is generalized to class-bijective extensions of sofic groupoids. Here we define topological and measure entropy and prove invariance. We also establish the variational…

Let $\psi : G\to GL(V)$ and $\varphi :G \to GL (W)$ be representations of finite group $G$. A linear map $T: V\to W$ is called a morphism from $\psi$ to $\varphi$ if it satisfys $T\psi_g= \varphi_g T$ for each $g\in G$ and let…

We give necessary and sufficient conditions for the existence of smooth Lyapunov 1-forms for the flow of a smooth vector field in terms of the behavior of certain locally finite invariant measures. The main statement generalizes a result of…

We show that for any $\varepsilon>0$ if $\phi:\mathbb{T} \rightarrow \mathbb{T}$ is continuous and $\|\exp(-2\pi i z \phi)\|_{A(\mathbb{T})} =O_{|z|\rightarrow \infty}(\log^{\frac{1}{8}-\varepsilon} |z|)$ then $\phi(x)=wx+t$ for some $w…

We study the theory $T_{m,n}$ of existentially closed incidence structures omitting the complete incidence structure $K_{m,n}$, which can also be viewed as existentially closed $K_{m,n}$-free bipartite graphs. In the case $m = n = 2$, this…

Let (X_n) be a sequence of random variables (with values in a separable metric space) and (N_n) a sequence of random indices. Conditions for X_{N_n} to converge stably (in particular, in distribution) are provided. Some examples, where such…

A theory $T$ is said to be relatively decidable if for every model of $T$, one can compute the elementary diagram of that model from its atomic diagram together with $T$. We verify a conjecture of Chubb, Miller, and Solomon by showing that…

We prove group existence and structure theorems in a general setting of tame topological theories. More precisely, we identify a linear/non-linear dividing line -- called topological 1-basedness -- among the class of t-minimal theories with…

In this paper, we show that \phi is a dependent formula if and only if all \phi-types have an extension to a \phi-isolated \phi-type that is an "elementary \phi-extension" (see Definition 2.3 in the paper). Moreover, we show that the domain…

Let $T$ be a polynomially bounded operator, and let $\mathcal M$ be its invariant subspace. Suppose that $P_{\mathcal M^\perp}T|_{\mathcal M^\perp}$ is similar to a contraction, while $\theta(T|_{\mathcal M})=0$, where $\theta$ is a finite…

A formula $\phi$ is called \emph{$n$-provable} in a formal arithmetical theory $S$ if $\phi$ is provable in $S$ together with all true arithmetical $\Pi_{n}$-sentences taken as additional axioms. While in general the set of all $n$-provable…

The requirement that an entropy function be composable is key: it means that the entropy of a compound system can be calculated in terms of the entropy of its independent components. We prove that, under mild regularity assumptions, the…

The $NFI$-topology, introduced in [S0], is a topology on the Stone space of a theory $T$ that depends on a reduct $T^-$ of $T$. This topology has been used in [S0] to describe the set of universal transducers for $(T,T^-)$ (invariants sets…

Consider a conformally covariant four-point function of identical scalar operators with a discrete spectrum, a twist gap, and compatible with the unitarity conditions. We give a mathematical proof confirming that the spectrum and OPE…

Let X_1, X_2,..., X_n be a sequence of independent random variables, let M be a rearrangement invariant space on the underlying probability space, and let N be a symmetric sequence space. This paper gives an approximate formula for the…

In this short note, using results of Bourgain, Fremlin, and Talagrand \cite{BFT}, we show that for a countable structure $M$, a saturated elementary extension $M^*$ of $M$ and a formula $\phi(x,y)$ the following are equivalent: (i)…

We identify complete fragments of the Simple Theory of Types with Infinity ($\mathrm{TSTI}$) and Quine's $\mathrm{NF}$ set theory. We show that $\mathrm{TSTI}$ decides every sentence $\phi$ in the language of type theory that is in one of…

We prove a T(1) theorem for bilinear singular integral operators (trilinear forms) with a one-dimensional modulation symmetry.

Mekler constructed a way to produce a pure group from any given structure where the construction preserves $\kappa$-stability for any cardinal $\kappa$. Not only the stability, it is known that his construction preserves various…