Source authenticated

Schramm's Hausdorff-measure problem for SLE: an exact gauge function for the chordal SLE trace, 0 < kappa < 8

For fixed 0<κ<80<\kappa<8, d=1+κ/8d=1+\kappa/8, the gauge h(r)=rd(log⁡log⁡(1/r))(2−d)/2h(r)=r^d(\log\log(1/r))^{(2-d)/2} satisfies almost surely 0<Hh(γ([s,t]))<∞0<\mathcal H^h(\gamma([s,t]))<\infty for all 0<s<t<∞0<s<t<\infty, and EHh(Γ∩B‾(0,R))<∞\mathbb E\mathcal H^h(\Gamma\cap\overline B(0,R))<\infty. Corollary 1.2: Schramm's suggested gauge rdlog⁡log⁡(1/r)r^d\log\log(1/r) is not sigma-finite on any such segment, so the exponent he proposed is wrong. The September 25 companion first proved existence of an exact (non-closed-form) gauge. Not addressed: κ≥8\kappa\ge8, whether the two gauges are equivalent, and the relation of Hh\mathcal H^h to natural parametrization or Minkowski content.

Exact FrontierDelta

Prior state unknown→proved

Scope and record

Occurred: Sep 26, 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: Schramm's Hausdorff-measure problem for SLE: an exact gauge function for the chordal SLE trace, 0 < kappa < 8 · Exact Hausdorff gauge for SLE

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

Artifacts and verifiers

Lean (lower positivity only): OAI/Probability/SLE/LowerPositivity.lean

lean artifact · pending

Artifact ↗

Compute record

No linked compute attempts recorded.

Lineage and corrections

Schramm, Conformally invariant scaling limits: an overview and a collection of problems evidence for this event

Schramm's Hausdorff-measure problem for SLE: an exact gauge function for the chordal SLE trace, 0 < kappa < 8 parent of this event

This event attributed to Unreleased internal OpenAI model

For fixed 0<κ<80<\kappa<8, d=1+κ/8d=1+\kappa/8, the gauge h(r)=rd(log⁡log⁡(1/r))(2−d)/2h(r)=r^d(\log\log(1/r))^{(2-d)/2} satisfies almost surely 0<Hh(γ([s,t]))<∞0<\mathcal H^h(\gamma([s,t]))<\infty for all 0<s<t<∞0<s<t<\infty, and EHh(Γ∩B‾(0,R))<∞\mathbb E\mathcal H^h(\Gamma\cap\overline B(0,R))<\infty. Corollary 1.2: Schramm's suggested gauge rdlog⁡log⁡(1/r)r^d\log\log(1/r) is not sigma-finite on any such segment, so the exponent he proposed is wrong. The September 25 companion first proved existence of an exact (non-closed-form) gauge. Not addressed: κ≥8\kappa\ge8, whether the two gauges are equivalent, and the relation of Hh\mathcal H^h to natural parametrization or Minkowski content. parent of this event

Companion: An exact Hausdorff gauge for SLE (Sept 25, 2026) evidence for this event

Schramm's Hausdorff-measure problem for SLE: an exact gauge function for the chordal SLE trace, 0 < kappa < 8 evidence for this event

Lean (lower positivity only): OAI/Probability/SLE/LowerPositivity.lean evidence for this event

VibeMathed record: Schramm's Hausdorff-measure problem for SLE: an exact gauge function for the chordal SLE trace, 0 < kappa < 8 evidence for this event

Act on this frontier

Verify, challenge, or extend the result.