English
Related papers

Related papers: Mild parametrizations of power-subanalytic sets

200 papers

As machine learning is increasingly used to help make decisions, there is a demand for these decisions to be explainable. Arguably, the most explainable machine learning models use decision rules. This paper focuses on decision sets, a type…

Artificial Intelligence · Computer Science 2020-07-31 Jinqiang Yu , Alexey Ignatiev , Peter J. Stuckey , Pierre Le Bodic

We consider extensions of quasiconformal maps and the uniformization theorem to the setting of metric spaces $X$ homeomorphic to $\mathbb R^2$. Given a measure $\mu$ on such a space, we introduce $\mu$-quasiconformal maps $f:X \to \mathbb…

Complex Variables · Mathematics 2021-05-25 Kai Rajala , Martti Rasimus , Matthew Romney

This study first defines a new metric with normal structure on C(H,K) and then a new technique to prove fixed point theorems for families of non-expansive maps on this metric space. Indeed, it shows that the presence of a bounded orbit…

Functional Analysis · Mathematics 2016-02-15 Mona Nabiei

A specific family of point processes are introduced that allow to select samples for the purpose of estimating the mean or the integral of a function of a real variable. These processes, called quasi-systematic processes, depend on a tuning…

Methodology · Statistics 2016-07-19 Matthieu Wilhelm , Yves Tillé , Lionel Qualité

We extend the spectral method for proving limit theorems to random non-uniformly expanding dynamical systems. This yields the CLT and moderate deviations principles (MDP). We show that as the amount of non-uniformity decreases the CLT rates…

Dynamical Systems · Mathematics 2024-08-14 Yeor Hafouta

We explicitly construct infinite families of MSTD (more sums than differences) sets. There are enough of these sets to prove that there exists a constant C such that at least C / r^4 of the 2^r subsets of {1,...,r} are MSTD sets; thus our…

Number Theory · Mathematics 2010-09-15 Steven J. Miller , Brooke Orosz , Daniel Scheinerman

In the realm of light logics deriving from linear logic, a number of variants of exponential rules have been investigated. The profusion of such proof systems induces the need for cut-elimination theorems for each logic, the proof of which…

Logic in Computer Science · Computer Science 2025-06-18 Esaïe Bauer , Alexis Saurin

For a metrizable space $X$ of density $\kappa$, let $PM(X)$ be the space of continuous bounded pseudometrics on $X$ endowed with the uniform convergence topology. In this paper, its topology shall be classified as follows: (i) If $X$ is…

General Topology · Mathematics 2022-05-25 Katsuhisa Koshino

In this paper, we first consider a family of constraints given by straight lines. For a uniform probability distribution, we determine the constrained optimal sets of $n$-points and the corresponding $n$th constrained quantization errors…

Probability · Mathematics 2025-09-26 Pavjeet Singh , S. K. Katiyar , Megha Pandey , Mrinal K. Roychowdhury

We establish a more precise description of those surjective or bijective continuous linear operators preserving orthogonality between C$^*$-algebras. The new description is applied to determine all uniformly continuous one-parameter…

Operator Algebras · Mathematics 2020-10-05 Jorge J. Garcés , Antonio M. Peralta

We describe a minimal set of generators of the defining ideal of the Rees Algebra associated to a proper parametrization of any monoid hypersurface. In the case of plane curves, we recover a known description for rational parametrizations…

Commutative Algebra · Mathematics 2010-04-08 Teresa Cortadellas Benitez , Carlos D'Andrea

Let $S$ be a semiabelian variety over an algebraically closed field, and let $X$ be an irreducible subvariety not contained in a coset of a proper algebraic subgroup of $S$. We show that the number of irreducible components of $[n]^{-1}(X)$…

Logic · Mathematics 2021-07-14 Martin Bays , Misha Gavrilovich , Martin Hils

We study directed sets definable in o-minimal structures, showing that in expansions of ordered fields these admit cofinal definable curves, as well as a suitable analogue in expansions of ordered groups, and furthermore that no analogue…

Logic · Mathematics 2021-09-17 Pablo Andujar Guerrero , Margaret E. M. Thomas , Erik Walsberg

A family of mappings is called uniformly light if the image of the continuum under these mappings cannot be contracted to a point under the sequence of mappings of the family. In this paper, we are interested in the problem of the uniform…

Complex Variables · Mathematics 2025-06-19 Denis Romash , Evgeny Sevost'yanov

The Central Limit Theorem (CLT) establishes that sufficiently large sequences of independent and identically distributed random variables converge in probability to a normal distribution. This makes the CLT a fundamental building block of…

Logic in Computer Science · Computer Science 2026-03-10 Henning Basold , Oisín Flynn-Connolly , Chase Ford , Hao Wang

Let ${\mathcal S}(\R)$ be an o-minimal structure over $\R$, $T \subset \R^{k_1+k_2+\ell}$ a closed definable set, and $$ \displaylines{\pi_1: \R^{k_1+k_2+\ell}\to \R^{k_1 + k_2}, \pi_2: \R^{k_1+k_2+\ell}\to \R^{\ell}, \ \pi_3: \R^{k_1 +…

Combinatorics · Mathematics 2011-02-21 Saugata Basu

We demonstrate some lower bounds for parameterized problems via parameterized classes corresponding to the classical ${\rm AC}^0$. Among others, we derive such a lower bound for all fpt-approximations of the parameterized clique problem and…

Computational Complexity · Computer Science 2016-06-28 Yijia Chen , Joerg Flum

We introduce notions of a constraint metric approximation and of a constraint stability of a metric approximation. This is done in the language of group equations with coefficients. We give an example of a group which is not constraintly…

Group Theory · Mathematics 2017-08-03 Goulnara Arzhantseva , Liviu Paunescu

The main result of the paper gives criteria for extendibility of sesquilinear form-valued mappings defined on symmetric subsets of *-semigroups to positive definite ones. By specifying this we obtain new solutions of: * the truncated…

Functional Analysis · Mathematics 2009-07-01 D. Cichoń , J. Stochel , F. H. Szafraniec

We define a generalization of the fixed point set, called the bounded fixed set, for a group acting by isometries on a metric space. An analogue of the P. A. Smith theorem is proved for metric spaces of finite asymptotic dimension, which…

Geometric Topology · Mathematics 2013-02-12 Ian Hambleton , Lucian Savin