Related papers: A Dividing Line Within Simple Unstable Theories

We introduce a flexible class of well-quasi-orderings (WQOs) on words that generalizes the ordering of (not necessarily contiguous) subwords. Each such WQO induces a class of piecewise testable languages (PTLs) as Boolean combinations of…

We introduce a simple extension of the $\lambda$-calculus with pairs---called the distributive $\lambda$-calculus---obtained by adding a computational interpretation of the valid distributivity isomorphism $A \Rightarrow (B\wedge C)\ \…

Fisher [Fis75] and Baur [Bau75] showed independently in the seventies that if $T$ is a complete first-order theory extending the theory of modules, then the class of models of $T$ with pure embeddings is stable. In [Maz4, 2.12], it is asked…

We consider Euler flows on two-dimensional (2D) periodic domain and are interested in the stability, both linear and nonlinear, of a simple equilibrium given by the 2D Taylor-Green vortex. As the first main result, numerical evidence is…

We develop a comprehensive theory of the stable representation categories of several sequences of groups, including the classical and symmetric groups, and their relation to the unstable categories. An important component of this theory is…

The divisible sandpile starts with i.i.d. random variables ("masses") at the vertices of an infinite, vertex-transitive graph, and redistributes mass by a local toppling rule in an attempt to make all masses at most 1. The process…

We investigate mutual behavior of cascades, contours of which are contained in a fixed ultrafilter. Using that relation we prove (ZFC) that the class of strict $J_{\omega^\omega}$-ultrafilters, introduced by J. E. Baumgartner in…

This paper examines the stability of the \`a trous algorithm under arbitrary iteration in the context of a more general study of shift-invariant filter banks. The main results describe sufficient conditions on the associated filters under…

We introduce the notion of Q-filtrable varieties: projective varieties with a torus action and a finite number of fixed points, such that the cells of the associated Bialynicki-Birula decomposition are all rationally smooth. Our main…

We prove a number of results motivated by global questions of uniformity in computability theory, and universality of countable Borel equivalence relations. Our main technical tool is a game for constructing functions on free products of…

A hidden Markov model is called observable if distinct initial laws give rise to distinct laws of the observation process. Observability implies stability of the nonlinear filter when the signal process is tight, but this need not be the…

Here, we investigate the linear spatial stability of a parallel two-dimensional compressible boundary layer on an adiabatic plate by considering 2D and 3D disturbances. We employ the Compound Matrix Method for the first time for…

We consider the hydrodynamics of an incompressible fluid on a 2D periodic domain. There exists a family of stationary solutions with vorticity given by $\Omega^*=\alpha\cos (\mathbf{p} \cdot \mathbf{x} )+\beta \sin (\mathbf{p} \cdot…

We generalize the theory of stable canonical rules by adopting definable filtration, a generalization of the method of filtration. We show that for a modal rule system or a modal logic that admits definable filtration, each extension is…

We introduce a new class of ultrafilters which generalizes the well-known class of simple $P$-point ultrafilters. We prove that for any well-founded $\sigma$-directed partial order $\mathbb{D}$ there is a mild forcing extension where there…

$\mathbf{Theorem.}$ Let $K$ be an abstract elementary class (AEC) with amalgamation and no maximal models. Let $\lambda > \text{LS} (K)$. If $K$ is categorical in $\lambda$, then the model of cardinality $\lambda$ is Galois-saturated. This…

We establish the existence and uniqueness of smooth solutions with large vorticity and weak solutions with vortex sheets/entropy waves for the steady Euler equations for both compressible and incompressible fluids in arbitrary infinitely…

We propose that the broad architecture of the renormalization group flow in quantum field theories is, at least in part, fixed by unitarity. The precise statement is summarized in the Unitarity Flow Conjecture, which states that the…

We present a comprehensive study of cross-flow ultrafiltration (UF) of charge-stabilized suspensions, under low-salinity conditions of electrostatically strongly repelling colloidal particles. The axially varying permeate flux,…

Let $(M, \varphi) = (M_1, \varphi_1) \ast (M_2, \varphi_2)$ be a free product of arbitrary von Neumann algebras endowed with faithful normal states. Assume that the centralizer $M_1^{\varphi_1}$ is diffuse. We first show that any…