graph
35299 papers tagged with this keyword
A Sane Proof that COLk \le COL3
Let COLk be the set of all k-colorable graphs. It is easy to show that if a<b then COLa \le COLb (poly time reduction). Using the Cook-Levin theorem it is easy to show that if 3 \le a< b then COLb \le COLa. However this proof is insane in that it translates a graph to a formula and then the formula to a graph. We give a simple proof that COLk \le COL3.
A Study on Topological Integer Additive Set-Labeling of Graphs
Published in ELectronic Journal of Graph Theory and Applications, Vol. 3, Issue.1, 2015, pp. 70-84
• View Publication
• BIB
A set-labeling of a graph $G$ is an injective function $f:V(G)\to \mathcal{P}(X)$, where $X$ is a finite set and a set-indexer of $G$ is a set-labeling such that the induced function $f^{\oplus}:E(G)\to \mathcal{P}(X)-\{\emptyset\}$ defined by $f^{\oplus}(uv) = f(u){\oplus}f(v)$ for every $uv{\in} E(G)$ is also injective. Let $G$ be a graph and let $X$ be a non-empty set. A set-indexer $f:V(G)\to \mathcal{P}(X)$ is called a topological set-labeling of $G$ if $f(V(G))$ is a topology of $X$. An integer additive set-labeling is an injective function $f:V(G)\to \mathcal{P}(\mathbb{N}_0)$, whose associated function $f^+:E(G)\to \mathcal{P}(\mathbb{N}_0)$ is defined by $f(uv)=f(u)+f(v), uv\in E(G)$, where $\mathbb{N}_0$ is the set of all non-negative integers and $\mathcal{P}(\mathbb{N}_0)$ is its power set. An integer additive set-indexer is an integer additive set-labeling such that the induced function $f^+:E(G) \to \mathcal{P}(\mathbb{N}_0)$ defined by $f^+ (uv) = f(u)+ f(v)$ is also injective. In this paper, we extend the concepts of topological set-labeling of graphs to topological integer additive set-labeling of graphs.
Linear programming bounds for regular graphs
Published
• View Publication
• BIB
Delsarte, Goethals, and Seidel (1977) used the linear programming method in order to find bounds for the size of spherical codes endowed with prescribed inner products between distinct points in the code. In this paper, we develop the linear programming method to obtain bounds for the number of vertices of connected regular graphs endowed with given distinct eigenvalues. This method is proved by some "dual" technique of the spherical case, motivated from the theory of association scheme. As an application of this bound, we prove that a connected $k$-regular graph satisfying $g>2d-1$ has the minimum second-largest eigenvalue of all $k$-regular graphs of the same size, where $d$ is the number of distinct non-trivial eigenvalues, and $g$ is the girth. The known graphs satisfying $g>2d-1$ are Moore graphs, incidence graphs of regular generalized polygons of order $(s,s)$, triangle-free strongly regular graphs, and the odd graph of degree $4$.
Lifts, derandomization, and diameters of Schreier graphs of Mealy automata
Published
• View Publication
• BIB
It is known that random 2-lifts of graphs give rise to expander graphs. We present a new conjectured derandomization of this construction based on certain Mealy automata. We verify that these graphs have polylogarithmic diameter, and present a class of automata for which the same is true. However, we also show that some automata in this class do not give rise to expander graphs.
Note on the upper bound of the rainbow index of a graph
Published
• View Publication
• BIB
A path in an edge-colored graph $G$, where adjacent edges may be colored the same, is a rainbow path if every two edges of it receive distinct colors. The rainbow connection number of a connected graph $G$, denoted by $rc(G)$, is the minimum number of colors that are needed to color the edges of $G$ such that there exists a rainbow path connecting every two vertices of $G$. Similarly, a tree in $G$ is a rainbow~tree if no two edges of it receive the same color. The minimum number of colors that are needed in an edge-coloring of $G$ such that there is a rainbow tree connecting $S$ for each $k$-subset $S$ of $V(G)$ is called the $k$-rainbow index of $G$, denoted by $rx_k(G)$, where $k$ is an integer such that $2\leq k\leq n$. Chakraborty et al. got the following result: For every $ε> 0$, a connected graph with minimum degree at least $εn$ has bounded rainbow connection, where the bound depends only on $ε$. Krivelevich and Yuster proved that if $G$ has $n$ vertices and the minimum degree $δ(G)$ then $rc(G)<20n/δ(G)$. This bound was later improved to $3n/(δ(G)+1)+3$ by Chandran et al. Since $rc(G)=rx_2(G)$, a natural problem arises: for a general $k$ determining the true behavior of $rx_k(G)$ as a function of the minimum degree $δ(G)$. In this paper, we give upper bounds of $rx_k(G)$ in terms of the minimum degree $δ(G)$ in different ways, namely, via Szemerédi's Regularity Lemma, connected $2$-step dominating sets, connected $(k-1)$-dominating sets and $k$-dominating sets of $G$.
The phase transition in the multi-type binomial random graph $G(\mathbf{n},P)$
Published in SIAM J. Discrete Math. 29 (2015), no. 2, 1042-1064
• View Publication
• BIB
We determine the asymptotic size of the largest component in the $2$-type binomial random graph $G(\mathbf{n},P)$ near criticality using a refined branching process approach. In $G(\mathbf{n},P)$ every vertex has one of two types, the vector $\mathbf{n}$ describes the number of vertices of each type, and any edge $\{u,v\}$ is present independently with a probability that is given by an entry of the probability matrix $P$ according to the types of $u$ and $v.$ We prove that in the weakly supercritical regime, i.e. if the distance to the critical point of the phase transition is given by an $\varepsilon=\varepsilon(\mathbf{n})\to0,$ with probability $1-o(1),$ the largest component in $G(\mathbf{n},P)$ contains asymptotically $2\varepsilon \|\mathbf{n}\|_1$ vertices and all other components are of size $o(\varepsilon \|\mathbf{n}\|_1).$
On vertex-uniprimitive non-Cayley graphs of order pq
Let $p$ and $q$ be distinct odd primes. Let $Γ=(V(Γ), E(Γ))$ be a non-Cayley vertex-transitive graph of order $pq.$ Let $G\leq \Aut(Γ)$ acts primitively on the vertex set $V(Γ)$. In this paper, we show that $G$ is uniprimitive which is primitive but not 2-transitive and we obtain some information about $p, q$ and the minimality of the Socle $T=\soc(G).$
Plünnecke inequalities for measure graphs with applications
Published
• View Publication
• BIB
We generalize Petridis's new proof of Plünnecke's graph inequality to graphs whose vertex set is a measure space. Consequently, this gives new Plünnecke inequalities for measure preserving actions which enable us to deduce, via a Furstenberg correspondence principle, Banach density estimates in countable abelian groups that improve on those given by Jin.
Tight Chromatic Upper Bound for {3K1, K1+C4}-free Graphs
Problem of finding an optimal upper bound for the chromatic no. of 3K1-free graphs is still open and pretty hard. It was proved by Choudum et al that an upper bound on the chromatic no. of {3K1, K1+C4}-free graphs, is 2ω. We improve this by proving that if G is {3K1, K1+C4}-free, then its chromatic no. is less than or equal to 3ω divided by 2, where ω is the size of a maximum clique in G. Also we give examples to show that this bound is tight.
Spectral radius minus average degree: a better bound
Collatz and Sinogowitz had proposed to measure the departure of a graph $G$ from regularity by the difference of the (adjacency) spectral radius and the average degree: $ε(G)=ρ(G)-\frac{2m}{n}$. We give here new lower bounds on this quantity, which improve upon the currently known ones.
On the number of antichains of sets in a finite universe
Properties of intervals in the lattice of antichains of subsets of a universe of finite size are investigated. New objects and quantities in this lattice are defined. Expressions and numerical values are deduced for the number of connected antichains and the number of fully distinguishing antichains. The latter establish a connection with Stirling numbers of the second kind. Decomposition properties of intervals in the lattice of antichains are proven. A new operator allowing partitioning the full lattice in intervals derived from lower dimensional sub-lattices is introduced. Special posets underlying an interval of antichains are defined. The poset allows the derivation of a powerful formula for the size of an interval. This formula allows computing intervals in the six dimensional space. Combinatorial coefficients allowing another decomposition of the full lattice are defined. In some specific cases, related to connected components in graphs, these coefficients can be efficiently computed. This formula allows computing the size of the lattice of order 8 efficiently. This size is the number of Dedekind of order 8, the largest one known so far.
Divisibility graph for symmetric and alternating groups
Published
• View Publication
• BIB
Let $X$ be a non-empty set of positive integers and $X^*=X\setminus \{1\}$. The divisibility graph $D(X)$ has $X^*$ as the vertex set and there is an edge connecting $a$ and $b$ with $a, b\in X^*$ whenever $a$ divides $b$ or $b$ divides $a$. Let $X=cs~{G}$ be the set of conjugacy class sizes of a group $G$. In this case, we denote $D(cs~{G})$ by $D(G)$. In this paper we will find the number of connected components of $D(G)$ where $G$ is the symmetric group $S_n$ or is the alternating group $A_n$.
On divisibility graph for simple Zassenhaus groups
The divisibility graph $D(G)$ for a finite group $G$ is a graph with vertex set $cs~(G)\setminus\{1\}$ where $cs~(G)$ is the set of conjugacy class sizes of $G$. Two vertices $a$ and $b$ are adjacent whenever $a$ divides $b$ or $b$ divides $a$. In this paper we will find $D(G)$ where $G$ is a simple Zassenhaus group.
Extension from Precoloured Sets of Edges
Published
• View Publication
• BIB
We consider precolouring extension problems for proper edge-colourings of graphs and multigraphs, in an attempt to prove stronger versions of Vizing's and Shannon's bounds on the chromatic index of (multi)graphs in terms of their maximum degree $Δ$. We are especially interested in the following question: when is it possible to extend a precoloured matching to a colouring of all edges of a (multi)graph? This question turns out to be related to the notorious List Colouring Conjecture and other classic notions of choosability.
Excluding subdivisions of bounded degree graphs
Published in J. Combin. Theory Ser. B 134 (2019), 1-35
• View Publication
• BIB
Let $H$ be a fixed graph. What can be said about graphs $G$ that have no subgraph isomorphic to a subdivision of $H$? Grohe and Marx proved that such graphs $G$ satisfy a certain structure theorem that is not satisfied by graphs that contain a subdivision of a (larger) graph $H_1$. Dvořák found a clever strengthening---his structure is not satisfied by graphs that contain a subdivision of a graph $H_2$, where $H_2$ has "similar embedding properties" as $H$. Building upon Dvořák's theorem, we prove that said graphs $G$ satisfy a similar structure theorem. Our structure is not satisfied by graphs that contain a subdivision of a graph $H_3$ that has similar embedding properties as $H$ and has the same maximum degree as $H$. This will be important in a forthcoming application to well-quasi-ordering.
Minors and dimension
Published in J. Comb. Theory Ser. B 122 (2017) 668-689
• View Publication
• BIB
It has been known for 30 years that posets with bounded height and with cover graphs of bounded maximum degree have bounded dimension. Recently, Streib and Trotter proved that dimension is bounded for posets with bounded height and planar cover graphs, and Joret et al. proved that dimension is bounded for posets with bounded height and with cover graphs of bounded tree-width. In this paper, it is proved that posets of bounded height whose cover graphs exclude a fixed topological minor have bounded dimension. This generalizes all the aforementioned results and verifies a conjecture of Joret et al. The proof relies on the Robertson-Seymour and Grohe-Marx graph structure theorems.
Realizing degree sequences as $Z_3$-connected graphs
Published
• View Publication
• BIB
An integer-valued sequence $π=(d_1, \ldots, d_n)$ is {\em graphic} if there is a simple graph $G$ with degree sequence of $π$. We say the $π$ has a realization $G$. Let $Z_3$ be a cyclic group of order three. A graph $G$ is {\em $Z_3$-connected} if for every mapping $b:V(G)\to Z_3$ such that $\sum_{v\in V(G)}b(v)=0$, there is an orientation of $G$ and a mapping $f: E(G)\to Z_3-\{0\}$ such that for each vertex $v\in V(G)$, the sum of the values of $f$ on all the edges leaving from $v$ minus the sum of the values of $f$ on the all edges coming to $v$ is equal to $b(v)$. If an integer-valued sequence $π$ has a realization $G$ which is $Z_3$-connected, then $π$ has a {\em $Z_3$-connected realization} $G$. Let $π=(d_1, \ldots, d_n)$ be a graphic sequence with $d_1\ge \ldots \ge d_n\ge 3$. We prove in this paper that if $d_1\ge n-3$, then either $π$ has a $Z_3$-connected realization unless the sequence is $(n-3, 3^{n-1})$ or is $(k, 3^k)$ or $(k^2, 3^{k-1})$ where $k=n-1$ and $n$ is even; if $d_{n-5}\ge 4$, then either $π$ has a $Z_3$-connected realization unless the sequence is
$(5^2, 3^4)$ or $(5, 3^5)$.
Bounded monochromatic components for random graphs
Published
• View Publication
• BIB
We consider vertex partitions of the binomial random graph $G_{n,p}$. For $np\to\infty$, we observe the following phenomenon: in any partition into asymptotically fewer than $χ(G_{n,p})$ parts, i.e. $o(np/\log np)$ parts, one part must induce a connected component of order at least roughly the average part size.
Stated another way, we consider the $t$-component chromatic number, the smallest number of colours needed in a colouring of the vertices for which no monochromatic component has more than $t$ vertices. As long as $np \to \infty$, there is a threshold for $t$ around $Θ(p^{-1}\log np)$: if $t$ is smaller then the $t$-component chromatic number is nearly as large as the chromatic number, while if $t$ is greater then it is around $n/t$.
For $0 < p <1$ fixed, we obtain more precise information. We find something more subtle happens at the threshold $t = Θ(\log n)$, and we determine that the asymptotic first-order behaviour is characterised by a non-smooth function. Moreover, we consider the $t$-component stability number, the maximum order of a vertex subset that induces a subgraph with maximum component order at most $t$, and show that it is concentrated in a constant length interval about an explicitly given formula, so long as $t = O(\log \log n)$.
We also consider a related Ramsey-type parameter and use bounds on the component stability number of $G_{n,1/2}$ to describe its basic asymptotic growth.
Davies-trees in infinite combinatorics
This short note, prepared for the Logic Colloquium 2014, provides an introduction to Davies-trees and presents new applications in infinite combinatorics. In particular, we give new and simple proofs to the following theorems of P. Komjáth: every $n$-almost disjoint family of sets is essentially disjoint for any $n\in \mathbb N$; $\mathbb R^2$ is the union of $n+2$ clouds if the continuum is at most $\aleph_n$ for any $n\in \mathbb N$; every uncountably chromatic graph contains $n$-connected uncountably chromatic subgraphs for every $n\in \mathbb N$.
Pfaffian formulas for spanning tree probabilities
Published
• View Publication
• BIB
We show that certain topologically defined uniform spanning tree probabilities for graphs embedded in an annulus can be computed as linear combinations of Pfaffians of matrices involving the line-bundle Green's function, where the coefficients count cover-inclusive Dyck tilings of skew Young diagrams.