# Questions tagged [geometry]

Deprecated; please do NOT use this tag, use a more specific tag.

**21**

votes

**0**answers

824 views

### Random Distance Matrices

My question is motivated by the following recent paper:
http://arxiv.org/abs/1110.6333
Assume you have a metric space $(X,d)$ equipped with a Borel probability measure $\mu$. We can further assume ...

**15**

votes

**0**answers

557 views

### Does every connected set that is not a line segment cross some dyadic square?

A dyadic square is a subset of $R^2$ of the form $x + 2^{-n} [0,1]^2$ with $x \in 2^{-m} Z^2$, for integers $m,n \geq 0$. We say that a set $A$ crosses a square $S$ if there exists a connected subset ...

**13**

votes

**0**answers

507 views

### Who conjectured that a transitive projective plane is Desarguesian?

The only known finite projective plane with a transitive automorphism group is the Desarguesian plane $PG(2,q)$ and it seems likely that there are no others, although this is not (quite) proved.
...

**12**

votes

**0**answers

1k views

### Dao's theorem on six circumcenters associated with a cyclic hexagon

This questions from Ngo Quang Duong's paper
In 2013, O. T. Dao published without proof a theorem with title Another seven circles theorem in Cut the Knot, a free site for popular expositionsof many ...

**10**

votes

**0**answers

950 views

### Dissecting trapezoids into triangles of equal area

[Lightly edited for copy and proper formatting of mathematics. -- Pete L. Clark]
The Background: Let $T$ be a trapezoid. Sherman Stein, using valuation theory, showed that if $T$ is dissectible into ...

**9**

votes

**0**answers

417 views

### is a group $G$, that admits finite $k(G, 1)$ and has no Baumslag-Solitar subgroups, necessarily hyperbolic?

This is the first question asked in Bestvina's article "Questions in Geometric Group Theory". Does anyone know if there has been any progress made on this problem? Is the question answered if $G$ is ...

**8**

votes

**0**answers

324 views

### Coloring toroidal polyhedra with convex faces?

Consider a toroidal polyhedron, which is a topological torus, in which all faces are planar, two faces meet in at most an edge, and adjacent faces are not coplanar. The Szilassi polyhedron has 7 non-...

**7**

votes

**0**answers

406 views

### Rectangology and squareology

I thought that rectangles were simple, and squares even simpler. Until my research has led me to several questions about rectangles and squares, which I can't solve.
I started by posting this ...

**7**

votes

**0**answers

591 views

### Homometric $\Rightarrow$ isometric?

Suppose you know that there is a mapping between
two Riemmanian manifolds $M_1$ and $M_2$ such that,
for each $x_1 \in M_1$, the (codimension-1) measure of the set of points
at distance $d$ from $x_1$ ...

**6**

votes

**0**answers

196 views

### An inequality in cyclic polygon and tangential polygon

I proposed my conjecture, it is strengthened version of the Erdős–Mordell inequality as following:
Let $A_1A_2.....A_n$ be a cyclic polygon and $B_1B_2....B_n$ be the its tangential polygon. Let P be ...

**6**

votes

**0**answers

258 views

### Families of triangulations of polygons in the plane

Let $P$ be a polygon in the plane. An "efficient" triangulation of $P$ is one that introduces no new vertices. We require that all introduced edges be straight and inside $P$. Every polygon in the ...

**6**

votes

**0**answers

328 views

### Local minimum from directional derivatives in the space of convex bodies

I have a function $f(K)$ defined on the space of three-dimensional convex bodies for which I want to show that the unit ball $B$ is a local minimum. I have been able to show if $K$ is not homothetic ...

**6**

votes

**0**answers

401 views

### Geometric meaning of gamma sets

First some notation:
Let $\mathscr{F}_* $ be the category of finite pointed sets and pointed maps between them. Then $\Gamma^{op}$ is the full subcategory of $\mathscr{F}_* $ with objects the sets $k_+...

**6**

votes

**0**answers

278 views

### Erlangen program carried out explicitely?

I'm looking for a book where the Erlangen program is carried out on some example groups with explicit computations.
What I mean by "carrying out Erlangen program" is picking a specific group (say SO(...

**5**

votes

**0**answers

276 views

### Symmetric matrices and Hilbert's fourth problem

From the analytic viewpoint, the Busemann-Pogorelov solution of Hilbert's fourth problem is summarized in the following result:
Theorem. All straight lines are extremals of the variational problem
$$
...

**5**

votes

**0**answers

196 views

### Can a simple Riemannian metric on the disc be extended to a Zoll metric on the sphere?

Given a simple Riemannian metric $(D,g)$ on the two-disc---its geodesics have no conjugate point and the boundary of the disc is strictly convex---, is it possible to embed $(D,g)$ isometrically into ...

**5**

votes

**0**answers

264 views

### Rigid-body matching algorithm and clustering algorithm with groups of lines in 3D

I've been struggling with this problem for weeks, and couldn't find an appropriate algorithm to solve it. Could you guys please give me some advices or suggestions in addressing this question. Or if ...

**5**

votes

**0**answers

287 views

### degenerating surface II

In degenerating surface, Robert Bryant give us an example of a sequence of minimal immersions which converges (in $C^2$- topology) to $z\mapsto z^{2k+1}$ on the unit disc $\mathbb{D}$. My question is ...

**4**

votes

**0**answers

351 views

### Averaging lengths and distances

A natural way in which Finsler metrics appear in Riemannian geometry is as averages of Riemannian metrics (e.g., the average of the arc-length elements
$\sqrt{dx^2 + dy^2}$ and $\sqrt{2dx^2 + 3dy^2}$ ...

**4**

votes

**0**answers

96 views

### Applications of k-medians with moment constraints

Suppose I have a collection of points $p_1,\dots,p_N$ in the plane. In the Euclidean $k$-medians (or $k$-means) problems, our objective is to distribute a set of $k$ points $x_1,\dots,x_k$ in the ...

**4**

votes

**0**answers

145 views

### Is there an ellipsoid with given outer normals?

Pick two points $(x,0)$ and $(0,y)$ (say $x>0$ and $y>0$). Pick a unit vector $u = (u_1,u_2)$, $v = (v_1, v_2)$, and attach one to each of the points. Provided $u$ and $v$ are "nice" ($v$ needs ...

**3**

votes

**0**answers

269 views

### Does a rectangle exist on any Jordan curve?

Let $C$ be a Jordan curve in $\mathbb{R}^2$. Does there exist points $P,Q,R,S$ on $C$ such that quadrangle $PQRS$ is a non-degenerate rectangle?

**3**

votes

**0**answers

138 views

### Isometric embedding for manifolds with conical singularities?

Motivation:
In the 2+1 dimensional gravity theory, solutions of Einstein equation are locally with constant curvature except at the locus of sources. In this paper the authors investigate solutions ...

**3**

votes

**0**answers

71 views

### Equidistribution of Brillouin zones

Answering the question about Limiting shape for Brillouin zones Victor Kleptsyn proved that $N$th Brillouin zone is very close to a circle of radius $c\sqrt N$ (you can find all necessary definitions ...

**3**

votes

**0**answers

71 views

### Are there a group of mappings from (n-1)-dim space to an (n-1)-sphere guaranteeing the orthogonality of images?

Hello, everyone.
As we know that in an $n$-dimensional Euclidean space $\mathbb{R}^n$, there exists a continuous bijective mapping from a subset $V^{n-1}\subseteq\mathbb{R}^{n-1}$ to a unit $(n-1)$-...

**3**

votes

**0**answers

72 views

### Node-Weighted Euclidean Steiner Trees

I would like to know whether the following problem, including algorithms to solve it (exact or approximations) has been studied.
A finite set of positive-weighted points are given in the n-...

**3**

votes

**0**answers

144 views

### The mean number of vertices in small connected components of random geometric graphs

I place $N$ points on a circular plane of radius $R$, and draw edges to connect points that are less than or equal to some distance $D$ to form a set of graphs or cliques $G_i$. As a function of $N$, ...

**3**

votes

**0**answers

346 views

### Characterizations of Euclidean space

I posted this question at math.stackexchange.com but didn't get an answer. Is it a dumb question, eventually?
There are three ways of characterizing the abstract Euclidean space $E^n$ that are quite ...

**3**

votes

**0**answers

511 views

### Unprovability of the Steiner-Lehmus theorem

Conway postulated that the Steiner-Lehmus theorem is unprovable using direct methods of proof. Can this be proven directly, that the Steiner-Lehmus theorem cannot be proven directly over Euclidean ...

**2**

votes

**0**answers

113 views

### Functional inequality under mean curvature flow

Let $\Sigma$ be a hypersurface in $\mathbb R^n$ and $\Sigma_t$ be a variation of $\Sigma$ under the mean curvature flow under an extra condition that ${\rm vol}_{n-1}(\Sigma)={\rm vol}_{n-1}(\Sigma_t)$...

**2**

votes

**0**answers

90 views

### Determine sub-polygon from line segments with known member connectivity

Test Polygon:
Consider the following polygon as attached. Let the known parameter be as follows:
•Member to member connectivity, i.e. it is known that A – B, X – E, F – B, etc. for all the members.
•...

**2**

votes

**0**answers

79 views

### good choice of extension of equivariant map

Let $K$ be a compact Lie group. Let $C_K$ denote the category whose objects are the compact lie groups containing $K$ and whose morphisms are inclusion of the groups. Let $Y$ be a $K-$space such that $...

**2**

votes

**0**answers

139 views

### Reachability in dynamic random graphs

There has been some advice on how to ask questions. So I reask my question.I have a problem related to graph theory, random graphs or random geometric graphs in special that really confuses me. ...

**2**

votes

**0**answers

82 views

### Largest subsets of quadrics consisting of “nonorthogonal” vectors

Assume we have an $A$-module $M$, and a quadratic form $q : M \to A$. Recall that it means that
1) $q (a m) = a^2 q (m)$ for all $a \in A$ and $m \in M$, and
2) $B_q (x, y) := q (x + y) - q (x) - q ...

**2**

votes

**0**answers

199 views

### Honeycomb-type properties of the Delaunay triangulation and Voronoi diagram

Suppose I'd like to distribute a set of points $P=\lbrace p_1 ,\dots, p_n \rbrace$ in the unit square $S=[0,1]\times[0,1]$ to minimize a weighted sum of two things:
1) The average distance between a ...

**2**

votes

**0**answers

196 views

### Variations of the mean curvature

Good evening everyone,
I am facing a technical problem, maybe one of you can help.
Given a spacelike surface $S$ with mean curvature 0 in a lorentzian $3$-manifold with constant sectionnal curvature ...

**2**

votes

**0**answers

172 views

### isomap and self intersections

I sample a 2D surface in $\mathbb{R}^3$ with $N$ points, and compute an isomap using pairwise weighted geodesic distances. I am thus able to embed this surface into a $M$ dimensional space in which ...

**2**

votes

**0**answers

269 views

### Show a Map Defined on $S_3$ (trivially-embedded) in S^4 extends.

Hi, Again:
I am trying to understand an argument I wrote down a long time ago, to show that a given
element of $M_3$ (mapping-class group of a) genus-3-surface, defined on a trivially-embedded copy ...

**2**

votes

**0**answers

141 views

### System dynamic of space euclidean and hyperbolic tilings

Theorem 2.9. (Rudolph [Rud89]) Suppose $X_{T}$ is a finite local complexity (FLC)
tiling space. Then $X_{T}$ is compact in the tiling metric d. Moreover, the action $T$ of
$R^{d}$ by translation is on ...

**2**

votes

**0**answers

146 views

### Tubular neighborhood growth of zero set of polynomial of bounded degree in the torus

This question is related to my related post:
Volume growth of tubular neigbhorhood of critical values of an algebraic/differentiable map
The setting here is as follows:
Let $p: \mathbb{R}^{2k} \to \...

**2**

votes

**0**answers

273 views

### Recovering a piecewise affine function

Lets say I have an piecewise affine convex function $f(x_1,x_2)$, on which the following operations are possible:
Computing $f(x_1,x_2)$.
Computing a subgradient to $f$ at $(x_1,x_2)$
Computing all ...

**2**

votes

**0**answers

247 views

### Forgetting extra structure inducing Symmetries

This is a major edit of the original post after receiving helpful comments.
It is often the case when one adds additional structure to make a problem more tractable. When one attempts to forget this ...

**1**

vote

**0**answers

73 views

### Minimum volume of intersection between two high-dim $\ell^1$-balls

Let $B_1$ and $B_2$ be two balls with the same radius, in $\mathbb R^n$ with the $\ell^1$ norm. The distance between the centers of $B_1$ and $B_2$ is $d(B_1, B_2)$. Is there any deterministic method ...

**1**

vote

**0**answers

77 views

### Existence of polytope

Does there exist a polytope in dimensional d consisting of $k>d+1$ faces satisfying that every d faces intersect? I tried 3 dimensional cases, and it seems negative. But is it all negative for any ...

**1**

vote

**0**answers

65 views

### Thomsen Blaschke condition

I am reading a paper (Paper 1: https://ideas.repec.org/p/cwl/cwldpp/76.html, that cites another paper ( Paper 2) for its proof.
Paper 1, page 1, line 10 says : Consider the topological image G of a 2-...

**1**

vote

**0**answers

139 views

### Relationship between stabilizers of a general point and a boundary point

Let $V$ be an n-dimensional complex vector space, and $u\in S^nV$ be a polynomial, $G(u)$ be the stabilizer of $u$ in $GL(V)$. Let $[v]\in\overline{GL(V)\cdot[u]}\subset\mathbb{P}(S^nV)$, but $v\notin ...

**1**

vote

**0**answers

259 views

### Pencils of circles and Liouville's theorem

Is there any relation (maybe implicit) between the conformal geometry in the space of circles and spheres and the study of harmonic functions?
In the original question I was musing whether the ...

**1**

vote

**0**answers

158 views

### How do Hodge classes for Calabi-Yau 4-folds compare with the classes for tori?

Let $X$ be a Calabi-Yau 4-fold, i.e., a connected 4-dimensional compact Kahler manifold with $K_{X} \cong \mathscr{O}_{X}$ and $h^{i} (X,O_{X} )= 0$ for $0 \lt i \lt 4$.
Given a general 4-...

**1**

vote

**0**answers

123 views

### Proving that an optimal solution “converges”

This question is a follow-up on a previous question I asked at:
Distances between and among points in a region
Let $X = x_1,\dots,x_n$ denote a finite set of $n$ points in the unit circle $C$ in the ...

**1**

vote

**0**answers

264 views

### When is the conical hull of a finite set of vectors a subset of the space? (and tilings)

Consider a hypercube in n-dimensions, and take some projection down to an m-dimensional subspace. Now take all vertices and m-1 dimensional facets visible from some direction outside the projection. ...