Abstract
We give an explicit formula for the probability that the convex hull of an n-step random walk in \({\mathbb{R}^d}\) does not contain the origin, under the assumption that the distribution of increments of the walk is centrally symmetric and puts no mass on affine hyperplanes. This extends the formula by Sparre Andersen (Skand Aktuarietidskr 32:27–36, 1949) for the probability that such random walk in dimension one stays positive. Our result is distribution-free, that is, the probability does not depend on the distribution of increments.
This probabilistic problem is shown to be equivalent to either of the two geometric ones: (1) Find the number of Weyl chambers of type B n intersected by a generic linear subspace of \({\mathbb{R}^n}\) of codimension d; (2) Find the conic intrinsic volumes of a Weyl chamber of type B n . We solve the first geometric problem using the theory of hyperplane arrangements. A by-product of our method is a new simple proof of the general formula by Klivans and Swartz (Discrete Comput Geom 46(3):417–426, 2011) relating the coefficients of the characteristic polynomial of a linear hyperplane arrangement to the conic intrinsic volumes of the chambers constituting its complement.
We obtain analogous distribution-free results for Weyl chambers of type \({A_{n-1}}\) (yielding the probability of absorption of the origin by the convex hull of a generic random walk bridge), type D n , and direct products of Weyl chambers (yielding the absorption probability for the joint convex hull of several random walks or bridges). The simplest case of products of the form \({B_1\times \cdots \times B_1}\) recovers the Wendel formula (Math Scand 11:109–111, 1962) for the probability that the convex hull of an i.i.d. multidimensional sample chosen from a centrally symmetric distribution does not contain the origin.
We also give an asymptotic analysis of the obtained absorption probabilities as \({n \to \infty}\), in both cases of fixed and increasing dimension d.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
N. I. Akhiezer and I. M. Glazman. Theory of Linear Operators in Hilbert Space, vol. I. Pitman (Advanced Publishing Program), Boston (1981)
Allendoerfer C.: Steiner’s formulae on a general \({S^{n+1}}\). Bulletin of the American Mathematical Society 54, 128–135 (1948)
D. Amelunxen and M. Lotz. Intrinsic volumes of polyhedral cones: a combinatorial perspective. Preprint. https://arxiv.org/abs/1512.06033.
Amelunxen D., Lotz M., McCoy M., Tropp J.: Living on the edge: Phase transitions in convex programs with random data. Information and Inference 3, 224–294 (2014)
Drton M., Klivans C. J.: A geometric interpretation of the characteristic polynomial of reflection arrangements. Proceedings of the American Mathematical Society 138(8), 2873–2887 (2010)
Eldan R.: Extremal points of high-dimensional random walks and mixing times of a Brownian motion on the sphere. Annales de l’Institut Henri Poincaré, Probabilités et Statistiques 50(1), 95–110 (2014)
V. Féray, P.-L. Méliot, and A. Nikeghbali. Mod-\({\varphi}\) Convergence: Normality Zones and Precise Deviations. Springer, Cham (2016)
Flajolet P., Sedgewick R.: Analytic Combinatorics. Cambridge University Press, Cambridge (2009)
Gao F., Hug D., Schneider R.: Intrinsic volumes and polar sets in spherical space. Mathematicae Notae 41, 159–176 (2003)
L. Goldstein, I. Nourdin, and G. Peccati. Gaussian phase transitions and conic intrinsic volumes: Steining the Steiner formula. The Annals of Applied Probability, (1) 27 (2017), 1–47
L. C. Grove and C. T. Benson. Finite Reflection Groups, 2nd ed. (1985)
Herglotz G.: Über die Steinersche Formel für Parallelflächen. Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg 15, 165–177 (1943)
Hug D., Schneider R.: Random conical tessellations. St. Petersburg Mathematical Journal 56(2), 395–426 (2016)
Klivans C. J., Swartz E.: Projection volumes of hyperplane arrangements. Discrete & Computational Geometry 46(3), 417–426 (2011)
E. Kowalski and A. Nikeghbali. Mod-Poisson convergence in probability and number theory. International Mathematics Research Notices IMRN, (18) (2010), 3549–3587
McCoy M., Tropp J.: From Steiner formulas for cones to concentration of intrinsic volumes. Discrete & Computational Geometry 51, 926–963 (2014)
V. B. Nevzorov. Records: Mathematical Theory. Providence: AMS, 2000. Transl. from the Russian (2000)
P. Orlik and H. Terao. Arrangements of Hyperplanes. Probability and its Applications. Springer, Berlin (1992)
Santaló L.: On parallel hypersurfaces in the elliptic and hyperbolic n-dimensional space. Proceedings of the American Mathematical Society 1, 325–330 (1950)
Santaló L.: Integral Geometry and Geometric Probability. Addison-Wesley Publishing Company, Reading (1976)
L. Schläfli. Theorie der vielfachen Kontinuität. In: Gesammelte Mathematische Abhandlungen, Springer, Berlin (1950), pp. 167–387.
R. Schneider. Combinatorial identities for polyhedral cones. Accepted to St. Petersburg Mathematical Journal http://home.mathematik.uni-freiburg.de/rschnei/Comb.Ident.rev.pdf.
R. Schneider and W. Weil. Stochastic and Integral Geometry. Probability and its Applications. Springer, Berlin (2008)
N. J. A. Sloane. The on-line encyclopedia of integer sequences. http://www.research.att.com/~njas/sequences/.
Sparre Andersen E.: On the number of positive sums of random variables. Skand. Aktuarietidskr. 32, 27–36 (1949)
Sparre Andersen E.: On the fluctuations of sums of random variables. Mathematica Scandinavica 1, 263–285 (1953)
R. P. Stanley. An introduction to hyperplane arrangements. In: Geometric Combinatorics, (2007), pp. 389–496.
Steiner J.: Einige Gesetze über die Theilung der Ebene und des Raumes. Journal für die reine und angewandte Mathematik 1, 349–364 (1826)
R. Suter. Two analogues of a classical sequence. Journal of Integer Sequences, (1) 3 (2000), Article 00.1.8
Tikhomirov K., Youssef P.: When does a discrete-time random walk in \({\mathbb{R}^n}\) absorb the origin into its convex hull?. The Annals of Probability 45(2), 965–1002 (2017)
V. Vysotsky and D. Zaporozhets. Convex hulls of multidimensional random walks. Accepted to Transactions of the American Mathematical Society (2017) http://arxiv.org/abs/1506.07827.
Wendel J. G.: A problem in geometric probability. Mathematica Scandinavica 11, 109–111 (1962)
Wilf H. S.: The asymptotic behavior of the Stirling numbers of the first kind. Journal of Combinatorial Theory, Series A 64(2), 344–349 (1993)
T. Zaslavsky. Facing up to arrangements: face-count formulas for partitions of space by hyperplanes. Memoirs of the American Mathematical Society, (issue 1, 154) 1 (1975)
Author information
Authors and Affiliations
Corresponding author
Additional information
This paper was written when V.V. was affiliated to Imperial College London, where his work was supported by People Programme (Marie Curie Actions) of the European Union’s Seventh Framework Programme (FP7/2007-2013) under REA Grant Agreement No. [628803]. V.V. and D.Z. were supported in part by the RFBI Grant 16-01-00367 and by the Program of Fundamental Researches of Russian Academy of Sciences “Modern Problems of Fundamental Mathematics”.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Kabluchko, Z., Vysotsky, V. & Zaporozhets, D. Convex hulls of random walks, hyperplane arrangements, and Weyl chambers. Geom. Funct. Anal. 27, 880–918 (2017). https://doi.org/10.1007/s00039-017-0415-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00039-017-0415-x
Keywords and phrases
- Convex hull
- Random walk
- Random walk bridge
- Absorption probability
- Distribution-free probability
- Exchangeability
- Hyperplane arrangement
- Whitney’s formula
- Zaslavsky’s theorem
- Characteristic polynomial
- Weyl chamber
- Finite reflection group
- Convex cone
- Conic intrinsic volume
- Wendel’s formula
- Mod-Poisson convergence
- Sparre Andersen’s Theorem