Related papers: The strength of the Inner Model Hypothesis

We revisit a theorem of Ram Murty about the number of initial Fourier coefficients that two cuspidal eigenforms of different weights can have in common. We prove an explicit upper bound on this number, and give better conditional and…

This article represents the author's PhD thesis. It describes moduli stabilisation in IIB string theory and applications to phenomenological topics. The first half of the thesis starts with an introductory review. It continues with an…

We construct models in which there are stationarily many structures that exhibit different variants of internal approachability at different levels. This answers a question of Foreman. We also show that the approachability property at $\mu$…

Deep Markov models (DMM) are generative models that are scalable and expressive generalization of Markov models for representation, learning, and inference problems. However, the fundamental stochastic stability guarantees of such models…

We consider a mathematical model for the study of the dynamical behavior of suspension bridges. We show that internal resonances, which depend on the bridge structure only, are the origin of torsional instability. We obtain both theoretical…

We prove upper and lower bounds on the effective content and logical strength for a variety of natural restrictions of Hindman's Finite Sums Theorem. For example, we show that Hindman's Theorem for sums of length at most 2 and 4 colors…

Abstract argumentation provides us with methods such as gradual and Dung semantics with which to evaluate arguments after potential attacks by other arguments. Some of these methods can take intrinsic strengths of arguments as input, with…

This paper introduces a Ramanujan inner product and its corresponding norm, establishing a novel framework for the stability analysis of hybrid and discrete-time systems as an alternative to traditional Euclidean metrics. We establish new…

The compactness theorem for a logic states, roughly, that the satisfiability of a set of well-formed formulas can be determined from the satisfiability of its finite subsets, and vice versa. Usually, proofs of this theorem depend on the…

Input-to-state stability (ISS) allows estimating the impact of inputs and initial conditions on both the intermediate values and the asymptotic bound on the solutions. ISS has unified the input-output and Lyapunov stability theories and is…

This is an up-to-date introduction to and overview of the Minimum Description Length (MDL) Principle, a theory of inductive inference that can be applied to general problems in statistics, machine learning and pattern recognition. While MDL…

We point out how the "Fundamental Theorem of Stability Theory", namely the equivalence between the "non order property" and definability of types, proved by Shelah in the 1970s, is in fact an immediate consequence of Grothendieck's…

The persistent mutual information (PMI) is a complexity measure for stochastic processes. It is related to well-known complexity measures like excess entropy or statistical complexity. Essentially it is a variation of the excess entropy so…

The present paper deals with autonomous integral equations with infinite delay via dynamical system approach. Existence, local exponential attractivity, and other properties of center manifold are established by means of the…

For time-invariant (nonimpulsive) systems, it is already well-known that the input-to-state stability (ISS) property is strictly stronger than integral input-to-state stability (iISS). Very recently, we have shown that under suitable…

The stability of the system is an important part of the research on differential dynamical systems. This paper considers a pointwise hyperbolic system defined on a connected open subset N of a compact smooth Riemannian manifold M. The…

In this survey article we summarize the current state of research in representation stability theory. We look at three different, yet related, approaches, using (1) the category of FI-modules, (2) Schur-Weyl duality, and (3)…

We continue the study of positive singular solutions of PDEs arising from double phase functionals started in [6]. In particular, we consider the case $p<q < 2$, and we relax the assumption on the capacity of the singular set using an…

In this paper we study the robustness of strong stability of a discrete semigroup on a Hilbert space under bounded finite rank perturbations. As the main result we characterize classes of perturbations preserving the strong stability of the…

We recall how the idea of Softly Broken Supersymmetry led to the construction of the Supersymmetric Standard Model in 1981. Its first prediction, the supersymmetric unification of gauge couplings, was conclusively verified by the LEP and…