Related papers: On Almost Regular Mappings
We propose to extend ``invertibility'' to ``regularity'' for categories in general abstract algebraic manner. Higher regularity conditions and ``semicommutative'' diagrams are introduced. Distinction between commutative and…
In this paper, we establish a new criterion for covering maps between real algebraic varieties. Specifically, we prove that a quasi-finite, flat morphism with locally constant geometric fibers between varieties over a real closed field…
For a nonlinear operator $T$ satisfying certain structural assumptions, our main theorem states that the following claims are equivalent: i) $T$ is surjective, ii) $T$ is open at zero, and iii) $T$ has a bounded right inverse. The theorem…
We establish a sufficient condition for a continuous map, acting on a compact metric space, to have a Baire residual set of points exhibiting historic behavior (also known as irregular points). This criterion applies, for instance, to a…
We study constrained versions of the Ingleton inequality in the entropic setting and quantify its stability under small violations of conditional independence. Although the classical Ingleton inequality fails for general entropy profiles,…
Via Gauge theory, we give a new proof of partial regularity for harmonic maps in dimension m>2 into arbitrary targets. This proof avoids the use of adapted frames and permits to consider targets of "minimal" C^2 regularity. The proof we…
We study Krasnoselskii-Mann style iterative algorithms for approximating fixpoints of asymptotically weakly contractive mappings, with a focus on providing generalised convergence proofs along with explicit rates of convergence. More…
We introduce a notion of approximate orthogonality preserving mappings between Hilbert $C^*$-modules. We define the concept of $(\delta, \varepsilon)$-orthogonality preserving mapping and give some sufficient conditions for a linear mapping…
Let $f$ be an holomorphic endomorphism of $\mathbb{P}^k$ and $\mu$ be its measure of maximal entropy. We prove an Almost Sure Invariance Principle for the systems $(\mathbb{P}^k,f,\mu)$. Our class $\cal{U}$ of observables includes the…
In this article, we prove the existence of common fixed points for a pair of maps on a $q$-spherically complete $T_0$-ultra-quasi-metric space. The present article is a generalization, in the assymmetric setting of the paper of Rao et…
The Invariant Risk Minimization (IRM) framework aims to learn invariant features from a set of environments for solving the out-of-distribution (OOD) generalization problem. The underlying assumption is that the causal components of the…
Combining the approaches made in works with Galeotti and Passmann, we define and study a notion of "almost sure" realizability with parameter-free ordinal Turing machines (OTMs). In particular, we show that, in contrast to the classical…
In this note we (in particular) prove an almost sure invariance principle (ASIP) for non-stationary and uniformly bounded sequences of random variables which are exponentially fast $\phi$-mixing. The obtained rate is of order…
We show that certain linear elliptic equations (and systems) in divergence form with almost periodic coefficients have bounded, almost periodic correctors. This is proved under a new condition we introduce which quantifies the almost…
We introduce a relaxed version of the metric definition of quasiconformality that is natural also for mappings of low regularity, including $W_{\mathrm{loc}}^{1,1}(\mathbb{R}^n;\mathbb{R}^n)$-mappings. Then we show on the plane that this…
This survey contains a selection of topics unified by the concept of positive semi-definiteness (of matrices or kernels), reflecting natural constraints imposed on discrete data (graphs or networks) or continuous objects (probability or…
Assume that $X$ is a Banach space of measurable functions for which Koml\'os' Theorem holds. We associate to any closed convex bounded subset $C$ of $X$ a coefficient $t(C)$ which attains its minimum value when $C$ is closed for the…
In this short note, we propose to extend differentiability (with respect to a multidimensional parameter) of a normalized eigenfunction associated to the simple, dominating eigenvalue of the weighted transfer operator for a uniformly…
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…
We extend an uncertainty principle due to Beurling into a characterization of Hermite functions. More precisely, all functions $f$ on $\R^d$ which may be written as $P(x)\exp (Ax,x)$, with $A$ a real symmetric definite positive matrix, are…