graph
34828 papers tagged with this keyword
Equitable Colorings of $K\_4$-minor-free Graphs
Published
• View Publication
• BIB
We demonstrate that for every positive integer $Δ$, every K\_4-minor-free graph with maximum degree $Δ$ admits an equitable coloring with k colors wherek $\ge$ ($Δ$+3)/2. This bound is tight and confirms a conjecture by Zhang and Whu. We do not use the discharging method but rather exploit decomposition trees of K 4-minor-free graphs.
A logician's view of graph polynomials
Published
• View Publication
• BIB
Graph polynomials are graph parameters invariant under graph isomorphisms which take values in a polynomial ring with a fixed finite number of indeterminates. We study graph polynomials from a model theoretic point of view. In this paper we distinguish between the graph theoretic (semantic) and the algebraic (syntactic) meaning of graph polynomials. We discuss how to represent and compare graph polynomials by their distinctive power. We introduce the class of graph polynomials definable using Second Order Logic which comprises virtually all examples of graph polynomials with a fixed finite set of indeterminates. Finally we show that the location of zeros and stability of graph polynomials is not a semantic property. The paper emphasizes a model theoretic view and gives a unified exposition of classical results in algebraic combinatorics together with new and some of our previously obtained results scattered in the graph theoretic literature.
Speyer's elegant topological proof for Kasteleyn's Theorem
The purpose of this note is to rephrase Speyer's elegant topological proof for Kasteleyn's Theorem in a simple graph theoretical manner.
Certifying coloring algorithms for graphs without long induced paths
Let $P_k$ be a path, $C_k$ a cycle on $k$ vertices, and $K_{k,k}$ a complete bipartite graph with $k$ vertices on each side of the bipartition. We prove that (1) for any integers $k, t>0$ and a graph $H$ there are finitely many subgraph minimal graphs with no induced $P_k$ and $K_{t,t}$ that are not $H$-colorable and (2) for any integer $k>4$ there are finitely many subgraph minimal graphs with no induced $P_k$ that are not $C_{k-2}$-colorable.
The former generalizes the result of Hell and Huang [Complexity of coloring graphs without paths and cycles, Discrete Appl. Math. 216: 211--232 (2017)] and the latter extends a result of Bruce, Hoang, and Sawada [A certifying algorithm for 3-colorability of $P_5$-Free Graphs, ISAAC 2009: 594--604]. Both our results lead to polynomial-time certifying algorithms for the corresponding coloring problems.
A playful note on spanning and surplus edges
Consider a (not necessarily near-critical) random graph running in continuous time. A recent breadth-first-walk construction is extended in order to account for the surplus edge data in addition to the spanning edge data. Two different graph representations of the multiplicative coalescent, with different advantages and drawbacks, are discussed in detail. A canonical multi-graph of Bhamidi, Budhiraja and Wang (2014) naturally emerges. The presented framework should facilitate understanding of scaling limits with surplus edges for near-critical random graphs in the domain of attraction of general (not necessarily standard) eternal multiplicative coalescent.
Weighted sheaves and homology of Artin groups
Published in Algebr. Geom. Topol. 18 (2018) 3943-4000
• View Publication
• BIB
In this paper we expand the theory of weighted sheaves over posets, and use it to study the local homology of Artin groups. First, we use such theory to relate the homology of classical braid groups with the homology of certain independence complexes of graphs. Then, in the context of discrete Morse theory on weighted sheaves, we introduce a particular class of acyclic matchings. Explicit formulas for the homology of the corresponding Morse complexes are given, in terms of the ranks of the associated incidence matrices. We use such method to perform explicit computations for the new affine case $\tilde C_n$, as well as for the cases $A_n$, $B_n$ and $\tilde{A}_n$ (which were already done before by different methods).
The Constructions of directed strongly regular graph by algebraic method
The concept of directed strongly regular graphs (DSRG) was introduced by Duval in "A Directed Graph Version of Strongly Regular Graphs" [Journal of Combinatorial Theory, Series A 47(1988)71-100]. Duval also provided several construction methods for directed strongly regular graphs. In this paper, We construct several new classes of directed strongly regular graphs which are obtained by using Kronecker matrix product, Semidirect product and Cayley coset graph. At the same time, using group representation, for two special cases, we give some other sufficient and necessary conditions of Cayley graphs to be DSRG. At last, we finish this paper with a discussion of some propositions of in(out)-neighbours and automorphism group in directed strongly regular graphs.
The spectral radius of graphs with no $K_{2,t}$ minor
Published
• View Publication
• BIB
Let $t\geq3$ and $G$ be a graph of order $n,$ with no $K_{2,t}$ minor. If $n>400t^{6}$, then the spectral radius $μ\left( G\right) $ satisfies \[ μ\left( G\right) \leq\frac{t-1}{2}+\sqrt{n+\frac{t^{2}-2t-3}{4}}, \] with equality if and only if $n\equiv1$ $(\operatorname{mod}$ $t)$ and $G=K_{1}\vee\left\lfloor n/t\right\rfloor K_{t}$.
For $t=3$ the maximum $μ\left( G\right) $ is found exactly for any $n>40000$.
Distinguishing number and distinguishing index of strong product of two graphs
The distinguishing number (index) $D(G)$ ($D'(G)$) of a graph $G$ is the least integer $d$ such that $G$ has an vertex labeling (edge labeling) with $d$ labels that is preserved only by a trivial automorphism. The strong product $G\boxtimes H$ of two graphs $G$ and $H$ is the graph with vertex set $V (G)\times V (H)$ and edge set $\{\{(x_1, x_2), (y_1, y_2)\} | x_iy_i \in E(G_i) ~{\rm or}~ x_i = y_i ~{\rm for~ each}~ 1 \leq i \leq 2.\}$. In this paper we study the distinguishing number and the distinguishing index of strong product of two graphs. We prove that for every $k \geq 2$, the $k$-th strong power of a connected $S$-thin graph $G$ has distinguishing index equal 2.
Fibonacci words in hyperbolic Pascal triangles
The hyperbolic Pascal triangle ${\cal HPT}_{4,q}$ $(q\ge5)$ is a new mathematical construction, which is a geometrical generalization of Pascal's arithmetical triangle. In the present study we show that a natural pattern of rows of ${\cal HPT}_{4,5}$ is almost the same as the sequence consisting of every second term of the well-known Fibonacci words. Further, we give a generalization of the Fibonacci words using the hyperbolic Pascal triangles. The geometrical properties of a ${\cal HPT}_{4,q}$ imply a graph structure between the finite Fibonacci words.
Direction sets, Lipschitz graphs and density
We consider the direction set determined by various subsets $E$ of Euclidean space and show that there is a trichotomy: Either (i) The subset is the graph of a Lipschitz function and the direction set is not dense in the sphere, (ii) The subset is the graph of a non-Lipschitz function and the direction set is dense but not everything, or (iii) The subset is not a graph (in a suitable sense) and every direction is determined by the set. We then explore a variety of results based on this trichotomy under additional assumptions on the set $E$.
Volume computation for sparse boolean quadric relaxations
Published
• View Publication
• BIB
Motivated by understanding the quality of tractable convex relaxations of intractable polytopes, Ko et al. gave a closed-form expression for the volume of a standard relaxation $\mathscr{Q}(G)$ of the boolean quadric polytope (also known as the (full) correlation polytope) $\mathscr{P}(G)$ of the complete graph $G=K_n$. We extend this work to structured sparse graphs, giving: (i) an efficient algorithm for $vol(\mathscr{Q}(G))$ when $G$ has bounded tree width, (ii) closed-form expressions (and asymptotic behaviors) for $vol(\mathscr{Q}(G))$ for all stars, paths, and cycles, and (iii) a closed-form expression for $vol(\mathscr{P}(G))$ for all cycles. Further, we demonstrate that when $G$ is a cycle, the simple relaxation $\mathscr{Q}(G)$ is a very close model for the much more complicated $\mathscr{P}(G)$. Additionally, we give some computational results demonstrating that this behavior of the cycle seems to extend to more complicated graphs. Finally, we speculate on the possibility of extending some of our results to cactii or even series-parallel graphs.
Steiner Distance in Product Networks
Published in Discrete Mathematics & Theoretical Computer Science, vol. 20 no. 2, Graph Theory (October 23, 2018) dmtcs:3175
• View Publication
• BIB
For a connected graph $G$ of order at least $2$ and $S\subseteq V(G)$, the \emph{Steiner distance} $d_G(S)$ among the vertices of $S$ is the minimum size among all connected subgraphs whose vertex sets contain $S$. Let $n$ and $k$ be two integers with $2\leq k\leq n$. Then the \emph{Steiner $k$-eccentricity $e_k(v)$} of a vertex $v$ of $G$ is defined by $e_k(v)=\max \{d_G(S)\,|\,S\subseteq V(G), \ |S|=k, \ and \ v\in S\}$. Furthermore, the \emph{Steiner $k$-diameter} of $G$ is $sdiam_k(G)=\max \{e_k(v)\,|\, v\in V(G)\}$. In this paper, we investigate the Steiner distance and Steiner $k$-diameter of Cartesian and lexicographical product graphs. Also, we study the Steiner $k$-diameter of some networks.
Distance-Uniform Graphs with Large Diameter
Published
• View Publication
• BIB
An $ε$-distance-uniform graph is one in which from every vertex, all but an $ε$-fraction of the remaining vertices are at some fixed distance $d$, called the critical distance. We consider the maximum possible value of $d$ in an $ε$-distance-uniform graph with $n$ vertices. We show that for $\frac1n \le ε\le \frac1{\log n}$, there exist $ε$-distance-uniform graphs with critical distance $2^{Ω(\frac{\log n}{\log ε^{-1}})}$, disproving a conjecture of Alon et al. that $d$ can be at most logarithmic in $n$. We also show that our construction is best possible, in the sense that an upper bound on $d$ of the form $2^{O(\frac{\log n}{\log ε^{-1}})}$ holds for all $ε$ and $n$.
Theta Graph Designs
We solve the design spectrum problem for all theta graphs with 10, 11, 12, 13, 14 and 15 edges
On the intersection graph of ideals of $\mathbb{Z}_m$
Published
• View Publication
• BIB
Let $m>1$ be an integer, and let $I(\mathbb{Z}_m)^*$ be the set of all non-zero proper ideals of $\mathbb{Z}_m$. The intersection graph of ideals of $\mathbb{Z}_m$, denoted by $G(\mathbb{Z}_m)$, is a graph with vertices $I(\mathbb{Z}_m)^*$ and two distinct vertices $I,J\in I(\mathbb{Z}_m)^*$ are adjacent if and only if $I\cap J\neq 0$. Let $n>1$ be an integer and $\mathbb{Z}_n$ be a $\mathbb{Z}_m$-module. In this paper, we introduce and study a kind of graph structure of $\mathbb{Z}_m$, denoted by $G_n(\mathbb{Z}_m)$. It is the undirected graph with the vertex set $I(\mathbb{Z}_m)^*$, and two distinct vertices $I$ and $J$ are adjacent if and only if $I\mathbb{Z}_n\cap J\mathbb{Z}_n\neq 0$. Clearly, $G_m(\mathbb{Z}_m)=G(\mathbb{Z}_m)$. We obtain some graph theoretical properties of $G_n(\mathbb{Z}_m)$ and we compute some of its numerical invariants, namely girth, independence number, domination number, maximum degree and chromatic index. We also determine all integer numbers $n$ and $m$ for which $G_n(\mathbb{Z}_m)$ is Eulerian.
Virtually fibering random right-angled Coxeter groups
Published
• View Publication
• BIB
We show that the Right-Angled Coxeter group $C=C(G)$ associated to a random graph $G\sim \mathcal{G}(n,p)$ with $\frac{\log n + \log\log n + ω(1)}{n} \leq p < 1- ω(n^{-2})$ virtually algebraically fibers. This means that $C$ has a finite index subgroup $C'$ and a finitely generated normal subgroup $N\subset C'$ such that $C'/N \cong \mathbb{Z}$. We also obtain the corresponding hitting time statements, more precisely, we show that as soon as $G$ has minimum degree at least 2 and as long as it is not the complete graph, then $C(G)$ virtually algebraically fibers. The result builds upon the work of Jankiewicz, Norin, and Wise and it is essentially best possible.
Coloring ($P_6$, diamond, $K_4$)-free graphs
We show that every ($P_6$, diamond, $K_4$)-free graph is $6$-colorable. Moreover, we give an example of a ($P_6$, diamond, $K_4$)-free graph $G$ with $χ(G) = 6$. This generalizes some known results in the literature.
On automorphisms and fixing number of co-normal product of graphs
Published
• View Publication
• BIB
An automorphism of a graph describes its structural symmetry and the concept of fixing number of a graph is used for breaking its symmetries (except the trivial one). In this paper, we evaluate automorphisms of the co-normal product graph $G_1\ast G_2$ of two simple graphs $G_1$ and $G_2$ and give sharp bounds on the order of its automorphism group. We study the fixing number of $G_1\ast G_2$ and prove sharp bounds on it. Moreover, we compute the fixing number of the co-normal product of some families of graphs.
The Hilton--Zhao Conjecture is True for Graphs with Maximum Degree 4
Published in SIAM Journal on Discrete Math. 33(3), 2019, pp. 1228-1241
• View Publication
• BIB
A simple graph $G$ is \emph{overfull} if $|E(G)|>Δ\lfloor|V(G)|/2\rfloor$. By the pigeonhole principle, every overfull graph $G$ has $χ'(G)>Δ$. The \emph{core} of a graph, denoted $G_Δ$, is the subgraph induced by its vertices of degree $Δ$. Vizing's Adjacency Lemma implies that if $χ'(G)>Δ$, then $G_Δ$ contains cycles. Hilton and Zhao conjectured that if $G_Δ$ has maximum degree 2 and $Δ\ge 4$, then $χ'(G)>Δ$ precisely when $G$ is overfull. We prove this conjecture for the case $Δ=4$.