Abstract
We apply Christ’s method of refinements to the \(\ell ^p\)improving problem for discrete averages \({\mathcal {A}}_N\) along polynomial curves in \({\mathbb {Z}}^d\). Combined with certain elementary estimates for the number of solutions to certain special systems of diophantine equations, we obtain some restricted weaktype \(p \rightarrow p'\) estimates for the averages \({\mathcal {A}}_N\) in the subcritical regime. The dependence on N of the constants here obtained is sharp, except maybe for an \(\epsilon \)loss.
1 Introduction
We consider here polynomial curves in \({\mathbb {Z}}^d\) for \(d\ge 1\) given by
with \(P_1,\ldots ,P_d\) univariate polynomials in \({\mathbb {Z}}[X]\) with the property that their degrees are separated, by which we mean that \(\deg P_j < \deg P_{j+1}\) for all \(j \in \{1,\ldots , d1\}\). The prototypical example of such curves is the moment curve
To each curve \(\gamma \) one can associate the sequence of discrete (forward) averages in \({\mathbb {Z}}^d\) along the curve given by
where \({\varvec{x}}\in {\mathbb {Z}}^d\); we will typically omit the superscript if no confusion ensues. In analogy with the \(L^p\)improving problem for continuous averages, one is interested in studying the \(\ell ^p \rightarrow \ell ^q\) mapping properties of the operators \({\mathcal {A}}_N\)—in particular, one would like to explore to what extent inequalities of the form
can hold and what is the (asymptotically) smallest \(C_{p,q,\gamma }(N)\) constant for which (1) holds. In this regard, one is led to the following conjecture.
Conjecture 1
Let \(D = D_{\gamma } := \sum _{j = 1}^{d} \mathrm {deg} P_j\) denote the total degree of the curve \(\gamma \). For any pair of exponents p, q such that \(q \ge p\) and for every \(\epsilon > 0\) the estimate
holds for every \(f \in \ell ^p({\mathbb {Z}}^d)\).
That the condition \(q \ge p\) is necessary can be seen by a standard argument due to Hörmander using the translation invariance of the operators \({\mathcal {A}}_N\) and the fact that they are local. To show that the best constant \(C_{p,q,\gamma }(N)\) for which (1) can hold is at least as large as the righthand side of (2) it suffices to test against some standard examples: in particular, testing against a Dirac delta function one obtains \(C_{p,q,\gamma }(N) > rsim N^{1/{q'}}\), while testing against the characteristic function of the image^{Footnote 1}\(\gamma ([1,N])\) one obtains \(C_{p,q,\gamma }(N) > rsim N^{1/p}\); finally, the remaining condition is obtained by testing against the characteristic function of (a suitable dilate of) a parabolic box of sidelengths \(\sim N^{\mathrm {deg} P_1} \times \ldots \times N^{\mathrm {deg} P_d}\). Thus the conjecture states that the necessary powers of N given by such examples are also sufficient.
Remark 1
The \(\epsilon \)loss in the exponents of N does not arise from the aforementioned examples and has been included out of an abundance of caution. It is possibly absent from the true estimates and can sometimes be removed by suitable \(\epsilon \)removal lemmata, but we will not concern ourselves with such questions here.
If an estimate of the form (1) is shown to hold for a certain pair p, q with constant \(C_{p,q,\gamma }(N)\) as in (2), we will say that the estimate is optimal. In this paper we shall be concerned exclusively with optimal estimates. Moreover, the regime in which the term \(N^{ D(1/p  1/q)}\) at the righthand side of (2) dominates over the other two will be called the supercritical regime: by inspection, it consists of those exponents p, q such that
on a (1/p, 1/q) diagram, it corresponds to a triangle with one side given by the \(1/p = 1/q\) line and the vertex opposite to it given by the critical endpoint \((1/p_c, 1/{p_c'}) = \big (\frac{D}{2D  1}, \frac{D1}{2D1}\big )\) (that is, \(p_c = 2  \frac{1}{D}\)). The complement of the supercritical regime in the \(q \ge p\) range will be called the subcritical regime. Estimates for exponents p, q in either regime will be named accordingly. See Fig. 1 for a pictorial representation of the regimes on a (1/p, 1/q) diagram.
Remark 2
There seems to be a certain difference between the discrete and continuous case: in the former the supercritical regime is conjectured to correspond to a triangle in the (1/p, 1/q) diagram, while in the latter it is known (for suitably regular curves or for suitably weighted averages) that the range of boundedness corresponds to a trapezoid instead (when \(d>2\)).
A first incarnation of the problem considered here has been the problem of studying the \(\ell ^p \rightarrow \ell ^q\) mapping properties of discrete fractional integrals along discrete varieties (see [6] for why the two are quite related). This issue has attracted a great deal of attention over the years—see [10, 12,13,14,15,16,17] for a selection of works in the area. The \(\ell ^p\)improving problem for discrete averages \({\mathcal {A}}_N\) proper is more recent but has seen a certain degree of activity lately. In particular, in [7] Han et al. have studied the \(\ell ^p\)improving properties of the averages \({\mathcal {A}}^{\gamma }_N\) along the polynomial \(\gamma (n) = n^2\), while in [6] the same authors together with Kovač and Madrid have studied the case of \(\gamma = \varGamma \) the moment curve. In the latter, using the celebrated solution to the Vinogradov Mean Value conjecture of Wooley [21] for \(d=3\) and of Bourgain et al. [2] for arbitrary d, they have shown for the moment curve the optimal supercritical estimates (2) for exponents p, q such that
which is the (strict) subset of the supercritical regime given by interpolation of the trivial \(\ell ^p \rightarrow \ell ^p\) inequalities with the optimal endpoint \(\ell ^{p_0} \rightarrow \ell ^{{p_0}'}\) inequality with \(p_0 = \frac{4D}{2D+1}\), where here \(D = D_{\varGamma } = \frac{d(d+1)}{2}\) (see however Sect. 2.2 for why the range they obtain is actually larger). By a transference argument they also obtained some supercritical optimal estimates for the curve given by the monomial \(\gamma (n) = n^k\); however, along the \(q = p'\) line the transference argument yields the optimal \(\ell ^p \rightarrow \ell ^{p'}\) inequality only for \(2 \ge p \ge 2  O(1/k^2)\), while the conjectured endpoint is \(2  1/k\).
We also mention the recent work of Dasu et al. [4] in which they have completely solved the analogous \(\ell ^p\)improving problem for the discrete paraboloid in \({\mathbb {Z}}^d\) for any \(d \ge 2\). The obvious connection with the case considered here is given by \(d=2\), in which the paraboloid is simply the parabola \(\gamma (n) = (n,n^2)\). In here we will reprove their endpoint result for the parabola (see (ii) of Theorem 1 below).
Paraboloids are not the only discrete hypersurfaces for which the \(\ell ^p\)improving problem for the associated averages has been studied—see [1, 8, 11] for work on the discrete sphere.
1.1 Main Results
All the aforementioned papers [4, 6, 7] deal with estimates for \({\mathcal {A}}_N\) in the supercritical regime. In this work we concentrate instead on the subcritical regime and prove some new optimal subcritical estimates for certain classes of curves. Our results can be summarised in the restricted weaktype estimates on the \(q = p'\) line listed in the following theorem.
Theorem 1
Let \(\gamma \) be a polynomial curve with separated degrees. Then the following optimal inequalities hold:

(i)
Suppose that \(d \ge 1\) and that \(\gamma (n)\) is not a single linear polynomial. Then we have for any finite sets \(E,F \subset {\mathbb {Z}}^d\)
(4) 
(ii)
Suppose that \(d\ge 2\) and that the first component of \(\gamma \) is a linear polynomial. Then we have for any finite sets \(E,F \subset {\mathbb {Z}}^d\)
$$\begin{aligned} \langle {\mathcal {A}}_N {\mathbf {1}}_E, {\mathbf {1}}_F \rangle \lesssim _{\gamma ,\epsilon } N^{3/5 + \epsilon } E^{3/5} F^{3/5}. \end{aligned}$$(5) 
(iii)
Suppose that \(d\ge 3\) and the first three components \(P_1,P_2,P_3\) of \(\gamma \) have degrees respectively equal to 1, 2 and 3. Then we have for any finite sets \(E,F \subset {\mathbb {Z}}^d\)
$$\begin{aligned} \langle {\mathcal {A}}_N {\mathbf {1}}_E, {\mathbf {1}}_F \rangle \lesssim _{\gamma ,\epsilon } N^{4/7 + \epsilon } E^{4/7} F^{4/7}. \end{aligned}$$(6)
With the methods of this paper it is a priori possible to extend the list of results further to include additional higher dimensional situations; however, the success of the strategy hinges on the accessibility of certain solution counting bounds for systems of diophantine equations. See Remarks 10 and 11 for details.
Remark 3
Inspection of the proof of Theorem 1 reveals that the \(\epsilon \)losses in the form of the factors \(N^{\epsilon }\) above can be more precisely quantified to be of the form \(\lesssim e^{C \frac{\log N}{\log \log N}}\) for some \(C>0\).
Remark 4
Observe that, if \(Q \in {\mathbb {Z}}[X]\) is nonconstant, (4) holds equally true for curves \(\gamma \) and \(\gamma \circ Q\) (and is always optimal). From the statement of case (ii), it appears at first sight that we no longer have this freedom of composition for (5). However, further inspection of the proof reveals that case (ii) of Theorem 1 admits the following extension. Let \({\mathfrak {X}} \subset {\mathbb {Z}}\) be a sequence and let \({\mathfrak {X}}_N := {\mathfrak {X}} \cap [1,N]\) for any \(N>0\); we can define the averages along \(\gamma \) restricted to \({\mathfrak {X}}\) as
When \(Q \in {\mathbb {Z}}[X]\) is a nonconstant univariate polynomial^{Footnote 2} and \({\mathfrak {X}}^Q\) the set of its values, that is \({\mathfrak {X}}^Q= \{ Q(n) : n \in {\mathbb {Z}} \}\), the operator \({\mathcal {A}}^{\gamma }_{{\mathfrak {X}}^Q,N}\) is essentially the same as \({\mathcal {A}}^{\gamma \circ Q}_{M}\) with \(M \sim N^{1/\deg Q}\) (notice that \({\mathfrak {X}}^Q_N \sim N^{1/\deg Q}\)). In this situation, inspecting the proof of Theorem 1 (and in particular that of Lemma 5) we see that case (ii) of Theorem 1 extends to
(so that (5) holds for \(\gamma \circ Q\) as well). Testing against the Dirac delta function (or its dual example) verifies that this estimate is optimal.
We stress that in each of the three cases in Theorem 1 the estimate is indeed in the subcritical^{Footnote 3} regime: in the first case the critical exponent \(p_c\) is at least \(2  1/2 = 3/2\), in the second at least \(2  1/3 = 5/3\) and in the third at least \(2  1/6 = 11/6 > 7/4\).
Lorentz interpolation of each of the above estimates with the trivial \(\ell ^p \rightarrow \ell ^{\infty }\) and \(\ell ^1 \rightarrow \ell ^q\) inequalities yields a range of strongtype optimal subcritical estimates. If one has optimal estimates on the critical lines (that separate the super and subcritical regimes; see Fig. 1), it is possible to interpolate with those as well and obtain an even larger range of subcritical estimates (see Sect. 2.1). In particular, when the exponents of estimates (4) and (5) coincide with the critical exponents \(p_c, {p_c}'\) we obtain by interpolation the full Conjecture 1—see the following corollary.
Corollary 1
Conjecture 1 holds for all \(q \ge p\) when:

(i)
\(d=1\) and \(\gamma (n)\) is a quadratic polynomial;

(ii)
\(d=2\) and \(\gamma (n)\) is a parabola in \({\mathbb {Z}}^2\).
Case (i) of the Corollary recovers the corresponding results of [6, 7], while case (ii) recovers the 2D case of [4].
Remark 5
For the parabola, the \(\epsilon \)removal technology of [4] allows one to remove the \(\epsilon \)loss (caused by interpolation) from the interior of the supercritical regime. The reach of such technology seems currently limited to the supercritical regime. We mention here in this regard that, since (4) holds without the \(\epsilon \)loss when \(d\ge 2\), one obtains by interpolation \(\epsilon \)free optimal estimates in a subset of the subcritical range.
The proof of Theorem 1 relies on an adaptation to our arithmetic setting of the method of refinements introduced by Christ in [3] to study the continuous \(L^p\)improving problem. The problem has been completely solved by the method in the case of continuous curves, see [3, 5, 18]. Summarising briefly for the unaware reader, the essence of the method (at least in our adaptation) consists in a combinatorial reformulation of the restricted weaktype inequalities that translates them into lower bounds for E in terms of parameters \(\alpha ,\beta \) such that \(\alpha F= \beta E = \langle {\mathcal {A}}_N {\varvec{1}}_E, {\varvec{1}}_F\rangle \); this allows one to set up a “flowing” procedure based on \(\gamma \), taking us alternatingly from the set E to the set F and vice versa. One can show that the procedure yields a “large” (in terms of \(\alpha , \beta \)) set of parameters \((n_1, m_1, \ldots , n_k,m_k) \in [1,N]^{2k}\) such that for a carefully chosen \({\varvec{y}} \in E\) we have for all these parameters
If one views this expression as a map, in our discrete context it is possible to obtain a lower bound for E by estimating the multiplicity of the map; this lower bound then translates back into restricted weaktype estimates. The multiplicity estimates translate quite directly into a classical numbertheory problem—that of bounding the number of solutions to certain diophantine equations.
While preparing this manuscript we became aware that—not surprisingly—the method of refinements has been applied to such discrete questions before. In fact, Oberlin [13] and Kim [12] used it to prove \(\ell ^p \rightarrow \ell ^q\) estimates for certain discrete fractional integrals along curves—[12] in particular provides somewhat general conditional statements. In contrast to [12, 13], in our adaptation of the method we additionally prune the combinatorial tower of parameters so as to ensure that in our multiplicity bounds we never encounter equations of the form (7) (see Sect. 2.2) but rather their inhomogeneous version. This pruning is crucial to us as the latter are expected to have fewer solutions than (7), since they do not admit solutions of diagonal type.
The rest of the paper is organised as follows: in Sect. 2 we review certain basic facts about the averages \({\mathcal {A}}_N\) and describe how the aforementioned result of [6] is proven; in Sect. 3 we develop an arithmetic version of the method of refinements as needed in our case, with which the proof of Theorem 1 is reduced to proving bounds for the number of solutions to certain diophantine systems that arise in the process; in Sect. 4 we prove such bounds by elementary arguments, thus completing the proof of Theorem 1.
1.2 Notation and Basic Facts
Throughout this manuscript we use \(A \lesssim B\) to denote the inequality \(A \le C B\) for some suppressed constant \(C>0\); \(A \sim B\) means \(A \lesssim B\) and \(B \lesssim A\). When the suppressed constant depends on a certain list \({\mathcal {L}}\) of parameters we highlight this by writing \(A \lesssim _{{\mathcal {L}}} B\). Moreover, in conditional statements we will use \(A \gg B\) to denote the inequality \(A \ge C B\) for some sufficiently large constant \(C>0\).
We use [1, N] as shorthand for the set of integers \(\{1, \ldots , N\}\). If \(E \subset {\mathbb {Z}}^d\) then E denotes its cardinality.
In Sect. 4 we will repeatedly make use of the socalled divisor bound, which states that the number of distinct divisors of \(n \ne 0\) is bounded by \(\lesssim e^{C \frac{\log n}{\log \log n}}\); however, we will limit ourselves to the weaker version that states that for every \(\epsilon > 0\) the number of divisors of \(n\lesssim N\) is \(\lesssim _\epsilon N^\epsilon \).
2 Preliminaries
In this section we record some observations about the affine structure of the problem and then discuss how one can obtain estimates of the form (1) by a simple HausdorffYoung argument. The former will allow us to reduce case (i) of Theorem 1 to curves \(\gamma \) of the form P(n), case (ii) of Theorem 1 to curves \(\gamma \) of the form (n, P(n)) and case (iii) to \(\gamma \) the moment curve in \(d=3\), that is \(\varGamma (n) = (n,n^2,n^3)\). The latter discussion will provide some context and allow us to illustrate what is the range in which Conjecture 1 is currently known to hold for the moment curve.
2.1 Affine Transformations and Projections
In the discrete context an affine transformation that maps \({\mathbb {Z}}^d\) into itself does not necessarily have an inverse, that which hampers the usual change of variable arguments. Consider however the following special examples of linear transformations (we ignore the translations since they are harmless):

(i)
A linear transformation \(T : {\mathbb {Z}}^d \rightarrow {\mathbb {Z}}^d\) such that
$$\begin{aligned} T(x_1, \ldots , x_d) = (a_1 x_1, \ldots , a_d x_d) \quad \forall {\varvec{x}} \in {\mathbb {Z}}^d \end{aligned}$$for some nonzero integers \(a_1, \ldots , a_d\), which we will refer to as integer dilation;

(ii)
A linear transformation \(T : {\mathbb {Z}}^d \rightarrow {\mathbb {Z}}^d\) such that
$$\begin{aligned} T(x_1, \ldots , x_d) = (x_1, \ldots , x_{j1}, x_j  b x_k, x_{j+1},\ldots , x_d) \quad \forall {\varvec{x}} \in {\mathbb {Z}}^d \end{aligned}$$for some integer b and \(k \ne j\), which we will refer to as integer shear.
Then the following still holds.
Lemma 1
Let \(T : {\mathbb {Z}}^d \rightarrow {\mathbb {Z}}^d\) be a linear transformation obtained by the composition of integer dilations and integer shears. Then for any curve \(\gamma \) and any N, p, q such that \(q \ge p\) we have for the averages associated to \(T\gamma \)
and similarly for the restricted weaktype norms.
Proof
We consider here only the strong operator norm, since the result for restricted weaktype norms requires only trivial modifications.
It clearly suffices to check for a single integer dilation and a single integer shear separately. Abandoning for a moment our convention about the ordering of the polynomial degrees in the components of \(\gamma \), we can assume that
or
In the first case, write \({\varvec{x}} = (x_1,{\varvec{x}}') \in {\mathbb {Z}} \times {\mathbb {Z}}^{d1}\) and let z, r be the unique integers such that \(x_1 = az + r\) with \(0\le r<a\); then if we let \(g_r(s,{\varvec{y}}) := f(as + r, {\varvec{y}})\) we have
Therefore we have
where we have used the fact that for \(q \ge p\) the \(\ell ^q\) norm is smaller than the \(\ell ^p\) one. This proves the Lemma for integer dilations.
In the second case, the transformation T is a linear bijection over \({\mathbb {Z}}^d\) with welldefined inverse. A standard change of variables argument (notice that integer shears leave the \(\ell ^p\) norms unchanged) then concludes the proof of the Lemma. \(\square \)
It is an immediate consequence of Lemma 1 that it will suffice to prove case (ii) of Theorem 1 for curves of the form \(\gamma (n) = (n, P_2(n), \ldots , P_d(n))\); moreover, it will similarly suffice to prove case (iii) of Theorem 1 for curves of the form \(\gamma (n) = (n,n^2,n^3, P_4(n), \ldots , P_d(n))\). However, as anticipated, a further reduction is possible—we encapsulate it in the following lemma.
Lemma 2
Let \(\gamma _1, \gamma _2\) be polynomial curves mapping into \({\mathbb {Z}}^{d_1}, {\mathbb {Z}}^{d_2}\) respectively; \((\gamma _1(n),\gamma _2(n))\) is then a polynomial curve mapping into \({\mathbb {Z}}^{d_1} \times {\mathbb {Z}}^{d_2}\). If \(q \ge p\) then we have
and similarly for the restricted weaktype norms and for \(\gamma _2\) in place of \(\gamma _1\).
Proof (outline)
We consider only the strong norms for simplicity. By Minkowski’s inequality and the fact that \(q\ge p\), we have for any fixed \({\varvec{x}} \in {\mathbb {Z}}^{d_1}\) that
this can be reformulated as
Taking the \(\ell ^q({\mathbb {Z}}^{d_1})\) norm in \({\varvec{x}}\) on both sides and appealing to the \(\ell ^p({\mathbb {Z}}^{d_1}) \rightarrow \ell ^q({\mathbb {Z}}^{d_1})\) boundedness of \({\mathcal {A}}^{\gamma _1}_{N}\) we conclude. \(\square \)
An immediate consequence of Lemmas 1 and 2 is therefore that it will suffice:

To prove case (i) of Theorem 1 in the case \(\gamma (n) = P(n)\) a univariate polynomial with \(\deg P \ge 2\);

To prove case (ii) of Theorem 1 in the case \(\gamma (n) = (n,P(n))\) with P a univariate polynomial with \(\deg P \ge 2\).

To prove case (iii) of Theorem 1 in the case \(\gamma (n) = (n,n^2,n^3)\).
2.2 Estimates Using HausdorffYoung
The operators \({\mathcal {A}}_N\) are convolution operators; in particular, if we let
we have explicitly \({\mathcal {A}}_N f = f *\mu _N\). When p is of the form \(\frac{4s}{2s+1}\) (for \(s \ge 1/2\)), so that \(1/p  1/{p'} = 1/(2s)\), one can then argue as follows:
where we have used the HausdorffYoung inequality twice.^{Footnote 4} A bound for \(\Vert \widehat{\mu _N}\Vert _{L^{2s}({\mathbb {T}}^d)}\) will then result in an \(\ell ^p\)improving inequality of the form (1). By a standard orthogonality calculation one notices that when s is integer \(N^{2s} \Vert \widehat{\mu _N}\Vert _{L^{2s}({\mathbb {T}}^d)}^{2s}\) coincides with the number of solutions with \(n_j,m_j\) in [1, N] to the system of d diophantine equations
a bound for such number will then result in an \(\ell ^p\)improving inequality as well.
When \(\gamma = \varGamma \) the moment curve, the system of equations (7) is the socalled Vinogradov diophantine system and it was shown in [2, 21] that the number of solutions is \(\lesssim _{\epsilon } N^{\epsilon }(N^s + N^{2s  D_{\varGamma }})\). Picking the critical value \(s = D_{\varGamma }\) one obtains by the above argument, with \(p_0 = 4D_{\varGamma } / (2D_{\varGamma } + 1)\) as before,
which can be verified to be optimal. This is how the \(\ell ^p\)improving result in [6] was obtained.
We point out however that the argument can actually yield a little more than the above: indeed, by using HausdorffYoung only once, we have for \(q = 2s/(s1)\)
when \(\gamma =\varGamma \) and \(s=D_{\varGamma }\) we obtain thus
which implies estimate (8) by interpolation with its own dual. It can be verified that estimate (9) is not only optimal but it is on the critical line \(D/q = (D1)/p\) (see (3) and Fig. 1). This allows one to interpolate also with the trivial \(\ell ^p \rightarrow \ell ^\infty \) and \(\ell ^1 \rightarrow \ell ^q\) inequalities, thus proving Conjecture 1 not only in a subset of the supercritical regime but also in a subset of the subcritical one. If one further interpolates these inequalities with (6) of Theorem 1 (when \(d\ge 3\)) the range obtained is as in Figs. 2 and 3.
It is conjectured from standard numbertheoretical arguments that for a generic diophantine system of the form (7) the number of solutions in \([1,N]^{2s}\) is controlled by the generalisation of the Vinogradov bound above, that is
It is easily verified that if (10) holds for a certain \(\gamma , s\) then the \(\ell ^2 \rightarrow \ell ^{2s/(s1)}\) bound obtained by the argument above is optimal (although it will only be critical if \(s = D_{\gamma }\)).
We record in Table 1 below a list of optimal estimates for a few examples, obtained from known sharp numbertheory estimates for \(\Vert \widehat{\mu _N}\Vert _{L^{2s}({\mathbb {T}}^d)}\) (some in the form (10), as indicated).
Remark 6
It is clear that such simple HausdorffYoung arguments can never give the critical endpoint of Conjecture 1, even when using the strongest numbertheory estimates available.
3 Arithmetic Method of Refinements for Discrete Curves
As anticipated, our plan is to adapt the method of refinements of Christ [3] to our arithmetic setting and apply it to inequalities of the form (1) (or rather, their restricted weaktype versions). In this section we will develop the setup and use it to reduce the proof of Theorem 1 to certain numbertheory estimates for systems of diophantine equations. We will find it more convenient to work with the unnormalised averages from now on, so we define
\({{\mathscr {A}}_N}^{*}\) will denote the adjoint of \({\mathscr {A}}_N\) instead.
3.1 Combinatorial Reformulation of the Estimates
In order to apply the method of refinements to our problem we need to first reformulate the desired restricted weaktype estimates in an equivalent combinatorial fashion as follows.
If we let E, F denote finite subsets of \({\mathbb {Z}}^d\), the restricted weaktype version of the conjectured inequality (2) is
If we introduce the quantities
and let \(\frac{1}{r} := \frac{1}{p}  \frac{1}{q}\), we see after some calculations that the restricted weaktype inequality above in the supercritical regime is equivalently rewritten as
If the exponents p, q are in the subcritical regime instead, then the (conjectured) restricted weaktype inequality is equivalently rewritten as
If we take \(p = 2  \frac{1}{k+1}\) for some \(k < D\) and \(q = p'\) the latter becomes in particular
(which is in the subcritical regime if \(k< D1\) and is the critical endpoint estimate if \(k = D1\)). The estimates in Theorem 1 are precisely of this form.
Remark 7
Observe that since we are considering only characteristic functions we have always \(\alpha ,\beta \le N\).
This reformulation of the desired inequalities has turned our task into that of proving suitable lower bounds for E in terms of \(\alpha ,\beta , N\). The machinery developed in this section will serve to achieve precisely this.
3.2 Refinements of the Sets E, F
The lemma presented in this subsection is wellknown and a number of presentations exist in the literature—it first appeared in [3].
Let E, F be finite subsets of \({\mathbb {Z}}^d\) and \(\alpha ,\beta \) be as defined in Sect. 3.1. Observe that if we let
then we have
Indeed, one sees that
from which (12) follows at once. Notice that in particular we have that \(F_1 \ne \emptyset \). The observation extends easily to show that we can define iteratively (with \(E_0 = E, F_0 = F\))
for implicit constants decreasing sufficiently fast and obtain a sequence of sets as per the following lemma.
Lemma 3
Given E, F finite subsets of \({\mathbb {Z}}^d\), there exists a sequence of subsets \(E_j \subseteq E_0 := E\) and \(F_j \subseteq F_0:= F\) such that we have for every j

(i)
\(F_j \subseteq F_{j1}\);

(ii)
for every \({\varvec{x}} \in F_j\) we have \({\mathscr {A}}_N {\varvec{1}}_{E_{j1}}({\varvec{x}}) > rsim _j \alpha \);

(iii)
\(\langle {\mathscr {A}}_N {\varvec{1}}_{E_{j1}}, {\varvec{1}}_{F_j}\rangle > rsim _j \langle {\mathscr {A}}_N {\varvec{1}}_{E}, {\varvec{1}}_{F} \rangle \);

(iv)
\(E_j \subseteq E_{j1}\);

(v)
for every \({\varvec{y}} \in E_j\) we have \({{\mathscr {A}}_N}^{*}{\varvec{1}}_{F_j}({\varvec{y}}) > rsim _j \beta \);

(vi)
\(\langle {{\mathscr {A}}_N}^{*} {\varvec{1}}_{F_j}, {\varvec{1}}_{E_j}\rangle > rsim _j \langle {\mathscr {A}}_N {\varvec{1}}_{E}, {\varvec{1}}_{F} \rangle \).
We omit the easy proof—see [3] for details.
Remark 8
Ultimately, properties (iii) and (vi) are only needed to show that the sets \(E_j, F_j\) are not empty.
3.3 Flowing Back and Forth
Given the refined sets produced by Lemma 3, we consider now the parameters in which we are averaging. In the following, the parameter k is fixed (ultimately it will only take the values \(k=1,2,3\) for us).
If \({\varvec{y}} \in E_{k}\) we have by (v) of Lemma 3 that \({{\mathscr {A}}_N}^{*}{\varvec{1}}_{F_k}({\varvec{y}}) > rsim _j \beta \); but notice that
with
thus (v) is a statement about the cardinality of the set of parameters \(B^{{\varvec{y}}} \subseteq [1,N]\)—namely the lower bound \(B^{{\varvec{y}}} > rsim \beta \). Now if \({\varvec{y}}\in E_{k}\) and \(n_1\in B^{{\varvec{y}}}\) as above we have \({\varvec{y}}+\gamma (n_1) \in F_k\) and therefore we have by (ii) of Lemma 3 that \({\mathscr {A}}_N {\varvec{1}}_{E_{k1}}({\varvec{y}}+\gamma (n_1)) > rsim \alpha \); but again
with
so that (ii) is also a statement about the cardinality of the sets of parameters \(A^{{\varvec{y}}}_{n_1} \subseteq [1,N]\)—namely that \(A^{{\varvec{y}}}_{n_1} > rsim \alpha \) if \(n_1 \in B^{{\varvec{y}}}\).
We can clearly continue in this fashion and obtain a collection of slices
(each a subset of [1, N] and each parametrised by the previous ones, which results in somewhat cumbersome notation) where we have defined iteratively
By Lemma 3, the slices have the fundamental properties that if one takes the chain of parameters \(n_1, m_1, \ldots , n_k, m_k\) such that
then we have lower bounds
for all j and moreover we have
In particular, we see that we are “flowing” between E and F with each step.
3.4 Tower of Parameters
The parameter slices defined in Sect. 3.3 assemble naturally into the structure described below that is at the heart of the method of refinements. We will however prune one of the slices before assembling them, in order to enforce a certain crucial condition.
Let k be as in the previous subsection and assume that \(\alpha \gg 1\), depending on certain parameters introduced below.^{Footnote 5} We leave all slices undisturbed, safe for the last one, which we redefine to be
Notice that in the set we are removing the variables \(n_1, m_1, \ldots , n_k\) are fixed and thus the set consists of the common zeroes of certain univariate polynomials. The set has thus cardinality \(\lesssim _{\gamma } 1\) and since \(\alpha \gg 1\) we still have
We will now define iteratively the set \({\mathcal {T}} \subseteq [1,N]^{2k}\) of sequences of parameters \((n_1,m_1,\) \(\ldots ,n_k,m_k)\) obtained by flowing back and forth as per Sect. 3.3. The set \({\mathcal {T}}\) is called the tower of parameters and is defined as follows: let \(S_1 := B^{{\varvec{y}}}\) and \(T_1:= \bigcup _{n_1\in S_1} \{n_1\}\times A^{{\varvec{y}}}_{n_1}\), and let iteratively
except for \(T_k\) where in place of \(A^{{\varvec{y}}}_{{\varvec{s}}}\) we use the pruned slice \({\widetilde{A}}^{{\varvec{y}}}_{{\varvec{s}}}\) instead. Then the tower of parameters is simply \({\mathcal {T}} := T_{k}\). The elements \((n_1,m_1, \ldots , n_k,m_k)\) of \({\mathcal {T}}\) are chains that satisfy (13). We will say that \({\mathcal {T}}\) has been constructed by flowing k times in each direction.
Remark 9
The pruning has had the effect of enforcing the condition that wherever we follow the flow starting at \({\varvec{y}} \in E_k\) and given by \((n_1,m_1, \ldots , n_k,m_k)\) we never end up back at point \({\varvec{y}}\). In other words, if \((n_1,m_1, \ldots , n_k,m_k) \in {\mathcal {T}}\) we have
Observe that we can provide a lower bound for the cardinality of \({\mathcal {T}}\) in terms of \(\alpha ,\beta \): indeed, we have
iterating all the way to \(S_1 = B^{{\varvec{y}}}\), we obtain
3.5 Lower Bounds for E and Proof of Theorem 1
With \({\varvec{y}}\) as above, we now let \(\varPsi \) denote the map
The definition of the slices and of \({\mathcal {T}}\) show that \(\varPsi ({\mathcal {T}}) \subseteq E\) by construction, and therefore we have quite simply the lower bound
This lower bound is of limited use in this form as in general it is not easy to compute \(\varPsi ({\mathcal {T}})\). One can however estimate it using the multiplicity of the map \(\varPsi \) over \({\mathcal {T}}\) in the following way. Given a mapping \(\Phi : [1,N]^{s} \rightarrow {\mathbb {Z}}^d\) and a set \(S \subseteq [1,N]^{s}\) we define the multiplicity of \(\Phi \) over S to be
If we let \({\mathcal {T}}_{{\varvec{z}}} := \varPsi ^{1}(\{{\varvec{z}}\}) \cap {\mathcal {T}}\) for convenience, we then have
so that we always have the lower bound
Remark 10
Observe that for \(\varPsi \) as given by (15) the quantity \(m(\varPsi ;{\mathcal {T}})\) is the maximum number of solutions \((n_1, m_1, \ldots , n_k, m_k) \in {\mathcal {T}}\) to the system of diophantine equations given by
as \({\varvec{z}}\) ranges over \(\varPsi ({\mathcal {T}})\) – and by construction of \({\mathcal {T}}\), \({\varvec{z}} \ne {\varvec{y}}\). We then see that we are dealing with an inhomogeneous version of (7), and therefore \(m(\varPsi ;{\mathcal {T}})\) should be compared with the quantity \(J_{k,\gamma }(N)\) as defined in (10).
Combining (16) and (14) one has therefore
which since \(\alpha \le N\) implies
Comparing this with the combinatorial reformulation (11) one sees that to conclude an optimal subcritical estimate on the \(q = p'\) line it is sufficient to show that we can construct a tower \({\mathcal {T}}\) (obtained by flowing k times in each direction) such that \(m(\varPsi ;{\mathcal {T}}) \lesssim _\epsilon N^{k1 + \epsilon }\) can be shown to hold. This is precisely the strategy that we adopt in the proof of Theorem 1.
Remark 11
Comparing once again the quantities \(m(\varPsi ;{\mathcal {T}})\) with \(J_{k,\gamma }\), we stress the fact that we are looking for an estimate of the form \(m(\varPsi ;{\mathcal {T}}) \lesssim _\epsilon N^{k1 + \epsilon }\), whereas, for the corresponding homogeneous system (7), estimate (10) in this regime takes instead the form \(J_{k,\gamma }(N) \lesssim _{\epsilon } N^{k + \epsilon }\) (and this bound clearly cannot be improved because of the presence of diagonal solutions to (7)).
Proof (of Theorem 1)
By (11) of Sect. 3.1 the inequalities (4), (5), (6) of Theorem 1 can be reformulated as, respectively,
We claim that we can always assume that \(\alpha , \beta \gg 1\). Indeed, if \(\alpha \lesssim 1\) or \(\beta \lesssim 1\) we have \(\alpha ^k \beta ^k \lesssim N^k\) for any k; but since we see easily^{Footnote 6} that \(\alpha \lesssim E\), all the desired inequalities would immediately follow.
Assuming then \(\alpha , \beta \gg 1\), as anticipated above we proceed to prove the sharpened^{Footnote 7} inequalities
from which the desired ones follow immediately since \(\alpha \le N\).
We prove these inequalities all at once, conditionally on Lemmata 4, 5, 6 which are proven in Sect. 4. Let \(k\in \{1,2,3\}\) and recall that by Sect. 2.1 we can assume \(\gamma (n) = P(n)\) with \(\deg P \ge 2\) when \(k=1\), \(\gamma (n) = (n, P(n))\) when \(k=2\) and \(\gamma (n)=(n,n^2,n^3)\) when \(k=3\). For each k build the tower \({\mathcal {T}}\) as per Sect. 3.4 by flowing k times in each direction, so that by (14) and (16) we have
with \(\varPsi \) given by (15). By construction the tower \({\mathcal {T}}\) is contained in the set
(see Remark 9) and therefore \(m(\varPsi ;{\mathcal {T}})\) is bounded by the maximum number of solutions in \([1,N]^{2k}\) to
when \({\mathfrak {z}} \ne 0\) (see Remark 10). By substituting for \(\gamma \) the respective special forms for each k we see that

When \(k=1\), \(m(\varPsi ;{\mathcal {T}}) \lesssim _\epsilon N^{\epsilon }\) when \(d=1\) and \(m(\varPsi ;{\mathcal {T}}) \lesssim 1\) when \(d\ge 2\) by Lemma 4 of Sect. 4 and Remark 12;

When \(k=2\), \(m(\varPsi ;{\mathcal {T}}) \lesssim _\epsilon N^{1 + \epsilon }\) by Lemma 5 of Sect. 4;

When \(k=3\), \(m(\varPsi ;{\mathcal {T}}) \lesssim _\epsilon N^{2 + \epsilon }\) by Lemma 6 of Sect. 4.
The proof is thus concluded, modulo the proofs of the lemmata which are presented in the next section. \(\square \)
4 Bounds for the Number of Solutions to Diophantine Systems of Equations
In this last section we conclude the proof of Theorem 1 by proving the lemmata for the number of solutions of the relative diophantine equations employed above. Such lemmata are proven by elementary means, ultimately resting on the divisor bound; the proofs are inspired by the corresponding one in [9] by the second author and Wooley.
The lemmata are ordered by increasing number of equations and increasing number of variables. The proof of the first one already contains in essence the idea for all three proofs.
Lemma 4
For every \(\epsilon >0\) the following holds.
Let \(P \in {\mathbb {Z}}[X]\) with \(\deg P \ge 2\). The number of solutions \((n_1,m_1) \in [1,N]^2\) to
with \({\mathfrak {z}}_1\lesssim N^{\deg P}\) and \({\mathfrak {z}}_1 \ne 0\) is bounded by \(\lesssim _{\epsilon } N^{\epsilon }\).
Proof
Observe that since P is not linear it must be that for some nonvanishing nonconstant \(Q \in {\mathbb {Z}}[X,Y]\) we have identically
moreover, for any n the univariate polynomial Q(n, Y) is nonconstant. But the polynomial identity implies that any solution to (17) is also a solution to one of the systems of diophantine equations
with \(d_1 d_2 = {\mathfrak {z}}_1\). Since there are only \(\lesssim _\epsilon N^{\epsilon }\) such factorisations of \({\mathfrak {z}}_1 \ne 0\) (by the divisor bound) and since each distinct such system has clearly at most \(\lesssim _{\deg P} 1\) solutions (since \(Q(n_1,Y)\) is nonconstant), we conclude that (17) has at most \(\lesssim _{\epsilon ,\gamma } N^{\epsilon }\) solutions. \(\square \)
Remark 12
When \(d \ge 2\) in (4), we have to consider instead the system
obtained from the first two components of \(\gamma \) (where \({\mathfrak {z}}_1, {\mathfrak {z}}_2\) are not both simultaneously zero). This system can only have at most \(\lesssim _\gamma 1\) solutions, thanks to Bezout’s theorem (indeed, notice that the polynomials \(P_j(n)  P_j(m)  {\mathfrak {z}}_j\) with \(j=1,2\) cannot have a nontrivial common factor, thanks to the fact that \(({\mathfrak {z}}_1,{\mathfrak {z}}_2) \ne (0,0)\)). Thus when \(d\ge 2\) we obtain (4) without \(\epsilon \)losses.
The second lemma deals with a system of two diophantine equations in four variables in which the first equation is linear.
Lemma 5
For every \(\epsilon >0\) the following holds.
Let \(P \in {\mathbb {Z}}[X]\) with \(\deg P \ge 2\). The number of solutions \((n_1, m_1, n_2, m_2) \in [1,N]^4\) to
with \({\mathfrak {z}}_1 \lesssim N, {\mathfrak {z}}_2\lesssim N^{\deg P}\) and \({\mathfrak {z}}_1,{\mathfrak {z}}_2\) not both simultaneously zero is bounded by \(\lesssim _{\epsilon } N^{1 + \epsilon }\).
The proof of Lemma 5 rests on the fact that if P is nonlinear then there is a nonvanishing polynomial \(Q \in {\mathbb {Z}}[X,Y,Z]\) such that
identically (and moreover, for any n, m the univariate polynomial Q(n, m, Z) does not vanish identically). The resulting proof is essentially a simpler version of the proof of the next lemma, and therefore we omit the details and direct the reader there.
The final lemma deals with a special system of three diophantine equations in six variables—effectively an inhomogeneous version of one of the socalled Vinogradov systems.
Lemma 6
For every \(\epsilon > 0\), the following holds.
The number of solutions \((n_1, m_1, n_2, m_2, n_3, m_3) \in [1,N]^6\) to the diophantine system of equations
with \({\mathfrak {z}}_1 \lesssim N, {\mathfrak {z}}_2 \lesssim N^2, {\mathfrak {z}}_3 \lesssim N^3\) and \({\mathfrak {z}}_1, {\mathfrak {z}}_2, {\mathfrak {z}}_3\) not all simultaneously zero is bounded by \(\lesssim _\epsilon N^{2+\epsilon }\).
Proof
For solutions of the type we want, the quantity \(u := n_1  m_1 + n_2\) can take at most \(\lesssim N\) values. Fix then such a value \(u \lesssim N\) and observe that using the polynomial identities (particular cases of (18))
we can rewrite system (19) as
We stress that if \((n_1, m_1, n_2, m_2, n_3, m_3) \in [N,N]^6\) is a solution to (19) then for some value of \(u\lesssim N\) it is a solution to (20) too.
Multiplying by 2 and using the quadratic equation, we see that we can rewrite the cubic equation above as
and rearranging
Letting \(t = m_2 + m_3\) we observe that, once t is also fixed, if
then since \(M \lesssim N^3\) this number can be factorised as \(M = 6 \,d_1 d_2 d_3\) into at most \(\lesssim _\epsilon N^\epsilon \) ways, by the divisor bound. Solutions to (19) are therefore solutions to one of the systems
obtained by choosing u, t and factorising M. This system is not linearly independent (it has rank 5) but it contains enough equations to fix the values of, say, \(n_1,m_1,n_2\). By the quadratic equation of (20) we have then
If the righthand side of (22) is nonzero we can invoke the divisor bound again to factor it as \(2d_4 d_5\) and thus reduce to the system
which can have at most 1 solution (if any). If the righthand side of (22) is instead zero then it must be either \(m_2  n_3 =0\) or \(n_3  m_3 = 0\); either of them gives a wellposed system of linear equations and thus at most 1 solution. This analysis has thus shown that for values of u, t such that \(M \ne 0\) the system has at most \(\lesssim _\epsilon N^{2\epsilon }\) solutions; since \(u,t \lesssim N\), we obtain from these situations a contribution of at most \(\lesssim _\epsilon N^{2+2\epsilon }\) solutions to (19).
The case in which \(M = 0\) for some choice of parameters has to be dealt with separately, that which involves the gruelling analysis of several subcases (the assumption that \({\mathfrak {z}}_1,{\mathfrak {z}}_2,{\mathfrak {z}}_3\) are not all simultaneously zero is crucial here). However, to show that these cases contribute at most some more \(\lesssim _\epsilon N^{2+\epsilon }\) solutions to (19) altogether, the very same arguments used above (or variations thereof) suffice; hence we will discuss them quite briefly. Let \(A := u^2  {\mathfrak {z}}_2  (u{\mathfrak {z}}_1)^2\) and \(B:= {\mathfrak {z}}_3 + (u{\mathfrak {z}}_1)^3  u^3\), so that we can rewrite \(M = 3tA + B\).

(i)
If \(A \ne 0\) there can be at most a single value of t such that \(M=0\) (saving us a factor of \(\lesssim N\)); one of the linear factors in the lefthand side of (21) must therefore be zero, that which yields an additional linear equation. Combining all the linear equations obtained so far with the quadratic equation of (20) and using again the divisorbound, one accumulates at most \(\lesssim _{\epsilon } N^{2+\epsilon }\) additional solutions (with the second factor of \(\lesssim N\) arising from the need to choose one solution to an underdetermined linear subsystem).

(ii)
If \(A = 0\) notice that it must be \(2u {\mathfrak {z}}_1 = {\mathfrak {z}}_2 + {\mathfrak {z}}_1^2\). Moreover, since we are assuming \(M=0\), it must be \(B=0\) too. There are here two further subcases to consider, according to whether \({\mathfrak {z}}_1 \ne 0\) or \({\mathfrak {z}}_1 = 0\). If \({\mathfrak {z}}_1 \ne 0\) then u is fixed by the above identity so that we do not need to choose it (this saves us a factor of \(\lesssim N\)). As before, one of the factors at the lefthand side of (21) must be zero, that which yields a further linear equation. If this equation is \(n_1  m_1 =0\) or \(m_1  n_2 = 0\) then it is easy to show that there can be at most \(\lesssim N^2\) solutions (by taking into account the quadratic equation of (20)). If the equation is instead \(n_1 + n_2  m_2  m_3 = 0\), we fix a value of \(t = m_2 + m_3\) with \(t\lesssim N\) as before and observe that we have in total two independent linear equations in \(n_1, n_2, m_1\). Fixing a solution \((n_1,n_2,m_1)\) to these (of which there are at most \(\lesssim N\)), the remaining equations give the system
$$\begin{aligned} {\left\{ \begin{array}{ll} m_2  n_3 + m_3 &{}= u  {\mathfrak {z}}_1, \\ m_2 + m_3 &{}= t, \\ 2(m_2  n_3)(n_3  m_3) &{} = 2(n_1  m_1)(m_1  n_2), \end{array}\right. } \end{aligned}$$where the righthand sides are now all known. This system can be seen to have at most two solutions, and therefore the \(A=0, {\mathfrak {z}}_1 \ne 0\) case contributes at most \(\lesssim N^{2}\) solutions again. In the remaining case in which \(A=0, {\mathfrak {z}}_1 = 0\), we see that \(A = 0\) forces \({\mathfrak {z}}_2= 0\) and \(B=0\) forces \({\mathfrak {z}}_3 = 0\) too. This is impossible by assumption and thus this case does not contribute any further solutions.
The proof of the Lemma is thus concluded. \(\square \)
In the above argument we rely in an essential way on a polynomial identity that is special to degree 3. It looks therefore unlikely that such simple divisorbound arguments could handle higher dimensional cases, even for the moment curve.
Notes
This example is simply the dual to the Dirac delta one.
We take the leading coefficient to be positive, for convenience.
Once for the Fourier transform and once for its inverse.
We will see in the proof of Theorem 1 that this condition can always be enforced.
Ultimately a consequence of the fact that \(\gamma \) is essentially injective.
Notice indeed that the inequalities as written are false in general, without the additional \(\alpha , \beta \gg 1\) assumption.
References
Anderson, T.C.: Quantitative \(l^p\)improving for discrete spherical averages along the primes. J. Fourier Anal. Appl. 26(2), 12 (2020). (Id/No 32)
Bourgain, J., Demeter, C., Guth, L.: Proof of the main conjecture in Vinogradov’s Mean Value Theorem for degrees higher than three. Ann. Math. 184(2), 633–682 (2016)
Christ, M.: Convolution, curvature, and combinatorics: a case study. Int. Math. Res. Notices 1998(19), 1033–1048 (1998). (01)
Dasu, S., Demeter, C., Langowski, B.: Sharp \(\ell ^p\)improving estimates for the discrete paraboloid. J. Fourier Anal. Appl. 27(1), 3 (2021)
Dendrinos, S., Laghi, N., Wright, J.: Universal \(L^p\) improving for averages along polynomial curves in low dimensions. J. Funct. Anal. 257(5), 1355–1378 (2009)
Han, R., Kovač, V., Lacey, M.T., Madrid, J., Yang, F.: Improving estimates for discrete polynomial averages. J. Fourier Anal. Appl. 26(3), 11 (2020). (Id/No 42)
Han, R., Lacey, M.T., Yang, F.: Averages along the square integers: \(\ell ^p\) improving and sparse inequalities. arXiv:1907.05734 (2019)
Hughes, K.: \(\ell ^p\)improving for discrete spherical averages. Ann. Henri Lebesgue 3, 959–980 (2020)
Hughes, K., Wooley, T.D.: Discrete restriction for \((x,x^3)\) and related topics. arXiv:1911.12262 (2019)
Ionescu, A.D., Wainger, S.: \(L^p\) boundedness of discrete singular Radon transforms. J. Am. Math. Soc. 19(2), 357–383 (2006)
Kesler, R., Lacey, M.T.: \(\ell ^p\)improving inequalities for discrete spherical averages. Anal. Math. 46(1), 85–95 (2020)
Kim, J.: On discrete fractional integral operators and related Diophantine equations. Math. Res. Lett. 22(3), 841–857 (2015)
Oberlin, D.M.: Two discrete fractional integrals. Math. Res. Lett. 8(1–2), 1–6 (2001)
Pierce, L.B.: On discrete fractional integral operators and mean values of Weyl sums. Bull. Lond. Math. Soc. 43(3), 597–612 (2011)
Pierce, L.B.: Discrete fractional Radon transforms and quadratic forms. Duke Math. J. 161(1), 69–106 (2012)
Stein, E.M., Wainger, S.: Discrete analogues in harmonic analysis. II: fractional integration. J. Anal. Math. 80, 335–355 (2000)
Stein, E.M., Wainger, S.: Two discrete fractional integral operators revisited. J. Anal. Math. 87, 451–479 (2002)
Stovall, B.: Endpoint \(L^p \rightarrow L^q\) bounds for integration along certain polynomial curves. J. Funct. Anal. 259(12), 3205–3229 (2010)
Vaughan, R.: On Waring’s problem for cubes. Journal für die reine und angewandte Mathematik 365, 122–170 (1986)
Wooley, T.D.: Mean value estimates for odd cubic Weyl sums. Bull. Lond. Math. Soc. 47(6), 946–957 (2015)
Wooley, T.D.: The cubic case of the main conjecture in Vinogradov’s mean value theorem. Adv. Math. 294, 532–561 (2016)
Wooley, T.D.: Nested efficient congruencing and relatives of Vinogradov’s mean value theorem. Proc. Lond. Math. Soc. 118(4), 942–1016 (2019)
Funding
Open Access funding provided by the IReL Consortium
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Rodolfo H. Torres.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Dendrinos, S., Hughes, K. & Vitturi, M. Some Subcritical Estimates for the \(\ell ^p\)Improving Problem for Discrete Curves. J Fourier Anal Appl 28, 69 (2022). https://doi.org/10.1007/s0004102209958y
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s0004102209958y