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 polynomial exponent $4/7$ obtained in the author's preceding work and gives an explicit logarithmic factor. The proof retains the discretization and conditioning/powering framework, but replaces the earlier split into two coefficient regimes by two uniform quotient events. One controls successive directions of the big-coordinate parts; the other compresses the entire small-coordinate cloud near a low-dimensional subspace after every admissible quotient. Suppression, a local Maurey argument, and Gram-Schmidt volume estimates then combine these two forms of control.
Let $p$ be an odd prime and let $H_{p^3}=\operatorname{UT}_3(\mathbb{F}_p)$ be the Heisenberg group of order $p^3$ and exponent $p$. We prove $\mathsf{d}(H_{p^3})=3p-3$. The main ingredient of the proof is an order-value growth theorem. If $B$ is a noncollinear zero-sum sequence of $n$ nonzero vectors in $\mathbb{F}_p^...
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. Mat...
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...
Let $C_n$ be the optimal constant with the following property. For every even, continuous, strictly positive density $f$ on $R^n$ and all origin-symmetric convex bodies $K,L\subset R^n$, the inequalities $$ \int_{K\cap\xi^\perp}f \leq \int_{L\cap\xi^\perp}f \qquad\text{for all }\xi\in S^{n-1} $$ imply $\int_Kf\leq C_n\...
For $n\geq 4$, let $T_n$ be the rank-3 matroid on $\mathbb{Z}/n\mathbb{Z}$ whose bases are the three-element non-zero-sum subsets. Let $X_1(n)^\circ$ denote the open subscheme of the modular curve $X_1(n)$ obtained by removing the cusps corresponding to reducible N\'eron polygons. For $n \geq 10$, we give a purely alge...
We characterize the positive Borel measures $\mu$ on the unit disc $\mathbb{D}$ for which the M\"obius-invariant space $Q_K$ embeds continuously or compactly into $L^2(\mu)$. The characterization is given in terms of a discrete dyadic capacity $C^{(b)}_{K,\mathcal{R}}(\mu)$ built from a polar dyadic resolution of $\mat...
