Related papers: Type decomposition in NIP theories
Let $\Pi$ be a convex decomposition of a set $P$ of $n\geq 3$ points in general position in the plane. If $\Pi$ consists of more than one polygon, then either $\Pi$ contains a deletable edge or $\Pi$ contains a contractible edge.
Decomposition of state spaces into dynamically different components is helpful for the understanding of dynamical behaviors of complex systems. A Conley type decomposition theorem is proved for nonautonomous dynamical systems defined on a…
In a stable abelian group, we characterize generic types of cosets of type-definable subgroups.
We show that any pseudofinite group with NIP theory and with a finite upper bound on the length of chains of centralisers is soluble-by-finite. In particular, any NIP rosy pseudofinite group is soluble-by-finite. This generalises, and…
We present a family of 3--qubit states to which any arbitrary state can be depolarized. We fully classify those states with respect to their separability and distillability properties. This provides a sufficient condition for…
The main purpose of this paper is to present a new and more uniform model-theoretic/combinatorial proof of the theorem ([5]): The randomization $T^{R}$ of a complete first-order theory $T$ with $NIP$ is a (complete) first-order continuous…
The class of problems complete for NP via first-order reductions is known to be characterized by existential second-order sentences of a fixed form. All such sentences are built around the so-called generalized IS-form of the sentence that…
We propose an abstract notion of a type theory to unify the semantics of various type theories including Martin-L\"{o}f type theory, two-level type theory and cubical type theory. We establish basic results in the semantics of type theory:…
We generalize the logarithmic decomposition theorem of Deligne-Illusie to a filtered version. There are two applications. The easier one provides a mod $p$ proof for a vanishing theorem in characteristic zero. The deeper one gives rise to a…
Results on dissipative isoscalar modes of a hot and dilute nuclear droplet are presented. As compared to the adiabatic limit (part I), realistic dissipation yields a substantial reduction of the growth rates for all unstable modes, while…
We derive a sharp decomposition formula for the state polytope of the Hilbert point and the Hilbert-Mumford index of reducible varieties by using the decomposition of characters and basic convex geometry. This proof captures the essence of…
In this short note we give an expression for some numbers $n$ such that the polynomial $x^{2p}-nx^p+1$ is reducible.
A new notion of independence relation is given and associated to it, the class of flat theories, a subclass of strong stable theories including the superstable ones is introduced. More precisely, after introducing this independence…
We prove the existence of a model companion of the two-sorted theory of $c$-nilpotent Lie algebras over a field satisfying a given theory of fields. We describe a language in which it admits relative quantifier elimination up to the field…
Given a scheme in characteristic p together with a lifting modulo p^2, we construct a functor from a category of suitably nilpotent modules with connection to the category of Higgs modules. We use this functor to generalize the…
We prove a version of the $L^p$ hodge decomposition for differential forms in Euclidean space and a generalization to the class of Lizorkin currents. We also compute the $L_{qp}-$cohomology of $\mathbb{R}^n$.
We show that any theory of tame henselian valued fields is NIP if and only if the theory of its residue field and the theory of its value group are NIP. Moreover, we show that if $(K,v)$ is a henselian valued field of residue characteristic…
Three canonical decompositions concerning commuting pair of isometries, power partial isometries, and contractions are reassessed. They have already been proved in von Neumann algebras. In the corresponding proofs, both norm and weak…
Under mild conditions a delay semigroup can be transformed into a (generalized) contraction semigroup by modifying the inner product on the (Hilbert) state space into an equivalent inner product. Applications to stability of differential…
We prove that any diffeomorphism of the sphere S^n to itself can be decomposed into bi-Lipschitz mappings of small isometric distortion and which move points a small amount in the spherical metric.