The Y-partition is the optimal three-partition for the disc and the harmonic oscillator
In the authors' words
We prove that the Y-partition into three equal sectors is the minimal spectral three-partition both for the Dirichlet Laplacian on the unit disc and for the planar harmonic oscillator , with minimal energies and ; for the disc, this confirms a conjecture of Helffer and Hoffmann-Ostenhof. The minimizing regular strong partition is unique up to rotation, and every open minimizing partition has cells with the Dirichlet form domains of the sectors. The proof is a positive radial transplantation to the sphere that preserves segregation and matches the angular-energy measures of the separated model states; the three-lune theorem of Helffer, Hoffmann-Ostenhof, and Terracini then gives the lower bound. The transplantation lowers the shifted quadratic form by a nonnegative defect with strictly positive radial weight; in the equality case, spherical equipartition makes the defects vanish, which separates variables, and a Poincar\'e inequality on the circle identifies the sectors.
Appeared: Monday, September 21. arXiv. Preprint, not yet peer-reviewed.
Authors' comment: 32 pages, 2 figures