Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 $\...
Narutaka OZAWA's user avatar
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 ...
Denis Ivanov's user avatar
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 ...
Capybara's user avatar
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?
Benjamin L. Warren's user avatar
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?
Benjamin L. Warren's user avatar
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 ...
Cosine's user avatar
  • 609
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_{\...
user8275's user avatar
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 ...
Peter Gerdes's user avatar
  • 3,029
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 ...
Zhenhua Liu's user avatar
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 ...
Benjamin Dickman's user avatar
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/...
Bijou Smith's user avatar
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 ...
Dan's user avatar
  • 3,507
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 ...
jackdean's user avatar
  • 193
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
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 \...
Marco Ripà's user avatar
  • 1,451
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 ...
Nandakumar R's user avatar
  • 5,979
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
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 ...
eulershi's user avatar
  • 241
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 ...
Erel Segal-Halevi's user avatar
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$ ...
Kaira's user avatar
  • 305
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 ...
Marco Ripà's user avatar
  • 1,451
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 ...
Nandakumar R's user avatar
  • 5,979
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 ...
Benjamin L. Warren's user avatar
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 ...
Nandakumar R's user avatar
  • 5,979
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
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 ...
AlexiosF's user avatar
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 ...
Nandakumar R's user avatar
  • 5,979
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 ...
Nandakumar R's user avatar
  • 5,979
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 ...
Nandakumar R's user avatar
  • 5,979
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 ...
Roman's user avatar
  • 353
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?
Đào Thanh Oai's user avatar
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{...
user76284's user avatar
  • 2,203
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 ...
Mikhail Gaichenkov's user avatar
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 ...
user326210's user avatar
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 ...
Denis Gorodkov's user avatar
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$. ...
Will Sawin's user avatar
  • 148k
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 ...
Richard Montgomery'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
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 ...
Kacper Kurowski's user avatar
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 $\...
John McManus's user avatar
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 ...
Kepler's Triangle's user avatar
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 ...
Manor Mendel's user avatar
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 ...
Nandakumar R's user avatar
  • 5,979
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 ...
Kepler's Triangle's user avatar
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}\...
Guest12345's user avatar
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 ...
fffmatch's user avatar
  • 175
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 ...
Nate River's user avatar
  • 6,155
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 ...
Nilotpal Kanti Sinha's user avatar
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$...
Dan's user avatar
  • 3,507
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 ...
Nandakumar R's user avatar
  • 5,979

1 2
3
4 5
97