graph
34516 papers tagged with this keyword
NP-completeness of 4-incidence colorability of semi-cubic graphs
Published
• View Publication
• BIB
The incidence coloring conjecture, proposed by Brualdi and Massey in 1993, states that the incidence coloring number of every graph is at most ${\it Δ}+2$, where ${\it Δ}$ is the maximum degree of a graph. The conjecture was shown to be false in general by Guiduli in 1997, following the work of Algor and Alon. However, in 2005 Maydanskiy proved that the conjecture holds for any graph with ${\it Δ}\leq 3$. It is easily deduced that the incidence coloring number of a semi-cubic graph is 4 or 5. In this paper, we show that it is already NP-complete to determine if a semi-cubic graph is 4-incidence colorable, and therefore it is NP-complete to determine if a general graph is $k$-incidence colorable.
Tutte's 5-Flow Conjecture for Highly Cyclically Connected Cubic Graphs
Published in Discrete Math. 310, 385 - 389 (2010)
• View Publication
• BIB
In 1954, Tutte conjectured that every bridgeless graph has a nowhere-zero 5-flow. Let $ω$ be the minimum number of odd cycles in a 2-factor of a bridgeless cubic graph. Tutte's conjecture is equivalent to its restriction to cubic graphs with $ω\geq 2$. We show that if a cubic graph $G$ has no edge cut with fewer than $ {5/2} ω- 1$ edges that separates two odd cycles of a minimum 2-factor of $G$, then $G$ has a nowhere-zero 5-flow. This implies that if a cubic graph $G$ is cyclically $n$-edge connected and $n \geq {5/2} ω- 1$, then $G$ has a nowhere-zero 5-flow.
Color Degree Condition for Large Heterochromatic Matchings in Edge-Colored Bipartite Graphs
This paper has been withdrawn by the author(s), due an error in the proof.
Graph colourings, spaces of edges and spaces of circuits
Published
• View Publication
• BIB
By Lovasz' proof of the Kneser conjecture, the chromatic number of a graph G is bounded from below by the index of the Z_2-space Hom(K_2,G) plus two. We show that the cohomological index of Hom(K_2,G) is also greater than the cohomological index of the Z_2-space Hom(C_{2r+1}, G) for r>0. This gives a new and simple proof of the strong form of the graph colouring theorem by Babson and Kozlov, which had been conjectured by Lovasz, and at the same time shows that it never gives a stronger bound than can be obtained by Hom(K_2, G). The proof extends ideas introduced by Zivaljevic in a previous elegant proof of a special case. We then generalise the arguments and obtain conditions under which corresponding results hold for other graphs in place of C_{2r+1}. This enables us to find an infinite family of test graphs of chromatic number 4 among the Kneser graphs.
Our main new result is a description of the Z_2-homotopy type of the direct limit of the system of all the spaces Hom(C_{2r+1}, G) in terms of the Z_2-homotopy type of Hom(K_2, G). A corollary is that the coindex of Hom(K_2, G) does not exceed the coindex of Hom(C_{2r+1}, G) by more then one if r is chosen sufficiently large. Thus the graph colouring bound in the theorem by Babson & Kozlov is also never weaker than that from Lovasz' proof of the Kneser conjecture.
A Classification of Tightly Attached Half-Arc-Transitive Graphs of Valency 4
A graph is said to be {\em half-arc-transitive} if its automorphism group acts transitively on the set of its vertices and edges but not on the set of its arcs. With each half-arc-transitive graph of valency 4 a collection of the so called {\em alternating cycles} is associated, all of which have the same even length. Half of this length is called the {\em radius} of the graph in question. Moreover, any two adjacent alternating cycles have the same number of common vertices. If this number, the so called {\em attachment number}, coincides with the radius, we say that the graph is {\em tightly attached}. In {\em J. Combin. Theory Ser. B} {73} (1998) 41--76, Marušič gave a classification of tightly attached \hatr graphs of valency 4 with odd radius. In this paper the even radius tightly attached graphs of valency 4 are classified, thus completing the classification of all tightly attached half-arc-transitive graphs of valency 4.
Signed permutations and the four color theorem
Published
• View Publication
• BIB
To each permutation $σ$ in $S_{n}$ we associate a triangulation of a fixed $(n+2)$-gon. We then determine the fibers of this association and show that they coincide with the sylvester classes depicted By Novelli, Hivert and Thibon. A signed version of this construction allows us to reformulate the four color theorem in terms of the existence of a signable path between any two permutations in the Cayley graph of the symmetric group $S_{n}.
Toric geometry of cuts and splits
Published
• View Publication
• BIB
Associated to any graph is a toric ideal whose generators record relations among the cuts of the graph. We study these ideals and the geometry of the corresponding toric varieties. Our theorems and conjectures relate the combinatorial structure of the graph and the corresponding cut polytope to algebraic properties of the ideal. Cut ideals generalize toric ideals arising in phylogenetics and the study of contingency tables.
Isotropic systems and the interlace polynomial
Through a series of papers in the 1980's, Bouchet introduced isotropic systems and the Tutte-Martin polynomial of an isotropic system. Then, Arratia, Bollobás, and Sorkin developed the interlace polynomial of a graph in [ABS00] in response to a DNA sequencing application. The interlace polynomial has generated considerable recent attention, with new results including realizing the original interlace polynomial by a closed form generating function expression instead of by the original recursive definition (see Aigner and van der Holst [AvdH04], and Arratia, Bollobás, and Sorkin [ABS04b]). Now, Bouchet [Bou05] recognizes the vertex-nullity interlace polynomial of a graph as the Tutte-Martin polynomial of an associated isotropic system. This suggests that the machinery of isotropic systems may be well-suited to investigating properties of the interlace polynomial. Thus, we present here an alternative proof for the closed form presentation of the vertex-nullity interlace polynomial using the machinery of isotropic systems. This approach both illustrates the intimate connection between the vertex-nullity interlace polynomial and the Tutte-Martin polynomial of an isotropic system and also provides a concrete example of manipulating isotropic systems. We also provide a brief survey of related work.
Counting and Computing by $e$
Published in M. Hassani, Derangements and Applications, Journal of Integer Sequences (JIS), Volume 6, Issue 1, Article 03.1.2, 2003. M. Hassani, Cycles in graphs and derangements, Math. Gaz. 88 (March 2004) pp. 123-126
• Search Publication
In this paper we count the number of paths and cycles in complete graphs by using the number $e$. Also, we compute the number of derangements in same way. Connection by $e$ yields some nice formulas for the number of derangements, such as $D_n=\lfloor\frac{n!+1}{e}\rfloor$ and $D_n=\lfloor(e+e^{-1})n!\rfloor-\lfloor en!\rfloor$, and using these relations allow us to compute some incomplete gamma functions and hypergeometric summations; these connections are hidden in the heart of a nice polynomial that we call it derangement function and a simple ordinary differential equation concerning it.
New upper bounds on the chromatic number of a graph
We outline some ongoing work related to a conjecture of Reed \cite{reed97} on $ω$, $Δ$, and $χ$. We conjecture that the complement of a counterexample $G$ to Reed's conjecture has connectivity on the order of $\log(|G|)$. We prove that this holds for a family (parameterized by $ε> 0$) of relaxed bounds; the $ε= 0$ limit of which is Reed's upper bound.
Unavoidable Parallel Minors of 4-Connected Graphs
Published
• View Publication
• BIB
A parallel minor is obtained from a graph by any sequence of edge contractions and parallel edge deletions. We prove that, for any positive integer k, every internally 4-connected graph of sufficiently high order contains a parallel minor isomorphic to a variation of K_{4,k} with a complete graph on the vertices of degree k, the k-partition triple fan with a complete graph on the vertices of degree k, the k-spoke double wheel, the k-spoke double wheel with axle, the (2k+1)-rung Mobius zigzag ladder, the (2k)-rung zigzag ladder, or K_k. We also find the unavoidable parallel minors of 1-, 2-, and 3-connected graphs.
On the K-theory of graph C*-algebras
Published
• View Publication
• BIB
We classify graph C*-algebras, namely, Cuntz-Krieger algebras associated to the Bass-Hashimoto edge incidence operator of a finite graph. This is done by a purely graph theoretical calculation of the K-theory and the position of the unit therein.
Hamiltonicity of Vertex-Transitive Graphs of Order $4p$
Published
• View Publication
• BIB
It is shown that every connected vertex-transitive graph of order $4p$, where $p$ is a prime, is hamiltonian with the exception of the Coxeter graph which is known to possess a Hamilton path.
Algebraic Characterization of Uniquely Vertex Colorable Graphs
Published
• View Publication
• BIB
The study of graph vertex colorability from an algebraic perspective has introduced novel techniques and algorithms into the field. For instance, it is known that $k$-colorability of a graph $G$ is equivalent to the condition $1 \in I_{G,k}$ for a certain ideal $I_{G,k} \subseteq \k[x_1, ..., x_n]$. In this paper, we extend this result by proving a general decomposition theorem for $I_{G,k}$. This theorem allows us to give an algebraic characterization of uniquely $k$-colorable graphs. Our results also give algorithms for testing unique colorability. As an application, we verify a counterexample to a conjecture of Xu concerning uniquely 3-colorable graphs without triangles.
Monomial ideals, edge ideals of hypergraphs, and their graded Betti numbers
We use the correspondence between hypergraphs and their associated edge ideals to study the minimal graded free resolution of squarefree monomial ideals. The theme of this paper is to understand how the combinatorial structure of a hypergraph H appears within the resolution of its edge ideal I(H). We discuss when recursive formulas to compute the graded Betti numbers of I(H) in terms of its sub-hypergraphs can be obtained; these results generalize our previous work on the edge ideals of simple graphs. We introduce a class of hypergraphs, which we call properly-connected, that naturally generalizes simple graphs from the point of view that distances between intersecting edges are ``well behaved''. For such a hypergraph H (and thus, for any simple graph), we give a lower bound for the regularity of I(H) via combinatorial information describing H, and an upper bound for the regularity when H = G is a simple graph. We also introduce triangulated hypergraphs, a properly-connected hypergraph which is a generalization of chordal graphs. When H is a triangulated hypergraph, we explicitly compute the regularity of I(H) and show that the graded Betti numbers of I(H) are independent of the ground field. As a consequence, many known results about the graded Betti numbers of forests can now be extended to chordal graphs.
Kruskal--Katona type theorems for clique complexes arising from chordal and strongly chordal graphs
Published in Combinatorica 28 (2008), 315--323
• View Publication
• BIB
A forest is the clique complex of a strongly chordal graph and a quasi-forest is the clique complex of a chordal graph. Kruskal--Katona type theorems for forests, quasi-forests, pure forests and pure quasi-forests will be presented. In addition, it will be shown that a quasi-forest is shellable if and only if its $h$-vector $(h_0, h_1, h_2, ...)$ satisfies $h_i = 0$ for $i > 1$.
Unmixed bipartite graphs
Published in Rev. Colombiana Mat. 41(2)(2007), 393-395
• Search Publication
In this note we give a combinatorial characterization of all the unmixed bipartite graphs.
Some colouring problems for unit-quadrance graphs
The quadrance between two points $A_1 = (x_1, y_1)$ and $A_2 = (x_2, y_2)$ is the number $Q (A_1, A_2) = (x_1 - x_2)^2 + (y_1 - y_2)^2$. Let $q$ be an odd prime power and $F_q$ be the finite field with $q$ elements. The unit-quadrance graph $D_q$ has the vertex set $F_q^2$, and $X, Y \in F_q^2$ are adjacent if and only if $Q (A_1, A_2) = 1$. In this paper, we study some colouring problems for the unit-quadrance graph $D_q$ and discuss some open problems.
Divisor graphs have arbitrary order and size
A divisor graph $G$ is an ordered pair $(V, E)$ where $V \subset \mathbbm{Z}$ and for all $u \neq v \in V$, $u v \in E$ if and only if $u \mid v$ or $v \mid u$. A graph which is isomorphic to a divisor graph is also called a divisor graph. In this note, we will prove that for any $n \geqslant 1$ and $0 \leqslant m \leqslant \binom{n}{2}$ then there exists a divisor graph of order $n$ and size $m$. We also present a simple proof of the characterization of divisor graphs which is due to Chartran, Muntean, Saenpholpant and Zhang.
Asymptotic enumeration of dense 0-1 matrices with specified line sums
Published
• View Publication
• BIB
Let S=(s_1,s_2,..., s_m) and T = (t_1,t_2,..., t_n) be vectors of non-negative integers with sum_{i=1}^{m} s_i = sum_{j=1}^n t_j. Let B(S,T) be the number of m*n matrices over {0,1} with j-th row sum equal to s_j for 1 <= j <= m and k-th column sum equal to t_k for 1 <= k <= n. Equivalently, B(S,T) is the number of bipartite graphs with m vertices in one part with degrees given by S, and n vertices in the other part with degrees given by T. Most research on the asymptotics of B(S,T) has focused on the sparse case, where the best result is that of Greenhill, McKay and Wang (2006). In the case of dense matrices, the only precise result is for the case of equal row sums and equal column sums (Canfield and McKay, 2005). This paper extends the analytic methods used by the latter paper to the case where the row and column sums can vary within certain limits. Interestingly, the result can be expressed by the same formula which holds in the sparse case.