{
  "schema_version": 1,
  "problem_number": "OWR-4530-006",
  "title": "Positive Recurrence of the Two-Chunk Deterministic First Chunk System: A Stable Population Process with an Unstable Large System Limit",
  "author": {
    "name": "Alper Ferudun",
    "affiliation": "Mercury Software GmbH",
    "url": "https://github.com/AlperTheKing"
  },
  "abstract": "In Oberwolfach Report 48/2010, I. Norros (joint work with H. Reittu) considered the two-chunk Deterministic First Chunk (DFC) file-sharing system of Norros, Reittu and Eirola, in which one permanent seed holds both chunks and arriving peers choose by a fair coin the chunk they download first. The large system limit of this population process is not stable, but the stochastic system was conjectured, on simulation evidence, to be stable; if so, instability of a population process cannot be inferred from instability of its large system limit. We prove the conjecture for the chain defined in Fig. 2 of arXiv:0910.5577v1, whose contact population consists of the seed and the peers holding one chunk: for every arrival rate λ > 0 this chain on N^4 is irreducible, non-explosive and positive recurrent. Hence DFC is a stable population process whose large system limit is not stable; the theorem also refutes Conjecture 3.4 of arXiv:0910.5577v1 (instability for large λ). The proof is an explicit Foster–Lyapunov function with drift at most −1/2 outside an explicit finite set; the constants are crude. The mechanism is an exact identity: the difference Q between the two classes of peers has drift (X − Y)/(X + Y + 1), a term of order one that comes from the seed alone; it vanishes in the large system scaling, where Q becomes a first integral. The model, its large system limit and the instability of the limit are due to Norros, Reittu and Eirola, the question to Norros and Reittu. The variant in which empty peers are contacted as well (contact population A + B + X + Y + 1) is not covered and remains open. This is an unrefereed note.",
  "result_type": "COMPLETE_PROOF",
  "categories": [
    "math.PR"
  ],
  "keywords": [
    "peer-to-peer file sharing",
    "two-chunk systems",
    "Deterministic First Chunk system",
    "population processes",
    "large system limit",
    "positive recurrence",
    "Foster–Lyapunov function",
    "continuous-time Markov chains",
    "Oberwolfach Reports problems",
    "UnsolvedMath",
    "OWR-4530-006",
    "math.PR",
    "cs.NI",
    "open mathematics"
  ],
  "manuscript_version_date": "2026-10-20",
  "publication_date": "2026-10-20",
  "publication_date_kind": "first public online release",
  "version": "1.0",
  "date_modified": "2026-10-20",
  "presentation_revision_only": false,
  "doi_archived_file_version": "1.0",
  "status": "unrefereed preprint",
  "canonical_url": "https://eulersolve.org/papers/owr-4530-006/",
  "pdf_url": "https://eulersolve.org/papers/owr-4530-006/paper.pdf?v=7541af9f4582",
  "doi": "10.5281/zenodo.23486809",
  "zenodo_record_url": "https://zenodo.org/records/23486809",
  "license": "https://creativecommons.org/licenses/by/4.0/",
  "scope_caveat": "Proved for the chain of Fig. 2 of Norros-Reittu-Eirola (arXiv v1); it refutes their Conjecture 3.4.",
  "files": {
    "paper.pdf": {
      "sha256": "7541af9f4582c444b7054d7588cb9ea9002059186c0f8eaac63faf73e22be70b"
    },
    "source.zip": {
      "sha256": "53c9c2d25589fb240d47b57b1698d2d96669c4c105310773c1a08cb5061d66dc"
    },
    "verification_report.md": {
      "sha256": "f16aef43e3660f50b29175afb11c72fffdb65b2c6ba38c8813489f4e17abb5a8"
    }
  },
  "ai_use_disclosure": "AI-assisted tools supported research, computation, proof development, and manuscript preparation. The author remains responsible for all claims and the final text."
}