English

Duality pairs and homomorphisms to oriented and unoriented cycles

Combinatorics 2020-04-01 v3 Discrete Mathematics

Abstract

In the homomorphism order of digraphs, a duality pair is an ordered pair of digraphs (G,H)(G,H) such that for any digraph, DD, GDG\to D if and only if D↛HD\not\to H. The directed path on k+1k+1 vertices together with the transitive tournament on kk vertices is a classic example of a duality pair. This relation between paths and tournaments implies that a graph is kk-colourable if and only if it admits an orientation with no directed path on more than kk-vertices. In this work, for every undirected cycle CC we find an orientation CDC_D and an oriented path PCP_C, such that (PC,CD)(P_C,C_D) is a duality pair. As a consequence we obtain that there is a finite set, FCF_C, such that an undirected graph is homomorphic to CC, if and only if it admits an FCF_C-free orientation. As a byproduct of the proposed duality pairs, we show that if TT is a tree of height at most 33, one can choose a dual of TT of linear size with respect to the size of TT.

Keywords

Cite

@article{arxiv.2003.05605,
  title  = {Duality pairs and homomorphisms to oriented and unoriented cycles},
  author = {Santiago Guzmán-Pro and César Hernández-Cruz},
  journal= {arXiv preprint arXiv:2003.05605},
  year   = {2020}
}

Comments

13 pages, 4 figures

R2 v1 2026-06-23T14:12:23.277Z