REVIEW 2 major objections 2 minor 32 references
Lacunary Series, Nonlinear Functionals and Banach Space Structure
T0 review · 2 major / 2 minor · reviewed 2026-06-27 · grok-4.3
Pith's one-line read Asymptotics for lacunary series extend to nonlinear functionals of the terms, supporting uniform subsequence principles and Kadec-Pelczynski theorems in Orlicz spaces.
desk verdict Extends lacunary asymptotics to nonlinear functionals and Orlicz spaces but transfer of estimates from prior work needs checking. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
Lacunary estimates on the asymptotic p-norms of partial sums, applied now to nonlinear functionals and to the Orlicz norm in L_ψ.
What would settle it
An explicit nonlinear functional or Orlicz function ψ for which the norm asymptotics of the lacunary sums deviate from the linear case.
Extended reading notes
Core claim
The asymptotic behavior of ||sum a_k X_nk||_p for lacunary sequences carries over to the nonlinear functionals f_k, yielding a uniform subsequence principle of Aldous and permitting Kadec-Pelczynski theorems to be established in the Orlicz spaces L_ψ.
Load-bearing premise
The lacunary estimates continue to control the norms when the functionals become nonlinear or the space becomes an Orlicz space L_ψ.
Editorial extensions
If this is right
- A uniform version of Aldous' subsequence principle holds for the nonlinear functionals.
- Kadec-Pelczynski type theorems apply inside every Orlicz space L_ψ.
- The first alternative of the Kadec-Pelczynski theorem admits a necessary and sufficient condition in these spaces.
- Structural properties of the linear lacunary case transfer to the nonlinear setting.
Reading between the lines
- The same estimates may govern other classes of functionals whose growth is controlled by the Orlicz function.
- The results suggest that lacunary structure can be used to classify subspaces in a wider family of rearrangement-invariant spaces.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript extends the authors' prior work [BT] on the asymptotic behavior of ||∑ a_k X_{n_k}||_p for lacunary sequences (X_{n_k}) in L_p (1 ≤ p < 2) to nonlinear functionals f_k(a_1 X_{n_1}, …, a_k X_{n_k}), proving a uniform version of Aldous' subsequence principle. It further establishes Kadec-Pelczynski type theorems in Orlicz spaces L_ψ.
Significance. If the central extensions hold, the results broaden the scope of subsequence principles and structural dichotomies from L_p to nonlinear settings and Orlicz spaces, providing necessary and sufficient conditions that could apply more widely in Banach space theory. The reliance on lacunary estimates from [BT] is a potential strength if the transfer is justified without hidden restrictions.
major comments (2)
- [nonlinear functionals section / abstract claim] The extension to nonlinear functionals (stated in the abstract and developed in the main body): the uniform Aldous subsequence principle is claimed to follow directly from the lacunary norm asymptotics of [BT], but no explicit growth, continuity, or measurability conditions on the f_k are stated that would guarantee the same asymptotic equivalence holds; without such controls the higher-order terms in the nonlinear case can invalidate the dichotomy.
- [Orlicz spaces section] The Kadec-Pelczynski theorems in L_ψ (final section): the argument transfers the L_p dichotomy to the Orlicz modular ∫ ψ(|∑ a_k X_{n_k}|), but does not address whether ψ satisfies Δ₂ or other regularity conditions; if Δ₂ fails, the modular is not equivalent to an L_p norm and the subsequence alternatives may not reduce to the same form as in [BT].
minor comments (2)
- [Introduction] Notation for the sequence (X_{n_k}) and the functionals f_k should be introduced with a single consistent definition early in the paper rather than piecemeal.
- [Introduction] The citation to Aldous [ald] and the precise statement of the subsequence principle being uniformized should be recalled explicitly before the new theorem.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments. We address the two major points below, agreeing that additional explicit conditions are needed for rigor and will revise the manuscript accordingly.
read point-by-point responses
-
Referee: [nonlinear functionals section / abstract claim] The extension to nonlinear functionals (stated in the abstract and developed in the main body): the uniform Aldous subsequence principle is claimed to follow directly from the lacunary norm asymptotics of [BT], but no explicit growth, continuity, or measurability conditions on the f_k are stated that would guarantee the same asymptotic equivalence holds; without such controls the higher-order terms in the nonlinear case can invalidate the dichotomy.
Authors: We agree that the manuscript does not explicitly state the necessary conditions on the f_k. To justify the transfer of the asymptotic equivalence from the linear lacunary estimates in [BT] and to prevent higher-order terms from invalidating the dichotomy, we will add the following assumptions in a revised version: each f_k is continuous, measurable with respect to the sigma-algebra generated by its arguments, and satisfies a linear growth bound of the form |f_k(x_1,…,x_k)| ≤ C ∑|x_i| for some constant C independent of k. These conditions ensure the nonlinear case reduces to the linear one asymptotically, supporting the uniform Aldous subsequence principle. revision: yes
-
Referee: [Orlicz spaces section] The Kadec-Pelczynski theorems in L_ψ (final section): the argument transfers the L_p dichotomy to the Orlicz modular ∫ ψ(|∑ a_k X_{n_k}|), but does not address whether ψ satisfies Δ₂ or other regularity conditions; if Δ₂ fails, the modular is not equivalent to an L_p norm and the subsequence alternatives may not reduce to the same form as in [BT].
Authors: The referee is correct that the Δ₂ condition is required for the modular to be equivalent to a norm and for the dichotomy to transfer in the same form. We will revise the final section to explicitly assume that ψ satisfies the Δ₂-condition (at zero and at infinity, as appropriate for the range 1 ≤ p < 2). Under this standard regularity assumption the Orlicz space L_ψ behaves analogously to L_p, allowing the Kadec-Pelczynski type theorems to hold as claimed. We note that without Δ₂ the results would require a different formulation, but our theorems are stated under the Δ₂ hypothesis. revision: yes
Circularity Check
No significant circularity; extensions to nonlinear functionals and Orlicz spaces add independent content beyond [BT]
full rationale
The paper explicitly references prior work [BT] only for the linear lacunary norm asymptotics in L_p and then claims new extensions to nonlinear f_k and to L_ψ. No equations or statements in the provided abstract or description reduce the new uniform Aldous subsequence principle or the Kadec-Pelczynski theorems in Orlicz spaces to quantities already fixed by definition or fit in [BT]. The self-citation supplies background results but does not serve as the sole justification for the central claims; the derivations for the nonlinear and Orlicz cases are presented as additional work. This matches the default expectation of a non-circular extension paper.
Assumptions & free parameters
Cite this review
Pith. "Pith review of Lacunary Series, Nonlinear Functionals and Banach Space Structure." pith.science (2026). https://pith.science/paper/ES3VAVPT
@misc{pith2026260607055,
author = {Pith},
title = {Pith review of: Lacunary Series, Nonlinear Functionals and Banach Space Structure},
year = {2026},
howpublished = {\url{https://pith.science/paper/ES3VAVPT}},
note = {Machine review of arXiv:2606.07055}
}
abstract
In a previous paper \cite{BT} we studied the asymptotic behavior of $\| \sum_{k=1}^N a_k X_{n_k}\|_p$ for lacunary sequences $(X_{n_k})$ of random variables in $L_p$ and used the result to give a necessary and sufficient condition for the first alternative in the Kadec-Pe{\l}czynski theorem in the case $1\le p<2$. In the present paper we extend this result for nonlinear functionals $f_k (a_1 X_{n_1}, \ldots, a_k X_{n_k})$, establishing a uniform version of the subsequence principle of Aldous \cite{ald}. Moreover, we prove Kadec-Pe{\l}czynski type theorems in Orlicz spaces $L_\psi$.
Reference graph
Works this paper leans on
-
[1]
Ansorena and G
J. Ansorena and G. Bello, Unconditional basic sequences in function spaces with applications to Orlicz spaces, Positivity29(2024), no. 1
2024
-
[2]
Aldous, Limit theorems for subsequences of arbitrarily-dependent sequences of random variables,Z
D.J. Aldous, Limit theorems for subsequences of arbitrarily-dependent sequences of random variables,Z. Wahrscheinlichkeitstheorie verw. Gebiete40(1977), 59–82
1977
-
[3]
S. V. Astashkin, Independent functions in rearrangement invariant spaces and the Kruglov property,Sbornik: Mathematics199(2008), no. 7
2008
-
[4]
S. V. Astashkin, Sequences of independent functions and structure of rearrangement invariant spaces.Russian Math. Surveys79(2024), no. 3, 375–457
2024
-
[5]
S. V. Astashkin, M. Leibov and L. Maligranda, Rademacher functions in BMO.Studia Math.205(2011), 83–100
2011
-
[6]
Bennett and R
C. Bennett and R. C. Sharpley,Interpolation of Operators, Academic Press, 1988
1988
-
[7]
Berkes, On almost symmetric sequences inLp.Acta Math
I. Berkes, On almost symmetric sequences inLp.Acta Math. Hung.54(1989), 269–278
1989
-
[8]
Berkes and H
I. Berkes and H. P. Rosenthal, Almost exchangeable sequences of random variables,Z. Wahrscheinlichkeits- theorie verw. Gebiete70(1985), 473–507
1985
Show all 32 references
-
[9]
Berkes, E
I. Berkes, E. Stefanescu and R. Tichy, A Marcinkiewicz–Zygmund inequality and the Kadec Pełczyński theorem in Orlicz spaces, arXiv:2506.04025, 2025
2025 arXiv
-
[10]
Berkes and R
I. Berkes and R. Tichy, The Kadec–Pełczyński theorem inLp,1 ≤p <2,Proc. Amer. Math. Soc.144 (2016), 2053–2066
2016
-
[11]
Berkes and R
I. Berkes and R. Tichy, Lacunary series and stable distributions. In:Mathematical statistics and limit theorems. Festschrift for P. Deheuvels. M. Hallin, D.M. Mason, D. Pfeifer, J. Steinebach (eds.), Springer, 2015, pp. 7–19
2015
-
[12]
Billingsley,Convergence of Probability Measures, Wiley, New York, 1968
P. Billingsley,Convergence of Probability Measures, Wiley, New York, 1968
1968
-
[13]
S. D. Chatterji, Un principe de sous-suites dans la théorie des probabilités. (French)Séminaire de Probabilités, VI(Univ. Strasbourg, année universitaire 1970–1971; Journées Probabilistes de Strasbourg, 1971), pp. 72–89, Lecture Notes in Math., Vol. 258, Springer, Berlin–New Y...
1970
-
[14]
V. F. Gaposhkin, Lacunary Series and Independent Functions,Russian Mathematical Surveys21(1966), no. 6
1966
-
[15]
Guerre, Types and suites symétriques dansLp,1≤p <+∞,Israel J
S. Guerre, Types and suites symétriques dansLp,1≤p <+∞,Israel J. Math.53(1986), 191–208
1986
-
[16]
W. B. Johnson, B. Maurey, G. Schechtman and L. Tzafriri, Symmetric structures in Banach spaces,Memoirs of the AMS, No. 217, Providence, 1979
1979
-
[17]
Kadec and A
M.A. Kadec and A. Pełczyński, Bases, lacunary sequences and complemented subspaces in the spacesLp. Studia Math.21(1962), 161–176
1962
-
[18]
Khinchin, Über dyadische Brüche.Math
A.Y. Khinchin, Über dyadische Brüche.Math. Z.18(1923), 109–116
1923
-
[19]
Krulić Himmelreich, J
K. Krulić Himmelreich, J. Pečarić and D. Pokaz,Inequalities of Hardy and Jensen. New Hardy type inequalities with general kernels, Monographs in Inequalities 6, Element, Zagreb, 2013
2013
-
[20]
Kolwicz, K
P. Kolwicz, K. Leśnik and L. Maligranda, Pointwise products of some Banach function spaces and factorization. J. Funct. Anal.266(2014), no. 2, 616–659
2014
-
[21]
Komlós, Every sequence converging to 0 weakly inL2 contains an unconditional convergence sequence
J. Komlós, Every sequence converging to 0 weakly inL2 contains an unconditional convergence sequence. Ark. Mat.12(1974), 41–49
1974
-
[22]
2, 119–146
Lindberg, K., On subspaces of Orlicz sequences spaces.Studia Mathematica45(1973), no. 2, 119–146
1973
-
[23]
Maligranda,Orlicz Spaces and Interpolation
L. Maligranda,Orlicz Spaces and Interpolation. Sem. Math. 5 (1989)
1989
-
[24]
Marczinkiewicz and A
J. Marczinkiewicz and A. Zygmund, Quelques théoremes sur les fonctions indépendantes.Math. Z.7(1938), 104–120
1938
-
[25]
Marczinkiewicz and A
J. Marczinkiewicz and A. Zygmund, Sur les fonctions indépendantes.Fund. Math.28(1937), 60–90
1937
-
[26]
Marczinkiewicz and A
J. Marczinkiewicz and A. Zygmund, Some theorems on orthogonal systems.Fund. Math.28(1937), no. 1, 309–335
1937
-
[27]
Ranga Rao, Relations between weak and uniform convergence of measures with applications,Ann
R. Ranga Rao, Relations between weak and uniform convergence of measures with applications,Ann. Math. Statist.33(1962), 659–680. LACUNARY SERIES, NONLINEAR FUNCTIONALS AND BANACH SPACE STRUCTURE 11
1962
-
[28]
Rodin and E.M
V.A. Rodin and E.M. Semnov, Rademacher series in rearrangement invariant spaces.Anal. Math.1(1975), no. 3, 207–222
1975
-
[29]
Rosenthal, On the subspaces ofLp (p > 2)spanned by sequences of independent random variables
H.P. Rosenthal, On the subspaces ofLp (p > 2)spanned by sequences of independent random variables. Israel J. Math.8(1970), 273–303
1970
-
[30]
Rosenthal, On the span inLp of sequences of independent random variables.Proc
H.P. Rosenthal, On the span inLp of sequences of independent random variables.Proc. 6th Berkeley Symp. Math. Stat. Probab., Vol II: Probability Theory, pp. 149–167, Univ. Of California Press, 1972
1972
-
[31]
Smithies, Convex Functions and Orlicz Spaces
F. Smithies, Convex Functions and Orlicz Spaces. By M. A. Krasnosel’skii and Y. B. Rutickii. Dfl 18. 1961. (Noordhoff, Groningen).The Mathematical Gazette47(1963), 266–267. https://doi.org/10.2307/3613435
1961 doi
-
[32]
Ulyanov, Solved and unsolved problems in the theory of trigonometric and orthogonal series.Uspehi Mat
P. Ulyanov, Solved and unsolved problems in the theory of trigonometric and orthogonal series.Uspehi Mat. Nauk19(1964), no. 1, 3–59. (In Russian). Institut für Analysis und Zahlentheorie, TU Graz, Steyrergasse 30, 8010 Graz, Austria Email address:berkes@renyi.hu Email address:...
1964
Reviewed June 27, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.