Related papers: Hom complexes of graphs whose codomains are square…

A $(G,n)$-complex is an $n$-dimensional CW-complex with fundamental group $G$ and whose universal cover is $(n-1)$-connected. If $G$ has periodic cohomology then, for appropriate $n$, we show that there is a one-to-one correspondence…

The goal of this work is to give precise bounds on the counting complexity of a family of generalized coloring problems (list homomorphisms) on bounded-treewidth graphs. Given graphs $G$, $H$, and lists $L(v)\subseteq V(H)$ for every $v\in…

For smooth convex disks $A$, i.e., convex compact subsets of the plane with non-empty interior, we classify the classes $G^{\text{hom}}(A)$ and $G^{\text{sim}}(A)$ of intersection graphs that can be obtained from homothets and similarities…

The notion of graph covers (also referred to as locally bijective homomorphisms) plays an important role in topological graph theory and has found its computer science applications in models of local computation. For a fixed target graph…

Let F be a finitely generated discrete group. Given a covering map H to G of Lie groups with G either compact or complex reductive, there is an induced covering map Hom(F, H) to Hom(F, G). We show that when the fundamental group of G is…

Given two graphs $G$ and $H$, we say that $G$ contains $H$ as an induced minor if a graph isomorphic to $H$ can be obtained from $G$ by a sequence of vertex deletions and edge contractions. We study the complexity of Graph Isomorphism on…

A \v{C}ech complex of a finite simple graph $G$ is a nerve complex of balls in the graph, with one ball centered at each vertex. More precisely, let the \v{C}ech complex $\mathcal{N}(G,r)$ be the nerve of all closed balls of radius…

In this article, we define a family of regular bipartite graphs and show that the homotopy type of the independence complexes of this family is the wedge sum of spheres of certain dimensions.

For graphs $G$ and $H$, a homomorphism from $G$ to $H$, or $H$-coloring of $G$, is a map from the vertices of $G$ to the vertices of $H$ that preserves adjacency. When $H$ is composed of an edge with one looped endvertex, an $H$-coloring of…

A graph $G$ covers a graph $H$ if there exists a locally bijective homomorphism from $G$ to $H$. We deal with regular covers where this homomorphism is prescribed by the action of a semiregular subgroup of $\textrm{Aut}(G)$. We study…

This article deals with homomorphisms of oriented graphs with respect to push equivalence. Here homomorphisms refer to arc preserving vertex mappings, and push equivalence refers to the equivalence class of orientations of a graph $G$ those…

Given two algebraic groups $G$, $H$ over a field $k$, we investigate the representability of the functor of morphisms (of schemes) $\mathbf{Hom}(G,H)$ and the subfunctor of homomorphisms (of algebraic groups) $\mathbf{Hom}_{\rm gp}(G,H)$.…

The problem Cover(H) asks whether an input graph G covers a fixed graph H (i.e., whether there exists a homomorphism G to H which locally preserves the structure of the graphs). Complexity of this problem has been intensively studied. In…

Let N be a regular branched cover of a homology 3-sphere M with deck group G isomorphic to Z_2^d and branch set a trivalent graph Gamma; such a cover is determined by a coloring of the edges of Gamma with elements of G. For each index-2…

Lov\'{a}sz proved that two graphs $G$ and $H$ are isomorphic if $\hom(K,G) = \hom(K,H)$ for all graphs $K$, where $\hom(G_1,G_2)$ denotes the number of homomorphisms from $G_1$ to $G_2$. Dvo\v{r}\'{a}k showed that it suffices to count…

For a connected graph $G=(V,E)$, a matching $M\subseteq E$ is a matching cut of $G$ if $G-M$ is disconnected. It is known that for an integer $d$, the corresponding decision problem Matching Cut is polynomial-time solvable for graphs of…

Let $\Phi(x,y)\in\mathbb{C}[x,y]$ be a symmetric polynomial of partial degree $d$. The graph $G(\Phi)$ is defined by taking $\mathbb{C}$ as set of vertices and the points of $\mathbb{V}(\Phi(x,y))$ as edges. We study the following problem:…

A hom-associative algebra is an algebra whose associativity is twisted by an algebra homomorphism. We show that the Hochschild type cochain complex of a hom-associative algebra carries a homotopy G-algebra structure. As a consequence, we…

We study the problem of counting the number of homomorphisms from an input graph $G$ to a fixed (quantum) graph $\bar{H}$ in any finite field of prime order $\mathbb{Z}_p$. The subproblem with graph $H$ was introduced by Faben and Jerrum…

For a fixed graph H, the H-Recoloring problem asks whether for two given homomorphisms from a graph G to H, we can transform one into the other by changing the image of a single vertex of G in each step and maintaining a homomorphism from G…