# SDPE Paper 06 — Fresh Literature Notes

**Search date:** 2026-08-14  
**Scope:** primary sources supporting the distinction between measure collapse and structural elimination.

## 1. Wang–Zahl 2025 — Kakeya in three dimensions

Hong Wang and Joshua Zahl, **Volume estimates for unions of convex sets, and the Kakeya set conjecture in three dimensions**, arXiv:2502.17655.

They prove that every Kakeya set in $\mathbb R^3$ has Minkowski and Hausdorff dimension $3$. The proof is built around multiscale tube geometry and concentration restrictions.

**Use in SDPE P06:** external grounding that volume/measure behavior and structural/dimensional completeness are distinct questions.

**Not imported:** no Kakeya theorem is used to prove the internal SDPE measure no-go; the elementary SDPE counterexamples and closure-separating definitions are independent.

## 2. Chatzakou 2026 — full dimension with zero Lebesgue measure

Marianna Chatzakou, **On the Dimension of the CC-geodesic Kakeya sets in the first Heisenberg group**, arXiv:2607.26906.

The paper constructs a CC-geodesic Kakeya set of full Heisenberg Hausdorff dimension $4$ and zero Lebesgue measure, and also zero-Lebesgue-measure examples with much smaller Hausdorff dimension under fixed curvature.

**Use:** a recent primary example showing that zero Lebesgue measure alone does not determine structural dimension.

## 3. Moshchevitin–Shulga 2024 — measure-zero full-dimension Diophantine sets

Nikolay Moshchevitin and Nikita Shulga, **Dirichlet improvability in $L_p$-norms**, arXiv:2408.06200.

The paper studies natural Dirichlet-improvability sets and records measure-zero/full-Hausdorff-dimension regimes.

**Use:** external grounding for exceptional sets that are negligible for Lebesgue measure but large in Hausdorff dimension.

## 4. Relation to internal X-integral work

The internal X-integral series already separates source structure from measure projection and treats zero-measure/non-collapse as a pre-measure structural issue. Paper 06 translates that methodological distinction into SDPE proof semantics:

$$
\boxed{
\text{diagnostic size}
\neq
\text{closure certificate}.
}
$$

No claim is made that the internal X-integral terminology is an established external mathematical framework.

## 5. Literature conclusion

The fresh literature strongly supports the caution that measure, dimension, and structural richness may diverge. It does not supply the SDPE-specific concepts introduced here:

- closure-separating diagnostic;
- positive resolution gap for proof closure;
- source-preserving route measure certificate;
- relative theorem-language survivor core;
- exceptional-core hardening as a proof-search hypothesis.

Those are internal constructions of Paper 06.