Toeplitz’s Square Peg Conjecture (General Jordan Curves)

Establish the validity of Toeplitz’s Square Peg Conjecture in full generality by proving that for every Jordan curve C ⊂ ℝ² there exist four points on C that are the vertices of a non-degenerate square, thereby resolving the open case for arbitrary Jordan curves.

Background

The Inscribed Square Problem, also known as Toeplitz’s Square Peg Problem, asks whether every Jordan curve in the plane contains four points forming a square. The conjecture dates back to 1911 and has been proven in several restricted settings, including convex and piecewise analytic curves, C¹-smooth curves, curves of finite total curvature, and generic C¹ curves.

Despite these advances, the general case for arbitrary Jordan curves remains unresolved. This work uses a visual diffusion model to approximate inscribed squares directly in pixel space, highlighting the multiplicity of possible solutions and the suitability of diffusion models for exploring such geometric configurations. The open problem itself, however, is purely mathematical and concerns the universal existence of an inscribed square for all Jordan curves.