Jae-Baek Lee | Searcharxiv

arXiv2019

Reconfiguring Graph Homomorphisms on the Sphere

Given a loop-free graph $H$, the reconfiguration problem for homomorphisms to $H$ (also called $H$-colourings) asks: given two $H$-colourings $f$ of $g$ of a graph $G$, is it possible to transform $f$ into $g$ by a sequence of single-vertex colour changes such that every intermediate mapping is an $H$-colouring? This problem is known to be polynomial-time solvable for a wide variety of graphs $H$ (e.g. all $C_4$-free graphs) but only a handful of hard cases are known. We prove that this problem is PSPACE-complete whenever $H$ is a $K_{2,3}$-free quadrangulation of the $2$-sphere (equivalently, the plane) which is not a $4$-cycle. From this result, we deduce an analogous statement for non-bipartite $K_{2,3}$-free quadrangulations of the projective plane. This include several interesting classes of graphs, such as odd wheels, for which the complexity was known, and $4$-chromatic generalized Mycielski graphs, for which it was not. If we instead consider graphs $G$ and $H$ with loops on every vertex (i.e. reflexive graphs), then the reconfiguration problem is defined in a similar way except that a vertex can only change its colour to a neighbour of its current colour. In this setting, we use similar ideas to show that the reconfiguration problem for $H$-colourings is PSPACE-complete whenever $H$ is a reflexive $K_{4}$-free triangulation of the $2$-sphere which is not a reflexive triangle. This proof applies more generally to reflexive graphs which, roughly speaking, resemble a triangulation locally around a particular vertex. This provides the first graphs for which $H$-Recolouring is known to be PSPACE-complete for reflexive instances.

math.CO↗

arXiv2017

Graph Homomorphism Reconfiguration and Frozen $H$-Colourings

For a fixed graph $H$, the reconfiguration problem for $H$-colourings (i.e. homomorphisms to $H$) asks: given a graph $G$ and two $H$-colourings $φ$ and $ψ$ of $G$, does there exist a sequence $f_0,\dots,f_m$ of $H$-colourings such that $f_0=φ$, $f_m=ψ$ and $f_i(u)f_{i+1}(v)\in E(H)$ for every $0\leq i<m$ and $uv\in E(G)$? If the graph $G$ is loop-free, then this is the equivalent to asking whether it possible to transform $φ$ into $ψ$ by changing the colour of one vertex at a time such that all intermediate mappings are $H$-colourings. In the affirmative, we say that $φ$ reconfigures to $ψ$. Currently, the complexity of deciding whether an $H$-colouring $φ$ reconfigures to an $H$-colouring $ψ$ is only known when $H$ is a clique, a circular clique, a $C_4$-free graph, or in a few other cases which are easily derived from these. We show that this problem is PSPACE-complete when $H$ is an odd wheel. An important notion in the study of reconfiguration problems for $H$-colourings is that of a frozen $H$-colouring; i.e. an $H$-colouring $φ$ such that $φ$ does not reconfigure to any $H$-colouring $ψ$ such that $ψ\neq φ$. We obtain an explicit dichotomy theorem for the problem of deciding whether a given graph $G$ admits a frozen $H$-colouring. The hardness proof involves a reduction from a CSP problem which is shown to be NP-complete by establishing the non-existence of a certain type of polymorphism.

math.CO↗