A nearly round ball challenges a spectral-geometry prediction
- What it is
- A paper claims an explicit deformation of a three-dimensional ball that violates a proposed boundary-vibration lower bound.
- Who did it
- Alexandre Girouard and Thomas Hélière
- What it could mean
- Even a distorted ball can overturn a long-standing geometric prediction. This explicit example would show why positive curvature and a convex boundary cannot guarantee the lowest boundary-response frequency mathematicians expected.
See the check plan
Evidence & validation
From announcement to evidence
Discovery recorded. State of Proof has not yet examined this claim.
Read the original work
An elementary counterexample to Escobar's Steklov conjecture on the three-ball ↗See the proposed checks
Reconstruct the metric, curvature and boundary-convexity calculations, then the Steklov comparison; highest risk is simultaneous satisfaction of the geometric hypotheses in the conjecture's exact regime.
No proof docket yet
A docket is the public record of checks and open questions. This paper does not have one yet; the check plan above describes work still to do.
Explore existing proof dockets →
- What it claims
- An explicit polynomial deformation of the unit three-ball has positive Ricci curvature and strictly convex boundary while violating Escobar's proposed first nonzero Steklov-eigenvalue lower bound.
- Why this could matter
- A nearly round ball challenges a spectral-geometry prediction Steklov eigenvalues measure how harmonic behavior inside a shape responds at its boundary. This explicit deformation of a three-dimensional ball appears to violate a curvature-and-boundary prediction, offering a sharp mathematical benchmark rather than a general wave-engineering result.
- If it holds up
- Foundational: spectral geometers gain a concrete counterexample showing that positive curvature and convexity do not guarantee the proposed Steklov bound.
- If it does not
- Escobar's proposed bound survives this attack, and the calculation exposes which geometric condition the candidate shape fails to satisfy.
- Impact horizon
- Foundational · Spectral geometry · Harmonic boundary response · Geometric analysis
- Version
- submitted 2026-08-25 23:09:03 UTC.
- Why we tracked it
- fresh explicit claimed counterexample; a bounded geometry-and-eigenvalue examination is available.
- Highest-risk dependency
- simultaneous satisfaction of the geometric hypotheses in the conjecture's exact regime.
- Available artifacts
- New Slack discovery packet; manuscript says the proof is human-verifiable; no separate formal/code artifact listed.
- Current boundary
- Intake record only; examination not started.