On the origin of the Gibbons conjecture

Technical Summary: On the Origin of the Gibbons Conjecture

Problem Statement
The paper addresses a historical ambiguity within the literature of nonlinear partial differential equations (PDEs), specifically concerning the Allen–Cahn equation:
$$-\Delta u + u^3 - u = 0 \quad \text{in } \mathbb{R}^n.$$
While Ennio De Giorgi's conjecture (regarding the one-dimensional symmetry of monotone bounded solutions) is well-documented, the "Gibbons conjecture" lacks a clear origin. The Gibbons conjecture posits that any bounded solution $u: \mathbb{R}^n \to \mathbb{R}$ satisfying the asymptotic condition
$$\lim_{x_n \to \pm\infty} u(x', x_n) = \pm 1 \quad \text{uniformly with respect to } x' \in \mathbb{R}^{n-1}$$
must be one-dimensional, specifically taking the form of the explicit hyperbolic tangent profile $u(x) = \tanh((x_n - \alpha)/\sqrt{2})$. Despite frequent citation and attribution to theoretical physicist Gary W. Gibbons, no explicit formulation of this conjecture appears in his published works. The paper investigates how this attribution arose despite the absence of a formal source.

Methodology
The author employs a historical and bibliographic reconstruction approach, tracing the evolution of the terminology through the mathematical literature. The methodology involves:

1. Literature Review: Systematic examination of papers citing the "Gibbons conjecture" to identify the earliest written occurrences of the term.
2. Source Verification: Cross-referencing citations to determine if they point to a specific published manuscript by Gibbons or to informal communications.
3. Direct Correspondence: The author contacted both G. Carbou (the author of the suspected originating paper) and Gary W. Gibbons to clarify the circumstances of the attribution.
4. Contextual Analysis: Examining the intersection between mathematical physics (cosmological domain walls, Ginzburg-Landau models) and PDE theory to understand the motivation behind the attribution.

Key Contributions and Results

• Identification of the Terminological Origin: The study traces the written expression "Gibbons conjecture" back to a 1995 paper by G. Carbou titled Unicité et minimalité des solutions d'une équation de Ginzburg-Landau.
• Clarification of the Attribution Chain:
  • Carbou's 1995 paper did not explicitly use the term "Gibbons conjecture." Instead, he attributed a related uniqueness problem to Gibbons based on a "private communication" titled Topological Defects in Cosmology.
  • Subsequent authors (e.g., Farina in 1999; Barlow, Bass, and Gui in 2000) adopted the term "Gibbons conjecture" explicitly, solidifying the terminology in the literature.
  • The "private communication" cited by Carbou does not correspond to any identifiable published manuscript or known unpublished document in Gibbons' files.
• Verification via Correspondence:
  • Carboux's Account: Confirmed that the reference originated from a seminar delivered by Gibbons in Paris, attended by Carbou and his doctoral advisor, which motivated the uniqueness problem in the 1995 article.
  • Gibbons' Account: Gibbons stated he has no recollection of writing a manuscript titled Topological Defects in Cosmology and is unaware of such a document. He suggested the reference likely corresponds to an unpublished lecture. Furthermore, in a 2009 paper and a 2009 lecture, Gibbons himself expressed uncertainty regarding why the conjecture bears his name, noting it was "known... as the Gibbons Conjecture" for reasons "only partially clear" to him.
• Resolution of the Origin: The paper concludes that the attribution did not arise from a formal, written conjecture by Gibbons. Instead, it emerged from informal exchanges, lectures, and the collective usage of the mathematical community. The name reflects Gibbons' genuine intellectual influence on problems related to phase transitions and domain walls, rather than formal authorship of the specific symmetry statement.

Significance of the Paper
The paper argues that the history of the Gibbons conjecture illustrates a broader feature of mathematical culture: terminology and attribution often develop through transmission, informal communication, and collective usage rather than solely through explicit publication.

• It demonstrates that a problem discussed in lectures and shaped by physical motivations can become linked to a specific name over time, even without a formal statement by that individual.
• The work clarifies that the attribution is not a case of mistaken identity but rather a reflection of intellectual influence within a shared line of inquiry between mathematical physics and PDE analysis.
• By revisiting this specific case, the paper highlights the mechanisms by which mathematical terminology becomes stabilized within the research community, showing that names in mathematics may arise from influence and circulation as much as from formal statement.