Critical points of point charge potentials along lines

Technical Summary: Critical Points of Point Charge Potentials Along Lines

Problem Statement
The paper addresses the problem of bounding the number of equilibrium points (critical points) generated by a finite system of point charges when the potential is restricted to a straight line. Specifically, it considers the potential $V_p(X) = \sum_{j=1}^n \zeta_j |X - A_j|^{-p}$ in $\mathbb{R}^3$ (or $\mathbb{R}^d$ for $d \ge 2$) restricted to an affine line $L$. The central question is to determine the maximum number of critical points of the function $V_p|_L(x)$ in terms of the number of charges $n$ and the exponent $p > 0$.

This work proves Conjecture 1.9 by Gabrielov, Novikov, and Shapiro, which asserts that for any $p \ge 1$, the restriction of such a potential to a line has at most $2n - 1$ critical points. The paper extends this result to all $p > 0$ and demonstrates that the bound is sharp, even for systems consisting solely of positive charges.

Methodology
The proof strategy relies on a duality argument that transforms the one-dimensional problem into a two-dimensional electrostatic problem, followed by a perturbation analysis using degree theory.

1. Duality and Reduction:
   The author first reduces the problem to a linear algebraic question involving the evaluation matrix of specific functions. They consider the derivative of the restricted potential, which is a linear combination of functions of the form $(x-a_j)R_j(x)^{-(p+2)/2}$, where $R_j(x) = (x-a_j)^2 + b_j^2$.
   The proof proceeds by contradiction: assuming the existence of $2N$ distinct critical points (where $N$ is the number of distinct charge profiles), one can construct a singular $2N \times 2N$ evaluation matrix $C$.

2. Auxiliary Planar Potential:
   The kernel of the transpose of this singular matrix, $\ker C^T$, provides a set of coefficients interpreted as "signed charges" $q_r$ located at collinear points $x_r$ on the $a$-axis. These charges generate an auxiliary planar potential:
   $$U(a, b) = \sum_{r} q_r \left( (a - x_r)^2 + b^2 \right)^{-p/2}$$
   The condition that the vector lies in the kernel implies that the points $(a_j, \pm b_j)$ (and $(a_j, 0)$ if $b_j=0$) are critical points of this auxiliary potential $U$. Specifically, if $b_j \neq 0$, both $(a_j, b_j)$ and $(a_j, -b_j)$ are critical; if $b_j = 0$, the point $(a_j, 0)$ is a critical point with a vanishing Hessian.

3. Local Analysis and Perturbation:
   The author analyzes the local behavior of critical points of $U$ under small perturbations of the charge strengths $q_r$.

   • Off-axis points: Critical points satisfy a generalized axially symmetric equation. The local degree of the gradient at an isolated critical point of order $k$ is $1-k$.
   • On-axis points: Due to symmetry, critical points on the axis satisfy specific degeneracy conditions.
   • Perturbation: Using Sard's theorem, the author shows that the charge strengths can be perturbed to a generic set where all critical points are non-degenerate (Morse functions) and the total charge is non-zero.
   • Counting: Under such a perturbation, a critical point of order $k$ splits into $k-1$ non-degenerate saddle points (local degree $-1$). Consequently, a non-degenerate critical point contributes 1 to the count, while a degenerate one with vanishing Hessian ($k \ge 3$) contributes at least 2.

4. Global Degree Argument:
   For a perturbed potential with $m$ non-zero charges and non-zero total charge, the author applies a degree-theoretic argument (analogous to Maxwell's classical arguments and Morse theory) to show that the total number of critical points is exactly $m-1$, all of which are saddles.

Key Results

• Theorem 1: For any $p > 0$, the restriction of a potential generated by $n$ point charges to a line has at most $2n - 1$ distinct critical points. The bound is sharp.
• Theorem 2: Any non-zero linear combination of the $2N$ functions $\{R_j(x)^{-(p+2)/2}, (x-a_j)R_j(x)^{-(p+2)/2}\}_{j=1}^N$ has at most $2N - 1$ distinct zeroes in the domain. This establishes that these functions form a Haar system when all charges are off the line ($b_j > 0$).
• Sharpness: The bound $2N - 1$ is achieved by configurations of equal positive charges placed symmetrically near the line, demonstrating that the bound cannot be improved even for positive charges.

Significance and Claims
The paper claims to provide a proof of Conjecture 1.9 from Gabrielov–Novikov–Shapiro. The author notes that while independent work by Duan also proves this conjecture using projective geometry and Wronskian calculations, the present approach offers a comparatively shorter route specifically tailored to the point-charge problem.

The significance lies in:

1. Resolution of a Conjecture: Confirming the upper bound of $2n-1$ for the number of critical points on a line, independent of the exponent $p$.
2. Methodological Contribution: The use of a duality between a 1D restriction problem and a 2D collinear charge problem, combined with elementary degree theory and local analysis of degenerate critical points.
3. Generality: The result holds for any ambient dimension $d \ge 2$ and any $p > 0$.

The author explicitly states that the bound is sharp and that the proof relies on transforming the problem into a two-dimensional one to utilize global topological arguments (degree theory) that are not immediately available in the purely one-dimensional setting. The paper does not propose new applications or future experimental directions but focuses strictly on the mathematical resolution of the stated conjecture.