{"schema_version":"source-reader-v1","record":{"source_id":"hompe-huynh-rainbow","versions":[{"work":{"authors":["Patrick Hompe","Tony Huynh"],"kind":"research_paper","publication":"published","publication_note":"Source-backed selection; publication and proof assessment are separate.","ai_role":"not_reported","ai_note":"AI use is not reported in the selected source.","artifacts":[],"published":{"value":"2025-05"}},"id":"hompe-huynh-rainbow@arxiv-2212.05697v4","source_id":"hompe-huynh-rainbow","title":"Aharoni’s rainbow cycle conjecture holds up to an additive constant","owner":"Patrick Hompe; Tony Huynh","url":"https://arxiv.org/abs/2212.05697v4","subject_scope":"Aharoni’s rainbow cycle conjecture holds up to an additive constant","revision":"arxiv-2212.05697v4","content_sha256":null,"update_method":"Manual source review; publish new observations with immutable versions","identifier_policy":"Source revision plus exact passage or declaration; no fuzzy identity merge","observed_on":"2026-10-12","source_updated_on":null,"rights":"metadata-link","license":"Metadata, links and original OpenMath paraphrases only","terms_url":"https://arxiv.org/abs/2212.05697v4","attribution":"Patrick Hompe; Tony Huynh","rights_note":"Follow the original source for authoritative statements and reuse terms.","check_interval_days":90}],"entries":[{"id":"caccetta-haggkvist:entry:rainbow-additive:v1","source_version_id":"hompe-huynh-rainbow@arxiv-2212.05697v4","item_id":"Corollary 1.8; r = 1 discussed in its proof","url":"https://arxiv.org/abs/2212.05697v4","wording":"For each fixed positive integer r, the authors prove a rainbow cycle bound n/r + α_r, with a constant depending on r and growth O(r⁵ log² r). This leaves the sharp ceiling bound unresolved.","wording_kind":"paraphrase","locator":"Corollary 1.8; r = 1 discussed in its proof","supersedes":null},{"id":"caccetta-haggkvist:entry:rainbow:v1","source_version_id":"hompe-huynh-rainbow@arxiv-2212.05697v4","item_id":"§1, Conjectures 1.1 and 1.3; reduction following Conjecture 1.3","url":"https://arxiv.org/abs/2212.05697v4","wording":"The rainbow conjecture asks for a cycle with distinct edge colors and length at most ⌈n/r⌉ when n color classes in a simple n-vertex graph each have at least r edges. Coloring directed edges by their tails shows this would imply the Caccetta–Häggkvist conjecture.","wording_kind":"paraphrase","locator":"§1, Conjectures 1.1 and 1.3; reduction following Conjecture 1.3","supersedes":null}],"problems":[{"slug":"caccetta-haggkvist","title":"Caccetta–Häggkvist cycle bound","publication_version":11}],"selected_version_id":"hompe-huynh-rainbow@arxiv-2212.05697v4","available_versions":[{"id":"hompe-huynh-rainbow@arxiv-2212.05697v4","revision":"arxiv-2212.05697v4","observed_on":"2026-10-12","title":"Aharoni’s rainbow cycle conjecture holds up to an additive constant","publication":"published","content_sha256":null,"used_in_current_publications":true}],"usages":[{"id":"source-use-72b55e1cdcaf9b8f4550","entry_id":"caccetta-haggkvist:entry:rainbow-additive:v1","problem":{"slug":"caccetta-haggkvist","title":"Caccetta–Häggkvist cycle bound","publication_version":11},"kind":"assessment","title":"Established result in cited source","claim":{"id":"claim-ch-rainbow-additive","version":1,"slug":"ch-rainbow-additive","title":"An additive bound for rainbow cycles"},"fragment":"claim-ch-rainbow-additive","assessment":{"id":"caccetta-haggkvist:report:ch-rainbow-additive:v1","entry_id":"caccetta-haggkvist:entry:rainbow-additive:v1","state":"resolved","source_label":"Established result in cited source","scope":"The constant depends on r and is not removed by this theorem.","source_date":null,"observed_on":"2026-10-12","evidence_url":"https://arxiv.org/abs/2212.05697v4","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-448feb2e3859cbb24980","entry_id":"caccetta-haggkvist:entry:rainbow-additive:v1","problem":{"slug":"caccetta-haggkvist","title":"Caccetta–Häggkvist cycle bound","publication_version":11},"kind":"milestone","title":"Rainbow cycles with an additive error","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-bfcc81113f3b49f115a8","entry_id":"caccetta-haggkvist:entry:rainbow-additive:v1","problem":{"slug":"caccetta-haggkvist","title":"Caccetta–Häggkvist cycle bound","publication_version":11},"kind":"question","title":"Caccetta–Häggkvist cycle bound","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-59127ecae58c3ed851ad","entry_id":"caccetta-haggkvist:entry:rainbow-additive:v1","problem":{"slug":"caccetta-haggkvist","title":"Caccetta–Häggkvist cycle bound","publication_version":11},"kind":"statement","title":"An additive bound for rainbow cycles","claim":{"id":"claim-ch-rainbow-additive","version":1,"slug":"ch-rainbow-additive","title":"An additive bound for rainbow cycles"},"fragment":"claim-ch-rainbow-additive","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-34d1cb97ff4e5f6a77b9","entry_id":"caccetta-haggkvist:entry:rainbow:v1","problem":{"slug":"caccetta-haggkvist","title":"Caccetta–Häggkvist cycle bound","publication_version":11},"kind":"assessment","title":"Open question in cited source","claim":{"id":"claim-ch-cycle-bound","version":2,"slug":"ch-cycle-bound","title":"The full directed cycle bound"},"fragment":"claim-ch-cycle-bound","assessment":{"id":"caccetta-haggkvist:report:current-open:v1","entry_id":"caccetta-haggkvist:entry:rainbow:v1","state":"reported_open","source_label":"Open question in cited source","scope":"The published 2025 paper presents the full directed cycle bound as an open conjecture; partial results below retain their own assumptions.","source_date":null,"observed_on":"2026-10-12","evidence_url":"https://arxiv.org/abs/2212.05697v4","supersedes":"caccetta-haggkvist:report:0:v1"},"superseded":false,"formalization":null,"update":null},{"id":"source-use-5026676fc79dc36fb725","entry_id":"caccetta-haggkvist:entry:rainbow:v1","problem":{"slug":"caccetta-haggkvist","title":"Caccetta–Häggkvist cycle bound","publication_version":11},"kind":"assessment","title":"Established result in cited source","claim":{"id":"claim-ch-rainbow-implies-directed","version":1,"slug":"ch-rainbow-implies-directed","title":"Why the rainbow conjecture would imply the directed bound"},"fragment":"claim-ch-rainbow-implies-directed","assessment":{"id":"caccetta-haggkvist:report:ch-rainbow-implies-directed:v1","entry_id":"caccetta-haggkvist:entry:rainbow:v1","state":"resolved","source_label":"Established result in cited source","scope":"Handle an opposite-arc cycle first; otherwise forget directions and color each edge by its tail. Distinct colors on a cycle force one outgoing edge at each cycle vertex.","source_date":null,"observed_on":"2026-10-12","evidence_url":"https://arxiv.org/abs/2212.05697v4","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-d8c63549739efc2212ba","entry_id":"caccetta-haggkvist:entry:rainbow:v1","problem":{"slug":"caccetta-haggkvist","title":"Caccetta–Häggkvist cycle bound","publication_version":11},"kind":"assessment","title":"Open question in cited source","claim":{"id":"claim-ch-rainbow-cycle","version":1,"slug":"ch-rainbow-cycle","title":"Aharoni’s rainbow cycle conjecture"},"fragment":"claim-ch-rainbow-cycle","assessment":{"id":"caccetta-haggkvist:report:ch-rainbow-cycle:v1","entry_id":"caccetta-haggkvist:entry:rainbow:v1","state":"reported_open","source_label":"Open question in cited source","scope":"A rainbow cycle uses pairwise distinct edge colors; this is a stronger conjecture in a different graph setting.","source_date":null,"observed_on":"2026-10-12","evidence_url":"https://arxiv.org/abs/2212.05697v4","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-45b1d238017a3e3454b8","entry_id":"caccetta-haggkvist:entry:rainbow:v1","problem":{"slug":"caccetta-haggkvist","title":"Caccetta–Häggkvist cycle bound","publication_version":11},"kind":"connection","title":"The one-third triangle question is a specialization for oriented graphs.","claim":null,"fragment":"connections","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-4f48008778901536b8bd","entry_id":"caccetta-haggkvist:entry:rainbow:v1","problem":{"slug":"caccetta-haggkvist","title":"Caccetta–Häggkvist cycle bound","publication_version":11},"kind":"connection","title":"A rainbow cycle in the tail-colored graph gives a directed cycle of the same length.","claim":{"id":"claim-ch-rainbow-implies-directed","version":1,"slug":"ch-rainbow-implies-directed","title":"Why the rainbow conjecture would imply the directed bound"},"fragment":"claim-ch-rainbow-implies-directed","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-c50c12c5c64137e667f6","entry_id":"caccetta-haggkvist:entry:rainbow:v1","problem":{"slug":"caccetta-haggkvist","title":"Caccetta–Häggkvist cycle bound","publication_version":11},"kind":"question","title":"Caccetta–Häggkvist cycle bound","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-2e6e39100eb2e960c9ad","entry_id":"caccetta-haggkvist:entry:rainbow:v1","problem":{"slug":"caccetta-haggkvist","title":"Caccetta–Häggkvist cycle bound","publication_version":11},"kind":"statement","title":"Aharoni’s rainbow cycle conjecture","claim":{"id":"claim-ch-rainbow-cycle","version":1,"slug":"ch-rainbow-cycle","title":"Aharoni’s rainbow cycle conjecture"},"fragment":"claim-ch-rainbow-cycle","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-3d466e9034e09f3fc40a","entry_id":"caccetta-haggkvist:entry:rainbow:v1","problem":{"slug":"caccetta-haggkvist","title":"Caccetta–Häggkvist cycle bound","publication_version":11},"kind":"statement","title":"The full directed cycle bound","claim":{"id":"claim-ch-cycle-bound","version":2,"slug":"ch-cycle-bound","title":"The full directed cycle bound"},"fragment":"claim-ch-cycle-bound","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-6af75015f9fb83502df9","entry_id":"caccetta-haggkvist:entry:rainbow:v1","problem":{"slug":"caccetta-haggkvist","title":"Caccetta–Häggkvist cycle bound","publication_version":11},"kind":"statement","title":"Why the rainbow conjecture would imply the directed bound","claim":{"id":"claim-ch-rainbow-implies-directed","version":1,"slug":"ch-rainbow-implies-directed","title":"Why the rainbow conjecture would imply the directed bound"},"fragment":"claim-ch-rainbow-implies-directed","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-80620a8f5465365d045a","entry_id":"caccetta-haggkvist:entry:rainbow:v1","problem":{"slug":"caccetta-haggkvist","title":"Caccetta–Häggkvist cycle bound","publication_version":11},"kind":"statement","title":"The one-third directed triangle question","claim":{"id":"claim-ch-triangle-target","version":1,"slug":"ch-triangle-target","title":"The one-third directed triangle question"},"fragment":"claim-ch-triangle-target","assessment":null,"superseded":false,"formalization":null,"update":null}],"linked_entries":[],"linked_sources":[]}}