REVIEW 3 major objections 5 minor 52 references
Fluctuations for diameter and perimeter of convex hulls of multiple random walks
T0 review · 3 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read For random walks with finite second moments, hull fluctuations are governed by the drift polygon, with explicit non-Gaussian limits in all exceptional two-walk cases.
desk verdict Substantial paper completing the two-walk fluctuation picture for convex hulls with genuinely new non-Gaussian limits; the diameter limit statement has a missing centering constant, and the §7.2 Berry-Esseen step needs a verified citation. 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
The load-bearing object is an L2-approximation framework: the hull H_n is approximated, in mean square and at sqrt(n) scale, by a simpler set G_n built from the trajectories and endpoints of only the boundary-relevant walks, together with explicit one-dimensional projection approximations for distances. For perimeter, the machinery also uses Cauchy's formula to write perimeter as the integral of the support function over angles, and a martingale-difference resampling device (resampling the i-th increment of each walk) that reduces the centred perimeter to a sum of conditional expectations, ultimately converging to a stochastic integral via semimartingale convergence criteria. The one-dimensional Wald maximal central limit theorem serves as the prototype for why running maxima can replace endpoints in these approximations.
What would settle it
Simulate two independent planar random walks with identical non-zero drift and identity increment covariance, measure $n^{{-1/2}}$(L_n - E[L_n]) at large n, and check that the limiting sample variance equals 6 - pi (about 2.8584); a different value would falsify Theorem 7.1(ii).
Extended reading notes
Core claim
On the paper's own terms, the convex hull H_n of N walks with finite second moments is, after division by n, asymptotically the drift polygon C_mu = hull{0, mu_1,..., mu_N}. The paper's central discovery is that the next-order fluctuations are carried by a small, explicit list of random ingredients: endpoints of walks whose drifts are extremal vertices of C_mu, running maxima of one-dimensional projections of walks with non-zero drift, and Brownian support-function or semi-perimeter terms coming from zero-drift walks. For two walks this yields a complete dichotomy: the generic Gaussian limits previously known are complemented by non-Gaussian limits in every exceptional case, including an Itô-integral characterization of the perimeter when both drifts coincide.
Load-bearing premise
The most delicate premise is that, for two walks with the same non-zero drift, the conditional probability that one walk's running maximum exceeds the other's is uniformly approximated by Phi(A_{n,i}(theta)) with a Berry-Esseen rate; this uniform approximation is what carries the Itô-integral representation.
Editorial extensions
If this is right
- For two walks, every open case in the earlier Gaussian theory now has an explicit limit: equal non-zero drifts give an Itô-integral perimeter limit, one zero drift gives a Gaussian plus a Brownian semi-perimeter, and isosceles or equilateral drift triangles give maxima of (possibly correlated) Gaussians for diameter.
- The variance of the centered perimeter converges to explicit constants; for two identical walks with identity covariance and equal non-zero drift, n^{-1} Var(L_n) tends to 6 - pi, about 2.8584.
- When the origin lies in the interior of the drift polygon and the extremal drift vertices are distinct, the perimeter of N walks obeys a Gaussian CLT with a closed-form variance.
- For general N, the diameter has a max-type limit built from independent Gaussian and Brownian-extreme components, indexed by the diametrical pairs of the drift polygon.
- The L2 approximation is strong enough to give convergence of variance and, with minor modifications, extends to walks whose increments are dependent across walks.
Reading between the lines
- A natural extension is to export the same L2-approximation scheme to higher-dimensional walks; the main obstruction there is the richer face structure of the drift polytope, not the martingale approximations.
- The leader-probability asymptotics developed for the equal-drift case suggest quantitative answers to persistence-type questions about which of two identically drifted walks holds the running maximum over long time intervals.
- Conjecture 8.1 indicates the perimeter for N >= 3 should depend only on a thin boundary layer of each relevant trajectory; if true, the limiting perimeter laws for generic large N would be built from the same Gaussian and Brownian-support-function ingredients identified here.
- The explicit Itô-integral limit could be tested empirically by computing skewness or by comparing the empirical variance ratio to 6 - pi, which would distinguish the non-Gaussian law from a normal approximation in simulations.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops an L2-approximation framework for the diameter and perimeter of the convex hull generated by N independent planar random walks whose increments have finite second moments. For the diameter it proves a general max-type limit theorem (Theorem 5.1 and Theorem 5.2) expressed in terms of Gaussian projections and Brownian infimum functionals. For the perimeter it completes the picture for N=2: Theorem 6.2 covers one zero-drift and one non-zero-drift walk, giving a Gaussian plus semi-perimeter Brownian limit; Theorem 7.1 covers two walks with the same non-zero drift, giving a limit described by an Itô integral. For N≥3, Corollary 4.3 and Corollary 4.4 give perimeter limits when the origin is in the interior of the drift polygon. The paper also provides variance asymptotics, including the explicit constant 6−π in the identity-covariance same-drift case, and claims optimality of the finite-second-moment condition.
Significance. If the technical issues identified below are resolved, this is a significant contribution. It completes the N=2 classification left open by earlier work, introduces a unifying L2/Wald-type framework that is likely to be useful beyond the present setting, and identifies genuinely non-Gaussian limits (max-type, Brownian semi-perimeter, and Itô-integral) in previously inaccessible degenerate cases. The paper is unusually explicit about limit variances and includes detailed proofs of the one-dimensional Wald ingredients rather than simply citing them. The explicit falsifiable predictions, such as the variance limit 6−π, and the systematic treatment of boundary cases are clear strengths.
major comments (3)
- [Theorem 5.2 and Corollary 5.5] The distributional statement in Theorem 5.2, second display, and in Corollary 5.5(i)-(iv), is not centred. The left-hand side is (D_n - E[D_n])/sqrt(n), which has mean zero, while the right-hand side max(...) has strictly positive mean: a maximum of non-degenerate zero-mean Gaussians has positive mean, and the variables xi_{i,j} are nonnegative with positive mean. The stated convergence is therefore false as written. The limit must be the centred version, for example max(...) - E[max(...)]. This also affects the variance-asymptotics claim in Remark 5.3(a).
- [Theorem 5.2, equations (5.7)-(5.9)] The specification of the Gaussian variables zeta is inconsistent with the L2 approximation proved in the same theorem. Under that approximation, the endpoint projections have asymptotic variances sigma^2_{i,j} and sigma^2_j, not 4 sigma^2_e. For N=1 this is an internal contradiction: Theorem 3.1 gives the limit N(0,sigma^2_1), while Theorem 5.2 combined with (5.8) would give N(0,4 sigma^2_1). There is also a sign issue in (5.9): for e1=(0,j) and e2=(j,k), both projections involve S(j) with coefficient +1, so the covariance should be + bmu_j^T Sigma_j bmu_{j,k}, whereas the rule e1 oplus e2 = -1 gives the negative value. These errors change the max-type limit laws in Corollary 5.5(ii)-(iii) and need to be corrected before the diameter results can be accepted.
- [Section 7.2, equations (7.28)-(7.29)] The fifth approximation uses a weighted Berry-Esseen bound of the form |P( sum_{j=i+1}^n e_theta^T Delta Z_j / sqrt((n-i) sigma^2(theta)) <= A | F_{i-1}) - Phi(A)| <= C E[ |e_theta^T Delta Z_1|^2 g(|e_theta^T Delta Z_1|) ] / g(sqrt(n-i)), attributed to [18, Theorem 6.6.3]. This is load-bearing: it is exactly the estimate that gives n^{-1} sum_i E[(R5_{n,i})^2] -> 0 and hence the Ito-integral representation (7.3). The cited textbook theorem appears to be the classical Berry-Esseen theorem under a finite third moment, and the g-weighted finite-second-moment version is not proved in the paper. The authors should either provide a self-contained proof of this weighted bound (for example by citing and verifying the hypotheses of a Bikelis-type theorem, including the claimed monotonicity of g and x/g(x)) or state and prove the additional moment assumption needed. As it stands, the proof of Theorem 7.1 has a gap at this step.
minor comments (5)
- [Theorem 4.1 and equation (4.5)] The notation in the display of Theorem 4.1 and in equation (4.5) is missing a parenthesis: it should be rho_H(H_n,G_n), not rho_H(H_n,G_n).
- [Proof of Theorem 5.1] In the last paragraph of the proof, the same expression 'n^{-1/2}(D_n - diam A_n) -> 0' appears twice; the second occurrence should presumably refer to Gamma_mu(n,0) or to the corresponding approximation for diam A_n.
- [Introduction, Section 1.1] There is a typo in 'Gaussian, as was was known already for N in {1,2} walks'; 'was was' should be 'was'.
- [Section 7.3 and Appendix D] There are minor typos such as 'to chcek' in Section 7.3, and the sentence in Section 7.2 about the random variables iN_k being identically distributed as N_k is grammatically awkward. These do not affect the mathematics.
- [Abstract and Appendix C] The abstract says the diameter results cover N>=2, but Theorem 5.2 excludes the all-zero-drift case; that case is treated separately in Appendix C. It would be helpful to mention this qualification in the abstract or in the overview of results.
Circularity Check
No significant circularity; new non-Gaussian limits are derived from L2 approximations and external limit theorems, not from fitted inputs or self-referential constructions.
full rationale
The derivation chain is self-contained in the required sense. The new non-Gaussian limits (Theorems 5.2, 6.2, 7.1) are obtained by martingale-difference L2 approximations that reduce the hull statistics to endpoint, maximal-projection, and Brownian support-function terms; the final limits are then identified by the CLT, Donsker's theorem, and stochastic-integral convergence criteria. No parameter is fitted to the quantity being 'predicted'; the limit functionals (e.g., the Itô integral in (7.3) and the semi-perimeter xi in Theorem 6.2) are outputs of the proof, not inputs. Prior same-author results ([20], [31], [48], [49]) are used as established published theorems with independent proofs, and several key ingredients (Wald-type L2 approximation in Sections 2-3, uniform integrability in Appendix A) are reproved in the paper. A minor statement error in the centring of Theorem 5.2/Corollary 5.5 (omitted -E[xi]) affects the displayed formula but not the approximation structure, and the Section 7.2 Berry-Esseen step is a possible technical gap concerning finite-second-moment uniformity, not a circularity. The paper also explicitly flags open cases (Conjecture 8.1), consistent with a genuine derivation rather than a construction that presupposes its conclusions.
Assumptions & free parameters
assumptions (7)
- standard math Donsker's theorem and functional CLT for finite-variance i.i.d. increments
- standard math Cauchy's formula for the perimeter of a compact convex set as integral of its support function
- standard math Wald's maximal CLT and L2 approximation for one-dimensional random walk
- standard math Burkholder martingale inequalities and uniform square-integrability
- standard math Rogers-Shepp formula for correlation of maxima of correlated one-dimensional Brownian motions
- domain assumption Independence and finite second moments of increments of each walk
- domain assumption Gaussian Brownian motions W+ and W- with specified covariance and cross-covariance exist in Theorem 7.1
Cite this review
Pith. "Pith review of Fluctuations for diameter and perimeter of convex hulls of multiple random walks." pith.science (2026). https://pith.science/paper/7WCO46IR
@misc{pith2026250917590,
author = {Pith},
title = {Pith review of: Fluctuations for diameter and perimeter of convex hulls of multiple random walks},
year = {2026},
howpublished = {\url{https://pith.science/paper/7WCO46IR}},
note = {Machine review of arXiv:2509.17590}
}
abstract
We study the diameter and perimeter of the convex hull generated by finitely many independent planar random walks whose increments have finite second moments. The large-time fluctuations are governed by the geometry of the polygon formed by the drift vectors. We develop an $L^2$-approximation framework, based on Wald-type maximal central limit theorems, which reduces the asymptotic analysis of the hull to a finite collection of endpoint, maximal-projection, and Brownian support-function terms. For the diameter, we obtain general max-type limit theorems, Gaussian in the case of a unique extremal diametrical pair and typically non-Gaussian when several extremal pairs compete. For the perimeter, we prove a general distributional limit: non-zero extremal drifts contribute maxima of Gaussian projections, while zero-drift extremal walks contribute Brownian support-function terms. The results recover the previously known Gaussian regimes (the case of one or two walks) and identify the non-Gaussian limits in the degenerate and boundary cases left open (even for two walks). We also give $L^2$ approximations of the convex hull by simpler random sets, under Hausdorff and $\ell_1$ metrics on compact convex sets. Our proofs work under the optimal finite second moment assumption.
Figures
Reference graph
Works this paper leans on
-
[1]
A. Akopyan and V. Vysotsky. Large deviations of convex hulls of planar random walks and Brownian motions.Ann. H. Lebesgue4 (2021), pp. 1163–1201
work page 2021
-
[2]
G. Alsmeyer, Z. Kabluchko, A. Marynych, and V. Vysotsky. How long is the convex mi- norant of a one-dimensional random walk?Electron. J. Probab.25 (2020), Paper No. 105, 22pp
work page 2020
-
[3]
D.Bang,J.GonzálezCázares,andA.Mijatović.Asymptoticshapeoftheconcavemajorant of a Lévy process.Ann. H. Lebesgue5 (2022), pp. 779–811
work page 2022
-
[4]
Billingsley.Convergence of probability measures
P. Billingsley.Convergence of probability measures. 2nd ed. New York: John Wiley & Sons, Inc., 1999
work page 1999
-
[5]
W. F. Blair. A study of prairie deer-mouse populations in southern Michigan.Amer. Midl. Nat.24 (1940), pp. 273–305
work page 1940
-
[6]
T. Bonnesen and W. Fenchel.Theorie der konvexen Körper. Corrected Reprint. Berlin-New York: Springer-Verlag, 1974
work page 1974
-
[7]
Y. S. Chow and H. Teicher.Probability theory. 3rd ed. New York: Springer-Verlag, 1997
work page 1997
-
[8]
E. A. Codling, M. J. Plank, and S. Benhamou. Random walk models in biology.J. Royal Soc. Interface5 (2008), pp. 813–834
work page 2008
Show all 52 references
-
[9]
Cygan, H
W. Cygan, H. Panzo, and S. Šebek. Bounds on the size of the convex hull of planar Brownian motion and related inverse processes.J. Korean Math. Soc. (to appear)(2025), 31pp
2025
-
[10]
Cygan, N
W. Cygan, N. Sandrić, and S. Šebek. Convex hulls of stable random walks.Electron. J. Probab.27 (2022), Paper No. 98, 30pp
2022
-
[11]
Home and seasonal ranges of the eastern cottontail in Connecticut
P. D. Dalke and P. R. Sime. “Home and seasonal ranges of the eastern cottontail in Connecticut”. In:Transactions of the Third North American Wildlife Conference. 1938, pp. 659–669
1938
-
[12]
Dellacherie and P.-A
C. Dellacherie and P.-A. Meyer.Probabilities and potential. Amsterdam-New York: North- Holland Publishing Co., 1978. 45
1978
-
[13]
Dewenter, G
T. Dewenter, G. Claussen, A. Hartmann, and S. N. Majumdar. Convex hulls of multiple random walks: A large-deviation study.Phys. Rev. E94 (2016), Paper No. 052120, 11pp
2016
-
[14]
Feller.An introduction to probability theory and its applications
W. Feller.An introduction to probability theory and its applications. Vol. II. 2nd ed. New York: John Wiley & Sons, Inc., 1971
1971
-
[15]
home range
J. Fieberg and L. Boerger. Could you please phrase “home range” as a question?J. Mam- mal.93 (2012), pp. 890–902
2012
-
[16]
A. Florian. On a metric for the class of compact convex sets.Geom. Dedicata30 (1989), pp. 69–80
1989
-
[17]
P. M. Gruber.Convex and discrete geometry. Berlin: Springer, 2007
2007
-
[18]
Gut.Probability: a graduate course
A. Gut.Probability: a graduate course. 2nd ed. New York: Springer, 2013
2013
-
[19]
Gut.Stopped random walks
A. Gut.Stopped random walks. 2nd ed. New York: Springer, 2009
2009
-
[20]
Ivanković, T
D. Ivanković, T. Kralj, N. Sandrić, and S. Šebek. On the convex hull of two planar random walks.Preprint ArXiv:2403.17705(2024), 36pp
2024
-
[21]
Jacod and A
J. Jacod and A. N. Shiryaev.Limit theorems for stochastic processes. 2nd ed. Berlin: Springer, 2003
2003
-
[22]
Kabluchko, V
Z. Kabluchko, V. Vysotsky, and D. Zaporozhets. Convex hulls of random walks, hyperplane arrangements, and Weyl chambers.Geom. Funct. Anal.27 (2017), pp. 880–918
2017
-
[23]
Kampf, G
J. Kampf, G. Last, and I. Molchanov. On the convex hull of symmetric stable processes. Proc. Amer. Math. Soc.140 (2012), pp. 2527–2535
2012
-
[24]
Khoshnevisan
D. Khoshnevisan. Local asymptotic laws for the Brownian convex hull.Probab. Theory Related Fields93 (1992), pp. 377–392
1992
-
[25]
On the Limiting Behaviour of Geometric Functionals of Convex Hulls of Random Walks
T. Kralj. “On the Limiting Behaviour of Geometric Functionals of Convex Hulls of Random Walks”. PhD thesis. University of Zagreb, 2024
2024
-
[26]
Letac and L
G. Letac and L. Takács. Problems and Solutions: Solutions of Advanced Problems: 6230. Amer. Math. Monthly87 (1980), p. 142
1980
-
[27]
P. Lévy. Le caractère universel de la courbe du mouvement brownien et la loi du logarithme itéré.Rend. Circ. Mat. Palermo (2)4 (1955), pp. 337–366
1955
-
[28]
C. H. Lo, J. McRedmond, and C. Wallace. Functional limit theorems for random walks. Preprint ArXiv:1810.06275(2018), 52pp
2018 arXiv
-
[29]
S. N. Majumdar, A. Comtet, and J. Randon-Furling. Random convex hulls and extreme value statistics.J. Stat. Phys.138 (2010), pp. 955–1009
2010
-
[30]
Convex Hulls of Random Walks
J. McRedmond. “Convex Hulls of Random Walks”. PhD thesis. Durham University, 2019
2019
-
[31]
McRedmond and A
J. McRedmond and A. R. Wade. The convex hull of a planar random walk: Perimeter, diameter, and shape.Electron. J. Probab.23 (2018), Paper No. 131, 24pp
2018
-
[32]
P. R. Moorcroft and M. A. Lewis.Mechanistic home range analysis. Princeton, NJ: Prince- ton University Press, 2006
2006
-
[33]
J. M. Morales, D. T. Haydon, J. Frair, K. E. Holsiner, and J. M. Fryxell. Extracting more out of relocation data: Building movement models as mixtures of random walks.Ecology 85 (2004), pp. 2436–2445
2004
-
[34]
E. B. Nilsen, S. Pedersen, and J. D. C. Linnell. Can minimum convex polygon home ranges be used to draw biologically meaningful conclusions?Ecol. Research23 (2008), pp. 635– 639
2008
-
[35]
Nourdin and G
I. Nourdin and G. Peccati.Normal approximations with Malliavin calculus. Cambridge: Cambridge University Press, 2012, pp. xiv+239
2012
-
[36]
E. P. Odum and E. J. Kuenzler. Measurement of territory and home range size in birds. The Auk72 (1955), pp. 128–137
1955
-
[37]
Randon-Furling and D
J. Randon-Furling and D. Zaporozhets. Convex hulls of several multidimensional Gaussian random walks.Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI)505 (2021), pp. 244–281
2021
-
[38]
Randon-Furling
J. Randon-Furling. Convex hull ofnplanar Brownian paths: an exact formula for the average number of edges.J. Phys. A46 (2013), p. 015004
2013
-
[39]
Randon-Furling, S
J. Randon-Furling, S. N. Majumdar, and A. Comtet. Convex hull ofNplanar Brownian motions:Exactresultsandanapplicationtoecology.Phys. Rev. Lett.103(2009),p.140602. 46
2009
-
[40]
L. C. G. Rogers and L. Shepp. The correlation of the maxima of correlated Brownian motions.J. Appl. Probab.43 (2006), pp. 880–883
2006
-
[41]
Schneider.Convex bodies: the Brunn-Minkowski theory
R. Schneider.Convex bodies: the Brunn-Minkowski theory. Expanded ed. Cambridge: Cam- bridge University Press, 2014
2014
-
[42]
E. T. Seton.Life-histories of northern animals. Vol. I. New York: Charles Scriber’s Sons, 1909
1909
-
[43]
T. L. Snyder and J. M. Steele. Convex hulls of random walks.Proc. Amer. Math. Soc.117 (1993), pp. 1165–1173
1993
-
[44]
Spitzer and H
F. Spitzer and H. Widom. The circumference of a convex polygon.Proc. Amer. Math. Soc. 12 (1961), pp. 506–509
1961
-
[45]
F. A. Valentine.Convex sets. New York-Toronto-London: McGraw-Hill Book Co., 1964
1964
-
[46]
R. A. Vitale.L p metrics for compact, convex sets.J. Approx. Theory45 (1985), pp. 280– 287
1985
-
[47]
Vysotsky and D
V. Vysotsky and D. Zaporozhets. Convex hulls of multidimensional random walks.Trans. Amer. Math. Soc.370 (2018), pp. 7985–8012
2018
-
[48]
A. R. Wade and C. Xu. Convex hulls of planar random walks with drift.Proc. Amer. Math. Soc.143 (2015), pp. 433–445
2015
-
[49]
A. R. Wade and C. Xu. Convex hulls of random walks and their scaling limits.Stochastic Process. Appl.125 (2015), pp. 4300–4320
2015
-
[50]
A. Wald. Limit distribution of the maximum and minimum of successive cumulative sums of random variables.Bull. Amer. Math. Soc.53 (1947), pp. 142–153
1947
-
[51]
J. G. Wendel. A problem in geometric probability.Math. Scand.11 (1962), pp. 109–111
1962
-
[52]
B. J. Worton. A convex hull-based estimator of home-range size.Biometrics51 (1995), pp. 1206–1215. Institute of Mathematics, University of Wrocła w Email address:wojciech.cygan@uwr.edu.pl Department of Mathematics, University of Zagreb Email address:tomislav.kralj@math.hr Depa...
1995
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.