REVIEW
Joint universality of the Riemann zeta-function with arbitrary real shift parameters
Number Theory · Submitted 30 Oct 2026 · 14 references
Pith's verdict: Major result, believable architecture, but the proof as printed has three fixable gaps: an unstated applicability of a cited lower-bound lemma, a wrong factor in the final Carlson step, and a harmless closedness error in Lemma 3.2.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
Finitely many translates of the Riemann zeta function are jointly universal for any nonzero real shift parameters with pairwise distinct absolute values, and these conditions are optimal.
The reading
What carries the argument
Three components carry the proof. First, a transcendence input -- Emsalem's generalization of the six exponentials theorem -- shows that all $\mathbb{Q}$-linear relations among the numbers $\beta_\ell\log p$ that could obstruct Kronecker-Weyl approximation involve only a finite exceptional set $S$ of primes; outside $S$ the frequencies $\lambda_1,\dots,\lambda_r,\beta_\ell\log p$ are linearly independent over $\mathbb{Q}$, so the torus flow $\{\tau\alpha_Q\}$ is uniformly distributed and can realise every finite block of factors $p^{-id_j\tau}$. Second, Lemma 3.1 is a trigonometric inequality: whenever $|d_j|\neq|d_k|$, one has $\sup_x \mathrm{Re}\sum_j A_j e(d_j x)\ge c_d\,(\sum_j|A_j|^2)^{1/2}$; the condition is exactly what keeps the frequencies $\pm d_j$ pairwise distinct, so the second moment of the exponential polynomial does not vanish. Third, Lemma 3.2 is a new variant of Pecherskii's rearrangement theorem: the phases $\vartheta_p$ no longer need to be fixed in advance for every possible target, they may depend on the function being approximated, and density of the finite sums still follows from a square-summable norm budget plus divergence of the supremal real parts. These pieces assemble into the denseness theorem for finite Dirichlet polynomials $\sum_p\sum_k e(k d_j\vartheta_p)/(k p^{ks})$, and the closing Voronin-style argument -- Mergelyan approximation of the targets, Kronecker-Weyl uniformity, and Markov and Carlson estimates to pass from finite Euler products to $\zeta$ itself -- turns denseness into joint universality.
Extended reading notes
Core claim
The central claim is Theorem 1.1: for nonzero real $d_1,\dots,d_n$ with $|d_j|\neq|d_k|$ whenever $j<k$, any compact sets $K_j$ inside the strip $1/2<\mathrm{Re}\,s<1$ with connected complements, and any continuous non-vanishing functions $f_j$ holomorphic in the interiors of the $K_j$, the set of $\tau\in[T,2T]$ for which $\max_j \sup_{s\in K_j}|\zeta(s+i d_j\tau)-f_j(s)|<\varepsilon$ has positive lower density. The paper also proves that this statement is best possible: $d_j=0$ makes the $j$-th shift constant in $\tau$, equal parameters make two shifts identical, and opposite parameters force complex-conjugate values, so each configuration blocks simultaneous approximation of two independent functions. As a corollary, the generalized strong recurrence property -- the shifts $\zeta(s+i d_j\tau)$ staying simultaneously $\varepsilon$-close to one another on a positive-density set of $\tau$ -- holds for arbitrary nonzero real parameters, and the paper observes that a family containing both a zero and a nonzero parameter has this recurrence property exactly when the Riemann hypothesis holds.
Load-bearing premise
The load-bearing external input is the lower-bound estimate for the Laplace transform $\Delta_{j_0}(\omega)=\int\!\!\int_{U_{j_0}} e^{-s\omega} g_{j_0}(s)\,d\sigma\,dt$ quoted from a cited treatment of $L$-functions in the extended Selberg class: the proof needs $|\Delta_{j_0}(t)|\ge c\,e^{-\sigma_2 x_\nu}$ on intervals of length at least $B x_\nu^{-2}$ for every nonzero square-integrable analytic $g_{j_0}$, but the lemma's hypotheses are not restated, and if they require Dirichlet-series structure rather than mere square-integrability, the divergence step that drives the denseness theorem fails.
Editorial extensions
If this is right
- Theorem 1.1 is a complete characterization: zero, equal, or opposite shift parameters each provably prevent joint universality, so no further obstruction exists.
- The generalized strong recurrence problem is fully solved: for any finite family of nonzero real $d_j$, the shifts $\zeta(s+i d_j\tau)$ are simultaneously $\varepsilon$-close to one another on a set of $\tau$ of positive lower density (Corollary 1.2).
- For families containing both a zero and a nonzero parameter, the generalized strong recurrence property is equivalent to the Riemann hypothesis; this closes the only $n=2$ gap left open after the irrational- and rational-ratio cases.
- The rearrangement criterion of Lemma 3.2 is a standalone density statement for bounded sets of admissible vectors with square-summable norms, which the paper notes may serve other denseness problems with restricted choices of vectors.
- For $n=1$ the theorem recovers the classical universality of a single translate, and for $n=2$ it recovers and unifies both previously solved shift-parameter cases.
Reading between the lines
- The proof uses only the Euler product of $\zeta$ and Carlson-type mean-value estimates, so the same combination of Emsalem's theorem with the flexible rearrangement lemma should extend to any Dirichlet series with an Euler product over primes -- for instance Dirichlet $L$-functions -- with arbitrary nonzero real shifts; the paper does not state such an extension.
- In Lemma 3.1 the constant depends only on the dimension $n$, and the sole role of $|d_j|\neq|d_k|$ is to keep the frequencies $\pm d_j$ distinct in the second-moment computation; one could test the same inequality on families with repeated frequencies, where cross terms appear and joint universality should fail in a quantitatively predictable way.
- For concrete parameters such as $d_1=\log 2$, $d_2=\log 3$, the exceptional set $S$ is provably nonempty, and making $S$ explicit in terms of the $d_j$ would turn the qualitative theorem into a computational recipe for checking the required linear independence; the paper does not carry out that computation.
Original abstract
We prove that the shifts $\zeta(s+id_j\tau)$, $1\le j\le n$, are jointly universal for any nonzero real parameters $d_j$ with pairwise distinct absolute values. These restrictions are best possible. As an immediate consequence, we obtain generalized strong recurrence for arbitrary finite families of nonzero real parameters. Our proof uses Emsalem's generalization of the six exponentials theorem and a new variant of Pecherskii's rearrangement theorem.
The compiled record
The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
The abstract, sentence by sentence
We prove that the shifts $\zeta(s+id_j\tau)$, $1\le j\le n$, are jointly universal for any nonzero real parameters $d_j$ with pairwise distinct absolute values. These restrictions are best possible. As an immediate consequence, we obtain generalized strong recurrence for arbitrary finite families of nonzero real parameters. Our proof uses Emsalem's generalization of the six exponentials theorem and a new variant of Pecherskii's rearrangement theorem.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | We prove that the shifts $\zeta(s+id_j\tau)$, $1\le j\le n$, are jointly universal for any nonzero real parameters $d_j$ with pairwise distinct absolute values. | result 0.94 | 0.96 | 0.94 | asserted 1.00 |
| s1 | These restrictions are best possible. | interpretation 0.51 | 0.74 | 0.09 | asserted 1.00 |
| s2 | As an immediate consequence, we obtain generalized strong recurrence for arbitrary finite families of nonzero real parameters. | result 0.50 | 0.93 | 0.10 | asserted 1.00 |
| s3 | Our proof uses Emsalem's generalization of the six exponentials theorem and a new variant of Pecherskii's rearrangement theorem. | method 0.99 | 0.64 | 0.03 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v1
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
References
Discussion
Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.