# Questions tagged [geometric-probability]

The geometric-probability tag has no usage guidance.

203
questions

0
votes

1
answer

96
views

### How many samples do you need to get constant dispersion?

Let $C_n$ be the hypercube $[-1,1]^n$. For $a_1,\cdots,a_s \in C_n$, define its dispersion $D(a_1,\cdots,a_s)$ as $\max_{x \in C_n}\min_{i \in [s]} \|x-a_i\|_{2}$. Let $0< \lambda < 1$ be a ...

4
votes

0
answers

29
views

### Quantifying error in the reconstruction of convex polytopes from moments

The problem of reconstructing a geometric object from its moments is of interest in a variety of fields. In the paper The Inverse Moment Problem for Convex Polytopes, the authors show that a convex ...

2
votes

1
answer

158
views

### Dispersion of a "random" subset of $[-1,1]^2$

Let $C$ be the square $[-1,1]^2$. Let $a_1,\dots,a_m$ be points chosen independently and uniformly at random from $C$. Let $d_m$ (dispersion) be the random variable $\max_{x \in C}{\min_{j \in [m]}{\|...

0
votes

0
answers

55
views

### Support function of the intersection of a hyper-ellipsoid and a Euclidean ball

Le $\lambda_1 \ge \lambda_2 \ge \ldots \ge \lambda_d$ be positive numbers. For any $x \in \mathbb R^d$ and $r \ge 0$, define $\gamma(x,r) := \sup_{z \in E(r)}x^\top z$, where
$$
E(r) := E \cap B_2^d(r)...

0
votes

1
answer

59
views

### Can a measure on a finite metric space be Alhfors regular?

Recall that a probability $\mu$ measure on a metric space $(X,d)$ is called Ahlfors $q$-regular if there are $0<c\le C$ such that: for $\mu$-a.e.\ $x\in X$ one has
$$
cr^q \le \mu(B(x,r)) \le Cr^q,
...

0
votes

1
answer

63
views

### Order of orthant probabilities in a prolate multinormal distribution

This is inspired by the negative answer to the conjecture in Which orthant probabilities are the largest? (For a multivariate normal distribution).
Suppose $X$ has the $k$-dimensional multivariate ...

1
vote

2
answers

65
views

### Variant of the Schläfli problem about random points on the hypersphere

I believe it was Ludwig Schläfli who first worked out the probability $m$ points uniformly distributed on the $n$-sphere all lie in the same hemisphere. In the limit of large $n$ this probability ...

2
votes

1
answer

71
views

### Distribution of scaled Johnson-Lindenstrauss transforms

Suppose that $\mathcal{D}$ is a Johnson-Lindenstrauss (JL) distribution on $\mathbb{R}^{r\times n}$ ($1 \le r \le n$), meaning that there exist constants $\epsilon, \delta \in(0,1)$ such that
$$
\...

0
votes

0
answers

105
views

### $\mathbb{P}(\|A^Tx\| \ge \epsilon \|A\|\|x\|) \ge \delta$ for all $x \in\mathbb{R}^n$

Let $r$ and $n$ be integers such that $1 \le r \ll n$, and $\|\cdot\|$ denote the Euclidean norm of vectors or the spectral norm of matrices.
Suppose that $\mathcal{D}$ is a probability distribution ...

1
vote

1
answer

106
views

### Gaussian width of intersection of cube and ball in high-dimensional euclidean space

Let $d$ be a large positive integer and fix $r \ge 0$. Set $S := B_2^n \cap [-r,r]^d$, where $B_2^d$ is the euclidean unit-ball in $\mathbb R^d$. Finally, let $\omega(S)$ be the Gaussian width of $S$, ...

0
votes

0
answers

35
views

### Iterated gaussian ensembles & hypervectors

Suppose one has $N$ vectors (approximately uniformly) randomly distributed on the sphere $S_{N-1}$. Here, $N$ is "large", e.g. $N=100$ or $N=1000$. Taking the dot product of any two vectors $...

4
votes

1
answer

84
views

### Mean width of a simplex as one edge becomes longer

Consider an edge $e$ of a simplex $C$. If we increase the length of $e$ while keeping the length of other edges constant, the width of $C$ increases in some directions and decreases in other ...

1
vote

1
answer

76
views

### Distance between empirical measures and thickened version

Let $\mathcal{H}$ be a separable Hilbert space and let $x_1,...,x_n$ be points in $\mathcal{H}$. Let $\varepsilon >0 $ be given and consider the measures
$$
\mu := \frac1{n}\,\sum_{i=1}^n\, \...

1
vote

1
answer

136
views

### Integration by parts for indicator of a sphere to indicator of a ball

Broadly speaking, I have a radial distribution on $\mathbb R^n$, i.e., the pdf only depends on the $\ell_2$-norm of the argument. I would like to obtain an expression for the pdf in the form $\int_{w=...

4
votes

1
answer

252
views

### Equidistribution of distances of integer points to a circle

I have noticed in the following graph that the euclidean distance
between points $k \in\mathbb{Z}^2\cap C_7^1$ ($C_7^1:={}$Circle with radius 7 and shell with thickness 1) and the nearest point on the ...

0
votes

0
answers

43
views

### Inclusion-exclusion in a set of multivariables

I want to determine the risk of a multi-asset portfolio, in a way different from previous attempts. It is because current methods focus on just the correlation coefficient of two variables, while in a ...

2
votes

0
answers

104
views

### Eigenvalues of Witten Laplacian induced by log-concave probability measure on manifold

Let $M$ be a closed $n$-dimensional Riemannian manifold and let $\mu=e^{-V}d\mathrm{vol}_M$ be a log-concave probability measure on $M$, such that the pair $(M,\mu)$ verifies the so-called Bakry-Emery ...

1
vote

0
answers

67
views

### Measure estimates of $\delta$-neighbourhood of compact sets

I am interested in the estimating from above the measure of a compact set $K$ by a sequence of sets $K_n$, converging to it in the Hausdorff metric. As such I am looking for known conditions that give ...

0
votes

1
answer

203
views

### Projecting a given point onto a random $2$-dimensional plane in more than $3$ dimensions

We are given $\mathbf{p}\in\mathbb{R}^d$, where $d\gg 1$. Let $\mathbf{v}$ be a point selected uniformly at random from the unit $(d-1)$-sphere $\mathcal{S}^{d-1}$ centered at the origin $\mathbf{0}\...

1
vote

3
answers

313
views

### Under what general conditions is the set $S := \left\{\int_{X}v(x)\pi(x)\,\mathrm{d}P(x) \mid \pi: X \to A\right\}$ closed?

Let $X$ be a compact subset of $\mathbb R^n$ and let $A$ be a compact subset of $\mathbb R^k$. Let $P$ be a probability distribution on $X$ and $v$ be a $P$-measurable function from $X$ to $\mathbb R^{...

0
votes

0
answers

124
views

### Upper-bound for bracketing number in terms of VC-dimension

Let $P$ be a probability distribution on a measurable space $\mathcal X$ (e.g;, some euclidean $\mathbb R^m$) and let $F$ be a class of funciton $f:\mathcal X \to \mathbb R$. Given, $f_1,f_2 \in F$, ...

1
vote

0
answers

178
views

### Given p1=P(X1>X2), p2=P(X1=X2) and p3=P(X1<X2) (with necessarily p1+p2+p3=1), what is λ1 and λ2？ [closed]

In the following three equations : p1, p2, p3 are known, find λ1=? , λ2=?
(with necessarily p1+p2+p3=1)
$$ p_1 = \sum_{0 \leq k_2 \lt k_1 \in Z}(\frac {\lambda _1^{k_1}} {k_1!}\cdot{e^{-\lambda _1}})(\...

1
vote

1
answer

71
views

### Approximating the probability of a half-space using random Voronoi diagrams

Fix a half-space $H = \{x_1 \geq 0: ~ (x_1,\dots,x_n) \in \mathbb{R}^n\}$. Let $p$ be a distribution with support in $\mathbb{R}^n$. I am interested in the following way of estimating the weight $p(H) ...

3
votes

1
answer

164
views

### A question about average deviation of given $n$ complex numbers

This question just came to my mind and I have no idea as to how to approach it. Let $z_1,z_2,\dots,z_n$ be $n$ be any complex numbers in the unit disc $|z| \leq 1.$ Consider a complex function on the ...

1
vote

1
answer

203
views

### For $x_1,...,x_n$ iid random on sphere of radius $\sqrt{d}$ in $R^d$, what is a good upper-bound on min distance of $x_{n}$ from the other $x_i$'s?

Let $n$ and $d$ be large positive integers with $n \le d^\gamma$, for some absolute constant $\gamma>0$; i.e., $n$ is at most polynomial in $d$. Let $x_1,\ldots,x_n,x_{n+1}$ be drawn iid from the ...

4
votes

0
answers

247
views

### Malliavin calculus and geometric interpretation of $\nabla \cdot ({\nabla F(x)}{\|\nabla F(x)\|^{-2}})$, with regards to the surface $S = \{F = 0\}$

Let $F:\mathbb R^n \to \mathbb R$ be a "sufficiently regular" function. For any $k \ge 1$ and $x \in \mathbb R^n$, define
$$
\alpha_k(x) := \nabla \cdot \left(\dfrac{\nabla F(x)}{\|\nabla F(...

3
votes

1
answer

598
views

### Defining a probability distribution on each tangent space of a manifold?

I've been reading about probability on manifolds. What bothers me is that there's no clear way to generalize the Gaussian distribution to manifolds. If we instead assign a probability distribution to ...

2
votes

1
answer

129
views

### Tightly placed sphere caps

Problem. Fix a positive real $r>0$ and a positive integer $n>0$. Consider an independent, identical sample $X_1, \ldots X_n$ drawn from the uniform distribution over the unit $d$-sphere $\mathbb ...

0
votes

2
answers

169
views

### Time-derivative of integral over sub-level set $s(t) := \int_{f^{-1}((-\infty,t])}p(x)dx$

Let $\mu$ be a probability distribution on $\mathbb R^d$ with "sufficiently regular" density $p$. Let $f:\mathbb R^d \to \mathbb R$ be a "sufficiently regular" function. Finally, ...

2
votes

1
answer

151
views

### Examples of "almost" Ahlfors regular measures

Let $\mu$ be a Borel probability measure on $\mathbb{R}^n$ such that there are $c,C,d,D>0$ satisfying: for every $x \in \mathbb{R}^n$ and every $r>0$
$$
c r^d \leq \mu(B(x,r)) \leq Cr^D.
$$
Let'...

4
votes

1
answer

205
views

### Is $\int_{-c}^c |A \cap (x + A)|\, dx$ maximized when the measurable subset $A \subseteq \mathbb R$ is an interval centered at the origin?

Let $A$ be a nonempty measurable subset of $\mathbb R$, with Lebesgue measure $|A|=1$, and let $c>0$. Define the scalar $I(A)$ by
$$
I(A) := \int_{-c}^c |A \cap (x + A)|\, dx,
$$
where $x+A := \{x +...

2
votes

1
answer

131
views

### Existence of preferred direction for a random vector with arbitrary distribution on sphere, under a condition on its covariance matrix

Let $X$ be random vector on the unit-sphere $S_{n-1}$ in $\mathbb R^n$. We don't assume that the distribution of $X$ is uniform on $S_{n-1}$
I'm interested in proving the existence of a (...

1
vote

0
answers

139
views

### $\newcommand\v{\operatorname{vol}_d(C}$Compact subsets of $ℝ^d$ which maximize $\inf_{|v|\le1}\dfrac{\v\cap(𝜀v+C))}{\v)}$ for fixed $\v)$ and $𝜀>0$

Let $\operatorname{vol}_d$ be the volume measure on $\mathbb R^d$ and let $B_d$ be the unit-ball. For $\varepsilon \ge 0$ and a compact subset $C$ of $\mathbb R^d$ with $\operatorname{vol}_d(C)>0$, ...

0
votes

2
answers

185
views

### Building the Wasserstein space by pushforwards

Let $\mathbb{R}^d$ denote the $d$-dimensional Euclidean space, $\mathcal{W}_2(\mathbb{R}^d)$ denote the $2$-Wasserstein space with respect to the $d$-dimensional Euclidean space $\mathbb{R}^d$. Let $...

1
vote

1
answer

74
views

### On the Lipschitz continuity of the unit-normal vector field of a polytope

Let $\mu$ be a probability measure on $\mathbb R^n$ and let $P$ be a compact polytope in $\mathbb R^n$. For any $x \in \mathbb R^n \setminus P$, let $p(x) \in P$ be (unique!) point in $P$ which is ...

1
vote

0
answers

231
views

### Comparing two multivariate normal distribution

Let $\mathbf{Z}\sim N(\boldsymbol{\mu},\mathrm{\Sigma})$, where
\begin{equation}\label{Eq.Mean}
\boldsymbol{\mu}^{\rm T} = \delta[-\sqrt{\frac{x_1x_2}{x_1+x_2}},\frac{-1}2\sqrt{\frac{x_1x_3}{x_1+x_3}},...

1
vote

1
answer

199
views

### When are Wasserstein spaces $CAT(\kappa)$?

Let $(X,d)$ be a complete and separable metric space and, for $1\leq p<\infty$, let $(\mathcal{P}_p(X,d),W_p)$ be the $p$-Wasserstein space on $(X,d)$. For which $p$ and $(X,d)$ is $(\mathcal{P}_p(...

6
votes

3
answers

392
views

### Isoperimetric inequality for $\epsilon$-expansion of a set only along a certain subspace

Let $\gamma_n$ be the standard gaussian distribution on $\mathbb R^n$. Let $V$ be a $k$-dimensional subspace of $\mathbb R^n$. Finally let $A$ be any (nonempty) Borel subset of $A$ with $\gamma_n(A) = ...

3
votes

1
answer

178
views

### Regularity of transport map

Let $\mu$ and $\nu$ be probability measures on $\mathbb{R}^n$ with first moment and suppose that both $\mu$ and $\nu$ have a densities with respect to the $n$-dimensional Lebesgue measure. Fix some ...

0
votes

2
answers

132
views

### What is the limiting marginal distribution of a fixed number of coordinates of a random point drawn uniformly on large-dimensional sphere?

Let $X=(X_1,\ldots,X_d)$ be uniformly-distributed on the sphere of radius $\sqrt{d}$ in $\mathbb R^d$. It is well-known that in the limit $d \to \infty$, the marginal distribution of $X_1$ converges ...

2
votes

2
answers

209
views

### Integral of product of Hermite polynomials w.r.t marginal distribution of first two-coordinate of random vector on unit-sphere

This question is related to: https://math.stackexchange.com/q/4270522/168758
Let $H_n(x) \in \mathbb R[x]$ be the probabilist's $n$th Hermite polynomial. This an $n$th degree polynomial given by the ...

4
votes

1
answer

739
views

### The infinity Wasserstein distance $W_\infty$ and the weak topology

Let $X$ be a compact metric space (without isolated points). The $\infty$-Wasserstein distance $W_\infty$ on the space of Borel probability measures on $X$ can be described as $$W_\infty(\mu,\nu) = \...

4
votes

2
answers

253
views

### Concentration of $k$-th pairwise distance of random points in a unit square

For $1\leq i \leq n$, let $X_i\sim \text{Uniform}(0,1)$, $Y_i \sim \text{Uniform}(0,1)$ be $n$ points chosen uniformly in the unit square. Denote the $k$-th smallest pairwise distances across the $n$ ...

0
votes

2
answers

433
views

### Wasserstein distance between $N(0,1/d)$ and the marginal distribution of $x_1$ when $x=(x_1,\ldots,x_d)$ is uniform on the unit-sphere in $R^d$

Let $x=(x_1,\ldots,x_d)$ be uniformly distributed on the unit-sphere in $\mathbb R^d$.
Question.
What is a good upper-bound for Wasserstein distance between $N(0,1/d)$ and the marginal distribution ...

1
vote

1
answer

197
views

### Norm contrained Gaussian distribution

Let $X$ be a multivariate normal $\mathcal{N}(\mu, \Sigma^2)$ and let $X$ be anisotropic, that is I am considering $\Sigma$ to be a diagonal matrix but the elements on the diagonal might be different.
...

6
votes

1
answer

302
views

### Almost evenly distributed spherical random vectors

Consider $n$ i.i.d spherically distributed random vectors $z_1 ,\cdots , z_n \sim \text{Unif}(\mathbb{S}^{d-1})$. What is the best lower bound on $n$ for which whp there exists a constant $c>0$ ...

6
votes

3
answers

689
views

### Expected absolute value of the average of two points from the disc

Looking at Average distance of the mean of n random complex numbers in a unit disc, I tried to figure out
what is the expected absolute value $|\frac{z_1 + z_2}{2}|$ of two numbers $z_1, z_2\in\...

6
votes

2
answers

428
views

### Average distance of the mean of $n$ random complex numbers in a unit disc

Let $z_1,z_2,\dots,z_n$ be $n$ complex numbers distributed uniformly and randomly over the unit disc $x^2+y^2 \leq 1$. Let $z$ be the complex number defined by the mean of the of these numbers,that ...

0
votes

0
answers

195
views

### Lower-bound smallest eigenvalue of covariance matrix of $y = f(Ax)$, for $x$ uniform on unit-sphere

Let $A=(a_1,\ldots,a_)$ be a fixed $k \times d$ matrix (with $d$ large), and $x$ be a random vector uniformly distributed on the unit-sphere in $\mathbb R^d$. Let $f:\mathbb R \to \mathbb R$ be a ...

5
votes

2
answers

231
views

### Bounding Brownian motion and an Ito process simultaneously

Let $(W_t)_{t\geq0}$ be a standard Brownian motion in $\mathbb{R}^n$ and $(A_t)_{t\geq0}$ be an adapted matrix-valued process such that $A_t$ is a positive symmetric matrix with bounded operator norm :...