Related papers: On the Brezis-Lieb Lemma without pointwise converg…
Sperner theory is one of the most important branches in extremal set theory. It has many applications in the field of operation research, computer science, hypergraph theory and so on. The LYM property has become an important tool for…
We consider Brouwer's fixed point theorem and Sperner's lemma in one dimension. We present a proof of the Brouwer theorem using the Sperner lemma, and vice versa. However, we also show that they are not equivalent, because the Sperner lemma…
Fresnel laws, the quantitative information of the amount of light that is reflected from a planar interface in dependence on its angle of incidence, are at the core of ray optics. However, these formulae do not hold at curved interfaces and…
Integration at a point is a new kind of integration derived from integration over an interval in infinitesimal and infinity domains which are spaces larger than the reals. Consider a continuous monotonic divergent function that is…
Among the techniques for determining the convergence of a series, Raabe's Test remains relatively unfamiliar to most mathematicians. We present several results relating to Raabe's Test that do not seem to be widely known, making the case…
We give a simple and straightforward proof of the Gap Theorem for separated sequences by A. Poltoratski and M. Mitkovski using the Beurling--Malliavin formula for the radius of completeness.
We consider nonlinear, or "event-dependent", sampling, i.e. such that the sampling instances {tk} depend on the function being sampled. The use of such sampling in the construction of Lebesgue's integral sums is noted and discussed as…
In this note, the Zorn lemma is extended to arbitrary binary relations and thus the Zorn lemma can do for optimization when the transitivity is broken. Zorn's extended lemma can be used to prove existence theorems of generalized solution…
Szemeredi's regularity lemma is an important tool in graph theory which has applications throughout combinatorics. In this paper we prove an analogue of Szemeredi's regularity lemma in the context of abelian groups and use it to derive some…
The Lov\'{a}sz Local Lemma is a central tool in probabilistic combinatorics, providing a sufficient condition under which a finite collection of undesirable events with limited dependencies can be simultaneously avoided with positive…
We consider relational semantics (R-models) for the Lambek calculus extended with intersection and explicit constants for zero and unit. For its variant without constants and a restriction which disallows empty antecedents, Andreka and…
In this paper we present an explicit counterexample of degree $n=7$, which shows that the conjecture proposed by Li et al. \cite{Li2013} regarding the first derivative bounds for rational B\'ezier curves is generally false. We further…
Let $\fre\subset\bbR$ be a finite union of $\ell+1$ disjoint closed intervals and denote by $\omega_j$ the harmonic measure of the $j$ leftmost bands. The frequency module for $\fre$ is the set of all integral combinations of $\omega_1,...,…
We consider the problem of binary classification with abstention in the relatively less studied \emph{bounded-rate} setting. We begin by obtaining a characterization of the Bayes optimal classifier for an arbitrary input-label distribution…
Recently, learning with soft labels has been shown to achieve better performance than learning with hard labels in terms of model generalization, calibration, and robustness. However, collecting pointwise labeling confidence for all…
We develop a new method for estimating the region of the spectral parameter of a generalized Brezis--Nirenberg problem for which there are no, non trivial, smooth solutions. This new method combines the standard Rellich--Pohozaev argument…
The Robinson Splitting Theorem states that a c.e. degree $\mathbf{b}$ splits over any low c.e. degree $\mathbf{c}<\mathbf{b}$. We prove that a weaker version of this theorem holds in models of $\mathrm{P}^-+\mathrm{I}\Sigma_1$, with lowness…
We establish an effective upper bound for the Brascamp-Lieb constant associated to a weighted family of linear maps.
This paper explores two generalizations of the classical Aubin-Lions Lemma. First we give a sufficient condition to commute weak limit and multiplication of two functions. We deduce from this criteria a compactness Theorem for degenerate…
Frequentist (classical) and the Bayesian approaches to the construction of confidence limits are compared. Various examples which illustrate specific problems are presented. The Likelihood Principle and the Stopping Rule Paradox are…