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 coefficient sequence with interval support. Namely, this holds whenever $h$ is abelian and its complement-Ferrers partition $\lambda$ satisfies $\min\{\lambda_1,\ell(\lambda)\}\leq 3$; equivalently, the diagram has at most three rows or at most three columns. Cubic interpolation reduces the rank-three case to a uniform theorem for a difference of two products of four $q$-integers, proved by positive decomposition, interval methods, and finite-window smoothing. The argument also yields explicit formulas for every supported elementary coefficient in complement-Ferrers rank at most three. We also include a connected 13-vertex natural unit interval graph for which one elementary coefficient is positive, palindromic, and unimodal but not log-concave, thereby recording the failure of the unrestricted conjecture. Thus low complement-Ferrers rank gives a substantial positive regime even though coefficientwise $e$-log-concavity fails in general.
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}$.
For a simplicial complex $\Delta$ and integers $n_i\ge 2$, set $A_{\Delta,\mathbf n}=\mathbb{k}[x_1,\ldots,x_m]/(I_\Delta+(x_1^{n_1},\ldots,x_m^{n_m}))$. We give an exact combinatorial formula for the canonical trace for arbitrary truncation exponents and for an arbitrary simplicial complex after deleting irrelevant ghost vertices. The formula extends the free-face formula of Gasanova--Herzog--Hibi--Moradi for square-zero flag face algebras and recovers, in the simplex-boundary case, a special case of their formula for monomial almost complete intersections. As a first consequence, we classify the nearly Gorenstein algebras in this family: on each connected component $C$ of $\Delta^{(1)}$, the induced complex is either the simplex $2^C$, with arbitrary exponents, or the boundary $\partial 2^C$, with every exponent equal to two. We also compute the Teter number on this nearly Gorenstein locus. For flag complexes the trace is generated by the free-face monomials for arbitrary exponents, and we characterize the equalities $\operatorname{tr}_A(\omega_A)=\mathfrak m_A^q$. In the square-zero one-dimensional case we isolate the additional contribution coming from triangle components.
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$.
Let $C_{2s}^{\mathrm{ad}}$ be the anti-directed cycle of length $2s$, where $s\geq2$. We prove that, for every $\mu>0$, every sufficiently large $n$-vertex oriented graph $D$ with $2s\mid n$, \[ \delta^0(D)\geq\left(\frac14+\mu\right)n \qquad\text{and}\qquad \alpha(D)=o(n) \] contains a $C_{2s}^{\mathrm{ad}}$-factor. The minimum semidegree threshold is asymptotically tight. The proof develops Ramsey--Tur\'an-type lattice-absorption lemmas with a transferral arising from the small-independence condition by virtue of a fork-type structure.
We study the standard nonuniform arithmetic quotient of the affine Bruhat--Tits building attached to $\operatorname{PGL}_d(\mathbb F_q(\!(t^{-1})\!))$, with Haar measure normalized so that a maximal compact subgroup has volume one. We first compute its vertex volume in closed product form. The proof is entirely building-theoretic: vertices are parametrized by a dominant sector, their stabilizers are counted exactly, and the resulting sum over block compositions is evaluated by a cut-set recursion. On the same quotient, we introduce a homothety-invariant normalized lattice-minima height $\alpha$. We determine its exact integrability threshold, proving that $\alpha$ belongs to $L^r$ precisely for $0<r<d$, and establish a sharp cusp-tail estimate of order $T^{-d}$. The associated positive-moment height zeta function, equivalently the Mellin transform of the cusp-height distribution, converges exactly in the half-plane $\operatorname{Re}(s)<d$. It admits a meromorphic continuation as a rational function of $q^{s/d}$ and has a simple pole at $s=d$, with an explicit critical coefficient. We also compute the resulting rational functions explicitly for $d=3,4,5$. Thus the same dominant-sector coordinates simultaneously control volume, cusp decay, and the analytic structure of the height zeta function.
Fix a squarefree integer $d_0>1$, and let $d$ range over the positive squarefree integers coprime to $2d_0$. Although $\mathbb{Q}(\sqrt{-d})$ and $\mathbb{Q}(\sqrt{-d_0d})$ share all variable ramified primes, we prove that their class-group $4$-ranks are asymptotically independent. Over the subfamily $d\le X$, their joint distribution converges in total variation to the product of two copies of the Cohen--Lenstra--Gerth distribution, with error bounded by a negative power of $\log\log X$. We further conjecture that the corrected $2$-primary groups $2\operatorname{Cl}_{\mathbb{Q}(\sqrt{-d})}[2^\infty]$ and $2\operatorname{Cl}_{\mathbb{Q}(\sqrt{-d_0d})}[2^\infty]$ are asymptotically independent, each with the Cohen--Lenstra distribution. Suppose in addition that the class number of $\mathbb{Q}(\sqrt{d_0})$ is odd. For a density-one subset of this family, we prove that extension of ideals to $K(d)=\mathbb{Q}(\sqrt{d_0},\sqrt{-d})$ induces $4\operatorname{Cl}_{K(d)}[2^\infty]\cong 2\operatorname{Cl}_{\mathbb{Q}(\sqrt{-d})}[2^\infty]\oplus 2\operatorname{Cl}_{\mathbb{Q}(\sqrt{-d_0d})}[2^\infty]$. Together with this decomposition, the group-valued conjecture predicts that $4\operatorname{Cl}_{K(d)}[2^\infty]$ is distributed as the direct sum of two independent Cohen--Lenstra $2$-groups, giving a corrected Cohen--Lenstra--Martinet distribution for the biquadratic family. Unconditionally, the $8$-rank of $\operatorname{Cl}_{K(d)}$ has limiting distribution given by the convolution of two copies of the Cohen--Lenstra--Gerth distribution. The proof combines Smith's box method with quantitative truncated Gaussian-binomial moment inversion for diagonally coupled, fixed-width bordered R\'edei matrices.