For every smooth Jordan curve $\gamma$ and rectangle $R$ in the Euclidean plane, we show that there exists a rectangle similar to $R$ whose vertices lie on $\gamma$. The proof relies on Shevchishin's theorem that the Klein bottle does not admit a smooth Lagrangian embedding in $\mathbb{C}^2$.

The Rectangular Peg Problem

We prove a transversality "lifting property" for compactified configuration spaces as an application of the multijet transversality theorem: given a submanifold of configurations of points on an embedding of a compact manifold $M$ in Euclidean space, we can find a dense set of smooth embeddings of $M$ for which the corresponding configuration space of points is transverse to any submanifold of the configuration space of points in Euclidean space, as long as the two submanifolds of compactified configuration space are boundary-disjoint. We use this setup to provide an attractive proof of the square-peg problem: there is a dense family of smoothly embedded circles in the plane where each simple closed curve has an odd number of inscribed squares, and there is a dense family of smoothly embedded circles in $\R^n$ where each simple closed curve has an odd number of inscribed square-like quadrilaterals.

Configuration Spaces, Multijet Transversality, and the Square-Peg Problem

We prove a transversality “lifting property” for compactified configuration spaces as an application of the multijet transversality theorem: given a submanifold of configurations of points on an embedding of a compact manifold M in Euclidean space, we can find a dense set of smooth embeddings of M for which the corresponding configuration space of points is transverse to any submanifold of the configuration space of points in Euclidean space, as long as the two submanifolds of compactified configuration space are boundary-disjoint. We use this setup to provide an attractive proof of the square-peg problem: there is a dense family of smoothly embedded circles in the plane where each simple closed curve has an odd number of inscribed squares, and there is a dense family of smoothly embedded circles in Rn where each simple closed curve has an odd number of inscribed square-like quadrilaterals. 

Configuration spaces, multijet transversality, and the square-peg problem

The square-peg problem asks if every Jordan curve in the plane has four points which are the vertices of a square. The problem is open for continuous Jordan curves, but it has been resolved for various regularity classes of curves between continuous and $C^1$-smooth Jordan curves. Here, in a generalization of the square-peg problem, we consider embedded curves in space, and ask if they have inscribed quadrilaterals with equal sides and equal diagonals. We call these quadrilaterals "square-like". We give a regularity class (finite total curvature without cusps) in which we can prove that every embedded curve has an inscribed square-like quadrilateral. The key idea is to use local data to show that short enough arcs have small curvature, thus ruling out small squares. This allows us to successfully use a limiting argument on approximating curves.

Square-like quadrilaterals inscribed in embedded space curves

Let $\Delta$ denote a non-degenerate $k$-simplex in $\mathbb{R}^k$. The set $\text{Sim}(\Delta)$ of simplices in $\mathbb{R}^k$ similar to $\Delta$ is diffeomorphic to $O(k)\times [0,\infty)\times \mathbb{R}^k$, where the factor in $O(k)$ is a matrix called the {\em pose}. Among $(k-1)$-spheres smoothly embedded in $\mathbb{R}^k$ and isotopic to the identity, there is a dense family of spheres, for which the subset of $\text{Sim}(\Delta)$ of simplices inscribed in each embedded sphere contains a similar simplex of every pose $U\in O(k)$. Further, the intersection of $\text{Sim}(\Delta)$ with the configuration space of $k+1$ distinct points on an embedded sphere is a manifold whose top homology class maps to the top class in $O(k)$ via the pose map. This gives a high dimensional generalization of classical results on inscribing families of triangles in plane curves. We use techniques established in our previous paper on the square-peg problem where we viewed inscribed simplices in spheres as transverse intersections of submanifolds of compactified configuration spaces.

Families of similar simplices inscribed in most smoothly embedded spheres

We prove that for every smooth Jordan curve $\gamma$, if $X$ is the set of all $r \in [0,1]$ so that there is an inscribed rectangle in $\gamma$ of aspect ratio $\tan(r\cdot \pi/4)$, then the Lebesgue measure of $X$ is at least $1/3$. To do this, we study disjoint Mobius strips bounding a $(2n,n)$-torus link in the solid torus times an interval. We prove that any such set of Mobius strips can be equipped with a natural total ordering. We then combine this total ordering with some additive combinatorics to prove that $1/3$ is a sharp lower bound on the probability that a Mobius strip bounding the $(2,1)$-torus knot in the solid torus times an interval will intersect its rotation by a uniformly random angle.

Cole Hugelmeyer

Papers

Inscribed rectangles in a smooth Jordan curve attain at least one third of all aspect ratios

Inscribed rectangles in a smooth Jordan curve attain at least one third of all aspect ratios