Mathematicians solve decades-old puzzle about particle behavior in confined spaces
Researchers have cracked a fundamental problem in how particles arrange themselves when trapped in bounded areas—work with implications for materials science, quantum computing, and optimization algorithms. The breakthrough connects abstract mathematical theory to practical physical systems, potentially improving how engineers design constraints for particle-based technologies.
Originaltitel: Coulomb gas and the Grunsky operator on a Jordan domain with corners
Abstract Let $D$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>D</mml:mi> </mml:math> be a Jordan domain of unit capacity. We study the partition function of a planar Coulomb gas in $D$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>D</mml:mi> </mml:math> with a hard wall along $\eta = \partial D$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>η</mml:mi> <mml:mo>=</mml:mo> <mml:mi>∂</mml:mi> <mml:mi>D</mml:mi> </mml:math> , $$ Z_{n}(D) =\frac{1}{n!}\int _{D^{n}}\prod _{1\leqslant k < \ell \leqslant n}|z_{k}-z_{\ell }|^{2} \prod _{k=1}^{n} d^{2}z_{k}. $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msub> <mml:mi>Z</mml:mi> <mml:mi>n</mml:mi> </mml:msub> <mml:mo>(</mml:mo> <mml:mi>D</mml:mi> <mml:mo>)</mml:mo> <mml:mo>=</mml:mo> <mml:mfrac> <mml:mn>1</mml:mn> <mml:mrow> <mml:mi>n</mml:mi> <mml:mo>!</mml:mo> </mml:mrow> </mml:mfrac> <mml:msub> <mml:mo>∫</mml:mo> <mml:msup> <mml:mi>D</mml:mi> <mml:mi>n</mml:mi> </mml:msup> </mml:msub> <mml:munder> <mml:mo>∏</mml:mo> <mml:mrow> <mml:mn>1</mml:mn> <mml:mo>⩽</mml:mo> <mml:mi>k</mml:mi> <mml:mo><</mml:mo> <mml:mi>ℓ</mml:mi> <mml:mo>⩽</mml:mo> <mml:mi>n</mml:mi> </mml:mrow> </mml:munder> <mml:mo>|</mml:mo> <mml:msub> <mml:mi>z</mml:mi> <mml:mi>k</mml:mi> </mml:msub> <mml:mo>−</mml:mo> <mml:msub> <mml:mi>z</mml:mi> <mml:mi>ℓ</mml:mi> </mml:msub> <mml:msup> <mml:mo>|</mml:mo> <mml:mn>2</mml:mn> </mml:msup> <mml:munderover> <mml:mo>∏</mml:mo> <mml:mrow> <mml:mi>k</mml:mi> <mml:mo>=</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> <mml:mi>n</mml:mi> </mml:munderover> <mml:msup> <mml:mi>d</mml:mi> <mml:mn>2</mml:mn> </mml:msup> <mml:msub> <mml:mi>z</mml:mi> <mml:mi>k</mml:mi> </mml:msub> <mml:mo>.</mml:mo> </mml:math> We are interested in how the geometry of $\eta $ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>η</mml:mi> </mml:math> is reflected in the large $n$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>n</mml:mi> </mml:math> behavior of $Z_{n}(D)$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msub> <mml:mi>Z</mml:mi> <mml:mi>n</mml:mi> </mml:msub> <mml:mo>(</mml:mo> <mml:mi>D</mml:mi> <mml:mo>)</mml:mo> </mml:math> . We prove that $\eta $ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>η</mml:mi> </mml:math> is a Weil-Petersson quasicircle if and only if $$ \lim _{n \to \infty } \log \frac{Z_{n}(D)}{Z_{n}(\mathbb{D})} = -\frac{1}{12}I^{L}( \eta ), $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:munder> <mml:mo>lim</mml:mo> <mml:mrow> <mml:mi>n</mml:mi> <mml:mo>→</mml:mo> <mml:mi>∞</mml:mi> </mml:mrow> </mml:munder> <mml:mo>log</mml:mo> <mml:mfrac> <mml:mrow> <mml:msub> <mml:mi>Z</mml:mi> <mml:mi>n</mml:mi> </mml:msub> <mml:mo>(</mml:mo> <mml:mi>D</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> <mml:mrow> <mml:msub> <mml:mi>Z</mml:mi> <mml:mi>n</mml:mi> </mml:msub> <mml:mo>(</mml:mo> <mml:mi>D</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> </mml:mfrac> <mml:mo>=</mml:mo> <mml:mo>−</mml:mo> <mml:mfrac> <mml:mrow> <mml:mn>1</mml:mn> </mml:mrow> <mml:mn>12</mml:mn> </mml:mfrac> <mml:msup> <mml:mi>I</mml:mi> <mml:mi>L</mml:mi> </mml:msup> <mml:mo>(</mml:mo> <mml:mi>η</mml:mi> <mml:mo>)</mml:mo> <mml:mo>,</mml:mo> </mml:math> where $I^{L}$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msup> <mml:mi>I</mml:mi> <mml:mi>L</mml:mi> </mml:msup> </mml:math> </jats:inl