{
  "abstract": "For the zero-temperature weakly interacting Bose gas, the Bogoliubov static structure factor is SB = ε0/εB = k/√(ks2+k2), with ks = 2mc/ℏ. Every claim is filed in an Elenchus claim ledger with tiers A (kernel-checked Lean), L (cited literature, quoted verbatim), C (human argument, not machine-checked) and X (floating-point exploration, which never supports a claim). Tier A (Lean v4.34.0-rc2 in the QuantumFluids project environment, importing its DualLength module; axioms within propext, Classical.choice, Quot.sound; planted sorry and planted-axiom controls caught). 26 statements about the model formulas: the envelope SB ≤ √(k/2ks), with equality exactly at k = ks; strict monotonicity; the two-sided phonon bound k/(ks+k) < SB < k/ks; SB < 1, 1 − SB ≤ ks2/k2, and SB → 1; a one-sided diffraction test: a structure factor above the envelope is not SB; and, given Feynman's inequality as an explicit hypothesis, the dispersion is then not Bogoliubov. The test's controls are kernel-checked: it fires on S = 1 and never fires on SB. The Bijl–Feynman identities hold by construction, because SB is defined as ε0/εB. Nothing in this paper depends on the openai/math release. A step-by-step human demonstration for undergraduates pairs each step with its Lean statement. Tier X: a new linear-response module in the rusty-SUNDIALS crate qf-gpe2d recovers the Bogoliubov dispersion from Gross–Pitaevskii dynamics to 4.1e-5 relative error. All 14 numeric gates pass, including g = 0 and splitting negative controls. We also found that the pinned upstream Python reference data are reproduced (to 2.5e-16) by a reused-phase composition, not by the symmetric Strang step; the upstream source itself was not inspected. The crate's own step/evolve use the same composition. In linear response its amplitude converges only at first order. A true Strang option fixes this. Real data: from the published 4He dispersion table (Godfrin et al., Tier L), the roton threshold is √(QR/2ks) = 0.5662. Assuming Feynman's inequality, the dispersion alone shows the test silent for k ≤ 0.90 Å−1 (Tier X evaluation). From 0.95 Å−1 upward, including the roton, it cannot decide. We do not claim that the 4He roton peak exceeds the threshold. HuggingFace (unmet deliverable): the task asked for a HuggingFace dataset to illustrate the result, and that was not delivered. 30 queries found no structure-factor dataset; the single neutron-diffraction hit is out of scope, and nothing was substituted. The published 4He table, which is not on HuggingFace, is the real-data illustration instead. Tier L here covers verbatim data values and quotes, which is looser than the Elenchus L tier (theorem statements only). No novelty is claimed in mathematics or physics: the core inequality is (k − ks)2 ≥ 0. Statement adequacy has been reviewed by AI agents only. The ledger gate reports 0 blocking findings and 8 flags (Tier A rows not audited by a person). The work was produced by AI agents (Claude) under the author's direction; the author is responsible for the content.",
  "abstract_shown": true,
  "affiliations": [
    "SocrateAI Lab"
  ],
  "article_type": null,
  "arxiv": null,
  "author_total": 1,
  "authors": [
    {
      "affs": [
        0
      ],
      "name": "Xavier Callens"
    }
  ],
  "bibtex": "https://research.draconitic.com/paper/5689h5g6h7b2j.bib",
  "cited_by": 6,
  "doi": "10.5281/zenodo.23646116",
  "fulltext_url": null,
  "id": "5689h5g6h7b2j",
  "issns": [],
  "landing_url": "https://doi.org/10.5281/zenodo.23646116",
  "language": "en",
  "licence": "CC-BY",
  "licence_label": "CC BY",
  "licence_source": "journal",
  "licence_url": "https://creativecommons.org/licenses/by/4.0/",
  "metadata_licence": null,
  "native_subjects": [
    [
      "openalex",
      "3107|Cold Atom Physics and Bose-Einstein Condensates"
    ]
  ],
  "openalex": "W7223762157",
  "pdf_url": null,
  "pmcid": null,
  "pmid": null,
  "published": "2026-10-25",
  "publisher": "European Organization for Nuclear Research",
  "ris": "https://research.draconitic.com/paper/5689h5g6h7b2j.ris",
  "sources": [
    {
      "first_seen": "2026-10-30T13:26:43Z",
      "native_id": "W7223762157",
      "source": "openalex",
      "url": "https://doi.org/10.5281/zenodo.23646116"
    }
  ],
  "subjects": [
    {
      "field": "physics",
      "origin": "openalex:3107|Cold Atom Physics and Bose-Einstein Condensates",
      "subfield": "amo"
    }
  ],
  "title": "The Bogoliubov structure factor under the dual-scale envelope sqrt(k/2k_s): kernel-checked shape theorems, a one-sided diffraction test, and a Gross-Pitaevskii linear-response check in rusty-SUNDIALS",
  "title_text": "The Bogoliubov structure factor under the dual-scale envelope sqrt(k/2k_s): kernel-checked shape theorems, a one-sided diffraction test, and a Gross-Pitaevskii linear-response check in rusty-SUNDIALS",
  "type": "preprint",
  "updated_at": "2026-11-03T13:20:27Z",
  "url": "https://research.draconitic.com/paper/5689h5g6h7b2j",
  "venue": "Zenodo (CERN European Organization for Nuclear Research)",
  "versions": []
}