{"id":"arxiv/2608.08953","url":"https://arxiv.org/abs/2608.08953","tags":["math.AP","math-ph","math.NA","math.SP"],"score":0,"title":"A computer-assisted counterexample to the planar Berenstein conjecture","domain":"math.AP","source":"arxiv","authors":["Matthew J. Colbrook","Siavash Sadeghi","George Stepaniants"],"reviews":0,"subject":"math.AP","summary":"Recent work of Colbrook and Stepaniants produced the first counterexamples to the planar Pompeiu and Schiffer conjectures and introduced the conformal fixed-disc, disk-polynomial, and validated-tail machinery used here. By adapting this framework to the complementary Dirichlet endpoint, we disprove the unrestricted planar Berenstein conjecture. Specifically, we construct a bounded simply connected domain $Ω$ with real-analytic Jordan boundary, which is not a disc and for which there exist $k\\in(27.4381178838,27.4381198839)$ and a nonzero real-valued function $u\\in C^ω(\\overlineΩ)$ satisfying…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-09","reactions":{}}