[Paper Review] Necklaces with interacting beads: isoperimetric problems

Pavel Exner|ArXiv.org|Aug 31, 2005

Mathematics and Applications2 references3 citations

TL;DR

This paper establishes that for both classical charged necklaces and quantum polymer loops with N identical point interactions on a closed curve of fixed length, the regular planar polygon configuration globally minimizes Coulomb energy and maximizes ground state energy, respectively. Using geometric inequalities involving chord lengths and Fourier analysis on ℓ²(ℤ), it proves that symmetry (regular polygon) yields the optimal solution, extending prior local results to global extrema via operator norm estimates.

ABSTRACT

We discuss a pair of isoperimetric problems which at a glance seem to be unrelated. The first one is classical: one places $N$ identical point charges at a closed curve $Γ$ at the same arc-length distances and asks about the energy minimum, i.e. which shape does the loop take if left by itself. The second problem comes from quantum mechanics: we take a Schrödinger operator in $L^2(\mathbb{R}^d), d=2,3,$ with $N$ identical point interaction placed at a loop in the described way, and ask about the configuration which \emph{maximizes} the ground state energy. We reduce both of them to geometric inequalities which involve chords of $Γ$; it will be shown that a sharp local extremum is in both cases reached by $Γ$ in the form of a regular (planar) polygon and that such a $Γ$ solves the two problems also globally.

Motivation & Objective

• To resolve two isoperimetric problems—one classical (Coulomb energy minimization of N point charges on a loop) and one quantum (maximization of ground state energy of N point interactions)—by reducing them to a common geometric question.
• To extend prior local extremum results to global solutions by analyzing chord-length inequalities derived from Fourier series on ℓ²(ℤ).
• To demonstrate that the regular N-gon is the unique global maximizer/minimizer in both problems, despite the lack of smoothness in the discrete setting.

Proposed method

• Formalize the classical and quantum problems using arc-length parametrized curves Γ satisfying |Γ̇(s)| = 1 and Γ(0) = Γ(L), with N equidistant point interactions.
• Reduce both problems to geometric inequalities involving chord lengths |Γ(s + u) - Γ(s)|, particularly focusing on ℓ^p norms of chord differences.
• Use Fourier analysis on ℓ²(ℤ) to model the interaction structure, introducing the operator A^(N,m) whose norm governs the energy bounds.
• Estimate the operator norm via the Cauchy-Schwarz inequality, leveraging periodicity and decay of matrix elements involving sin(πmj/N)/j.
• Prove that the inequality D_L,N²(m) ≤ (π/N sin(πm/N))² holds globally, with equality only for the regular polygon, using the identity S_n = (π/(N sin(πn/N)))².
• Establish global optimality by showing that the regular polygon achieves the sharp bound, implying it is the unique extremal configuration.

Experimental results

Research questions

• RQ1 Does the regular polygon globally minimize the Coulomb energy of N identical point charges on a closed loop of fixed length L?
• RQ2 Is the ground state energy of a Schrödinger operator with N identical point interactions maximized when the interaction points form a regular polygon?
• RQ3 Can the two seemingly unrelated isoperimetric problems—classical electrostatics and quantum mechanics—be reduced to a common geometric inequality involving chord lengths?
• RQ4 How does the discrete nature of the point interactions affect the global optimality compared to the continuous limit (N → ∞)?
• RQ5 What role does symmetry play in ensuring the regular polygon as the unique global extremum, and can this be proven via operator-theoretic methods?

Key findings

• The regular planar polygon with N vertices, denoted P̃_N, globally minimizes the Coulomb energy of a charged necklace with N equidistant point charges on a fixed-length loop.
• The ground state energy of the Schrödinger operator with N identical point interactions is globally maximized when the interaction points form a regular N-gon.
• The two problems are reduced to a single geometric inequality involving ℓ^p norms of chord differences, with the inequality D_L,N²(m) ≤ (π/N sin(πm/N))² holding for all N ≥ 2 and m = 1,…,⌊N/2⌋.
• The bound is sharp and achieved only when the curve Γ is a regular polygon, proving that P̃_N is the unique global extremum.
• The proof relies on estimating the operator norm of A^(N,m) on ℓ²(ℤ), showing that the matrix elements decay sufficiently to yield a bounded operator whose norm is minimized at the symmetric configuration.
• The result extends local extremum results to global optimality, demonstrating that symmetry is not only sufficient but necessary for the extremum in both problems.