Mathematics Problem Archive
Combinatorial theory for geometrically finite maps
v1.3 research notesExtend Thurston's finite combinatorial classification from critically finite rational maps to all geometrically finite rational maps: give finite topo...
Injectivity radius from the number of generators
v1.3 research notesIf a complete hyperbolic $3$-manifold $N$ has fundamental group generated by $n$ elements, is there a bound $R_n$, depending only on $n$, on the radiu...
Critically finite maps with hyperbolic postcritical complement
v1.3 research notesFor $n>1$, do there exist nontrivial critically finite rational maps $f:\mathbb P^n\to\mathbb P^n$ whose postcritical hypersurface $V$ has Kobayashi-h...
Topology of hyperbolic attractors in dimension three
v1.3 research notesLet $A$ be a hyperbolic attractor of a diffeomorphism of a compact $3$-manifold. Beyond the known Anosov, laminated, Williams, and invariant-torus cas...
Effective computation of entropy for surface diffeomorphisms
v1.3 research notesGiven an explicitly specified smooth orientation-preserving diffeomorphism $F$ of the $2$-sphere, is its topological entropy Turing-computable to arbi...
Voronoi Diagram of Lines in 3D
v1.3 research notesWhat is the combinatorial complexity of the Voronoi diagram of a set of lines (or line segments) in three dimensions?...
Union of Fat Objects in 3D
v1.3 research notesWhat is the complexity of the union of ``fat'' objects in $\mathbb{R}^3$?...
Euclidean Minimum Spanning Tree
v1.3 research notesCan the Euclidean minimum spanning tree (MST) of $n$ points in $\mathbb{R}^d$ be computed in time close to the lower bound of $\Omega(n \log n)$?...
Minimum Euclidean Matching in 2D
v1.3 research notesWhat is the complexity of computing a minimum-cost Euclidean matching for $2n$ points in the plane? The cost of a matching is the total length of the ...
$k$-sets
v1.3 research notesWhat is the maximum number of $k$-sets? (Equivalently, what is the maximum complexity of a $k$-level in an arrangement of hyperplanes?)...
Simple Linear-Time Polygon Triangulation
v1.3 research notesIs there a deterministic, linear-time polygon triangulation algorithm significantly simpler than that of Chazelle?...
3SUM Hard Problems
v1.3 research notesCan the class of 3SUM hard problems be solved in subquadratic time? These problems can be reduced from the problem of determining whether, given three...
Point Location in 3D Subdivision
v1.3 research notesIs there an $O(n)$-space data structure that supports $O(\log n)$-time point-location queries in a three-dimensional subdivision of $n$ faces?...
Output-sensitive Convex Hull in $\mathbb{R}^d$
v1.3 research notesWhat is the best output-sensitive convex hull algorithm for $n$ points in $\mathbb{R}^d$?...
Simple Polygonalizations
v1.3 research notesCan the number of simple polygonalizations of a set of $n$ points in the plane be computed in polynomial time? A simple polygonalization is a simple p...
Visibility Graph Recognition
v1.3 research notesGiven a visibility graph $G$ and a Hamiltonian circuit $C$, determine in polynomial time whether there is a simple polygon whose vertex visibility gra...
Vertical Decompositions in $\mathbb{R}^d$
v1.3 research notesWhat is the complexity of the vertical decomposition of $n$ surfaces in $\mathbb{R}^d$, $d \ge 5$?...
Minimum-Link Path in 2D
v1.3 research notesCan a minimum-link path among polygonal obstacles be found in subquadratic time?...
Vertex $\pi$-Floodlights
v1.3 research notesHow many $\pi$-floodlights are always sufficient to illuminate any polygon of $n$ vertices, with at most one floodlight placed at each vertex? An $\al...
Polygonal Curve Simplification
v1.3 research notesCan an $n$-vertex polygonal curve be simplified in time nearly linear in $n$?...
Polyhedral Surface Approximation
v1.3 research notesHow efficiently can one compute a polyhedral surface that is an $\epsilon$-approximation of a given triangulated surface in $\mathbb{R}^3$?...
Surface Reconstruction
v1.3 research notesGiven a sufficiently dense sample of points on a surface (technically, an $\epsilon$-sample), reconstruct a surface homeomorphic to the original....
Hexahedral Meshing
v1.3 research notesCan the interior of every simply connected polyhedron whose surface is meshed by an even number of quadrilaterals be partitioned into a hexahedral mes...
Flip Graph Connectivity in 3D
v1.3 research notesIs the flip graph connected for general-position points in $\mathbb{R}^3$? Given a set of $n$ points in $\mathbb{R}^3$, the flip graph has a node for ...
Hamiltonian Tetrahedralizations
v1.3 research notesCan every convex polytope in $\mathbb{R}^3$ be partitioned into tetrahedra such that the dual graph has a Hamiltonian path?...
Trapping Light Rays with Segment Mirrors
v1.3 research notesIs it possible to trap all the light from one point source by a finite collection of two-sided disjoint segment mirrors? A light ray is trapped if it ...
Extending Pseudosegment Arrangements by Subdivision
v1.3 research notesHow many intersections among an arrangement of pseudosegments in the plane must be added as vertices to allow the pseudosegment arrangment to be exten...
Freeze-Tag: Optimal Strategies for Awakening a Swarm of Robots
v1.3 research notesAn optimization problem that naturally arises in the study of ``swarm robotics'' is to wake up a set of ``asleep'' robots, starting with only one ``aw...
Counting Polyominoes
v1.3 research notesHow many polyominoes on $n$ squares are there? A polyomino is a connected interior-disjoint union of axis-aligned unit squares joined edge-to-edge, in...
Compatible Triangulations
v1.3 research notesIs it true that every two sets of $n$ planar points in general position with the same number points on their convex hulls have compatible triangulatio...
Distances among Point Sets in $\mathbb{R}^2$ and $\mathbb{R}^3$
v1.3 research notesFor a point set $P$ in $\mathbb{R}^d$, let $f_d(P)$ be the number of unit-distance point pairs: $$f_d(P) = \left| \{ (u,v) \mid u, v \in P, \, \|u-v\|...
The Number of Pointed Pseudotriangulations
v1.3 research notesFor a planar point set $S$, is the number of pointed pseudotriangulations always at least the number of triangulations? A pseudotriangle is a planar p...
Sorting $X+Y$ (Pairwise Sums)
v1.3 research notesGiven two sets of numbers, each of size $n$, how quickly can the set of all pairwise sums be sorted? In symbols, given two sets $X$ and $Y$, our goal ...
Vertex-Unfolding Polyhedra
v1.3 research notesConsider a polyhedron with simply connected facets (no holes on a facet) and without boundary (every edge is incident to exactly two facets). Can the ...
General Unfoldings of Nonconvex Polyhedra
v1.3 research notesCan every closed polyhedron be cut along its surface and unfolded into one piece in the plane without overlap? Such an unfolding is called a general u...
3D Minimum-Bend Orthogonal Graph Drawings
v1.3 research notesDoes every simple graph with maximum vertex degree $\Delta \leq 6$ have a 3D orthogonal point-drawing with no more than two bends per edge? A 3D ortho...
Planar Euclidean Maximum TSP
v1.3 research notesWhat is the complexity of finding a tour of maximum Euclidean length for a planar point set?...
Linear-Volume 3D Grid Drawings of Planar Graphs
v1.3 research notesDoes every $n$-vertex planar graph have a 3D grid drawing with $O(n)$ volume? A 3D grid drawing of a graph is a placement of the vertices at distinct ...
Queue-Number of Planar Graphs
v1.3 research notesDoes every planar graph have $O(1)$ queue-number? A queue layout of a graph consists of a linear order of the vertices and a partition of the edges in...
Traveling Salesman Problem in Solid Grid Graphs
v1.3 research notesWhat is the complexity of finding a shortest tour in a solid planar grid graph? A planar grid graph is a graph whose vertices are any set of points on...
Pallet Loading
v1.3 research notesWhat is the complexity of the pallet loading problem? Given two pairs of numbers, $(A,B)$ and $(a,b)$, and a number $n$, decide whether $n$ small rect...
Monochromatic Triangles
v1.3 research notesFor any (planar) triangle $T$, is there is a $3$-coloring of the (infinite) plane with no monochromatic copy of $T$? We imagine congruent copies of $T...
Most Circular Partition of a Square
v1.3 research notesWhat is the optimal partition of a square into convex pieces such that the circularity of the pieces is optimized? The circularity of a polygon is the...
Transforming Polygons via Vertex-Centroid Moves
v1.3 research notesGiven an arbitrary polygon, transform it by a finite sequence of ``vertex-centroid'' moves to a regular polygon. A vertex-centroid move is a translati...
Lines Tangent to Four Unit Balls
v1.3 research notesGiven a set of $n$ unit-radius balls in $\mathbb{R}^3$, what is the number of lines that are tangent to four of the balls in the set, and miss all the...
Volume Maximizing Convex Shape
v1.3 research notesLet $C$ be a convex piece of paper; its boundary may be a smooth curve, or a polygon. A perimeter halving folding is a folding of $C$ obtained by iden...
Dynamic Planar Nearest Neighbors
v1.3 research notesIs there a data structure maintaining a set of $n$ points in the plane subject to insertions, deletions, and nearest-neighbor queries in $O(\log n)$ t...
Edge-Unfolding Polycubes
v1.3 research notesIs there any genus-zero orthogonal polyhedron $P$ built by gluing together cubes face-to-face that cannot be edge-unfolded, where all cube edges on th...
Reflexivity of Point Sets
v1.3 research notesLet $\rho(S)$ be the fewest number of reflex vertices in a polygonization of a 2D point set $S$, i.e., the fewest reflexivities of any simple polygon ...
Rolling a Die over a Labeled Board
v1.3 research notesLabel the faces of a unit cube with numbers $1$--$6$ as in a die. Place the cube to sit on an integer lattice grid, with one corner at the origin and ...