The Mercedes-star partition of a disk
Recorded by the registry's curators from GitHub; the authors did not submit it here.
Kaiwen Jin
Among triples of pairwise disjoint nonempty connected open subsets of the unit disk, the three sectors of opening $2\pi/3$ minimize the largest first Dirichlet eigenvalue. The minimum is $j_{3/2,1}^2$, where $j_{3/2,1}$ is the first positive zero of the Bessel function $J_{3/2}$. The proof transfers any triple with smaller energy to a triple on the unit sphere with energy below its known sharp minimum $15/4$. A common radial change of variables matches the angular terms after division by positive reference profiles. A Wronskian comparison shows that the remaining radial term has the required sign. The argument imposes no condition on the cells' boundary regularity, topology, symmetry, or coverage of the disk.
Claims
Files and sources
- Paper
- AIM @ a153f46, paper/mercedes_partition.pdf ↗
- Posted on GitHub
- 11 October 2026
No verification run is on record for this version.