{
  "id": "dl-haar26",
  "categoryId": "svp-haar",
  "paperId": "paper-b05644e2a691",
  "year": 2026,
  "date": "2026-09-26",
  "time": {
    "coefficient": 0.2924812503605781,
    "expression": "(3/2)^{n/2 + o(n)}"
  },
  "space": {
    "coefficient": 0.2075187496,
    "expression": "2^{0.2075187496 n + o(n)}"
  },
  "tags": [
    "Haar-random"
  ],
  "review": {
    "status": "source-checked"
  },
  "certificate": {
    "status": "not-provided",
    "lean": null
  },
  "notes": "Preprint claim for Haar-random unimodular lattices: exact SVP with success 1−o(1) over lattice and algorithm randomness. This is a distributional theorem, not an arbitrary-lattice worst-case theorem. Source checked; proof not independently audited.",
  "extra": {
    "norm": "Euclidean ℓ₂",
    "success": "1−o(1) over lattice and algorithm",
    "model": "Classical randomized; polynomial factors suppressed",
    "distribution": "Haar-random unimodular lattices",
    "reference": "DL26"
  }
}