Two-Dimensional Delta Method

• Two-dimensional delta method is a framework that generalizes one-dimensional techniques to analyze simultaneous integral equations and joint estimator distributions.
• It employs smoothing kernels and oscillatory integrals with a Kloosterman refinement to achieve precise detection in analytic number theory.
• In probability theory, the method provides non-asymptotic convergence rates for multivariate estimators, enhancing statistical inference.

The two-dimensional delta method encompasses two major analytic frameworks appearing in contemporary research: (A) the two-dimensional delta symbol method in analytic number theory, offering a refined mechanism for detecting simultaneity of two integral equations; and (B) the multivariate (here, specifically two-dimensional) delta method in probability theory, providing precise normal approximations for the joint distribution of estimators, most prominently maximum likelihood estimators (MLEs). These approaches, which both generalize one-dimensional “delta” techniques, play central roles in asymptotic analysis, equidistribution, and explicit bounding in their respective domains.

1. Explicit Definition of the Two-Dimensional Delta Symbol

The two-dimensional delta symbol $\delta_{\mathbb{Z}^2}(n)$ is defined as

$$\delta_{\mathbb{Z}^2}(n) = \begin{cases} 1, & n = (0,0), \ 0, & \text{otherwise}. \end{cases}$$

Li–Rydin Myerson–Vishe provide a smoothed analytic representation: $$\delta_{\mathbb{Z}^2}(n) = \sum_{q=1}^Q\sum_{\substack{a \bmod q \ \gcd(a, q)=1}} \int_{\mathbb{R}^2} P_Q(a, q; \omega)\, e\big((a/q + \omega)\cdot n\big)\, d\omega + O(Q^{-N})$$ where $a \in (\mathbb{Z}/q\mathbb{Z})^2$, $e(x) = e^{2\pi ix}$, and $P_Q(a,q;\omega)$ is a smooth kernel depending only on the lattice $$\mathcal{A}(a, q) = \{k a + q y: k \in \mathbb{Z}, y \in \mathbb{Z}^2\}$$. For small $q$, $P_Q(a, q; \omega) = 1 + O(Q^{-N})$ whenever $q < Q^{1/2-\varepsilon}$ and $$\delta_{\mathbb{Z}^2}(n) = \begin{cases} 1, & n = (0,0), \ 0, & \text{otherwise}. \end{cases}$$0. In general, $$\delta_{\mathbb{Z}^2}(n) = \begin{cases} 1, & n = (0,0), \ 0, & \text{otherwise}. \end{cases}$$1 decays rapidly: $$\delta_{\mathbb{Z}^2}(n) = \begin{cases} 1, & n = (0,0), \ 0, & \text{otherwise}. \end{cases}$$2 This representation underpins a powerful “Kloosterman refinement” of the circle method, critical for the simultaneous detection of two integral constraints in analytic number theory (Li et al., 2024).

2. Smoothing, Derivation, and Kernel Construction

The derivation starts from a dual-divisor identity relating $$\delta_{\mathbb{Z}^2}(n) = \begin{cases} 1, & n = (0,0), \ 0, & \text{otherwise}. \end{cases}$$3 in $$\delta_{\mathbb{Z}^2}(n) = \begin{cases} 1, & n = (0,0), \ 0, & \text{otherwise}. \end{cases}$$4 to one-dimensional delta-detection on inner products. Any nonzero $$\delta_{\mathbb{Z}^2}(n) = \begin{cases} 1, & n = (0,0), \ 0, & \text{otherwise}. \end{cases}$$5 is uniquely written as $$\delta_{\mathbb{Z}^2}(n) = \begin{cases} 1, & n = (0,0), \ 0, & \text{otherwise}. \end{cases}$$6 where $$\delta_{\mathbb{Z}^2}(n) = \begin{cases} 1, & n = (0,0), \ 0, & \text{otherwise}. \end{cases}$$7 is primitive, $$\delta_{\mathbb{Z}^2}(n) = \begin{cases} 1, & n = (0,0), \ 0, & \text{otherwise}. \end{cases}$$8, and $$\delta_{\mathbb{Z}^2}(n) = \begin{cases} 1, & n = (0,0), \ 0, & \text{otherwise}. \end{cases}$$9 denotes the orthogonal rotation. The representation of $$\delta_{\mathbb{Z}^2}(n) = \sum_{q=1}^Q\sum_{\substack{a \bmod q \ \gcd(a, q)=1}} \int_{\mathbb{R}^2} P_Q(a, q; \omega)\, e\big((a/q + \omega)\cdot n\big)\, d\omega + O(Q^{-N})$$0 is achieved through a sum over $$\delta_{\mathbb{Z}^2}(n) = \sum_{q=1}^Q\sum_{\substack{a \bmod q \ \gcd(a, q)=1}} \int_{\mathbb{R}^2} P_Q(a, q; \omega)\, e\big((a/q + \omega)\cdot n\big)\, d\omega + O(Q^{-N})$$1 of the one-dimensional delta symbol $$\delta_{\mathbb{Z}^2}(n) = \sum_{q=1}^Q\sum_{\substack{a \bmod q \ \gcd(a, q)=1}} \int_{\mathbb{R}^2} P_Q(a, q; \omega)\, e\big((a/q + \omega)\cdot n\big)\, d\omega + O(Q^{-N})$$2. Smoothing is introduced via a compactly supported “bump” function $$\delta_{\mathbb{Z}^2}(n) = \sum_{q=1}^Q\sum_{\substack{a \bmod q \ \gcd(a, q)=1}} \int_{\mathbb{R}^2} P_Q(a, q; \omega)\, e\big((a/q + \omega)\cdot n\big)\, d\omega + O(Q^{-N})$$3 with normalization $$\delta_{\mathbb{Z}^2}(n) = \sum_{q=1}^Q\sum_{\substack{a \bmod q \ \gcd(a, q)=1}} \int_{\mathbb{R}^2} P_Q(a, q; \omega)\, e\big((a/q + \omega)\cdot n\big)\, d\omega + O(Q^{-N})$$4; an auxiliary smoothing $$\delta_{\mathbb{Z}^2}(n) = \sum_{q=1}^Q\sum_{\substack{a \bmod q \ \gcd(a, q)=1}} \int_{\mathbb{R}^2} P_Q(a, q; \omega)\, e\big((a/q + \omega)\cdot n\big)\, d\omega + O(Q^{-N})$$5 is constructed from $$\delta_{\mathbb{Z}^2}(n) = \sum_{q=1}^Q\sum_{\substack{a \bmod q \ \gcd(a, q)=1}} \int_{\mathbb{R}^2} P_Q(a, q; \omega)\, e\big((a/q + \omega)\cdot n\big)\, d\omega + O(Q^{-N})$$6. This yields, for any $$\delta_{\mathbb{Z}^2}(n) = \sum_{q=1}^Q\sum_{\substack{a \bmod q \ \gcd(a, q)=1}} \int_{\mathbb{R}^2} P_Q(a, q; \omega)\, e\big((a/q + \omega)\cdot n\big)\, d\omega + O(Q^{-N})$$7: $$\delta_{\mathbb{Z}^2}(n) = \sum_{q=1}^Q\sum_{\substack{a \bmod q \ \gcd(a, q)=1}} \int_{\mathbb{R}^2} P_Q(a, q; \omega)\, e\big((a/q + \omega)\cdot n\big)\, d\omega + O(Q^{-N})$$8 A final Poisson inversion in $$\delta_{\mathbb{Z}^2}(n) = \sum_{q=1}^Q\sum_{\substack{a \bmod q \ \gcd(a, q)=1}} \int_{\mathbb{R}^2} P_Q(a, q; \omega)\, e\big((a/q + \omega)\cdot n\big)\, d\omega + O(Q^{-N})$$9 recovers the explicit sum stated above. The kernel $a \in (\mathbb{Z}/q\mathbb{Z})^2$0, which emerges, is built from oscillatory integrals associated with these smoothings and admits a decomposition in terms of $a \in (\mathbb{Z}/q\mathbb{Z})^2$1 and $a \in (\mathbb{Z}/q\mathbb{Z})^2$2 components, each possessing rapid decay with respect to $a \in (\mathbb{Z}/q\mathbb{Z})^2$3 and $a \in (\mathbb{Z}/q\mathbb{Z})^2$4 (Li et al., 2024).

3. Analytic Properties and Multivariate Kloosterman Refinement

The key analytic feature in the classical (one-dimensional) delta symbol is the smooth partition of the unit circle: $a \in (\mathbb{Z}/q\mathbb{Z})^2$5 with orthogonality $a \in (\mathbb{Z}/q\mathbb{Z})^2$6 and a Poisson-type expansion around rationals. The two-dimensional method replaces the “circle” by the unit square $a \in (\mathbb{Z}/q\mathbb{Z})^2$7, with orthogonality recovered through summation over $a \in (\mathbb{Z}/q\mathbb{Z})^2$8 and integration over $a \in (\mathbb{Z}/q\mathbb{Z})^2$9. The Kloosterman refinement leverages averaging over $e(x) = e^{2\pi ix}$0 to exploit square-root cancellation in exponential sums, producing a double Kloosterman sum which allows for two layers of savings: $e(x) = e^{2\pi ix}$1 from averaging and an additional $e(x) = e^{2\pi ix}$2 from the $e(x) = e^{2\pi ix}$3-summation. Grouping all $e(x) = e^{2\pi ix}$4 with the same lattice $e(x) = e^{2\pi ix}$5 is essential, and $e(x) = e^{2\pi ix}$6 for $e(x) = e^{2\pi ix}$7 (Li et al., 2024).

Compared to nested one-dimensional methods, this true two-dimensional method achieves the “optimal” modulus size $e(x) = e^{2\pi ix}$8 for detecting vectors $e(x) = e^{2\pi ix}$9. Concrete applications include bounding the number of variables necessary in counting integral points on the intersection of two quadrics: reducing from $P_Q(a,q;\omega)$0 (unconditional, one-dimensional) to $P_Q(a,q;\omega)$1 (unconditional, two-dimensional) and down to $P_Q(a,q;\omega)$2 under the Generalized Lindelöf Hypothesis.

4. Convergence, Decay, and Key Structural Lemmas

The convergence and effectiveness of the two-dimensional delta symbol method rely on several technical results:

• Dual–divisor detection (Lemma 3.1): The indicator $P_Q(a,q;\omega)$3 is represented as a smooth sum over divisors and a one-dimensional delta method applied to $P_Q(a,q;\omega)$4.
• Definition of the p-functions (Lemma 3.2): After Fourier inversion, the kernel decomposes into $P_Q(a,q;\omega)$5 and $P_Q(a,q;\omega)$6, each an explicit oscillatory integral with rapid decay in $P_Q(a,q;\omega)$7 and $P_Q(a,q;\omega)$8.
• Decay bounds (Lemmas 3.3–3.6): $P_Q(a,q;\omega)$9; $$\mathcal{A}(a, q) = \{k a + q y: k \in \mathbb{Z}, y \in \mathbb{Z}^2\}$$0 similarly decays unless certain smallness conditions on $$\mathcal{A}(a, q) = \{k a + q y: k \in \mathbb{Z}, y \in \mathbb{Z}^2\}$$1 are met.
• Geometry-of-numbers duality (Lemma 4.2): For a $$\mathcal{A}(a, q) = \{k a + q y: k \in \mathbb{Z}, y \in \mathbb{Z}^2\}$$2 matrix $$\mathcal{A}(a, q) = \{k a + q y: k \in \mathbb{Z}, y \in \mathbb{Z}^2\}$$3 and shortest vector length $$\mathcal{A}(a, q) = \{k a + q y: k \in \mathbb{Z}, y \in \mathbb{Z}^2\}$$4 in $$\mathcal{A}(a, q) = \{k a + q y: k \in \mathbb{Z}, y \in \mathbb{Z}^2\}$$5, $$\mathcal{A}(a, q) = \{k a + q y: k \in \mathbb{Z}, y \in \mathbb{Z}^2\}$$6 for $$\mathcal{A}(a, q) = \{k a + q y: k \in \mathbb{Z}, y \in \mathbb{Z}^2\}$$7 and $$\mathcal{A}(a, q) = \{k a + q y: k \in \mathbb{Z}, y \in \mathbb{Z}^2\}$$8, ensuring a uniform truncation and the domain for which the main-term in $$\mathcal{A}(a, q) = \{k a + q y: k \in \mathbb{Z}, y \in \mathbb{Z}^2\}$$9 persists (Li et al., 2024).

5. Multivariate Delta Method in Probability: The Two-Dimensional Case

A distinct but key application of the two-dimensional delta method appears in the asymptotic normal approximation of estimators, notably the MLE for two-dimensional parameters (Anastasiou et al., 2016).

Given i.i.d. data $q$0 with density $q$1 for $q$2, assume $q$3 is $q$4 and the MLE $q$5 exists uniquely and can be written as $q$6 for smooth $q$7 and $q$8. The Fisher information $q$9 is positive-definite and finite.

Define the scaled estimator and normal comparison: $P_Q(a, q; \omega) = 1 + O(Q^{-N})$0 For $P_Q(a, q; \omega) = 1 + O(Q^{-N})$1 with finite semi-norms, an explicit Berry–Esseen-type bound is given: $P_Q(a, q; \omega) = 1 + O(Q^{-N})$2 This bound, notable for its independence from $P_Q(a, q; \omega) = 1 + O(Q^{-N})$3, applies to the classical case of the joint MLE $P_Q(a, q; \omega) = 1 + O(Q^{-N})$4 for normal mean and variance, where $P_Q(a, q; \omega) = 1 + O(Q^{-N})$5 and $P_Q(a, q; \omega) = 1 + O(Q^{-N})$6 are explicitly computable. The result exemplifies the multivariate delta method’s capacity to produce non-asymptotic, explicit convergence rates for the joint law of two parameter estimators (Anastasiou et al., 2016).

6. Comparative Analysis and Applications

The two-dimensional delta symbol method significantly outperforms prior approaches for detecting the intersection of two equations when the number of variables is large. Heuristically, setting $P_Q(a, q; \omega) = 1 + O(Q^{-N})$7 (with $P_Q(a, q; \omega) = 1 + O(Q^{-N})$8 the “height” parameter) and exploiting two layers of Kloosterman savings, the error terms decay as $P_Q(a, q; \omega) = 1 + O(Q^{-N})$9, which is a substantial improvement over one-dimensional, nested, or Gaussian integer approaches. The method is optimally suited to count integer solutions to pairs of quadratic forms, especially as the ambient number of variables increases (Li et al., 2024).

In probability theory, the two-dimensional delta method delivers explicit, non-asymptotic convergence rates in the normal approximation regime, relying on smoothness assumptions and “sum-of-i.i.d.” representation. Its effectiveness is most pronounced for vector-valued parameters or where joint inference is required, providing dimension-dependent but otherwise uniform rates (Anastasiou et al., 2016).

7. Context, Future Perspectives, and Methodological Extensions

The two-dimensional delta method in analytic number theory represents a comprehensive blueprint for future $q < Q^{1/2-\varepsilon}$0-dimensional generalizations. Its principal analytic features, flexible smoothing, and explicit decay conditions enable broad applications to counting, Diophantine approximation, and equidistribution. In the context of probabilistic asymptotics, the multivariate delta method extends to arbitrary finite dimension $q < Q^{1/2-\varepsilon}$1, underpinning key developments in maximum likelihood theory and statistical inference for dependent or functionally transformed estimators.

A plausible implication is that as both analytic and statistical models become more complex, true $q < Q^{1/2-\varepsilon}$2-dimensional delta methods—avoiding nested or iterative constructions—will continue to provide sharper error estimates and more efficient detection or approximation capabilities. The growing divergence in performance as the dimensionality of the problem increases is a significant motivation for further methodological innovation (Li et al., 2024).