{
  "schema_version": 1,
  "problem_number": "AMR-029-0044",
  "title": "Independent Arborescences in Acyclic Digraphs: The Path Condition Suffices for All Roots and All Convex Sets",
  "author": {
    "name": "Alper Ferudun",
    "affiliation": "Mercury Software GmbH",
    "url": "https://github.com/AlperTheKing"
  },
  "abstract": "Let D be a finite acyclic digraph with root-nodes r_1, ..., r_k, not necessarily distinct, and convex node sets U_1, ..., U_k with r_i ∈ U_i. The EGRES Open collection lists as open the question, proposed by S. Fujishige, N. Kamiyama and N. Katoh, whether there are independent r_i-arborescences F_i with V(F_i) = U_i if and only if for every vertex v there are pairwise openly node-disjoint paths from r_i to v, one for each i with v ∈ U_i. This is Question 2 of Frank, Fujishige, Kamiyama and Katoh (Discrete Math. 313 (2013)) restricted to acyclic digraphs; their paper proves three cases and does not treat the general acyclic case. We prove that the answer is yes, for all finite acyclic digraphs (parallel arcs allowed), all roots and all convex sets, in the reading of the 2013 paper: the open node-disjointness of the EGRES problem page is used for the paths and for the root paths of the arborescences. With different notions on the two sides the equivalence fails for trivial reasons. Both conditions are equivalent to a local one, a bipartite matching problem at every vertex. The proof assigns to every vertex a real vector, chosen along a topological order by a minimum-cost assignment of the entering arcs and a strictly feasible dual solution; for two sets this is the classical ordering argument. We make no claim that the method is new: it was not found in the texts we read, among them Huck's paper of 1999 on spanning arborescences, whose proof removes one arborescence at a time; the dissertation of A. Hoyer (2019) was not accessible to us beyond its abstract. The equivalence is also proved for the weaker disjointness of Kamiyama's survey, which gives the same conditions on simple digraphs. The statement is false without convexity, and for digraphs with directed cycles (Huck 1995, known to us through the 2013 paper). No answer to the question was found in the literature accessible to us; a search that finds nothing is not a proof of novelty. Computations, among them one that covers all instances with at most seven vertices and three sets, are tests and no part of the proof. This is an unrefereed note.",
  "result_type": "COMPLETE_PROOF",
  "categories": [
    "math.CO",
    "cs.DM"
  ],
  "keywords": [
    "independent arborescences",
    "acyclic digraphs",
    "convex sets",
    "openly node-disjoint paths",
    "vertex-disjoint paths",
    "branchings",
    "bipartite matching",
    "assignment problem",
    "potentials",
    "EGRES Open",
    "UnsolvedMath",
    "AMR-029-0044",
    "math.CO",
    "cs.DM",
    "open mathematics"
  ],
  "manuscript_version_date": "2026-10-11",
  "publication_date": "2026-10-11",
  "publication_date_kind": "first public online release",
  "version": "1.0",
  "date_modified": "2026-10-11",
  "presentation_revision_only": false,
  "doi_archived_file_version": "1.0",
  "status": "unrefereed preprint",
  "canonical_url": "https://eulersolve.org/papers/amr-029-0044/",
  "pdf_url": "https://eulersolve.org/papers/amr-029-0044/paper.pdf?v=7d97de87a09b",
  "doi": "10.5281/zenodo.23301199",
  "zenodo_record_url": "https://zenodo.org/records/23301199",
  "license": "https://creativecommons.org/licenses/by/4.0/",
  "scope_caveat": "Answers the question of the EGRES Open collection (proposed by S. Fujishige, N. Kamiyama and N. Katoh; Question 2 of Frank, Fujishige, Kamiyama and Katoh, Discrete Math. 313 (2013), restricted to acyclic digraphs) in the affirmative, in the reading of the 2013 paper: one notion of open node-disjointness on both sides. Known cases are the three cases of the 2013 paper and the two theorems of Huck (1999). No claim is made that the method is new; for two sets it is the classical ordering argument. The dissertation of A. Hoyer (2019) was not accessible to us beyond its abstract, and novelty is not certified. Not treated: digraphs with directed cycles, the Steiner version, and sets that are not convex. Computations are tests and no part of the proof.",
  "files": {
    "paper.pdf": {
      "sha256": "7d97de87a09b319b491283cf9bada6869bde2cb1191c9d35c90a126f05b1124b"
    },
    "source.zip": {
      "sha256": "f1b6dac2d089db45027f4d1cc14c0bd384f2c23fd4e16386494a904e5bbeac70"
    },
    "verification_report.md": {
      "sha256": "8aaea222fb8f591bd40f8ff5b8c899d4b020a0e72df2422f2c453a73edb85cb4"
    }
  },
  "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."
}