-
A refinement of the Sylvester problem: Probabilities of combinatorial types
Authors:
Zakhar Kabluchko,
Hugo Panzo
Abstract:
Let $X_1,\ldots, X_{d+2}$ be random points in $\mathbb R^d$. The classical Sylvester problem asks to determine the probability that the convex hull of these points, denoted by $P:= [X_1,\ldots, X_{d+2}]$, is a simplex. In the present paper, we study a refined version of this problem which asks to determine the probability that $P$ has a given combinatorial type. It is known that there are…
▽ More
Let $X_1,\ldots, X_{d+2}$ be random points in $\mathbb R^d$. The classical Sylvester problem asks to determine the probability that the convex hull of these points, denoted by $P:= [X_1,\ldots, X_{d+2}]$, is a simplex. In the present paper, we study a refined version of this problem which asks to determine the probability that $P$ has a given combinatorial type. It is known that there are $\lfloor d/2\rfloor+1$ possible combinatorial types of simplicial $d$-dimensional polytopes with at most $d+2$ vertices. These types are denoted by $T_0^d, T_1^d, \ldots, T_{\lfloor d/2 \rfloor}^d$, where $T_0^d$ is a simplex with $d+1$ vertices, while the remaining types have exactly $d+2$ vertices. Our aim is thus to compute the probability $$ p_{d,m} := \mathbb P[P \text{ is of type } T_{m}^d], \qquad m\in \{0,1,\ldots, \lfloor d/2 \rfloor\}. $$ The classical Sylvester problem corresponds to the case $m=0$. We shall compute $p_{d,m}$ for all $m$ in the following cases: (a) $X_1,\ldots, X_{d+2}$ are i.i.d. normal; (b) $X_1,\ldots, X_{d+2}$ follow a $d$-dimensional beta or beta prime distribution, which includes the uniform distribution on the ball or on the sphere as special cases; (c) $X_1,\ldots, X_{d+2}$ form a random walk with symmetrically exchangeable increments. As a by-product of case (a) we recover a recent solution to Youden's demon problem which asks to determine the probability that, in a one-dimensional i.i.d. normal sample $ξ_1,\ldots, ξ_n$, the empirical mean $\frac 1n (ξ_1 + \ldots + ξ_n)$ lies between the $k$-th and the $(k+1)$-st order statistics. We also consider the conic (or spherical) version of the refined Sylvester problem and solve it in several special cases.
△ Less
Submitted 27 January, 2025;
originally announced January 2025.
-
Sylvester's problem for random walks and bridges
Authors:
Hugo Panzo
Abstract:
Consider a random walk in $\mathbb{R}^d$ that starts at the origin and whose increment distribution assigns zero probability to any affine hyperplane. We solve Sylvester's problem for these random walks by showing that the probability that the first $d+2$ steps of the walk are in convex position is equal to $1-\frac{2}{(d+1)!}$. The analogous result also holds for random bridges of length $d+2$, s…
▽ More
Consider a random walk in $\mathbb{R}^d$ that starts at the origin and whose increment distribution assigns zero probability to any affine hyperplane. We solve Sylvester's problem for these random walks by showing that the probability that the first $d+2$ steps of the walk are in convex position is equal to $1-\frac{2}{(d+1)!}$. The analogous result also holds for random bridges of length $d+2$, so long as the joint increment distribution is exchangeable.
△ Less
Submitted 12 September, 2024;
originally announced September 2024.
-
Bounds on some geometric functionals of high dimensional Brownian convex hulls and their inverse processes
Authors:
Hugo Panzo,
Evan Socher
Abstract:
We prove two-sided bounds on the expected values of several geometric functionals of the convex hull of Brownian motion in $\mathbb{R}^n$ and their inverse processes. This extends some recent results of McRedmond and Xu (2017), Jovalekić (2021), and Cygan, Šebek, and the first author (2023) from the plane to higher dimensions. Our main result shows that the average time required for the convex hul…
▽ More
We prove two-sided bounds on the expected values of several geometric functionals of the convex hull of Brownian motion in $\mathbb{R}^n$ and their inverse processes. This extends some recent results of McRedmond and Xu (2017), Jovalekić (2021), and Cygan, Šebek, and the first author (2023) from the plane to higher dimensions. Our main result shows that the average time required for the convex hull in $\mathbb{R}^n$ to attain unit volume is at most $n\sqrt[n]{n!}$. The proof relies on a novel procedure that embeds an $n$-simplex of prescribed volume within the convex hull of the Brownian path run up to a certain stopping time. All of our bounds capture the correct order of asymptotic growth or decay in the dimension $n$.
△ Less
Submitted 12 August, 2024; v1 submitted 11 July, 2024;
originally announced July 2024.
-
Limit theorems for fixed point biased permutations avoiding a pattern of length three
Authors:
Aksheytha Chelikavada,
Hugo Panzo
Abstract:
We prove limit theorems for the number of fixed points occurring in a random pattern-avoiding permutation distributed according to a one-parameter family of biased distributions. The bias parameter exponentially tilts the distribution towards favoring permutations with more or fewer fixed points than is typical under the uniform distribution. One case we study features a phase transition where the…
▽ More
We prove limit theorems for the number of fixed points occurring in a random pattern-avoiding permutation distributed according to a one-parameter family of biased distributions. The bias parameter exponentially tilts the distribution towards favoring permutations with more or fewer fixed points than is typical under the uniform distribution. One case we study features a phase transition where the limiting distribution changes abruptly from negative binomial to Rayleigh to normal depending on the bias parameter.
△ Less
Submitted 16 March, 2025; v1 submitted 8 November, 2023;
originally announced November 2023.
-
Bounds on the size of the convex hull of planar Brownian motion and related inverse processes
Authors:
Wojciech Cygan,
Hugo Panzo,
Stjepan Šebek
Abstract:
We establish bounds on expected values of various geometric quantities that describe the size of the convex hull spanned by a path of the standard planar Brownian motion. Expected values of the perimeter and the area of the Brownian convex hull are known explicitly, and satisfactory bounds on the expected value of its diameter can be found in the literature as well. In this work we investigate cir…
▽ More
We establish bounds on expected values of various geometric quantities that describe the size of the convex hull spanned by a path of the standard planar Brownian motion. Expected values of the perimeter and the area of the Brownian convex hull are known explicitly, and satisfactory bounds on the expected value of its diameter can be found in the literature as well. In this work we investigate circumradius and inradius of the Brownian convex hull and obtain lower and upper bounds on their expected values. Our other goal is to find bounds on the related inverse processes (that correspond to the perimeter, area, diameter, circumradius and inradius of the convex hull) which provide us with some information on the speed of growth of the size of the Brownian convex hull.
△ Less
Submitted 11 October, 2024; v1 submitted 18 July, 2023;
originally announced July 2023.
-
Improved upper bounds for the Hot Spots constant of Lipschitz domains
Authors:
Phanuel Mariano,
Hugo Panzo,
Jing Wang
Abstract:
The Hot Spots constant for bounded smooth domains was recently introduced by Steinerberger (2021) as a means to control the global extrema of the first nontrivial eigenfunction of the Neumann Laplacian by its boundary extrema. We generalize the Hot Spots constant to bounded Lipschitz domains and show that it leads to an if and only if condition for the weak Hot Spots conjecture HS2 from Bañuelos a…
▽ More
The Hot Spots constant for bounded smooth domains was recently introduced by Steinerberger (2021) as a means to control the global extrema of the first nontrivial eigenfunction of the Neumann Laplacian by its boundary extrema. We generalize the Hot Spots constant to bounded Lipschitz domains and show that it leads to an if and only if condition for the weak Hot Spots conjecture HS2 from Bañuelos and Burdzy (1999). We also derive a new general formula for a dimension-dependent upper bound that can be tailored to any specific class of domains. This formula is then used to compute upper bounds for the Hot Spots constant of the class of all bounded Lipschitz domains in $\mathbb{R}^d$ for both small $d$ and for asymptotically large $d$ that significantly improve upon the existing results.
△ Less
Submitted 17 October, 2021; v1 submitted 7 October, 2021;
originally announced October 2021.
-
CLT with explicit variance for products of random singular matrices related to Hill's equation
Authors:
Phanuel Mariano,
Hugo Panzo
Abstract:
We prove a central limit theorem (CLT) for the product of a class of random singular matrices related to a random Hill's equation studied by Adams$\unicode{x2013}$Bloch$\unicode{x2013}$Lagarias. The CLT features an explicit formula for the variance in terms of the distribution of the matrix entries and this allows for exact calculation in some examples. Our proof relies on a novel connection to th…
▽ More
We prove a central limit theorem (CLT) for the product of a class of random singular matrices related to a random Hill's equation studied by Adams$\unicode{x2013}$Bloch$\unicode{x2013}$Lagarias. The CLT features an explicit formula for the variance in terms of the distribution of the matrix entries and this allows for exact calculation in some examples. Our proof relies on a novel connection to the theory of $m$-dependent sequences which also leads to an interesting and precise nondegeneracy condition.
△ Less
Submitted 31 May, 2021; v1 submitted 3 December, 2020;
originally announced December 2020.
-
Independent factorization of the last zero arcsine law for Bessel processes with drift
Authors:
Hugo Panzo
Abstract:
We show that the last zero before time $t$ of a recurrent Bessel process with drift starting at $0$ has the same distribution as the product of an independent right censored exponential random variable and a beta random variable. This extends a recent result of Schulte-Geers and Stadje (2017) from Brownian motion with drift to recurrent Bessel processes with drift. Our proof is intuitive and direc…
▽ More
We show that the last zero before time $t$ of a recurrent Bessel process with drift starting at $0$ has the same distribution as the product of an independent right censored exponential random variable and a beta random variable. This extends a recent result of Schulte-Geers and Stadje (2017) from Brownian motion with drift to recurrent Bessel processes with drift. Our proof is intuitive and direct while avoiding heavy computations. For this we develop a novel additive decomposition for the square of a Bessel process with drift that may be of independent interest.
△ Less
Submitted 20 October, 2020; v1 submitted 1 October, 2020;
originally announced October 2020.
-
Quasi-Stationary Distributions for the Voter Model on Complete Bipartite Graphs
Authors:
Iddo Ben-Ari,
Hugo Panzo,
Philip Speegle,
R. Oliver VandenBerg
Abstract:
We consider the discrete-time voter model on complete bipartite graphs and study the quasi-stationary distribution (QSD) for the model as the size of one of the partitions tends to infinity while the other partition remains fixed. We show that the QSDs converge weakly to a nontrivial limit which features a consensus with the exception of a random number of dissenting vertices in the "large" partit…
▽ More
We consider the discrete-time voter model on complete bipartite graphs and study the quasi-stationary distribution (QSD) for the model as the size of one of the partitions tends to infinity while the other partition remains fixed. We show that the QSDs converge weakly to a nontrivial limit which features a consensus with the exception of a random number of dissenting vertices in the "large" partition. Moreover, we explicitly calculate the law of the number of dissenters and show that it follows the heavy-tailed Sibuya distribution with parameter depending on the size of the "small" partition. Our results rely on a discrete-time analogue of the well-known duality between the continuous-time voter model and coalescing random walks which we develop in the paper.
△ Less
Submitted 26 January, 2021; v1 submitted 21 April, 2020;
originally announced April 2020.
-
Conformal Skorokhod embeddings and related extremal problems
Authors:
Phanuel Mariano,
Hugo Panzo
Abstract:
The conformal Skorokhod embedding problem (CSEP) is a planar variant of the classical problem where the solution is now a simply connected domain $D\subset\mathbb{C}$ whose exit time embeds a given probability distribution $μ$ by projecting the stopped Brownian motion onto the real axis. In this paper we explore two new research directions for the CSEP by proving general bounds on the principal Di…
▽ More
The conformal Skorokhod embedding problem (CSEP) is a planar variant of the classical problem where the solution is now a simply connected domain $D\subset\mathbb{C}$ whose exit time embeds a given probability distribution $μ$ by projecting the stopped Brownian motion onto the real axis. In this paper we explore two new research directions for the CSEP by proving general bounds on the principal Dirichlet eigenvalue of a solution domain in terms of the corresponding $μ$ and by proposing related extremal problems. Moreover, we give a new and nontrivial example of an extremal domain $\mathbb{U}$ that attains the lowest possible principal Dirichlet eigenvalue over all domains solving the CSEP for the uniform distribution on $[-1,1]$. Remarkably, the boundary of $\mathbb{U}$ is related to the Grim Reaper translating solution to the curve shortening flow in the plane. The novel tool used in the proof of the sharp lower bound is a precise relationship between the widths of the orthogonal projections of a simply connected planar domain and the support of its harmonic measure that we develop in the paper. The upper bound relies on spectral bounds for the torsion function which have recently appeared in the literature.
△ Less
Submitted 2 June, 2020; v1 submitted 31 January, 2020;
originally announced January 2020.
-
Spectral upper bound for the torsion function of symmetric stable processes
Authors:
Hugo Panzo
Abstract:
We prove a spectral upper bound for the torsion function of symmetric stable processes that holds for convex domains in $\mathbb{R}^d$. Our bound is explicit and captures the correct order of growth in $d$, improving upon the existing results of Giorgi and Smits (2010) and Biswas and Lőrinczi (2019). Along the way, we make progress towards a torsion analogue of Chen and Song's (2005) two-sided eig…
▽ More
We prove a spectral upper bound for the torsion function of symmetric stable processes that holds for convex domains in $\mathbb{R}^d$. Our bound is explicit and captures the correct order of growth in $d$, improving upon the existing results of Giorgi and Smits (2010) and Biswas and Lőrinczi (2019). Along the way, we make progress towards a torsion analogue of Chen and Song's (2005) two-sided eigenvalue estimates for subordinate Brownian motion.
△ Less
Submitted 26 August, 2021; v1 submitted 14 January, 2020;
originally announced January 2020.
-
Finite-Memory Elephant Random Walk and the Central Limit Theorem for Additive Functionals
Authors:
Iddo Ben-Ari,
Jonah Green,
Taylor Meredith,
Hugo Panzo,
Xiaoran Tan
Abstract:
The Central Limit Theorem (CLT) for additive functionals of Markov chains is a well known result with a long history. In this paper we present applications to two finite-memory versions of the Elephant Random Walk, solving a problem from arXiv:1812.01915. We also present a derivation of the CLT for additive functionals of finite state Markov chains, which is based on positive recurrence, the CLT f…
▽ More
The Central Limit Theorem (CLT) for additive functionals of Markov chains is a well known result with a long history. In this paper we present applications to two finite-memory versions of the Elephant Random Walk, solving a problem from arXiv:1812.01915. We also present a derivation of the CLT for additive functionals of finite state Markov chains, which is based on positive recurrence, the CLT for IID sequences and some elementary linear algebra, and which focuses on characterization of the variance.
△ Less
Submitted 1 May, 2020; v1 submitted 13 November, 2019;
originally announced November 2019.
-
Lyapunov exponent and variance in the CLT for products of random matrices related to random Fibonacci sequences
Authors:
Rajeshwari Majumdar,
Phanuel Mariano,
Hugo Panzo,
Lowen Peng,
Anthony Sisti
Abstract:
We consider three matrix models of order 2 with one random entry $ε$ and the other three entries being deterministic. In the first model, we let $ε\sim\textrm{Bernoulli}\left(\frac{1}{2}\right)$. For this model we develop a new technique to obtain estimates for the top Lyapunov exponent in terms of a multi-level recursion involving Fibonacci-like sequences. This in turn gives a new characterizatio…
▽ More
We consider three matrix models of order 2 with one random entry $ε$ and the other three entries being deterministic. In the first model, we let $ε\sim\textrm{Bernoulli}\left(\frac{1}{2}\right)$. For this model we develop a new technique to obtain estimates for the top Lyapunov exponent in terms of a multi-level recursion involving Fibonacci-like sequences. This in turn gives a new characterization for the Lyapunov exponent in terms of these sequences. In the second model, we give similar estimates when $ε\sim\textrm{Bernoulli}\left(p\right)$ and $p\in [0,1]$ is a parameter. Both of these models are related to random Fibonacci sequences. In the last model, we compute the Lyapunov exponent exactly when the random entry is replaced with $ξε$ where $ε$ is a standard Cauchy random variable and $ξ$ is a real parameter. We then use Monte Carlo simulations to approximate the variance in the CLT for both parameter models.
△ Less
Submitted 3 April, 2020; v1 submitted 6 September, 2018;
originally announced September 2018.
-
The subcritical phase for a homopolymer model
Authors:
Iddo Ben-Ari,
Hugo Panzo
Abstract:
We study a model of continuous-time nearest-neighbor random walk on $\mathbb{Z}^d$ penalized by its occupation time at the origin, also known as a homopolymer. For a fixed real parameter $β$ and time $t>0$, we consider the probability measure on paths of the random walk starting from the origin whose Radon-Nikodym derivative is proportional to the exponent of the product $β$ times the occupation t…
▽ More
We study a model of continuous-time nearest-neighbor random walk on $\mathbb{Z}^d$ penalized by its occupation time at the origin, also known as a homopolymer. For a fixed real parameter $β$ and time $t>0$, we consider the probability measure on paths of the random walk starting from the origin whose Radon-Nikodym derivative is proportional to the exponent of the product $β$ times the occupation time at the origin up to time $t$. The case $β>0$ was studied previously by Cranston and Molchanov arXiv:1508.06915. We consider the case $β<0$, which is intrinsically different only when the underlying walk is recurrent, that is $d=1,2$. Our main result is a scaling limit for the distribution of the homopolymer on the time interval $[0,t]$, as $t\to\infty$, a result that coincides with the scaling limit for penalized Brownian motion due to Roynette and Yor. In two dimensions, the penalizing effect is asymptotically diminished, and the homopolymer scales to standard Brownian motion. Our approach is based on potential analytic and martingale approximation for the model. We also apply our main result to recover a scaling limit for a wetting model. We study the model through analysis of resolvents.
△ Less
Submitted 25 March, 2018;
originally announced March 2018.
-
Scaled penalization of Brownian motion with drift and the Brownian ascent
Authors:
Hugo Panzo
Abstract:
We study a scaled version of a two-parameter Brownian penalization model introduced by Roynette-Vallois-Yor in arXiv:math/0511102. The original model penalizes Brownian motion with drift $h\in\mathbb{R}$ by the weight process ${\big(\exp(νS_t):t\geq 0\big)}$ where $ν\in\mathbb{R}$ and $\big(S_t:t\geq 0\big)$ is the running maximum of the Brownian motion. It was shown there that the resulting penal…
▽ More
We study a scaled version of a two-parameter Brownian penalization model introduced by Roynette-Vallois-Yor in arXiv:math/0511102. The original model penalizes Brownian motion with drift $h\in\mathbb{R}$ by the weight process ${\big(\exp(νS_t):t\geq 0\big)}$ where $ν\in\mathbb{R}$ and $\big(S_t:t\geq 0\big)$ is the running maximum of the Brownian motion. It was shown there that the resulting penalized process exhibits three distinct phases corresponding to different regions of the $(ν,h)$-plane. In this paper, we investigate the effect of penalizing the Brownian motion concurrently with scaling and identify the limit process. This extends a result of Roynette-Yor for the ${ν<0,~h=0}$ case to the whole parameter plane and reveals two additional "critical" phases occurring at the boundaries between the parameter regions. One of these novel phases is Brownian motion conditioned to end at its maximum, a process we call the Brownian ascent. We then relate the Brownian ascent to some well-known Brownian path fragments and to a random scaling transformation of Brownian motion recently studied by Rosenbaum-Yor.
△ Less
Submitted 29 May, 2018; v1 submitted 12 March, 2018;
originally announced March 2018.
-
Dual graphs and modified Barlow--Bass resistance estimates for repeated barycentric subdivisions
Authors:
Daniel J. Kelleher,
Antoni Brzoska,
Hugo Panzo,
Alexander Teplyaev
Abstract:
We prove Barlow--Bass type resistance estimates for two random walks associated with repeated barycentric subdivisions of a triangle. If the random walk jumps between the centers of triangles in the subdivision that have common sides, the resistance scales as a power of a constant $ρ$ which is theoretically estimated to be in the interval $5/4\leqslantρ\leqslant3/2$, with a numerical estimate…
▽ More
We prove Barlow--Bass type resistance estimates for two random walks associated with repeated barycentric subdivisions of a triangle. If the random walk jumps between the centers of triangles in the subdivision that have common sides, the resistance scales as a power of a constant $ρ$ which is theoretically estimated to be in the interval $5/4\leqslantρ\leqslant3/2$, with a numerical estimate $ρ\approx1.306$. This corresponds to the theoretical estimate of spectral dimension $d_S$ between 1.63 and 1.77, with a numerical estimate $d_S\approx1.74$. On the other hand, if the random walk jumps between the corners of triangles in the subdivision, then the resistance scales as a power of a constant $ρ^T=1/ρ$, which is theoretically estimated to be in the interval $2/3\leqslantρ^T\leqslant4/5$. This corresponds to the spectral dimension between 2.28 and 2.38. The difference between $ρ$ and $ρ^T$ implies that the the limiting behavior of random walks on the repeated barycentric subdivisions is more delicate than on the generalized Sierpinski Carpets, and suggests interesting possibilities for further research, including possible non-uniqueness of self-similar Dirichlet forms.
△ Less
Submitted 25 June, 2018; v1 submitted 12 May, 2015;
originally announced May 2015.
-
Efficient Coupling for Random Walk with Redistribution
Authors:
Iddo Ben-Ari,
Hugo Panzo,
Elizabeth Tripp
Abstract:
What can one say on convergence to stationarity of a finite state Markov chain that behaves "locally" like a nearest neighbor random walk on ${\mathbb Z}$ ? The model we consider is a version of nearest neighbor lazy random walk on the state space $ \{0,\dots,N\}$: the probability for staying put at each site is $\frac 12$, the transition to the nearest neighbors, one on the right and one on the l…
▽ More
What can one say on convergence to stationarity of a finite state Markov chain that behaves "locally" like a nearest neighbor random walk on ${\mathbb Z}$ ? The model we consider is a version of nearest neighbor lazy random walk on the state space $ \{0,\dots,N\}$: the probability for staying put at each site is $\frac 12$, the transition to the nearest neighbors, one on the right and one on the left, occurs with probability $\frac14$ each, where we identify two sites, $J_0$ and $J_N$ as, respectively, the neighbor of $0$ from the left and the neighbor of $N$ from the right (but $0$ is not a neighbor of $J_0$ and $N$ is not neighbor of $J_N$). This model is a discrete version of diffusion with redistribution on an interval studied by several authors in recent past, and for which the the exponential rates of convergence to stationarity were computed analytically, but had no intuitive or probabilistic interpretation, except for the case where the jumps from the endpoints are identical (or more generally have the same distribution). We study convergence to stationarity probabilistically, by finding an efficient coupling. The coupling identifies the "bottlenecks" responsible for the rates of convergence and also gives tight computable bounds on the total variation norm of the process between two starting points. The adaptation to the diffusion case is straightforward.
△ Less
Submitted 29 October, 2014;
originally announced October 2014.
-
Random walks on barycentric subdivisions and the Strichartz hexacarpet
Authors:
Matthew Begue,
Daniel J. Kelleher,
Aaron Nelson,
Hugo Panzo,
Ryan Pellico,
Alexander Teplyaev
Abstract:
We investigate the relation between simple random walks on repeated barycentric subdivisions of a triangle and a self-similar fractal, Strichartz hexacarpet, which we introduce. We explore a graph approximation to the hexacarpet in order to establish a graph isomorphism between the hexacarpet approximations and Barycentric subdivisions of the triangle, and discuss various numerical calculations pe…
▽ More
We investigate the relation between simple random walks on repeated barycentric subdivisions of a triangle and a self-similar fractal, Strichartz hexacarpet, which we introduce. We explore a graph approximation to the hexacarpet in order to establish a graph isomorphism between the hexacarpet approximations and Barycentric subdivisions of the triangle, and discuss various numerical calculations performed on the these graphs. We prove that equilateral barycentric subdivisions converge to a self-similar geodesic metric space of dimension log(6)/log(2), or about 2.58. Our numerical experiments give evidence to a conjecture that the simple random walks on the equilateral barycentric subdivisions converge to a continuous diffusion process on the Strichartz hexacarpet corresponding to a different spectral dimension (estimated numerically to be about 1.74).
△ Less
Submitted 27 May, 2012; v1 submitted 28 June, 2011;
originally announced June 2011.
