arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

35150 papers tagged with this keyword
Topological realizations and fundamental groups of higher-rank graphs
Published • View Publication • BIB
We investigate topological realizations of higher-rank graphs. We show that the fundamental group of a higher-rank graph coincides with the fundamental group of its topological realization. We also show that topological realization of higher-rank graphs is a functor, and that for each higher-rank graph Λ, this functor determines a category equivalence between the category of coverings of Λ and the category of coverings of its topological realization. We discuss how topological realization relates to two standard constructions for k-graphs: projective limits and crossed products by finitely generated free abelian groups.
2012-05-11
Edge-clique graphs of cocktail parties have unbounded rankwidth
In an attempt to find a polynomial-time algorithm for the edge-clique cover problem on cographs we tried to prove that the edge-clique graphs of cographs have bounded rankwidth. However, this is not the case. In this note we show that the edge-clique graphs of cocktail party graphs have unbounded rankwidth.
Vertex elimination orderings for hereditary graph classes
Published in Discrete Mathematics 338:825-834, 2015 • View Publication • BIB
We provide a general method to prove the existence and compute efficiently elimination orderings in graphs. Our method relies on several tools that were known before, but that were not put together so far: the algorithm LexBFS due to Rose, Tarjan and Lueker, one of its properties discovered by Berry and Bordat, and a local decomposition property of graphs discovered by Maffray, Trotignon and Vu\vsković. We use this method to prove the existence of elimination orderings in several classes of graphs, and to compute them in linear time. Some of the classes have already been studied, namely even-hole-free graphs, square-theta-free Berge graphs, universally signable graphs and wheel-free graphs. Some other classes are new. It turns out that all the classes that we study in this paper can be defined by excluding some of the so-called Truemper configurations. For several classes of graphs, we obtain directly bounds on the chromatic number, or fast algorithms for the maximum clique problem or the coloring problem.
2012-05-11 v2
Outerplanar graph drawings with few slopes
Published in Comput.Geom. 47 (2014) 614-624 • View Publication • BIB
We consider straight-line outerplanar drawings of outerplanar graphs in which a small number of distinct edge slopes are used, that is, the segments representing edges are parallel to a small number of directions. We prove that $Δ-1$ edge slopes suffice for every outerplanar graph with maximum degree $Δ\ge 4$. This improves on the previous bound of $O(Δ^5)$, which was shown for planar partial 3-trees, a superclass of outerplanar graphs. The bound is tight: for every $Δ\ge 4$ there is an outerplanar graph with maximum degree $Δ$ that requires at least $Δ-1$ distinct edge slopes in an outerplanar straight-line drawing.
2012-05-11 v3
Group Irregularity Strength of Connected Graphs
Published in Journal of Combinatorial Optimization, Vol. 30/1 (2015), 1--17 • View Publication • BIB
We investigate the group irregularity strength ($s_g(G)$) of graphs, i.e. the smallest value of $s$ such that taking any Abelian group $\gr$ of order $s$, there exists a function $f:E(G)\rightarrow \gr$ such that the sums of edge labels at every vertex are distinct. We prove that for any connected graph $G$ of order at least 3, $s_g(G)=n$ if $n\neq 4k+2$ and $s_g(G)\leq n+1$ otherwise, except the case of some infinite family of stars.
2012-05-11 v4
Group Sum Chromatic Number of Graphs
Published in European Journal of Combinatorics, Volume 55 (2016), 73-81 • View Publication • BIB
We investigate the \textit{group sum chromatic number} ($\gchi(G)$) of graphs, i.e. the smallest value $s$ such that taking any Abelian group $\gr$ of order $s$, there exists a function $f:E(G)\rightarrow \gr$ such that the sums of edge labels properly colour the vertices. It is known that $\gchi(G)\in\{χ(G),χ(G)+1\}$ for any graph $G$ with no component of order less than $3$ and we characterize the graphs for which $\gchi(G)=χ(G)$.
2012-05-11 v2
Reduced Criteria for Degree Sequences
Published in Discrete Mathematics, Volume 313, Issue 4, 28 February 2013, Pages 550-562 • View Publication • BIB
For many types of graphs, criteria have been discovered that give necessary and sufficient conditions for an integer sequence to be the degree sequence of such a graph. These criteria tend to take the form of a set of inequalities, and in the case of the Erdős-Gallai criterion (for simple undirected graphs) and the Gale-Ryser criterion (for bipartite graphs), it has been shown that the number of inequalities that must be checked can be reduced significantly. We show that similar reductions hold for the corresponding criteria for many other types of graphs, including bipartite r-multigraphs, bipartite graphs with structural edges, directed graphs, r-multigraphs, and tournaments. We also prove a reduction for imbalance sequences.
2012-05-11
Counting colorings of a regular graph
Published • View Publication • BIB
At most how many (proper) q-colorings does a regular graph admit? Galvin and Tetali conjectured that among all n-vertex, d-regular graphs with 2d|n, none admits more q-colorings than the disjoint union of n/2d copies of the complete bipartite graph K_{d,d}. In this note we give asymptotic evidence for this conjecture, giving an upper bound on the number of proper q-colorings admitted by an n-vertex, d-regular graph of the form a^n b^{n(1+o(1))/d} (where a and b depend on q and where o(1) goes to 0 as d goes to infinity) that agrees up to the o(1) term with the count of q-colorings of n/2d copies of K_{d,d}. An auxiliary result is an upper bound on the number of colorings of a regular graph in terms of its independence number. For example, we show that for all even q and fixed ε> 0 there is δ=δ(ε,q) such that the number of proper q-colorings admitted by an n-vertex, d-regular graph with no independent set of size n(1-ε)/2 is at most (a-δ)^n.
2012-05-10
Dual polar graphs, the quantum algebra U_q(sl_2), and Leonard systems of dual q-Krawtchouk type
Published • View Publication • BIB
In this paper we consider how the following three objects are related: (i) the dual polar graphs; (ii) the quantum algebra U_q(sl_2); (iii) the Leonard systems of dual q-Krawtchouk type. For convenience we first describe how (ii) and (iii) are related. For a given Leonard system of dual q-Krawtchouk type, we obtain two U_q(sl_2)-module structures on its underlying vector space. We now describe how (i) and (iii) are related. Let Γdenote a dual polar graph. Fix a vertex x of Γand let T = T(x) denote the corresponding subconstituent algebra. By definition T is generated by the adjacency matrix A of Γand a certain diagonal matrix A* = A*(x) called the dual adjacency matrix that corresponds to x. By construction the algebra T is semisimple. We show that for each irreducible T-module W the restrictions of A and A* to W induce a Leonard system of dual q-Krawtchouk type. We now describe how (i) and (ii) are related. We obtain two U_q(sl_2)-module structures on the standard module of Γ. We describe how these two U_q(sl_2)-module structures are related. Each of these U_q(sl_2)-module structures induces a $\mathbb{C}$-algebra homomorphism U_q(sl_2) \rightarrow T. We show that in each case T is generated by the image together with the center of T. Using the combinatorics of Γwe obtain a generating set L, F, R, K of T along with some attractive relations satisfied by these generators.
Locating dominating codes: Bounds and extremal cardinalities
In this work, two types of codes such that they both dominate and locate the vertices of a graph are studied. Those codes might be sets of detectors in a network or processors controlling a system whose set of responses should determine a malfunctioning processor or an intruder. Here, we present our more significant contributions on λ-codes and η-codes concerning concerning bounds, extremal values and realization theorems.
2012-05-10
Proving properties of the edge elimination polynomial using equivalent graph polynomials
Published in Congressus Numerantium 211 (2012) 73-88 • Search Publication
Averbouch, Godlin and Makowsky define the edge elimination polynomial of a graph by a recurrence relation with respect to the deletion, contraction and extraction of an edge. It generalizes some well-known graph polynomials such as the chromatic polynomial and the matching polynomial. By introducing two equivalent graph polynomials, one enumerating subgraphs and the other enumerating colorings, we show that the edge elimination polynomial of a simple graph is reconstructible from its polynomial deck and that it encodes the degree sequence of an arbitrary graph.
2012-05-10 v2
On the spectral density function of the Laplacian of a graph
Published in Expo. Math. 32 (2014), no. 2,178-189 • View Publication • BIB
Let X be a finite graph. Let E be the number of its edges and d be its degree. Denote by F_1(X) its first spectral density function which counts the number of eigenvalues less or equal to lambda^2 of the associated Laplace operator. We prove the estimate F_1(X)(lambda) - F_1(X)(0) le 2 cdot E cdot d cdot lambda for 0 le lambda < 1. We explain how this gives evidence for conjectures about approximating Fuglede-Kadison determinants and L^2-torsion.
Forbidden minor characterizations for low-rank optimal solutions to semidefinite programs over the elliptope
Published • View Publication • BIB
We study a new geometric graph parameter $\egd(G)$, defined as the smallest integer $r\ge 1$ for which any partial symmetric matrix which is completable to a correlation matrix and whose entries are specified at the positions of the edges of $G$, can be completed to a matrix in the convex hull of correlation matrices of $\rank $ at most $r$. This graph parameter is motivated by its relevance to the problem of finding low rank solutions to semidefinite programs over the elliptope, and also by its relevance to the bounded rank Grothendieck constant. Indeed, $\egd(G)\le r$ if and only if the rank-$r$ Grothendieck constant of $G$ is equal to 1. We show that the parameter $\egd(G)$ is minor monotone, we identify several classes of forbidden minors for $\egd(G)\le r$ and we give the full characterization for the case $r=2$. We also show an upper bound for $\egd(G)$ in terms of a new tree-width-like parameter $\sla(G)$, defined as the smallest $r$ for which $G$ is a minor of the strong product of a tree and $K_r$. We show that, for any 2-connected graph $G\ne K_{3,3}$ on at least 6 nodes, $\egd(G)\le 2$ if and only if $\sla(G)\le 2$.
Bounds on the diameter of Cayley graphs of the symmetric group
Published • View Publication • BIB
In this paper we are concerned with the conjecture that, for any set of generators S of the symmetric group of degree n, the word length in terms of S of every permutation is bounded above by a polynomial of n. We prove this conjecture for sets of generators containing a permutation fixing at least 37% of the points.
2012-05-08 v3
Three ways to cover a graph
Published • View Publication • BIB
We consider the problem of covering an input graph $H$ with graphs from a fixed covering class $G$. The classical covering number of $H$ with respect to $G$ is the minimum number of graphs from $G$ needed to cover the edges of $H$ without covering non-edges of $H$. We introduce a unifying notion of three covering parameters with respect to $G$, two of which are novel concepts only considered in special cases before: the local and the folded covering number. Each parameter measures "how far'' $H$ is from $G$ in a different way. Whereas the folded covering number has been investigated thoroughly for some covering classes, e.g., interval graphs and planar graphs, the local covering number has received little attention. We provide new bounds on each covering number with respect to the following covering classes: linear forests, star forests, caterpillar forests, and interval graphs. The classical graph parameters that result this way are interval number, track number, linear arboricity, star arboricity, and caterpillar arboricity. As input graphs we consider graphs of bounded degeneracy, bounded degree, bounded tree-width or bounded simple tree-width, as well as outerplanar, planar bipartite, and planar graphs. For several pairs of an input class and a covering class we determine exactly the maximum ordinary, local, and folded covering number of an input graph with respect to that covering class.
2012-05-08
The Commuting Graph of the Symmetric Inverse Semigroup
The commuting graph of a finite non-commutative semigroup $S$, denoted $\cg(S)$, is a simple graph whose vertices are the non-central elements of $S$ and two distinct vertices $x,y$ are adjacent if $xy=yx$. Let $\mi(X)$ be the symmetric inverse semigroup of partial injective transformations on a finite set $X$. The semigroup $\mi(X)$ has the symmetric group $\sym(X)$ of permutations on $X$ as its group of units. In 1989, Burns and Goldsmith determined the clique number of the commuting graph of $\sym(X)$. In 2008, Iranmanesh and Jafarzadeh found an upper bound of the diameter of $\cg(\sym(X))$, and in 2011, Doluzan and Oblak claimed (but their proof has a GAP) that this upper bound is in fact the exact value. The goal of this paper is to begin the study of the commuting graph of the symmetric inverse semigroup $\mi(X)$. We calculate the clique number of $\cg(\mi(X))$, the diameters of the commuting graphs of the proper ideals of $\mi(X)$, and the diameter of $\cg(\mi(X))$ when $|X|$ is even or a power of an odd prime. We show that when $|X|$ is odd and divisible by at least two primes, then the diameter of $\cg(\mi(X))$ is either 4 or 5. In the process, we obtain several results about semigroups, such as a description of all commutative subsemigroups of $\mi(X)$ of maximum order, and analogous results for commutative inverse and commutative nilpotent subsemigroups of $\mi(X)$. The paper closes with a number of problems for experts in combinatorics and in group or semigroup theory.
2012-05-08
Rainbow Colouring of Split and Threshold Graphs
Published • View Publication • BIB
A rainbow colouring of a connected graph is a colouring of the edges of the graph, such that every pair of vertices is connected by at least one path in which no two edges are coloured the same. Such a colouring using minimum possible number of colours is called an optimal rainbow colouring, and the minimum number of colours required is called the rainbow connection number of the graph. In this article, we show the following: 1. The problem of deciding whether a graph can be rainbow coloured using 3 colours remains NP-complete even when restricted to the class of split graphs. However, any split graph can be rainbow coloured in linear time using at most one more colour than the optimum. 2. For every integer k larger than 2, the problem of deciding whether a graph can be rainbow coloured using k colours remains NP-complete even when restricted to the class of chordal graphs. 3. For every positive integer k, threshold graphs with rainbow connection number k can be characterised based on their degree sequence alone. Further, we can optimally rainbow colour a threshold graph in linear time.
Partitions of graphs into small and large sets
Published • View Publication • BIB
Let $G$ be a graph on $n$ vertices. We call a subset $A$ of the vertex set $V(G)$ \emph{$k$-small} if, for every vertex $v \in A$, $°(v) \le n - |A| + k$. A subset $B \subseteq V(G)$ is called \emph{$k$-large} if, for every vertex $u \in B$, $°(u) \ge |B| - k - 1$. Moreover, we denote by $\varphi_k(G)$ the minimum integer $t$ such that there is a partition of $V(G)$ into $t$ $k$-small sets, and by $Ω_k(G)$ the minimum integer $t$ such that there is a partition of $V(G)$ into $t$ $k$-large sets. In this paper, we will show tight connections between $k$-small sets, respectively $k$-large sets, and the $k$-independence number, the clique number and the chromatic number of a graph. We shall develop greedy algorithms to compute in linear time both $\varphi_k(G)$ and $Ω_k(G)$ and prove various sharp inequalities concerning these parameters, which we will use to obtain refinements of the Caro-Wei Theorem, the Turán Theorem and the Hansen-Zheng Theorem among other things.
2012-05-08 v4
The energy graph of the non linear Schrödinger equation
Published in Atti Accad. Naz. Lincei Rend. Lincei Mat. Appl., Volume 24, Issue 2 (2013) pp. 229-301 • View Publication • BIB
We discuss the stability of a class of normal forms of the completely resonant non--linear Schrödinger equation on a torus described in a previous paper. The discussion is essentially combinatorial and algebraic in nature. Thus this paper contains the proof of two Theorems of algebraic, combinatorial and geometric nature, which we need in order to prove stability of certain solutions of the non--linear Schrödinger (NLS) equation on a torus.
Eigenvalues of a H-generalized join graph operation constrained by vertex subsets
Published • View Publication • BIB
Considering a graph $H$ of order $p$, a generalized $H$-join operation of a family of graphs $G_1,..., G_p$, constrained by a family of vertex subsets $S_i \subseteq V(G_i)$, $i=1,..., p,$ is introduced. When each vertex subset $S_i$ is $(k_i,τ_i)$-regular, it is deduced that all non-main adjacency eigenvalues of $G_i$, different from $k_i-τ_i$, for $i=1,..., p,$ remain as eigenvalues of the graph $G$ obtained by the above mentioned operation. Furthermore, if each graph $G_i$ of the family is $k_i$-regular, for $i=1,..., p$, and all the vertex subsets are such that $S_i=V(G_i)$, the $H$-generalized join operation constrained by these vertex subsets coincides with the $H$-generalized join operation. Some applications on the spread of graphs are presented. Namely, new lower and upper bounds are deduced and a infinity family of non regular graphs of order $n$ with spread equals $n$ is introduced.