{
  "id": "am18-exact-infinity",
  "categoryId": "svp-infinity-provable",
  "paperId": "aggarwal-mukhopadhyay-2018-infinity",
  "date": "2018-05-15",
  "datePrecision": "day",
  "year": 2018,
  "time": {
    "coefficient": 2.82,
    "expression": "2^{2.82 n + o(n)}"
  },
  "space": {
    "coefficient": 2.82,
    "expression": "2^{2.82 n + o(n)}"
  },
  "tags": [
    "classical",
    "provable",
    "arbitrary lattices",
    "ℓ∞"
  ],
  "review": {
    "status": "source-checked"
  },
  "certificate": {
    "status": "not-provided",
    "lean": null
  },
  "notes": "Exact ℓ∞-SVP using the birthday variant, with γ = 0.67 and ξ = 0.868. The coefficient was checked in v2; the row conservatively uses that version’s 15 May 2018 arXiv date rather than assuming it was already in v1 on 8 January. It is not a Euclidean-SVP coefficient.",
  "extra": {
    "norm": "ℓ∞",
    "success": "At least 1/2",
    "model": "Classical; polynomial input-size factors suppressed"
  },
  "evidence": {
    "url": "https://arxiv.org/pdf/1801.02358",
    "locator": "Theorem 3.2 and its explicit parameter specialization, PDF p. 17",
    "sourceVersion": "arXiv:1801.02358v2, 15 May 2018"
  }
}