Questions tagged [geometric-probability]
The geometric-probability tag has no usage guidance.
60 questions with no upvoted or accepted answers
15
votes
0
answers
398
views
Will a unit disk be completely covered by randomly placed disks of area $\pi,\frac{\pi}{2},\frac{\pi}{3},\dots$ with probability $1$?
On a "bottom" disk of area $\pi$, we place "top" disks of area $\pi,\frac{\pi}{2},\frac{\pi}{3},\dots$ such that the centre of each top disk is an independent uniformly random ...
- 3,577
7
votes
0
answers
152
views
Probability of landing inside the convex hull of previously sampled points
Let $\{X_i\}_{0\leq i\leq\infty}$ be i.i.d. random vectors in $\mathbb{R^d}$.
I would like to show that the probability of one point being in the convex hull of the others goes to one with the number ...
- 233
5
votes
0
answers
140
views
What kinds of gradient-flows on $\mathbb R^d$ preserve the log-concavity of the distribution $\mu_0$ of starting point $x_0$
Let $\mu_0$ be a log-concave distribution on $\mathbb R^d$ and let $f:\mathbb R^d \to \mathbb R$ be $C^2$. Let $x_0$ be sampled uniformly at random from a log-concave distribution $\mu_0$, meaning ...
- 6,853
4
votes
0
answers
52
views
Isomorphism of Wasserstein space implies isomorphism of base spaces?
Assume $(X_i,d_i)$ are polish spaces (or compact metric spaces) for $i=1,2$.
Further assume that the 1- Wasserstein spaces $(P_1(X_1),W_1)$ and $(P_1(X_2),W_1)$ are isometrically isomorphic. Does that ...
4
votes
0
answers
52
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 ...
- 181
4
votes
0
answers
259
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(...
- 6,853
4
votes
0
answers
107
views
Upper bound $\tau_C := \int_{\|x\| \le 1}(vol(C \cap (x + C))/vol(C))dx$ for a convex body $C \subseteq \mathbb R^n$, by reducing to a ball
Let $C$ be a convex body in $\mathbb R^n$, i.e a bounded convex subset of $\mathbb R^n$ which has nonempty interior, and which is (A) open, or (B) closed (I'm not sure one makes more sense; choose the ...
- 6,853
4
votes
0
answers
180
views
Volume difference in random approximation of polytope
The following easily stated problem has arisen in my research. However, it's outside my field, and I'm unfamiliar with the literature. I would greatly appreciate any references.
Let $K\subset \...
- 211
4
votes
0
answers
481
views
The probability distribution for the number of pairwise distances $\leq$ some threshold for points uniformly placed in a sphere
If I place place $N$ particles in a sphere of radius $R$, selecting positions across the sphere's volume with uniform probability, what is the exact probability distribution for the number of pairwise ...
- 41
3
votes
0
answers
135
views
Edges in the convex hull of the union of random polygons
Let $P$ and $Q$ be two convex polygons in $\mathbb{R}^2$. Given $a > 0$, denote by $aP$ its image under the dilation by $a$ centered around the origin (i.e. the polygon obtained by replacing each ...
- 2,216
3
votes
0
answers
230
views
Expectation of angle between two vectors in the image of a gaussian random matrix
Let $m$ and $n$ be large positive integers (going to infinity), and let $W$ be a random matrix of size $n \times m$ with iid entries from $N(0,1/m)$. Let $x,y \in \mathbb R^m$ be deterministic vectors,...
- 6,853
3
votes
0
answers
132
views
Probability that a Voronoi cell contains exactly k random points
Consider two independent point processes in the unit square $[0,1]^2$. The two point processes are identically independent and typically binomial/Poisson. One, say $\Phi^*$, is used to generate a ...
- 137
3
votes
0
answers
253
views
Metric ($f$-divergence) on space of probability measures that satisfies pythagorean theorem
Let $E$ be a polish space, $\mathcal{P}(E)$ the Borel probability measures on $E$ with the topology of weak convergence and $\mathcal{Q} \subset \mathcal{P}(E)$ a convex and compact set.
First, the ...
- 1,095
3
votes
0
answers
234
views
Are random convex polygons on a sphere themselves sphere-like?
Say $\mathbb{R}^n$ is divided by $k>n$ randomly chosen hyperplanes. Each connected region away from the hyperplanes is the intersection of $k$ half-spaces, so it is a convex cone. It is known that ...
3
votes
0
answers
85
views
Expected Largest Area with Random Lines
We take the unit square and have it divided by $n$ lines which are chosen randomly. We choose the lines as follows, choose one of the four sides of the square at random and then choose a random point ...
- 133
3
votes
0
answers
133
views
Partitioning a sphere with a random tessellation
I have a $d$-dimensional sphere of radius $1$. I now tessellate the space with $d$-dimensional cubes of side $L$ and uniform distribution of the origin of the tessellation. Thus the size of the ...
- 162
3
votes
0
answers
134
views
Algorithm to calculate moments of uniform distribution on convex polyhedra
There is system of linear inequalities
$$
Ax \leq K,
$$
$$
x\geq a, x\leq b.
$$
$A$ is $(n\times m)$-matrix, where $n\approx 100$ and $m\approx 10000$, $rank(A)=n$.
Suppose that on set of solutions ...
3
votes
0
answers
157
views
Intrinsic volumes of a family of convex sets $\{K_n\}$
Consider a family of convex sets $\{K_n\}$ such that $K_n \subset \mathbb{R}^n$ for each $n$. The kinds of sets one might be considering could be, for instance,
$K_n$ is the cube of side $2A$, i.e., ...
- 1,034
2
votes
0
answers
64
views
Limiting distribution of separated points in a unit square
Let $n$ and $r$ be fixed, and consider the following process, with $S=\emptyset$ to start:
For $i\in\{1,\dots,n\}$:
Sample a random point $X$ in the unit square.
If $X$ is a distance at least $r$ ...
- 4,049
2
votes
0
answers
306
views
Why is it impossible to create a numerically balanced die with more than 120 sides?
I allow myself to contact you as a mathematics enthusiast. I have recently been intrigued by the concept of balance in dice and the assertion that it would be impossible to create a numerically ...
2
votes
0
answers
185
views
An attempt to define expected value of a Riemannian manifold valued random variable - what'll go wrong?
Let $X:\Omega\to (M,g)$ be a random variable taking values in a Riemannian manifold $(M,g)$ with the Riemannian volume form denoted by $dvol_g(x).$ We know that there's no standard way to generalize ...
- 1,467
2
votes
0
answers
131
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 ...
- 6,853
2
votes
0
answers
79
views
Local variation of normals on Riemannian submanifolds of $\mathbb R^D$
Let $M^d\subseteq\mathbb R^D$ be a compact manifold, $p\in M$ and $\nu\in N_p(M)$. Suppose that all the principal curvatures in direction $\nu$ are in $[a,b]$ for some $0<a<b<\infty$. Suppose ...
user176426
2
votes
0
answers
174
views
Random sets of points and hyperplanes in high dimensions
We are given a set $X$ of $n$ points $\mathbf{x}_1, \mathbf{x}_2, \ldots, \in\mathbb{R}^d$ selected uniformly at random from the unit origin-centered ball $\mathcal{B}^{d}$.
Consider the random ...
- 1,677
2
votes
0
answers
68
views
Approximate any point of the interval $[-1/2,1/2]$ by the sum of $n$ iid uniform random variables from $[-1,1]$
Let $x \in [-1/2,1/2]$ and $X_1,\ldots,X_n$ be drawn iid from the uniform distribution on $[-1,1]$.
Question. Given $\varepsilon \ge 0$ an integer $k \in [1,n]$, what is a good lower-bound on the ...
- 6,853
2
votes
0
answers
738
views
Is there any geometric interpretation for the trace of Fisher information matrix?
Consider a parametric family $p_\theta(x)$ of distributions, with parameter $\theta \in \Theta \subseteq \mathbb R^p$.
If the mapping $\theta \mapsto p_\theta(x)$ is continuously differentiable at $\...
- 6,853
2
votes
0
answers
248
views
Intrinsic volume - is there a simplified formula?
I'm struggling to understand how can I compute the instrinsic volumes (or Minkowski functionals) of a submanifold $\Omega$ of $\mathbb{R}^N$. I found a formula, but I really can't understand it...
It ...
- 1,759
2
votes
0
answers
57
views
Given a set of marginals, what is the largest support of a distribution satisfying these?
Given a random variable $X$ with support over $\{0,1\}^I$, we can define the marginal distribution on the bits indexed by $A \subseteq I$ by $Pr(X_A = x_A) = \sum_{x \in \{0,1\}^{I - A}} Pr(X = x \cup ...
2
votes
0
answers
125
views
Inclusion of convex polytopes and embedding from $\ell_2$ to $\ell_\infty$
I would like to dig deeper into the problem posted Probability that a convex shape contains the unit ball:
If you pick n points uniformly at random from the surface of a d
dimensional sphere of ...
- 133
2
votes
0
answers
67
views
Extreme points in $d$-dimensional quadrant hull of $n$ random points in a halfplane
Finding the asymptotic growth of the expected number of extreme points of the quadrant hull in $d$ dimensions seems to be a well studied problem. Interestingly, the solution appears to vary widely by ...
- 297
2
votes
0
answers
900
views
norm of projection of a random vector on the sphere onto a linear subspace
Let $x$ be a random vector uniformly distributed on the unit sphere $\mathbb{S}^{D-1}$ and let $\mathcal{V}$ be a linear subspace of dimension $m$. Then it is known that the euclidean norm of the ...
- 398
2
votes
0
answers
242
views
What transformations preserve the von Mises distribution?
The von Mises distribution is entirely defined on the circle with a density given by
$$f(x) = (2\,\pi\, I_0(\kappa))^{-1} \exp(\kappa \cos(x-\mu))\ ,$$
where $x$ is in an arbitrary real interval of ...
- 236
1
vote
0
answers
98
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 ...
- 633
1
vote
0
answers
143
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$, ...
- 6,853
1
vote
0
answers
258
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}},...
- 211
1
vote
0
answers
62
views
Existence of a bigeodesic in last passage percolation is $0$-$1$ event
On the bottom of page two of This paper, the authors remark the following:
'...by translation invariance and ergodicity, we know that existence of a bigeodesic is a $0−1$ event and hence it follows ...
- 371
1
vote
0
answers
100
views
Cartesian product of Poisson processes
Consider $n$ smooth, compactly supported functions $\phi_1,\dots, \phi_n \in C_c^\infty(\mathbf{R})$, and generate $n$ independent Poisson spatial processes $N_1,\dots,N_n$ on $\mathbf{R}$, each with ...
- 455
1
vote
0
answers
83
views
Given a large random matrix, how to prove that every large submatrix whose range contains a large ball?
Context. Studing a problem in machine-learning, I'm led to consider the following problem in RMT...
Definition. Given positive integers $m$ and $n$ and positive real numbers $c_1$ and $c_2$, let's ...
- 6,853
1
vote
0
answers
64
views
Dependence rank: what is the size of the largest subcollection of random variables which is statistically independent?
Let $X_1,\ldots,X_p$ be random variables on the same space. Define their dependence rank, denoted $rank(X_1,\ldots,X_p)$ as the largest nonnegative integer $k$ such that there is a subcollection of $k$...
- 6,853
1
vote
0
answers
334
views
Strong data-processing inequality ? Upper bound on a certain modified total-variation metric
Let $\mathcal X=(\mathcal X,d)$ be a Polish space equipped with the Borel sigma-algebra. Let $p\ge 1$ and $P_1,P_2$ be probability distributions on $\mathcal X$ such that $\max_{k=1,2}\int d(x,x_0)^...
- 6,853
1
vote
0
answers
180
views
Sampling uniformly from a ball in SPD manifold
I'm trying to sample uniformly from a ball around the identity matrix in the manifold of symmetric positive-definite matrices (SPD), i.e., $\mathcal{B}(R) = \{X \in \mathcal{P}(n) : d_\mathcal{P}(I_n, ...
- 281
1
vote
0
answers
259
views
Is there a precise relationship between ``Geometric Functional Analysis" and high-dimensional probability/information theory?
The 2009 course on GFA by Roman Vershynin (https://www.math.uci.edu/~rvershyn/papers/GFA-book.pdf) introduced the subject with this line on the course page, "...
- 2,246
1
vote
0
answers
173
views
Upper bound for $\sup_{W_d(Q, P) \le \epsilon} Q(A)$, where $W_d$ is the Wasserstein metric
Let $X=(X,d)$ be a metric space and let $W_d$ denote the Wasserstein metric induced by this metric, on the space of probability distributions on $X$. Let $\epsilon \ge 0$, $A$ be a Borel subset of $X$...
- 6,853
1
vote
0
answers
94
views
Measure of the boundary of the support of a certain function defined by an expectation
Suppose:
$\mathcal{S} = \{ S \in \mathbb{R}^d \ | \ S_i > 0, \forall i = 1,...,d \} $
$R$ is a random vector (on some probability space, $\Omega$) such that, $R: \Omega \to \mathcal{S}$.
$h : ...
- 111
1
vote
0
answers
234
views
Strong Dependence
I don't know if this definition has been already given.
Suppose $X$ and $Y$ are two random variables over finite alphabets $\mathcal{X}$ and $\mathcal{Y}$. We say $Y$ is strongly dependent on $X$ if ...
- 1,109
1
vote
0
answers
245
views
Random walk conditioned on sum and last step
Can anyone help with the following (slightly weird) random walk question? I have a random walk starting at $X_0 = 1 = S_0$ where the steps $X_i$ are independent uniform random variates in $[-1,1]$. ...
- 747
1
vote
0
answers
501
views
Distribution of random vectors
Two positive numbers $\alpha$ and $\beta$ are given. We are going to describe a process of choosing a random vector on the unit sphere $S$ in $\mathbb R^3$ (given by $x^2+y^2+z^2=1$).
A vector $u\in ...
- 143
0
votes
0
answers
24
views
Is there a log-concave distribution not spherical symmetric s.t $ \langle X, \theta \rangle$ is almost normal for all directions $\theta$?
Klartag's results indicate that for a log-concave isotropic random vector, with high probability over $\theta$, $\langle X, \theta \rangle$ is close to a normal distribution.
It is known that for the ...
- 11
0
votes
0
answers
43
views
Intersection of subspace of cyclical rotations with orthant
In an $N$-dimensional real Euclidian space, let an orthant be specified by a vector
$\underline{x}_0 = \{x_1, x_2, \dots, x_N\}$ where the components $x_k$ are binary in the sense that $x_k = \pm 1$...
- 101
0
votes
0
answers
141
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)...
- 6,853