arXiv++ Combinatorics

We consider constrained variants of graph homomorphisms such as embeddings, monomorphisms, full homomorphisms, surjective homomorpshims, and locally constrained homomorphisms. We also introduce a new variation on this theme which derives from relations between graphs and is related to multihomomorphisms. This gives a generalization of surjective homomorphisms and naturally leads to notions of R-retractions, R-cores, and R-cocores of graphs. Both R-cores and R-cocores of graphs are unique up to isomorphism and can be computed in polynomial time. The theory of the graph homomorphism order is well developed, and from it we consider analogous notions defined for orders induced by constrained homomorphisms. We identify corresponding cores, prove or disprove universality, characterize gaps and dualities. We give a new and significantly easier proof of the universality of the homomorphism order by showing that even the class of oriented cycles is universal. We provide a systematic approach to simplify the proofs of several earlier results in this area. We explore in greater detail locally injective homomorphisms on connected graphs, characterize gaps and show universality. We also prove that for every $d\geq 3$ the homomorphism order on the class of line graphs of graphs with maximum degree $d$ is universal.

A family $\mathcal{F}$ of permutations of the vertices of a hypergraph $H$ is called 'pairwise suitable' for $H$ if, for every pair of disjoint edges in $H$, there exists a permutation in $\mathcal{F}$ in which all the vertices in one edge precede those in the other. The cardinality of a smallest such family of permutations for $H$ is called the 'separation dimension' of $H$ and is denoted by $π(H)$. Equivalently, $π(H)$ is the smallest natural number $k$ so that the vertices of $H$ can be embedded in $\mathbb{R}^k$ such that any two disjoint edges of $H$ can be separated by a hyperplane normal to one of the axes. We show that the separation dimension of a hypergraph $H$ is equal to the 'boxicity' of the line graph of $H$. This connection helps us in borrowing results and techniques from the extensive literature on boxicity to study the concept of separation dimension.

Given a graph $I=(V, E),$ $\emptyset \ne D \subseteq V,$ and an arbitrary nonempty set $X,$ an injective function $f: V\to 2^X \setminus \{\emptyset\}$ is an interference of $D$ with respect to $I,$ if for every vertex $u\in V\setminus D$ there exists a neighbor $v\in D$ such that $f(u)\cap f(v) \ne \emptyset.$ We initiate a study of interference in graphs. We study special cases of the difficult problem of finding a smallest possible set $X,$ and we decide when, given a graph $G=(V,E(G))$ (resp., its line graph $L(G)$) the open neighborhood function $N_G: V \to 2^V$ (resp., $N_{L(G)}: E \to 2^E$) or its complementary function is an interference with respect to the complete graph $I=K_n.$

The line graph of a graph with signed edges carries vertex signs. A vertex-signed graph is consistent if every circle (cycle, circuit) has positive vertex-sign product. Acharya, Acharya, and Sinha recently characterized line-consistent signed graphs, i.e., edge-signed graphs whose line graphs, with the naturally induced vertex signature, are consistent. Their proof applies Hoede's relatively difficult characterization of consistent vertex-signed graphs. We give a simple proof that does not depend on Hoede's theorem as well as a structural description of line-consistent signed graphs.

A signed graph is a graph whose edges are signed. In a vertex-signed graph the vertices are signed. The latter is called consistent if the product of signs in every circle is positive. The line graph of a signed graph is naturally vertex-signed. Based on a characterization by Acharya, Acharya, and Sinha in 2009, we give constructions for the signed simple graphs whose naturally vertex-signed line graph is consistent.

A Nordhaus-Gaddum-type result is a (tight) lower or upper bound on the sum or product of a parameter of a graph and its complement. In this paper some variations are considered. First, recall their theorem, which gives bounds on the sum and the product of the chromatic number of a graph with that of its complement. In this paper, we provide a new characterization of the other class of graphs.

In this paper we define and study a new family of graphs that generalises the notions of line graphs and path graphs. Let $G$ be a graph with no loops but possibly with parallel edges. An \emph{$\ell$-link} of $G$ is a walk of $G$ of length $\ell \geqslant 0$ in which consecutive edges are different. We identify an $\ell$-link with its reverse sequence. The \emph{$\ell$-link graph $\mathbb{L}_\ell(G)$} of $G$ is the graph with vertices the $\ell$-links of $G$, such that two vertices are joined by $μ\geqslant 0$ edges in $\mathbb{L}_\ell(G)$ if they correspond to two subsequences of each of $μ$ $(\ell + 1)$-links of $G$. By revealing a recursive structure, we bound from above the chromatic number of $\ell$-link graphs. As a corollary, for a given graph $G$ and large enough $\ell$, $\mathbb{L}_\ell(G)$ is $3$-colourable. By investigating the shunting of $\ell$-links in $G$, we show that the Hadwiger number of a nonempty $\mathbb{L}_\ell(G)$ is greater or equal to that of $G$. Hadwiger's conjecture states that the Hadwiger number of a graph is at least the chromatic number of that graph. The conjecture has been proved by Reed and Seymour (2004) for line graphs, and hence $1$-link graphs. We prove the conjecture for a wide class of $\ell$-link graphs.

We prove that for every $d\geq 3$ the homomorphism order of the class of line graphs of finite graphs with maximal degree $d$ is universal. This means that every finite or countably infinite partially ordered set may be represented by line graphs of graphs with maximal degree $d$ ordered by the existence of a homomorphism.

The first geometric-arithmetic (GA) index and atom-bond connectivity (ABC) index are molecular structure descriptors which play a significant role in quantitative structure-property relationship (QSPR) and quantitative structure-activity relationship (QSAR) studies. Das and Trinajstić [\textit{Chem. Phys. Lett.} \textbf{497} (2010) 149-151] showed that $GA$ index is greater than $ABC$ index for all those graphs (except $K_{1,4}$ and $T^{*}$, see Figure 1) in which the difference between maximum and minimum degree is less than or equal to 3. In this note, it is proved that $GA$ index is greater than $ABC$ index for line graphs of molecular graphs, for general graphs in which the difference between maximum and minimum degree is less than or equal to $(2δ-1)^{2}$ (where $δ$ is the minimum degree and $δ\geq2$) and for some families of trees. Thereby, a partial solution to an open problem proposed by Das and Trinajstić is given.

An integer additive set-indexer is defined as an injective function $f:V(G)\rightarrow 2^{\mathbb{N}_0}$ such that the induced function $f^+:E(G) \rightarrow 2^{\mathbb{N}_0}$ defined by $f^+ (uv) = f(u)+ f(v)$ is also injective. A graph $G$ which admits an IASI is called an IASI graph. An arithmetic integer additive set-indexer is an integer additive set-indexer $f$, under which the set-labels of all elements of a given graph $G$ are arithmetic progressions. In this paper, we discuss about admissibility of arithmetic integer additive set-indexers by certain associated graphs of the given graph $G$, like line graph, total graph, etc.

In this paper we consider a natural extremal graph theoretic problem of topological sort, concerning the minimization of the (topological) connectedness of the independence complex of graphs in terms of its dimension. We observe that the lower bound $\frac{\dim(\mathcal{I}(G))}{2} - 2$ on the connectedness of the independence complex $\mathcal{I}(G)$ of line graphs of bipartite graphs $G$ is tight. In our main theorem we characterize the extremal examples. Our proof of this characterization is based on topological machinery. Our motivation for studying this problem comes from a classical conjecture of Ryser. Ryser's Conjecture states that any $r$-partite $r$-uniform hypergraph has a vertex cover of size at most $(r - 1)$-times the size of the largest matching. For $r = 2$, the conjecture is simply König's Theorem. It has also been proven for $r = 3$ by Aharoni using a beautiful topological argument. In a separate paper we characterize the extremal examples for the $3$-uniform case of Ryser's Conjecture (i.e., Aharoni's Theorem), and in particular resolve an old conjecture of Lovász for the case of Ryser-extremal $3$-graphs. Our main result in this paper will provide us with valuable structural information for that characterization. Its proof is based on the observation that link graphs of Ryser-extremal $3$-uniform hypergraphs are exactly the bipartite graphs we study here.

Ryser's Conjecture states that any $r$-partite $r$-uniform hypergraph has a vertex cover of size at most $r - 1$ times the size of the largest matching. For $r = 2$, the conjecture is simply König's Theorem and every bipartite graph is a witness for its tightness. The conjecture has also been proven for $r = 3$ by Aharoni using topological methods, but the proof does not give information on the extremal $3$-uniform hypergraphs. Our goal in this paper is to characterize those hypergraphs which are tight for Aharoni's Theorem. Our proof of this characterization is also based on topological machinery, particularly utilizing results on the (topological) connectedness of the independence complex of the line graph of the link graphs of $3$-uniform Ryser-extremal hypergraphs, developed in a separate paper. The current paper contains the second, structural hypergraph-theoretic part of the argument, where we use the information on the line graph of the link graphs to nail down the elements of a structure we call \emph{home-base hypergraph}. While there is a single minimal home-base hypergraph with matching number $k$ for every positive integer $k \in \mathbb{N}$, home-base hypergraphs with matching number $k$ are far from being unique. There are infinitely many of them and each of them is composed of $k$ copies of two different kinds of basic structures, whose hyperedges can intersect in various restricted, but intricate ways. Our characterization also proves an old and wide open strengthening of Ryser's Conjecture, due to Lovász, for the $3$-uniform extremal case, that is, for hypergraphs with $τ= 2 ν$.

The Gallai graph $Γ(G)$ of a graph $G$ has the edges of $G$ as its vertices and two distinct vertices $e$ and $f$ of $Γ(G)$ are adjacent in $Γ(G)$ if the edges $e$ and $f$ of $G$ are adjacent in $G$ but do not span a triangle in $G$. Clearly, $Γ(G)$ is a subgraph of the line graph of $G$. While line graphs can be recognized efficiently the complexity of recognizing Gallai graphs is unknown. In the present paper we characterize those graphs whose Gallai graphs are forests or trees, respectively.

The entropy of a graph is a functional depending both on the graph itself and on a probability distribution on its vertex set. This graph functional originated from the problem of source coding in information theory and was introduced by J. Körner in 1973. Although the notion of graph entropy has its roots in information theory, it was proved to be closely related to some classical and frequently studied graph theoretic concepts. For example, it provides an equivalent definition for a graph to be perfect and it can also be applied to obtain lower bounds in graph covering problems. In this thesis, we review and investigate three equivalent definitions of graph entropy and its basic properties. Minimum entropy colouring of a graph was proposed by N. Alon in 1996. We study minimum entropy colouring and its relation to graph entropy. We also discuss the relationship between the entropy and the fractional chromatic number of a graph which was already established in the literature. A graph $G$ is called \emph{symmetric with respect to a functional $F_G(P)$} defined on the set of all the probability distributions on its vertex set if the distribution $P^*$ maximizing $F_G(P)$ is uniform on $V(G)$. Using the combinatorial definition of the entropy of a graph in terms of its vertex packing polytope and the relationship between the graph entropy and fractional chromatic number, we prove that vertex transitive graphs are symmetric with respect to graph entropy. Furthermore, we show that a bipartite graph is symmetric with respect to graph entropy if and only if it has a perfect matching. As a generalization of this result, we characterize some classes of symmetric perfect graphs with respect to graph entropy. Finally, we prove that the line graph of every bridgeless cubic graph is symmetric with respect to graph entropy.

Let $G$ be a graph and let $A(G)$ be the adjacency matrix of $G$. The signature $s(G)$ of $G$ is the difference between the positive inertia index and the negative inertia index of $A(G)$. Ma et al. [Positive and negative inertia index of a graph, Linear Algebra and its Applications 438(2013)331-341] conjectured that $-c_3(G)\leq s(G)\leq c_5(G),$ where $c_3(G)$ and $c_5(G)$ respectively denote the number of cycles in $G$ which have length $4k+3$ and $4k+5$ for some integers $k \ge 0$, and proved the conjecture holds for trees, unicyclic or bicyclic graphs. It is known that $s(G)=0$ if $G$ is bipartite, and the signature is closely related to the odd cycles or nonbipartiteness of a graph from the existed results. In this paper we show that the conjecture holds for the line graph and power trees.

A \emph{wheel} is a graph formed by a chordless cycle $C$ and a vertex $u$ not in $C$ that has at least three neighbors in $C$. We prove that every 3-connected planar graph that does not contain a wheel as an induced subgraph is either a line graph or has a clique cutset. We prove that every planar graph that does not contain a wheel as an induced subgraph is 3-colorable.

We give a structural classification of edge-signed graphs with smallest eigenvalue greater than -2. We prove a conjecture of Hoffman about the smallest eigenvalue of the line graph of a tree that was stated in the 1970s. Furthermore, we prove a more general result extending Hoffman's original statement to all edge-signed graphs with smallest eigenvalue greater than -2. Our results give a classification of the special graphs of fat Hoffman graphs with smallest eigenvalue greater than -3.

A 2-join is an edge cutset that naturally appears in decomposition of several classes of graphs closed under taking induced subgraphs, such as perfect graphs and claw-free graphs. In this paper we construct combinatorial polynomial time algorithms for finding a maximum weighted clique, a maximum weighted stable set and an optimal coloring for a class of perfect graphs decomposable by 2-joins: the class of perfect graphs that do not have a balanced skew partition, a 2-join in the complement, nor a homogeneous pair. The techniques we develop are general enough to be easily applied to finding a maximum weighted stable set for another class of graphs known to be decomposable by 2-joins, namely the class of even-hole-free graphs that do not have a star cutset. We also give a simple class of graphs decomposable by 2-joins into bipartite graphs and line graphs, and for which finding a maximum stable set is NP-hard. This shows that having holes all of the same parity gives essential properties for the use of 2-joins in computing stable sets.

In 1968, Erdös and Lovász conjectured that for every graph $G$ and all integers $s,t\geq 2$ such that $s+t-1=χ(G) > ω(G)$, there exists a partition $(S,T)$ of the vertex set of $G$ such that $χ(G|S)\geq s$ and $χ(G|T)\geq t$. For general graphs, the only settled cases of the conjecture are when $s$ and $t$ are small. Recently, the conjecture was proved for a few special classes of graphs: graphs with stability number 2 \cite{quasi-line}, line graphs \cite{line} and quasi-line graphs \cite{quasi-line}. In this paper, we consider the conjecture for claw-free graphs and present some progress on it.

In a recent work, Fouli and Lin generalized a Villarreal's result and showed that if each connected components of the line graph of a squarefree monomial ideal contains at most a unique odd cycle, then this ideal is of linear type. In this short note, we reprove this result with Villarreal's original ideas together with a method of Conca and De Negri. We also propose a class of squarefree monomial ideals of linear type.