arXiv++ Combinatorics

We introduce the notion of information ratio $\text{Ir}(H/G)$ between two (simple, undirected) graphs $G$ and $H$, defined as the supremum of ratios $k/n$ such that there exists a mapping between the strong products $G^k$ to $H^n$ that preserves non-adjacency. Operationally speaking, the information ratio is the maximal number of source symbols per channel use that can be reliably sent over a channel with a confusion graph $H$, where reliability is measured w.r.t. a source confusion graph $G$. Various results are provided, including in particular lower and upper bounds on $\text{Ir}(H/G)$ in terms of different graph properties, inequalities and identities for behavior under strong product and disjoint union, relations to graph cores, and notions of graph criticality. Informally speaking, $\text{Ir}(H/G)$ can be interpreted as a measure of similarity between $G$ and $H$. We make this notion precise by introducing the concept of information equivalence between graphs, a more quantitative version of homomorphic equivalence. We then describe a natural partial ordering over the space of information equivalence classes, and endow it with a suitable metric structure that is contractive under the strong product. Various examples and open problems are discussed.

The Moore bound $M(k,g)$ is a lower bound on the order of $k$-regular graphs of girth $g$ (denoted $(k,g)$-graphs). The excess $e$ of a $(k,g)$-graph of order $n$ is the difference $ n-M(k,g) $. In this paper we consider the existence of $(k,g)$-bipartite graphs of excess $4$ via studying spectral properties of their adjacency matrices. We prove that the $(k,g)$-bipartite graphs of excess $4$ satisfy the equation $kJ=(A+kI)(H_{d-1}(A)+E)$, where $A$ denotes the adjacency matrix of the graph in question, $J$ the $n \times n$ all-ones matrix, $E$ the adjacency matrix of a union of vertex-disjoint cycles, and $H_{d-1}(x)$ is the Dickson polynomial of the second kind with parameter $k-1$ and of degree $d-1$. We observe that the eigenvalues other than $\pm k$ of these graphs are roots of the polynomials $H_{d-1}(x)+λ$, where $λ$ is an eigenvalue of $E$. Based on the irreducibility of $H_{d-1}(x)\pm2$ we give necessary conditions for the existence of these graphs. If $E$ is the adjacency matrix of a cycle of order $n$ we call the corresponding graphs \emph{graphs with cyclic excess}; if $E$ is the adjacency matrix of a disjoint union of two cycles we call the corresponding graphs \emph{graphs with bicyclic excess}. In this paper we prove the non-existence of $(k,g)$-graphs with cyclic excess $4$ if $k\geq6$ and $k \equiv1 \!\! \pmod {3}$, $g=8, 12, 16$ or $k \equiv2 \!\! \pmod {3}$, $g=8,$ and the non-existence of $(k,g)$-graphs with bicyclic excess $4$ if $k\geq7$ is odd number and $g=2d$ such that $d\geq4$ is even.

In this paper, we count the number of independent sets of a type of graph $G(\mathcal{A},q)$ associated to some hyperplane arrangement $\mathcal{A}$, which is a generalization of the construction of graphical arrangements. We show that when the parameters of $\mathcal{A}$ satisfy certain conditions, the number of independent sets of the disjoint union $G(\mathcal{A},q_1)\cup\cdots\cup G(\mathcal{A},q_s)$ depends only on the coefficients of $\mathcal{A}$ and the total number of vertices $\sum_i q_i$ when $q_i$'s are powers of large enough prime numbers. In addition it is independent of the coefficients as long as $\mathcal{A}$ is central and the coefficients are multiplicatively independent.

In this paper, we study $(1,2)$-step competition graphs of bipartite tournaments. A bipartite tournament means an orientation of a complete bipartite graph. We show that the $(1,2)$-step competition graph of a bipartite tournament has at most one non-trivial component or consists of exactly two complete components of size at least three and, especially in the former, the diameter of the nontrivial component is at most three if it exists. Based on this result, we show that, among the connected non-complete graphs which are triangle-free or the cycles of which are edge-disjoint, $K_{1,4}$ is the only graph that can be represented as the $(1,2)$-step competition graph of a bipartite tournament. We also completely characterize a complete graph and the disjoint union of two complete graphs, respectively, which can be represented as the $(1,2)$-step competition graph of a bipartite tournament. Finally we present the maximum number of edges and the minimum number of edges which the $(1,2)$-step competition graph of a bipartite tournament might have.

The 4 Color Theorem (4CT) implies that every $n$-vertex planar graph has an independent set of size at least $\frac{n}4$; this is best possible, as shown by the disjoint union of many copies of $K_4$. In 1968, Erdős asked whether this bound on independence number could be proved more easily than the full 4CT. In 1976 Albertson showed (independently of the 4CT) that every $n$-vertex planar graph has an independent set of size at least $\frac{2n}9$. Until now, this remained the best bound independent of the 4CT. Our main result improves this bound to $\frac{3n}{13}$.

We call a finite undirected graph minimally k-matchable if it has at least k distinct perfect matchings but deleting any edge results in a graph which has not. An odd subdivision of some graph G is any graph obtained by replacing every edge of G by a path of odd length connecting its end vertices such that all these paths are internally disjoint. We prove that for every k>0 there exists a finite set of graphs S(k) such that every minimally k-matchable graph is isomorphic to a disjoint union of an odd subdivision of some graph from S(k) and any number of copies of the complete graph on two vertices.

Motivated by the problem of zero-error broadcasting, we introduce a new notion of graph capacity, termed $ρ$-capacity, that generalizes the Shannon capacity of a graph. We derive upper and lower bounds on the $ρ$-capacity of arbitrary graphs, and provide a Lovász-type upper bound for regular graphs. We study the behavior of the $ρ$-capacity under two graph operations: the strong product and the disjoint union. Finally, we investigate the connection between the structure of a graph and its $ρ$-capacity.

A rose graph is a graph consisting of cycles that all meet in one vertex. We show that except for two specific examples, these rose graphs are determined by the Laplacian spectrum, thus proving a conjecture posed by Lui and Huang [F.J. Liu and Q.X. Huang, Laplacian spectral characterization of 3-rose graphs, Linear Algebra Appl. 439 (2013), 2914--2920]. We also show that if two rose graphs have a so-called universal Laplacian matrix with the same spectrum, then they must be isomorphic. In memory of Horst Sachs (1927-2016), we show the specific case of the latter result for the adjacency matrix by using Sachs' theorem and a new result on the number of matchings in the disjoint union of paths.

We investigate new graph classes of bounded mim-width, strictly extending interval graphs and permutation graphs. The graphs $K_t \boxminus K_t$ and $K_t \boxminus S_t$ are graphs obtained from the disjoint union of two cliques of size $t$, and one clique of size $t$ and one independent set of size $t$ respectively, by adding a perfect matching. We prove that : (1) interval graphs are $(K_3\boxminus S_3)$-free chordal graphs; and $(K_t\boxminus S_t)$-free chordal graphs have mim-width at most $t-1$, (2) permutation graphs are $(K_3\boxminus K_3)$-free co-comparability graphs; and $(K_t\boxminus K_t)$-free co-comparability graphs have mim-width at most $t-1$, (3) chordal graphs and co-comparability graphs have unbounded mim-width in general. We obtain several algorithmic consequences; for instance, while Minimum Dominating Set is NP-complete on chordal graphs, it can be solved in time $n^{\mathcal{O}(t)}$ on $(K_t\boxminus S_t)$-free chordal graphs. The third statement strengthens a result of Belmonte and Vatshelle stating that either those classes do not have constant mim-width or a decomposition with constant mim-width cannot be computed in polynomial time unless $P=NP$. We generalize these ideas to bigger graph classes. We introduce a new width parameter sim-width, of stronger modelling power than mim-width, by making a small change in the definition of mim-width. We prove that chordal graphs and co-comparability graphs have sim-width at most 1. We investigate a way to bound mim-width for graphs of bounded sim-width by excluding $K_t\boxminus K_t$ and $K_t\boxminus S_t$ as induced minors or induced subgraphs, and give algorithmic consequences. Lastly, we show that circle graphs have unbounded sim-width, and thus also unbounded mim-width.

The Laplacian energy of a graph is the sum of the distances of the eigenvalues of the Laplacian matrix of the graph to the graph's average degree. The maximum Laplacian energy over all graphs on $n$ nodes and $m$ edges is conjectured to be attained for threshold graphs. We prove the conjecture to hold for graphs with the property that for each $k$ there is a threshold graph on the same number of nodes and edges whose sum of the $k$ largest Laplacian eigenvalues exceeds that of the $k$ largest Laplacian eigenvalues of the graph. We call such graphs spectrally threshold dominated. These graphs include split graphs and cographs and spectral threshold dominance is preserved by disjoint unions and taking complements. We conjecture that all graphs are spectrally threshold dominated. This conjecture turns out to be equivalent to Brouwer's conjecture concerning a bound on the sum of the $k$ largest Laplacian eigenvalues.

We say that a $2$-dimensional CW complex is a multibranched surface if we remove all points whose open neighborhoods are homeomorphic to the $2$-dimensional Euclidean space, then we obtain a $1$-dimensional complex which is homeomorphic to a disjoint union of some $S^1$'s. We define the genus of a multibranched surface $X$ as the minimum number of genera of $3$-dimensional manifold into which $X$ can be embedded. We prove some inequalities which give upper bounds for the genus of a multibranched surface. A multibranched surface is a generalization of graphs. Therefore, we can define "minors" of multibranched surfaces analogously. We study various properties of the minors of multibranched surfaces.

Reed and Wood and independently Norine, Seymour, Thomas, and Wollan proved that for each positive integer $t$ there is a constant $c(t)$ such that every graph on $n$ vertices with no $K_t$-minor has at most $c(t)n$ cliques. Wood asked in 2007 if we can take $c(t) = c^t$ for some absolute constant $c$. This question was recently answered affirmatively by Lee and Oum. In this paper, we determine the exponential constant. We prove that every graph on $n$ vertices with no $K_t$-minor has at most $3^{2t/3+o(t)}n$ cliques. This bound is tight for $n \geq 4t/3$. More generally, let $H$ be a connected graph on $t$ vertices, and $x$ denote the size (i.e., the number edges) of the largest matching in the complement of $H$. We prove that every graph on $n$ vertices with no $H$-minor has at most $\max(3^{2t/3-x/3+o(t)}n,2^{t+o(t)}n)$ cliques, and this bound is tight for $n \geq \max (4t/3-2x/3,t)$ by a simple construction. Even more generally, we determine explicitly the exponential constant for the maximum number of cliques an $n$-vertex graph can have in a minor-closed family of graphs which is closed under disjoint union.

The generalization of the Oberwolfach Problem, proposed by J. Liu in 2000, asks for a uniform $2$-factorization of the complete multipartite graph $K_{m\times n}$. Here we focus our attention on $2$-factorizations regular under the cyclic group $Z_{mn}$, whose $2$-factors are disjoint union of cycles all of even length $\ell$. In particular, we present a complete solution for the extremal cases $\ell=4$ and $\ell=mn$.

Involution words are variations of reduced words for twisted involutions in Coxeter groups. They arise naturally in the study of the Bruhat order, of certain Iwahori-Hecke algebra modules, and of orbit closures in flag varieties. Specifically, to any twisted involutions $x$, $y$ in a Coxeter group $W$ with automorphism $*$, we associate a set of involution words $\hat{\mathcal{R}}_*(x,y)$. This set is the disjoint union of the reduced words of a set of group elements $\mathcal{A}_*(x,y)$, which we call the atoms of $y$ relative to $x$. The atoms, in turn, are contained in a larger set $\mathcal{B}_*(x,y) \subset W$ with a similar definition, whose elements we refer to as Hecke atoms. Our main results concern some interesting properties of the sets $\hat{\mathcal{R}}_*(x,y)$ and $\mathcal{A}_*(x,y) \subset \mathcal{B}_*(x,y)$. For finite Coxeter groups we prove that $\mathcal{A}_*(1,y)$ consists of exactly the minimal-length elements $w \in W$ such that $w^* y \leq w$ in Bruhat order, and conjecture a more general property for arbitrary Coxeter groups. In type $A$, we describe a simple set of conditions characterizing the sets $\mathcal{A}_*(x,y)$ for all involutions $x,y \in S_n$, giving a common generalization of three recent theorems of Can, Joyce, and Wyser. We show that the atoms of a fixed involution in the symmetric group (relative to $x=1$) naturally form a graded poset, while the Hecke atoms surprisingly form an equivalence class under the "Chinese relation" studied by Cassaigne, Espie, et al. These facts allow us to recover a recent theorem of Hu and Zhang describing a set of "braid relations" spanning the involution words of any self-inverse permutation. We prove a generalization of this result giving an analogue of Matsumoto's theorem for involution words in arbitrary Coxeter groups.

For every $r \in \mathbb{N}$, let $θ_r$ denote the graph with two vertices and $r$ parallel edges. The $θ_r$-girth of a graph $G$ is the minimum number of edges of a subgraph of $G$ that can be contracted to $θ_r$. This notion generalizes the usual concept of girth which corresponds to the case $r=2$. In [Minors in graphs of large girth, Random Structures & Algorithms, 22(2):213--225, 2003], Kühn and Osthus showed that graphs of sufficiently large minimum degree contain clique-minors whose order is an exponential function of their girth. We extend this result for the case of $θ_{r}$-girth and we show that the minimum degree can be replaced by some connectivity measurement. As an application of our results, we prove that, for every fixed $r$, graphs excluding as a minor the disjoint union of $k$ $θ_{r}$'s have treewidth $O(k\cdot \log k)$.

We consider box spaces of finitely generated, residually finite groups $G$, and try to distinguish them up to coarse equivalence. We show that, for $n\geq 2$, the group $SL_n(\mathbb{Z})$ has a continuum of box spaces which are pairwise non-coarsely equivalent expanders. Moreover, varying the integer $n\geq 3$, expanders given as box spaces of $SL_n(\mathbb{Z})$ are pairwise inequivalent; similarly, varying the prime $p$, expanders given as box spaces of $SL_2(\mathbb{Z}[\sqrt{p}])$ are pairwise inequivalent. A strong form of non-expansion for a box space is the existence of $α\in]0,1]$ such that the diameter of each component $X_n$ satisfies $diam(X_n)=Ω(|X_n|^α)$. By a result of Breuillard and Tointon, the existence of such a box space implies that $G$ virtually maps onto $\mathbb{Z}$: we establish the converse. For the lamplighter group $(\mathbb{Z}/2\mathbb{Z})\wr\mathbb{Z}$ and for a semi-direct product $\mathbb{Z}^2\rtimes\mathbb{Z}$, such box spaces are explicitly constructed using specific congruence subgroups. We finally introduce the full box space of $G$, i.e. the coarse disjoint union of all finite quotients of $G$. We prove that the full box space of a group mapping onto the free group $\mathbb{F}_2$ is not coarsely equivalent to the full box space of an $S$-arithmetic group satisfying the Congruence Subgroup Property.

This paper establishes connections between the structure of a semigroup and the minimum spans of distance labellings of its Cayley graphs. We show that certain general restrictions on the minimum spans are equivalent to the semigroup being combinatorial, and that other restrictions are equivalent to the semigroup being a right zero band. We obtain a description of the structure of all semigroups $S$ and their subsets $C$ such that $\Cay(S,C)$ is a disjoint union of complete graphs, and show that this description is also equivalent to several restrictions on the minimum span of $\Cay(S,C)$. We then describe all graphs with minimum spans satisfying the same restrictions, and give examples to show that a fairly straightforward upper bound for the minimum spans of the underlying undirected graphs of Cayley graphs turns out to be sharp even for the class of combinatorial semigroups.

The problem of characterizing maximal non-Hamiltonian graphs may be naturally extended to characterizing graphs that are maximal with respect to non-traceability and beyond that to $t$-path traceability. We show how traceability behaves with respect to disjoint union of graphs and the join with a complete graph. Our main result is a decomposition theorem that reduces the problem of characterizing maximal $t$-path traceable graphs to characterizing those that have no universal vertex. We generalize a construction of maximal non-traceable graphs by Zelinka to $t$-path traceable graphs.

Given a digraph $D=(V,A)$ and a positive integer $k$, an arc set $F\subseteq A$ is called a \textbf{$k$-arborescence} if it is the disjoint union of $k$ spanning arborescences. The problem of finding a minimum cost $k$-arborescence is known to be polynomial-time solvable using matroid intersection. In this paper we study the following problem: find a minimum cardinality subset of arcs that contains at least one arc from every minimum cost $k$-arborescence. For $k=1$, the problem was solved in [A. Bernáth, G. Pap , Blocking optimal arborescences, IPCO 2013]. In this paper we give an algorithm for general $k$ that has polynomial running time if $k$ is fixed.

Given a digraph $D=(V,A)$ and a positive integer $k$, a subset $B\subseteq A$ is called a \textbf{$k$-union-arborescence}, if it is the disjoint union of $k$ spanning arborescences. When also arc-costs $c:A\to \mathbb{R}$ are given, minimizing the cost of a $k$-union-arborescence is well-known to be tractable. In this paper we take on the following problem: what is the minimum cardinality of a set of arcs the removal of which destroys every minimum $c$-cost $k$-union-arborescence. Actually, the more general weighted problem is also considered, that is, arc weights $w:A\to \mathbb{R}_+$ (unrelated to $c$) are also given, and the goal is to find a minimum weight set of arcs the removal of which destroys every minimum $c$-cost $k$-union-arborescence. An equivalent version of this problem is where the roots of the arborescences are fixed in advance. In an earlier paper [A. Bernáth and Gy. Pap, \emph{Blocking optimal arborescences}, Integer Programming and Combinatorial Optimization, Springer, 2013] we solved this problem for $k=1$. This work reports on other partial results on the problem. We solve the case when both $c$ and $w$ are uniform -- that is, find a minimum size set of arcs that covers all $k$-union-arbosercences. Our algorithm runs in polynomial time for this problem. The solution uses a result of [M. Bárász, J. Becker, and A. Frank, \emph{An algorithm for source location in directed graphs}, Oper. Res. Lett. \textbf{33} (2005)] saying that the family of so-called insolid sets (sets with the property that every proper subset has a larger in-degree) satisfies the Helly-property, and thus can be (efficiently) represented as a subtree hypergraph. We also give an algorithm for the case when only $c$ is uniform but $w$ is not. This algorithm is only polynomial if $k$ is not part of the input.