{
  "schema_version": 1,
  "problem_number": "OWR-16766-004",
  "title": "A Negative Answer to the Kadu–van Leeuwen Conjecture on Dual Binary Tomography",
  "author": {
    "name": "Alper Ferudun",
    "affiliation": "Mercury Software GmbH",
    "url": "https://github.com/AlperTheKing"
  },
  "abstract": "Kadu and van Leeuwen proposed to reconstruct a binary image from line sums by solving the Lagrange dual of the least-squares problem and reading off the sign of its numerically computed solution, where zeros mark undetermined pixels. From exhaustive experiments with images of up to 4 × 4 pixels and two to four directions they conjectured, for noiseless data and every image size, that this retrieves the unique binary solution if there is one and the intersection of all binary solutions otherwise. We show that the conjecture is false. In the noiseless case the exact dual optimum is zero, so the conjecture is a statement about numerically computed solutions, and the only pixels such a solution can certify are those that take the same value on the whole solution set Q of the box relaxation. A 5 × 5 image with six ones has a unique binary solution for rows, columns and diagonals, but Q is a segment with a half-integral endpoint and only 14 of the 25 pixels are fixed on it. Padding gives such images for every n ≥ 5; with four directions the first failure is at 6 × 6. The second statement already fails inside the tested range, for exactly 448 of the 65536 images of size 4 × 4 with rows, columns and diagonals. In computations through CVXPY (not the authors' MATLAB and CVX stack), the interior-point solvers Clarabel, ECOS and PIQP return the pattern of the fixed pixels, with zeros elsewhere, or a full sign pattern with a wrong sign; of 61 solver runs (eight solvers) that returned a solution on the 5 × 5 image, none returns the image. Two directions give a totally unimodular system, and the fixed-pixel form of the conjecture holds for them at every size. That uniqueness among binary solutions does not imply uniqueness among fractional solutions is known from work of Fishburn, Schwander, Shepp and Vanderbei; what is new here is the explicit refutation of this conjecture. This is an unrefereed note.",
  "result_type": "COMPLETE_COUNTEREXAMPLE",
  "categories": [
    "math.OC"
  ],
  "keywords": [
    "binary tomography",
    "discrete tomography",
    "Lagrange dual",
    "convex relaxation",
    "interior-point method",
    "counterexample",
    "Oberwolfach Reports",
    "OWR-16766-004",
    "math.OC",
    "eess.IV",
    "open mathematics"
  ],
  "manuscript_version_date": "2026-10-02",
  "publication_date": "2026-10-02",
  "publication_date_kind": "first public online release",
  "version": "1.0",
  "date_modified": "2026-10-02",
  "presentation_revision_only": false,
  "doi_archived_file_version": "1.0",
  "status": "unrefereed preprint",
  "canonical_url": "https://eulersolve.org/papers/owr-16766-004/",
  "pdf_url": "https://eulersolve.org/papers/owr-16766-004/paper.pdf?v=b374bbc76792",
  "doi": "10.5281/zenodo.23110494",
  "zenodo_record_url": "https://zenodo.org/records/23110494",
  "license": "https://creativecommons.org/licenses/by/4.0/",
  "scope_caveat": "Refutes Conjecture 1 of Kadu and van Leeuwen (OWR 4/2019, p. 258) for the dual approach to noiseless binary tomography: a 5x5 image with a unique binary solution for rows, columns and diagonals whose box relaxation fixes only 14 of 25 pixels, failures for every n >= 5 and at 4x4 for the intersection statement. The exact dual optimum is zero, so the statement concerns numerically computed solutions; solver runs used CVXPY (not the authors' MATLAB/CVX stack). That unique binary solutions need not be unique among fractional ones is due to Fishburn, Schwander, Shepp and Vanderbei (1997). The conjecture holds for two directions (total unimodularity).",
  "files": {
    "paper.pdf": {
      "sha256": "b374bbc76792418e60fa96a329a5ae6b6f5e596b12b5572b69466d6467bab43b"
    },
    "source.zip": {
      "sha256": "a1649a1c96877ba7ef9cee94817509cbc6e2a7c9c3762a2d9bd1f06e05e32310"
    },
    "verification_report.md": {
      "sha256": "d21284beda94c727ec1c72e5610446bd09ab9b91000e2be1247ac7bb7ccd3362"
    }
  },
  "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."
}