Related papers: Polarization of an inequality
In this paper we deal with generalizations of the Mahler volume product for log-concave functions. We show that the polarity transform $\mathcal A$ can be rescaled so that the Mahler product it induces has upper and lower bounds of the same…
We study a variant of the majorization relation. In particular we consider inequalities involving some Schur-concave symmetric polynomials related to the multinomial expansion. We also discuss how these topics were motivated by conjectures…
We generalize an inequality conjectured by Pohst in 1977 and recently proved by the author and independently by Battistoni and Molteni. This new inequality improves a bound for the regulator in terms of the discriminant for totally real…
We obtain several generalizations the Hellinger theorem about $l^2$ solutions of difference equations: instead of second order equations and $ l^2$-solutions, we consider second-order equations with matrix coefficients and their solutions…
The Orlicz $\left( \ell_{2},\ell_{1}\right) $-mixed inequality states that $$ \left( \sum_{j_{1}=1}^{n}\left( \sum_{j_{2}=1}^{n}\left\vert A(e_{j_{1} },e_{j_{2}})\right\vert \right) ^{2}\right) ^{\frac{1}{2}}\leq\sqrt {2}\left\Vert…
We derive bounds and asymptotics for the maximum Riesz polarization quantity $$M_n^p(A) := \max_{{\bold x}_1, {\bold x}_2, \ldots, {\bold x}_n \in A} {\min_{{\bold x} \in A}{\sum_{j=1}^n{\frac{1}{|{\bold x} - {\bold x}_j|^{p}}}}}$$ (which…
Recently, we have established and used the generalized Littlewood theorem concerning contour integrals of the logarithm of analytical function to obtain a few new criteria equivalent to the Riemann hypothesis. Here, the same theorem is…
Based on a new idea of factorization, we prove an improved discrete Rellich inequality and discuss its optimality. We also give a conjecture on improved higher order discrete Hardy-like inequalities and formulate an open problem for the…
We verify a confluence result for the rewriting calculus of the linear category introduced in our previous paper. Together with the termination result proved therein, the generalized coherence theorem for linear category is established.…
The rearrangement inequalities of Hardy-Littlewood and Riesz say that certain integrals involving products of two or three functions increase under symmetric decreasing rearrangement. It is known that these inequalities extend to integrands…
Let $f$ be a smooth real function with strictly monotone first $k$ derivatives. We show that for a finite set $A$, with $|A+A|\leq K|A|$, $|2^kf(A)-(2^k-1)f(A)|\gg_k |A|^{k+1-o(1)}/K^{O_k(1)}$. We deduce several new sum-product type…
For absolutely convergent series we state explicitly a one-sided summation estimate that can be viewed as the discrete analogue of the change of variable formula on the half line. This estimate is implicit in Pascal Lef\`evre's recent…
Let (L,\preccurlyeq) be a finite distributive lattice, and suppose that the functions f_1,f_2:L\to R are monotone increasing with respect to the partial order \preccurlyeq. Given \mu a probability measure on L, denote by E(f_i) the average…
The classical Rellich inequalities imply that the $L^2$-norms of the normal and tangential derivatives of a harmonic function are equivalent. In this note, we prove several refined inequalities, which make sense even if the domain is not…
Let G be a reductive complex algebraic group and V a finite-dimensional G-module. From elements of the invariant algebra C[V]^G we obtain by polarization elements of C[kV]^G, where k\geq 1 and kV denotes the direct sum of k copies of V. For…
We derive modular parametrizations for certain infinite series whose summands involve central binomial coefficients and higher-order harmonic numbers. When the rates of convergence are certain rational numbers, modularity allows us to…
An inequality, which combines the concept of completely monotone functions with the theory of divided differences, is proposed. It is a straightforward generalization of a result, recently introduced by two of the present authors.
We prove a fractional version of Poincar\'e inequalities in the context of $\R^n$ endowed with a fairly general measure. Namely we prove a control of an $L^2$ norm by a non local quantity, which plays the role of the gradient in the…
In 1994, Talagrand showed a generalization of the celebrated KKL theorem. In this work, we prove that the converse of this generalization also holds. Namely, for any sequence of numbers $0<a_1,a_2,\ldots,a_n\le 1$ such that $\sum_{j=1}^n…
We study multiplicative functions $f$ satisfying $|f(n)|\le 1$ for all $n$, the associated Dirichlet series $F(s):=\sum_{n=1}^{\infty} f(n) n^{-s}$, and the summatory function $S_f(x):=\sum_{n\le x} f(n)$. Up to a possible trivial…