graph
34828 papers tagged with this keyword
On xD-Generalizations of Stirling Numbers and Lah Numbers via Graphs and Rooks
Published
• View Publication
• BIB
This paper studies the generalizations of the Stirling numbers of both kinds and the Lah numbers in association with the normal order problem in the Weyl algebra $W=\langle x,D|Dx-xD=1\rangle$. Any word $ω\in W$ with $m$ $x$'s and $n$ $D$'s can be expressed in the normally ordered form $ω=x^{m-n}\sum_{k\ge 0} {ω\brace {k}} x^{k}D^{k}$, where ${ω\brace {k}}$ is known as the Stirling number of the second kind for the word $ω$. This study considers the expansions of restricted words $ω$ in $W$ over the sequences $\{(xD)^{k}\}_{k\ge 0}$ and $\{xD^{k}x^{k-1}\}_{k\ge 0}$. Interestingly, the coefficients in individual expansions turn out to be generalizations of the Stirling numbers of the first kind and the Lah numbers. The coefficients will be determined through enumerations of some combinatorial structures linked to the words $ω$, involving decreasing forest decompositions of quasi-threshold graphs and non-attacking rook placements on Ferrers boards. Extended to $q$-analogues, weighted refinements of the combinatorial interpretations are also investigated for words in the $q$-deformed Weyl algebra.
Coloring graphs of various maximum degree from random lists
Published
• View Publication
• BIB
Let $G=G(n)$ be a graph on $n$ vertices with maximum degree $Δ=Δ(n)$. Assign to each vertex $v$ of $G$ a list $L(v)$ of colors by choosing each list independently and uniformly at random from all $k$-subsets of a color set $\mathcal{C}$ of size $σ= σ(n)$. Such a list assignment is called a \emph{random $(k,\mathcal{C})$-list assignment}. In this paper, we are interested in determining the asymptotic probability (as $n \to \infty$) of the existence of a proper coloring $\varphi$ of $G$, such that $\varphi(v) \in L(v)$ for every vertex $v$ of $G$, a so-called $L$-coloring. We give various lower bounds on $σ$, in terms of $n$, $k$ and $Δ$, which ensures that with probability tending to 1 as $n \to \infty$ there is an $L$-coloring of $G$. In particular, we show, for all fixed $k$ and growing $n$, that if $σ(n) = ω(n^{1/k^2} Δ^{1/k})$ and $Δ=O\left(n^{\frac{k-1}{k(k^3+ 2k^2 - k +1)}}\right)$, then the probability that $G$ has an $L$-coloring tends to 1 as $n \rightarrow \infty$. If $k\geq 2$ and $Δ= Ω(n^{1/2})$, then the same conclusion holds provided that $σ=ω(Δ)$. We also give related results for other bounds on $Δ$, when $k$ is constant or a strictly increasing function of $n$.
A Structural Characterization for Certifying Robinsonian Matrices
Published
• View Publication
• BIB
A symmetric matrix is Robinsonian if its rows and columns can be simultaneously reordered in such a way that entries are monotone nondecreasing in rows and columns when moving toward the diagonal. The adjacency matrix of a graph is Robinsonian precisely when the graph is a unit interval graph, so that Robinsonian matrices form a matrix analogue of the class of unit interval graphs. Here we provide a structural characterization for Robinsonian matrices in terms of forbidden substructures, extending the notion of asteroidal triples to weighted graphs. This implies the known characterization of unit interval graphs and leads to an efficient algorithm for certifying that a matrix is not Robinsonian.
Linear Hypergraph List Edge Coloring - Generalizations of the EFL Conjecture to List Coloring
Published
• View Publication
• BIB
Motivated by the Erdős-Faber-Lovász (EFL) conjecture for hypergraphs, we consider the list edge coloring of linear hypergraphs. We discuss several conjectures for list edge coloring linear hypergraphs that generalize both EFL and Vizing's theorem for graphs. For example, we conjecture that in a linear hypergraph of rank 3, the list edge chromatic number is at most 2 times the maximum degree plus 1. We show that for sufficiently large fixed rank and sufficiently large degree, the conjectures are true.
Partition functions and a generalized coloring-flow duality for embedded graphs
Published in Journal of Graph Theory, 88(2) (2018), 271-283
• View Publication
• BIB
Let $G$ be a finite group and $χ: G \rightarrow \mathbb{C}$ a class function. Let $H = (V,E)$ be a directed graph with for each vertex a cyclic order of the edges incident to it. The cyclic orders give a collection $F$ of faces of $H$. Define the partition function $P_χ(H) := \sum_{κ: E \rightarrow G}\prod_{v \in V}χ(κ(δ(v)))$, where $κ(δ(v))$ denotes the product of the $κ$-values of the edges incident with $v$ (in order), where the inverse is taken for any edge leaving $v$. Write $χ= \sum_λm_λχ_λ$, where the sum runs over irreducible representations $λ$ of $G$ with character $χ_λ$ and with $m_λ \in \mathbb{C}$ for every $λ$. If $H$ is connected, it is proved that $P_χ(H) = |G|^{|E|}\sum_λχ_λ(1)^{|F|-|E|}m_λ^{|V|}$, where $1$ is the identity element of $G$. Among the corollaries, a formula for the number of nowhere-identity $G$-flows on $H$ is derived, generalizing a result of Tutte. We show that these flows correspond bijectively to certain proper $G$-colorings of a covering graph of the dual graph of $H$. This correspondence generalizes coloring-flow duality for planar graphs.
Computing optimal strategy for cop in the game of Cop v.s. Gambler
We present two efficient algorithms that compute the optimal strategy for cop in the game of Cop v.s. Gambler where the gambler's strategy is not optimal but known to the cop. The first algorithm is analogous to Bellman-Ford algorithm for single source shortest path problem and runs in $O(|V(G)||E(G)|)$ time. The second is analogous to Dijkstra's algorithm and runs in $O(|E(G)|+|V(G)|\log |V(G)|)$ time. Compared with each other, they are more suitable for sparse and dense graphs, respectively.
Loop conditions
We discuss such Maltsev conditions that consist of just one linear equation, we call them loop conditions. To every such condition can be assigned a graph. We provide a classification of conditions with undirected graphs. It follows that the Siggers term is the weakest non-trivial loop condition.
The number of triple systems without even cycles
Published
• View Publication
• BIB
For $k \ge 4$, a loose $k$-cycle $C_k$ is a hypergraph with distinct edges $e_1, e_2, \ldots, e_k$ such that consecutive edges (modulo $k$) intersect in exactly one vertex and all other pairs of edges are disjoint. Our main result is that for every even integer $k \ge 4$, there exists $c>0$ such that the number of triple systems with vertex set $[n]$ containing no $C_{k}$ is at most $2^{cn^2}$.
An easy construction shows that the exponent is sharp in order of magnitude. This may be viewed as a hypergraph extension of the work of Morris and Saxton, who proved the analogous result for graphs which was a longstanding problem. For $r$-uniform hypergraphs with $r>3$, we improve the trivial upper bound but fall short of obtaining the order of magnitude in the exponent, which we conjecture is $n^{r-1}$.
Our proof method is different than that used for most recent results of a similar flavor about enumerating discrete structures, since it does not use hypergraph containers. One novel ingredient is the use of some (new) quantitative estimates for an asymmetric version of the bipartite canonical Ramsey theorem.
Bounds on parameters of minimally non-linear patterns
Published
• View Publication
• BIB
Let $ex(n, P)$ be the maximum possible number of ones in any 0-1 matrix of dimensions $n \times n$ that avoids $P$. Matrix $P$ is called minimally non-linear if $ex(n, P) = ω(n)$ but $ex(n, P') = O(n)$ for every strict subpattern $P'$ of $P$. We prove that the ratio between the length and width of any minimally non-linear 0-1 matrix is at most $4$, and that a minimally non-linear 0-1 matrix with $k$ rows has at most $5k-3$ ones. We also obtain an upper bound on the number of minimally non-linear 0-1 matrices with $k$ rows.
In addition, we prove corresponding bounds for minimally non-linear ordered graphs. The minimal non-linearity that we investigate for ordered graphs is for the extremal function $ex_{<}(n, G)$, which is the maximum possible number of edges in any ordered graph on $n$ vertices with no ordered subgraph isomorphic to $G$.
Lp expander Complexes
We discuss two combinatorical ways of generalizing the definition of expander graphs and Ramanujan graphs, to quotients of buildings of higher dimension. The two possible definitions are equivalent for affine buildings, giving the notion of an Lp-expander complex. We calculate explicit spectral gaps on many combinatorical operators, on any Lp-expander complex.
We associate with any complex a natural "zeta function", generalizing the Ihara-Hashimoto zeta function of a finite graph. We generalize a well known theorem of Hashimoto, showing that a complex is Ramanujan if and only if the zeta function satisfies the Riemann hypothesis.
Fast counting of medium-sized rooted subgraphs
We prove that counting copies of any graph $F$ in another graph $G$ can be achieved using basic matrix operations on the adjacency matrix of $G$. Moreover, the resulting algorithm is competitive for medium-sized $F$: our algorithm recovers the best known complexity for rooted 6-clique counting and improves on the best known for 9-cycle counting. Underpinning our proofs is the new result that, for a general class of graph operators, matrix operations are homomorphisms for operations on rooted graphs.
Some problems on induced subgraphs
Published in Discrete Applied Mathematics, 236 (2018) 422-427
• View Publication
• BIB
We discuss some problems related to induced subgraphs. The first problem is about getting a good upper bound for the chromatic number in terms of the clique number for graphs in which every induced cycle has length $3$ or $4$. The second problem is about the perfect chromatic number of a graph, which is the smallest number of perfect sets into which the vertex set of a graph can be partitioned. (A set of vertices is said to be perfect it it induces a perfect graph.) The third problem is on antichains in the induced subgraph ordering. The fourth problem is on graphs in which the difference between the chromatic number and the clique number is at most one for every induced subgraph of the graph. The fifth problem is on a weakening of the notorious Erdős-Hajnal conjecture. The last problem is on a conjecture of Gyárfás about $χ$-boundedness of a particular class of graphs.
Circular Separation Dimension of a Subclass of Planar Graphs
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 19 no. 3, Graph Theory (November 3, 2017) dmtcs:2661
• View Publication
• BIB
A pair of non-adjacent edges is said to be separated in a circular ordering of vertices, if the endpoints of the two edges do not alternate in the ordering. The circular separation dimension of a graph $G$, denoted by $π^\circ(G)$, is the minimum number of circular orderings of the vertices of $G$ such that every pair of non-adjacent edges is separated in at least one of the circular orderings. This notion is introduced by Loeb and West in their recent paper. In this article, we consider two subclasses of planar graphs, namely $2$-outerplanar graphs and series-parallel graphs. A $2$-outerplanar graph has a planar embedding such that the subgraph obtained by removal of the vertices of the exterior face is outerplanar. We prove that if $G$ is $2$-outerplanar then $π^\circ(G) = 2$. We also prove that if $G$ is a series-parallel graph then $π^\circ(G) \leq 2$.
On the boundary of the region defined by homomorphism densities
Published
• View Publication
• BIB
The Kruskal-Katona theorem together with a theorem of Razborov determine the closure of the set of points defined by the homomorphism density of the edge and the triangle in finite graphs. The boundary of this region is a countable union of algebraic curves, and in particular, it is almost everywhere differentiable. One can more generally consider the region defined by the homomorphism densities of a list of given graphs, and ask whether the boundary is as well-behaved as in the case of the triangle and the edge. Towards answering this question in the negative, we construct examples which show that the restrictions of the boundary to certain hyperplanes can have nowhere differentiable parts.
Many cliques in $H$-free subgraphs of random graphs
Published
• View Publication
• BIB
For two fixed graphs $T$ and $H$ let $ex(G(n,p),T,H)$ be the random variable counting the maximum number of copies of $T$ in an $H$-free subgraph of the random graph $G(n,p)$. We show that for the case $T=K_m$ and $χ(H)> m$ the behavior of $ex(G(n,p),K_m,H)$ depends strongly on the relation between $p$ and $m_2(H)=\max_{H'\subset H, |V(H')|'\geq 3}\left\{ \frac{e(H')-1}{v(H')-2} \right\}$.
When $m_2(H)> m_2(K_m)$ we prove that with high probability, depending on the value of $p$, either one can maintain almost all copies of $K_m$, or it is asymptotically best to take a $χ(H)-1$ partite subgraph of $G(n,p)$. The transition between these two behaviors occurs at $p=n^{-1/m_2(H)}$. When $m_2(H)< m_2(K_m)$ we show that the above cases still exist, however for $δ>0$ small at $p=n^{-1/m_2(H)+δ}$ one can typically still keep most of the copies of $K_m$ in an $H$-free subgraph of $G(n,p)$. Thus, the transition between the two behaviors in this case occurs at some $p$ significantly bigger than $n^{-1/m_2(H)}$.
To show that the second case is not redundant we present a construction which may be of independent interest. For each $k \geq 4$ we construct a family of $k$ chromatic graphs $G(k,ε_i)$ where $m_2(G(k,ε_i))$ tends to $\frac{(k+1)(k-2)}{2(k-1)} (< m_2(K_{k-1}))$ as $i$ tends to infinity. This is tight for all values of $k$
Decomposition spaces in Combinatorics
A decomposition space (also called 2-Segal space) is a simplicial object satisfying an exactness condition weaker than the Segal condition: just as the Segal condition expresses composition, the new condition expresses decomposition. It is a general framework for incidence (co)algebras. In this contribution, after establishing a formula for the section coefficients, we survey a large supply of examples, emphasising the notion's firm roots in classical combinatorics. The first batch of examples, similar to binomial posets, serves to illustrate 2 key points: (1) the incidence algebra in question is realised directly from a decomposition space, without a reduction step, and reductions are often given by CULF functors; (2) at the objective level, the convolution algebra is a monoidal structure of species. We encounter the usual Cauchy product of species, the shuffle product of L-species, the Dirichlet product of arithmetic species, the Joyal-Street external product of q-species and the Morrison `Cauchy' product of q-species. In each case a power series representation results from taking cardinality. The external product of q-species exemplifies the fact that Waldhausen's S-construction on an abelian category is a decomposition space, yielding Hall algebras. The next class of examples includes Schmitt's chromatic Hopf algebra, the Faà di Bruno bialgebra, the Butcher-Connes-Kreimer Hopf algebra of trees and variations from operad theory. Similar structures on posets and directed graphs exemplify a general construction of decomposition spaces from directed restriction species. An appetiser on decomposition spaces of symmetric functions is included. We finish by computing the Möbius function in a few cases, and commenting on certain cancellations that occur in the process of taking cardinality, substantiating that these cancellations are not possible at the objective level.
Graph Information Ratio
Published
• View Publication
• BIB
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.
Pancyclicity when each cycle contains k chords
Published
• View Publication
• BIB
For integers $n \geq k \geq 2$, let $c(n,k)$ be the minimum number of chords that must be added to a cycle of length $n$ so that the resulting graph has the property that for every $l \in \{ k , k + 1 , \dots , n \}$, there is a cycle of length $l$ that contains exactly $k$ of the added chords. Affif Chaouche, Rutherford, and Whitty introduced the function $c(n,k)$. They showed that for every integer $k \geq 2$, $c(n , k ) \geq Ω_k ( n^{1/k} )$ and they asked if $n^{1/k}$ gives the correct order of magnitude of $c(n, k)$ for $k \geq 2$. Our main theorem answers this question as we prove that for every integer $k \geq 2$, and for sufficiently large $n$, $c(n , k) \leq k \lceil n^{1/k} \rceil + k^2$. This upper bound, together with the lower bound of Affif Chaouche et.\ al., shows that the order of magnitude of $c(n,k)$ is $n^{1/k}$.
Making Bipartite Graphs DM-irreducible
The Dulmage--Mendelsohn decomposition (or the DM-decomposition) gives a unique partition of the vertex set of a bipartite graph reflecting the structure of all the maximum matchings therein. A bipartite graph is said to be DM-irreducible if its DM-decomposition consists of a single component.
In this paper, we focus on the problem of making a given bipartite graph DM-irreducible by adding edges. When the input bipartite graph is balanced (i.e., both sides have the same number of vertices) and has a perfect matching, this problem is equivalent to making a directed graph strongly connected by adding edges, for which the minimum number of additional edges was characterized by Eswaran and Tarjan (1976).
We give a general solution to this problem, which is divided into three parts. We first show that our problem can be formulated as a special case of a general framework of covering supermodular functions, which was introduced by Frank and Jordán (1995) to investigate the directed connectivity augmentation problem. Secondly, when the input graph is not balanced, the problem is solved via matroid intersection. This result can be extended to the minimum cost version in which the addition of an edge gives rise to an individual cost. Thirdly, for balanced input graphs, we devise a combinatorial algorithm that finds a minimum number of additional edges to attain the DM-irreducibility, while the minimum cost version of this problem is NP-hard. These results also lead to min-max characterizations of the minimum number, which generalize the result of Eswaran and Tarjan.
An algebraic approach to lifts of digraphs
We study the relationship between two key concepts in the theory of (di)graphs: the quotient digraph, and the lift $Γ^α$ of a base (voltage) digraph. These techniques contract or expand a given digraph in order to study its characteristics, or obtain more involved structures. This study is carried out by introducing a quotient-like matrix, with complex polynomial entries, which fully represents $Γ^α$. In particular, such a matrix gives the quotient matrix of a regular partition of $Γ^α$, and when the involved group is Abelian, it completely determines the spectrum of $Γ^α$. As some examples of our techniques, we study some basic properties of the Alegre digraph. In addition we completely characterize the spectrum of a new family of digraphs, which contains the generalized Petersen graphs, and that of the Hoffman-Singleton graph.