All Questions
4,825 questions
6
votes
1
answer
180
views
Expected value of the length of the shortest non-zero vector in a lattice?
$\DeclareMathOperator\SL{SL}$What is the expected value of the length of the shortest non-zero vector in a (unimodular) lattice? I.e., let $G=\SL_n(\mathbb{R})$ with Haar measure $\mu$, $\Gamma=\SL_n(...
- 609
2
votes
0
answers
162
views
Root system terminology
Let $\Phi$ be a root system. In a paper I'm writing, I need to work with subsets $\Phi' \subset \Phi$ satisfying the following two conditions:
For all $\lambda_1,\lambda_2 \in \Phi'$ and $c_1,c_2 \...
- 21
10
votes
1
answer
706
views
Where to find English translation of Pansu's paper from Ann. Math?
Where can I find English translation of the following paper?
P. Pansu,
Métriques de Carnot-Carathéodory et quasiisométries des espaces symétriques de rang un. (French. English summary) [Carnot-...
- 28k
1
vote
0
answers
32
views
Unusual parameterization of the ring Dupin cyclide
I discovered the following by playing with the formulas given in the paper Sculptures in $S^3$ by Schleimer and Segerman.
First, define the following parameterization of the Clifford torus:
$$
p(\...
- 2,560
5
votes
1
answer
97
views
How to bulge out the curved edges of the stereographic tesseract?
You probably already saw such a representation of the tesseract:
I did something similar on my blog for the truncated tesseract:
The vertices in 3D are the stereographic projections of the original ...
- 2,560
4
votes
1
answer
445
views
Upper bounds on the Gromov–Hausdorff distance using persistent homology
In persistent homology theory, stability theorems are important to show that the topological signatures extracted are stable under small changes. A key result is the following bound on the bottleneck ...
- 183
4
votes
3
answers
1k
views
Is there a pyramid with all four faces being right triangles? [closed]
If such a pyramid exists, could someone provide the coordinates of its vertices?
3
votes
0
answers
226
views
Algorithm to dissect a polygon into a minimum amount of rectangles, conditioned on a maximum overlap
I have the following problem, I have a problem regarding concave polygons. I want to write code to cover any polygon with a minimum amount of rectangles that are allowed to overlap and have no fixed ...
- 31
4
votes
1
answer
131
views
Does the Alexandrov angle define convex functions along geodesics in CAT(0) spaces?
Let $X$ be a CAT(0) space and suppose $a,b,c,d\in X$ satisfy
$$
\max\{\angle_a(b,c),\angle_a(b,d)\}<\frac{\pi}{2}.
$$
Let $\gamma:[0,\ell]\to X$ be the geodesic with $\gamma(0)=c$ and $\gamma(\ell)...
- 743
2
votes
0
answers
109
views
relative entropy, Fisher information, and metric slope for non-convex domains
$\newcommand{\R}{\mathbb R}$ If $\Omega\subset \R^d$ is a convex domain it is well-known that the relative entropy
$$
\mathcal H(\rho)=
\int_{\Omega}\rho\log\rho \ \mathrm{d}x
\qquad \mbox{for }\rho=...
- 5,380
25
votes
1
answer
513
views
Is there an inventory of closed billiard paths in a regular tetrahedron?
Conway found a closed billiard-ball trajectory in a regular tetrahedron:
Image: Izidor Hafner
Since then Bedaride and Rao
Bedaride, Nicolas, and Michael Rao. "Regular simplices and periodic ...
- 151k
1
vote
0
answers
84
views
Number of polyhedral covers of a triangulation of $S^2$
For a given triangulation (combinatorial Type I. or Type II.) of a $2$-sphere, what is the number of unique polygonal covers with $n$ polygons where ($n$ goes from $2$ to $N$)?
Under polygonal cover, ...
- 183
1
vote
0
answers
94
views
Linear Program Optimal Value
If $f(A,b,c)$ is the optimal value of a linear program
$\min c.x$
subject to $A.x \leq b ; x \geq 0.$
Does $f(A,b,c)$ have a piecewise polynomial/rational upper bound in $(A,b,c)$ on the domain of ...
1
vote
1
answer
115
views
Do Gromov hyperbolic spaces admit concical geodesic bicombings?
Consider a metric space $(X,d)$ with a distinguished selection of geodesics, i.e. a geodesic bicombing $\sigma:X\times X\times [0,1]\rightarrow X$. We call a geodesic bicombing conical if it ...
- 364
3
votes
1
answer
366
views
Illumination from visible lattice points with inverse square intensity
It is well known that the number of $\mathbb{Z}^2$ lattice points visible from
the origin is $6/\pi^2$, about $61$%.
See, e.g.,
What fraction of the integer lattice can be seen from the origin?.
I am ...
- 151k
7
votes
1
answer
269
views
How did Szmielew prove that Pasch's axiom is a consequence of the circle axiom?
It is alleged that Szmielew proved that Pasch's axiom is a consequence of the circle axiom. The source is said to be
The Pasch axiom as a consequence of the circle axiom, Bull.Acad.Polon.Sci.Sér.Sci....
0
votes
1
answer
114
views
Mixed integer program and continuous Diophantine approximation
Let $n\in\mathbb{N}$ such that $n\geq 2$ and let $0<r<1$ be a real number. We wish to solve the following problem.
$$\min_{(t,(z_j)_{j=2}^n) \in \mathbb{R}\times \mathbb{Z}^{n-1}} t$$
subject to ...
11
votes
0
answers
717
views
John-type theorems: trading structure for accuracy?
Given two symmetric convex bodies $B, B'$ in ${\bf R}^d$, define the Banach-Mazur distance $d(B,B')$ between them to be the least constant $\tau \geq 1$ such that
$$ B \subset TB' \subset \tau B$$
for ...
- 114k
2
votes
1
answer
155
views
Is the vector field associated with an element of the boundary at infinity on a Hadamard manifold smooth?
A Hadamard manifold $M$ (complete, simply connected, non-positive sectional curvature) has a so-called boundary at infinity $\partial M$ whose elements are equivalence classes of unit-speed geodesic ...
- 23
3
votes
0
answers
786
views
Is this set a manifold?
Take a general spacetime that is not strongly causal.
Call this spacetime $(M, g) $ where $M$ is a connected time-oriented manifold and $g$ is the Lorentzian metric that satisfies the Einstein's Field ...
- 612
2
votes
0
answers
51
views
Estimating the Hausdorff distance of parallel facets of convex polytopes
Background
Let $\mathcal{K}_P^n$ denote the class of open, convex, $n$-dimensional polytopes in $\mathbb{R}^n$ containing the origin. For each $K\in \mathcal{K}_P^n$, its gauge function $f_*:\mathbb{R}...
- 21
4
votes
1
answer
298
views
Does Kalai's $3^d$ conjecture hold for simplicial spheres?
Kalai's $3^d$ conjecture asserts that every centrally symmetric $d$-polytope has at least $3^d$ non-empty faces. This is open in general, but has been proven for simplicial polytopes.
Question: Does ...
- 13.6k
2
votes
0
answers
161
views
Name of the metric space defined by the Minkowski distance function [closed]
I want to know the name of the metric space defined by the Minkowski distance function
For example..
Euclidean distance function can define euclidean plane
and taxi distance is related to taxicab ...
- 21
0
votes
0
answers
56
views
Zero flux along lines
I am considering the $L^1$ ball in $\mathbb{R}^d$, and a conservative vector field $V$ on it, which arises as the gradient of a bounded, almost-everywhere Lipchitz-function. Denoting by $e_i$ as the i’...
- 232
4
votes
0
answers
111
views
Advice on results for balls on regular $N$-dimensional grids
I have obtained some results regarding balls on regular $N$-dimensional grids. I would like expert opinion on wether the results are significant or interesting enough for (trying to) publish them in a ...
- 337
0
votes
1
answer
407
views
Properties of doubling metric spaces
At present I work with tools that involves doubling metric space, my definition of DME is:
A metric space $X$ is called doubling with constant $N$, where $N \geq 1$ is an integer, if, for each ball $...
- 101
2
votes
1
answer
240
views
Is the problem of vertex enumeration from an H-representation of a polytope NP-hard?
According to the Wikipedia page on the issue, the vertex enumeration problem is NP-hard.
However, double description and reverse linear search are algorithms listed to solve the problem. Moreover, ...
- 123
1
vote
0
answers
53
views
The optimal embedded and enclosing cardioids for a triangle
Ref: https://en.wikipedia.org/wiki/Cardioid
Earlier posts with similar questions: Smallest 3-ellipses that contain triangles and Curves of constant width that contain triangles
Questions: Given any ...
- 5,979
7
votes
1
answer
347
views
A corollary of the affine Desargues axiom
Definition 1. An affine plane is a pair $(X,\mathcal L)$ consisting of a set $X$ and a family $\mathcal L$ of subsets of $X$ called lines which satisfy the following axioms:
Any distinct points $x,y\...
- 41.8k
2
votes
0
answers
38
views
The trajectory of the midpoint of perimeter-bisecting pair of points of a closed convex curve and its area
Given a closed convex curve $C\subset \mathbb{R}^2$, there is a continuous family of pair of points in $C$ that bisects the perimeter of $C$. The midpoint of such pair draws a closed curve inside $C$; ...
user510735
4
votes
1
answer
266
views
Characterizing the D4 lattice as a sphere packing
Suppose I pack spheres in $\mathbb{R}^4$ in such a way that each touches 24 others. (All spheres in my question are assumed to have equal radius and be non-overlapping.) Does this packing ...
- 22.3k
4
votes
1
answer
113
views
Does there exist a circular sequence of equilateral right triangular prisms that "intersect nicely"?
Let P denote a compact 3D right prism in ℝ3 that is the geometrical cartesian product of a 2D closed equilateral triangle of side = 1 and a closed unit interval.
Say that congruent copies P', P'' of P ...
- 2,858
4
votes
1
answer
210
views
Bi-Lipschitz embeddings of compact doubling spaces
Suppose that $(X,\rho)$ is a compact doubling metric space. Does there necessarily exist an $\epsilon>0$ and a maximal $\epsilon$-net $\{x_i\}_{i=1}^n\subseteq X$ such that the map
$$
\begin{...
- 5,405
2
votes
0
answers
105
views
Minimum number of points on sphere which cannot be covered by three double caps
What is the minimum number of points on the sphere $S^d \subset \mathbb{R}^{d+1}$ which cannot be covered by $d+1$ double caps? A double cap is defined to be a set $\{x \in S^d: |\langle x,a \rangle| &...
0
votes
0
answers
55
views
Relationship of optimal solutions between the total function and the sub function
This is an unconstrained convex optimization problem. Let $\mathcal{N}=\left\{1,\ldots,n\right\}$, $2\leq n<\infty$. Suppose there are many strongly convex functions $f_i(x)$, where $x\in\mathbb{R}^...
- 1
0
votes
0
answers
85
views
Show that $\max_{P_X : X\in (0,1) } \left| \frac{\mathbb{E} [ f'(X) ]}{ \mathbb{E} [ f(X) ] } \right|$ is maximized by at most two mass points
Let $f$ be some given well-behaved function. Consider the following optimization problem overall probability distribution on $[0,1]$
\begin{align}
\max_{P_X : X\in [0,1] } \left| \frac{\mathbb{E} [ ...
- 671
2
votes
1
answer
46
views
Complexity for determining whether a given metric space is hyperconvex?
Suppose I am given a finite metric space as a distance matrix. What is the complexity of determining whether this metric space is hyperconvex?
Definition: A metric space is said to be hyperconvex if ...
1
vote
1
answer
69
views
$A^*$ algorithm to find shortest path when weights in my graph are the inverse of distance
Given a graph G=(V,E) where the weights on my edges are inverse of Euclidian distance between nodes, I want to know if I can use A* algorithm to find the shortest path. How I need to modify the ...
- 111
1
vote
1
answer
61
views
On largest convex m-gons contained in a given convex n-gon where m < n
This post is the inside-out variant of On smallest convex m-gons that contain a given n-gon where m<n
Given a convex n-gon region P, and an m less than n, how to find the max area convex m-gon Q ...
- 5,979
1
vote
2
answers
158
views
Is the canonical map from isometry group of a Gromov hyperbolic space to homeomorphisms of its Gromov boundary injective?
Suppose X is a proper Gromov hyperbolic space and $\partial X$ is its Gromov boundary. It is well-known that there is a canonical group homomorphism $\Phi$ from the isometry group of X to the group ...
- 331
0
votes
0
answers
93
views
On smallest convex m-gons that contain a given n-gon where m<n
Given a convex n-gon region P, and an m less than n, will the least area convex m-gon Q that contains P be such that an edge of Q coincides with an edge of P (in other words Q cannot be such that P ...
- 5,979
1
vote
0
answers
126
views
Absolute continuity of the volume growth in a metric space
Let $(M,d)$ be a metric space (separable, complete, better?) and let $\mu$ be a ($\sigma$-additive, positive, locally finite, regular?) Borel measure on $M$. For $x\in M$ consider the volume growth ...
- 1,959
0
votes
1
answer
132
views
Name this geometric point?
Is there a formal name for the point which is the reflection of the incenter about the circumcenter of a triangle?
- 1,109
1
vote
1
answer
75
views
When do the centers of mass of a uniform convex planar region as a whole and of its boundary alone coincide?
Given a uniform planar convex region C, let us consider 2 centers of mass - the center of mass of the region as a whole and the center of mass of its boundary alone (assuming its boundary to have ...
- 5,979
2
votes
0
answers
74
views
Asymptotic volume of intersection of n-ball and a cube
Let $B$ be the unit ball in $\mathbb{R}^n$, and let $c\in(0,1)$ be a constant. I'm trying to find the asymptotics for the volume of the intersection $[\frac{c}{\sqrt{n}},1]^n\cap B$ as $n\rightarrow\...
- 21
5
votes
1
answer
530
views
Geodesic distance on $\mathrm{SO}(n)$
$\DeclareMathOperator\SO{SO}$Recently I came across this old MSE post or this paper (w.o. proof) discussing the geodesic distance on $\SO(n)$ when it is equipped with the left-invariant Riemannian ...
- 364
1
vote
1
answer
119
views
Optimization on non-convex set
Let $\Omega$ be an open bounded subset of $\mathbb{R}^2$ and $f\in L^2(\Omega)$ be a given function. Consider the optimization problem
$$\mathrm{min} \int_\Omega u(x) f(x) \,dx\,,$$
where a minimum is ...
- 11
4
votes
0
answers
169
views
Finding balls with big measure
Let $(X,d)$ be a compact metric space $n \in \mathbb{N}$ and $\mu$ a finite Borel measure. Suppose there exists $\delta, R>0$ such that for all $0<r<R$.
$$\mu(B(x,r)) < \delta r^n.$$
Under ...
- 41
3
votes
0
answers
120
views
Understanding $\kappa$-cones
I recently came across the concept of a $\kappa$-cones of a metric space (Chapter I.5.2) of Bridson and Haefliger's book. In their Proposition 5.8, the provide some intuition of $\kappa$-cones by ...
- 169
5
votes
0
answers
146
views
What do the Carnot groups act on?
My question is in some sense a less ambitious version of the following MO question where the answer was inconclusive.
A Carnot group of step $N$ can be identified within the tensor algebra, modulo ...
- 193