Related papers: A Counterexample to a Directed KKL Inequality
We show that analytic analogs of Brunn-Minkowski-type inequalities fail for functional intrinsic volumes on convex functions. This is demonstrated both through counterexamples and by connecting the problem to results of Colesanti, Hug, and…
We compare the forcing related properties of a complete Boolean algebra B with the properties of the convergences $\lambda_s$ (the algebraic convergence) and $\lambda_{ls}$ on B generalizing the convergence on the Cantor and Aleksandrov…
We consider the correlations of invariant observables for the $O(N)$ and $\mathbb{C}\mathbb{P}^{N-1}$ models at zero coupling, namely, with respect to the natural group-invariant measure. In the limit where one takes a large power of the…
The statistics behind Bell's inequality is demonstrated to allow a Kolmogorovian (i.e. classical) model of probabilities that recovers the quantum covariance.
Let $\mu$ and $\nu$ be two probability measures on $\R^d$, where $\mu(\d x)= \e^{-V(x)}\d x$ for some $V\in C^1(\R^d)$. Explicit sufficient conditions on $V$ and $\nu$ are presented such that $\mu*\nu$ satisfies the log-Sobolev, Poincar\'e…
In this paper, we prove Newton-Maclaurin type inequalities for functions obtained by linear combination of two neighboring primary symmetry functions, which is a generalization of the classical Newton-Maclaurin inequality.
This paper is mainly devoted to the study of the reversed Hardy-Littlewood-Sobolev (HLS) inequality on Heisenberg group $\mathbb{H}^n$ and CR sphere $\mathbb{S}^{2n+1}$. First, we establish the roughly reversed HLS inequality and give a…
We study the cases of equality and prove a rigidity theorem concerning the 1-Bakry-\'Emery inequality. As an application, we prove the rigidity of the Gaussian isoperimetric inequality, the logarithmic Sobolev inequality and the Poincar\'e…
We fuse between the Rogers-Shephard inequality for the Lebesgue measure and Royen's Gaussian Correlation Inequality, simultaneously extending both into a single sharp inequality for the Gaussian measure $\gamma$ on $\mathbb{R}^n$, stating…
We present a proof-producing integration of ACL2 and Imandra for proving nonlinear inequalities. This leverages a new Imandra interface exposing its nonlinear decision procedures. The reasoning takes place over the reals, but the proofs…
It is shown that the $L^\alpha$-norms polynomials Rudin conjecture fails. Our counterexample is inspired by Bourgain's work on NLS. Precisely, his study of the Strichartz's inequality of the $L^6$-norm of the periodic solutions given by the…
We give a Sobolev inequality characterisation for the vanishing of a fundamental class in the controlled coarse homology of Nowak and Spakula for quasiconvex uniform spaces that support a local weak $(1,1)$-Poincar\'e inequality. As…
In this paper we study the Sobolev inequality in the Dunkl setting using two new approaches which provide a simpler elementary proof of the classical case $p=2$, as well as an extension to the coefficient $p=1$ that was previously unknown.…
We consider sharp inequalities for Bergman spaces of the unit disc, establishing analogues of the inequality in Carleman's proof of the isoperimetric inequality and of Weissler's inequality for dilations. By contractivity and a standard…
Let $M$ be a complete Riemannian manifold satisfying the doubling volume condition for geodesic balls and $L^q$ scaled Poincar\'e inequalities on suitable remote balls for some $q<2$. We prove the inequality $\left\Vert…
Kullback-Leibler divergence (KL) regularization is widely used in reinforcement learning, but it becomes infinite under support mismatch and can degenerate in low-noise limits. Utilizing a unified information-geometric framework, we…
We give a simple alternative proof of Royen's Gaussian Correlation inequality by using (a slightly generalized version of) Nakamura-Tsuji's symmetric inverse Brascamp-Lieb inequality for even log-concave functions. We explain that this…
Inequalities among symmetric polynomial functions are fundamental questions in mathematics and have various applications in science and engineering. This paper investigates a beautiful and inspiring conjecture, proposed by Cuttler, Greene…
New isoperimetric inequalities for lower order eigenvalues of the Laplacian on closed hypersurfaces, of the biharmonic Steklov problems and of the Wentzell-Laplace on bounded domains in a Euclidean space are proven. Some open questions for…
The exponential ergodicity of partially dissipative McKean-Vlasov SDEs in the \(L^1\)-Wasserstein distance has been extensively studied using asymptotic reflection coupling. However, the reflection coupling method is not applicable for the…