Related papers: AEC for strictly stable
We propose a framework for studying the stability of discrete-event systems modelled as switching max-plus linear systems. In this framework, we propose a set of notions of stability for generic discrete-event systems in the max-plus…
We work with a pre-$\lambda$-frame, which is an abstract elementary class (AEC) endowed with a collection of basic types and a non-forking relation satisfying certain natural properties with respect to models of cardinality $\lambda$. We…
Extending the thoroughly studied theory of group stability, we study Ulam stability type problems for associative and Lie algebras; namely, we investigate obstacles to rank-approximation of almost solutions by exact solutions for systems of…
It is an open problem of Mazari-Armida whether every abstract elementary class of $R$-modules $(\mathbf{K}, \leq_{\mathrm{pure}})$, with $\leq_{\mathrm{pure}}$ the pure submodule relation, is stable. We answer this question in the negative…
Astrophysical tests of the stability of fundamental couplings, such as the fine-structure constant $\alpha$, are a powerful probe of new physics. Recently these measurements, combined with local atomic clock tests and Type Ia supernova and…
The well known stability conjecture of Palis and Smale states that if a diffeomorphism is structurally stable then the chain recurrent set is hyperbolic. It is natural to ask if this type of results is true for an individual chain class,…
Until recently, dynamical supersymmetry breaking seemed an exceptional phenomenon, involving chiral gauge theories with a special structure. Recently it has become clear that requiring only metastable states with broken supersymmetry leads…
We introduce bounded category forcing axioms for well-behaved classes $\Gamma$. These are strong forms of bounded forcing axioms which completely decide the theory of some initial segment of the universe $H_{\lambda_\Gamma^+}$ modulo…
The relationship between overparameterization, stability, and generalization remains incompletely understood in the setting of discontinuous classifiers. We address this gap by establishing a generalization bound for finite function classes…
We investigate categoricity of abstract elementary classes without any remnants of compactness (like non-definability of well ordering, existence of E.M. models or existence of large cardinals). We prove (assuming a weak version of GCH…
The usual condensed matter lattice theories do not include dynamical electromagnetic (EM) field and do not have higher symmetries naturally (unless we engineer fine-tuned toy models to realize higher symmetries). However, for gapped…
We present a comparative analysis of current observational constraints on three recently discussed alternative models for explaining the low-redshift acceleration of the universe: the so-called steady-state torsion model, the generalized…
Vacuum compactifications may suffer from instabilities under small perturbations or tunnel effects; both are difficult to analyze. In this paper we consider the issue from a higher-dimensional perspective. We first look at how stability…
We prove two general results concerning spectral sequences of $\mathbf{FI}$-modules. These results can be used to significantly improve stable ranges in a large portion of the stability theorems for $\mathbf{FI}$-modules currently in the…
In this paper, we prove that if $\kappa$ is a almost strongly compact cardinal, then any MAEC with L\"owenheim-Skolem number below $\kappa$ is $<\kappa$-d-tame.
Keeping in mind the current picture of an accelerating and flat Universe, some specific dynamical models of the cosmological term $\Lambda$ have been selected for investigating the nature of dark energy. Connecting the free parameters of…
Suppose given a Frobenius category E, i.e. an exact category with a big enough subcategory B of bijectives. Let_E_ := E/B denote its classical stable category. For example, we may take E to be the category of complexes C(A) with entries in…
The notion of ``fundamental constant'' is heavily theory-laden. A natural, fairly precise formulation is possible in the context of the standard model (here defined to include gravity). Some fundamental constants have profound geometric…
Any Littlestone class, or stable graph, has finite sets which function as ``virtual elements'': these can be seen from the learning side as representing hypotheses which are expressible as weighted majority opinions of hypotheses in the…
We begin a systematic development of structure theory for a first order theory, which is stable over a monadic predicate. We show that stability over a predicate implies quantifier free definability of types over stable sets, introduce an…