SOME SHARP INEQUALITIES OF MIZOHATA–TAKEUCHI-TYPE

. Let Σ be a strictly convex, compact patch of a C 2 hypersurface in R n , with non-vanishing Gaussian curvature and surface measure dσ induced by the Lebesgue measure in R n . The Mizohata–Takeuchi conjecture states that


Introduction
Let n ě 2, and henceforth fix Σ to be a strictly convex, compact patch of a C 2 hypersurface in R n with non-vanishing Gaussian curvature; a prototypical example is the sphere S n´1 .Let dσ be the surface measure on Σ, induced by the Lebesgue measure in R n .The Fourier extension operator associated to Σ is defined by g Þ Ñ y gdσ where y gdσpxq :" ˆe2πixx,ξy gpξqdσpξq for x P R n .
The Fourier restriction or extension conjecture [St78], which lies at the heart of harmonic analysis, aims to understand the extension operator by determining its L p Ñ L q mapping properties.However, while Fourier extension estimates provide information on the size of the level sets of | y gdσ|, they do not reveal much about their shape.The Mizohata-Takeuchi conjecture aims to shed light in this direction, specifically regarding the clustering of level sets along lines.The conjecture arose in the study of dispersive PDE; see [Mi85] for some background.In that setting, hypersurfaces such as the paraboloid and the cone are particularly relevant.Although the conjecture stated below arose first in the context of hypersurfaces with non-vanishing Gaussian curvature, it is nevertheless expected that it should hold for arbitrary sufficiently smooth hypersurfaces.
Here, X denotes the X-ray transform, so that where the supremum is taken over all lines ℓ in R n .By the compactness of Σ and uncertainty principle considerations, the Mizohata-Takeuchi conjecture is equivalent to ˆ|y gdσ| 2 w ď C sup where the supremum is taken over all 1-neighbourhoods T of doubly-infinite lines in R n .In particular we may -and indeed we shall -assume that w is roughly constant at scale 1.
The Mizohata-Takeuchi conjecture is open in all dimensions, including n " 2 (where the Fourier extension conjecture has been resolved).1 .It would directly follow from the truth of the stronger conjecture a formulation of which in the related context of the disc multipliers is due to Stein [St78]; here, N pξq denotes the normal to Σ at ξ.
When Σ " S n´1 and the weight is radial, the Mizohata-Takeuchi conjecture is known to hold (see [CRS92,BRV97,CS97a,CS97b,CSV07]), and the Stein-like conjecture in the same setting is a trivial consequence of this.When the weight is constant on parallel hyperplanes and the hypersurface is arbitrary, both conjectures are true.This can be seen by using an affine change of variables to reduce to the case of horizontal hyperplanes and a hypersurface parametrised as pt, γptqq for t P R n´1 , and in this case Plancherel's theorem in R n´1 gives the result directly.When Σ " S 1 and the weight is a measure supported on S 1 , both conjectures are also known [BCSV06].Little is known beyond these three cases.
One way to measure partial progress on the Mizohata-Takeuchi conjecture is to consider inequalities of the form where B R is the ball of radius R centred at 0, and to attempt to establish such inequalities with the exponent α as small as possible.By the Agmon-Hörmander trace inequality and the local constancy of w at scale 1 we have in all dimensions n ě 2, and it is known that ˆBR | y gdσ| 2 w ď CR 1{2 }Xw} 8 ˆ|g| 2 for n " 2. (3) The latter inequality can be traced back to works of Bourgain [B94], Erdogan [E04] and also Carbery and Seeger [CS00] -see [BBC08, Section 4] for further details of inequalities which can be found in the literature and which have (3) as a consequence.
We give a more direct proof of this in Section 3 below.In more recent developments, it is a consequence of the main result in Du and Zhang [DZ19] that one may take any α ą pn ´1q{n (in fact, with the significantly smaller functional sup x, 1ďrďR wpBpx, rqq{r n´1 in place of }Xw} 8 ) for arbitrary n. (See also Shayya [Sh21] and Du et al [DGO `21], who gave alternative arguments when n " 3 for α ą 6{7 and α ą 2{3 respectively.)In Theorem 1.2 below we show that one may take any α ą pn ´1q{pn `1q in all dimensions.
See also [BN21,BNS22] for a tomographic approach to the Mizohata-Takeuchi conjecture, [Sh22] for related weighted L 2 Ñ L 4 estimates on the extension operator, and [GWZ22] for variants of the conjecture when the supports of g and w are respectively contained in and equal to neighbourhoods of algebraic varieties.
Notation.The control we shall obtain on ´BR | y gdσ| 2 w will be accompanied by multiplicative losses of the form C ǫ R ǫ for any ǫ ą 0. In order to facilitate expression of this, we adopt the following notation.
For any non-negative quantities A and B (which may depend on R), A À B means that A ď cB for some constant c that depends only on Σ and the ambient dimension.Likewise, A Á B means that B À A, while A " B means that A À B and A Á B. With R ě 1 fixed, A AE B means that, for every ǫ ą 0, there exists a constant C ǫ , depending only on ǫ, Σ and the ambient dimension, such that For a weight w on R n and A Ă R n , we denote by wpAq the integral ´A w with respect to Lebesgue measure on R n .
For n ě 2, an n-dimensional ball of radius r will be referred to as an r-ball.A tube of length r and cross section an pn ´1q-dimensional ball of radius r 1{2 will be referred to as an r 1{2 -tube.With R ě 1 fixed and 1 ď r ď R, we let T r be the set of r 1{2 -tubes intersecting B R .
For a line ℓ in R n and g P L 2 pΣq, we write ℓ K supp g if the direction of ℓ is parallel to one of the normals to supp g Ă Σ.
For a tube T in R n , we write T K supp g if the central line of T is parallel to one of the normals to supp g Ă Σ.
Statement of results.In this paper, we present several L 2 -weighted inequalities for the Fourier extension operator which are related to the Mizohata-Takeuchi conjecture.To place our results in context, we first observe that the Stein-Tomas inequality } y gdσ} L 2pn`1q n´1 pR n q À }g} 2 together with Hölder's inequality implies that for all g and all non-negative w.The first Mizohata-Takeuchi-type estimates that we present give a significant improvement over this inequality, and follow from the refined Stein-Tomas-type estimate in [GIOW20].They are given in Theorem 1.2 below.The main inequality of this result, (4), is closely related to, but logically independent from, the Mizohata-Takeuchi conjecture, and it is sharp in the sense we discuss below the statement.Its consequence (5) is also sharp given the techniques that we employ; see [Gu22], the remarks at the end of this section and Section 7. Estimates which improve on Theorem 1.2 appear in Lemma 1.4 (for g with small support), as well as in Theorems 1.6 and 1.8 (for weights that are constant on slabs), and arise as consequences of Theorem 1.2.
Theorem 1.2.Let n ě 2. For every ǫ ą 0, there exists a positive constant C ǫ , which depends only on Σ and ǫ, such that and in particular for all R ě 1, g P L 2 pΣq and weights w : R n Ñ r0, `8q.
The second statement follows from the first upon noting that and using the approximate constancy of w at scale 1.
Remark 1.3.Inequality (4) of Theorem 1.2 is sharp in the following senses.Firstly, if the exponent r is such that (which, by duality, is equivalent to an L p ´Lqr 1 Fourier extension estimate) holds, then necessarily 1{qr 1 ď pn ´1q{pn `1qp 1 ; so the exponent pn `1q{2 appearing in (4) (in which p " q " 2) cannot be increased, irrespective of the size of the tubes T Ă B R .Secondly, fixing r " pn`1q{2 in (4), we cannot reduce the width of the tubes appearing to be significantly smaller than R 1{2 .These two assertions can both be seen by testing as usual on g the indicator function of an R ´1{2 -cap and w the indicator of the dual R 1{2 -tube.Moreover, we may not take ǫ " 0 in (4), and it is likely that when n " 2, we may be able to replace the R ǫ term by a power of log R; see Remark 4.3 below.
Theorem 1.2 will follow from the more precise Theorem 4.1, in which T R is replaced by the set of tubes featuring in the wave packet decomposition of g at scale R.
We now turn to our other results.Theorems 1.6 and 1.8 below are improvements of Theorem 1.2 for weights that exhibit a level of local constancy along slabs.In the extreme case where there is no such local constancy beyond on unit scale, both theorems reduce to Theorem 1.2.Theorem 1.6 involves slabs that are 'roughly parallel' to caps of Σ, while Theorem 1.8 addresses the general case.
Both theorems (and, in fact, the more precise Theorems 6.1 and 6.2) will follow from a strengthened version of Theorem 1.2 for functions g with small support (Lemma 1.4 below) which we will prove for all weights.
In order to state Theorems 1.6 and 1.8, we first establish some further notation, and introduce a quantity which is intermediate between the quantity occuring in Theorem 1.2 and a quantity more directly geared towards that occuring in the Mizohata-Takeuchi conjecture itself.This will involve considering an amalgam of 'running averages' of w at certain scales related to the level of constancy that we are assuming, which is measured by a parameter 1 ď ρ ď R which we now fix.Let E Ă Σ.
For each T R P T R such that T R K E, we cover T R by essentially disjoint tubes S ρ P T ρ which are parallel to and contained in T R .For w : R n Ñ r0, `8q and E Ă Σ we define , a quantity which can be expressed more geometrically as and thus is seen to increase as ρ gets smaller. 2 For ρ " 1, is the quantity appearing on the right-hand side of Theorem 1.2, controlling the L 2 pEq Ñ L 2 pwq-norm of the extension operator.Theorem 1.2 fails in general for g supported on E if the above quantity is replaced by the smaller (and in fact by A ρ,R,E pwq for any ρ " 1, as can be seen by taking g to be the indicator function of a 1-cap and w the indicator function of the unit ball).In the results which follow, however, we shall show that under certain auxiliary conditions (g being 2 By Hölder's inequality we have, for λ ě 1 and a tessellation of an S λρ by Sρ's, supported on a small cap, or the weight being the indicator function of a union of small slabs), Theorem 1.2 nevertheless does hold for g P L 2 pEq if we replace the quantity A 1,R,E pwq with A ρ,R,E pwq for an appropriate choice of ρ.To further compare these two quantities, observe that which becomes when w is an indicator function (which we may well assume for our purposes).
In situations in which we are able to bound the L 2 pEq Ñ L 2 pwq-norm of the extension operator by A ρ,R,E pwq, inequality (6) leads to improved bounds in terms of }Xw} 8 ; in particular, to a gain on Theorem 1.2 by a factor ρ ´n´1 n`1 .Indeed, by (6), A situation such as this arises when g is supported in a ρ ´1{2 -cap of Σ (that is, the intersection of Σ with a ρ ´1{2 -ball), and is summarised in Lemma 1.4 below.The lemma will in turn be used in conjunction with a decoupling argument to derive Theorems 1.6 and 1.8 for all functions g and restricted classes of weights.Note that, in Lemma 1.4 below, the subscript τ on g τ is not strictly needed, but we retain it to emphasise its support.
Lemma 1.4.(Small caps) For every ǫ ą 0, there exists C ǫ ą 0 such that for all weights w : R n Ñ r0, `8q, whenever 1 ď ρ ď R, τ is a ρ ´1{2 -cap of Σ and g τ P L 2 pB n´1 q is supported in τ , we have and therefore also In order to state Theorems 1.6 and 1.8, we need to make precise what we mean by a slab, and by a slab being 'roughly parallel' to caps of Σ.
Definition 1.5.Fix R ě 1, 1 ď ρ ď R and 0 ď ν ď π{2.We define a ρ 1{2 -slab to be any affine copy of the 1-neighbourhood of an pn ´1q-dimensional ρ 1{2 -ball in R n .We say that a slab is ν-parallel to Σ if all normals to Σ create angle at least ν with the slab (that is, they create angle at most π 2 ´ν with the normal to the slab).
In this definition, ν is a measure of how large the angles are between the slab and the normals to Σ.The larger ν is, the larger these angles are, and the more 'parallel' Σ and the slab look.
With these preliminaries in hand, we are now ready to state our remaining results.In the first two results which follow, the implicit constant blows up as ν Ó 0. Thus, the interesting cases of these two results are those in which ν is large, i.e. when the slabs create large angles with the normals to Σ.If for instance Σ is roughly horizontal (i.e.all normals to Σ are within angle ď 1{100 from the vertical direction), then Theorem 1.6 gives meaningful results for slabs that are also nearly horizontal (e.g.creating angle ě 2{100 with the vertical direction).
Theorem 1.6.(Slabs ν-parallel to Σ) For every 0 ă ν ď π{2 and ǫ ą 0, there exists C ǫ,ν ą 0 such that the following hold.Let g P L 2 pΣq.For R ě 1 and R ǫ À ǫ ρ ď R, let w : R n Ñ r0, `8q be a weight of the form ř sPS c s χ s , where S is a set of disjoint ρ 1{2 -slabs ν-parallel to Σ. Then the inequality for some boundedly overlapping family T of ρ ´1{2 -caps τ of Σ, then It follows that Stein's stronger conjecture (1) (and thus the Mizohata-Takeuchi conjecture) holds under the conditions of Theorem 1.6 when the slabs involved are R 1{2 -slabs.
We single this out explicitly as a corollary.
Corollary 1.7.Let R ě 1 and suppose that w is a weight of the form ř sPS c s χ s , where S is a set of disjoint R 1{2 -slabs which are ν-parallel to Σ for some 0 ă ν ď π{2. Xwpℓqdσpξq.
for all g P L 2 pΣq.
Stein's conjecture continues to hold even when the slabs are curved.The precise formulation of this appears in Corollary 3.4, and it is proved using a direct method, which does not rely on Theorem 1.2, and which also featured in [Gu22].
A substitute result for Theorem 1.6 in the case where there is no restriction on ν (i.e. when the slabs can create arbitrarily small angles with normals to Σ) is as follows.
Theorem 1.8.(All slabs) For every ǫ ą 0, there exists C ǫ ą 0 such that the following hold.Let g P L 2 pΣq.For R ě 1 and R ǫ À ǫ ρ ď R, let w : R n Ñ r0, `8q be a weight of the form ř sPS c s χ s , where S is a set of disjoint ρ 1{2 -slabs with no conditions on their directions.Then the inequality for some boundedly overlapping family T of ρ ´1{4 -caps τ of Σ, then Corollary 1.9.(R 1{2 -slabs) Let R ě 1 and suppose that w is a weight of the form for all g P L 2 pΣq.

Sharpness of inequality (5) given the choice of technique.
During the recent talk [Gu22], which in fact partially inspired the work in this paper, Guth explained that, using only basic local constancy and local L 2 -orthogonality properties of the functions y gdσ -which are indeed the only properties that we exploit in proving Theorem 1.2 -one cannot prove the Mizohata-Takeuchi conjecture for B R with a loss better than This means that inequality (5) of Theorem 1.2, which establishes the conjecture with a loss of AE R n´1 n`1 , is essentially sharp given the techniques used.
Guth's argument is discussed in Section 7 for purposes of self-containment.
Acknowledgements.We would like to thank Larry Guth, whose inspiring talk [Gu22] partially motivated the work in this paper, for giving us permission to present here a version of his main argument from that talk.We also thank Jonathan Bennett for many illuminating conversations on this topic.The first author would like to acknowledge support from a Leverhulme Fellowship while part of this research was undertaken, and to thank David Beltrán and Bassam Shayya for some helpful conversations.The third author would like to acknowledge support from NSF Grant DMS-2238818 and DMS-2055544.

Preliminaries
For our purposes, we may assume that all normals to Σ have angle at most 1{100 from the vertical direction, and that the projection of Σ on the hyperplane R n´1 ˆt0u is contained in the unit ball B n´1 centred at 0. This convention allows us to assume that Σ has a parametrisation Σ " tΣpωq :" pω, hpωqq, for ω P B n´1 u for some h : B n´1 Ñ R, and to work with the operator E instead of y ¨dσ, where Egpxq :" ˆBn´1 e 2πixx,Σpωqy gpωqdω for x P R n .
From now on, for fixed Σ andǫ ą 0, we say that a quantity CpR, ǫq satisfies CpR, ǫq " RapDec ǫ pRq if for every N P N there exists a non-negative constant C N,ǫ such that uniformly in R ě 1 we have |CpR, ǫq| ď C N,ǫ R ´N .
Wave packet decomposition adapted to B R .Let ǫ ą 0 and 0 ă δ !ǫ.Fix R " 1, and cover B n´1 by boundedly overlapping balls θ of radius R ´1{2 .The set of these balls will be denoted by Θ R , and the balls will be referred to as R ´1{2 -caps.Let tψ θ u θPΘ R be a smooth partition of unity adapted to this cover.Thus, for any g : R n´1 Ñ C supported in B n´1 (and belonging to some suitable class).Now, cover R n´1 by boundedly overlapping balls of radius CR p1`δq{2 and centres on the lattice V R :" R p1`δq{2 Z n´1 .There exists a bump function η, adapted to the ball Bp0, R p1`δq{2 q, so that the bump functions η v :" ηp¨´vq, over v P V R , form a partition of unity for this cover.It follows that, with p ¨and q ¨denoting the pn ´1q-dimensional Fourier transform and its inverse respectively, q g " ÿ pθ,vq η v pψ θ gq q and thus g " ÿ pθ,vq p η v ˚pψ θ gq for all g as above.Finally, restrict each of the above summands to the corresponding cap θ.In particular, let where r ψ θ :" r ψpR 1{2 p¨´ω θ qq for some fixed smooth bump function r ψ (where ω θ is the centre of the cap θ), chosen so that r ψ θ is supported in θ and equals 1 on the cR 1{2 -neighbourhood of supp ψ θ , for some small c ą 0.
The g θ,v are the wave packets of g at scale R, while tg θ,v u pθ,vqPΘ R ˆVR constitutes the wave packet decomposition of g at this scale.Note that the decomposition is ǫdependent.
The function g is roughly the sum of its wave packets, all of which are roughly orthogonal.More precisely, note that the function p η v is rapidly decaying when |ω| " R ´p1`δq{2 , so }g θ,v ´p η v ˚pψ θ gq} 8 ď RapDec ǫ pRq}g} 2 for each pθ, vq, The functions g θ,v are almost orthogonal, in the sense that for every subset W of Θ R ˆVR .
It turns out that, for every pθ, vq, Eg θ,v is essentially supported in the R 1{2`δ -tube in B R whose central line passes through pv, 0q and has direction the normal N pθq :" pB ω hpω θ q, ´1q to the cap Σpθq.Indeed, it follows by a non-stationary phase argument that |Eg θ,v pxq| ď p1 `R´1{2 |x 1 `xn B ω hpω θ q ´v|q ´pn`1q RapDec ǫ pRq}g} 2 , @x P B R zT θ,v ; (wp3) a detailed analysis can be found in [Gu18].
Due to the curvature of Σ, different surface caps Σpθq have different normals, so there is a one-to-one correspondence between the pairs pθ, vq and the tubes T θ,v .We may thus denote each wave packet g θ,v by g T , for the tube T " T θ,v .
Henceforth, denote where the implicit multiplicative constant is sufficiently large.The above analysis ensures that while also that any function g θ supported on θ P Θ R satisfies Eg T pxq `RapDec ǫ pRq ˆ|g| 2 for all x P B R .
We will be referring to tg T u T PTǫpB R q as the wave packet decomposition of g adapted to B R .
Wave packet decompositions adapted to other balls.Let R ǫ À ǫ ρ ď R, and fix a ball B " Bpy, ρq.
From now on, we will be referring to tr g T u T PTǫpBρq as the wave packet decomposition of g adapted to B. Note that this decomposition is y-dependent.
By the above analysis, for every ρ ´1{2 -cap τ we have Er g T px ´yq `RapDec ǫ pRq ˆ|g| 2 for all x P B.
Each of the wave packets in the above summand is essentially constant in magnitude; this is made rigorous in the subsection below.
Roughly speaking, since g τ is supported in τ , the Fourier transform of Eg τ is supported in the ρ ´1-neighbourghood of Σpτ q.The uncertainty principle then dictates that |Eg τ | is essentially constant on each dual object, i.e. on each ρ 1{2 -tube pointing in the direction the normal to Σpτ q.
The above heuristic is made rigorous as follows.Let ωpτ q be the centre of τ .The patch of the tangent space to Σ at Σpω τ q that lives over τ is the set , where M τ :"
The Fourier transform of Eg τ | B R is essentially supported in a dilation of Spτ q.We are interested in a precise version of this for appropriate cut-offs of Eg τ .
In particular, let ζ : R n Ñ R with ζ " 1 on B 1 and ζ " 0 outside B 2 .For every ball There exists a constant C, depending only on the dimension n, such that the following holds.
Proposition 2.1.(Fourier localisation) Let R ǫ À ǫ ρ ď R, and let g τ be supported in a ρ ´1{2 -cap τ .Then, for every ρ-ball B in R n , for some G τ : R n Ñ C with the property that x G τ is supported in SpC ¨τ q.
The set C ¨τ is the Cρ ´1{2 -cap with the same centre as τ .The proof of Proposition 2.1 is exposed in full detail in [HI22].
When a function f is Fourier localised on a convex set (such as the slab Spτ q), then to some extent it can be treated as a constant function on objects dual to that convex set.
The precise statement appears in Lemmas 6.1 and 6.2 in [GWZ20].For our purposes, we only need the following corollary.
Proposition 2.2.(Local constancy) Let R ǫ À ǫ ρ ď R. Let τ be a ρ ´1{2 -cap, and consider a function f : R n Ñ C with p f Ă Spτ q.Then, every tube T in R n with direction N pτ q, radius ρ 1{2 and length ρ satisfies for some non-negative function ω T : R n Ñ R, with ω T " 1 on T and ωpxq " C N p1 ǹpx, T qq ´N for all x P R n and N P N, where npx, T q is the smallest n P N such that x P nT .In particular, if g P L 2 pB n´1 q and B is a ρ-ball intersecting T , then for all r T in T τ ǫ pBq intersecting T .
Proof.The first conclusion is a direct application of Lemmas 6.1 and 6.2 in [GWZ20].
We now in turn apply this conclusion to the function Eg τ ¨ζB , which is essentially Fourier supported in SpC ¨τ q by Proposition 2.1.Respecting the notation of Proposition 2.1, denote by T C the tube with the same central line as T , radius pC ´2ρq 1{2 and length C ´2ρ.We obtain Since w T pxq " w T C pxq for all x P R n , it holds that The result follows as, due to the decay properties of w T , 3. Some new cases where Mizohata-Takeuchi holds.
In this section, Σ :" tpω, hpωqq : ω P B n´1 u is a fixed hypersurface in R n , all of whose normals point within angle 1{100 from the vertical direction.There is no requirement that Σ have non-vanishing Gaussian curvature.
The truth of the Mizohata-Takeuchi conjecture for some simple weights (such as indicator functions of neighbourhoods of roughly horizontal hyperplanes or hypersurfaces) implies that the conjecture holds for more complicated weights (superpositions of appropriately large patches of such surfaces).For instance, the Mizohata-Takeuchi conjecture holds for nearly horizontal R 1{2 -slabs (case ρ " R of Theorem 1.6) because it holds for horizontal hyperplanes (Plancherel).
Definition 3.1.A ρ-flake (or simply a flake) in R n is the 1-neighbourhood of any hypersurface of the form tpω, Γpωqq : A flake is nearly horizontal if all its tangent spaces create angle larger than 2{100 with the vertical direction.
Note that ρ-slabs are ρ-flakes.We will usually be taking ρ ě 1.We emphasise that Γ and h are unrelated.Every line normal to Σ which intersects a nearly horizontal flake will do so along a line segment of length about 1.Therefore, the following lemma states that the Mizohata-Takeuchi conjecture holds when the weight is the indicator of a single nearly horizontal flake.
Proof.The proof easily follows by induction on scales, and only a sketch is provided here.In particular, the estimate trivially holds when R À 1.For arbitrary larger R, we cover the flake γ by finitely overlapping R 1{2 -balls B. For every one of these balls B, we may assume that where g B is the sum of the wave packets g T of g at scale R that intersect B. The functions g B are essentially orthogonal, as each of the tubes T in question has width R 1{2`δ (where as in Section 2, 0 ă δ !ǫ) and creates angle Á 1 with the flake, hence it intersects R Opδq of the balls B. Adding up the above estimate over all B completes the proof.
Remark 3.3.We emphasise that when γ is specifically a horizontal hyperplane, then the stronger estimate ˆγ |Eg| 2 " ˆ|g| 2 directly follows by Plancherel's theorem.Indeed, for every px, tq P R n´1 ˆR, Egpx, tq " ˆe2πixx,ωy e 2πithpωq gpωqdω " p g t pxq, where g t :" e 2πithp¨q g and p ¨denotes the standard Fourier transform on R n´1 .Therefore, for all t P R. (Note that this directly yields (2).)After an appropriate change of variables, a similar argument resolves the Mizohata-Takeuchi conjecture when the weight is the indicator function of the 1-neighbourhood of any hyperplane (independently of orientation), and subsequently when the weight is a sum of indicator functions of such 1-neighbourhoods.See [BNS22, Corollary 3] for a stronger estimate (a certain identity) in this specific scenario.holds for every g P L 2 pB n´1 q and any weight w : R n Ñ r0, `8q of the form ř γPF c γ χ γ , where F is a family of R 1{2 -flakes.In fact, the stronger estimate holds, where tg T u T PT is the wave packet decomposition of g at scale R.
Proof.Fix g : L 2 pB n´1 q and γ P F, and denote by T γ the set of tubes in T that intersect γ.For all x P γ, Egpxq " Eg γ pxq `RapDec ǫ pRq ˆ|g| 2 , where g γ :" ř T PTγ g T .Hence, by Lemma 3.2, up to an error of RapDec ǫ pRq ´|g| 2 .Adding up over all γ P F, we obtain up to an error of RapDec ǫ pRq ´|g| 2 (where the final « 1-loss is due to the fact that the tubes in T have width R 1{2`δ , rather than R 1{2 ).The last quantity is at most }Xw} 8 ´|g| 2 .
Remark 3.5.The idea behind the proof of Corollary 3.4 also appeared in [Gu22], where the same result was presented in the special case where the flakes are horizontal slabs.Moreover, it was there pointed out that the statement of the corollary also implies (3), i.e. that the Mizohata-Takeuchi conjecture holds with loss AE R 1{2 in R 2 , by replacing each point in supp w by a horizontal R 1{2 -slab (a process which enlarges the maximal line occupancy of w by À R 1{2 ).Perhaps an easier way to derive (3) is to observe that, by Proposition 2.2, the Mizohata-Takeuchi conjecture holds with « 1-loss for each function g θ supported in an R 1{2 -cap θ; so (3) follows by the Cauchy-Schwarz inequality, as B 1 consists of " R 1{2 such caps.
4. Mizohata-Takeuchi with R n´1 n`1 -loss: Theorem 1.2 Theorem 1.2 immediately follows from the stronger Theorem 4.1 below, which takes into account the directions in which the waves propagate.In particular, fix n ě 2. For g P L 2 pB n´1 q and T Ă T ǫ pB R q, define g T :" ÿ where tg T u T PTǫpRq is the wave-packet decomposition of g adapted to B R (at scale R).
Theorem 4.1.For every ǫ ą 0, there exists a positive constant C ǫ , which depends only on Σ and ǫ, such that for all R ě 1, g P L 2 pΣq, T Ă T ǫ pRq and weights w : R n Ñ r0, `8q on R n , and for every family B of boundedly overlapping R 1{2 -balls.
As an immediate consequence of this we have: Corollary 4.2.For every ǫ ą 0, there exists a positive constant C ǫ , which depends only on Σ and ǫ, such that up to a RapDec ǫ pRq}w} 8 ´|g T | 2 error term, for all R ě 1, g P L 2 pΣq, T Ă T ǫ pRq and weights w : R n Ñ r0, `8q on R n .
Remark 4.3.We need the error term RapDec ǫ pRq}w} 8 ´|g T | 2 in these results because w may be large at some points of supp Eg T which are outside Ť T PT T .Theorem 4.1 manifestly implies Theorem 1.2 directly, since the error term is easily absorbed into the right-hand side of the first inequality of Theorem 1.2.It is not possible to take ǫ " 0 in either Theorem 4.1 or in inequality (4) of Theorem 1.2.For the case of Theorem 4.1, this is because of the example (see [V81, p.104], [R86], [B93] or [V97, pp.125-126]) demonstrating the necessity of a logarithmic term in the discrete l 2 ´L6 restriction theorem for the paraboloid.For the argument linking the two phenomena see [BD15,].As we observe below, Theorem 4.1 is essentially a reformulation of the refined decoupling theorem [GIOW20].For the case of Theorem 1.2, one may observe directly that with g having all wave packet coefficients equal, and w :" |Eg| 4{pn´1q , then tw pn`1q{2 pT qu T is uniformly distributed across the wave packets T , and thus the passage from Theorem 4.1 to (4) is tight.(This was noted in discussions between Po Lam Yung, Zane Li and the first author.)Theorem 4.1 is furthermore closely related to the improved decoupling theorem of [GMW20].More precisely, if one takes the natural weight w " |Eg T | 4{pn´1q in Theorem 4.1, one obtains an inequality slightly stronger than the one considered in [GMW20, Theorem 1.2], but with R ǫ loss rather than the logarithmic loss obtained there when n " 2. Notice the Stein-like nature of the middle term appearing in (9).Theorem 4.1 is actually a reformulation of the following refined Stein-Tomas or decoupling estimate.Theorem 4.4 was also discovered independently by Xiumin Du and Ruixiang Zhang (personal communication).
Theorem 4.4.(Refined decoupling [GIOW20]) Let ǫ ą 0, g P L 2 pB n´1 q, and let T be a subset of T ǫ pB R q with the property that }g T } 2 is roughly constant over all T P T.
For each k P N, denote by U k an essentially disjoint union of R 1{2 -balls in B R each intersecting " k tubes in T. Then the function Since k ď #T, estimate (10) provides an improvement on the classical Stein-Tomas inequality on the 'k-rich' sets U k in B R , according to their level k of richness.
If we assume Theorem 4.1, we can immediately deduce Theorem 4.4 by testing on a weight w P L n`1 2 pU k q.Indeed, under the hypotheses of 4.4, we apply Theorem 4.1 and we have and, suppressing the error term (as we may) and letting λ " }g T } 2 2 {#T denote the common value of }g T } 2 2 , the right hand side here equals as needed to verify Theorem 4.4.
Likewise, Theorem 4.1 will in turn follow from (10), as the following simple argument shows.
In order to prove (8), we may assume that: Indeed, assumption (a) is possible because, by (wp3), the part of the weight supported outside Ť T PT T contributes at most RapDec ǫ pRq}w} 8 ´|g T | 2 to ´BR |Eg T | 2 w.For (b), observe that, in terms of our goal, it is trivial to control the contributions of the wave packets g T with }g T } 2 ă R ´100n }g} 2 .So, by dyadic pigeonholing, it suffices to prove (8) under the additional assumption that the g T have roughly the same L 2 norms over all T P T. By scaling we may assume this common value is 1.
We now fix a family B of boundedly overlapping R 1{2 -balls covering B R .By the above it suffices to prove that under assumptions (a) and (b).
Let U k be the union of the balls in this family which meet " k members of T.
Importantly, (a) ensures that there exists some dyadic k P N for which So by Hölder's inequality and (10) we obtain We conclude with a simple counting argument.Indeed, let B k be the set of R 1{2 -balls comprising U k .Then, establishing (11) and thus (8).

Improved Mizohata-Takeuchi estimates for small caps
In this section we prove Lemma 1.4, which will be key to the proofs of Theorems 6.1 and 6.2.It is a Mizohata-Takeuchi-type estimate which holds for functions supported in small caps, and it represents an improvement over what we can obtain under no support hypothesis.
Towards proving the lemma, we may assume as in Section 2 that all normals to Σ have angle at most 1{100 from the vertical direction, and that the projection of Σ on the hyperplane R n´1 ˆt0u is contained in the unit ball B n´1 centred at 0. It thus suffices to establish the analogous statement (Lemma 5.1 below) with Eg τ in place of z g τ dσ, where E is the extension operator associated to Σ and g τ P L 2 pB n´1 q is a function supported in a ρ ´1{2 -cap τ in B n´1 .
To simplify notation, for E Ă B n´1 (rather than E Ă Σ), and any line ℓ (or tube T in B R ), we write ℓ K E if ℓ K ΣpEq (similarly, we write T K E if T K ΣpEq).We also define A ρ,R,E pwq :" A ρ,R,ΣpEq pwq.
Lemma 5.1.For every ǫ ą 0, there exists C ǫ ą 0 such that for all weights w : R n Ñ r0, `8q, whenever 1 ď ρ ď R, τ is a ρ ´1{2 -cap in B n´1 and g τ P L 2 pB n´1 q is supported in τ , we have and therefore also Notice that the tubes and lines featuring here have directions perpendicular to the support of g τ .
In order to prove the lemma for arbitrary weights, it suffices by dyadic pigeonholing to prove it for weights that are indicator functions.Indeed, first observe that we may assume that wpxq ě R ´2n }w} 8 for all x P supp w.Therefore, after a dyadic pigeonholing causing losses of " log R, we may assume that wpxq " q for some fixed q ą 0 over all x P supp w; and hence that w is an indicator function, due to the scaling properties of our desired estimate.
So, let w be an indicator function of a non-empty union of unit balls.Fix a ρ ´1{2 -cap τ , and let g be a function supported in τ .Let T be a family of boundedly overlapping parallel ρ 1{2 -tubes that cover supp w, and point in some direction N normal to supp g; observe that T Ă T ρ .At a cost of a log R-loss, it may be further assumed that It therefore suffices to prove that Proposition 2.2 ensures that, roughly speaking, |Eg| is constant on each S ρ P T. In particular, let T N be a set of boundedly overlapping tubes in direction N , of width ρ 1{2`δ and length ρ, that cover B R .For each S ρ P T, fix r S ρ P T N that intersects S ρ .By Proposition 2.2, By adding over all S ρ P T, we obtain Now by Theorem 1.2 we have and for T R P T R with T R K supp g we have as required.
6. Weights constant on slabs: Theorems 1.6 and 1.8 In this section we will use the favourable estimates for functions g τ supported in small caps which were established in Section 5 to obtain Mizohata-Takeuchi estimates which improve on Theorem 1.2 for general functions g and weights possessing a certain measure of local constancy.In particular, recall from (7) that if a function g τ is supported in a ρ ´1{2 -cap τ , then the Mizohata-Takeuchi conjecture holds for g τ with an improved pR{ρq pn´1qpn`1q -loss.Therefore, for any fixed g P L 2 pB n´1 q and w : R n Ñ r0, `8q, a decoupling inequality of the form for a boundedly overlapping collection of ρ ´1{2 -caps τ (where g " ř τ g τ and supp g τ Ă τ ) would directly imply that Mizohata-Takeuchi holds for g with the inherited loss pR{ρq pn´1qpn`1q .The smaller the caps we manage to decouple into, the smaller the loss.
In general, it is not possible to decouple into small caps.However, we can indeed decouple into ρ ´1{2 -caps when w is a weight of the form ř sPS c s χ s , where S is a set of disjoint ρ 1{2 -slabs that are ν-parallel to Σ; more precisely, we show that (12) below holds.This yields Mizohata-Takeuchi for such weights with an pR{ρq pn´1qpn`1q -loss.If the slabs in S are allowed to point in any direction, then we can decouple into larger ρ ´1{4 -caps (14), inheriting Mizohata-Takeuchi with an pR{ρ 1{2 q pn´1qpn`1q -loss.
These results are given in Theorems 6.1 and 6.2 below, which are more precise versions of Theorems 1.6 and 1.8, respectively.As per the above discussion, the new ingredients here are the decoupling inequalities (12) and ( 14) which follow.Note that, as in Section 5, we will be working with the extension operator E associated to Σ (rather than with y ¨dσ).When E Ă B n´1 , we will be using the simpler the notation A ρ,R,E pwq in place of A ρ,R,ΣpEq pwq, and ℓ K E (or T K E) to mean ℓ K ΣpEq (similarly, T K ΣpEq) for any line ℓ and tube T in R n .Theorem 6.1.(Roughly horizontal slabs) Fix ν ą 0 and ǫ ą 0. For 1 ď ρ ď R, let w : R n Ñ r0, `8q be a weight of the form ř sPS c s χ s , where S is a set of disjoint 1{2 -slabs ν-parallel to Σ, and let w ‹ :" ř sPS c s χ 3s .For g P L 2 pB n´1 q, write g " where T is a family of boundedly overlapping ρ ´1{2 -caps τ in B n´1 Then the decoupling inequality holds.Consequently we have Note that an immediate consequence of (13) is Theorem 6.2.(All slabs) Fix ǫ ą 0. For 1 ď ρ ď R, let w : R n Ñ r0, `8q be a weight of the form ř sPS c s χ s , where S is a set of disjoint ρ 1{2 -slabs.Let w ‹ :" ř sPS c s χ 3s .For g P L 2 pB n´1 q, write g " ÿ holds.Consequently we have, Note that an immediate consequence of (15) is Proofs of (12) and (14).Fix ǫ ą 0 and R ě 1.Let s be a ρ 1{2 slab in B R , and fix g P L 2 pB n´1 q.Let T 1 , T 2 be collections of finitely overlapping ρ ´1{4 and ρ ´1{2 -caps, respectively, that cover B n´1 .For i " 1, 2, write We will show that and that, if additionally s is ν-parallel to Σ for some ν ą 0, then Note that henceforth we may assume that ρ Á ǫ R ǫ{n (as otherwise ( 12) and ( 14) follow trivially by the Cauchy-Schwarz inequality), and that ν Á ǫ R ´ǫ (as otherwise C ǫ,ν may be chosen to be an appropriately large power of R for (12) to follow).
For this proof, it will be useful to think of g as truly supported on Σ.And indeed, due to our assumption that the normals to Σ create angles at most 1{100 with the vertical direction, it suffices instead to prove the above decoupling inequalities for g P L 2 pΣq, for y gdσ in place of Eg and for T i collections of finitely overlapping ρ ´1{4 -caps and ρ ´1{2 -caps, respectively, of Σ.
Let η : R n Ñ R be a non-negative, smooth bump function with ηpxq " 1 for all x P B 1 and ηpxq " 0 for all x P B 2 .Denote by η s a smooth bump function adapted to s.In particular, if s 0 " r0, ρ 1{2 s n´1 ˆr0, 1s, define η s 0 pxq :" η ˆx1 ρ 1{2 , x n ˙, and let η s pxq :" η s 0 pM xq, where M is a rigid motion mapping s to s 0 .Let s ‹ be a 'dual' object to s, specifically the tube with centre 0, direction the normal to s, length 1 and cross section of radius ρ ´1{2`δ .It is easy to see by stationary phase that z η s pxq is essentially supported in s ‹ ; more precisely, | p η s pyq| " RapDec ǫ pρq}η s } 1 " RapDec ǫ pRq for all y P R n zs ‹ .
For every τ, τ 1 P T i , the function pg τ dσq ˚p Ć g τ 1 dσq is supported in τ ´τ 1 , and thus its contribution to the above sum is negligible unless τ ´τ 1 intersects s ‹ .More precisely, where Note that for the last inequality in (16) we used that s ‹ is symmetric around 0.
It now suffices to show that and that, if additionally s is ν-parallel to Σ for some ν Á ǫ R ǫ , then We first focus on the case i " 1. Fix τ P T 1 , and let ωpτ q denote its centre.The family T 1 consists of ρ ´1{4 -caps, so the τ 1 P T 1 with pτ ´τ 1 q X s ‹ ‰ ∅ cover the set Apτ q :" tω P Σ : pτ ´ωq X s ‹ ‰ ∅u.
Now however the family T 2 consists of ρ ´1{2 -caps; moreover, s is ν-parallel to Σ, which implies that all tangents to τ create angles at least ν with the (roughly vertical) direction e of s ‹ .Therefore, τ ´s‹ Ă R s ‹ , for some vertical rectangle R s ‹ , with vertical side of length " ν 1 (roughly the length of s ‹ ) and all other sides of length " ν ρ ´1{2`δ (approximately the sum of the width of s ‹ and the radius of τ ).
Due to our assumption that all tangents to Σ create angle at most 1{100 with the vertical direction, it follows that Σ X R s ‹ (and consequently Apτ q) is contained in a single " ν ρ ´1{2`δ -cap of Σ, and can thus be covered by OpR ǫ q ρ ´1{2 -caps in T 2 .This implies the desired estimate (18) and hence completes the proof of (12).
Proof of Theorem 6.1.Let ν, ǫ, R, ρ, w and g be as in the statement of the theorem.Now that (12) has been established, it suffices to prove the first assertion in (13).
To that end, observe that w ‹ is the sum of 3 n´1 weights: the weight w 0 :" w (supported in B R ), and weights w j of the form wp¨´t j q (for appropriate t j P R n´1 ˆt0u, with |t j | ď R, for j " 1, 2 . . .).It thus suffices to show that for all j " 1, 2 . . . .For j " 0 the inequality follows by Lemma 5.1.For j " 1, 2 . . ., Eg " Eg j p¨´t j q, where g j :" e 2πixt j ,Σp¨qy g.
Therefore, by Lemma 5.1, ˆ|Eg| 2 w j " ˆ|Eg j p¨´t j q| 2 wp¨´t j q completing the proof.
Proof of Theorem 6.2.The proof follows the same steps as that of Theorem 6.1, but with the family T replaced by r T.
7. Guth's argument: the R Notably, Guth's decoupling axioms for all Eg are also sufficient to imply the refined decoupling Theorem 4.4 (as a careful review of its proof reveals), and thus its corollary Theorem 1.2, which established the conjecture with a loss of AE R n´1 n`1 .Therefore, our main result is essentially sharp given the techniques used.
In this section we outline Guth's axiomatic approach and argument demonstrating the existence of a counterexample [Gu22], and briefly review our result within this context.We emphasise that these results are not ours, and we present them only for self-containment.
Fix R ě 1 and ǫ ą 0. In this section, for every g P L 2 pB n´1 q and every cap τ in B n´1 , we denote g τ :" g |τ .In particular, g B n´1 " g.
We call a cap τ in B n´1 admissible if its diameter dpτ q is a dyadic number in rR ´1{2 , R ´ǫsY t2u.In this analysis, B n´1 is the only admissible cap of diameter 2. Denote by D R the set of all admissible caps.
For every τ P D R , let F τ : R n Ñ C be some function.Note that the caps τ are simply used for enumeration here, and may be entirely unrelated to properties of F τ .This is in contrast to, say, functions of the form Eg τ , which are Fourier-localised close to Σpτ q.
Axiomatic decoupling.(Guth [Gu22]) If the decoupling axioms (DA1) and (DA2) below hold for the full sequence pF τ q τ PD R , then the function F :" F B n´1 in B R can be decoupled into the functions F θ corresponding to the smallest possible scale, as follows:
The decoupling axioms (DA1) and (DA2) for a sequence pF τ q τ PD R are the following statements.
(DA1) (Local constancy).For every τ P D R with dpτ q ď R ´ǫ, the function |F τ | is essentially constant on each translate of Σpτ q ‹ :" tx : |x ¨pξ ´ξτ q| ď 1 for all ξ P Σpτ qu, where ξ τ denotes the centre of Σpτ q. 3 (DA2) (Local L 2 -orthogonality).Let γ P D R , and suppose that γ " \ τ PT τ , where T is a family of finitely overlapping caps in D R with diameters smaller than dpγq.Then, 3 Formally, a function is essentially constant on translates of Σpτ q ‹ if it satisfies estimate (24) in the statement of Lemma 6.1 in [GWZ22], with θ replaced by the smallest rectangle containing Σpτ q.
the estimate holds for every convex K Ă R n such that the sets τ `K‹ , over all τ P T, are finitely overlapping.4 It is not hard to see that, for all g P L 2 pB n´1 q, the sequence pEg τ q τ PD R satisfies (DA1) and (DA2).Guth's axiomatic decoupling statement above, together with a careful review of the proof [GWZ22] of the refined decoupling Theorem 4.4 (which directly led to our Theorem 1.2, or equivalently to (19) below), reveal the following.
The fact that pEg τ q τ PD R satisfies (DA1) and (DA2) for all g P L 2 pB n´1 q implies the inequality for all g P L 2 pB n´1 q and w : R n Ñ r0, `8q.
To improve on the Mizohata-Takeuchi conjecture, one needs to reduce the lossy factor R n´1 n`1 in (19) (and ideally to remove it altogether).Up to « 1 factors, this is impossible if one insists on only using that all pEg τ q τ PD R satisfy (DA1) and (DA2).Indeed, Guth [Gu22] proved the following.
Proof.Let Σ be as earlier.The scale R ´1 n`1 plays a key role in the upcoming argument; thus, denote by D the set of all τ P D R with dpτ q " R ´1 n`1 (or, precisely, with dpτ q equal to the smallest dyadic number that is at least R ´1 n`1 ).For each τ P D, let T τ be a family of finitely-overlapping parallel tubes in R n that intersect and cover B R , of radius R 1 n`1 , length R 2 n`1 and direction the normal to Σpτ q (these tubes are essentially translates of Σpτ q ‹ ).Let T :" tT P T τ : τ P Du.There exists a weight w : R n Ñ r0, `8q such that the following hold.
(1) w is the characteristic function of a union of " R n´1 unit balls in B R .
(3) Each tube T P T satisfies wpT q À log R, and fully contains every 1-ball in supp w that it intersects.This is the weight that will feature in (21), and its existence is guaranteed by prior work of the first author [Ca09, Theorem 3] on aspects of the Mizohata-Takeuchi conjecture.
The details are omitted.
The function F will be carefully defined as a sum of wave packets, so that it is large on a big proportion of supp w; more precisely, on a large set B of unit balls in supp w.
The set B is the one appearing in the claim below.The proof is postponed to the end of the section.(Note that the claim would be trivial if each tube in T intersected and fully contained at most one 1-ball in supp w.) Claim 7.1.There exist (i) a set B " tB 1 , . . ., B m u of Á plog Rq ´2R n´1 disjoint unit balls in supp w, and (ii) sets T j Ă T with #T j Á #D for every j " 1, . . ., m, such that the following hold.
We now construct a sequence pF τ q τ PD R of functions F τ : R n Ñ C as follows.
‚ For each τ P D R with R ´1{2 À dpτ q ă R ´1 n`1 , define F τ :" dpτ q n´1 2 χ B R .‚ For τ P D R with dpτ q " R ´1 n`1 (or, precisely, for each τ P D), define c T e ´2πix ¨, ξτ y dpτ q n´1 2 φ T , where φ T is a bump function on T and ξ τ is the centre of Σpτ q.The coefficients c T P C are defined below.‚ For γ P D R with R ´1 n`1 ă dpτ q ď 2, define Verifying (20) and (21).For each τ P D, F τ is Fourier supported roughly in the smallest slab containing Σpτ q.It easily follows that pF τ q τ PD R satisfies the decoupling axioms (DA1) and (DA2).
On the other hand, (22) and the small line occupancy of w imply (21), so F and w do not respect the numerology of the Mizohata-Takeuchi conjecture.Indeed, Defining the c T .For T P T, let τ pT q be the cap τ P D with T P T τ .For B P B, let T B :" tT P T : T intersects Bu, and observe that, once the c T are defined for all T P T, it will hold that c T e ´2πix ¨, ξ τ pT q y φ T |B for all B P B.
The c T are thus defined via an iteration, the j-th step of which ensures that the above sum has large magnitude for B " B j .First, for all T P T B 1 define c T :" e 2πixx 1 , ξ τ pT q y , where x 1 is the centre of B 1 .Due to the small radius of B 1 , Re ´cT e ´2πixx, ξ τ pT q y ¯" Re ´e2πixx 1 ´x, ξ τ pT q y ¯Á 1 for all x P B 1 , c T e ´2πix ¨, ξ τ pT q y φ T ‚Á R Now, fix j " 2, . . ., m. Suppose that, for each i " 1, . . ., j ´1, we have performed the i-th step of the iteration, by defining c T for all T P T B 1 (when i " 1) and for all T P T B i zpT B 1 Y . . .T B i´1 q (when i ě 2) so that ˇˇˇˇˇR During the j-th step of the iteration, we will define the c T for T P T B j zpT B 1 Y. ..YT B j´1 q so that ˇˇˇˇˇR where T 1 B j :" T B j zpT B 1 Y . . .T B j´1 q (the set of tubes through B j for which we still need to define the c T ), while T 2 B j consists of the tubes through B j for which the c T have already been defined.Importantly, T 1 B j Ą T j .and so on, until no further k j as above exists.Let P 1 be the set of balls B k j , over all the k j selected via the above process.To complete the proof of the claim, it will now be shown that #P 1 Á plog Rq ´2R n´1 , by studying the incidences between P and T. For any S Ă P and L Ă T, denote IpS, Lq :" #tpB, T q P S ˆL : B is contained in T u, the number of incidences between S and L.
Assume for contradiction that #P 1 À plog Rq ´2#P (23) for an appropriately small implicit constant.Then, the set T 1 of tubes in T that pass through balls in P 1 is not too large; in particular, #T 1 ď IpP 1 , T 1 q ď P 1 #D À plog Rq ´2#P #D " plog Rq ´2I pP, Tq À plog Rq ´1#T, for a small implicit constant.Therefore, the tubes in T 1 only contribute a small fraction of the total incidences between T and P: IpP, T 1 q À #T 1 log R À T " plog Rq ´1#DR n´1 " #D#P ď 1 10 IpP, Tq (the implicit constant in ( 23) is chosen so that this is true).This is a contradiction, as P 1 was selected so that T 1 p" Y m j"1 T B k j q contributes at least half of the total incidences between T and P. Indeed, each B i P PzP 1 is incident to at least #D{2 tubes in Y k j ăi T B k j Ă T 1 ; while each B i P P has all the #D tubes in T through it in T 1 .Therefore, IpP, T 1 q ě #P#D{2 " 1 2 IpP, Tq, contradicting (23).
Lemma 3.2 easily implies the Mizohata-Takeuchi conjecture for superpositions of appropriately large flakes, and in fact an estimate stronger than Stein's conjecture (1).Corollary 3.4.(MT holds for R 1{2 -flakes) The inequality ˆBR |Eg| 2 w AE }Xw} 8 ˆ|g| 2 Guth identified two 'decoupling axioms' (appropriate local constancy and local L 2orthogonality conditions) that are satisfied by all Eg, and are sufficient to ensure that the Bourgain-Demeter decoupling inequality[BD15] holds in B R for every function F satisfying them.(b) He then constructed a function F : B R Ñ C which satisfies the decoupling axioms, but for which the Mizohata-Takeuchi conjecture fails by a factor of " plog Rq ´3R n´1 n`1 .Notably, F |B R is not of the form Eg |B R for any g P L 2 pB n´1 q.
Fact B. (DA1 & DA2 oe MT with !R n´1 n`1 -loss for general F ) There exists F : R n Ñ C with F " F B n´1 for some pF τ q τ PD R satisfying (DA1) and (DA2), (20)
´pn´1q 2pn`1q #T 1 Á R n´1 2pn`1qon B 1 .Therefore, once the remaining c T have been defined, we will have that|F | ě Re F Á R n´1 2pn`1q on B 1 , as desired.

T
PT B i c T e ´2πix ¨, ξ τ pT q y φ T ‚ˇˇˇˇˇˇÁ R n´1 2pn`1qon B i (which ensures that, once the remaining c T have been defined, we will have that |F | Á R n´1 2pn`1q on B 1 , . . ., B j´1 q.

T
PT B j c T e ´2πix ¨, ξ τ pT q y φ T ‚ˇˇˇˇˇˇÁ R n´1 2pn`1qon B j (ensuring that eventually |F | Á R n´1 2pn`1q on B j as well).Write