{
  "as_of": "2026-09-07",
  "references": [
    {
      "title": "Elementary Analytic Methods lecture notes, Proposition 8.3",
      "author": "Adam J. Harper",
      "year": 2026,
      "role": "Selberg remainder symmetry formula R(x)+sum Lambda(n)R(x/n)/log x=O(x/log x)"
    },
    {
      "title": "Higher uniformity of arithmetic functions in short intervals II. Almost all intervals",
      "authors": [
        "Kaisa Matomäki",
        "Maksym Radziwiłł",
        "Xuancheng Shao",
        "Terence Tao",
        "Joni Teräväinen"
      ],
      "venue": "Inventiones Mathematicae 244 (2026), 967-1091",
      "doi": "10.1007/s00222-026-01408-6",
      "role": "Current Lambda-sharp residual control with arbitrary logarithmic accuracy"
    },
    {
      "title": "Ideas in the elementary proof of the prime number theorem (Selberg / Erdos)",
      "author": "Terence Tao et al.",
      "venue": "MathOverflow",
      "year": 2017,
      "role": "Generalized von Mangoldt functions Lambda_k and recursion Lambda_{k+1}=Lambda_k log + Lambda*Lambda_k"
    }
  ]
}