Related papers: A Dividing Line Within Simple Unstable Theories
This paper addresses two interrelated problems of the nonlinear filtering mechanism and fast attitude filtering with the matrix Fisher distribution (MFD) on the special orthogonal group. By analyzing the distribution evolution along Bayes'…
This work is concerned with the equation $ \partial_t \rho = \Delta_x \rho^m $, $ m > 1 $, known as the porous medium equation. It shows stability of the pressure of solutions close to flat travelling wave fronts in the homogeneous…
We introduce a new method for the analysis of singularities in the unstable problem $$\Delta u = -\chi_{\{u>0\}},$$ which arises in solid combustion as well as in the composite membrane problem. Our study is confined to points of…
In a series of papers starting in [Sel01] and culminating in [Sel07], Z. Sela proved that free groups, and more generally torsion-free hyperbolic groups, have a stable first-order theory. The question of the stability of the free product of…
We show that separable continuous fields over the unit interval whose fibers are stable Kirchberg algebras that satisfy the universal coefficient theorem in KK-theory and have rational K-theory groups are classified up to isomorphism by…
Assuming the existence of a monster model, tameness and continuity of nonsplitting in an abstract elementary class (AEC), we extend known superstability results: let $\mu>LS({\bf K})$ be a regular stability cardinal and let $\chi$ be the…
We construct a family of n+1 dyadic filtrations in R^n, so that every Euclidean ball B is contained in some cube Q of our family satisfying diam(Q) \le c_n diam(B) for some dimensional constant c_n. Our dyadic covering is optimal on the…
We present a first-order theorem proving framework for establishing the correctness of functional programs implementing sorting algorithms with recursive data structures. We formalize the semantics of recursive programs in many-sorted…
Given a hereditary family $\mathcal{G}$ of admissible graphs and a function $\lambda(G)$ that linearly depends on the statistics of order-$\kappa$ subgraphs in a graph $G$, we consider the extremal problem of determining…
We show that a differential algebraic group can be filtered by a finite subnormal series of differential algebraic groups such that successive quotients are almost simple, that is have no normal subgroups of the same type. We give a…
We note a parallel between some ideas of stable model theory and certain topics in finite combinatorics related to the sum-product phenomenon. For a simple linear group G, we show that a finite subset X with |X X \^{-1} X |/ |X| bounded is…
We establish an optimal \emph{Widder theory} for a weighted porous medium equation with rough and inhomogeneous density that may be singular at a point and tends to zero at spatial infinity. Specifically, for this equation, we identify a…
We establish a sharp criterion for the stability of a class of compactly supported, homogeneous density``minimal compact solitons'' or MCS states, of the time-dependent discrete nonlinear Schr\"odinger equation on a multi-lattice, $\mathbb…
The complexity class $NP$ can be logically characterized both through existential second order logic $SO\exists$, as proven by Fagin, and through simulating a Turing machine via the satisfiability problem of propositional logic SAT, as…
We introduce a divisibility-type condition for directed graphs that is necessary for $\mathcal{Z}$-stability of the corresponding graph $C^*$-algebra. We prove that this condition is sufficient if either the graph $E$ has no cycles or the…
In this paper, we exploit the theory of dense graph limits to provide a new framework to study the stability of graph partitioning methods, which we call structural consistency. Both stability under perturbation as well as asymptotic…
We are concerned with the nodal set of solutions to equations of the form \begin{equation*} -\Delta u = \lambda_+ \left(u^+\right)^{q-1} - \lambda_- \left(u^-\right)^{q-1} \quad \text{in $B_1$} \end{equation*} where $\lambda_+,\lambda_- >…
There are many results in the literature where superstablity-like independence notions, without any categoricity assumptions, have been used to show the existence of larger models. In this paper we show that \emph{stability} is enough to…
In this result, we develop the techniques of \cite{KS1} and \cite{BW} in order to determine a class of stable perturbations for a minimal mass soliton solution of a saturated, focusing nonlinear Schr\"odinger equation {c} i u_t + \Delta u +…
At 6th order in perturbation theory, the random magnetic impurity problem at second order in impurity density narrows down to the evaluation of a single Feynman diagram with maximal impurity line crossing. This diagram can be rewritten as a…