Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 2233

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

10 votes
Accepted

Perfect squaring of rectangles

Yes, there are non-square rectangles that admit a perfect squaring. The smallest number of squares in a perfect squaring of a rectangle is 9. On the other hand the smallest number of squares in a per …
Tony Huynh's user avatar
  • 32.1k
17 votes
Accepted

Is every 1-million-connected graph rigid in 3D?

Update. The recent paper Every $d(d+1)$-connected graph is globally rigid in $\mathbb{R}^d$ by Soma Villányi gives a positive answer to the question. Old Answer. I think this is still an open problem, …
Tony Huynh's user avatar
  • 32.1k
4 votes
Accepted

"Geodesic coherent" partition of a graph

Pilipczuk and Siebertz proved that every planar graph has such a partition with an even stronger property. Namely, each part $V_i$ is a geodesic path, and the graph obtained by contracting each part …
Tony Huynh's user avatar
  • 32.1k
12 votes
5 answers
6k views

Subset of the plane that intersects every line exactly twice

In a comment to this question, Tim Gowers remarked that using the axiom of choice, one can show that there exists a subset of the plane that intersects every line exactly twice (although it has yet to …
8 votes

Topological spaces that resemble the space of irrationals

Regarding III, the Alexandrov-Urysohn Theorem gives sufficient conditions. Any zero-dimensional, separable, nowhere compact, and completely metrizable space is homeomorphic to $J$.
LSpice's user avatar
  • 12.9k
3 votes

Escaping from infinitely many pursuers

In the case that the pursuers have to actually catch the fugitive, this was answered in the article Escaping an infinitude of lions by Mikkel Abrahamsen, Jacob Holm, Eva Rotenberg, and Christian Wulff …
Tony Huynh's user avatar
  • 32.1k
7 votes

Metric TSP with integer edge cost

No polynomial-time algorithm exists, unless P=NP. Indeed, even for TSP instances where all distances are $1$ or $2$ (note that these automatically satisfy the triangle inequality), Engebretsen and Kar …
Tony Huynh's user avatar
  • 32.1k
1 vote

Distance pairs in labeled directed graph

For A), here is a construction that gives $2\binom{n}{3}$ defective triples, which is almost best possible. Let $D$ be a digraph with vertex set $[n]$ and arcs $(i,i+1)$ and $(i+1, i)$ for all $i \in …
Tony Huynh's user avatar
  • 32.1k
41 votes
Accepted

What happens if you strip everything but the “between” relation in metric spaces

There is a wide body of work on this in connection with the classic De Bruijn–Erdős theorem. De Bruijn–Erdős Theorem. Every set of $n$ points in the plane (not all lying on the same line) deter …
Tony Huynh's user avatar
  • 32.1k
19 votes

Does every convex polyhedron have a combinatorially isomorphic counterpart whose faces all h...

The answer to the third question is no. This is a rather counter-intuitive discovery of Micha Perles from the sixties. See this paper of Ziegler, for a simpler construction and other pertinent infor …
Tony Huynh's user avatar
  • 32.1k
16 votes

Is there a dense subset of the real plane with all pairwise distances rational?

This sort of addresses the question in your last paragraph, but it is actually a bit tangential. Hopefully it is still of interest. It is well known that every planar graph has an embedding such t …
Tony Huynh's user avatar
  • 32.1k
10 votes
Accepted

Hadwiger-Nelson problem for $\ell^\infty$

No. The set of all $\{0,1\}$-sequences is also a clique in $G$. Thus, $\chi(G) \geq 2^{\aleph_0}$. On the other hand, the set of all bounded real sequences has size $2^{\aleph_0}$, so $\chi(G)=2^{\ …
Tony Huynh's user avatar
  • 32.1k
5 votes

Generalization of Sylvester-Gallai theorem

Here is a generalization to arbitrary finite metric spaces. Recall that the Sylvester-Gallai theorem easily implies the following theorem. Theorem to be generalized. Every non-collinear set of $n$ …
Tony Huynh's user avatar
  • 32.1k
2 votes

Schoenberg's rational polygon problem

This is an answer to your last question. As far as I know, it is still open whether there exists a dense subset $S$ of the plane with all pairwise distances rational. Such a set $S$ would imply a po …
Tony Huynh's user avatar
  • 32.1k
12 votes
Accepted

Is every knot unavoidable in the embeddings of some graph?

Yes. See this paper of Negami. The main result is that for any fixed knot (or link) of type $k$, there is a constant $R(k)$ such that every straight line embedding of $K_{R(k)}$ in $\mathbb{R}^3$ con …
Tony Huynh's user avatar
  • 32.1k

15 30 50 per page