arXiv++ Combinatorics

Suppose that $γ\subset \mathbb{C}$ is a Jordan curve of diameter $2R$ which encloses a region of area $A$. We prove that there exists a subset $I \subset (0,π)$ of measure at least $A/R^2$ such that if $θ\in I$, then there exist four points on $γ$ at the vertices of a rectangle whose diagonals meet at angle $θ$.

We prove that for every smooth Jordan curve $γ\subset \mathbb{C}$ and for every set $Q \subset \mathbb{C}$ of six concyclic points, there exists a non-constant quadratic polynomial $p \in \mathbb{C}[z]$ such that $p(Q) \subset γ$. The proof relies on a theorem of Fukaya and Irie. We also prove that if $Q$ is the union of the vertex sets of two concyclic regular $n$-gons, there exists a non-constant polynomial $p \in \mathbb{C}[z]$ of degree at most $n-1$ such that $p(Q) \subset γ$. The proof is based on a computation in Floer homology. These results support a conjecture about which point sets $Q \subset \mathbb{C}$ admit a polynomial inscription of a given degree into every smooth Jordan curve $γ$.

We show that there always exists an inscribed square in a Jordan curve given as the union of two graphs of functions of Lipschitz constant less than $1 + \sqrt{2}$. We are motivated by Tao's result that there exists such a square in the case of Lipschitz constant less than $1$. In the case of Lipschitz constant $1$, we show that the Jordan curve inscribes rectangles of every similarity class. Our approach involves analysing the change in the spectral invariants of the Jordan Floer homology under perturbations of the Jordan curve.

We construct a version of Lagrangian Floer homology whose chain complex is generated by the inscriptions of a rectangle into a real analytic Jordan curve. By using its associated spectral invariants, we establish that a rectifiable Jordan curve admits inscriptions of a whole interval of rectangles. In particular, it inscribes a square if the area it encloses is more than half that of a circle of equal diameter.

For every smooth Jordan curve $γ$ and cyclic quadrilateral $Q$ in the Euclidean plane, we show that there exists an orientation-preserving similarity taking the vertices of $Q$ to $γ$. The proof relies on the theorem of Polterovich and Viterbo that an embedded Lagrangian torus in $\mathbb{C}^2$ has minimum Maslov number 2.