English
Related papers

Related papers: Unstable structures definable in o-minimal theorie…

200 papers

We obtain the instability of Type (II) Lawson-Osserman cones in Euclidean spaces, and thus provide a family of (uncountably many) unstable solutions with singularity to the Dirichlet problem for minimal graphs of high codimension versus…

Differential Geometry · Mathematics 2020-03-31 Zhaohu Nie , Yongsheng Zhang

A character (ordinary or modular) is called orthogonally stable if all non-degenerate quadratic forms fixed by representations with those constituents have the same determinant mod squares. We show that this is the case provided there are…

Representation Theory · Mathematics 2022-08-29 Gabriele Nebe , Richard Parker

Let X be a smooth irreducible complex projective curve of genus g > 1. In this paper, we give necessary and sufficient conditions for an unstable bundle of HN-lenght 2 to have a particular algebra of endomorphisms. Then, fixing the…

Algebraic Geometry · Mathematics 2022-04-26 L. Brambila-Paz , Rocio Rios Sierra

The stable index of a 0-1 matrix $A$ is defined to be the smallest integer $k$ such that $A^{k+1}$ is not a 0-1 matrix if such an integer exists; otherwise the stable index of $A$ is defined to be infinity. We characterize the set of stable…

Combinatorics · Mathematics 2023-04-07 Zhibing Chen , Zejun Huang

Peixoto's structural stability and density theorems represent milestones in the modern theory of dynamical systems and their applications. Despite the importance of these theorems, they are often treated rather superficially, if at all, in…

Dynamical Systems · Mathematics 2013-06-04 Aminur Rahman

We first show that the projection image of a discrete definable set is again discrete for an arbitrary definably complete locally o-minimal structure. This fact together with the results in a previous paper implies tame dimension theory and…

Logic · Mathematics 2022-10-07 Masato Fujita , Tomohiro Kawakami , Wataru Komine

Answering a question of Junker and Ziegler, we construct a countable first order structure which is not omega-categorical, but does not have any proper non-trivial reducts, in either of two senses (model-theoretic, and group-theoretic). We…

Logic · Mathematics 2015-02-27 Manuel Bodirsky , Dugald Macpherson

The properties of a generalized version of the Borel Transform in infrared unstable theories with dynamical mass generation are studied. The reconstruction of the nonperturbative structure is unambiguous in this version. Various methods for…

High Energy Physics - Theory · Physics 2009-10-30 A. Duncan , S. Pernice

We indicate a way of distinguishing between structures, for which, two structures are said to be separable.Being separable implies being non-isomorphic. We show that for any first order theory $T$ in a countable language, if it has an…

Logic · Mathematics 2012-11-28 Mohammad Assem

We consider locally o-minimal structures possessing tame topological properties shared by models of DCTC and uniformly locally o-minimal expansions of the second kind of densely linearly ordered abelian groups. We derive basic properties of…

Logic · Mathematics 2023-02-22 Masato Fujita

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…

Discrete Mathematics · Computer Science 2016-02-15 Volker Betz , Stephane Le Roux

We construct an eleven-dimensional superspace with superspace coordinates and formulate a finite M-theory using non-anticommutative geometry. The conjectured M-theory has the correct eleven-dimensional supergravity low energy limit. We…

High Energy Physics - Theory · Physics 2007-05-23 J. W. Moffat

We investigate the decidability of the monadic second-order (MSO) theory of the structure $\langle \mathbb{N};<,P_1, \ldots,P_d \rangle$, for various unary predicates $P_1,\ldots,P_d \subseteq \mathbb{N}$. We focus in particular on…

Logic in Computer Science · Computer Science 2026-03-25 Valérie Berthé , Toghrul Karimov , Joris Nieuwveld , Joël Ouaknine , Mihir Vahanwala , James Worrell

We consider an arbitrary topological group $G$ definable in a structure $\mathcal M$, such that some basis for the topology of $G$ consists of sets definable in $\mathcal M$. To each such group $G$ we associate a compact $G$-space of…

Logic · Mathematics 2015-06-15 Ya'Acov Peterzil , Sergei Starchenko

Let $\mathfrak{M}$ be a class of metric spaces. A metric space $Y$ is minimal $\mathfrak{M}$-universal if every $X\in\mathfrak{M}$ can be isometrically embedded in $Y$ but there are no proper subsets of $Y$ satisfying this property. We find…

Metric Geometry · Mathematics 2015-04-17 V. Bilet , O. Dovgoshey , M. Kucukaslan , E. Petrov

Using the renormalization group approach, we consider the $O(N)\otimes O(M)$ model in four and more dimensions. We find that independently on $N$ and $M$, for $N\geq M\geq 2$, a transition can be of both the first and second order. In…

Strongly Correlated Electrons · Physics 2021-05-04 A. O. Sorokin

A spanner is reliable if it can withstand large, catastrophic failures in the network. More precisely, any failure of some nodes can only cause a small damage in the remaining graph in terms of the dilation, that is, the spanner property is…

Computational Geometry · Computer Science 2023-03-14 Sariel Har-Peled , Manor Mendel , Dániel Oláh

The theme of the first two sections, is to prepare the framework of how from a "complicated" family of index models I in K_1 we build many and/or complicated structures in a class K_2. The index models are characteristically linear orders,…

Logic · Mathematics 2016-02-09 Saharon Shelah

Let $\cal R$ be an ordered vector space over an ordered division ring. We prove that every definable set $X$ is a finite union of relatively open definable subsets which are definably simply-connected, settling a conjecture from [5]. The…

Logic · Mathematics 2019-10-02 Pantelis E. Eleftheriou

Geometrical stability theory is a powerful set of model-theoretic tools that can lead to structural results on models of a simple first-order theory. Typical results offer a characterization of the groups definable in a model of the theory.…

Logic · Mathematics 2007-05-23 Steven Buechler , Olivier Lessmann