[
  {
    "id": "ghh26-dgs-smoothing-one",
    "categoryId": "dgs-smoothing-single",
    "paperId": "paper-fd038bb9c63f",
    "year": 2026,
    "date": "2026-11-03",
    "datePrecision": "day",
    "time": {
      "coefficient": 0.2924812503605781,
      "expression": "(3/2)^{n/2+o(n)}"
    },
    "space": {
      "coefficient": 0.20751874963942188,
      "expression": "(4/3)^{n/2+o(n)}"
    },
    "tags": [
      "classical",
      "provable",
      "worst case",
      "DGS",
      "shifted",
      "above smoothing",
      "single sample"
    ],
    "review": {
      "status": "source-checked"
    },
    "certificate": {
      "status": "not-provided",
      "lean": null
    },
    "notes": "Exact logarithmic coefficients are used rather than rounded 0.292/0.208. This theorem concerns widths above smoothing.",
    "extra": {
      "width": "s >= alpha eta_{1/2}(L), any fixed alpha > 1",
      "output": "One sample on any rational shift L+a",
      "error": "TV <= exp(-Omega(n/log^{2+xi}(n+2))), fixed xi > 0",
      "model": "Randomized word RAM; time and bit space bounded on every execution"
    },
    "evidence": {
      "url": "https://arxiv.org/abs/2611.04336v1",
      "locator": "Theorem 1.1, printed p. 6",
      "sourceVersion": "arXiv:2611.04336v1, 3 November 2026; first ePrint release 30 October not inspected separately"
    }
  }
]