English

Mixing is hard for triangle-free reflexive graphs

Combinatorics 2023-09-19 v2

Abstract

In the problem Mix(H){\rm Mix}(H) one is given a graph GG and must decide if the Hom-graph Hom(G,H){\rm {\bf Hom}}(G,H) is connected. We show that if HH is a triangle-free reflexive graph with at least one cycle, Mix(H){\rm Mix}(H) is coNP{\rm coNP}-complete. The main part of this is a reduction to the problem NonFlat(H){\rm NonFlat}({\rm{\bf H}}) for a simplicial complex H{\rm{\bf H}}, in which one is given a simplicial complex G{\rm{\bf G}} and must decide if there are any simplicial maps ϕ\phi from G{\rm{\bf G}} to H{\rm{\bf H}} under which some 11-cycles of G{\rm{\bf G}} maps to homologically non-trivial cycle of H{\rm{\bf H}}. We show that for any reflexive graph HH, if the clique complex H{\rm{\bf H}} of HH has a free, non-trivial homology group H1(H)H_1({\rm{\bf H}}), then NonFlat(H){\rm NonFlat}({\rm{\bf H}}) is NP{\rm NP}-complete.

Keywords

Cite

@article{arxiv.2207.03632,
  title  = {Mixing is hard for triangle-free reflexive graphs},
  author = {Hyobeen Kim and Jae-baek Lee and Mark Siggers},
  journal= {arXiv preprint arXiv:2207.03632},
  year   = {2023}
}
R2 v1 2026-06-24T12:18:02.922Z