Related papers: Graphical proof of Ginibre's inequality
The classical Gagliardo-Nirenberg interpolation inequality is a well-known estimate which gives, in particular, an estimate for the Lebesgue norm of intermediate derivatives of functions in Sobolev spaces. We present an extension of this…
Starting with an inclusion-exclusion proof of a combinatorial identity, a direct bijection can be produced using recursive subtraction (sometimes with a direct combinatorial description). We apply this method to identities for generalized…
In two previous papers, we exposed a combinatorial approach to the program of Geometry of Interaction, a program initiated by Jean-Yves Girard. The strength of our approach lies in the fact that we interpret proofs by simpler structures -…
Many psychological theories can be operationalized as linear inequality constraints on the parameters of multinomial distributions (e.g., discrete choice analysis). These constraints can be described in two equivalent ways: Either as the…
We give another bijective proof of a result of Corteel and Nadeau. We find a generating function related to unrestricted columns of permutation tableaux. As a consequence, we obtain a sign-imbalance formula for permutation tableaux. We…
This note proves sharp affine Gagliardo-Nirenberg inequalities which are stronger than all known sharp Euclidean Gagliardo-Nirenberg inequalities and imply the affine $L^{p}-$Sobolev inequalities. The logarithmic version of affine…
Hibi showed that the polynomial in the numerator of the Ehrhart series of a reflexive polytope is palindromic. We proved that those in the numerator of the Ehrhart series of every graph polytope (defined later) of the bipartite graph is…
We give elementary self-contained proofs of the strong Mason conjecture recently proved by Anari at. al. (arXiv:1811.01600) and Br\"and\'en--Huh (arXiv:1902.03719), and of the classical Alexandrov--Fenchel inequality. Both proofs use the…
We study a type of calculus for proving inequalities between subgraph densities which is based on Jensen's inequality for the logarithmic function. As a demonstration of the method we verify the conjecture of Erd\"os-Simonovits and…
In this note we prove an inequality for t-geometric means that immediately implies the recent results of Audenaert [2] and Hayajneh-Kittaneh [6].
This note introduces bilinear estimates intended as a step towards an $L^\infty$-endpoint Kato-Ponce inequality. In particular, a bilinear version of the classical Gagliardo-Nirenberg interpolation inequalities for a product of functions is…
We extend the directional Poincar\'e inequality on the torus, introduced by Steinerberger in [Ark. Mat. 54 (2016), pp. 555--569], to the setting of compact Lie groups. We provide necessary and sufficient conditions for the existence of such…
We show that the inequality $H(A \mid B,X) + H(A \mid B,Y) \le H(A\mid B)$ for jointly distributed random variables $A,B,X,Y$, which does not hold in general case, holds under some natural condition on the support of the probability…
In this paper, we are interested in Gaussian versions of the classical Brunn-Minkowski inequality. We prove in a streamlined way a semigroup version of the Ehrard inequality for $m$ Borel or convex sets based on a previous work by Borell.…
A split graph is a graph whose vertices can be partitioned into a clique and a stable set. We investigate the combinatorial species of split graphs, providing species-theoretic generalizations of enumerative results due to B\'ina and…
We propose an extension of the univariate Lorenz curve and of the Gini coefficient to the multivariate case, i.e., to simultaneously measure inequality in more than one variable. Our extensions are based on copulas and measure inequality…
In this paper, we consider the mixed tensor space of a $G$-graded vector space where $G$ is a finite abelian group. We obtain a spanning set of invariants of the associated symmetric algebra under the action of a color analogue of the…
We prove a conjecture by Kreiman and Lakshmibai on a combinatorial description of multiplicities of points on Schubert varieties in Graszmannians in terms of certain sets of reflections in the corresponding Weyl group. The proof is…
The purpose of this paper is to show that the multiplicities of a discrete series representation relatively to a compact subgroup can be "computed" geometrically, in the way predicted by the "qantization commutes with reduction" principle…
Gordon and Litherland's paper $\textit{On the Signature of a link}$ introduced a bilinear form that simultaneously unifies both the quadratic forms of Trotter and Goeritz. This remarkable pairing of combinatorics and topology has had…