{
  "id": "exact-quantum-factoring",
  "title": "Exact quantum factoring",
  "description": "A polynomial-time uniform family of quantum circuits over one fixed finite gate set (NOT, CNOT, Toffoli, the Hadamard gate and the phase gate S, with their inverses and singly controlled versions) outputs the complete prime factorization of every integer N ≥ 2 with probability one. A transform with a piecewise-linear phase replaces the Fourier transform of order finding; exact power sums and classical corrections make the probability of the true order explicit; a factoring process produces, with the factorization, verifiable factorizations of p − 1 from which the probabilities of all its steps are computed after the run; filters computed afterwards make the success probability exactly one quarter, and one step of amplitude amplification gives certainty. The course is an exposition of OpenAI's construction (2026), with a deterministic primality test of Agrawal–Kayal–Saxena type.",
  "units": [
    {
      "id": "exact-circuits-and-dyadic-probabilities",
      "title": "Exact circuits and dyadic probabilities",
      "reader": "exact-circuits-and-dyadic-probabilities.html",
      "source": "src/exact-circuits-and-dyadic-probabilities.md",
      "source_sha256": "405bc92e6dd76a70367f3d09545a1ee9ce7da5778aad7eb05bcaa129342a8617",
      "status": "author_self_checked"
    },
    {
      "id": "a-transform-with-a-piecewise-linear-phase",
      "title": "A transform with a piecewise-linear phase",
      "reader": "a-transform-with-a-piecewise-linear-phase.html",
      "source": "src/a-transform-with-a-piecewise-linear-phase.md",
      "source_sha256": "cf5d3a3a75d0b05301ccb56f2e067793b5771a5fe886865e7d7191079ba0625e",
      "status": "author_self_checked"
    },
    {
      "id": "an-order-trial-with-prescribed-probability",
      "title": "An order trial with prescribed probability",
      "reader": "an-order-trial-with-prescribed-probability.html",
      "source": "src/an-order-trial-with-prescribed-probability.md",
      "source_sha256": "68a55981b186b4f352d1f8d4a759e0f807e81d96126db7352708bf7deffc5f8f",
      "status": "author_self_checked"
    },
    {
      "id": "a-deterministic-primality-test",
      "title": "A deterministic primality test",
      "reader": "a-deterministic-primality-test.html",
      "source": "src/a-deterministic-primality-test.md",
      "source_sha256": "8e1bdfb7b799acc72669e2370b76707be7e9b74d1189730143a36ec73f57aa45",
      "status": "author_self_checked"
    },
    {
      "id": "factoring-with-verifiable-auxiliary-data",
      "title": "Factoring with verifiable auxiliary data",
      "reader": "factoring-with-verifiable-auxiliary-data.html",
      "source": "src/factoring-with-verifiable-auxiliary-data.md",
      "source_sha256": "fcb4e0863c841a407d19a7c52fb378daf2266717cd1e7ac9590a4acf1ebcc178",
      "status": "author_self_checked"
    },
    {
      "id": "certain-output-from-deferred-filters",
      "title": "Certain output from deferred filters",
      "reader": "certain-output-from-deferred-filters.html",
      "source": "src/certain-output-from-deferred-filters.md",
      "source_sha256": "8669b19ac26cc9fdc2f5a648cb878781a1206798421e3ddd7da830a196dd86f0",
      "status": "author_self_checked"
    }
  ],
  "prerequisites": [
    "finite-dimensional complex inner product spaces: unitary maps, orthogonal projections, tensor products",
    "core course Abstract Algebra I (Judson): the integers (Theorem 2.2.7), Lagrange's theorem (Corollary 6.2.3), units modulo m (Theorems 6.3.1 and 6.3.3), orders in direct products (Corollary 9.2.6)",
    "core course Abstract Algebra II (Judson): the Chinese remainder theorem (Theorem 16.5.3), roots of polynomials over a field (Corollary 17.2.4), extension fields (Theorem 21.1.5), finite fields (Lemma 22.1.3 and Corollary 22.1.11)",
    "elementary real analysis: integration by parts, Riemann sums of Lipschitz functions"
  ],
  "status": "author_self_checked",
  "proof_providers": "providers.json",
  "provenance": "provenance.json",
  "licence": "CC0-1.0"
}