All Questions
4,825 questions
4
votes
0
answers
83
views
Additive characters from coarse quotient maps
Let's consider a (finitely generated) group $\Gamma$ and a
coarse quotient map
$q\colon\Gamma\to\mathbb{R}$.
I'm interested in the 1-cocycle
$\sigma\colon\Gamma\to\ell_\infty\Gamma$,
defined by $\...
2
votes
1
answer
95
views
Specific distance between sets of points
Let us have closed curve without self-intersections,
initial point $O$ and curve parameter $t$, $0 \leq t \leq t_{\max}$ so $t(O) = 0 = t_{\max}$.
There are two sets of points on the curve, which are ...
4
votes
1
answer
275
views
Lower bound on volume of $n$-cube intersected with $n$-sphere
Let $B_n^r(c)$ be the radius $r$ ball in $\mathbb{R}^n$ dimensions centered at $c$. I am interested in
$$\text{Vol}([-0.5, 0.5]^n \cap B_n^r(c)).$$
Is there a good lower bound for this quantity?
I was ...
1
vote
0
answers
68
views
Name of the perspector of the orthic triangle and excentral triangle
The orthic triangle and tangential triangles of a given triangle are in perspective. What's the official kimberling center associated with this perspector?
3
votes
1
answer
285
views
Name this kimberling center
The lines which connect the vertices of a triangle with the tangent points between the Spieker circle and the medial triangle are concurrent. Which kimberling center does this point correspond to?
5
votes
1
answer
483
views
Can you always extend an isometry of a subset of a Hilbert Space to the whole space?
I remember that I read somewhere that the following theorem is true:
Let $A\subseteq H$ be a subset of a real Hilbert space $H$ and let $f : A \to A$ be a distance-preserving bijection, i.e. a ...
2
votes
0
answers
100
views
Distributions of random walks on boundaries of balls in hyperbolic metric spaces
Suppose $G$ is a finitely-generated non-elementary hyperbolic group and consider a symmetric random walk on the Cayley graph $\text{Cay}(G,S)$ with generating set $S$. Denote the set of points $B_{\...
1
vote
1
answer
102
views
Proving non-existence of non-frictional CVTs?
This is a bit of a weird question because the problem is more about how you could even go about formalizing a hypothesis more than how to prove it — but it seemed like a fun idea and I figured someone ...
2
votes
0
answers
86
views
Exhaustion function with uniform controls of level sets on universal covers of compact manifolds
recently I encountered the following problem in my research. Roughly speaking, it asks if, on the universal covers of a closed Riemannian manifold, one can find exhaustion functions with uniformly ...
9
votes
0
answers
205
views
Placing triangles around a central triangle: Optimal Strategy?
This question has gone for a while without an answer on MSE (despite a bounty that came and went) so I am now cross-posting it here, on MO, in the hope that someone may have an idea about how to ...
2
votes
1
answer
237
views
Geometric interpretation of trace of a linear operator
This question is really an addendum to Geometric interpretation of trace
There is a nice account of the trace in Chris Doran's thesis here: http://geometry.mrao.cam.ac.uk/wp-content/uploads/2015/02/...
1
vote
0
answers
114
views
A circle is inscribed in a triangle, with three other circles in the corner regions. The radii are integers. Possible values of the largest radius?
Originally posted at MSE.
A circle with integer radius $R$ is inscribed in a triangle. Three other circles with integer radii $a,b,c$ are each tangent to the large circle and two sides of the ...
4
votes
2
answers
299
views
Is there a set of point $S \subset \mathbb R^2$ such that $|\{C: C \text{ is unit circle boundary }, |C \cap S| = 10\}| > |S|$
There are some blue points and red points on the plane such that in the boundary of every unit circle centered at one blue point there are exactly 10 red point. Can the number of blue points strictly ...
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 $(...
1
vote
0
answers
67
views
Conjecture on the increasing efficiency of the shortest minimum-link polygonal chains covering any grids of the form $\{0,1,2\}^k$ as $k$ grows
From the well-known Nine dots problem, we know that we need a polygonal chain with at least $4$ edges to connect the $9$ points of the planar grid $G_{3,2}:=\{\{0, 1, 2\} \times \{0, 1, 2\}\} \subset \...
2
votes
0
answers
63
views
Convex planar regions such that every boundary point has a 'fair bisector' passing thru it
We add a little to On 'fair bisectors' of planar convex regions and A claim on the concurrency of area bisectors of planar convex regions .
A fair bisector of a planar convex region is a line ...
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 ...
0
votes
0
answers
173
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 ...
6
votes
2
answers
349
views
Mutual metric projection
Given a subset $S\subseteq \mathbb{R}^n$, the metric projection associated with $S$ is a function that maps each point $x\in \mathbb{R}^n$ to the set of nearest elements in $S$, that is $p_S(x) = \arg ...
2
votes
1
answer
80
views
Rate of convergence of random samples wrt Hausdorff distance
Let $X$ be a compact metric space with a probability measure $\mu$. We can draw random samples $X_n = \{x_1,\cdots, x_n\}$ from $X$ using $\mu$, and I am interested in the rate of convergence of $X_n$ ...
8
votes
1
answer
567
views
Joining the $2^k$ points of $\{0,1\}^k$ with the shortest tree
Let $k$ be a given positive integer, and then consider the unit hypercube $\{0, 1\}^k \subset \mathbb{R}^k$ (i.e., a $k$-dimensional "cube" in the well-known Euclidean space).
We need to ...
3
votes
0
answers
136
views
If all max area planar sections of a solid are centrally symmetric, will the solid as whole be centrally symmetric?
It is known that every planar section of an ellipsoid is an ellipse - a centrally symmetric planar figure.
Are there convex solids other than ellipsoids with the property that all its planar sections ...
3
votes
1
answer
253
views
Nagel line of a tetrahedron?
It's well known that there is an analogy for the Euler line in a tetrahedron, but is there also an analogy for the nagel line of a tetrahedron? I can't seem to find any decent literature talking about ...
1
vote
1
answer
134
views
An algorithm to arrange max number of copies of a polygon around and touching another polygon
A related post: To place copies of a planar convex region such that number of 'contacts' among them is maximized
Basic question: Given two convex polygonal regions P and Q, to arrange the max ...
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 ...
0
votes
0
answers
115
views
Software for computing polytopes
As can be inferred from the title, I want to do some computation on the facets representation of the polytopes given the vertices. My advisor recommended me Polymake, which is indeed useful even with ...
1
vote
0
answers
42
views
On a pair of solids with both corresponding maximal planar sections and shadows having equal area
This post pulls together Are two convex solids with all corresponding shadows equal in area congruent? and
What can be said about 2 convex solids with corresponding maximal planar sections having ...
1
vote
0
answers
59
views
What can be said about 2 convex solids with corresponding maximal planar sections having equal area?
This post follows Are two convex solids with all corresponding shadows equal in area congruent?
Every convex 3D body has planar sections with normals in any given direction. We consider the maximum ...
2
votes
1
answer
302
views
Are two convex solids with all corresponding shadows equal in area congruent?
By shadow we mean the orthogonal projection of a convex 3D body P onto a 2D plane, for example, the shadow on the xy-plane, with P above (z>0) that plane and the light at L=(0,0,+∞). P an be freely ...
4
votes
1
answer
143
views
On the history of cone-3-manifolds
A cone-3-manifold (of constant curvature) is a geometric 3-manifold locally modelled either on the Euclidean/hyperbolic/spherical 3-space or on the respective metric cones over spherical cone-surfaces ...
1
vote
0
answers
112
views
Is the formula known? and can we generalized for higher dimensions?
In this configuration as follows, we have a nice formula:
$$\cos(\varphi)=\frac{OF.OE+OB.OC}{OF.OB+OE.OC}$$
Is the formula known? and can we generalized for higher dimensions?
2
votes
1
answer
61
views
$k$-subset with minimal Hausdorff distance to the whole set
Let $(\mathcal{M}, d)$ be a metric space. Let $k \in \mathbb{N}$. Let $[\mathcal{M}]^k$ be the set of $k$-subsets of $\mathcal{M}$. Consider the following problem:
$$ \operatorname*{argmin}_{\mathcal{...
1
vote
0
answers
72
views
Special rectangle and its existence in non-Euclidean geometries
My questions is motivated by Folding the Hyperbolic Crane article which presents non-Euclidean paper for origami and the existence of a special rectangle on Euclidean paper.
Actually, there exists a ...
5
votes
1
answer
176
views
Efficient counting of integer solutions to linear system
In my research, I have a particular 18x18 matrix $\mathbf{A}$ which defines the linear system $\mathbf{A}\cdot \mathbf{x} \leq \mathbf{-1}$ over the nonnegative integers. And I'm interested in ...
6
votes
2
answers
404
views
Estimating shortest paths in planar drawings of graphs
Consider a drawing (in $\mathbb{R}^2$) of a planar graph. (The drawing is given, contrarily to the common setup in graph theory where we are seeking to build a drawing with specific properties.)
For ...
12
votes
1
answer
380
views
Do lattices with small covering radius have sublattices with small covering radius?
For me a lattice is a discrete subgroup of $\mathbb R^n$. The linear span of a lattice, written $\Lambda \otimes \mathbb R$, is the $\mathbb R$-vector subspace of $\mathbb R^n$ generated by $\Lambda$. ...
4
votes
2
answers
154
views
Pushing a convex cone and equidistants
Let $K$ be a closed convex cone in an n-dimensional Euclidean space.
Suppose $K$ has non-empty interior. For $t > 0$
form the subcone $K_t$ consisting of all points in $K$ which lie a ...
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 ...
1
vote
0
answers
42
views
Genaralizing the metric expression present in the quadrilateral inequality
Let $(X, d)$ be a metric space. In Sato - An alternative proof of Berg and Nikolaev’s characterization of CAT(0)-spaces via quadrilateral inequality it is stated that if $X$ is a geodesic space, then ...
1
vote
0
answers
56
views
Good orbifold and Ricci flow with Dirichlet boundary conditions on $\Sigma$
An orbifold $\mathcal O$ is a metrizable topological space equipped with an atlas modeled on $\Bbb R^n/\Gamma, \Gamma<O(n)$ finite. Let $\Sigma$ be the singular locus i.e. points modeled on $\...
9
votes
1
answer
542
views
Tracking a reference: "Karl Scherer, A Puzzling Journey to the Reptiles and Related Animals"
I linked a paper by James Schmerl in a recent question which cites Karl Scherer, A Puzzling Journey to the Reptiles and Related Animals, Privately Published, 1987.
I have had difficulty finding any ...
2
votes
0
answers
47
views
Reference request: stability of the barycenter under the logarithm map in Hadamard spaces
Let $X$ be an Hadamard space.
For $p\in X$ let $\log_p:X\to T_pX$ be the logarithm map that maps points in $X$ to the corresponding points in the tangent space $T_pX$.
Let $μ$ be a Borel probability ...
1
vote
0
answers
44
views
On area bisectors and perimeter bisectors of planar convex regions
We try to proceed from A claim on the concurrency of area bisectors of planar convex regions
Definitions: Given a planar convex region C, an area bisector of C is any line segment that partitions C ...
15
votes
1
answer
530
views
Dividing a polyhedron into two similar copies
The paper Dividing a polygon into two similar polygons proves that there are only three families of polygons that are irrep-2-tiles (can be subdivided into similar copies of the original).
Right ...
1
vote
0
answers
72
views
About planar curves on a manifold
I recently came upon the following situation (think of $\mathbb{R}^3$ to simplify): let $S$ be a compact smooth surface with $K>0$ everywhere and define
$$Q=\frac{\sup_{p}\lambda_{1}(p)}{\inf_{p}\...
14
votes
1
answer
1k
views
Progress on Gromov's Conjecture of the bound of total Betti numbers
This question is a reference request.
Let $(M,g)$ be a Riemannian manifold of dimension $n$, and $b_i(M) = \dim H_i(M,\mathbb{R})$. Gromov proved it that there are constants $C(n)$ such that, if the ...
9
votes
2
answers
658
views
Probability that randomly chosen balls have a nonempty common intersection
Fix some $0 < r < 1$. A collection of points $x_1, \dots, x_n$ are chosen independently and uniformly at random from the closed unit ball in $\mathbb R^d$.
What is the probability that the ...
1
vote
0
answers
123
views
Generalization of the triangle inequality to complex exponents: What is $P\left(\left| x^{a+bi} + y^{a+bi} \right| \ge \left|z^{a+bi}\right|\right)$?
Let $x \le y \le z$ be the length of the sides of a triangle whose vertices are uniformly random on the circumference of a circle. In this question, it was proved that if $a \ge 1$, then the ...
13
votes
1
answer
484
views
A probability involving areas in a random pentagram inscribed in a circle: Is it really just $\frac12$?
This question was posted at MSE but was not answered.
The vertices of a pentagram are five uniformly random points on a circle. The areas of three consecutive triangular "petals" are $a,b,c$...
1
vote
0
answers
52
views
'Self-similar and perfect' partitions of planar regions
Definition: A partition of a planar figure into finitely many pieces that are all similar to itself and also mutually non-congruent may be called a self-similar perfect partition.
A classical example ...