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^2$, then the alternating areas obtained by ordering $B$ assume at least $\min(p,n-1)$ distinct values. Its proof is a short contraction induction: contract a suitable independent pair, replace the contracted vector in both orders, and apply Cauchy--Davenport. A polynomial relative-subsum theorem and a sharp representation-rigidity lemma then turn this local growth into a uniform spread bound. Combined with the standard product-one criterion for $H_{p^3}$, the spread bound yields the upper bound; the usual sequence $x^{p-1}y^{p-1}v^{p-1}$ gives the lower bound.
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$.
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$. The comparison is certified by seven strict rational inequalities and, in particular, places the attained ratio above $207/200$, while the conjectured constant lies below $207/200$. On the positive side, we prove the conjectured sharp bound for every family of rank-at-most-one summands when $2\leq p<\infty$, and classify all equality cases. We also prove the corresponding endpoint statement for $p=\infty$. Finally, for arbitrary complex matrices, we establish the conjectured sharp constant in the case $m=2$, $p=4$.
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\int_Lf$. In an earlier paper the authors proved that $C_n\leq\sqrt n$. In this paper, we prove the matching lower bound $C_n\geq c\sqrt n$. To simplify the exposition, we first give a complete one-scale construction, based on earlier work of Klartag and Koldobsky, which yields $C_n\geq c\sqrt{n/\log n}$. For the sharp result, we use the random-rounding construction of Klartag and Livshyts as a black box and combine it with a spherical-averaging support-separation argument.
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 algebraic and incidence-theoretic proof that, for every field $k$ with $\mathrm{char}(k)$ not dividing $n$, there is a natural bijection between $X_1(n)^\circ(k)$ and rescaling classes of $k$-realizations of $T_n$. For $k = \mathbb{C}$, this recovers a theorem of Borisov and Roulleau. We then upgrade the field-valued correspondence to an isomorphism of schemes over $\mathbb{Z}[1/n]$. The main new ingredient is a deformation-theoretic argument which allows us to verify the isomorphism on points valued in Artinian local rings. As consequences, the modular curve $X_1(n)^\circ$ acquires a natural model over $\mathbb{Z}[1/n]$ as a matroid realization space, and, for primes $p \geq 11$, the non-representability of $T_p$ over $\mathbb{Q}$ is equivalent to the prime-order case of Mazur's celebrated theorem on rational torsion points of elliptic curves. In an appendix, we explain how to upgrade the realization space of a matroid from an affine scheme over $\mathbb{Z}$ to an affine band scheme (in the sense of Baker-Jin-Lorscheid) over $\mathbb{F}_1^{\pm}$.
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 $\mathbb{D}$, and of an equivalent capacity $D^{(b)}_{K,\mathcal{R}}(\mu)$ expressed as a semidefinite program. The equivalence of the two capacities is established through conic duality and the complex Grothendieck inequality. As an application, we characterize the boundedness and compactness of the Volterra integral operator $T_g$ on $Q_K$, bridging and completely resolving the gap between the sufficient and necessary conditions established by Li and Wulan (2010). We also obtain a complete non-testing characterization of the pointwise multipliers $\mathcal{M}(Q_K)$ on $Q_K$, thereby answering an open problem posed in the survey of Bao and Wulan (2021).