Asymptotic probability of a fixed edge being on the boundary of the convex hull of a random walk in mathbb{Z}²
Pith reviewed 2026-05-09 18:31 UTC · model grok-4.3
The pith
The probability that a fixed edge of a simple symmetric random walk on Z^2 lies on the convex hull boundary decays asymptotically as the inverse square root of the number of steps.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For a simple symmetric random walk on Z^2 the probability that a fixed edge belongs to the boundary polygon of the convex hull of the visited points is asymptotically equivalent to c n^{-1/2} for an explicit constant c > 0 that depends on the edge and the lattice.
What carries the argument
The indicator variable that a given traversed edge is a supporting edge of the convex hull, meaning every visited point lies on one closed half-plane defined by the line through that edge.
If this is right
- The probability tends to zero at a precise polynomial rate.
- Early edges in the walk have a higher chance of remaining exposed than later ones.
- Summing the probabilities over all edges of the path yields the expected number of boundary edges.
- The same scaling governs the contribution of any fixed-time edge to the hull perimeter.
Where Pith is reading between the lines
- Summing the per-edge probabilities over time may give the asymptotic growth of the total hull size.
- The scaling suggests that the hull is shaped primarily by a vanishing fraction of the path length.
- Analogous decay rates could hold for the probability that a fixed vertex is a vertex of the hull.
Load-bearing premise
The random walk is simple and symmetric on the integer lattice Z^2, and the convex hull is formed exactly by the finite set of visited lattice points.
What would settle it
Run many independent simple symmetric random walks of length n on Z^2, count the fraction of realizations in which a fixed edge (for example the first step) lies on the convex hull boundary, and check whether this empirical frequency scales as c n^{-1/2} for large n.
read the original abstract
A simple symmetric random walk in the space $\mathbb{Z}^2$ is considered. The asymptotic behavior as the number of jumps tends to infinity of the probability that a fixed edge of the random walk lies in the polygon that forms the boundary of the convex hull is investigated.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript considers a simple symmetric random walk on the integer lattice Z^2 and derives the asymptotic behavior, as the number of steps n tends to infinity, of the probability that a fixed edge (taken as the initial step) lies on the boundary of the convex hull of the set of visited points.
Significance. The result supplies an explicit leading asymptotic term for this probability, obtained via potential theory combined with local limit estimates. This quantifies the geometric exposure of early path segments in the convex hull and strengthens the toolkit for analyzing boundary properties of two-dimensional random walks. The self-contained nature of the argument, with standard definitions of the walk, range, and hull, is a clear strength.
minor comments (2)
- The abstract states the problem but omits the explicit form of the asymptotic; stating the leading term (e.g., the constant and power of n) would make the main result immediately visible.
- Notation for the convex hull boundary polygon and the indicator that an edge belongs to it could be introduced with a brief diagram or expanded definition in the introduction to aid readers unfamiliar with lattice convex hulls.
Simulated Author's Rebuttal
We thank the referee for their positive summary and recommendation of minor revision. No specific major comments were listed in the report, so we have no points requiring response or revision at this stage. We are pleased that the self-contained nature and use of potential theory were viewed as strengths.
Circularity Check
No significant circularity; derivation is self-contained
full rationale
The manuscript defines the simple symmetric random walk on Z^2 and the convex hull of its range using standard, non-self-referential notions. The probability in question is analyzed via potential theory and local limit theorems applied to the walk's path properties. No equation reduces a claimed prediction to a fitted input by construction, no uniqueness theorem is imported from self-citation as a load-bearing premise, and no ansatz is smuggled via prior work. The abstract and skeptic summary confirm the argument relies on external analytic tools rather than re-labeling its own outputs as results.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
G. Baxter. A combinatorial lemma for complex numbers.The Annals of Mathematical Statistics, 1961, vol. 32, no. 3, pp. 901–904
work page 1961
-
[2]
Barndorff-Nielsen O., Baxter G. Combinatorial lemmas in higher dimensions.Transactions of the Amer- ican Mathematical Society, 1963, vol. 108, no. 2, pp. 313–325
work page 1963
-
[3]
Vysotsky V., Zaporozhets D. Convex hulls of multidimensional random walks.Transactions of the Amer- ican Mathematical Society, 2018, vol. 370, no. 11, pp. 7985–8012
work page 2018
-
[4]
Rényi A., Sulanke R. Über die konvexe Hülle von n zufällig gewählten Punkten.Zeitschrift für Wahrscheinlichkeitstheorie und verwandte Gebiete, 1963, vol. 2, pp. 75-84
work page 1963
-
[5]
Über die konvexe Hülle von n zufällig gewählten Punkten
Rényi A., Sulanke R. Über die konvexe Hülle von n zufällig gewählten Punkten. II.Zeitschrift für Wahrscheinlichkeitstheorie und verwandte Gebiete, 1964, vol. 3, pp. 138-147
work page 1964
-
[6]
The circumference of a convex polygon.Proceedings of the American Mathematical Society, 1961, vol
Spitzer F., Widom H. The circumference of a convex polygon.Proceedings of the American Mathematical Society, 1961, vol. 12, no. 3, pp. 506-509
work page 1961
-
[7]
SpitzerF.Acombinatoriallemmaanditsapplicationtoprobabilitytheory.Transactions of the American Mathematical Society, 1956, vol. 82, no. 2, pp. 323-339
work page 1956
-
[8]
The convex hull of a random set of points.Biometrika, 1965, vol
Efron B. The convex hull of a random set of points.Biometrika, 1965, vol. 52, no. 3-4, pp. 331-343
work page 1965
-
[9]
Convex hulls of stable random walks.Electronic Journal of Probability, 2022, vol
Cygan W., Sandrić N., Šebek S. Convex hulls of stable random walks.Electronic Journal of Probability, 2022, vol. 27, pp. 1-30
work page 2022
-
[10]
McRedmond J., Wade A. R. The convex hull of a planar random walk: perimeter, diameter, and shape. Electronic Journal of Probability, 2018, vol. 131, pp. 1-24
work page 2018
-
[11]
Andersen E. S. On the fluctuations of sums of random variables.Mathematica Scandinavica, 1953, vol. 1, pp. 263-285
work page 1953
-
[12]
Andersen E. S. On the fluctuations of sums of random variables II.Mathematica Scandinavica, 1954, vol. 2, pp. 195-223. 5
work page 1954
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.