Uniquely D-colourable digraphs with large girth. II: Simplification via generalization

From MaRDI portal
Publication:2656903



Abstract: We prove that for every digraph D and every choice of positive integers k, ell there exists a digraph D∗ with girth at least ell together with a surjective acyclic homomorphism psicolonD∗oD such that: (i) for every digraph C of order at most k, there exists an acyclic homomorphism D∗oC if and only if there exists an acyclic homomorphism DoC; and (ii) for every D-pointed digraph C of order at most k and every acyclic homomorphism varphicolonD∗oC there exists a unique acyclic homomorphism fcolonDoC such that varphi=fcircpsi. This implies the main results in [A. Harutyunyan et al., Uniquely D-colourable digraphs with large girth, Canad. J. Math., 64(6) (2012), 1310-1328; MR2994666] analogously with how the work [J. Nev{s}etv{r}il and X. Zhu, On sparse graphs with given colorings and homomorphisms, J. Combin. Theory Ser. B, 90(1) (2004), 161-172; MR2041324] generalizes and extends [X. Zhu, Uniquely H-colorable graphs with large girth, J. Graph Theory, 23(1) (1996), 33-41; MR1402136].


Summary: We prove that for every digraph \(D\) and every choice of positive integers \(k, \ell\) there exists a digraph \(D^\ast\) with girth at least \(\ell\) together with a surjective acyclic homomorphism \(\psi\colon D^\ast\to D\) such that: (i) for every digraph \(C\) of order at most \(k\), there exists an acyclic homomorphism \(D^\ast\to C\) if and only if there exists an acyclic homomorphism \(D\to C\); and (ii) for every \(D\)-pointed digraph \(C\) of order at most \(k\) and every acyclic homomorphism \(\varphi\colon D^\ast\to C\) there exists a unique acyclic homomorphism \(f\colon D\to C\) such that \(\varphi=f\circ\psi \). This implies the main results in [\textit{A. Harutyunyan} et al., Can. J. Math. 64, No. 6, 1310--1328 (2012; Zbl 1254.05057)] analogously with how the work [\textit{J. Nešetřil} and \textit{X. Zhu}, J. Comb. Theory, Ser. B 90, No. 1, 161--172 (2004; Zbl 1033.05044)] generalizes and extends [\textit{X. Zhu}, J. Graph Theory 23, No. 1, 33--41 (1996; Zbl 0864.05037)].











This page was built for publication: Uniquely \(D\)-colourable digraphs with large girth. II: Simplification via generalization

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2656903)