Showing 1–34 of 34 results for author: Nayar, P

On the optimal $L_p$-$L_4$ Khintchine inequality

Authors: Adam Barański, Daniel Murawski, Piotr Nayar, Krzysztof Oleszkiewicz

Abstract: We derive optimal dimension independent constants in the classical Khintchine inequality between the $p$th and fourth moment for $p\ge 4$. As an application we deduce stability estimates for the Khintchine inequality between the $p$th and second moment for $p \geq 4$. We derive optimal dimension independent constants in the classical Khintchine inequality between the $p$th and fourth moment for $p\ge 4$. As an application we deduce stability estimates for the Khintchine inequality between the $p$th and second moment for $p \geq 4$. △ Less

Submitted 14 March, 2025; originally announced March 2025.

MSC Class: 52A40 (Primary) 60E15; 26D15 (Secondary)

Minimum entropy of a log-concave variable for fixed variance

Authors: James Melbourne, Piotr Nayar, Cyril Roberto

Abstract: We show that for log-concave real random variables with fixed variance the Shannon differential entropy is minimized for an exponential random variable. We apply this result to derive upper bounds on capacities of additive noise channels with log-concave noise. We also improve constants in the reverse entropy power inequalities for log-concave random variables. We show that for log-concave real random variables with fixed variance the Shannon differential entropy is minimized for an exponential random variable. We apply this result to derive upper bounds on capacities of additive noise channels with log-concave noise. We also improve constants in the reverse entropy power inequalities for log-concave random variables. △ Less

Submitted 15 March, 2024; v1 submitted 4 September, 2023; originally announced September 2023.

Comments: A simpler proof of the "Three-point inequality'' is given

Distributional stability of the Szarek and Ball inequalities

Authors: Alexandros Eskenazis, Piotr Nayar, Tomasz Tkocz

Abstract: We prove an extension of Szarek's optimal Khinchin inequality (1976) for distributions close to the Rademacher one, when all the weights are uniformly bounded by a $1/\sqrt2$ fraction of their total $\ell_2$-mass. We also show a similar extension of the probabilistic formulation of Ball's cube slicing inequality (1986). These results establish the distributional stability of these optimal Khinchin… ▽ More We prove an extension of Szarek's optimal Khinchin inequality (1976) for distributions close to the Rademacher one, when all the weights are uniformly bounded by a $1/\sqrt2$ fraction of their total $\ell_2$-mass. We also show a similar extension of the probabilistic formulation of Ball's cube slicing inequality (1986). These results establish the distributional stability of these optimal Khinchin-type inequalities. The underpinning to such estimates is the Fourier-analytic approach going back to Haagerup (1981). △ Less

Submitted 3 July, 2023; v1 submitted 23 January, 2023; originally announced January 2023.

Comments: Final version. To appear in Math. Ann

MSC Class: 60E15; 42A38; 26D15; 60G50

Journal ref: Math. Ann. 389 (2024), no. 2, 1161-1185

Resilience of cube slicing in $\ell_p$

Authors: Alexandros Eskenazis, Piotr Nayar, Tomasz Tkocz

Abstract: Ball's celebrated cube slicing (1986) asserts that among hyperplane sections of the cube in $\mathbb{R}^n$, the central section orthogonal to $(1,1,0,\dots,0)$ has the greatest volume. We show that the same continues to hold for slicing $\ell_p$ balls when $p > 10^{15}$, as well as that the same hyperplane minimizes the volume of projections of $\ell_q$ balls for $1 < q < 1 + 10^{-12}$. This exten… ▽ More Ball's celebrated cube slicing (1986) asserts that among hyperplane sections of the cube in $\mathbb{R}^n$, the central section orthogonal to $(1,1,0,\dots,0)$ has the greatest volume. We show that the same continues to hold for slicing $\ell_p$ balls when $p > 10^{15}$, as well as that the same hyperplane minimizes the volume of projections of $\ell_q$ balls for $1 < q < 1 + 10^{-12}$. This extends Szarek's optimal Khinchin inequality (1976) which corresponds to $q=1$. These results thus address the resilience of the Ball--Szarek hyperplane in the ranges $2 < p < \infty$ and $1 < q < 2$, where analysis of the extremizers has been elusive since the works of Koldobsky (1998), Barthe--Naor (2002) and Oleszkiewicz (2003). △ Less

Submitted 15 January, 2024; v1 submitted 3 November, 2022; originally announced November 2022.

Comments: Final version. To appear in Duke Math. J

MSC Class: 52A40; 52A20; 52A38; 60E15

Journal ref: Duke Math. J. 173 (2024), no. 17, 3377-3412

Extremal sections and projections of certain convex bodies: a survey

Authors: Piotr Nayar, Tomasz Tkocz

Abstract: We survey results concerning sharp estimates on volumes of sections and projections of certain convex bodies, mainly $\ell_p$ balls, by and onto lower dimensional subspaces. This subject emerged from geometry of numbers several decades ago and since then has seen development of a variety of probabilistic and analytic methods, showcased in this survey. We survey results concerning sharp estimates on volumes of sections and projections of certain convex bodies, mainly $\ell_p$ balls, by and onto lower dimensional subspaces. This subject emerged from geometry of numbers several decades ago and since then has seen development of a variety of probabilistic and analytic methods, showcased in this survey. △ Less

Submitted 21 June, 2023; v1 submitted 3 October, 2022; originally announced October 2022.

Comments: References updated. To appear in "Harmonic Analysis and Convexity"

MSC Class: 52A38; 60E15; 42B10

Journal ref: Harmonic analysis and convexity, 343-390, Adv. Anal. Geom., 9, De Gruyter, Berlin, 2023

Log-concavity and discrete degrees of freedom

Authors: Jacek Jakimiuk, Daniel Murawski, Piotr Nayar, Semen Słobodianiuk

Abstract: We develop the notion of discrete degrees of freedom of a log-concave sequence and use it to prove that geometric distribution minimises Rényi entropy of order infinity under fixed variance, among all discrete log-concave random variables in $\mathbb{Z}$. We also show that the quantity $\mathbb{P}(X=\mathbb{E} X)$ is maximised, among all ultra-log-concave random variables with fixed integral mean,… ▽ More We develop the notion of discrete degrees of freedom of a log-concave sequence and use it to prove that geometric distribution minimises Rényi entropy of order infinity under fixed variance, among all discrete log-concave random variables in $\mathbb{Z}$. We also show that the quantity $\mathbb{P}(X=\mathbb{E} X)$ is maximised, among all ultra-log-concave random variables with fixed integral mean, for a Poisson distribution. △ Less

Submitted 6 May, 2023; v1 submitted 9 May, 2022; originally announced May 2022.

Comments: One application was added and the title was modified

MSC Class: Primary 60E15; Secondary 94A17

Slicing $\ell_p$-balls reloaded: stability, planar sections in $\ell_1$

Authors: Giorgos Chasapis, Piotr Nayar, Tomasz Tkocz

Abstract: We show that the two-dimensional minimum-volume central section of the $n$-dimensional cross-polytope is attained by the regular $2n$-gon. We establish stability-type results for hyperplane sections of $\ell_p$-balls in all the cases where the extremisers are known. Our methods are mainly probabilistic, exploring connections between negative moments of projections of random vectors uniformly distr… ▽ More We show that the two-dimensional minimum-volume central section of the $n$-dimensional cross-polytope is attained by the regular $2n$-gon. We establish stability-type results for hyperplane sections of $\ell_p$-balls in all the cases where the extremisers are known. Our methods are mainly probabilistic, exploring connections between negative moments of projections of random vectors uniformly distributed on convex bodies and volume of their sections. △ Less

Submitted 15 April, 2022; v1 submitted 12 September, 2021; originally announced September 2021.

Comments: Final version. To appear in Ann. Probab

MSC Class: 52A40; 52A20

Journal ref: Ann. Probab. 50 (2022), no. 6, 2344-2372

Rényi entropy and variance comparison for symmetric log-concave random variables

Authors: Maciej Białobrzeski, Piotr Nayar

Abstract: We show that for any $α>0$ the Rényi entropy of order $α$ is minimized, among all symmetric log-concave random variables with fixed variance, either for a uniform distribution or for a two sided exponential distribution. The first case occurs for $α\in (0,α^*]$ and the second case for $α\in [α^*,\infty)$, where $α^*$ satisfies the equation $\frac{1}{α^*-1}\log α^*= \frac12 \log 6$, that is… ▽ More We show that for any $α>0$ the Rényi entropy of order $α$ is minimized, among all symmetric log-concave random variables with fixed variance, either for a uniform distribution or for a two sided exponential distribution. The first case occurs for $α\in (0,α^*]$ and the second case for $α\in [α^*,\infty)$, where $α^*$ satisfies the equation $\frac{1}{α^*-1}\log α^*= \frac12 \log 6$, that is $α^* \approx 1.241$. Using those results, we prove that one-sided exponential distribution minimizes Rényi entropy of order $α\geq 2$ among all log-concave random variables with fixed variance. △ Less

Submitted 1 October, 2021; v1 submitted 23 August, 2021; originally announced August 2021.

Khinchin-type inequalities via Hadamard's factorisation

Authors: Alex Havrilla, Piotr Nayar, Tomasz Tkocz

Abstract: We prove Khinchin-type inequalities with sharp constants for type L random variables and all even moments. Our main tool is Hadamard's factorisation theorem from complex analysis, combined with Newton's inequalities for elementary symmetric functions. Besides the case of independent summands, we also treat ferromagnetic dependencies in a nonnegative external magnetic field (thanks to Newman's gene… ▽ More We prove Khinchin-type inequalities with sharp constants for type L random variables and all even moments. Our main tool is Hadamard's factorisation theorem from complex analysis, combined with Newton's inequalities for elementary symmetric functions. Besides the case of independent summands, we also treat ferromagnetic dependencies in a nonnegative external magnetic field (thanks to Newman's generalisation of the Lee-Yang theorem). Lastly, we compare the notions of type L, ultra sub-Gaussianity (introduced by Nayar and Oleszkiewicz) and strong log-concavity (introduced by Gurvits), with the latter two being equivalent. △ Less

Submitted 11 October, 2021; v1 submitted 18 February, 2021; originally announced February 2021.

Comments: Final version. To appear in Int. Math. Res. Not. IMRN

Journal ref: Int. Math. Res. Not. IMRN 2023, no. 3, 2429-2445

Reverse isoperimetric inequalities for parallel sets

Authors: Piotr Nayar

Abstract: We consider the family of $r$-parallel sets in $\mathbb{R}^d$, that is sets of the form $A_r=A+rB_2^n$, where $B_2^n$ is the unit Euclidean ball and $A$ is an arbitrary Borel set. We show that the ratio between the upper surface area measure of an $r$-parallel set and its volume is upper bounded by $d/r$. Equality is achieved for $A$ being a single point. As a consequence of our main result we sho… ▽ More We consider the family of $r$-parallel sets in $\mathbb{R}^d$, that is sets of the form $A_r=A+rB_2^n$, where $B_2^n$ is the unit Euclidean ball and $A$ is an arbitrary Borel set. We show that the ratio between the upper surface area measure of an $r$-parallel set and its volume is upper bounded by $d/r$. Equality is achieved for $A$ being a single point. As a consequence of our main result we show that the Gaussian upper surface area measure of an $r$-parallel set is upper bounded by $18d \max(\sqrt{d},r^{-1})$. Moreover, we observe that there exists a $1$-parallel set with Gaussian surface area measure at least $0.28 \cdot d^{1/4}$. △ Less

Submitted 6 February, 2021; originally announced February 2021.

Comments: 4 pages

MSC Class: Primary 52A40; Secondary 60G15

Essentially fully anisotropic Orlicz functions and uniqueness to measure data problem

Authors: Iwona Chlebicka, Piotr Nayar

Abstract: Studying elliptic measure data problem with strongly nonlinear operator whose growth is described by the means of fully anisotropic $N$-function, we prove the uniqueness for a broad class of measures. In order to provide it, the framework of capacities in fully anisotropic Orlicz-Sobolev spaces is developed and the~capacitary characterization of a~bounded measure is given. Moreover, we give an e… ▽ More Studying elliptic measure data problem with strongly nonlinear operator whose growth is described by the means of fully anisotropic $N$-function, we prove the uniqueness for a broad class of measures. In order to provide it, the framework of capacities in fully anisotropic Orlicz-Sobolev spaces is developed and the~capacitary characterization of a~bounded measure is given. Moreover, we give an example of an anisotropic Young function $Φ$, such that $|ξ|^p \lesssimΦ(ξ)\lesssim |ξ|^p\log^α(1+|ξ|)$, with arbitrary $p\geq 1$, $α>0$, but so irregularly growing that % we call it essentially fully anisotropic. In fact, the Orlicz--Sobolev--type space generated by $Φ$ indispensably requires fully anisotropic tools to be handled. △ Less

Submitted 5 August, 2020; originally announced August 2020.

Sharp variance-entropy comparison for nonnegative Gaussian quadratic forms

Authors: Maciej Bartczak, Piotr Nayar, Szymon Zwara

Abstract: In this article we study weighted sums of $n$ i.i.d. Gamma($α$) random variables with nonnegative weights. We show that for $n \geq 1/α$ the sum with equal coefficients maximizes differential entropy when variance is fixed. As a consequence, we prove that among nonnegative quadratic forms in $n$ independent standard Gaussian random variables, a diagonal form with equal coefficients maximizes diffe… ▽ More In this article we study weighted sums of $n$ i.i.d. Gamma($α$) random variables with nonnegative weights. We show that for $n \geq 1/α$ the sum with equal coefficients maximizes differential entropy when variance is fixed. As a consequence, we prove that among nonnegative quadratic forms in $n$ independent standard Gaussian random variables, a diagonal form with equal coefficients maximizes differential entropy, under a fixed variance. This provides a sharp lower bound for the relative entropy between a nonnegative quadratic form and a Gaussian random variable. Bounds on capacities of transmission channels subject to $n$ independent additive gamma noises are also derived. △ Less

Submitted 10 May, 2021; v1 submitted 24 May, 2020; originally announced May 2020.

From the Bernoulli Factory to a Dice Enterprise via Perfect Sampling of Markov Chains

Authors: Giulio Morina, Krzysztof Latuszynski, Piotr Nayar, Alex Wendland

Abstract: Given a $p$-coin that lands heads with unknown probability $p$, we wish to produce an $f(p)$-coin for a given function $f: (0,1) \rightarrow (0,1)$. This problem is commonly known as the Bernoulli Factory and results on its solvability and complexity have already been obtained. Nevertheless, generic ways to design a practical Bernoulli Factory for a given function $f$ exist only in a few special c… ▽ More Given a $p$-coin that lands heads with unknown probability $p$, we wish to produce an $f(p)$-coin for a given function $f: (0,1) \rightarrow (0,1)$. This problem is commonly known as the Bernoulli Factory and results on its solvability and complexity have already been obtained. Nevertheless, generic ways to design a practical Bernoulli Factory for a given function $f$ exist only in a few special cases. We present a constructive way to build an efficient Bernoulli Factory when $f(p)$ is a rational function with coefficients in $\mathbb{R}$. Moreover, we extend the Bernoulli Factory problem to a more general setting where we have access to an $m$-sided die and we wish to roll a $v$-sided one; i.e., we consider rational functions between open probability simplices. Our construction consists of rephrasing the original problem as simulating from the stationary distribution of a certain class of Markov chains - a task that we show can be achieved using perfect simulation techniques with the original $m$-sided die as the only source of randomness. In the Bernoulli Factory case, the number of tosses needed by the algorithm has exponential tails and its expected value can be bounded uniformly in $p$. En route to optimizing the algorithm we show a fact of independent interest: every finite, integer valued, random variable will eventually become log-concave after convolving with enough Bernoulli trials. △ Less

Submitted 28 September, 2020; v1 submitted 19 December, 2019; originally announced December 2019.

Hadamard products and moments of random vectors

Authors: Rafał Latała, Piotr Nayar

Abstract: We derive new comparison inequalities between weak and strong moments of norms of random vectors with optimal (up to an universal factor) constants. We discuss applications to the concentration of log-concave random vectors and bounds on $p$-summing norms of finite rank operators. We derive new comparison inequalities between weak and strong moments of norms of random vectors with optimal (up to an universal factor) constants. We discuss applications to the concentration of log-concave random vectors and bounds on $p$-summing norms of finite rank operators. △ Less

Submitted 23 July, 2019; originally announced July 2019.

Comments: 9 pages

MSC Class: Primary: 60E15; Secondary: 52A20; 46B09

Journal ref: Adv. Math. 375 (2020), 107414, 10pp

Two remarks on generalized entropy power inequalities

Authors: Mokshay Madiman, Piotr Nayar, Tomasz Tkocz

Abstract: This note contributes to the understanding of generalized entropy power inequalities. Our main goal is to construct a counter-example regarding monotonicity and entropy comparison of weighted sums of independent identically distributed log-concave random variables. We also present a complex analogue of a recent dependent entropy power inequality of Hao and Jog, and give a very simple proof. This note contributes to the understanding of generalized entropy power inequalities. Our main goal is to construct a counter-example regarding monotonicity and entropy comparison of weighted sums of independent identically distributed log-concave random variables. We also present a complex analogue of a recent dependent entropy power inequality of Hao and Jog, and give a very simple proof. △ Less

Submitted 3 April, 2019; originally announced April 2019.

Comments: arXiv:1811.00345 is split into 2 papers, with this being one

MSC Class: 94A17

Journal ref: Geometric Aspects of Functional Analysis: Israel Seminar (GAFA) 2017-2019 Volume II, B. Klartag and E. Milman (eds.), Lecture Notes in Mathematics, vol. 2266, Springer, 2020

Sharp moment-entropy inequalities and capacity bounds for log-concave distributions

Authors: Mokshay Madiman, Piotr Nayar, Tomasz Tkocz

Abstract: We show that the uniform distribution minimizes entropy among all one-dimensional symmetric log-concave distributions with fixed variance, as well as various generalizations of this fact to Rényi entropies of orders less than 1 and with moment constraints involving $p$-th absolute moments with $p\leq 2$. As consequences, we give new capacity bounds for additive noise channels with symmetric log-co… ▽ More We show that the uniform distribution minimizes entropy among all one-dimensional symmetric log-concave distributions with fixed variance, as well as various generalizations of this fact to Rényi entropies of orders less than 1 and with moment constraints involving $p$-th absolute moments with $p\leq 2$. As consequences, we give new capacity bounds for additive noise channels with symmetric log-concave noises, as well as for timing channels involving positive signal and noise where the noise has a decreasing log-concave density. In particular, we show that the capacity of an additive noise channel with symmetric, log-concave noise under an average power constraint is at most 0.254 bits per channel use greater than the capacity of an additive Gaussian noise channel with the same noise power. Consequences for reverse entropy power inequalities and connections to the slicing problem in convex geometry are also discussed. △ Less

Submitted 12 October, 2020; v1 submitted 1 November, 2018; originally announced November 2018.

Comments: the original paper split into two: this one and arXiv:1904.02314; additional results added to this part

MSC Class: 94A17 (Primary); 60E15 (Secondary)

Journal ref: IEEE Trans. Inform. Theory, vol. 67, no. 1, pp. 81-94, 2021

On a convexity property of sections of the cross-polytope

Authors: Piotr Nayar, Tomasz Tkocz

Abstract: We establish the log-concavity of the volume of central sections of dilations of the cross-polytope (the strong B-inequality for the cross-polytope and Lebesgue measure restricted to an arbitrary subspace). We establish the log-concavity of the volume of central sections of dilations of the cross-polytope (the strong B-inequality for the cross-polytope and Lebesgue measure restricted to an arbitrary subspace). △ Less

Submitted 10 October, 2018; v1 submitted 3 October, 2018; originally announced October 2018.

MSC Class: 52A40

Journal ref: Proc. Amer. Math. Soc. 148 (2020), no. 3, 1271-1278

Bounds on moments of weighted sums of finite Riesz products

Authors: Aline Bonami, Rafał Latała, Piotr Nayar, Tomasz Tkocz

Abstract: Let $n_j$ be a lacunary sequence of integers, such that $n_{j+1}/n_j\geq r$. We are interested in linear combinations of the sequence of finite Riesz products $\prod_{j=1}^N(1+\cos(n_j t))$. We prove that, whenever the Riesz products are normalized in $L^p$ norm ($p\geq 1$) and when $r$ is large enough, the $L^p$ norm of such a linear combination is equivalent to the $\ell^p$ norm of the sequence… ▽ More Let $n_j$ be a lacunary sequence of integers, such that $n_{j+1}/n_j\geq r$. We are interested in linear combinations of the sequence of finite Riesz products $\prod_{j=1}^N(1+\cos(n_j t))$. We prove that, whenever the Riesz products are normalized in $L^p$ norm ($p\geq 1$) and when $r$ is large enough, the $L^p$ norm of such a linear combination is equivalent to the $\ell^p$ norm of the sequence of coefficients. In other words, one can describe many ways of embedding $\ell^p$ into $L^p$ based on Fourier coefficients. This generalizes to vector valued $L^p$ spaces. △ Less

Submitted 26 October, 2020; v1 submitted 28 May, 2018; originally announced May 2018.

MSC Class: Primary: 42A55; Secondary: 26D05; 42A05

Journal ref: J. Fourier Anal. Appl. 26 (2020), no. 6, 84

Sharp comparison of moments and the log-concave moment problem

Authors: Alexandros Eskenazis, Piotr Nayar, Tomasz Tkocz

Abstract: This article investigates sharp comparison of moments for various classes of random variables appearing in a geometric context. In the first part of our work we find the optimal constants in the Khintchine inequality for random vectors uniformly distributed on the unit ball of the space $\ell_q^n$ for $q\in(2,\infty)$, complementing past works that treated $q\in(0,2]\cup\{\infty\}$. As a byproduct… ▽ More This article investigates sharp comparison of moments for various classes of random variables appearing in a geometric context. In the first part of our work we find the optimal constants in the Khintchine inequality for random vectors uniformly distributed on the unit ball of the space $\ell_q^n$ for $q\in(2,\infty)$, complementing past works that treated $q\in(0,2]\cup\{\infty\}$. As a byproduct of this result, we prove an extremal property for weighted sums of symmetric uniform distributions among all symmetric unimodal distributions. In the second part we provide a one-to-one correspondence between vectors of moments of symmetric log-concave functions and two simple classes of piecewise log-affine functions. These functions are shown to be the unique extremisers of the $p$-th moment functional, under the constraint of a finite number of other moments being fixed, which is a refinement of the description of extremisers provided by the generalised localisation theorem of Fradelizi and Guédon [Adv. Math. 204 (2006) no. 2, 509-529]. △ Less

Submitted 23 January, 2018; originally announced January 2018.

Journal ref: Adv. Math. 334 (2018) 389-416

Gaussian mixtures: entropy and geometric inequalities

Authors: Alexandros Eskenazis, Piotr Nayar, Tomasz Tkocz

Abstract: A symmetric random variable is called a Gaussian mixture if it has the same distribution as the product of two independent random variables, one being positive and the other a standard Gaussian random variable. Examples of Gaussian mixtures include random variables with densities proportional to $e^{-|t|^p}$ and symmetric $p$-stable random variables, where $p\in(0,2]$. We obtain various sharp mome… ▽ More A symmetric random variable is called a Gaussian mixture if it has the same distribution as the product of two independent random variables, one being positive and the other a standard Gaussian random variable. Examples of Gaussian mixtures include random variables with densities proportional to $e^{-|t|^p}$ and symmetric $p$-stable random variables, where $p\in(0,2]$. We obtain various sharp moment and entropy comparison estimates for weighted sums of independent Gaussian mixtures and investigate extensions of the B-inequality and the Gaussian correlation inequality in the context of Gaussian mixtures. We also obtain a correlation inequality for symmetric geodesically convex sets in the unit sphere equipped with the normalized surface area measure. We then apply these results to derive sharp constants in Khintchine inequalities for vectors uniformly distributed on the unit balls with respect to $p$-norms and provide short proofs to new and old comparison estimates for geometric parameters of sections and projections of such balls. △ Less

Submitted 16 April, 2019; v1 submitted 15 November, 2016; originally announced November 2016.

Comments: Updated references and fixed a small error in Corollary 25

Journal ref: Ann. Probab., Volume 46, Number 5 (2018), 2908-2945

A multidimensional analogue of the Rademacher-Gaussian tail comparison

Authors: Piotr Nayar, Tomasz Tkocz

Abstract: We prove a dimension-free tail comparison between the Euclidean norms of sums of independent random vectors uniformly distributed in centred Euclidean spheres and properly rescaled standard Gaussian random vectors. We prove a dimension-free tail comparison between the Euclidean norms of sums of independent random vectors uniformly distributed in centred Euclidean spheres and properly rescaled standard Gaussian random vectors. △ Less

Submitted 25 February, 2016; originally announced February 2016.

Comments: 9 pages

MSC Class: 60E15

Journal ref: Proc. Amer. Math. Soc. 146 (2018), no. 1, 413-419

A reverse entropy power inequality for log-concave random vectors

Authors: Keith Ball, Piotr Nayar, Tomasz Tkocz

Abstract: We prove that the exponent of the entropy of one dimensional projections of a log-concave random vector defines a 1/5-seminorm. We make two conjectures concerning reverse entropy power inequalities in the log-concave setting and discuss some examples. We prove that the exponent of the entropy of one dimensional projections of a log-concave random vector defines a 1/5-seminorm. We make two conjectures concerning reverse entropy power inequalities in the log-concave setting and discuss some examples. △ Less

Submitted 7 October, 2015; v1 submitted 19 September, 2015; originally announced September 2015.

Comments: 14 pages

MSC Class: Primary 94A17; Secondary 52A40; 60E15

Journal ref: Studia Math. 235 (2016), no. 1, 17-30

Concentration Properties of Restricted Measures with Applications to Non-Lipschitz Functions

Authors: Sergey Bobkov, Piotr Nayar, Prasad Tetali

Abstract: We show that for any metric probability space $(M,d,μ)$ with a subgaussian constant $σ^2(μ)$ and any set $A \subset M$ we have $σ^2(μ_A) \leq c \log\left(e/μ(A)\right)\,σ^2(μ)$, where $μ_A$ is a restriction of $μ$ to the set $A$ and $c$ is a universal constant. As a consequence we deduce concentration inequalities for non-Lipschitz functions. We show that for any metric probability space $(M,d,μ)$ with a subgaussian constant $σ^2(μ)$ and any set $A \subset M$ we have $σ^2(μ_A) \leq c \log\left(e/μ(A)\right)\,σ^2(μ)$, where $μ_A$ is a restriction of $μ$ to the set $A$ and $c$ is a universal constant. As a consequence we deduce concentration inequalities for non-Lipschitz functions. △ Less

Submitted 19 June, 2015; originally announced June 2015.

Comments: 18 pages

A note on the convex infimum convolution inequality

Authors: Naomi Feldheim, Arnaud Marsiglietti, Piotr Nayar, Jing Wang

Abstract: We characterize the symmetric measures which satisfy the one dimensional convex infimum convolution inequality of Maurey. For these measures the tensorization argument yields the two level Talagrand's concentration inequalities for their products and convex sets in $\mathbb{R}^n$. We characterize the symmetric measures which satisfy the one dimensional convex infimum convolution inequality of Maurey. For these measures the tensorization argument yields the two level Talagrand's concentration inequalities for their products and convex sets in $\mathbb{R}^n$. △ Less

Submitted 1 May, 2015; originally announced May 2015.

Comments: 12 pages

On the Brunn-Minkowski inequality for general measures with applications to new isoperimetric-type inequalities

Authors: Galyna Livshyts, Arnaud Marsiglietti, Piotr Nayar, Artem Zvavitch

Abstract: In this paper we present new versions of the classical Brunn-Minkowski inequality for different classes of measures and sets. We show that the inequality \[ μ(λA + (1-λ)B)^{1/n} \geq λμ(A)^{1/n} + (1-λ)μ(B)^{1/n} \] holds true for an unconditional product measure $μ$ with decreasing density and a pair of unconditional convex bodies $A,B \subset \mathbb{R}^n$. We also show that the above inequali… ▽ More In this paper we present new versions of the classical Brunn-Minkowski inequality for different classes of measures and sets. We show that the inequality \[ μ(λA + (1-λ)B)^{1/n} \geq λμ(A)^{1/n} + (1-λ)μ(B)^{1/n} \] holds true for an unconditional product measure $μ$ with decreasing density and a pair of unconditional convex bodies $A,B \subset \mathbb{R}^n$. We also show that the above inequality is true for any unconditional $\log$-concave measure $μ$ and unconditional convex bodies $A,B \subset \mathbb{R}^n$. Finally, we prove that the inequality is true for a symmetric $\log$-concave measure $μ$ and a pair of symmetric convex sets $A,B \subset \mathbb{R}^2$, which, in particular, settles two-dimensional case of the conjecture for Gaussian measure proposed by R. Gardner and the fourth named author. In addition, we deduce the $1/n$-concavity of the parallel volume $t \mapsto μ(A+tB)$, Brunn's type theorem and certain analogues of Minkowski first inequality. △ Less

Submitted 8 July, 2015; v1 submitted 19 April, 2015; originally announced April 2015.

Comments: 16 pages, 1 figure

A note on the rational cuspidal curves

Authors: Piotr Nayar, Barbara Pilat

Abstract: In this short note we give an elementary combinatorial argument, showing that the Conjecture of J. Fernández de Bobadilla, I. Luengo, A. Melle-Hernández, A. Némethi follows from the results of M. Borodzik and C. Livingston in the case of rational cuspidal curves with two critical points. In this short note we give an elementary combinatorial argument, showing that the Conjecture of J. Fernández de Bobadilla, I. Luengo, A. Melle-Hernández, A. Némethi follows from the results of M. Borodzik and C. Livingston in the case of rational cuspidal curves with two critical points. △ Less

Submitted 11 June, 2014; originally announced June 2014.

Comments: 7 pages

MSC Class: 14H50

Two-sided bounds for $L_p$-norms of combinations of products of independent random variables

Authors: Ewa Damek, Rafał Latała, Piotr Nayar, Tomasz Tkocz

Abstract: We show that for every positive p, the L_p-norm of linear combinations (with scalar or vector coefficients) of products of i.i.d. random variables, whose moduli have a nondegenerate distribution with the p-norm one, is comparable to the l_p-norm of the coefficients and the constants are explicit. As a result the same holds for linear combinations of Riesz products. We also establish the upper an… ▽ More We show that for every positive p, the L_p-norm of linear combinations (with scalar or vector coefficients) of products of i.i.d. random variables, whose moduli have a nondegenerate distribution with the p-norm one, is comparable to the l_p-norm of the coefficients and the constants are explicit. As a result the same holds for linear combinations of Riesz products. We also establish the upper and lower bounds of the L_p-moments of partial sums of perpetuities. △ Less

Submitted 4 January, 2015; v1 submitted 1 April, 2014; originally announced April 2014.

Comments: 29 pages; main result stated in a more general form, minor typos corrected

MSC Class: Primary 60E15; Secondary 60H25

Journal ref: Stochastic Process. Appl. 125 (2015), 1688-1713

FKN Theorem on the biased cube

Authors: Piotr Nayar

Abstract: In this note we consider Boolean functions defined on the discrete cube equipped with a biased product probability measure. We prove that if the spectrum of such a function is concentrated on the first two Fourier levels, then the function is close to a certain function of one variable. Moreover, in the symmetric case we prove that if a [-1,1]-valued function defined on the discrete cube is close… ▽ More In this note we consider Boolean functions defined on the discrete cube equipped with a biased product probability measure. We prove that if the spectrum of such a function is concentrated on the first two Fourier levels, then the function is close to a certain function of one variable. Moreover, in the symmetric case we prove that if a [-1,1]-valued function defined on the discrete cube is close to a certain affine function, then it is also close to a [-1,1]-valued affine function. △ Less

Submitted 13 November, 2013; originally announced November 2013.

Comments: 10 pages

MSC Class: 42C10; 60E15

Convex Poincaré inequality

Authors: P. Nayar, T. Tkocz

Abstract: We characterize the symmetric measures which satisfy the one dimensional convex Poincaré inequality. For these measures the tenesorization argument yields concentration inequalities for their products and convex sets in R^n. We characterize the symmetric measures which satisfy the one dimensional convex Poincaré inequality. For these measures the tenesorization argument yields concentration inequalities for their products and convex sets in R^n. △ Less

Submitted 7 October, 2013; v1 submitted 7 October, 2013; originally announced October 2013.

Comments: This paper has been withdrawn as it turned out that the result is known due to the work S. Bobkov, F. Götze, Discrete isoperimetric and Poincaré-type inequalities, Probab. Theory Related Fields 114 (1999), no. 2, 245-277

MSC Class: Primary 26D10; Secondary 28A35; 52A20; 60E15

A note on certain convolution operators

Authors: Piotr Nayar, Tomasz Tkocz

Abstract: In this note we consider a certain class of convolution operators acting on the L_p spaces of the one dimensional torus. We prove that the identity minus such an operator is nicely invertible on the subspace of functions with mean zero. In this note we consider a certain class of convolution operators acting on the L_p spaces of the one dimensional torus. We prove that the identity minus such an operator is nicely invertible on the subspace of functions with mean zero. △ Less

Submitted 14 November, 2013; v1 submitted 10 January, 2013; originally announced January 2013.

Comments: 10 pages

MSC Class: 47G10 (Primary) 47B34 (Secondary)

Journal ref: Geometric aspects of functional analysis, 405-412, Lecture Notes in Math., 2116, Springer, Cham, 2014

S-inequality for certain product measures

Authors: Piotr Nayar, Tomasz Tkocz

Abstract: In this paper we prove the S-inequality for certain product probability measures and ideals in R^n . As a result, for the Weibull and Gamma product distributions we derive concentration of measure type estimates as well as optimal comparison of moments. In this paper we prove the S-inequality for certain product probability measures and ideals in R^n . As a result, for the Weibull and Gamma product distributions we derive concentration of measure type estimates as well as optimal comparison of moments. △ Less

Submitted 24 July, 2013; v1 submitted 19 October, 2012; originally announced October 2012.

Comments: 11 pages

MSC Class: Primary 60G15; Secondary 60E15

Journal ref: Math. Nachr. 287 (2014), No. 4, 398-404

The unconditional case of the complex S-inequality

Authors: Piotr Nayar, Tomasz Tkocz

Abstract: In this note we prove the complex counterpart of the S-inequality for complete Reinhardt sets. In particular, this result implies that the complex S-inequality holds for unconditional convex sets. In this note we prove the complex counterpart of the S-inequality for complete Reinhardt sets. In particular, this result implies that the complex S-inequality holds for unconditional convex sets. △ Less

Submitted 9 February, 2012; originally announced February 2012.

Comments: 7 pages

MSC Class: 60G15 (Primary) 60E15 (Secondary)

Journal ref: Israel J. Math. 197 (2013), no. 1, 99-106

A Note on a Brunn-Minkowski Inequality for the Gaussian Measure

Authors: Piotr Nayar, Tomasz Tkocz

Abstract: We give the counter-examples related to a Gaussian Brunn-Minkowski inequality and the (B) conjecture. We give the counter-examples related to a Gaussian Brunn-Minkowski inequality and the (B) conjecture. △ Less

Submitted 31 January, 2012; originally announced February 2012.

Comments: 4 pages

MSC Class: 52A40 (Primary) 60G15 (Secondary)

Journal ref: Proc. Amer. Math. Soc. 141 (2013), no. 11, 4027-4030

On a Loomis-Whitney Type Inequality for Permutationally Invariant Unconditional Convex Bodies

Authors: Piotr Nayar, Tomasz Tkocz

Abstract: For a permutationally invariant unconditional convex body K in R^n we define a finite sequence (K_j), j = 1, ..., n of projections of the body K to the space spanned by first j vectors of the standard basis of R^n. We prove that the sequence of volumes (|K_1|, ..., |K_n|) is log-concave. For a permutationally invariant unconditional convex body K in R^n we define a finite sequence (K_j), j = 1, ..., n of projections of the body K to the space spanned by first j vectors of the standard basis of R^n. We prove that the sequence of volumes (|K_1|, ..., |K_n|) is log-concave. △ Less

Submitted 31 January, 2012; v1 submitted 31 March, 2011; originally announced March 2011.

Comments: 6 pages

MSC Class: 52A20 (Primary); 52A40 (Secondary)

Journal ref: Geometric Aspects of Functional Analysis, 327-333, Lecture Notes in Math., Vol. 2050, Springer, Berlin Heidelberg, 2012