{
  "schema_version": 1,
  "problem_number": "OWR-9790365-007",
  "title": "A Sharp Gaussian Log-Partition Bound for Mutual Information",
  "author": {
    "name": "Alper Ferudun",
    "affiliation": "Mercury Software GmbH",
    "url": "https://github.com/AlperTheKing"
  },
  "abstract": "Let X have an arbitrary Borel probability law mu on R^n, and let N be an independent standard Gaussian. We prove that I(X;X+N) is at most the Gaussian expectation of log integral exp(<z,x>) mu(dx). The constant one is optimal; no moment, centering, or log-concavity assumption is required. Caffarelli's contraction theorem, applied from the Gaussian convolution to standard Gaussian measure, gives a coupling whose correlation is at least twice the channel mutual information. The conditional Gibbs inequality proves the bound, and conditional truncation handles arbitrary input laws. This answers the first numbered question in Jingbo Liu's contribution to Oberwolfach Report 14/2022, page 695. The separate generalized dual Sudakov question is not addressed. This is an unrefereed preprint; no absolute priority or formal-verification claim is made.",
  "result_type": "COMPLETE_PROOF",
  "categories": [
    "math.PR",
    "cs.IT"
  ],
  "keywords": [
    "mutual information",
    "Gaussian channel",
    "log-partition function",
    "optimal transport",
    "Caffarelli contraction",
    "OWR-9790365-007"
  ],
  "manuscript_version_date": "2026-10-18",
  "publication_date": "2026-10-18",
  "publication_date_kind": "first public online release",
  "version": "1.0",
  "date_modified": "2026-10-18",
  "presentation_revision_only": false,
  "doi_archived_file_version": "1.0",
  "status": "unrefereed preprint",
  "canonical_url": "https://eulersolve.org/papers/owr-9790365-007/",
  "pdf_url": "https://eulersolve.org/papers/owr-9790365-007/paper.pdf?v=c3c890a5ea59",
  "doi": "10.5281/zenodo.23442697",
  "zenodo_record_url": "https://zenodo.org/records/23442697",
  "license": "https://creativecommons.org/licenses/by/4.0/",
  "scope_caveat": "Complete analytic proof of the first numbered question, with optimal constant 1 for arbitrary Borel probability laws. The second generalized dual Sudakov question is not addressed; the bundled source entry remains PARTIALLY_SOLVED. AI-assisted, self-audited and unrefereed; no independent review, formal certification or absolute-priority claim.",
  "files": {
    "paper.pdf": {
      "sha256": "c3c890a5ea5922f6dfec84458f6ace80e885de097e37a7a88d153cd4e18ebab9"
    },
    "source.zip": {
      "sha256": "8039f34474e9d6ea9857b4e50deaa33c45ed55ae2b5274060cee2e85a9e752e6"
    },
    "verification_report.md": {
      "sha256": "b6d59aefef2b41f6a51c95fb4ae7c67a2af0dc91ef86acce871ed423db1d0169"
    }
  },
  "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."
}