{
  "id": "kw19-fixedchar",
  "categoryId": "dlog-fixed-proven",
  "paperId": "kw19",
  "date": "2019-06-25",
  "datePrecision": "day",
  "time": {
    "coefficient": null,
    "expression": "(p n)^{2 log₂ n + O(1)} expected time, Q=p^n"
  },
  "space": {
    "coefficient": null,
    "expression": "Not extracted from the source"
  },
  "tags": [
    "unconditional",
    "quasi-polynomial"
  ],
  "review": {
    "status": "source-checked"
  },
  "certificate": {
    "status": "not-provided",
    "lean": null
  },
  "notes": "Proven expected-time bound for all finite fields of fixed characteristic. The factor 2 is retained in the expression; it is not converted into a generic 2^{cn} coefficient.",
  "extra": {},
  "evidence": {
    "url": "https://arxiv.org/abs/1906.10668",
    "locator": "Abstract",
    "sourceVersion": "Version available at the cited URL; bibliographic metadata and stated bound checked on 2026-11-08"
  }
}