Aug 2026· 1 citation· ⚡ 1 influential· 48 references
Mathematics
Abstract
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.
Let $\varphi_{d}(|{\,\cdot\,}|)$ be the radial extremal function in the problem for the sharp Nikolskii constant $\mathcal C_d^{-1}=\inf \|f\|_{1}$ over functions $f\in\mathit{PW}\,_{1}^{1}(\mathbb R^{d})$, $f(0)=1$. For every odd dimension, we construct an entire function $\Phi$ of exponential type $1/2$ such that $\varphi_d(z)=\Phi(z)\Phi(-z)$, and $\Phi$ satisfies a quadratic functional equation and a second-order linear differential equation with polynomial coefficients. Thus, the problem of finding the extremal function is reduced to a spectral problem with finitely many parameters. This result extends a recent one-dimensional result, but uses a different method. For example, in dimension $d=3$ it leads to a seven-diagonal spectral scheme that allows us to compute $\mathcal C_3$ to high accuracy. Even dimensions remain open within this approach.
For a real transcendental number $\xi$, let $\omega_n^*(\xi)$ denote the supremum of all $\omega$ for which there exist infinitely many real algebraic numbers $\alpha$ of degree $\leq n$ satisfying $|\xi-\alpha|\leq H(\alpha)^{-\omega -1}$, where $H(\alpha)$ is the naive height of the minimal polynomial of $\alpha$. A celebrated result of Wirsing gives the uniform lower bound $\omega_n^*(\xi)\geq\frac{n+1}{2}$, which was improved significantly in a recent work of Po\"els to $\frac{n}{2-\log 2}$. In this paper, we establish a $p$-adic counterpart of Po\"els's result. Let $p$ be a prime and $\xi\in\Qp$ be transcendental. Let $\omega_{n,p}^*(\xi)$ be the supremum of all real numbers $\omega$ for which there exist infinitely many algebraic numbers $\alpha \in \Qp$ of degree $\leq n$ such that $|\xi-\alpha|_p\leq H(\alpha)^{-\omega -1}$. We show that $\omega^*_{n,p}(\xi)\geq\frac{n}{2-\log 2}-1$. This improves the known lower bounds in the $p$-adic setting, namely the analogue of Wirsing's theorem, due to Morrison and Teuli\'e.
Let $\pi_n$ be the monic polynomial of degree $n$ orthogonal on $[-c,c]$, $0<c\leq 1$, with respect to the Jacobi weight $(1-x)^\alpha(1+x)^\beta$, where $-1<\alpha<\beta$. Gautschi conjectured that $$ \left[ \frac{\pi_n(-c)}{\pi_n(c)} \right]^2 \left(\frac{1-c}{1+c}\right)^{\beta-\alpha}<1. $$ By his variation formula, this inequality is sufficient for every positive zero of $\pi_n$ to move to the right as $c$ increases. For $0<c<1$, we prove the conjecture, uniformly in the degree, throughout $0<\alpha<\beta$. Combined with the region $\alpha\leq 0\leq\beta$, recorded by Gautschi on the basis of an unpublished communication from Milovanovi'c, and with Milovanovi'c's published criterion, this settles the full admissible range $\beta\geq 0$. In the remaining negative wedge, writing $\alpha=-r-\lambda$ and $\beta=-r+\lambda$, we prove the conjecture whenever $$ c^2\leq\frac{3}{3+r}. $$ Consequently, it holds for every admissible pair of parameters when $0<c\leq\sqrt{3}/2$. For arbitrary admissible parameters, we also establish the degree-one case and eventual validity as $n\to\infty$. The proof combines an exact boundary identity, a first-crossing argument based on Pearson and root-motion identities, and, in the negative wedge, a Ward identity with positive association for an MTP$_2$ orthogonal polynomial ensemble. The case $c=1$ is immediate.
V. Botta, K. Castillo, L. Tertuliano et al.· 0 citations
For $\alpha \in \mathbb{C}$, let $\mathbb{N}_0[\alpha]$ be the subsemiring of~$\mathbb{C}$ obtained as a homomorphic image of the $\alpha$-evaluation map $\mathbb{N}_0[x] \to \mathbb{C}$ defined as $p(x) \mapsto p(\alpha)$ for each polynomial $p(x) \in \mathbb{N}_0[x]$. Fundamental arithmetic and atomic aspects of the additive structure of $\mathbb{N}_0[\alpha]$ were first studied by the second author and Correa-Morris (2022). In this paper, we continue the investigation, now from the valuation-theoretic perspective. We show that for any algebraic number $\alpha$, the additive monoid of $\mathbb{N}_0[\alpha]$ contains no additive irreducibles if and only if it is isomorphic to the direct product of finitely many isomorphic valuation monoids (monoids whose principal ideals form a chain under inclusion). For any algebraic number $\alpha \in (0,1)$, these valuation monoids are precisely those where $\alpha^{-1}$ is a Perron number having no positive conjugates other than itself. In addition, we offer a description of the algebraic parameters $\alpha$ for which the additive structure of $\mathbb{N}_0[\alpha]$ is a valuation monoid. Finally, we argue that the subset of $(0,1)$ consisting of all algebraic parameters $\alpha$ such that the additive structure of $\mathbb{N}_0[\alpha]$ is a valuation monoid is dense in $(0,1)$.
Timothy Chen, Felix Gotti, Tony Lu et al.· 0 citations
Let $p_1,...,p_k$ be a rationally independent sequence of integer valued nonlinear polynomials. We show that for all $E\subseteq \mathbb{N}$, every Folner sequence $\Phi$, and every $\varepsilon>0$, the set $$\left\{n\in \mathbb{N} : d_{\Phi}\left(E\cap(E+p_1(n))\cap\cdots\cap (E+p_k(n))\right)>d_{\Phi}(E)^{k+1}-\varepsilon\right\}$$ intersects every IP generated by a sequence with rational spectrum. Our methods involve the study of the characteristic factors for multiple ergodic polynomial averages along IPs. In particular, we also prove a pointwise convergence theorem for polynomial averages along IPs with rational spectrum, generalizing a well known result of Leibman.
Let $\alpha$ be irrational and let $q_j$ be the denominators of its continued-fraction convergents. We study the function \[ h(x)=\sum_{j\geq1}\frac{\cos(2\pi q_jx)}{q_j} \] and the skew product \[f(x,y)=(x+\alpha,y+h(x))\quad\mathrm{mod}\quad\mathbb{Z}^2.\] The function $h$ is H\"older continuous of every exponent below one. A Fourier argument shows that $h$ is not Lipschitz. The map $f$ is a toral pseudo-rotation with rotation vector $(\alpha,0)$, but it has neither bounded mean motion nor $C^0$-rigidity. Suppose $\alpha$ satisfies the Diophantine condition $\mathrm{DC}(\tau)$. Then, $f$ has $(C,1-1/\tau)$-deviation when $\tau>1$; and it has $(C_\delta,\delta)$-deviation for every $0<\delta<1$, but not for $\delta=0$ when $\tau=1$.