Skip to content
Preprint

On a conjecture of Lamkin and Tkocz: Log-convexity of moments of Bernoulli sample means

Jul 2026 · 1 citation · 6 references
Mathematics

Abstract

Let $X_1,X_2,\ldots$ be independent $\mathrm{Bernoulli}(\theta)$ random variables, and let $\bar X_n = n^{-1}(X_1 + \cdots + X_n)$. We prove that, for every real $p \geq 1$, the sequence $\{\mathsf{E}(\bar X_n^p)\}_{n \geq 1}$ is log-convex. This proves the Bernoulli case of a conjecture of Lamkin and Tkocz [Canad. Math. Bull., 65(2):271-278, 2022]. The proof conditions on the total number of successes among $2n$ trials and reduces the desired inequality to a convex-order comparison between two normalized quadratic functions of hypergeometric random variables. All the log-convexity inequalities are strict for $p>1$ and $0<\theta<1$.

View source

Similar papers

Preprint Aug 2026

A Counterexample to the Tang Zhang Schatten Norm Conjecture and Sharp Positive Results

For $m\geq 2$, let $c_p(m)$ be the all-dimensional best constant in $$ \left\|\sum_{k=1}^m A_k\right\|_p \leq c_p(m)\left\|\sum_{k=1}^m |A_k|\right\|_p. $$ Tang and Zhang conjectured an explicit formula for every finite $p>1$. We disprove the conjecture with two explicit real $2\times 2$ rank-one matrices at $p=3/2$. T...

Zi-Jian Zeng, Hou-De Liu, Kurunathan Ratnavelu · 2 citations
Preprint Aug 2026

A $5/8$ Lower Bound on the Banach-Mazur Distance to the Cross-Polytope

Let $\Gamma$ be an $n\times m$ matrix with independent standard Gaussian entries and let $G_m = \Gamma(B_1^m)$ be the associated Gaussian Gluskin polytope. In the regime $m = n^3$ we prove that, with probability at least $1-C/n$, $$ d_{\mathrm{BM}}(G_m,B_1^n) \ge c n^{5/8}(\log n)^{-1/4}. $$ This improves the polynomia...

O. Friedland · 1 citation
Preprint Jul 2026

A face-isolation proof of the two-variable Gaussian Moments Conjecture

Let $(X,Y)$ be independent standard real Gaussian random variables, and let $(P\in\mathbb C[X,Y])$ satisfy $\mathbb E!\left(P(X,Y)^m\right)=0$ for every $(m\ge1)$. Using the complex coordinates $Z=\frac{X+iY}{\sqrt2}, \qquad W=\frac{X-iY}{\sqrt2},$ we prove that the monomial support of $(P)$ is strictly one-sided with...

Michael Wilson · 0 citations
Preprint Jul 2026

Failure of Convex-Hull Bounds under Log-Convex Tails

Fix $0<r<1$, and let $X_1,X_2,\dots$ be independent symmetric Weibull$(r)$ random variables, that is, \[ \textsf{P}(|X_i|>t)=e^{-t^r},\qquad t\ge 0. \] We prove that there is no constant $C_r$, depending only on $r$, with the following universal property: for every finite set $T\subset \R^N$ there exists a sequence $(y...

Xuanang Hu, Hanchao Wang · 0 citations
Preprint Jul 2026

Log-concavity of elementary coefficients for low-rank abelian Hessenberg graphs, with a counterexample in general

Let $X_{G_h}(\mathbf{x};q)=\sum_{\mu\vdash n}c_\mu(q)e_\mu(\mathbf{x})$ be the chromatic quasisymmetric function of the natural unit interval graph attached to a Hessenberg function $h$. We establish an infinite class, valid in all orders, for which every nonzero polynomial $c_\mu(q)$ has a nonnegative, log-concave coe...

Boris Kafidov · 0 citations
Preprint Aug 2026

Absolute continuity of two-dimensional polynomial random vectors

Let $X=\{X_j\}_{j=1}^\infty$ be a sequence of independent random variables whose densities and moments of order $2d$ are uniformly bounded. For a random vector $f(X)=(f_1(X),f_2(X))$ whose components are polynomial functionals of degree at most $d$, we prove that \[ [[f]]_{\mu,\infty}^{\frac1{2d-1}}\mu(f\in A) \le C\bi...

Egor D. Kosov · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.