Related papers: A Dividing Line Within Simple Unstable Theories
Recent perturbative studies show that in 4d non-commutative spaces, the trivial (classically stable) vacuum of gauge theories becomes unstable at the quantum level, unless one introduces sufficiently many fermionic degrees of freedom. This…
The purpose of this paper is to investigate forcing as a tool to construct universal models. In particular, we look at theories of initial segments of the universe and show that any model of a sufficiently rich fragment of those theories…
Recent experimental observations have demonstrated interesting instability phenomenon during thermal drawing of microstructured glass/polymer fibers, and these observations motivate us to examine surface-tension-driven instabilities in…
We consider a family of conforming space-time finite element discretizations for the wave equation based on splines of maximal regularity in time. Traditional techniques may require a CFL condition to guarantee stability. Recent works by O.…
In simulations of the 2D Ising model, we examine heterogeneous nucleation induced by a small impurity consisting of a line of $l$ fixed spins. As $l$ increases, we identify a limit of stability beyond which the metastable phase is not…
We classify the stable formulas in the theory of Dense Linear Orders without endpoints, the stable formulas in the theory of Divisible Abelian Groups, and the stable formulas without parameters in the theory of Real Closed Fields. The third…
A divisibility relation on ultrafilters on the set $\mathbb{N}$ of natural numbers is defined as follows: ${\cal F}\hspace{1mm}\widetilde{\mid}\hspace{1mm}{\cal G}$ if and only if every set in $\cal F$ upward closed for divisibility also…
We introduce the notion of a coherent $P$-ultrafilter on a complete ccc Boolean algebra, strenghtening the notion of a $P$-point on $\omega$, and show that these ultrafilters exist generically under ${\mathfrak c} = {\mathfrak d}$. This…
Originally introduced by Kolmann and Shelah as a surrogate for saturated models, limit models have been established as natural and useful objects when studying abstract elementary classes. Shelah began the study of when (multiple notions…
We show that a separable C*-algebra $A$ is $\mathcal{Z}$-stable if and only if its uncorrected central sequence algebra $A' \cap A_{\mathcal{U}}$ is pure, if and only if Kirchberg's central sequence algebra $F(A)$ is pure. More generally,…
We present a perturbation-based framework that captures buoyancy effects on modal instabilities in stratified boundary-layer flows within the fully compressible, non-Oberbeck-Boussinesq formulation. Treating the Richardson number as a small…
In the classification of complete first-order theories, many dividing lines have been defined in order to understand the complexity and the behavior of some classes of theories. In this paper, using the concept of patterns of consistency…
We study flow driven through a finite-length planar rigid channel by a fixed upstream flux, where a segment of one wall is replaced by a pre-stressed elastic beam subject to uniform external pressure. The steady and unsteady systems are…
We prove that the theory of the models constructible using finitely many cofinality quantifiers - $C_{\lambda_{1},...,\lambda_{n}}^{*}$ and $C_{<\lambda_{1},...,<\lambda_{n}}^{*}$ for $\lambda_{1},...,\lambda_{n}$ regular cardinals - is…
Let $A$ be a separable simple exact ${\cal Z}$-stable $C^*$-algebra. We show that the unitay group of ${\tilde A}$ has the cancellation property. If $A$ has continuous scale, the Cuntz semigroup of $\tilde A$ has the strict comparison…
The single-source unsplittable flow (SSUF) problem asks to send flow from a common source to different terminals with unrelated demands, each terminal being served through a single path. One of the most heavily studied SSUF objectives is to…
Given an infinitesimal perturbation of a discrete-time finite Markov chain, we seek the states that are stable despite the perturbation, \textit{i.e.} the states whose weights in the stationary distributions can be bounded away from $0$ as…
A Rayleigh-Taylor-like instability of a dense colloidal layer under gravity in a capillary of microfluidic dimensions is considered. We access all relevant lengthscales with particle-level microscopy and computer simulations which…
The infinite discrete stable Boltzmann maps are generalisations of the well-known Uniform Infinite Planar Quadrangulation in the case where large degree faces are allowed. We show that the simple random walk on these random lattices is…
Turing patterns are stationary, wave-like structures that emerge from the nonequilibrium assembly of reactive and diffusive components. While they are foundational in biophysics, their classical formulation relies on a single characteristic…