Skip to content
DraconiticResearch
Search Sources API
203,234 studies31 sourcesUpdated 21 min ago
PreprintarXiv licencearXiv

From boundary geometry to counterexamples in Smale's mean value problem

  • Tom Adamczewski
  • Matthew J. Colbrook
Open at sourcePDFDOICite

Abstract

This paper provides a human digestion of the recent counterexample to Smale's mean value problem found by GPT-6 Astra. We give a geometric mechanism for constructing counterexamples. An outward normal that re-enters an analytic Jordan domain, subject to a curvature condition, yields a holomorphic model whose normalized divided differences exceed one in modulus on the boundary. Polynomial perturbations then concentrate every critical point near the boundary whilst preserving the strict inequality. This turns boundary geometry into counterexamples in every sufficiently large degree. We also locate these critical points to first order and show that their limiting distribution is the logarithmic equilibrium measure on the boundary. We end with an explicit example of degree 29 984, verified by interval arithmetic.

Related

  1. Geometric analysis of a mixed elliptic-parabolic conformally invariant boundary value problem
    Jürgen Jost, Lei Liu, Miaomiao Zhu
    ANNALI SCUOLA NORMALE SUPERIORE - CLASSE DI SCIENZEPeer-reviewedLicence not statedFull text6 citedGeneral mathematicsOpenAlex
  2. On a boundary value problem related to radiative heat transfer
    Mihai Halic
    arXivPreprintCC BY-SA 4.0Full textNumerical analysis & scientific computingarXiv
  3. Derivation of the General Solution of the Black-Scholes Boundary-Value Problem
    ByoungSeon Choi, M. Y. Choi
    arXivPreprintCC BY 4.0Full textMathematical physicsStatistical & nonlinear physicsarXiv
  4. A nonhomogeneous boundary-value problem for the nonlinear KdV equation on star graphs
    Roberto de Almeida Capistrano Filho, Hugo Parada, Jandeilson Santos da Silva
    HALPreprintCC BY 4.0Full textAnalysis & PDEsHAL
  5. Regular points and the boundary-value problem for a hypoelliptic process in a general smooth domain
    Mouad Ramil, Mathias Rousset
    HALPreprintCC BY 4.0Full textProbabilityHALarXiv

Cite

BibTeXRIS
BibTeX
@misc{adamczewski2026from,
  title = {{From boundary geometry to counterexamples in Smale's mean value problem}},
  author = {Tom Adamczewski and Matthew J. Colbrook},
  howpublished = {arXiv},
  year = {2026},
  month = oct,
  doi = {10.48550/arxiv.2610.36158},
  eprint = {2610.36158},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2610.36158},
}
RIS
TY  - UNPB
TI  - From boundary geometry to counterexamples in Smale's mean value problem
AU  - Tom Adamczewski
AU  - Matthew J. Colbrook
PY  - 2026
DA  - 2026/10/26
PB  - arXiv
DO  - 10.48550/arxiv.2610.36158
UR  - https://arxiv.org/abs/2610.36158
AB  - This paper provides a human digestion of the recent counterexample to Smale's mean value problem found by GPT-6 Astra. We give a geometric mechanism for constructing counterexamples. An outward normal that re-enters an analytic Jordan domain, subject to a curvature condition, yields a holomorphic model whose normalized divided differences exceed one in modulus on the boundary. Polynomial perturbations then concentrate every critical point near the boundary whilst preserving the strict inequality. This turns boundary geometry into counterexamples in every sufficiently large degree. We also locate these critical points to first order and show that their limiting distribution is the logarithmic equilibrium measure on the boundary. We end with an explicit example of degree 29 984, verified by interval arithmetic.
ER  -