Source authenticated

The Lee-Uhlmann conjecture: smooth anisotropic Calderon uniqueness in dimension at least three, from one boundary patch

Theorem 1.1: for n≥3n\ge3, compact connected smooth MM with smooth boundary and any nonempty proper relatively open Γ⊂∂M\Gamma\subset\partial M, if smooth metrics satisfy Λg1,Γ=Λg2,Γ\Lambda_{g_1,\Gamma}=\Lambda_{g_2,\Gamma} (energy form with input and output on Γ\Gamma), then g2=Φ∗g1g_2=\Phi^*g_1 for a smooth diffeomorphism with Φ∣Γ=Id\Phi|_\Gamma=\mathrm{Id}. Corollaries: full-boundary uniqueness, and uniqueness of smooth positive scalar conductivities on smooth Euclidean domains from one same-patch measurement. The October 5 companion adds a smooth unitary connection on a trivial Hermitian rank-two bundle, determined up to gauge fixed on the patch. Not shown: dimension two, nonsmooth metrics, stability estimates, or reconstruction.

Exact FrontierDelta

Prior state unknown→proved

Scope and record

Occurred: Sep 24, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: unreviewed. Publication: announcement. AI contribution: ai-discovered. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.

Canonical aliases: The Lee-Uhlmann conjecture: smooth anisotropic Calderon uniqueness in dimension at least three, from one boundary patch · Lee-Uhlmann anisotropic Calderon problem

Confidence: Not scored

Registry verification: unreviewed · announcement · candidate

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Unreleased internal OpenAI model
model · ai model contributor · OpenAI

Lineage and corrections

Lee-Uhlmann (1989), Determining anisotropic real-analytic conductivities by boundary measurements evidence for this event

The Lee-Uhlmann conjecture: smooth anisotropic Calderon uniqueness in dimension at least three, from one boundary patch evidence for this event

Theorem 1.1: for n≥3n\ge3, compact connected smooth MM with smooth boundary and any nonempty proper relatively open Γ⊂∂M\Gamma\subset\partial M, if smooth metrics satisfy Λg1,Γ=Λg2,Γ\Lambda_{g_1,\Gamma}=\Lambda_{g_2,\Gamma} (energy form with input and output on Γ\Gamma), then g2=Φ∗g1g_2=\Phi^*g_1 for a smooth diffeomorphism with Φ∣Γ=Id\Phi|_\Gamma=\mathrm{Id}. Corollaries: full-boundary uniqueness, and uniqueness of smooth positive scalar conductivities on smooth Euclidean domains from one same-patch measurement. The October 5 companion adds a smooth unitary connection on a trivial Hermitian rank-two bundle, determined up to gauge fixed on the patch. Not shown: dimension two, nonsmooth metrics, stability estimates, or reconstruction. parent of this event

This event attributed to Unreleased internal OpenAI model

Companion: Determination of a metric and a unitary connection from one boundary patch evidence for this event

The Lee-Uhlmann conjecture: smooth anisotropic Calderon uniqueness in dimension at least three, from one boundary patch parent of this event

VibeMathed record: The Lee-Uhlmann conjecture: smooth anisotropic Calderon uniqueness in dimension at least three, from one boundary patch evidence for this event

Act on this frontier

Verify, challenge, or extend the result.