Skip to main content

Questions tagged [mg.metric-geometry]

Euclidean, hyperbolic, discrete, convex, coarse geometry, metric spaces, comparisons in Riemannian geometry, symmetric spaces.

Filter by
Sorted by
Tagged with
0 votes
1 answer
277 views

both convex and superharmonic function on manifold concave?

M is a non-compact Rimannian manifold without boundary. $f\in W_{loc}^{1,2}(M)$ satisfies $\Delta f \leq c$ in the weak sense, i.e. $$ -\int_M \langle \nabla f,\nabla \psi \rangle dvol \leq c\int_M \...
jiangsaiyin's user avatar
0 votes
1 answer
628 views

Lipschitz boundary vs rectifiable curve boundary

I was looking at an old paper about domains with Lipschitz boundary. I am wondering, suppose that the boundary of a compact domain homeomorphic to a disk is a rectifiable injective curve : is this ...
F. Gabriel's user avatar
0 votes
1 answer
73 views

Optimal radiating $(d{-}1)$-flats within a sphere

Permit me to revisit an earlier unresolved MO question, "Chord arrangement that avoids confining small or large disks" with a (very!) specific version, inspired by radiation therapy. The main idea is ...
Joseph O'Rourke's user avatar
0 votes
1 answer
89 views

Is a $CD(K,\infty)$ space a length space?

Let $(X,d)$ be a complete and separable metric space endowed with a nonnegative Borel measure $\mu$ with support $X$ and satisfying \begin{eqnarray} \mu(B(x,r))<\infty,\quad\mbox{for every }x\in X\...
Leovlee's user avatar
  • 11
0 votes
1 answer
92 views

rational rotation vector and closed curves

On $\mathbb{T}^n$ with a Riemannian metric, the stable norm is defined as $$\Vert h\Vert=\inf \sum |r_i| \cdot \mathrm{length}(\sigma_i),$$ where $h\in H_1(\mathbb{T}^n,\mathbb R)$ and $\sum_i r_i\...
John Galt's user avatar
  • 197
0 votes
1 answer
197 views

Area on the unit sphere swept out by big circles corresponding to a curve

For a point on the unit sphere, we know the plane perpendicular to the line through the origin and the point cuts the sphere with a big circle. When the point moves along a sphere curve, the ...
Jiange Li's user avatar
0 votes
1 answer
104 views

Random Sequential Adsorption of Discs on a Plane - What is the best known lowerbound for the number of circles (of some radius $r$) guaranteed to fit on $[0, 1]^2$?

Imagine I perform a random sequential adsorption (RSA) simulation for circles or discs of some radius $r \leq 1$ in $[0, 1]^2$ (I am open to changing this geometry to the unit circle). As a function ...
FloatingLantern's user avatar
0 votes
1 answer
203 views

geodesics on a Finsler space

A positive $1$-dimensional parametric integrand (short $1$-p.i.) is a continuous function on the tangent space of a manifold $F:TM\rightarrow \mathbb{R}_{\geq 0}$ that is positively homogeneous. This ...
daniel's user avatar
  • 1
0 votes
1 answer
156 views

Does homeomorphism preserves the family of cones?

Let me state my problem. Suppose we have a ball $B$ in standard $\mathbb{R}^3$, that is a $\varepsilon$-neighbourhood of $0$ point. Suppose we have a family of cones $X_C = \lbrace C > 0 \vert x^2 +...
Evgeny's user avatar
  • 165
0 votes
1 answer
194 views

relation with jacobifields in a small neighbourhood

hi, I have the following question: Let $(M,g)$ be a complete Riemannian manifold with all sectional curvatures non-positive. Let $p \in M$ and consider the function $d(x)=dist_{g}(x,p)$ in a ...
pascal's user avatar
  • 89
0 votes
1 answer
289 views

Dither in Leech lattice quantization!

Can you please help me how to generate a dither signal $\mathbf{U}$, where $\mathbf{U}$ is a random vector of length 24 that is uniformly distributed over the Voronoi region of the Leech lattice. Best,...
Farzad's user avatar
  • 197
0 votes
1 answer
761 views

Action of Isometries on a Line in the Plane

I'm trying to determine the stabilizer of a line in a plane when acted upon by the group of isometries of the plane. Please note that I'm using the notation found in the Wikipedia article on Euclidean ...
MiamiMath's user avatar
0 votes
1 answer
695 views

Minimum distance between two data sets

Suppose we have two sets of data, $X$ and $Y$, each of which contains $10$ positive numbers. Now let us order the data sets $X=\left\{ x_{1},\cdots,x_{10}\right\}$, $x_{1}\ge\cdots\ge x_{10}>0$ and ...
user20276's user avatar
0 votes
2 answers
242 views

Does uniform convergence of the metrics imply uniform convergence of the radii of the smallest balls?

Let $X$ be a countable set and $d_n,d$ locally finite metrics on $X$. Denote by $R_x^n$ (resp. $R_x$) the radius of the smallest closed ball in the metric $d_n$ (resp. $d$) about $x$ which contains at ...
Valerio Capraro's user avatar
0 votes
1 answer
442 views

Question about the proof of the fact that IR is not quasi-isomtric to IR^2 [closed]

Hello. Yesterday we proofed, that $\mathbb{R}$ is not quasi-isometric to $\mathbb{R}^2$ (both endowed with the standard Euclidean metric). Step 1.: $\mathbb{R}$ is q.i. $\mathbb{Z}$ and $\mathbb{R}^...
Eric's user avatar
  • 61
0 votes
1 answer
327 views

Minimum cardinality of the intersection of 2D rectangles

Let $S$ be a set of 2D points $(x,y)$ with positive real coordinates, i.e. $x,y>0$. An 2D rectangle $R$ is called an ${Origin-Rectangle}$ if it is decided by the origin $(0,0)$ and another point $(...
panjiangwei's user avatar
0 votes
1 answer
250 views

Hyperbolic isometries in cocompact Hadamard (i.e. cat(0) proper simply connected) spaces

Swenson proved in "A cut point theorem for ${\rm CAT}(0)$ groups" that a locally compact Hadamard space with a geometric action by a group $G$ admits a hyperbolic isometry (that lie in $G$). Is it ...
Aurelien's user avatar
0 votes
1 answer
219 views

Find elements $\rho_i$ such that $H < B : [\langle H, \rho_i \rangle : H ] = 2$

Let $\Gamma (G;(G_i)_{i \in I})$ be a coset geometry (in the sense of Buekenhout) firm, residually connected and flag transitive with Borel subgroup $B$. Consider $H$ any subgroup of $B$. I want to ...
Thomas Connor's user avatar
0 votes
2 answers
251 views

3d width and cross section

Greetings, We have a horn-shaped 3d body, which is represented as a list of vertices and faces. Each face is a triangle represented by 3 vertices. The body is positioned along the Z-axis (height). We ...
ojala's user avatar
  • 3
0 votes
0 answers
33 views

Request for resources on directional derivative of the Riemannian distance function, and Berger's lemma about geodesics realizing the diameter

I've been recently interested in directional derivatives of the Riemannian distance function, and I came across this question, and its answer by Sergei Ivanov, where he stated an important result: (I ...
Learning math's user avatar
0 votes
0 answers
72 views

Reflections of Voronoi diagrams

I wonder if something similar to the following fact is known, and I would greatly appreciate any references. Let $t_1, t_2, \ldots, t_N$ be unit vectors in $\mathbb{R}^n$. Let $S$ denote the unit ...
Cozy's user avatar
  • 1
0 votes
0 answers
42 views

Reference request: in Alexandrov geometry gradient flows preserve extremal subsets

It is mentioned in literature that in Alexandrov geometry gradient flows of semi-concave functions preserve each extremal subset. I am looking for a proof of this fact.
asv's user avatar
  • 21.8k
0 votes
0 answers
37 views

Constructing a minimum-volume outer approximation polytope with fewer facets

I am tackling the following problem: Given a set of points $D \in \mathbb{R}^d$ and their convex hull, represented with $n$ facets, I want to construct a convex polytope $P$ with at most $m<n$ ...
Shperb's user avatar
  • 101
0 votes
0 answers
29 views

Stable gap-less packing of a box with boxes

define a box packing as gap-less if all inner boxes have disjoint interior the sum of volumes of the inner box equals that of the outer box the sum of the extents of the inner boxes in each principal ...
Manfred Weis's user avatar
  • 13.2k
0 votes
0 answers
25 views

Is there a name for a spanner graph that only considers distance to a root node?

A $t$-spanner graph of a set of points $\{p_i\}$ in the plane is a graph $G = (V, E)$ such that for any pair of vertices $p_i, p_j \in V$, the shortest path distance $d_G(p_i, p_j)$ in $G$ is at most $...
Tom Solberg's user avatar
  • 4,049
0 votes
0 answers
176 views

How to find a configuration of lines

In $\mathbb{R}^3$, can anyone help find a configuration of 5 lines such that the minimum of the smallest semi-axis lengths of the ellipsoid $ \mathbf{x}^T \mathbf{A} \mathbf{x} = 1 $, where $\mathbf{A}...
Don's user avatar
  • 61
0 votes
0 answers
67 views

Projection of a gaussian random vector onto a convex body

Let $K \subset \mathbb{R}^n$ denote a convex body. Let $\Pi_K$ denote the projection onto $K$, $$ \Pi_K(y) = \mathrm{arg\,min}_{x \in K} \|y - x\|, $$ where $\|\cdot\|$ denotes the usual Euclidean ...
Drew Brady's user avatar
0 votes
0 answers
21 views

Largest inscribed parallelepiped of the convex set defined by partial sum of Fourier series

Let $\mathcal{X}$ be the set consisting of all $(2n+1)$-dimensional real vectors $\mathbf{x}=\left( a_0,a_1,\ldots,a_n,b_1,\ldots,b_n\right)^{\intercal}$ satisfying $$ \left| f_{\mathbf{x}}(t) \right|...
RyanChan's user avatar
  • 550
0 votes
0 answers
106 views

Upper bounds for minimum angle

What are the latest and best results on the asymptotic upper bound for the minimum angle between any pair of rays among $n$ rays in $\mathbb{R}^3$? Any helpful answer would be appreciated. Thank you!
Don's user avatar
  • 61
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 ...
Yass1's user avatar
  • 11
0 votes
0 answers
119 views

Boundedness of 2 times the unit ball

Suppose that $X$ is a topological vector space where the topology is given by a metric $d$ on $X$. Assuming that the unit ball $$ B(0, 1) := \{x \in X : d(0, x) < 1\} \neq X, $$ is it necessarily ...
Chandan Biswas's user avatar
0 votes
0 answers
37 views

Does smallness of Gromov-Hausdorff distance on scale 2 imply smallness on GH distance on scale 1?

Let $(M,g)$ be a Riemannian manifold and $C(Y)$ be a metric cone over $Y$. Let $B_r$ denote the geodesic ball of radius $r$ centered at a fixed point $x$ in $M$ and $C_r$ denote the metric ball of ...
Y.Guo's user avatar
  • 151
0 votes
0 answers
78 views

Coordinates of the centers of the insphere and circumsphere

Suppose we are working in $\mathbb{R}^3$ space and we have four non-coplanar and non-collinear points, $(x_a, y_a, z_a)$, $(x_b, y_b, z_b)$, $(x_c,y_c, z_c)$, and $(x_d, y_d, z_d)$. How does one ...
Benjamin L. Warren's user avatar
0 votes
0 answers
96 views

When can a point be reconstructed from relative angle measurements?

Given a set of points $p_1,\dots,p_n$ in $\mathbb{R}^d$ and a target point $x\in\mathbb{R}^d$, I measure all the angles between all pairs of points and the target point. In other words, I have the ...
Laurent Lessard's user avatar
0 votes
1 answer
231 views

Divide angles by coefficients relate to Fibonacci sequence

In the left Figure, consider a right triangle $OPA$ with $\angle {AOP} = 90^\circ$. Let $\ell$ be the reflection of $PO$ in $PA$ and $\ell$ meets $OA$ at $A_1$. Let $O_1$ be the center of the circle $(...
Đào Thanh Oai's user avatar
0 votes
0 answers
82 views

On 'Bisecting sections' of 3D convex bodies

Following shadows and planar sections, we ask about bisecting sections. This post also continues Convex planar regions with all area bisectors having equal length and A claim on the concurrency of ...
Nandakumar R's user avatar
  • 5,979
0 votes
0 answers
175 views

A question on Cheeger-Colding theory

I'm reading Compactification of certain Kähler manifolds with nonnegative Ricci curvature by Gang Liu recently. And I feel hard to understand a statement in the paper. Now the assumption is $(M,g)$ is ...
eulershi's user avatar
  • 241
0 votes
0 answers
89 views

Practical applications of dandelin spheres

I know that dandelin spheres can be used to prove the focal properties of conic sections, but I heard that they can be used to help track the orbits of planets. All the sources I looked up only said ...
coolpotatoawesome's user avatar
0 votes
0 answers
47 views

Rauch comparison theorem for $C^{1,1}$ metrics

If $g$ is a smooth riemannian metric on $M$ with nonpositive sectional curvature, the Rauch comparison theorem implies that $(M,d_g)$ is a negatively curved metric space (every point has a ...
Adam Chalumeau's user avatar
0 votes
0 answers
42 views

Regularization of the Laplacian on $\mathbb{R}^d$ and approximation schemes

this question is somewhat naive, but I am trying to understand the meaning of the regularized resolvant of the Laplacian on $\mathbb{R}^d$, and how it relates to a discrete approximation. Particularly,...
Pax's user avatar
  • 841
0 votes
0 answers
28 views

Example of a matrix -HDH that is not PSD (with non-euclidean distances D)

It's widely known that, given a matrix of squared Euclidean distances, $\mathbf{D}_{ij} = \| \mathbf{X}_i - \mathbf{X}_j \|^2$, and the centering matrix $\mathbf{H} = \mathbf{I} - \dfrac{1}{n}11^T$, ...
adityar's user avatar
  • 101
0 votes
0 answers
41 views

Trying to extend a theorem on Tiling with mutually non-congruent triangles

In the light of Cubing the cube - as 'perfectly' as possible, We try to slightly 'relax' the main theorem proved by Kupaavski, Pach and Tardos here: https://arxiv.org/pdf/1711.04504.pdf ...
Nandakumar R's user avatar
  • 5,979
0 votes
0 answers
77 views

Wasserstein space isomorphic to original space?

Is there a complete measurable metric space $(X,d)$ for which its $p$-Wasserstein space $W(X)$ is isometrically isomorphic to $(X,d)$ for some $p \in [1,\infty]$? Note that there is a canonical non-...
Florentin Münch's user avatar
0 votes
0 answers
197 views

Find which section of a convex polytope a point belongs to

Consider the convex polytope in dimension $n$ with vertex set $V$ given by the origin and the $n$ points $$ e_i=\begin{bmatrix}0,\dots,0,\underset{i\text{-th coordinate}}{1},0,\dots,0\end{bmatrix}, i\...
Michele Russo's user avatar
0 votes
0 answers
56 views

Seek a partition of $\mathbb R^d$

Let $c>0$ be given. I look for $n\ge 1$ and a collection of closed subsets $(F_i: 1\le i\le n)$ such that $$\bigcup_{1\le i\le n} {\rm int}(F_i)= \mathbb R^d,$$ and for every $x\in \mathbb R^d$, ...
GJC20's user avatar
  • 1,334
0 votes
0 answers
40 views

What is the dual of a hyperbolic configuration of points?

Let $C_n$ denote the configuration space of $n$ distinct points in hyperbolic $3$-space $\mathcal{H}$. If $\mathbf{x} := (\mathbf{x}_1, \dots, \mathbf{x}_n) \in C_n$, where $\mathbf{x}_i \in \mathcal{...
Malkoun's user avatar
  • 5,215
0 votes
0 answers
49 views

Which planar convex region with specified area and perimeter maximizes/minimizes Moment of Inertia?

By moment of inertia of a planar convex region C, here we mean its moment of inertia about an axis passing through the center of mass of C and perpendicular to the plane of C. Question: For specified ...
Nandakumar R's user avatar
  • 5,979
0 votes
0 answers
79 views

On 'Width Equalizers' of planar convex regions

Definitions: The least width of a 2D convex region C is the least distance between any pair of parallel lines that both touch the boundary of C (in what follows, we refer to this quantity as simply '...
Nandakumar R's user avatar
  • 5,979
0 votes
0 answers
67 views

Comparing partitions of a given planar convex region into pieces with equal diameter and pieces of equal width

We continue from Cutting convex regions into equal diameter and equal least width pieces. There we had asked for algorithms to partition a planar convex polygon into (1) $n$ convex pieces of equal ...
Nandakumar R's user avatar
  • 5,979

1
83 84
85
86 87
89