[論文レビュー] Structure and paucity in affine diagonal systems, I

Julia Brandes, Trevor D. Wooley|arXiv (Cornell University)|Feb 2, 2026

Algebraic Geometry and Number Theory被引用数 0

ひとこと要約

The paper shows that for affine diagonal systems in three equations, if there are more than P^ε integral solutions, then the coefficient triple h is highly structured (h_j = a^j − b^j or h = 0). Otherwise, the number of solutions is small (O(P^ε)). The authors extend this paucity-structure dichotomy to related systems and to higher variable counts.

ABSTRACT

Let $\varepsilon>0$ and $\mathbf h\in \mathbb Z^3$. We show that whenever $P$ is large and the system \[ x_1^j+x_2^j-y_1^j-y_2^j=h_j\quad (j=1,2,3) \] has more than $P^\varepsilon$ integral solutions with $1\le x_i,y_i\le P$, then there exist natural numbers $a$ and $b$ with $h_j=a^j-b^j$ $(j=1,2,3)$. This example illustrates the theme that, either the Diophantine system has a paucity of integral solutions, or else the coefficient tuple $\mathbf h$ is highly structured. We examine related paucity problems as well as some consequences for problems involving more variables.

研究の動機と目的

• Motivate and quantify how the structure of coefficient tuples h influences the number of integral solutions in affine diagonal systems.
• Establish a dichotomy: either the system has very few solutions, or the coefficients h exhibit explicit algebraic structure.
• Extend the analysis to related systems and to higher-variable settings to identify similar paucity-structure phenomena.

提案手法

• Use polynomial identities of multiplicative type to relate solution counts to divisor-function estimates.
• Derive identities connecting sums of powers via the σ_j and s_j polynomials, enabling a decomposition of solution structures.
• Apply case analysis to count or bound the number of solutions when associated product identities are nonzero.
• Show that a nonzero multiplicative identity forces most variables to be determined, yielding O(P^ε) solutions.

実験結果

リサーチクエスチョン

• RQ1 Does a large count of integral solutions force the coefficient triple h to be highly structured, and if so, what is that structure?
• RQ2 Can the paucity-structure dichotomy be extended to affine variants of Vinogradov systems and to related higher-variable systems?
• RQ3 What are the precise counts of solutions for special structured h (e.g., h_j = a^j − b^j) and for zero-tuple h?
• RQ4 How do these results translate to related systems such as affine quartic or Bräuden-Robert type systems?
• RQ5 What bounds can be obtained for higher-dimensional analogues U_{s,k}(P; h) and T contexts under structure assumptions?

主な発見

• If S_2(P; h) > P^η for fixed η ∈ (0,1), then h must be either zero or of the form h_j = a^j − b^j with a ≠ b, up to 1 ≤ a,b ≤ P, and in these cases S_2(P; h) equals 2P^2 − P or 4P respectively.
• Corollary: For any nonzero h, S_3(P; h) ≪ P^{2+ε} for any ε>0, which is essentially sharp when h_j = a^j − b^j.
• An analogous dichotomy holds for T_2 with systems involving fourth powers, yielding either h_j = a^j − b^j (j ∈ {1,2,4}) or h=0, with corresponding counts 4P or 2P^2−P; otherwise T_2(P; h) = O(P^ε).
• Corollary: For the affine Brütdern-Robert type systems U_{k+1,k}(P; h) with k ≥ 2, if U_{k+1,k}(P; h) > P^r+η, then 0 ≤ r ≤ (k−1)/2 and h is expressible as a sum of (k−1−2r) terms raised to odd powers (1 and 2j−1).
• A more general framework (Theorems 1.5 and 1.6) links large values of U_{k+1,k} to strong structural constraints on h, and a related Corollary 1.7 shows a nontrivial paucity bound U_{2t,k}(P; h) ≪ P^{t−1+ε} for 1 ≤ t ≤ k.