A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
Joint metric and connection recovery from one boundary patch
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Hamilton's Revenge <<<

LOADING...
0%
thinking... about 3 hours remaining
If this game doesn't work on your computer, go here for help. (Lean version available!)
expertly designed by an internal OpenAI model

Difficulty:🧠🧠🧠🧠🧠 Ages:13 - ∞
Skills:fluids, heat, waves Levels:3
Category:Partial differential equations Lean version:YES! ✔
Rate this game! 4.0 out of 5 (5,241 votes)

>>> How to Play <<<
Joint metric and connection recovery from one boundary patch. Zero-frequency measurements on any nonempty open boundary patch determine a smooth metric and smooth unitary connection on a trivial Hermitian rank-two bundle over a compact connected manifold of dimension at least three, up to diffeomorphism and gauge fixed on that patch. Inputs and observations use the same patch. In contrast, distinct uniformly positive bounded measurable scalar conductivities on a three-dimensional ball can have identical full-boundary data.

>>> Level Select <<<
released 2026-10-05  |  1 theorem · 16 lemmas · 30 proofs · 22,885 words  |  PLAY LEVEL 1 »  (pdf)
We prove that zero-frequency boundary measurements on any nonempty open boundary patch determine both a smooth Riemannian metric and a smooth unitary connection on the trivial Hermitian rank-two bundle over a compact connected smooth manifold of dimension at least three with smooth boundary. Both inputs and observations are restricted to the same patch. The metric and connection are determined up to a diffeomorphism and a unitary gauge that restrict to the identity on the measured patch.
released 2026-09-24  |  2 theorems · 12 lemmas · 24 proofs · 20,078 words  |  PLAY LEVEL 2 »  (pdf)
We resolve the smooth anisotropic Calderón uniqueness problem with arbitrary same-patch measurements. A smooth Riemannian metric on a compact connected manifold of dimension at least three is determined, up to a diffeomorphism fixing the measured patch, by its zero-frequency Dirichlet-to-Neumann energy form with both input and observation on any nonempty open boundary patch.
released 2026-09-23  |  2 theorems · 12 lemmas · 17 proofs · 15,866 words  |  PLAY LEVEL 3 »  (pdf)
We construct two distinct uniformly positive bounded measurable scalar conductivities on a ball in ℝ3 with the same full Dirichlet-to-Neumann operator. Both conductivities equal one near the boundary. This gives nonuniqueness in the scalar Calderón problem at bounded measurable regularity.

More Partial differential equations Games!
Stable blowup for a defocusing Schrödinger equationGlobal uniqueness in smooth isotropic elasticityNonattainment in three-marginal Coulomb transportSharp one-third stability of optimal transport maps
De Giorgi's conjecture in dimension eight HOT!Universal computation in forced Navier–Stokes flows HOT!Interior $C^{1,\alpha}$ regularity for infinity-harmonic functionsGlobal smoothness for relativistic Vlasov–Maxwell HOT!

Cool Links: openai/math   Lean   Mathlib   arXiv   the real Coolmath Games