Related papers: Some Remarks on Capacitary Integrals and Measure T…

We show that for a minimal system $(X,T)$, the set of saturated points along cubes with respect to its maximal $\infty$-step pro-nilfactor $X_\infty$ has a full measure. As an application, it is shown that if a minimal system $(X,T)$ has no…

We consider supervised learning problems in which set predictions provide explicit uncertainty estimates. Using Choquet integrals (a.k.a. Lov{\'a}sz extensions), we propose a convex loss function for nondecreasing subset-valued functions…

Different notions for order convergence have been considered by various authors. Associated to every notion of order convergence corresponds a topology, defined by taking as the closed sets those subsets of the poset satisfying that no net…

Fatou's lemma is a classic fact in real analysis that states that the limit inferior of integrals of functions is greater than or equal to the integral of the inferior limit. This paper introduces a stronger inequality that holds uniformly…

We use Pesin theory to study possible equilibrium measures for piecewise monotone maps of the interval. The maps may have unbounded derivative.

This paper contains a development of the Theory of Lebesgue and Bochner spaces of summable functions. It represents a synthesis of the results due to H. Lebesgue, S. Banach, S. Bochner, G. Fubini, S. Saks, F. Riesz, N. Dunford, P. Halmos,…

We show that if a numerical method is posed as a sequence of operators acting on data and depending on a parameter, typically a measure of the size of discretization, then consistency, convergence and stability can be related by a…

We establish a hierarchy of weighted majorization relations for the singularities of generalized Lam\'e equations and the zeros of their Van Vleck and Heine-Stieltjes polynomials as well as for multiparameter spectral polynomials of higher…

A classical theorem of Fatou asserts that the Radon-Nikodym derivative of any finite positive Borel measure, $\mu$, with respect to Lebesgue measure on the complex unit circle, is recovered as the non-tangential limits of its Poisson…

In this paper, new versions of Chebyshev's, Minkowski's and Holder's type inequalities are studied by using a monotone measure-base universal integral on an arbitrary measurable space. This paper generalizes some previous results obtained…

We consider integrals in the sense of Choquet with respect to the $\delta$-dimensional Hausdorff content for continuously differentiable functions defined on open, connected sets in the Euclidean $n$-space, $n\geq 2$, $0<\delta\le n$. In…

We propose monotone comparative statics results for maximizers of submodular functions, as opposed to maximizers of supermodular functions as in the classical theory put forth by Veinott, Topkis, Milgrom, and Shannon among others. We…

We study non-linear traces of Choquet type and Sugeno type on matrix algebras. They have certain partial additivities. We show that these partial additivities characterize non-linear traces of both Choquet type and Sugeno type respectively.…

In this paper, we prove some new thickness theorems with partial derivatives. We give some applications. First, we give a simple criterion that can judge whether two scaled Cantor sets have non-empty intersection. Second, we prove under…

We prove that convex functions of finite order on the real line and subharmonic functions of finite order on finite dimensional real space, bounded from above outside of some set of zero relative Lebesgue density, are bounded from above…

A "Bochner-type" integral for vector lattice-valued functions with respect to (possibly infinite) vector lattice-valued measures is presented with respect to abstract convergences, satisfying suitable axioms, and some fundamental properties…

The Bochner integral is a generalization of the Lebesgue integral, for functions taking their values in a Banach space. Therefore, both its mathematical definition and its formalization in the Coq proof assistant are more challenging as we…

While coresets have been growing in terms of their application, barring few exceptions, they have mostly been limited to unsupervised settings. We consider supervised classification problems, and non-decomposable evaluation measures in such…

Let $X$ be a complete measure space of finite measure. The Lebesgue transform of an integrable function $f$ on $X$ encodes the collection of all the mean-values of $f$ on all measurable subsets of $X$ of positive measure. In the problem of…

We extend the theoretical framework of proof mining by establishing general logical metatheorems that allow for the extraction of the computational content of theorems with prima facie "non-computational" proofs from probability theory,…