Related papers: On the Brezis-Lieb Lemma without pointwise converg…
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…
The arithmetic fundamental lemma conjecture of the third author connects the derivative of an orbital integral on a symmetric space with an intersection number on a formal moduli space of $p$-divisible groups of Picard type. It arises in…
Bongartz and Ringel proved that there is no gaps in the sequence of lengths of indecomposable modules for the finite-dimensional algebras over algebraically closed fields. The present paper mainly study this "no gaps" theorem for the…
We prove various extensions of the Loomis-Whitney inequality and its dual, where the subspaces on which the projections (or sections) are considered are either spanned by vectors $w_i$ of a not necessarily orthonormal basis of…
Cousin's lemma is a compactness principle that naturally arises when studying the gauge integral, a generalisation of the Lebesgue integral. We study the axiomatic strength of Cousin's lemma for various classes of functions, using Friedman…
We consider the approximation of the total variation of a function by the family of non-local and non-convex functionals introduced by H. Brezis and H.-M. Nguyen in a recent paper. The approximating functionals are defined through double…
Arzel\`a's bounded convergence theorem (1885) states that if a sequence of Riemann integrable functions on a closed interval is uniformly bounded and has an integrable pointwise limit, then the sequence of their integrals tends to the…
We apply a categorical lens to the study of betweenness relations by capturing them within a topological category, fibred in lattices, and study several subcategories of it. In particular, we show that its full subcategory of finite objects…
Parameter estimation is a fundamental problem in science and engineering. In many safety-critical applications, one is not only interested in a {\it point} estimator, but also the uncertainty bound that can self-assess the accuracy of the…
This paper develops a Bayesian approach for assessing equivalence and non-inferiority hypotheses in two-arm trials using relative belief ratios. A relative belief ratio is a measure of statistical evidence and can indicate evidence either…
If $f,g:\mathbb{R}^n\longrightarrow\mathbb{R}_{\geq0}$ are non-negative measurable functions, then the Pr\'ekopa-Leindler inequality asserts that the integral of the Asplund sum (provided that it is measurable) is greater or equal than the…
We propose a new, self-contained, approach to H. Raufi's extension of Prekopa's theorem for matrix-valued log-concave functions. Along the way, new related inequalities are established, in particular a Brascamp-Lieb variance inequality for…
As graphical summaries for topological spaces and maps, Reeb graphs are common objects in the computer graphics or topological data analysis literature. Defining good metrics between these objects has become an important question for…
We prove a range of $L^p$ bounds for singular Brascamp-Lieb forms with cubical structure. We pass through sparse and local bounds, the latter proved by an iteration of Fourier expansion, telescoping, and the Cauchy-Schwarz inequality. We…
In the classical literature on infinite series there are various tests to determine if a given infinite series converges, diverges, or oscillates. But unfortunately, for very many infinite series all the existing tests can fail to provide…
For a regression problem with a binary label response, we examine the problem of constructing confidence intervals for the label probability conditional on the features. In a setting where we do not have any information about the underlying…
Let $X$ be an $n$-element set. A set-pair system $\mbox{$\cal P$}=\{(A_i,B_i)\}_{1\leq i\leq m}$ is a collection of pairs of disjoint subsets of $X$. It is called skew Bollob\'as system if $A_i\cap B_j\neq \emptyset$ for all $1\leq i<j \leq…
This note describes Fatou's lemma and Lebesgue's dominated convergence theorem for a sequence of measures converging weakly to a finite measure and for a sequence of functions whose negative parts are uniformly integrable with respect to…
The linear Arithmetic Fundamental Lemma (AFL) conjecture compares intersection numbers on Lubin--Tate deformation spaces with derivatives of orbital integrals. It has been introduced for elliptic orbits in arXiv:1803.07553 and…
We use the characterization of the case of equality in Barthe's Geometric Reverse Brascamp-Lieb inequality to characterize equality in Liakopoulos's volume estimate in terms of sections by certain lower-dimensional linear subspaces.