Related papers: Quantitative fixed-point theorems with verifiable …
We introduce a general methodology for quantitative model checking and control synthesis with supermartingale certificates. We show that every specification that is invariant to time shifts admits a stochastic invariant that bounds its…
We study the fixed point problem for a system of multivariate operators that are coordinate-wise monotone (i.e., nondecreasing or nonincreasing in each of the variables, independently), in the setting of quasi-ordered sets. We show that…
For a topological space $X$ a topological contraction on $X$ is a closed mapping $f:X\to X$ such that for every open cover of $X$ there is a positive integer $n$ such that the image of the space $X$ via the $n$th iteration of $f$ is a…
In this paper, we develop an Isabelle/HOL library of order-theoretic fixed-point theorems. We keep our formalization as general as possible: we reprove several well-known results about complete orders, often with only antisymmetry or…
Let $C$ be a curve over a non-archimedean local field of characteristic zero. We formulate algebro-geometric statements that imply boundedness of functions on the moduli space of stable bundles of rank $2$ and fixed odd degree determinant…
Let $X$ be a metric space. Recently in~[1] it was considered a new type of mappings $T\colon X\to X$ which can be characterized as mappings contracting perimeters of triangles. These mappings are defined by the condition based on the…
We extend and improve the existing characterization of the dynamics of general quadratic real polynomial maps with coefficients that depend on a single parameter $\lambda$, and generalize this characterization to cubic real polynomial maps,…
We consider a class of endomorphisms that contains a set of piecewise partially hyperbolic dynamics semi-conjugated to non-uniformly expanding maps. Our goal is to study a class of endomorphisms that preserve a foliation that is almost…
In a Riemannian manifold with a smooth positive function that weights the associated Hausdorff measures we study stable sets, i.e., second order minima of the weighted perimeter under variations preserving the weighted volume. By assuming…
We prove new boundedness results across different areas of algebraic geometry, stemming from a unifying technical starting point: bounding the integer $q > 0$ such that the $q$-th Hodge bundle becomes (semi-)positive for families of stable…
We introduce a notion of Gieseker stability for a filtered holomorphic vector bundle $F$ over a projective manifold. We relate it to an analytic condition in terms of hermitian metrics on $F$ coming from a construction of the Geometric…
We introduce and study a general concept of multiple fixed point for mappings defined on partially ordered distance spaces in the presence of a contraction type condition and appropriate monotonicity properties. This notion and the obtained…
Using factorization homology with coefficients in twisted commutative algebras (TCAs), we prove two flavors of higher representation stability for the cohomology of (generalized) configuration spaces of a scheme/topological space $X$.…
In this paper, considering a wider class of simulation functions some fixed point results for multivalued mappings in $\alpha$-complete metric spaces have been presented. Results obtained in this paper extend and generalize some well-known…
In the present article, we first examine the conception of C*-algebra-valued controlled Fc-metric type spaces as a generalization of F-cone metric spaces over banach algebra. Further, we prove some fixed point theorem with different…
Across many scientific domains, practitioners rely on coarse, discretized summaries to track the evolving structure of complex systems under noise, measurement error, and changing system size. Understanding when such summaries are reliable…
We introduce the {\em $\mu$-topological stability}. This is a type of stability depending on the measure $\mu$ different from the set-valued approach \cite{lm}. We prove that the map $f$ is $m_p$-topologically stable if and only if $p$ is a…
We start providing a quantitative stability theorem for the rigidity of an overdetermined problem involving harmonic functions in a punctured domain. Our approach is inspired by and based on the proof of rigidity established by Enciso and…
We study countable saturation of the metric reduced products and introduce continuous fields of metric models indexed by locally compact, separable, completely metrizable spaces. Saturation of the reduced product depends both on the…
Prediction sets provide a means of quantifying the uncertainty in predictive tasks. Using held out calibration data, conformal prediction and risk control can produce prediction sets that exhibit statistically valid error control in a…