probability-statistics / Schramm-Loewner evolution; fractal geometry of random curves

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.

24Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

probability-statisticsSep 26, 2026Significance 24/100Registry: unreviewed

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

Prior state unknown→proved

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 exi…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

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.

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.

Recorded attempts

Evidence graph

Connected research record

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