Related papers: Good Frames With A Weak Stability

Often in Software Engineering, a modeling formalism has to support scenarios of inconsistency in which several requirements either reinforce or contradict each other. Paraconsistent transition systems are proposed in this paper as one such…

Let K be an algebraically bounded structure and T be its theory. If T is model complete, then the theory of K endowed with a derivation, denoted by $T^{\delta}$, has a model completion. Additionally, we prove that if the theory T is…

In [Sh893], Shelah proves that (on a stationary set of cardinals) an AEC has not too many models or every model has extensions of arbitrary cardinality. We show that, if we assume limited amalgamation, then the second condition holds for a…

In the research on checking whether the underlying model is of parametric single-index structure with outliers in observations, the purpose of this paper is two-fold. First, a test that is robust against outliers is suggested. The Hampel's…

Individuals use models to guide decisions, but many models are wrong. This paper studies which misspecified models are likely to persist when individuals also entertain alternative models. Consider an agent who uses her model to learn the…

A basic requirement for a mathematical model is often that its solution (output) shouldn't change much if the model's parameters (input) are perturbed. This is important because the exact values of parameters may not be known and one would…

The growing availability of network data and of scientific interest in distributed systems has led to the rapid development of statistical models of network structure. Typically, however, these are models for the entire network, while the…

We study nematic equilibria in an unbounded domain, with a two-dimensional regular polygonal hole with $K$ edges, in a reduced Landau-de Gennes framework. This complements our previous work on the "interior problem" for nematic equilibria…

This is an exposition of a theorem due to Chevalley (1951) and Bass (1965). Let $K$ be a finitely generated field. Then there exists a positive integer $\Lambda$, depending only on $K$, such that for every positive integer $n$ the following…

In this work, we study the generalized k-th power symbol (a/n)_k and present a comprehensive collection of its algebraic properties. The results are classified according to their dependence on the three main parameters a, n, and k. In…

For a fixed integer $k \ge 0$, consider representations of positive integers as sums of binomial coefficients of the form $\binom{n}{k}$. While exact minimal bounds for the number of required summands are known only in a few low-dimensional…

Let s(A) denote the number of automorphisms of a model A of power omega_1. We derive a necessary and sufficient condition in terms of trees for the existence of an A with omega_1 < s(A) < 2^{omega_1}. We study the sufficiency of some…

We introduce a criterion, resilience, which allows properties of a dataset (such as its mean or best low rank approximation) to be robustly computed, even in the presence of a large fraction of arbitrary additional data. Resilience is a…

Given a power grid modeled by a network together with equations describing the power flows, power generation and consumption, and the laws of physics, the so-called N-k problem asks whether there exists a set of k or fewer arcs whose…

We consider the linear complementarity problem with uncertain data modeled by intervals, representing the range of possible values. Many properties of the linear complementarity problem (such as solvability, uniqueness, convexity, finite…

Let G be a finite graph with the non-k-order property (essentially, a uniform finite bound on the size of an induced sub-half-graph). A major result of the paper applies model-theoretic arguments to obtain a stronger version of…

We extend the framework of modular invariant supersymmetric theories to encompass invariance under more general discrete groups $\Gamma$, that allow the presence of several moduli and make connection with the theory of automorphic forms.…

We study AECs without assuming the amalgamation property in general. We do assume the disjoint amalgamation property in a specific cardinality lambda and assume that there is no maximal model in \lambda. Under these hypotheses, we prove the…

The condition of nilpotency is studied in the general linear Lie algebra $\mathfrak{gl}_{n}(\mathbb{K})$ and the symplectic Lie algebra $\mathfrak{sp}_{2m}(\mathbb{K})$ over an algebraically closed field of characteristic 0. In particular,…

We propose matrix commutator based stability characterization for discrete-time switched linear systems under restricted switching. Given an admissible minimum dwell time, we identify sufficient conditions on subsystems such that a switched…