More Like this

1. Abelian varieties of prescribed order over finite fields

   https://doi.org/10.1007/s00208-024-03084-4  

   van_Bommel, Raymond; Costa, Edgar; Li, Wanlin; Poonen, Bjorn; Smith, Alexander (May 2025, Mathematische Annalen)

   Abstract Given a prime powerqand$$n \gg 1$$ $n\gg 1$, we prove that every integer in a large subinterval of the Hasse–Weil interval$$[(\sqrt{q}-1)^{2n},(\sqrt{q}+1)^{2n}]$$ $[{(\sqrt{q}-1)}^{2n},{(\sqrt{q}+1)}^{2n}]$is$$\#A({\mathbb {F}}_q)$$ $\#A\left(F_q\right)$for some ordinary geometrically simple principally polarized abelian varietyAof dimensionnover$${\mathbb {F}}_q$$ $F_q$. As a consequence, we generalize a result of Howe and Kedlaya for$${\mathbb {F}}_2$$ $F_2$to show that for each prime powerq, every sufficiently large positive integer is realizable, i.e.,$$\#A({\mathbb {F}}_q)$$ $\#A\left(F_q\right)$for some abelian varietyAover$${\mathbb {F}}_q$$ $F_q$. Our result also improves upon the best known constructions of sequences of simple abelian varieties with point counts towards the extremes of the Hasse–Weil interval. A separate argument determines, for fixedn, the largest subinterval of the Hasse–Weil interval consisting of realizable integers, asymptotically as$$q \rightarrow \infty $$ $q\to \infty$; this gives an asymptotically optimal improvement of a 1998 theorem of DiPippo and Howe. Our methods are effective: We prove that if$$q \le 5$$ $q\le 5$, then every positive integer is realizable, and for arbitraryq, every positive integer$$\ge q^{3 \sqrt{q} \log q}$$ $\ge q^{3\sqrt{q}logq}$is realizable. 

   more » « less
2. Ramanujan’s partition generating functions modulo $$\ell $$

   https://doi.org/10.1007/s11139-025-01241-0  

   Bringmann, Kathrin; Craig, William; Ono, Ken (November 2025, The Ramanujan Journal)

   Abstract For the partition functionp(n), Ramanujan proved the striking identities$$\begin{aligned} \begin{aligned} \mathcal {P}_5(q):=\sum _{n\ge 0} p(5n+4)q^n&=5\prod _{n\ge 1} \frac{\left( q^5;q^5\right) _{\infty }^5}{(q;q)_{\infty }^6},\\ \mathcal {P}_{7}(q):=\sum _{n\ge 0} p(7n+5)q^n&=7\prod _{n\ge 1}\frac{\left( q^7;q^7\right) _{\infty }^3}{(q;q)_{\infty }^4}+49q \prod _{n\ge 1}\frac{\left( q^7;q^7\right) _{\infty }^7}{(q;q)_{\infty }^8}, \end{aligned} \end{aligned}$$ $\begin{array}{c}\begin{array}{cc}{P}_5\left(q\right):=\sum _{n\ge 0}p(5n+4)q^n& =5\prod _{n\ge 1}\frac{{\left(q^5,;,q^5\right)}_{\infty }^5}{{(q;q)}_{\infty }^6},\\ P_7\left(q\right):=\sum _{n\ge 0}p(7n+5)q^n& =7\prod _{n\ge 1}\frac{{\left(q^7,;,q^7\right)}_{\infty }^3}{{(q;q)}_{\infty }^4}+49q\prod _{n\ge 1}\frac{{\left(q^7,;,q^7\right)}_{\infty }^7}{{(q;q)}_{\infty }^8},\end{array}\end{array}$where$$(q;q)_{\infty }:=\prod _{n\ge 1}(1-q^n).$$ ${(q;q)}_{\infty }:={\prod }_{n\ge 1}(1-q^n).$As these identities imply his celebrated congruences modulo 5 and 7, it is natural to seek, for primes$$\ell \ge 5,$$ $\ell \ge 5,$closed form expressions of the power series$$ \mathcal {P}_{\ell }(q):=\sum _{n\ge 0} p(\ell n-\delta _{\ell })q^n\pmod {\ell }, $$ $P_{\ell }\left(q\right):=\sum _{n\ge 0}p(\ell n-{\delta }_{\ell })q^n(mod\ell ),$where$$\delta _{\ell }:=\frac{\ell ^2-1}{24}.$$ ${\delta }_{\ell }:=\frac{{\ell }^2-1}{24}.$In this paper, we prove that$$ \mathcal {P}_{\ell }(q)\equiv c_{\ell } \dfrac{\mathcal {T}_{\ell }(q)}{\left( q^\ell ; q^\ell \right) _\infty } \pmod {\ell }, $$ $P_{\ell }\left(q\right)\equiv c_{\ell }\frac{T_{\ell }\left(q\right)}{{\left(q^{\ell },;,q^{\ell }\right)}_{\infty }}(mod\ell ),$where$$c_{\ell }\in \mathbb Z$$ $c_{\ell }\in Z$is explicit and$${\mathcal {T}}_{\ell }(q)$$ $T_{\ell }\left(q\right)$is the generating function for the Hecke traces of$$\ell $$ $\ell$-ramified values of special Dirichlet series for weight$$\ell -1$$ $\ell -1$cusp forms on$$\textrm{SL}_2(\mathbb Z)$$ ${\text{SL}}_2\left(Z\right)$. This is a new proof of Ramanujan’s congruences modulo 5, 7, and 11, as there are no nontrivial cusp forms of weight 4, 6, and 10. 

   more » « less
3. VC-Dimension of Hyperplanes Over Finite Fields

   https://doi.org/10.1007/s00373-025-02909-6  

   Ascoli, Ruben; Betti, Livia; Cheigh, Justin; Iosevich, Alex; Jeong, Ryan; Liu, Xuyan; McDonald, Brian; Milgrim, Wyatt; Miller, Steven J; Romero_Acosta, Francisco; et al (April 2025, Graphs and Combinatorics)

   Abstract Let$$\mathbb {F}_q^d$$ $F_q^d$be thed-dimensional vector space over the finite field withqelements. For a subset$$E\subseteq \mathbb {F}_q^d$$ $E\subseteq F_q^d$and a fixed nonzero$$t\in \mathbb {F}_q$$ $t\in F_q$, let$$\mathcal {H}_t(E)=\{h_y: y\in E\}$$ $H_t\left(E\right)=\{h_y:y\in E\}$, where$$h_y:E\rightarrow \{0,1\}$$ $h_y:E\to \{0,1\}$is the indicator function of the set$$\{x\in E: x\cdot y=t\}$$ $\{x\in E:x·y=t\}$. Two of the authors, with Maxwell Sun, showed in the case$$d=3$$ $d=3$that if$$|E|\ge Cq^{\frac{11}{4}}$$ $\left|E\right|\ge C{q}^{\frac{11}{4}}$andqis sufficiently large, then the VC-dimension of$$\mathcal {H}_t(E)$$ $H_t\left(E\right)$is 3. In this paper, we generalize the result to arbitrary dimension by showing that the VC-dimension of$$\mathcal {H}_t(E)$$ $H_t\left(E\right)$isdwhenever$$E\subseteq \mathbb {F}_q^d$$ $E\subseteq F_q^d$with$$|E|\ge C_d q^{d-\frac{1}{d-1}}$$ $\left|E\right|\ge C_d{q}^{d-\frac{1}{d-1}}$. 

   more » « less
4. Higher uniformity of arithmetic functions in short intervals II. Almost all intervals

   https://doi.org/10.1007/s00222-026-01408-6  

   Matomäki, Kaisa; Radziwiłł, Maksym; Shao, Xuancheng; Tao, Terence; Teräväinen, Joni (January 2026, Inventiones mathematicae)

   Abstract We study higher uniformity properties of the von Mangoldt function$$\Lambda $$ $\Lambda$, the Möbius function$$\mu $$ $\mu$, and the divisor functions$$d_{k}$$ $d_k$on short intervals$$(x,x+H]$$ $(x,x+H]$for almost all$$x \in [X, 2X]$$ $x\in [X,2X]$. Let$$\Lambda ^{\sharp }$$ ${\Lambda }^{♯}$and$$d_{k}^{\sharp }$$ $d_k^{♯}$be suitable approximants of$$\Lambda $$ $\Lambda$and$$d_{k}$$ $d_k$,$$G/\Gamma $$ $G/\Gamma$a filtered nilmanifold, and$$F \colon G/\Gamma \to \mathbb{C}$$ $F:G/\Gamma \to C$a Lipschitz function. Then our results imply for instance that when$$X^{1/3+\varepsilon } \leq H \leq X$$ $X^{1/3+\epsilon }\le H\le X$we have, for almost all$$x \in [X, 2X]$$ $x\in [X,2X]$,$$ \sup _{g \in {\operatorname{Poly}}(\mathbb{Z}\to G)} \left | \sum _{x < n \leq x+H} (\Lambda (n)-\Lambda ^{\sharp }(n)) \overline{F}(g(n) \Gamma ) \right | \ll H\log ^{-A} X $$ $\underset{g\in Poly(Z\to G)}{sup}\left|\sum _{x<n\le x+H}\right(\Lambda \left(n\right)-{\Lambda }^{♯}\left(n\right)\left)\bar{F}\right(g\left(n\right)\Gamma \left)\right|\ll H{log}^{-A}X$for any fixed$$A>0$$ $A>0$, and that when$$X^{\varepsilon } \leq H \leq X$$ $X^{\epsilon }\le H\le X$we have, for almost all$$x \in [X, 2X]$$ $x\in [X,2X]$,$$ \sup _{g \in {\operatorname{Poly}}(\mathbb{Z}\to G)} \left | \sum _{x < n \leq x+H} (d_{k}(n)-d_{k}^{\sharp }(n)) \overline{F}(g(n)\Gamma ) \right | = o(H \log ^{k-1} X). $$ $\underset{g\in Poly(Z\to G)}{sup}\left|\sum _{x<n\le x+H}\right(d_k\left(n\right)-d_k^{♯}\left(n\right)\left)\bar{F}\right(g\left(n\right)\Gamma \left)\right|=o\left(H{log}^{k-1}X\right).$As a consequence, we show that the short interval Gowers norms$$\|\Lambda -\Lambda ^{\sharp }\|_{U^{s}(X,X+H]}$$ ${\parallel \Lambda -{\Lambda }^{♯}\parallel }_{U^s(X,X+H]}$and$$\|d_{k}-d_{k}^{\sharp }\|_{U^{s}(X,X+H]}$$ ${\parallel d_k-d_k^{♯}\parallel }_{U^s(X,X+H]}$are also asymptotically small for any fixed$$s$$ $s$in the same ranges of$$H$$ $H$. This in turn allows us to establish the Hardy–Littlewood conjecture and the divisor correlation conjecture with a short average over one variable. Our main new ingredients are type$$\mathit{II}$$ $\mathrm{II}$estimates obtained by developing a “contagion lemma” for nilsequences and then using this to “scale up” an approximate functional equation for the nilsequence to a larger scale. This extends an approach developed by Walsh for Fourier uniformity. 

   more » « less
5. On a Traveling Salesman Problem for Points in the Unit Cube

   https://doi.org/10.1007/s00453-024-01257-w  

   Balogh, József; Clemen, Felix Christian; Dumitrescu, Adrian (September 2024, Algorithmica)

   Abstract LetXbe ann-element point set in thek-dimensional unit cube$$[0,1]^k$$ ${[0,1]}^k$where$$k \ge 2$$ $k\ge 2$. According to an old result of Bollobás and Meir (Oper Res Lett 11:19–21, 1992) , there exists a cycle (tour)$$x_1, x_2, \ldots , x_n$$ $x_1,x_2,\dots ,x_n$through thenpoints, such that$$\left( \sum _{i=1}^n |x_i - x_{i+1}|^k \right) ^{1/k} \le c_k$$ ${\left({\sum }_{i=1}^n,{|x_i-x_{i+1}|}^k\right)}^{1/k}\le c_k$, where$$|x-y|$$ $|x-y|$is the Euclidean distance betweenxandy, and$$c_k$$ $c_k$is an absolute constant that depends only onk, where$$x_{n+1} \equiv x_1$$ $x_{n+1}\equiv x_1$. From the other direction, for every$$k \ge 2$$ $k\ge 2$and$$n \ge 2$$ $n\ge 2$, there existnpoints in$$[0,1]^k$$ ${[0,1]}^k$, such that their shortest tour satisfies$$\left( \sum _{i=1}^n |x_i - x_{i+1}|^k \right) ^{1/k} = 2^{1/k} \cdot \sqrt{k}$$ ${\left({\sum }_{i=1}^n,{|x_i-x_{i+1}|}^k\right)}^{1/k}=2^{1/k}·\sqrt{k}$. For the plane, the best constant is$$c_2=2$$ $c_2=2$and this is the only exact value known. Bollobás and Meir showed that one can take$$c_k = 9 \left( \frac{2}{3} \right) ^{1/k} \cdot \sqrt{k}$$ $c_k=9{\left(\frac{2}{3}\right)}^{1/k}·\sqrt{k}$for every$$k \ge 3$$ $k\ge 3$and conjectured that the best constant is$$c_k = 2^{1/k} \cdot \sqrt{k}$$ $c_k=2^{1/k}·\sqrt{k}$, for every$$k \ge 2$$ $k\ge 2$. Here we significantly improve the upper bound and show that one can take$$c_k = 3 \sqrt{5} \left( \frac{2}{3} \right) ^{1/k} \cdot \sqrt{k}$$ $c_k=3\sqrt{5}{\left(\frac{2}{3}\right)}^{1/k}·\sqrt{k}$or$$c_k = 2.91 \sqrt{k} \ (1+o_k(1))$$ $c_k=2.91\sqrt{k}(1+o_k\left(1\right))$. Our bounds are constructive. We also show that$$c_3 \ge 2^{7/6}$$ $c_3\ge 2^{7/6}$, which disproves the conjecture for$$k=3$$ $k=3$. Connections to matching problems, power assignment problems, related problems, including algorithms, are discussed in this context. A slightly revised version of the Bollobás–Meir conjecture is proposed. 

   more » « less