この論文は、有限体上の多項式環 F_q[T] におけるワリングの問題で、次数 d の冪の和として表せる個数について、期待される漸近公式を誤差項を含めて示します。具体的には、変数の数 n が 2d より大さいとき、体の標数 p が (d−1)^2 より大きく、有限体の位数 q が明示的な下界を満たす場合に、主項に対して「冪級数的に小さい」誤差を得られると証明しています。これは、対象の多項式に対して一様な結果です。

研究者は、F_q[T] 上で次数 ≤ e の多項式を対象にして、ある固定の多項式 f に対して d 乗和 a_1^d + … + a_n^d = f を満たす解の個数 N_{e,n}(f) について主項と誤差を示しました。定理の仮定は次のようになります。標数 p>(d−1)^2 で、q は下のような明示的な下界を満たすこと。ここで A_d = (12/5) d 100^d とすると、概略で q > (d−1)^{2n/(n−2d)} · A_d^{4/(n−2d)} という形の条件です。この仮定の下で、N_{e,n}(f) は標準的な主項に従い、誤差は主項に対して冪級数的に小さくなります。さらに、命題により n>2d の条件は一般には最良（シャープ）であることが示されています。

証明の中心にある新しい技法は「集約された（aggregate）マイナーアーク評価」です。円法（ハーディ・リトルウッドの方法に相当する分解）を用いて解の和を大域的に分けます。主要寄与を与える「メジャーアーク」は既存の手法で処理できますが、問題となるのは「マイナーアーク」の寄与です。ここで論文は、各マイナーアークに対応する線型汎関数が持つ“特異点の位相的な大きさ”を表すコディメンション（余次元）ごとにまとめて数える方法を採ります。特異 locus（特異点集合）のコディメンションが大きいほど、対応する完全指数和が小さくなるという既知の評価を組み合わせて、交差論（代数幾何の手法）でパラメータ空間の次数を一様に抑えることで、すべてのマイナーアークの合計寄与を十分小さくできます。重要な道具として、Hase–Liu による完全和の評価や、Sawin の円法的分解の記述を用いています。

この仕事が意味するところは二点あります。第一に、既往の二乗的な変数数の条件を線形な条件（n>2d）まで下げられたことです。第二に、n≥(2+ε)d の場合には必要とされる q の下界が d に関して多項式的に（正確には次数 2+4/ε で）成長すればよいことが分かります。つまり、次数 d が大きくても有限体の位数 q を適切に大きく取れば、漸近公式が成り立ちます。命題の記述から、n≤2d の場合には一般にはこの種の一様な漸近は成り立たない例があるとされています。

留意点として、この結果は有限体の位数 q と標数 p に関するかなり強い条件を要します。定数 A_d に 100^d のような急増する因子が含まれるため、実際に必要な q は d に対して非常に大きくなる可能性があります。また、主張は e→∞（多項式の許容次数の上限が大きくなる）という漸近領域での一様な評価であり、小さな q や小さな標数、あるいは変数数が条件を満たさない場合には適用できません。証明は代数幾何と解析的整数論（円法）の深い組合せに依存しており、応用や更なる改良には追加の工夫が必要です。