Pith. sign in

REVIEW 1 major objections 5 minor 26 references

On differentiation of integrals in Lebesgue spaces

T0 review · 1 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read For every p0 ≥ 1, the paper constructs axis-parallel rectangle bases on the infinite-dimensional torus that differentiate L^p exactly when p ≥ p0 (or p > p0), and classifies all possible differentiation ranges in complete metric measure…

desk verdict Solid classification and sharp counterexamples in infinite-dimensional differentiation; one expositional gap around diameter decay, easily fixed. read the letter →

arxiv 2505.05425 v1 pith:O4IRHSNP submitted 2025-05-08 math.CA

Marco Fraccaroli , Dariusz Kosz , Luz Roncal This is my paper · ORCID
classification math.CA MSC 43A7542B25
keywords differentiationbasisLebesguetheoreminfinite-dimensionaltorusBusemann–Fellermaximaloperatorweak-typeinequalityRubiodeFranciacompletemetricmeasurespace
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper asks when the Lebesgue differentiation theorem—the statement that a function can be recovered as the limit of its averages over small neighborhoods—holds for a given family of averaging sets, and for which Lebesgue spaces L^p. The authors construct, in the infinite-dimensional torus, families of axis-parallel rectangles whose averages recover L^p functions precisely when p lies above a prescribed threshold p0, with either a strict or non-strict inequality. Because such rectangle bases cannot exhibit thresholds in any finite dimension, the infinite-dimensional setting is essential. The construction also yields a complete classification: in any complete metric measure space, the set of exponents for which a basis differentiates integrals must be one of six intervals (or the empty set), and each possibility is realized.

What carries the argument

The engine is the Rubio de Francia bases R0 and R on T^ω, together with what the paper calls (ε,d)-configurations: a rectangle Q0 together with d translates Qi that overlap Q0 in a fixed fraction ε of its measure. The paper quotes a sharp weak-type bound for the maximal operator of such a configuration, then builds, via a covering lemma and an inductive construction, a family S that tiles each rectangle by configurations, nests configurations across levels, and makes selected unions mutually independent. The independence condition lets the second Borel–Cantelli lemma force a specially built function f = sup $ε_j^{{-1}}$ 1_{F_j} to have a positive-measure set of points whose averages over shrinking rectangles stay at least 1, while f belongs to L^p for p below the threshold; the weak-type bound and a truncation argument give differentiability for p above it.

What would settle it

Check whether, for the basis B_≥ constructed with d_j = j and ε_j = $j^{{-1/p0}}$/2, the nested rectangles Q_{j,n} containing a given x from condition (A3) have T^ω-diameters tending to 0 for almost every x. If for a positive-measure set of x these diameters stay bounded below, then the Borel–Cantelli step only proves f(x) ≥ 1 rather than producing a contracting sequence of averaging sets, and the claimed failure of differentiation for p < p0 would not follow from the written argument.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.1: for every p0 ∈ [1,∞), there exist Busemann–Feller bases B_≥ and B_> in the infinite-dimensional torus T^ω, whose elements are axis-parallel rectangles, such that B_≥ differentiates L^p(T^ω) if and only if p ≥ p0, and B_> differentiates L^p(T^ω) if and only if p > p0. Theorem 1.3 goes further: for any differentiation basis in a complete metric measure space, the set diff(B) of exponents p for which B differentiates L^p must be one of ∅, {∞}, [p0,∞], (p0,∞], [p0,∞), or (p0,∞), and each of these six forms is realized by a suitable complete space and basis. The paper also transfers the construction to the unit interval, producing Busemann–Feller bases of finite unions of intervals with the same L^p thresholds.

Load-bearing premise

The proof that a specially built function has a positive-measure set of points where averaging rectangles fail to converge relies on the nested rectangles that contain each point actually shrinking to that point in the metric of the infinite-dimensional torus; the paper does not explicitly verify this diameter condition.

Editorial extensions

If this is right

  • Every possible differentiation range from the empty set to (p0,∞) is realized by a complete metric measure space, so the classification is sharp.
  • In any finite-dimensional torus, no Busemann–Feller rectangle basis can have a threshold p0 > 1, so such thresholds are an infinite-dimensional phenomenon.
  • The construction transfers to the unit interval, yielding Busemann–Feller bases of finite unions of open intervals with the same L^p differentiation thresholds.
  • For countable bases, the weak-type range of the associated maximal operator is contained in the differentiation range, and the gap between them can be controlled.
  • If the underlying space is a countable union of open sets with finite measure, only four of the six ranges (∅, {∞}, [p0,∞], (p0,∞]) can occur.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The unstated diameter check on the nested rectangles in the Borel–Cantelli step is worth making explicit: if the rectangles containing a point do not shrink to that point in the T^ω metric, the lower bound f(x) ≥ 1 would not translate into a failure of differentiation at x, so the argument as written depends on this property holding almost everywhere.
  • The classification suggests that in complete spaces, differentiation of L^p is monotone in p, with larger p easier; any failure of monotonicity would have to come from non-completeness, and the paper's examples indicate completeness is nearly necessary.
  • The same configuration machinery might produce bases with prescribed Orlicz-space differentiation ranges, since the weak-type estimates used here are quantitative and depend on the parameter ε.
  • The construction separates differentiation from maximal-operator boundedness: diff(B) can be a half-open interval while max(B) is closed, so the two notions are genuinely distinct.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

1 major / 5 minor

Summary. The paper studies differentiation of integrals on the infinite-dimensional torus T^ω. Theorem 1.1 constructs, for every p0 ∈ [1,∞), Busemann–Feller bases B_≥ and B_> consisting of axis-parallel rectangles such that B_≥ differentiates L^p(T^ω) if and only if p ≥ p0 and B_> differentiates L^p(T^ω) if and only if p > p0. Theorem 1.3 classifies the possible sets diff(B) for arbitrary differentiation bases in complete metric measure spaces as one of six forms, and conversely realizes each form. The proof combines a monotonicity property (Proposition 2.1), a weak-type maximal operator criterion (Lemma 3.2 and Proposition 3.3), a construction of nested (ε,d)-configurations (Proposition 4.4), and a Borel–Cantelli argument. Corollary 1.2 transfers the examples to the unit interval with bases of finite unions of intervals. Several examples clarify measurability issues and the special role of p = ∞.

Significance. If the results are correct, this is a substantial contribution to differentiation theory. The construction overcomes the finite-dimensional obstruction to Busemann–Feller rectangle bases and recovers and extends Hayes' classical examples in a new setting. The classification theorem for complete spaces is complete and the converse constructions are explicit. The paper is well organized, makes good use of the authors' earlier sharp weak-type estimates, and presents the negative direction through a transparent quantitative divergence and the second Borel–Cantelli lemma. The only substantive gap is a missing verification in the contraction step of the proof of Theorem 1.1, which is easily repairable from the construction in Lemma 4.3.

major comments (1)
  1. [Section 5, proof of Theorem 1.1, paragraph after (5.1)] To conclude f(x) ≥ 1 from the existence, for infinitely many j, of a rectangle Q_j in S_{j,n_j} containing x with Avg f(Q_j) ≥ 1, the proof must exhibit a sequence of sets from B(x) contracting to x. Condition (A3) supplies nestedness but not diameter decay, and the definition of contraction in Section 1.3 requires radii tending to 0. The needed estimate is implicit in Lemma 4.3: every rectangle in the configurations constructed there is contained in a dyadic rectangle of side length O(2^{-k}) with k ≥ m_j + d_j, so its diameter with respect to ρ_{T^ω} is O(2^{-m_j}), and m_j tends to infinity by the choice of m_j. Please add this verification explicitly; it is load-bearing for the non-differentiation conclusion and also for the assertion that B is a differentiation basis.
minor comments (5)
  1. [Section 4, Definition 4.1] The sentence "let Q0 ∈ R0 be such that |Q0| ≤ 2^{-(d-1)^2-1} and so Q0 has at least d nonfree coordinates" is imprecise: the condition alone does not logically force the existence of d nonfree coordinates without additional explanation from the cited construction.
  2. [Section 4, Proposition 4.4, condition (A4)] The mutual independence of the events F*_j is asserted as "routine to check"; since this independence is the key probabilistic ingredient in the Borel–Cantelli step, a short explanation of why the dyadic product structure yields independence would improve the exposition.
  3. [Section 5, proof of Corollary 1.2] The transfer argument to the unit interval is summarized as "routine"; a brief justification that the weak-type bounds and the Borel–Cantelli construction survive the transfer would help the reader.
  4. [Section 2, Example 2.3] The measure µ_I on I is defined by setting the measure of a set to infinity when its intersection with I is uncountable; it would be useful to note explicitly that this gives a complete measure, since the completeness of X is used in the verification.
  5. [Throughout] There are minor stylistic issues such as informal uses of "iff" and "resp.", and the choice of m_j in Theorem 1.1 is justified tersely; these do not affect the mathematics.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main results are derived from explicit constructions and an independent published weak-type theorem, not from their conclusions.

full rationale

The paper's central claims are not circular. The positive half of Theorem 1.1 (p0∈diff(B≥)) is obtained by combining the covering and nesting construction of Proposition 4.4 with Theorem 4.2, quoted from [KRR23]. That theorem is a parameter-free quantitative estimate for configuration maximal operators; its assumptions do not include the target differentiation classification, and the present paper uses its stated bound rather than assuming the conclusion. The negative half is an explicit counterexample: the function f=sup_j ε_j^{-1}1_{F_j} is shown to belong to every L^p with p<p0 via the displayed estimate ∥f∥_p^p≤2^{p-1}∑ j^{p/p0}j^{-2}<∞, and the Borel–Cantelli argument shows that its upper and lower limits differ on a set of positive measure. No fitted parameter is renamed as a prediction: the parameters ε_j and m_j are chosen from the desired p0 and the published weak-type constants, and the non-differentiation witness is an explicit function, not a recovered version of the construction. The classification Theorem 1.3 follows from the proved monotonicity Proposition 2.1 together with the constructed examples and Example 2.3, so it is not a re-labeling of the input. The self-citations diff(R0)=[1,∞] ([FR20, Cor. 16]) and diff(R)=∅ ([Ko21, Thm. 1.1]) are used only for boundary cases; they are published results with stated assumptions independent of the present theorem, and by the review rules they count as real evidence rather than circular support. Finally, the expositional gap flagged by the skeptic—that the proof of Theorem 1.1 does not explicitly verify that the nested rectangles supplied by (A3) have diameters tending to 0—is a possible missing justification in the proof, but it is not a circular reduction; the needed estimate is plausibly available from Lemma 4.3, and the gap does not affect the circularity score.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The paper introduces no fitted or empirically adjusted numbers; all construction parameters are explicit functions of p0. The central claim relies on three imported results from the authors' prior work, all with independent published proofs. Standard measure-theoretic facts are assumed. No new entities such as forces, particles, or conserved quantities are introduced.

assumptions (5)
  • domain assumption Sharp weak-type estimate for the maximal operator of an (ε,d)-configuration, KRR23 Theorem 1.2, restated as Theorem 4.2.
    Used in the proof of Theorem 1.1 to obtain weak-type (p0,p0) for B_≥ and weak-type (p,p) for B_>; the proof is not reproduced in this paper.
  • domain assumption diff(R0)=[1,∞] for the dyadic Rubio de Francia basis R0.
    Used as the p0=1 baseline in Theorem 1.1 and as a building block in Theorem 1.3; cited from FR20, Corollary 16.
  • domain assumption diff(R)=∅ for the Rubio de Francia basis R.
    Used to realize case (C1) in Theorem 1.3; cited from Ko21, Theorem 1.1.
  • standard math Density of continuous functions in L^p(T^ω) for 1≤p<∞, and measurability of the envelopes for countable or open-set bases.
    Invoked in Lemma 3.2 and in the definition of E(f); standard measure theory, with a reference to Folland, Proposition 7.9.
  • standard math Second Borel-Cantelli lemma for independent events.
    Used in the proof of Theorem 1.1 to show that almost every point lies in infinitely many of the selected configuration-unions F*_j.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On differentiation of integrals in Lebesgue spaces." pith.science (2026). https://pith.science/paper/O4IRHSNP

@misc{pith2026250505425,
  author       = {Pith},
  title        = {Pith review of: On differentiation of integrals in Lebesgue spaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/O4IRHSNP}},
  note         = {Machine review of arXiv:2505.05425}
}
abstract

We study the problem of differentiation of integrals for certain bases in the infinite-dimensional torus $\mathbb{T}^\omega$. In particular, for every $p_0 \in [1,\infty)$, we construct a basis $\mathcal{B}$ which differentiates $L^p(\mathbb{T}^\omega)$ if and only if $p \geq p_0$, thus reproving classical theorems of Hayes in $\mathbb{R}$. The main novelty is that our $\mathcal{B}$ is a Busemann--Feller basis consisting of rectangles (of arbitrarily large dimensions) with sides parallel to the coordinate axes. Our construction gives us the opportunity to classify all possible ranges of differentiation for general complete spaces. Namely, let $\mathcal{B}$ be a basis in a metric measure space $\mathcal{X}$. If $\mathcal{X}$ is complete, then the set $\{ p \in [1,\infty] : \mathcal{B} \text{ differentiates } L^p(\mathcal{X}) \}$ takes one of the six forms\[ \emptyset, \, \{\infty\}, \, [p_0,\infty], \, (p_0,\infty], \, [p_0,\infty), \, (p_0,\infty) \quad \text{for some} \quad p_0 \in [1,\infty). \] Conversely, for every $p_0 \in [1,\infty)$ and each of the six cases above, we construct a complete space $\mathcal{X}$ and a basis $\mathcal{B}$ illustrating the corresponding range of differentiation.

Figures

Figures reproduced from arXiv: 2505.05425 by the authors.

Figure 1
Figure 1. The space X from Example 2.3. Example 2.3 is quite peculiar. Namely, we have E(1K) = I, while there is no subset I ′ ⊆ I such that µ(I ′ ) ∈ (0, ∞). We comment on this issue below [PITH_FULL_IMAGE:figures/full_fig_p008_1.png] view at source ↗
Figure 2
Figure 2. The space X from Example 2.5 and Example 2.6. We conclude this section with an example showing that E(f) ⊊ T n∈N E(fn) may happen for some f and fn as in the first part of the proof of Proposition 2.1 (cf. Remark 2.2). Example 2.7. Let X be defined as follows (see [PITH_FULL_IMAGE:figures/full_fig_p010_2.png] view at source ↗
Figure 3
Figure 3. The space X from Example 2.7 (dot thickness ↭ size 2 −r(i,j) ). 3. Maximal operators For a collection S of sets S ⊆ X such that µ(S) ∈ (0, ∞), one can define the correspond￾ing maximal operator MS in a standard way. Namely, for every p ∈ [1, ∞] and f ∈ L p (X ), we let MSf(x) := sup x∈S∈S Avg|f| (S) [PITH_FULL_IMAGE:figures/full_fig_p011_3.png] view at source ↗
Figures from the paper (4 more)
Figure 4
Figure 4. Figure 4: The first eight elements Vm in T 3 × T 3,ω . Both R0 and R are considered as uncentered bases. Interestingly, diff(R0) = [1, ∞] (see [FR20, Corollary 16]), while diff(R) = ∅ (see [Ko21, Theorem 1.1]). Although R [PITH_FULL_IMAGE:figures/full_fig_p015_4.png]
Figure 5
Figure 5. Figure 5: The ( 1 4 , 2)-configuration around (0, 1 2 ) 2 × T 2,ω . Let us recall [KRR23, Theorem 1.2]. Here, we write A ≃ B if there exists a constant C ∈ [1, ∞), independent of all parameters involved, such that C −1B ≤ A ≤ CB. Theorem 4.2. Fix ε ∈ (0, 1 2 ] and d ∈ N. Let S0 …
Figure 6
Figure 6. Figure 6: Covering of S after splitting into four congruent rectangles S ∗ [PITH_FULL_IMAGE:figures/full_fig_p017_6.png]
Figure 7
Figure 7. Figure 7: Second step of the iterative construction of S in T 2 × T 2,ω . 5. Proofs of Theorem 1.1 and Theorem 1.3 In the last section, we gather all previously obtained results to prove our main theorems. Proof of Theorem 1.1. First, let us construct B≥. If p0 = 1, then we can …

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

26 extracted references · 26 canonical work pages

  1. [1]

    Bateman, Kakeya sets and directional maximal operators in the plane, Duke Math

    M.D. Bateman, Kakeya sets and directional maximal operators in the plane, Duke Math. J. 147 (2009), 55--77

    work page 2009

  2. [2]

    C\'ordoba, On the Vitali covering properties of a differentiation basis, Studia Math

    A. C\'ordoba, On the Vitali covering properties of a differentiation basis, Studia Math. 57 (1976), 91--95

    work page 1976

  3. [3]

    C\'ordoba, R

    A. C\'ordoba, R. Fefferman, A geometric proof of the strong maximal theorem, Ann. of Math. 102 (1975), 95--100

    work page 1975

  4. [4]

    de Guzm \'a n, Differentiation of integrals in R ^n

    M. de Guzm \'a n, Differentiation of integrals in R ^n . With appendices by Antonio C \'o rdoba, and Robert Fefferman, and two by Roberto Moriy \'o n . Lecture Notes in Mathematics, Vol. 481 , Springer--Verlag, Berlin--New York, 1975

    work page 1975

  5. [5]

    de Possel, Sur la derivation abstraite des fonctions d'ensemble, J

    R. de Possel, Sur la derivation abstraite des fonctions d'ensemble, J. Math. Pures Appl. 15 (1936), 391--409

    work page 1936

  6. [6]

    Fava, Weak type inequalities for product operators, Studia Math

    N. Fava, Weak type inequalities for product operators, Studia Math. 42 (1972), 271--288

    work page 1972

  7. [7]

    Fern \'a ndez, An \'a lisis de Fourier en el toro infinito-dimensional , Ph.D

    E. Fern \'a ndez, An \'a lisis de Fourier en el toro infinito-dimensional , Ph.D. thesis, Universidad de La Rioja, 2019

    work page 2019

  8. [8]

    Fern \'a ndez, L

    E. Fern \'a ndez, L. Roncal, A decomposition of Calder \'o n--Zygmund type and some observations on differentiation of integrals on the infinite-dimensional torus , Potential Anal. 53 (2020), 1449--1465

    work page 2020

Show all 26 references
  1. [9]

    Folland, Real Analysis: Modern Techniques and Their Applications, Wiley, New York, 1999

    G.B. Folland, Real Analysis: Modern Techniques and Their Applications, Wiley, New York, 1999

    1999

  2. [10]

    Hagelstein, Differentiation of integrals: a contemporary overview, Pure Appl

    P.A. Hagelstein, Differentiation of integrals: a contemporary overview, Pure Appl. Funct. Anal. 9 (2024), 1115--1131

    2024

  3. [11]

    Hagelstein, Current perspectives on the Halo Conjecture, Adv

    P.A. Hagelstein, Current perspectives on the Halo Conjecture, Adv. Nonlinear Stud. (2024), available at: https://doi.org/10.1515/ans-2023-0157

    2024 doi

  4. [12]

    Hagelstein, B

    P.A. Hagelstein, B. Radillo-Murguia, A.M. Stokolos, Probabilistic construction of Kakeya-type sets in ^2 associated to separated sets of directions, preprint, available at: https://arxiv.org/abs/2405.17674

    arXiv

  5. [13]

    Hagelstein, B

    P.A. Hagelstein, B. Radillo-Murguia, A.M. Stokolos, Remarks on the construction of K_ sets associated to trees not satisfying a separation condition, preprint, available at: https://arxiv.org/abs/2409.12280

    arXiv

  6. [14]

    Hagelstein, A.M

    P.A. Hagelstein, A.M. Stokolos, Tauberian conditions for geometric maximal operators, Trans. Amer. Math. Soc. 361 (2009), 3031--3040

    2009

  7. [15]

    Hagelstein, A.M

    P.A. Hagelstein, A.M. Stokolos, L^p( R^2) bounds for geometric maximal operators associated with homothecy invariant convex bases, Indiana Univ. Math. J. 73 (2024), 1443--1451

    2024

  8. [16]

    Hayes, Differentiation with respect to -pseudo-strong blankets and related problems, Proc

    C.A. Hayes, Differentiation with respect to -pseudo-strong blankets and related problems, Proc. Amer. Math. Soc. 3 (1952), 283--296

    1952

  9. [17]

    Hayes, Differentiation of some classes of set functions, Math

    C.A. Hayes, Differentiation of some classes of set functions, Math. Proc. Cambridge Philos. Soc. 48 (1952), 374--382

    1952

  10. [18]

    Hayes, A sufficient condition for the differentiation of certain classes of set functions, Math

    C.A. Hayes, A sufficient condition for the differentiation of certain classes of set functions, Math. Proc. Cambridge Philos. Soc. 54 (1958), 346--353

    1958

  11. [19]

    Hayes, Derivation of the integrals of L (q) -functions , Pacific J

    C.A. Hayes, Derivation of the integrals of L (q) -functions , Pacific J. Math. 64 (1976), 173--180

    1976

  12. [20]

    Hayes, Necessary and sufficient conditions for the derivation of integrals of L -functions , Trans

    C.A. Hayes, Necessary and sufficient conditions for the derivation of integrals of L -functions , Trans. Amer. Math. Soc. 223 (1976), 385--395

    1976

  13. [21]

    Hayes, C.Y

    C.A. Hayes, C.Y. Pauc, Full individual and class differentiation theorems in their relations to halo and Vitali properties, Canadian J. Math. 7 (1955), 221--274

    1955

  14. [22]

    Jessen, J

    B. Jessen, J. Marcinkiewicz, A. Zygmund, Note on the differentiability of multiple integrals, Fund. Math. 25 (1935), 217--234

    1935

  15. [23]

    Kosz, On differentiation of integrals in the infinite-dimensional torus, Studia Math

    D. Kosz, On differentiation of integrals in the infinite-dimensional torus, Studia Math. 258 (2021), 103--119

    2021

  16. [24]

    D. Kosz, J. Mart \'i nez-Perales, V. Paternostro, E. Rela, L. Roncal, Maximal operators on the infinite-dimensional torus, Math. Ann. 385 (2023), 1--39

    2023

  17. [25]

    D. Kosz, G. Rey, L. Roncal, Weak-type maximal function estimates on the infinite-dimensional torus, Math. Z. 304 (2023), article no. 43

    2023

  18. [26]

    Rubio de Francia, Nets of subgroups in locally compact groups, Comment

    J.L. Rubio de Francia, Nets of subgroups in locally compact groups, Comment. Math. Prace Mat. 20 (1977/78), 453--466

    1977

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.