Skip to content
Preprint

Integral Representations and Asymptotics for a Family of Areal Mahler Measures

Aug 2026 · 0 citations · 28 references
Mathematics

Abstract

We answer a problem posed by Matilde Lal\'in concerning the areal Mahler measures of the multivariable polynomial family $$ P_n(x_1,\ldots,x_n,u) = \prod_{j=1}^n(1+x_j) + u\prod_{j=1}^n(1-x_j), \qquad n\geq1. $$ Using a probabilistic reformulation, we derive convolution and one-dimensional Fourier integral representations for $\mathrm m_{\mathbb D}(P_n)$. These representations yield strict alternating signs for all forward differences of the sequence $\bigl(\mathrm m_{\mathbb D}(P_n)\bigr)_{n\geq1}$, as well as an explicit three-term asymptotic expansion as $n\to\infty$.

View source

Similar papers

Preprint Jul 2026

A few remarks on the Baez-Duarte Criterion

We study exponentially damped M\"obius approximants in $\mathscr H=L^2([1,\infty),dt/t^{-2})$. With \[ \gamma_n(t)=\left\lfloor\frac tn\right\rfloor -\frac{\lfloor t\rfloor}{n},\qquad f(u)(t)=\sum_{n\ge1}\mu(n)e^{-nu}\gamma_n(t),\] we compute the relevant scalar products, characterize the M\"obius coefficients as the unique coefficients giving pointwise convergence to the constant function, and prove $\langle1 \mid f(u)\rangle\to1$. Vasyunin's formula expresses $F(e^{-u})=\|f(u)\|_2^2$ as an arithmetic cotangent sum. To analyze $F(x)$ as $x\uparrow 1$, we define the canonical third-order truncation $\mathcal F_{[3]}$ of $F$ by deleting the sole remainder $\rho_3$. We prove exact edge and residue-character cancellations, initial-edge asymptotics, finite-scale formulas, and \[ \mathcal F_{[3]}(x)\ll \frac{\log^2\!\bigl(e/(1-x)\bigr)}{1-x}. \] For the terms containing $\rho_3$, we prove initial-edge asymptotics, and a finite-scale criterion. The unresolved boundedness problem is thereby reduced to explicit global bilinear cancellation.

A. Pyvovarov · 0 citations
Preprint Aug 2026

The principal series 2-representation for $\mathrm{GL}_n\times\mathrm{GL}_n$ over a 2-dimensional local field

Let $F=\mathbb{F}_q((u))((t))$ and $H=\mathrm{GL}_n(F)_L\times\mathrm{GL}_n(F)_R$. An ordered tuple $\alpha=(\alpha_1,\dots, \alpha_n) $ defines a cross-$K_2$ multiplier on the doubled Borel. Twisted equivariantization then yields an exact uniformly smooth categorical principal series $2$-representation of $H$. For unitary parameters, the $\mathbb R((X))$-measure gives a positive Hom-valued formal Hermitian inner product on the spherical part. These constructions provide two-dimensional categorical analogues of selected unramified structures.

Xue‐Yi Ma, Jingwen Zhu · 0 citations
Preprint Jul 2026

A Criterion for Equidistribution along the $\Omega$ Function over Polynomial Sequences with Applications

Let $P (Y_1, ..., Y_d)$ be a certain fixed homogeneous polynomial of integral coefficients. In this paper, we establish a quantitative equidistribution criterion for the ergodic averages along $\Omega (|P (n_1, ..., n_d)|)$. Consequently, by an estimate of Lachand, we prove the following variant of a theorem of Bergelson and Richter: if $P$ is an irreducible binary cubic form and $ (X, T)$ is a uniquely ergodic system with unique invariant measure $\mu$, then for any $x \in X$ and $f \in C(X)$, \begin{equation*} \lim_{N \rightarrow \infty} \frac 1 {N^2} {\mathop{\sum\sum}_{n_1, n_2 \leqslant N}} f \big( T^{ \Omega (|P (n_1, n_2)| ) } x \big) = \int_{X} f \ \mathrm{d} \mu . \end{equation*} Moreover, we prove in the appendix a related conjecture of C\'espedes and Donoso over number fields.

Zhi Qi, Cheng Zheng · 0 citations
Preprint Aug 2026

Nondegeneracy and regularity of polynomial pushforwards

Let $\mu$ be a log-concave probability measure on $\mathbb R^n$ and let $f\colon\mathbb R^n\to\mathbb R^k$ be a polynomial mapping of degree at most $d$. We show that \[ \mu(f\in A) \le C\bigl(\lambda_k(A)\bigr)^{\frac{1}{k(d-1)+1}} \] for every Borel set $A\subset\mathbb R^k$ whenever the image measure $\mu\circ f^{-1}$ is absolutely continuous. The constant $C$ is independent of the dimension $n$, and the exponent $\frac{1}{k(d-1)+1}$ is sharp. This extends the scalar Carbery--Wright inequality and answers, in the log-concave setting, a question raised by Avni, Glazer, and Larsen. In addition, we show that the density of $\mu\circ f^{-1}$, whenever it exists, belongs to the Nikolskii--Besov space $B^{\frac{1}{k(d-1)+1}}_{1,\infty}(\mathbb R^k)$, with a dimension-free bound for the corresponding norm. A central difficulty in passing from scalar polynomials to vector-valued polynomial mappings is the lack of a suitable nondegeneracy parameter quantifying absolute continuity of $\mu\circ f^{-1}$, as the variance does in the scalar case. Natural candidates such as the covariance matrix or the Jacobian matrix either fail to characterize this property or do not lead to dimension-free estimates. We identify such a parameter and define it to be the covariance matrix of the vector formed by the monomials of degree up to $d^{k-1}$ in the normalized components of $f$. The dimension-free nature of our results allows us to extend Kusuoka's absolute continuity criterion for Gaussian polynomial random vectors to the log-concave setting. Moreover, in this setting, we obtain estimates relating convergence in distribution to convergence in total variation for polynomial random vectors.

Egor D. Kosov, A. Zhukova · 1 citation · ⚡1
Preprint Aug 2026

A Riemann-Hilbert representation for Sobolev orthogonal polynomials

In this article we consider polynomials orthogonal with respect to the inner product $$\langle P,Q \rangle_S = \int_{\mathbb{R}}P(x)Q(x) \mathrm{e}^{-V(x)} \, \mathrm{d}x + \lambda\int_{\mathbb{R}}P^\prime(x)Q^\prime(x) \mathrm{e}^{-V(x)} \, \mathrm{d}x$$ where $V$ is a polynomial of even degree (at least four) and positive leading coefficient, and $\lambda>0$ a constant. The above inner product is a special case of the so-called Sobolev inner product. We show how one can represent the associated Sobolev orthogonal polynomials as a species of Type I multiple-orthogonal polynomial. This correspondence makes use of the WKB asymptotics of a certain second order ODE. From this we may write a Riemann--Hilbert problem for the Sobolev orthogonal polynomials, from which one can deduce a Christoffel--Darboux-type formula for the projection kernel.

Alex Little · 0 citations
Preprint Aug 2026

Optimality in a Multilinear Extension of Kwapie\'n's Theorem

Bayart, Pellegrino and Rueda proved that every continuous $m$-linear operator from $(\ell_1)^m$ into $\ell_p$ is absolutely $(r_{m,p};1)$-summing, for explicit exponents $r_{m,p}$. The optimality of these exponents was known for $2\le p\le\infty$. We prove optimality in the remaining range $1\le p<2$. Our argument is finite-dimensional and is based on convolution on $\mathbb F_2^d$ and the Walsh character system. The same construction yields a local obstruction theorem for range spaces containing $\ell_p^n$ uniformly. As applications, we recover the sharp exponent $2/m$ for $L_1[0,1]$-valued mappings and show that cotype alone does not determine the optimal absolute $(r;1)$-coincidence exponent.

Luis Miguel Castaño Marín, D. Nunez-Alarc'on, Geivison Ribeiro et al. · 0 citations