TY - JOUR
T1 - Reversing a Philosophy
T2 - From Counting to Square Functions and Decoupling
AU - Gressman, Philip T.
AU - Guo, Shaoming
AU - Pierce, Lillian B.
AU - Roos, Joris
AU - Yung, Po Lam
N1 - Publisher Copyright:
© 2021, Mathematica Josephina, Inc.
PY - 2021/7
Y1 - 2021/7
N2 - Breakthrough work of Bourgain, Demeter, and Guth recently established that decoupling inequalities can prove powerful results on counting integral solutions to systems of Diophantine equations. In this note we demonstrate that in appropriate situations this implication can also be reversed. As a first example, we observe that a count for the number of integral solutions to a system of Diophantine equations implies a discrete decoupling inequality. Second, in our main result we prove an L2n square function estimate (which implies a corresponding decoupling estimate) for the extension operator associated to a non-degenerate curve in Rn. The proof is via a combinatorial argument that builds on the idea that if γ is a non-degenerate curve in Rn, then as long as x1, … , x2n are chosen from a sufficiently well-separated set, then γ(x1) + ⋯ + γ(xn) = γ(xn+1) + ⋯ + γ(x2n) essentially only admits solutions in which x1, … , xn is a permutation of xn+1, … , x2n.
AB - Breakthrough work of Bourgain, Demeter, and Guth recently established that decoupling inequalities can prove powerful results on counting integral solutions to systems of Diophantine equations. In this note we demonstrate that in appropriate situations this implication can also be reversed. As a first example, we observe that a count for the number of integral solutions to a system of Diophantine equations implies a discrete decoupling inequality. Second, in our main result we prove an L2n square function estimate (which implies a corresponding decoupling estimate) for the extension operator associated to a non-degenerate curve in Rn. The proof is via a combinatorial argument that builds on the idea that if γ is a non-degenerate curve in Rn, then as long as x1, … , x2n are chosen from a sufficiently well-separated set, then γ(x1) + ⋯ + γ(xn) = γ(xn+1) + ⋯ + γ(x2n) essentially only admits solutions in which x1, … , xn is a permutation of xn+1, … , x2n.
KW - Decoupling inequalities
KW - Diophantine equations
KW - Square functions
UR - http://www.scopus.com/inward/record.url?scp=85100569127&partnerID=8YFLogxK
U2 - 10.1007/s12220-020-00593-x
DO - 10.1007/s12220-020-00593-x
M3 - Article
SN - 1050-6926
VL - 31
SP - 7075
EP - 7095
JO - Journal of Geometric Analysis
JF - Journal of Geometric Analysis
IS - 7
ER -