arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

34828 papers tagged with this keyword
2016-10-19
Graphs of kei and their diameters
A kei on $[n]$ can be thought of as a set of maps $(f_x)_{x \in [n]}$, where each $f_x$ is an involution on $[n]$ such that $(x)f_x = x$ for all $x$ and $f_{(x)f_y} = f_yf_xf_y$ for all $x$ and $y$. We can think of kei as loopless, edge-coloured multigraphs on $[n]$ where we have an edge of colour $y$ between $x$ and $z$ if and only if $(x)f_y = z$; in this paper we show that any component of diameter $d$ in such a graph must have at least $2^d$ vertices and contain at least $2^{d-1}$ edges of the same colour. We also show that these bounds are tight for each value of $d$.
2016-10-19
Coverings, Matchings and the number of maximal independent sets of graphs
We determine the maximum number of maximal independent sets of arbitrary graphs in terms of their covering numbers and we completely characterize the extremal graphs. As an application, we give a similar result for König-Egerváry graphs in terms of their matching numbers.
Perfect quantum state transfer using Hadamard diagonalizable graphs
Published in Linear Algebra and its Applications, 531:375-398, 2017 • View Publication • BIB
Quantum state transfer within a quantum computer can be achieved by using a network of qubits, and such a network can be modelled mathematically by a graph. Here, we focus on the corresponding Laplacian matrix, and those graphs for which the Laplacian can be diagonalized by a Hadamard matrix. We give a simple eigenvalue characterization for when such a graph has perfect state transfer at time $π/2$; this characterization allows one to choose the correct eigenvalues to build graphs having perfect state transfer. We characterize the graphs that are diagonalizable by the standard Hadamard matrix, showing a direct relationship to cubelike graphs. We then give a number of constructions producing a wide variety of new graphs that exhibit perfect state transfer, and we consider several corollaries in the settings of both weighted and unweighted graphs, as well as how our results relate to the notion of pretty good state transfer. Finally, we give an optimality result, showing that among regular graphs of degree at most $4$, the hypercube is the sparsest Hadamard diagonalizable connected unweighted graph with perfect state transfer.
Explicit linear kernels for packing problems
Published • View Publication • BIB
During the last years, several algorithmic meta-theorems have appeared (Bodlaender et al. [FOCS 2009], Fomin et al. [SODA 2010], Kim et al. [ICALP 2013]) guaranteeing the existence of linear kernels on sparse graphs for problems satisfying some generic conditions. The drawback of such general results is that it is usually not clear how to derive from them constructive kernels with reasonably low explicit constants. To fill this gap, we recently presented [STACS 2014] a framework to obtain explicit linear kernels for some families of problems whose solutions can be certified by a subset of vertices. In this article we enhance our framework to deal with packing problems, that is, problems whose solutions can be certified by collections of subgraphs of the input graph satisfying certain properties. ${\mathcal F}$-Packing is a typical example: for a family ${\mathcal F}$ of connected graphs that we assume to contain at least one planar graph, the task is to decide whether a graph $G$ contains $k$ vertex-disjoint subgraphs such that each of them contains a graph in ${\mathcal F}$ as a minor. We provide explicit linear kernels on sparse graphs for the following two orthogonal generalizations of ${\mathcal F}$-Packing: for an integer $\ell \geq 1$, one aims at finding either minor-models that are pairwise at distance at least $\ell$ in $G$ ($\ell$-${\mathcal F}$-Packing), or such that each vertex in $G$ belongs to at most $\ell$ minors-models (${\mathcal F}$-Packing with $\ell$-Membership). Finally, we also provide linear kernels for the versions of these problems where one wants to pack subgraphs instead of minors.
2016-10-19 v2
Contagious sets in a degree-proportional bootstrap percolation process
Published • View Publication • BIB
We study the following bootstrap percolation process: given a connected graph $G$, a constant $ρ\in [0, 1]$ and an initial set $A \subseteq V(G)$ of \emph{infected} vertices, at each step a vertex~$v$ becomes infected if at least a $ρ$-proportion of its neighbours are already infected (once infected, a vertex remains infected forever). Our focus is on the size $h_ρ(G)$ of a smallest initial set which is \emph{contagious}, meaning that this process results in the infection of every vertex of $G$. Our main result states that every connected graph $G$ on $n$ vertices has $h_ρ(G) < 2ρn$ or $h_ρ(G) = 1$ (note that allowing the latter possibility is necessary because of the case $ρ\leq\tfrac{1}{2n}$, as every contagious set has size at least one). This is the best-possible bound of this form, and improves on previous results of Chang and Lyuu and of Gentner and Rautenbach. We also provide a stronger bound for graphs of girth at least five and sufficiently small $ρ$, which is asymptotically best-possible.
Strong edge-colorings of sparse graphs with large maximum degree
Published • View Publication • BIB
A {\em strong $k$-edge-coloring} of a graph $G$ is a mapping from $E(G)$ to $\{1,2,\ldots,k\}$ such that every two adjacent edges or two edges adjacent to the same edge receive distinct colors. The {\em strong chromatic index} $χ_s'(G)$ of a graph $G$ is the smallest integer $k$ such that $G$ admits a strong $k$-edge-coloring. We give bounds on $χ_s'(G)$ in terms of the maximum degree $Δ(G)$ of a graph $G$. when $G$ is sparse, namely, when $G$ is $2$-degenerate or when the maximum average degree ${\rm Mad}(G)$ is small. We prove that the strong chromatic index of each $2$-degenerate graph $G$ is at most $5Δ(G) +1$. Furthermore, we show that for a graph $G$, if ${\rm Mad}(G)< 8/3$ and $Δ(G)\geq 9$, then $χ_s'(G)\leq 3Δ(G) -3$ (the bound $3Δ(G) -3$ is sharp) and if ${\rm Mad}(G)<3$ and $Δ(G)\geq 7$, then $χ_s'(G)\leq 3Δ(G)$ (the restriction ${\rm Mad}(G)<3$ is sharp).
2016-10-18 v3
The probability of unusually large components in the near-critical Erdős-Rényi graph
Published • View Publication • BIB
The largest components of the critical Erdős-Rényi graph, $G(n,p)$ with $p=1/n$, have size of order $n^{2/3}$ with high probability. We give detailed asymptotics for the probability that there is an unusually large component, i.e. of size $an^{2/3}$ for large $a$. Our results, which extend work of Pittel, allow $a$ to depend upon $n$ and also hold for a range of values of $p$ around $1/n$. We also provide asymptotics for the distribution of the size of the component containing a particular vertex.
2016-10-18
The $\mathrm{L}_3(4)$ near octagon
In recent work we constructed two new near octagons, one related to the finite simple group $\mathrm{G}_2(4)$ and another one as a sub-near-octagon of the former. In the present paper, we give a direct construction of this sub-near-octagon using a split extension of the group $\mathrm{L}_3(4)$. We derive several geometric properties of this $\mathrm{L}_3(4)$ near octagon, and determine its full automorphism group. We also prove that the $\mathrm{L}_3(4)$ near octagon is closely related to the second subconstituent of the distance-regular graph on 486 vertices discovered by Soicher in 1993.
2016-10-18 v2
3-Rainbow index and forbidden subgraphs
Published • View Publication • BIB
A tree in an edge-colored connected graph $G$ is called \emph{a rainbow tree} if no two edges of it are assigned the same color. For a vertex subset $S\subseteq V(G)$, a tree is called an \emph{$S$-tree} if it connects $S$ in $G$. A \emph{$k$-rainbow coloring} of $G$ is an edge-coloring of $G$ having the property that for every set $S$ of $k$ vertices of $G$, there exists a rainbow $S$-tree in $G$. The minimum number of colors that are needed in a $k$-rainbow coloring of $G$ is the \emph{$k$-rainbow index} of $G$, denoted by $rx_k(G)$. The \emph{Steiner distance $d(S)$} of a set $S$ of vertices of $G$ is the minimum size of an $S$-tree $T$. The \emph{$k$-Steiner diameter $sdiam_k(G)$} of $G$ is defined as the maximum Steiner distance of $S$ among all sets $S$ with $k$ vertices of $G$. In this paper, we focus on the 3-rainbow index of graphs and find all finite families $\mathcal{F}$ of connected graphs, for which there is a constant $C_\mathcal{F}$ such that, for every connected $\mathcal{F}$-free graph $G$, $rx_3(G)\leq sdiam_3(G)+C_\mathcal{F}$.
2016-10-18
Minimizing the number of independent sets in triangle-free regular graphs
Published • View Publication • BIB
Recently, Davies, Jenssen, Perkins, and Roberts gave a very nice proof of the result (due, in various parts, to Kahn, Galvin-Tetali, and Zhao) that the independence polynomial of a $d$-regular graph is maximized by disjoint copies of $K_{d,d}$. Their proof uses linear programming bounds on the distribution of a cleverly chosen random variable. In this paper, we use this method to give lower bounds on the independence polynomial of regular graphs. We also give new bounds on the number of independent sets in triangle-free regular graphs.
Measures on the square as sparse graph limits
Published • View Publication • BIB
We study a metric on the set of finite graphs in which two graphs are considered to be similar if they have similar bounded dimensional "factors". We show that limits of convergent graph sequences in this metric can be represented by symmetric Borel measures on $[0,1]^2$. This leads to a generalization of dense graph limit theory to sparse graph sequences.
2016-10-18 v2
A classification of polyhedral graph by combinatorially rigid vertices
When the number of non-triangular faces adjacent to a vertex $v$ is less than or equal to three, the vertex $v$ will be called (\emph{combinatorially}) \emph{rigid}. We study the number of rigid vertices and suggest a conjecture on a classification of polyhedra.
2016-10-18
Closed formulas for fractional chromatic polynomials of some common classes of graphs
Chromatic polynomials have been studied extensively, giving us results such as the Fundamental Reduction Theorem and closed formulas for the chromatic polynomials of common classes of graphs. Though, none of those extend to the context of fractional colorings. We thus present closed formulas for the "fractional" chromatic polynomial - a function that counts the number of distinct $b$-fold $λ$-colorings on a given graph - of complete graphs, trees and forests, as well as a generalized form of the Fundamental Reduction Theorem.
2016-10-17 v3
The homomorphism threshold of $\{C_3, C_5\}$-free graphs
Published • View Publication • BIB
We determine the structure of $\{C_3, C_5\}$-free graphs with $n$ vertices and minimum degree larger than $n/5$: such graphs are homomorphic to the graph obtained from a $(5k - 3)$-cycle by adding all chords of length $1$ mod $5$, for some $k$. This answers a question of Messuti and Schacht. We deduce that the homomorphism threshold of $\{C_3, C_5\}$-free graphs is $1/5$, thus answering a question of Oberkampf and Schacht.
2016-10-17
The odd-even invariant and Hamiltonian circuits in tope graphs
Published • View Publication • BIB
In this paper we consider the question of the existence of Hamiltonian circuits in the tope graphs of central arrangements of hyperplanes. Some of the results describe connections between the existence of Hamiltonian circuits in the arrangement and the odd-even invariant of the arrangement. In conjunction with this, we present some results concerning bounds on the odd-even invariant. The results given here can be formulated more generally for oriented matroids and are still valid in that setting.
2016-10-17 v3
Weighted dependency graphs and the Ising model
Published • View Publication • BIB
Weighted dependency graphs have been recently introduced by the second author, as a toolbox to prove central limit theorems. In this paper, we prove that spins in the $d$-dimensional Ising model display such a weighted dependency structure. We use this to obtain various central limit theorems for the number of occurrences of local and global patterns in a growing box.
Increasing spanning forests in graphs and simplicial complexes
Published • View Publication • BIB
Let G be a graph with vertex set {1,...,n}. A spanning forest F of G is increasing if the sequence of labels on any path starting at the minimum vertex of a tree of F form an increasing sequence. Hallam and Sagan showed that the generating function ISF(G,t) for increasing spanning forests of G has all nonpositive integral roots. Furthermore they proved that, up to a change of sign, this polynomial equals the chromatic polynomial of G precisely when 1,...,n is a perfect elimination order for G. We give new, purely combinatorial proofs of these results which permit us to generalize them in several ways. For example, we are able to bound the coefficients of ISF(G,t) using broken circuits. We are also able to extend these results to simplicial complexes using the new notion of a cage-free complex. A generalization to labeled multigraphs is also given. We end by exploring spanning forests where the increasing condition is replaced by having the label sequences avoid the patterns 231, 312, and 321.
2016-10-17 v3
Empirical spectral distributions of sparse random graphs
Published • View Publication • BIB
We study the spectrum of a random multigraph with a degree sequence ${\bf D}_n=(D_i)_{i=1}^n$ and average degree $1 \ll ω_n \ll n$, generated by the configuration model, and also the spectrum of the analogous random simple graph. We show that, when the empirical spectral distribution (ESD) of $ω_n^{-1} {\bf D}_n $ converges weakly to a limit $ν$, under mild moment assumptions (e.g., $D_i/ω_n$ are i.i.d. with a finite second moment), the ESD of the normalized adjacency matrix converges in probability to $ν\boxtimes σ_{\rm sc}$, the free multiplicative convolution of $ν$ with the semicircle law. Relating this limit with a variant of the Marchenko--Pastur law yields the continuity of its density (away from zero), and an effective procedure for determining its support. Our proof of convergence is based on a coupling between the random simple graph and multigraph with the same degrees, which might be of independent interest. We further construct and rely on a coupling of the multigraph to an inhomogeneous Erdős-Rényi graph with the target ESD, using three intermediate random graphs, with a negligible fraction of edges modified in each step.
2016-10-17
Upper broadcast domination of toroidal grids and a classification of diametrical trees
A broadcast on a graph $G=(V,E)$ is a function $f:V \rightarrow \{0,1, \ldots, \text{diam}(G)\}$ satisfying $f(v) \leq e(v)$ for all $v \in V$, where $e(v)$ denotes the eccentricity of $v$ and $\text{diam}(G)$ denotes the diameter of $G$. We say that a broadcast dominates $G$ if every vertex can hear at least one broadcasting node. The upper domination number is the maximum cost of all possible minimal broadcasts, where the cost of a broadcast is defined as $\text{cost} (f)= \sum_{v \in V}f(v)$. In this paper we establish both the upper domination number and the upper broadcast domination number on toroidal grids. In addition, we classify all diametrical trees, that is, trees whose upper domination number is equal to its diameter.
On Finding Small Sets that Influence Large Networks
Published in Soc. Netw. Anal. Min. (2016) 6:94 • View Publication • BIB
We consider the problem of selecting a minimum size subset of nodes in a network, that allows to activate all the nodes of the network. We present a fast and simple algorithm that, in real-life networks, produces solutions that outperform the ones obtained by using the best algorithms in the literature. We also investigate the theoretical performances of our algorithm and give proofs of optimality for some classes of graphs. From an experimental perspective, experiments also show that the performance of the algorithms correlates with the modularity of the analyzed network. Moreover, the more the influence among communities is hard to propagate, the less the performances of the algorithms differ. On the other hand, when the network allows some propagation of influence between different communities, the gap between the solutions returned by the proposed algorithm and by the previous algorithms in the literature increases.