{
  "id": "hps13-corrected-aks-birthday",
  "categoryId": "svp-provable",
  "paperId": "hanrot-pujol-stehle-2011",
  "date": "2013-12-31",
  "datePrecision": "year",
  "year": 2013,
  "time": {
    "coefficient": 2.648,
    "expression": "2^{2.648 n + o(n)}"
  },
  "space": {
    "coefficient": 1.325,
    "expression": "2^{1.325 n + o(n)}"
  },
  "tags": [
    "classical",
    "provable",
    "arbitrary lattices"
  ],
  "review": {
    "status": "source-checked"
  },
  "certificate": {
    "status": "not-provided",
    "lean": null
  },
  "notes": "Corrected birthday-paradox analysis at γ ≈ 0.609 and ξ = 1. This replaces the obsolete 2.571/1.407 pair still repeated in some later literature. The coefficients are dated to the corrected 2013 source, not automatically to the original 2011 proceedings chapter. This is a historical variant, not an improvement over the 2009 ListSieveBirthday time record.",
  "extra": {
    "norm": "Euclidean ℓ₂",
    "success": "At least 1/2 − o(1); polynomial repetition amplifies",
    "model": "Classical; polynomial input-size factors suppressed"
  },
  "evidence": {
    "url": "https://perso.ens-lyon.fr/damien.stehle/downloads/SVPCVP.pdf",
    "locator": "§4.1 birthday discussion, PDF p. 17; Appendix A, final paragraph, PDF p. 33",
    "sourceVersion": "Corrected version – 02/01/2013"
  }
}