Related papers: The Coarea Inequality
Motivated by previous work leveraging factorizations of second- and fourth-order differential operators, a general integral inequality involving higher order derivatives is proven by elementary means. It is then shown how this framework…
A great number of articles widen a known scientific result $P(a)$ (such as: a theorem, an inequality, or a math/physics/chemical etc. proposition or formula) by a simple recurrence procedure and using, in the proof, the proposition $P(a)$…
The Ehrhard-Borell inequality is a far-reaching refinement of the classical Brunn-Minkowski inequality that captures the sharp convexity and isoperimetric properties of Gaussian measures. Unlike in the classical Brunn-Minkowski theory, the…
We prove Gagliardo-Nirenberg inequalities on some classes of manifolds, Lie groups and graphs.
We introduce Bell inequalities based on covariance, one of the most common measures of correlation. Explicit examples are discussed, and violations in quantum theory are demonstrated. A crucial feature of these covariance Bell inequalities…
Leggett formulated an inequality which seems to generalize the Bell theorem to non-local hidden variable theories. Leggett inequality is violated by quantum mechanics, as was confirmed by experiment. However, a careful analysis reveals that…
In this paper, we prove an inequality regarding the differential polynomial. This improves some recent results.
After works by Michael and Simon [10], Hoffman and Spruck [9], and White [14], the celebrated Sobolev inequality could be extended to submanifolds in a huge class of Riemannian manifolds. The universal constant obtained depends only on the…
The main result of this paper supports a conjecture by C. P\'erez and E. Rela about a very recent result of theirs on self-improving theory. Also, we extend the conclusions of their theorem to the range $p<1$. As an application of our…
We consider a new and simpler proof of an inequality of A.S. Gasparyan, which was originally derived in terms of complex algebraical objects --- multidimensional hyperdeterminants. Our proof is much simpler and use only standard technics…
In this note, we give a simple, counting based proof of Fisher's Inequality that does not use any tools from linear algebra.
We provide a simple unified approach to obtain (i) Discrete polygonal isoperimetric type inequalities of arbitrary high order. (ii) Arbitrary high order isoperimetric type inequalities for smooth curves, where both upper and lower bounds…
We give three new proofs of the triangle inequality in Euclidean Geometry. There seems to be only one known proof at the moment. It is due to properties of triangles, but our proofs are due to circles or ellipses. We aim to prove the…
Considering some parameters and by means of an inequality of Hadamard, we derive general half-discrete Hilbert-type inequalities. Then we highlight some special cases.
Tverberg's theorem is one of the cornerstones of discrete geometry. It states that, given a set $X$ of at least $(d+1)(r-1)+1$ points in $\mathbb R^d$, one can find a partition $X=X_1\cup \ldots \cup X_r$ of $X$, such that the convex hulls…
We discuss several classical and recent proofs of the isoperimetric inequality and the Sobolev inequality.
A generalization of the triangle inequality is introduced by a mapping similar to a t-conorm mapping. This generalization leads us to a notion for which we use the $\star$-metric terminology. We are interested in the topological space…
This paper presents some new inequalities, the most important of which is the inequality given in Theorem 2.1. It can solve a class of inequalities by a unified method. An important application of the inequality given in Theorem 2.1 is to…
We prove a new inequality for Gaussian processes, this inequality implies the Gordon-Chevet inequality. Some remarks on Gaussian proofs of Dvoretzky's theorem are given.
We use generalised cross--ratios to prove the Ptolemaean inequality and the Theorem of Ptolemaeus in the setting of the boundary of symmetric Riemannian spaces of rank 1 and of negative curvature.