REVIEW
Sharp Transitions for Localized Solutions to a Diophantine Inequality
Number Theory · Submitted 18 Aug 2026 · 26 references
Pith's verdict: A genuinely new sharp existence threshold for non-integer-exponent Diophantine inequalities, with a major-arc uniformity gap that is fixable and a few small technical errors.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
A single critical constant separates guaranteed solutions from arbitrarily long gaps in a fractional-power Diophantine inequality.
The reading
What carries the argument
The load-bearing object is the exponential sum $f(\alpha_1,\alpha_2)=\sum_{X-Y<x\leq X+Y} e((x-X)\alpha_1+\alpha_2(x^\theta-X^\theta-\theta(x-X)X^{\theta-1}))$, whose $s$-th power is integrated against a smoothing kernel $K_\pm(\alpha_2)$ that converts the inequality $|\sum x_i^\theta-R|<\tau$ into a count. On the major arcs, $f$ is replaced by an integral approximation $f^*$, and the count is reduced to a two-dimensional integral $J_0(R,m)$ whose positivity is proved by finding a non-singular real solution $(\eta_1,\dots,\eta_s)$ to the system $\sum \gamma_i=m/Y$ and $\sum G(Y\gamma_i)=Z$, where $G(t)=(X+t)^\theta-X^\theta-\theta tX^{\theta-1}$. The sign of the quadratic form $\sum \gamma_i^2$, evaluated at two constructed points, changes exactly when $c$ crosses $\omega$, producing the transition. The minor and trivial arc bounds come from mean value estimates for exponential sums and a derivative test for exponential sums.
Extended reading notes
Core claim
The central claim is Theorems 1 and 2: the inequality family has a sharp transition at $\omega$. If $c>\omega$ and $s \geq (\lfloor 2\theta\rfloor+1)(\lfloor 2\theta\rfloor+2)+1$, then for all sufficiently large $R$ one has $N^\tau_{s,\theta}(R,c\sqrt{X}) \gg_{\theta,s} \tau X^{1-\theta}Y^{s-1}$. If $c<\omega$, a construction with $R=sM^\theta+s\theta M^{\theta-1}$ produces infinitely many $R_n\to\infty$ with $N^\tau_{s,\theta}(R_n,c\sqrt{X_n})=0$. The constant $\omega$ emerges from the balance between a linear and a quadratic term in the Taylor expansion of $(X+y)^\theta$ around $X$; this balance is the same mechanism that makes the major-arc integral change sign.
Load-bearing premise
The proof that the major-arc integral $J_0(R,m)$ is bounded below by a positive constant assumes that a standard truncation argument, taken from Lemmas 3.6.4 through 3.6.7 of [14], applies uniformly in $X$ and that the Jacobian determinant at the constructed solution is bounded away from zero; the paper proves existence and non-singularity but does not explicitly verify that uniform lower bound.
Editorial extensions
If this is right
- The optimal window width for guaranteed existence is $Y \asymp \sqrt{X}$ up to a constant factor; any smaller constant in front of $\sqrt{X}$ produces arbitrarily large gaps.
- For $c>\omega$, the lower bound $N \gg X^{1-\theta}Y^{s-1}$ has the order of magnitude one expects from the circle method, so the count is not merely positive but grows polynomially.
- Theorem 2 requires only $s\geq 2$, so the obstruction for small $c$ is a geometric mismatch, not a shortage of variables.
- The equality case $c=\omega$ is not settled; the paper suggests the behavior may depend on an additional power $X^\delta$ beyond $\sqrt{X}$.
- The same dichotomy is likely to hold for the integer-power analogue, with the same mechanism but a different critical constant.
Reading between the lines
- One testable extension: for $c<\omega$, measure the density of the exceptional set of $R$ with no solutions; the construction here only shows the set is infinite, but it may well have positive density.
- For intermediate numbers of variables, $\theta < s \leq 2\theta-1$, the exponent $X^{1-\theta}Y^{s-1}$ becomes negative, so if solutions exist the correct width may be $X^\kappa$ with $\kappa>1/2$ depending on $s$; this regime is out of reach of the present method.
- Allowing the tolerance $\tau$ to grow with $R$ could reduce the required number of variables or the window constant, mirroring what happens in shifted sum-of-powers problems.
- The sharpness at $\omega$ suggests a genuine phase transition; numerical searches near $c=\omega$ for specific $\theta$ and $s$ could reveal whether the transition is abrupt or accompanied by sparse sporadic solutions.
Original abstract
For fixed $\tau > 0$, non-integer $\theta > 2$ and large enough $s$, we investigate the number of solutions to the Diophantine inequality $|x_1^{\theta}+\cdots +x_s^{\theta} - R| < \tau$ as $R \to \infty$. Here, we restrict the variables $x_i$ in the ``almost diagonal" range $X-Y < x_i \leq X+Y$ for $i = 1, \ldots, s$, where $X = (R/s)^{1/\theta}$ and $Y \asymp \sqrt{X}$. Let $\omega = (\lfloor s/2 \rfloor(\theta-1))^{-1/2}$. We will show that if $Y = c\sqrt{X}$ for some $c > \omega$ then for sufficiently large $R$ there must always exist solutions, but if $c < \omega$ then there exist arbitrarily large positive $R$ for which there are no solutions. Our result is thus essentially sharp, with the exception of $c = \omega$. This work is analogous to the results of Daemen and Wright in which similar statements are proved for Waring's problem, though our results are likely somewhat stronger than what is possible in that setting. We discuss other related results and further work to be done.
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
For fixed $\tau > 0$, non-integer $\theta > 2$ and large enough $s$, we investigate the number of solutions to the Diophantine inequality $|x_1^{\theta}+\cdots +x_s^{\theta} - R| < \tau$ as $R \to \infty$. Here, we restrict the variables $x_i$ in the ``almost diagonal" range $X-Y < x_i \leq X+Y$ for $i = 1, \ldots, s$, where $X = (R/s)^{1/\theta}$ and $Y \asymp \sqrt{X}$. Let $\omega = (\lfloor s/2 \rfloor(\theta-1))^{-1/2}$. We will show that if $Y = c\sqrt{X}$ for some $c > \omega$ then for sufficiently large $R$ there must always exist solutions, but if $c < \omega$ then there exist arbitrarily large positive $R$ for which there are no solutions. Our result is thus essentially sharp, with the exception of $c = \omega$. This work is analogous to the results of Daemen and Wright in which similar statements are proved for Waring's problem, though our results are likely somewhat stronger than what is possible in that setting. We discuss other related results and further work to be done.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | For fixed $\tau > 0$, non-integer $\theta > 2$ and large enough $s$, we investigate the number of solutions to the Diophantine inequality $|x_1^{\theta}+\cdots +x_s^{\theta} - R| < \tau$ as $R \to \infty$. | contribution 0.67 | 0.73 | 0.03 | unclear 0.56 |
| s1 | Here, we restrict the variables $x_i$ in the ``almost diagonal" range $X-Y < x_i \leq X+Y$ for $i = 1, \ldots, s$, where $X = (R/s)^{1/\theta}$ and $Y \asymp \sqrt{X}$. | method 0.73 | 0.76 | 0.02 | asserted 0.92 |
| s2 | Let $\omega = (\lfloor s/2 \rfloor(\theta-1))^{-1/2}$. | method 0.55 | 0.48 | 0.02 | asserted 0.58 |
| s3 | We will show that if $Y = c\sqrt{X}$ for some $c > \omega$ then for sufficiently large $R$ there must always exist solutions, but if $c < \omega$ then there exist arbitrarily large positive $R$ for which there are no solutions. | result 1.00 | 0.93 | 0.93 | asserted 1.00 |
| s4 | Our result is thus essentially sharp, with the exception of $c = \omega$. | interpretation 0.75 | 0.89 | 0.27 | asserted 0.96 |
| s5 | This work is analogous to the results of Daemen and Wright in which similar statements are proved for Waring's problem, though our results are likely somewhat stronger than what is possible in that setting. | background 0.65 | 0.17 | 0.03 | hedged possibility 0.88 |
| s6 | We discuss other related results and further work to be done. | future work 1.00 | 0.19 | 0.01 | unclear 0.58 |
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.