Search arXivSearch

arXiv subjects

Hugo Panzo

Publications and source records attributed to Hugo Panzo.

At least 19 recordsLinked to original sources

Improved bounds on the inradius and inverse inradius process of the convex hull of planar Brownian motion

We study the inradius and inverse inradius of the convex hull of standard planar Brownian motion. Our main goals are to improve the existing bounds on the expected values of these quantities and to establish variance bounds. The main contributions of the paper, however, are the following intermediate results we obtain in order to compute our bounds. We find closed-form expressions for the expected values of the minimum and maximum of the ranges of two independent one-dimensional Brownian motions. Besides improving the upper bound on the expected inradius, this result also gives an explicit expression for a quantity that has been investigated repeatedly in the literature and for which only a numerical evaluation has been known so far. Furthermore, we study the exit time of planar Brownian motion from an unbounded region that we call the hourglass domain and compute its first two moments. This result leads to a nearly fivefold improvement of the previous upper bound on the expected inverse inradius and plays an essential role in establishing the corresponding upper bound on the variance.

math.PR

Expected perimeter and area of the convex hull of planar Brownian motion stopped upon exiting the unit disk

We study the convex hull of planar Brownian motion run until the exit time from the unit disk. Our primary objectives are to compute the expected perimeter and expected area of this convex hull, thereby complementing recent results on the convex hull of reflecting Brownian motion in confined geometries. We reduce the problem of computing the expected perimeter to computing the expected value of the Brownian motion's maximum horizontal displacement at the exit time, and then recast this maximum in terms of harmonic measure in a domain we call the truncated disk. The problem of computing the expected area is reduced to computing the expected value of the difference of squares of the Brownian motion's maximum horizontal displacement at the exit time, and the value of the vertical displacement at the time this maximum horizontal displacement is achieved. In particular, we obtain exact expressions for both the expected perimeter and the expected area. We conclude with further results on the expected areas of two related hulls of the Brownian path run until exiting the disk, namely, the star hull and topological hull.

math.PR

Expected area of the star hull of planar Brownian motion and bridge

We study the star hull of planar Brownian motion and bridge, and relate this random compact set to the more familiar convex and topological hulls. Roughly speaking, the star hull is the smallest starshaped set (with respect to the origin) that contains the trace of the path. In particular, we prove that the expected areas of the star hulls are $\frac{3\pi}{8}$ and $\frac{\pi}{4}$ for planar Brownian motion and bridge, respectively. Along the way, we find the one-point marginal distribution of the radial functions of both traces. Our proofs rely on a detailed analysis of the first hitting time and place of a half-line by planar Brownian motion, and one of our main results is a remarkably simple expression for the Laplace transform of this joint law.

math.PR

A refinement of the Sylvester problem: Probabilities of combinatorial types

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 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 $\xi_1,\ldots, \xi_n$, the empirical mean $\frac 1n (\xi_1 + \ldots + \xi_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.

math.PR

Sylvester's problem for random walks and bridges

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.

math.PR

Bounds on some geometric functionals of high dimensional Brownian convex hulls and their inverse processes

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\'{c} (2021), and Cygan, \v{S}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$.

math.PR

Limit theorems for fixed point biased permutations avoiding a pattern of length three

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.

math.PR

Bounds on the size of the convex hull of planar Brownian motion and related inverse processes

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.

math.PR

Improved upper bounds for the Hot Spots constant of Lipschitz domains

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\~{n}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.

math.PR

CLT with explicit variance for products of random singular matrices related to Hill's equation

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.

math.PR

Independent factorization of the last zero arcsine law for Bessel processes with drift

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.

math.PR

Quasi-Stationary Distributions for the Voter Model on Complete Bipartite Graphs

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.

math.PR

Conformal Skorokhod embeddings and related extremal problems

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 $\mu$ 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 $\mu$ 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.

math.PR

Spectral upper bound for the torsion function of symmetric stable processes

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\H{o}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.

math.PR

Finite-Memory Elephant Random Walk and the Central Limit Theorem for Additive Functionals

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.

math.PR

Lyapunov exponent and variance in the CLT for products of random matrices related to random Fibonacci sequences

We consider three matrix models of order 2 with one random entry $\epsilon$ and the other three entries being deterministic. In the first model, we let $\epsilon\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 $\epsilon\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 $\xi\epsilon$ where $\epsilon$ is a standard Cauchy random variable and $\xi$ is a real parameter. We then use Monte Carlo simulations to approximate the variance in the CLT for both parameter models.

math.PR

The subcritical phase for a homopolymer model

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 $\beta$ 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 $\beta$ times the occupation time at the origin up to time $t$. The case $\beta>0$ was studied previously by Cranston and Molchanov arXiv:1508.06915. We consider the case $\beta<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.

math.PR

Scaled penalization of Brownian motion with drift and the Brownian ascent

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(\nu S_t):t\geq 0\big)}$ where $\nu\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 $(\nu,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 ${\nu<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.

math.PR