Finite or discrete collections of geometric objects. Packings, tilings, polyhedra, polytopes, intersection, arrangements, rigidity.

learn more… | top users | synonyms

8
votes
3answers
2k views

n-dimensional voronoi diagram

Hi, I need to compute the voronoi diagram of a set of points in $R^n$. I'm quite unschooled on the topic, could someone point me to the right references so that I can a) understand the theory behind ...
3
votes
1answer
209 views

Non-inherited symmetries of shadows of point sets

Sometimes a point set in Euclidean space may have a shadow with an unexpected symmetry. The purpose here is to ask when this happens or when it doesn't happen (in some generality). This requires a ...
7
votes
0answers
266 views

3-dimensional Cayley graph

I would like to see Cayley graphs drawn in 3-dimensional Euclidean space such that the vertices are represented by points and various shadows display the actions of the generators. For example, ...
4
votes
1answer
311 views

Discrete gradient ascent cycles

I am wondering what can be inferred when a discrete gradient ascent algorithm gets stuck in a cycle. Here is the situation. A function $f(x,y)$ is defined over a range $[0,n]^2$, and the algorithm ...
42
votes
1answer
2k views

two tetrahedra in R^4

It is relatively easy to show (see below) that if we have two equilateral triangles of side 1 in $R^3$, such that their union has diameter 1, then they must share a vertex. I wonder whether we have an ...
1
vote
2answers
597 views

Is there always a parallelogram cross-section of parallelepiped contained in the smallest box

Let $M$ be a centered parallelepiped, the intersection of $M$ and any plane $P$ that passes through the origin is a parallelogram or hexagon. Each parallelogram or hexagon has a cubic box that is the ...
8
votes
2answers
660 views

Are Penrose tilings universal? Do aperiodic universal tilings exist?

Consider a tiling of the plane using tiles of at least two types (e.g, a Penrose tiling such as that shown at the bottom of this question, which tiles the plane with two types of tiles). List the tile ...
16
votes
6answers
1k views

Shortest grid-graph paths with random diagonal shortcuts

Suppose you have a network of edges connecting each integer lattice point in the 2D square grid $[0,n]^2$ to each of its (at most) four neighbors, {N,S,E,W}. Within each of the $n^2$ unit cells of ...
4
votes
2answers
226 views

Finding the Boundary Faces of the Zonohedron

A zonotope is a linear combination of m vectors with coefficients in [0,1]: $Z = \{ \sum \lambda_i v_i : 0 \leq \lambda _i \leq 1 \}$. The fancy way is to say it's the Minkowski sum of line segments ...
2
votes
1answer
492 views

Gluing Polygons

Consider all polygons whose vertices are lattice points and edges are parallel to the axes such that no more than two edges meet at a vertex. For two polygons A and B, define A+B be to the set of ...
7
votes
3answers
438 views

“incidental” intersections of a complete graph in the plane

Given a complete graph of n vertices (no three of which are no collinear) in the plane and straight edges, what is the maximal possible number of "incidental intersections" of edges, i.e., number of ...
15
votes
5answers
891 views

Is a rhombus rigid on a sphere or torus? And generalizations.

If a rectangle is formed from rigid bars for edges and joints at vertices, then it is flexible in the plane: it can flex to a parallelogram. On any smooth surface with a metric, one can define a ...
10
votes
3answers
1k views

A random walk on random lines

I am wondering if this random walk remains finite with positive probability. Start with three lines $A,B,C$ that are extensions of an equilateral triangle. Let $p_0$ be one corner. Generate a line ...
4
votes
1answer
246 views

Maximum number of points in two disks

Given two closed disks of unit radius, such that center of one lies on the circumference of the other, let M denote their union. We want to place the maximum number of points in M such that their ...
18
votes
3answers
2k views

What upper bounds are known for the diameter of the minimum spanning tree of $n$ uniformly random points in $[0,1]^2$?

Let $P$ be a pointset consisting of $n$ uniformly random elements of $[0,1]^2$. It is known that the diameter (greatest number of edges in any shortest path between two points) of the Delaunay ...
5
votes
3answers
350 views

Path connected coloured sets on the squared paper

Colour small squares on the standard squared paper in two colors A, B. Name two small squares with common side as "neighbor". Let every colored set be "path connected": for any two small squares of ...
15
votes
0answers
1k views

Covers of $Z^k$

This is a question related to covers of $Z^\infty$. Is it possible to cover $Z^k$, $k>1$, with the $l_1$-metric by a constant (not depending on $k$) number of collections of subsets $U^0,...,U^c$ ...
11
votes
2answers
710 views

covers of $Z^\infty$

Is it possible to cover $Z^\infty$ (the infinite direct sum of $Z$'s with the $l_1$-metric) by a finite set of collections of subsets $U^0,...,U^n$ such that each collection $U^i$ consists of ...
5
votes
1answer
637 views

Which (semi)regular polyhedra are combinations of two others?

The convex combination of convex polytopes is a convex polytope. An example in $\mathbb{R}^2$ is that a regular octagon can be obtained as $\frac{1}{2} S + \frac{1}{2} S'$, where $S$ is a square and ...
5
votes
2answers
333 views

Up to projectivities, which configurations of four lines in $\mathbb{P}^3$ can one distinguish?

Background I am interested in the projective classification of reduced curves of degree four in $\mathbb{P}^3(\mathbb{R})$ (and more generally of degree $n+1$ in $\mathbb{P}^n(\mathbb{R})$). More ...
3
votes
0answers
125 views

Dimension of convex arrangements for hypergraphs

Suppose you have a hypergraph H on n vertices. Let d be the smallest integer such that we can find an arrangement A of convex subsets in Rd so that H represent the intersections of sets in A. Has ...
10
votes
2answers
1k views

Discrete Hairy Ball Theorem

This question is inspired by Math puzzles for dinner The arrow compatibility conditions in that problem can be considered an attempt to discretize the notion of a continuous vector field. The ...
27
votes
3answers
4k views

Can we cover the unit square by these rectangles?

The following question was a research exercise (i.e. an open problem) in R. Graham, D.E. Knuth, and O. Patashnik, "Concrete Mathematics", 1988, chapter 1. It is easy to show that $$\sum_{1 \leq k } ...
4
votes
7answers
1k views

How to generate a net on a 8-dimensional sphere

Using Matlab, how to generate a net of 3^10 points that are evenly located (or distributed) on the 8-dimensional unit sphere? Thanks for any helpful answers!
10
votes
1answer
464 views

Largest pair of homometric Golomb rulers?

A Golomb ruler is a set of $n$ integers that determines $\binom{n}{2}$ distinct differences. Two sets are homometric if they determine the same (multiset) of differences. For example, ...
12
votes
2answers
1k views

Random walk is to diffusion as self-avoiding random walk is to …?

One can view a random walk as a discrete process whose continuous analog is diffusion. For example, discretizing the heat diffusion equation (in both time and space) leads to random walks. Is there a ...
9
votes
2answers
752 views

covering a square with unit squares

Can some square of side length greater than $n$ be covered by $n^2+1$ unit squares? (The unit squares may be rotated. The large square and its interior must be covered.)
4
votes
4answers
2k views

Tetrahedron splitting/subdivision

Given a regular Tetrahedron A (i.e. each edge of A has same length), is it possible to split A into several smaller regular tetrahedra of equal size? I.e. smaller tetrahedra should completely fill ...
7
votes
2answers
465 views

A question about tilings of the plane

Let C be a compact subset of the Euclidean plane E whose boundary is a Jordan curve J. If C tiles the plane, can J be such that it has a unique tangent line at each point and none of its sub-arcs is ...
10
votes
1answer
387 views

Random geometric graphs and spanners

I would grateful to learn of work mixing random geometric graphs with random graphs under the Erdős-Renyi model, and in particular concerning spanners. Select $n$ points uniformly at random from the ...
6
votes
2answers
572 views

Lattice Stick Number vs. Stick Number of Knot

Can the lattice stick number of a knot be bounded by the stick number of the knot? The stick number $S(K)$ of a knot $K$ is the fewest number of segments needed to realize it by a simple 3D ...
20
votes
5answers
803 views

Iterated Circumcircle

Take three noncollinear points (a,b,c), compute the center of their circumcircle x, and replace a random one of a,b,c with x. Repeat. It seems this process may converge to a point, assuming no ...
5
votes
2answers
467 views

Generalization of Hamiltonian cycles to “Hamiltonian spheres”

One possible generalization of a Hamiltonian cycle in a triangulated plane graph is what could be called a Hamiltonian sphere: a collection of triangles within a simplicial complex in $\mathbb{R}^3$ ...
5
votes
2answers
407 views

Making 'circles' on a lattice/ Making distinct fractions from partitions of a number

First formulation: discrete geometry Pick your favourite 2D square lattice (I'm sure we all have one...) and try to place n points 'in a circle' (that is: in general position [no 3 should be ...
2
votes
2answers
739 views

What is the definition of ideal boundary?

In many papers about dynamical system, I found the word " ideal boundary". T don't know what is the definition of ideal boundary.
15
votes
3answers
1k views

Gauss-Bonnet Theorem for Graphs?

One can define the Euler characteristic χ for a graph as the number of vertices minus the number of edges. Thus an n-cycle has χ = 0 and K4 has χ = –2. Is there an analog for the ...
6
votes
3answers
673 views

Random Walks in $Z^2$/$Z^2$-intrinsic characterization of Euclidean distance Part II

For some context see Random Walks in $Z^2$/$Z^2$-intrinsic characterization of Euclidean distance As per Noah's answer and JBL's comment this was false as stated. However, I think the following ...
9
votes
1answer
420 views

Random Walks in $Z^2$/$Z^2$-intrinsic characterization of Euclidean distance

Problem: Consider a random walk on the lattice $\mathbb{Z}^2$ where on each iteration a particle either stays at its current location or moves to a neighboring vertex with probability 1/5. We start ...
4
votes
2answers
258 views

Centralizing four red vectors in six green sectors

Four red vectors are given, one per quadrant, $[0,90^\circ)$, $[90^\circ,180^\circ)$, etc. A rigid star of six green vectors separated by $60^\circ$ can be positioned at $(\theta, \theta+60^\circ, ...
16
votes
3answers
1k views

Cutting convex sets

Any bounded convex set of the Euclidean plane can be cut into two convex pieces of equal area and circumference. Can one cut every bounded convex set of the Euclidean plane into an arbitrary number ...
46
votes
5answers
3k views

Can an arbitrary collection of circles of total area 1/2 fit into a circle of area 1?

Assume the circles are actually open disks, otherwise two circles each of area $\frac{1}{4}$ wouldn't fit into the circle of area 1. This seems like it should be true, thinking about packing ...
3
votes
2answers
1k views

fit 4 circles within a square

If I have a square and want to place four equally large circles within this square, how large can the maximum radius be (compared to the lenght of the side of the square)? Just an answer would be ok, ...
5
votes
1answer
414 views

Isometric embedding of a positively curved polyhedral surface

Suppose you have a 2-dimensional polyhedral surface with specified lengths for the edges so that the vertices all have positive curvature. I believe this has a unique isometric embedding into ...
5
votes
2answers
504 views

Maximal area coverable by $k$ disjoint isosceles triangles contained in a triangle of area 1.

Given a triangle $\Delta$ of unit area, how much area can always be covered by $k$ isosceles triangles contained in $\Delta$ and intersecting at most at their boundaries? The answer is easy for ...
30
votes
2answers
1k views

What is the oriented Fano plane?

One way to remember the multiplication table of the octonions is to use the following diagram (which I got from John Baez's online paper): if $(e_i,e_j,e_k)$ is one of the lines listed according to ...
13
votes
3answers
1k views

What is the minimum N for which there exist N points in the plane that cannot be covered by any number of non-overlapping closed unit discs?

This problem was posed in March 2010 at G4G9 in a talk by the Japanese mathematician Hirokazu "Iwahiro" Iwasawa. He claims there is a simple proof that N > 10, though he did not share it with the ...
2
votes
0answers
184 views

Is there any symmetric unshellable triangulation of a tetrahedron?

M. Rudin gave a triangulation of a tetrahedron with the property that after any small tetrahedron removed, the remaining part is not homeomorphic to a ball (An unshellable triangulation of a ...
16
votes
3answers
2k views

How many unit squares can you pack into a rectangle with nearly integer side lengths?

Earlier today, somebody asked what looks like a homework problem, but admits the following reading which I think is interesting: Suppose $a_1,\dots, a_n$ are positive integers, and $\varepsilon$ ...
68
votes
5answers
5k views

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

I heard the following two questions recently from Carl Mummert, who encouraged me to spread them around. Part of his motivation for the questions was to give the subject of computable model theory ...
47
votes
3answers
4k views

What is the status of the Gauss Circle Problem?

For $r > 0$, let $L(r) = \# \{ (x,y) \in \mathbb{Z}^2 \ | \ x^2 + y^2 \leq r^2\}$ be the number of lattice points lying on or inside the standard circle of radius $r$. It is easy to see that $L(r) ...