arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

35299 papers tagged with this keyword
2015-11-03 v2
Color-line and Proper Color-line Graphs
Published • View Publication • BIB
Motivated by investigations of rainbow matchings in edge colored graphs, we introduce the notion of color-line graphs that generalizes the classical concept of line graphs in a natural way. Let $H$ be a (properly) edge-colored graph. The (proper) color-line graph $C\!L(H)$ of $H$ has edges of $H$ as vertices, and two edges of $H$ are adjacent in $C\!L(H)$ if they are incident in $H$ or have the same color. We give Krausz-type characterizations for (proper) color-line graphs, and point out that, for any fixed $k\ge 2$, recognizing if a graph is the color-line graph of some graph $H$ in which the edges are colored with at most $k$ colors is NP-complete. In contrast, we show that, for any fixed $k$, recognizing color-line graphs of properly edge colored graphs $H$ with at most $k$ colors is polynomially. Moreover, we give a good characterization for proper $2$-color line graphs that yields a linear time recognition algorithm in this case.
2015-11-03 v3
The Brownian plane with minimal neck baby universe
Published • View Publication • BIB
For each $n\in\mathbb{N}$, let $\mathbf{Q}_n$ be a uniform rooted measured quadrangulation of size $n$ conditioned to have $r(n)$ vertices in its root block. We prove that for a suitable function $r(n)$, after rescaling graph distance by $\left(\frac{21}{40\cdot r(n)}\right)^{1/4}$, with an appropriate rescaling of measure, $\mathbf{Q}_n$ converges to a random pointed measured non-compact metric space $\boldsymbol{ \mathcal{S}}$, in the local Gromov-Hausdorff-Prokhorov topology; the space $\boldsymbol{ \mathcal{S}}$ is built by identifying a uniform point of the Brownian map with the distinguished point of the Brownian plane. Our result relies upon both the convergence of uniform quadrangulations towards the Brownian plane by \citet{CLG}, and the convergence of uniform $2$-connected quadrangulations to the Brownian map, recently proved by \citet{ABW}. The main steps of the proof are as follows. First, we show that the sizes of submaps pendant to the root block have an asymptotically stable distribution. Second, we deduce asymptotics for occupancy in a random allocation model with a varying balls-to-boxes ratio. Third, we establish a bound for the number of pendant submaps of the root block, which allow us to apply the occupancy bounds to uniformly control the sizes of pendant submaps. This entails us to show that the pendant submaps act as uniformly asymptotically negligible "decorations" which do not affect the scaling limit.
On the Number of Non-zero Elements of Joint Degree Vectors
Published • View Publication • BIB
Joint degree vectors give the number of edges between vertices of degree $i$ and degree $j$ for $1\le i\le j\le n-1$ in an $n$-vertex graph. We find lower and upper bounds for the maximum number of nonzero elements in a joint degree vector as a function of $n$. This provides an upper bound on the number of estimable parameters in the exponential random graph model with bidegree-distribution as its sufficient statistics.
2015-11-03 v2
Packing paths in a $(λ+μ)K_{v+u}-λK_v$
Following standard terminology, $λK_v$ is a multigraph on $v$ vertices such that $λ$ edges join each pair of vertices. Let $(λ+μ)K_{v+u}-λK_v$ be the graph $(V\cup U,E)$ with $|V|=v$, $|U|=u$, and $(λ+μ)-λ=μ$ edges between the vertices $x$ and $y$ if $x$ and $y$ both lie in $V$ and $λ+μ$ edges between $x$ and $y$ otherwise. The main result of this paper establishes necessary and sufficient conditions for an $m$-path decomposition of $(λ+μ)K_{v+u}-λK_v$.
2015-11-02
Beyond Degree Choosability
Published in Electronic Journal of Combinatorics. Vol. 24(3), 2017, #P3.29 • View Publication • BIB
Let $G$ be a connected graph with maximum degree $Δ$. Brooks' theorem states that $G$ has a $Δ$-coloring unless $G$ is a complete graph or an odd cycle. A graph $G$ is \emph{degree-choosable} if $G$ can be properly colored from its lists whenever each vertex $v$ gets a list of $d(v)$ colors. In the context of list coloring, Brooks' theorem can be strengthened to the following. Every connected graph $G$ is degree-choosable unless each block of $G$ is a complete graph or an odd cycle; such a graph $G$ is a \emph{Gallai tree}. This degree-choosability result was further strengthened to Alon--Tarsi orientations; these are orientations of $G$ in which the number of spanning Eulerian subgraphs with an even number of edges differs from the number with an odd number of edges. A graph $G$ is \emph{degree-AT} if $G$ has an Alon--Tarsi orientation in which each vertex has indegree at least 1. Alon and Tarsi showed that if $G$ is degree-AT, then $G$ is also degree-choosable. Hladky, Kral, and Schauz showed that a connected graph is degree-AT if and only if it is not a Gallai tree. In this paper, we consider pairs $(G,x)$ where $G$ is a connected graph and $x$ is some specified vertex in $V(G)$. We characterize pairs such that $G$ has no Alon--Tarsi orientation in which each vertex has indegree at least 1 and $x$ has indegree at least 2. When $G$ is 2-connected, the characterization is simple to state.
Domination parameters with number 2: interrelations and algorithmic consequences
Published in Discrete Applied Mathematics 235 (2018), 23-50 • View Publication • BIB
In this paper, we study the most basic domination invariants in graphs, in which number 2 is intrinsic part of their definitions. We classify them upon three criteria, two of which give the following previously studied invariants: the weak $2$-domination number, $γ_{w2}(G)$, the $2$-domination number, $γ_2(G)$, the $\{2\}$-domination number, $γ_{\{2\}}(G)$, the double domination number, $γ_{\times 2}(G)$, the total $\{2\}$-domination number, $γ_{t\{2\}}(G)$, and the total double domination number, $γ_{t\times 2}(G)$, where $G$ is a graph in which a corresponding invariant is well defined. The third criterion yields rainbow versions of the mentioned six parameters, one of which has already been well studied, and three other give new interesting parameters. Together with a special, extensively studied Roman domination, $γ_R(G)$, and two classical parameters, the domination number, $γ(G)$, and the total domination number, $γ_t(G)$, we consider 13 domination invariants in graphs $G$. In the main result of the paper we present sharp upper and lower bounds of each of the invariants in terms of every other invariant, large majority of which are new results proven in this paper. As a consequence of the main theorem we obtain some complexity results for the studied invariants, in particular regarding the existence of approximation algorithms and inapproximability bounds.
2015-11-02 v5
Structure theory of flip graphs with applications to Weak Symmetry Breaking
Published • View Publication • BIB
This paper is devoted to advancing the theoretical understanding of the iterated immediate snapshot (IIS) complexity of the Weak Symmetry Breaking task (WSB). Our rather unexpected main theorem states that there exist infinitely many values of n, such that WSB for n~processes is solvable by a certain explicitly constructed 3-round IIS protocol. In particular, the minimal number of rounds, which an IIS protocol needs in order to solve the WSB task, does not go to infinity, when the number of processes goes to infinity. Our methods can also be used to generate such values of n. We phrase our proofs in combinatorial language, while avoiding using topology. To this end, we study a~certain class of graphs, which we call flip graphs. These graphs encode adjacency structure in certain subcomplexes of iterated standard chromatic subdivisions of a simplex. While keeping the geometric background in mind for an additional intuition, we develop the structure theory of matchings in flip graphs in a purely combinatorial way. Our bound for the IIS complexity is then a corollary of this general theory. As an afterthought of our result, we suggest to change the overall paradigm. Specifically, we think, that the bounds on the IIS complexity of solving WSB for n processes should be formulated in terms of the size of the solutions of the associated Diophantine equation, rather than in terms of the value n itself.
2015-11-02 v2
Upper bounds for the achromatic and coloring numbers of a graph
Published • View Publication • BIB
Dvořák \emph{et al.} introduced a variant of the Randić index of a graph $G$, denoted by $R'(G)$, where $R'(G)=\sum_{uv\in E(G)}\frac 1 {\max\{d(u), d(v)\}}$, and $d(u)$ denotes the degree of a vertex $u$ in $G$. The coloring number $col(G)$ of a graph $G$ is the smallest number $k$ for which there exists a linear ordering of the vertices of $G$ such that each vertex is preceded by fewer than $k$ of its neighbors. It is well-known that $χ(G)\leq col(G)$ for any graph $G$, where $χ(G)$ denotes the chromatic number of $G$. In this note, we show that for any graph $G$ without isolated vertices, $col(G)\leq 2R'(G)$, with equality if and only if $G$ is obtained from identifying the center of a star with a vertex of a complete graph. This extends some known results. In addition, we present some new spectral bounds for the coloring and achromatic numbers of a graph.
2015-11-02
Maximal matchings in polyspiro and benzenoid chains
Published • View Publication • BIB
A matching $M$ of a graph $G$ is maximal if it is not a proper subset of any other matching in $G$. Maximal matchings are much less known and researched than their maximum and perfect counterparts. In particular, almost nothing is known about their enumerative properties. In this paper we present the recurrences and generating functions for the sequences enumerating maximal matchings in two classes of chemically interesting linear polymers: polyspiro chains and benzenoid chains. We also analyze the asymptotic behavior of those sequences and determine the extremal cases.
2015-11-02
The Separated Box Product of Two Digraphs
A new product construction of graphs and digraphs, based on the standard box product of graphs and called the separated box product, is presented, and several of its properties are discussed. Questions about the symmetries of the product and their relations to symmetries of the factor graphs are considered. An application of this construction to the case of tetravalent edge-transitive graphs is discussed in detail.
2015-11-02
Mixing time and eigenvalues of the abelian sandpile Markov chain
Published • View Publication • BIB
The abelian sandpile model defines a Markov chain whose states are integer-valued functions on the vertices of a simple connected graph $G$. By viewing this chain as a (nonreversible) random walk on an abelian group, we give a formula for its eigenvalues and eigenvectors in terms of `multiplicative harmonic functions' on the vertices of $G$. We show that the spectral gap of the sandpile chain is within a constant factor of the length of the shortest non-integer vector in the dual Laplacian lattice, while the mixing time is at most a constant times the smoothing parameter of the Laplacian lattice. We find a surprising inverse relationship between the spectral gap of the sandpile chain and that of simple random walk on $G$: If the latter has a sufficiently large spectral gap, then the former has a small gap! In the case where $G$ is the complete graph on $n$ vertices, we show that the sandpile chain exhibits cutoff at time $\frac{1}{4π^{2}}n^{3}\log n$.
Unmixed r-partite graphs
Unmixed bipartite graphs have been characterized by Ravadra and Villarreal independently. Our aim in this paper is to characterize unmixed r-partite graphs under a certain condition, witch is a generalization of villarreal's theorem on bipartite graphs. Also we give some examples and counterexamples in relevance this subject.
2015-11-01
Problem collection from the IML programme: Graphs, Hypergraphs, and Computing
This collection of problems and conjectures is based on a subset of the open problems from the seminar series and the problem sessions of the Institut Mitag-Leffler programme Graphs, Hypergraphs, and Computing. Each problem contributor has provided a write up of their proposed problem and the collection has been edited by Klas Markström.
2015-11-01 v2
The Smith group of the hypercube
Published in Designs, Codes and Cryptography Volume 84, (2017) Issue 1-2, pp 283-294 • View Publication • BIB
The $n$-cube graph is the graph on the vertex set of $n$-tuples of $0$s and $1$s, with two vertices joined by an edge if and only if the $n$-tuples differ in exactly one component. We compute the Smith group of this graph, or, equivalently, the elementary divisors of an adjacency matrix of the graph.
Adjacency matrices of random digraphs: singularity and anti-concentration
Published in J. of Math. Analysis and Appl., 445 (2017), 1447--1491 • View Publication • BIB
Let ${\mathcal D}_{n,d}$ be the set of all $d$-regular directed graphs on $n$ vertices. Let $G$ be a graph chosen uniformly at random from ${\mathcal D}_{n,d}$ and $M$ be its adjacency matrix. We show that $M$ is invertible with probability at least $1-C\ln^{3} d/\sqrt{d}$ for $C\leq d\leq cn/\ln^2 n$, where $c, C$ are positive absolute constants. To this end, we establish a few properties of $d$-regular directed graphs. One of them, a Littlewood-Offord type anti-concentration property, is of independent interest. Let $J$ be a subset of vertices of $G$ with $|J|\approx n/d$. Let $δ_i$ be the indicator of the event that the vertex $i$ is connected to $J$ and define $δ= (δ_1, δ_2, ..., δ_n)\in \{0, 1\}^n$. Then for every $v\in\{0,1\}^n$ the probability that $δ=v$ is exponentially small. This property holds even if a part of the graph is "frozen".
2015-10-31 v2
On $\mathcal{D}$-equivalence classes of some graphs
Let $G$ be a simple graph of order $n$. The domination polynomial of $G$ is the polynomial $D(G, x)=\sum_{i=1}^n d(G,i) x^i$, where $d(G,i)$ is the number of dominating sets of $G$ of size $i$. The $n$-barbell graph $Bar_n$ with $2n$ vertices, is formed by joining two copies of a complete graph $K_n$ by a single edge. We prove that for every $n\geq 2$, $Bar_n$ is not $\mathcal{D}$-unique, that is, there is another non-isomorphic graph with the same domination polynomial. More precisely, we show that for every $n$, the $\mathcal{D}$-equivalence class of barbell graph, $[Bar_n]$, contains many graphs, which one of them is the complement of book graph of order $n-1$, $B_{n-1}^c$. Also we present many families of graphs in $\mathcal{D}$-equivalence class of $K_{n_1}\cup K_{n_2}\cup \cdots\cup K_{n_k}$.
Shifted Hecke insertion and the K-theory of OG(n,2n+1)
Published • View Publication • BIB
Patrias and Pylyavskyy introduced shifted Hecke insertion as an application of their theory of dual filtered graphs. We use shifted Hecke insertion to construct symmetric function representatives for the K-theory of the orthogonal Grassmannian. These representatives are closely related to the shifted Grothendieck polynomials of Ikeda and Naruse. We then recover the K-theory structure coefficients of Clifford-Thomas-Yong/Buch-Samuel by introducing a shifted K-theoretic Poirier-Reutenauer algebra. Our proofs depend on the theory of shifted K-theoretic jeu de taquin and the weak K-Knuth relations.
2015-10-30 v2
Finitely Dependent Insertion Processes
Published in Electron. J. Probab. 22 1 - 19, 2017 • View Publication • BIB
A $q$-coloring of $\mathbb Z$ is a random process assigning one of $q$ colors to each integer in such a way that consecutive integers receive distinct colors. A process is $k$-dependent if any two sets of integers separated by a distance greater than $k$ receive independent colorings. Holroyd and Liggett constructed the first stationary $k$-dependent $q$-colorings by introducing an insertion algorithm on the complete graph $K_q$. We extend their construction from complete graphs to weighted directed graphs. We show that complete multipartite analogues of $K_3$ and $K_4$ are the only graphs whose insertion process is finitely dependent and whose insertion algorithm is consistent. In particular, there are no other such graphs among all unweighted graphs and among all loopless complete weighted directed graphs. Similar results hold if the consistency condition is weakened to eventual consistency. Finally we show that the directed de Bruijn graphs of shifts of finite type do not yield $k$-dependent insertion processes, assuming eventual consistency.
2015-10-30 v2
Fractional triangle decompositions of dense 3-partite graphs
Published • View Publication • BIB
We compute a minimum degree threshold sufficient for 3-partite graphs to admit a fractional triangle decomposition. Together with recent work of Barber, Kühn, Lo, Osthus and Taylor, this leads to bounds for exact decompositions and in particular the completion problem for sparse partial latin squares. Some extensions are considered as well.
2015-10-30 v3
Long paths and cycles in random subgraphs of graphs with large minimum degree
Published • View Publication • BIB
For a graph $G$ and $p\in [0,1]$, let $G_p$ arise from $G$ by deleting every edge mutually independently with probability $1-p$. The random graph model $(K_n)_p$ is certainly the most investigated random graph model and also known as the $G(n,p)$-model. We show that several results concerning the length of the longest path/cycle naturally translate to $G_p$ if $G$ is an arbitrary graph of minimum degree at least $n-1$. For a constant $c$, we show that asymptotically almost surely the length of the longest path is at least $(1-(1+ε(c))ce^{-c})n$ for some function $ε(c)\to 0$ as $c\to \infty$, and the length of the longest cycle is a least $(1-O(c^{- \frac{1}{5}}))n$. The first result is asymptotically best-possible. This extents several known results on the length of the longest path/cycle of a random graph in the $G(n,p)$-model.