graph
34516 papers tagged with this keyword
High-girth cubic graphs are homomorphic to the Clebsch graph
Published
• View Publication
• BIB
We give a (computer assisted) proof that the edges of every graph with maximum degree 3 and girth at least 17 may be 5-colored (possibly improperly) so that the complement of each color class is bipartite. Equivalently, every such graph admits a homomorphism to the Clebsch graph.
Hopkins and Staton and Bondy and Locke proved that every (sub)cubic graph of girth at least 4 has an edge-cut containing at least 4/5 of the edges. The existence of such an edge-cut follows immediately from the existence of a 5-edge-coloring as described above, so our theorem may be viewed as a coloring extension of their result (under a stronger girth assumption).
Every graph which has a homomorphism to a cycle of length five has an above-described 5-edge-coloring; hence our theorem may also be viewed as a weak version of Nesetril's Pentagon Problem (which asks whether every cubic graph of sufficiently high girth is homomorphic to C_5).
The Forest Metrics for Graph Vertices
Published in Electronic Notes in Discrete Mathematics 11 (July 2002) 98-107
• View Publication
• BIB
We propose a new graph metric and study its properties. In contrast to the standard distance in connected graphs, it takes into account all paths between vertices. Formally, it is defined as d(i,j)=q_{ii}+q_{jj}-q_{ij}-q_{ji}, where q_{ij} is the (i,j)-entry of the {\em relative forest accessibility matrix} Q(ε)=(I+εL)^{-1}, L is the Laplacian matrix of the (weighted) (multi)graph, and εis a positive parameter. By the matrix-forest theorem, the (i,j)-entry of the relative forest accessibility matrix of a graph provides the specific number of spanning rooted forests such that i and j belong to the same tree rooted at i. Extremely simple formulas express the modification of the proposed distance under the basic graph transformations. We give a topological interpretation of d(i,j) in terms of the probability of unsuccessful linking i and j in a model of random links. The properties of this metric are compared with those of some other graph metrics. An application of this metric is related to clustering procedures such as "centered partition." In another procedure, the relative forest accessibility and the corresponding distance serve to choose the centers of the clusters and to assign a cluster to each non-central vertex. The notion of cumulative weight of connections between two vertices is proposed. The reasoning involves a reciprocity principle for weighted multigraphs. Connections between the resistance distance and the forest distance are established.
Matrix-Forest Theorems
The Laplacian matrix of a graph $G$ is $L(G)=D(G)-A(G)$, where $A(G)$ is the adjacency matrix and $D(G)$ is the diagonal matrix of vertex degrees. According to the Matrix-Tree Theorem, the number of spanning trees in $G$ is equal to any cofactor of an entry of $L(G)$. A rooted forest is a union of disjoint rooted trees. We consider the matrix $W(G)=I+L(G)$ and prove that the $(i,j)$-cofactor of $W(G)$ is equal to the number of spanning rooted forests of $G$, in which the vertices $i$ and $j$ belong to the same tree rooted at $i$. The determinant of $W(G)$ equals the total number of spanning rooted forests, therefore the $(i,j)$-entry of the matrix $W^{-1}(G)$ can be considered as a measure of relative ''forest-accessibility'' of vertex $i$ from $j$ (or $j$ from $i$). These results follow from somewhat more general theorems we prove, which concern weighted multigraphs. The analogous theorems for (multi)digraphs are also established. These results provide a graph-theoretic interpretation for the adjugate to the Laplacian characteristic matrix.
Combinatorial aspects of nodal curves
Published in `Le Matematiche'', vol. LXI (2006), Fascicolo I, pp. 109-141
• Search Publication
To any nodal curve $C$ is associated the degree class group, a combinatorial invariant which plays an important role in the compactification of the generalised Jacobian of $C$ and in the construction of the Néron model of the Picard variety of families of curves having $C$ as special fibre. In this paper we study this invariant. More precisely, we construct a wide family of graphs having cyclic degree class group and we provide a recursive formula for the cardinality of the degree class group of the members of this family. Moreover, we analyse the behaviour of the degree class group under standard geometrical operations on the curve, such as the blow up and the normalisation of a node.
On tension-continuous mapings
Tension-continuous (shortly TT) mappings are mappings between the edge sets of graphs. They generalize graph homomorphisms. From another perspective, tension-continuous mappings are dual to the notion of flow-continuous mappings and the context of nowhere-zero flows motivates several questions considered in this paper.
Extending our earlier research we define new constructions and operations for graphs (such as graphs Delta(G)) and give evidence for the complex relationship of homomorphisms and TT mappings. Particularly, solving an open problem, we display pairs of TT-comparable and homomorphism-incomparable graphs with arbitrarily high connectivity.
We give a new (and more direct) proof of density of TT order and study graphs such that TT mappings and homomorphisms from them coincide; we call such graphs homotens. We show that most graphs are homotens, on the other hand every vertex of a nontrivial homotens graph is contained in a triangle. This provides a justification for our construction of homotens graphs.
Higher minors and Van Kampen's obstruction
Published in Math. Scand. 101 (2007), no. 2, 161--176
• View Publication
• BIB
We generalize the notion of graph minors to all (finite) simplicial complexes. For every two simplicial complexes H and K and every nonnegative integer m, we prove that if H is a minor of K then the non vanishing of Van Kampen's obstruction in dimension m (a characteristic class indicating non embeddability in the (m-1)-sphere) for H implies its non vanishing for K. As a corollary, based on results by Van Kampen and Flores, if K has the d-skeleton of the (2d+2)-simplex as a minor, then K is not embeddable in the 2d-sphere. We answer affirmatively a problem asked by Dey et. al. concerning topology-preserving edge contractions, and conclude from it the validity of the generalized lower bound inequalities for a special class of triangulated spheres.
On Tree-Partition-Width
Published in European J. Combinatorics 30:1245-1253, 2009
• View Publication
• BIB
A \emph{tree-partition} of a graph $G$ is a proper partition of its vertex set into `bags', such that identifying the vertices in each bag produces a forest. The \emph{tree-partition-width} of $G$ is the minimum number of vertices in a bag in a tree-partition of $G$. An anonymous referee of the paper by Ding and Oporowski [\emph{J. Graph Theory}, 1995] proved that every graph with tree-width $k\geq3$ and maximum degree $Δ\geq1$ has tree-partition-width at most $24kΔ$. We prove that this bound is within a constant factor of optimal. In particular, for all $k\geq3$ and for all sufficiently large $Δ$, we construct a graph with tree-width $k$, maximum degree $Δ$, and tree-partition-width at least $(\eighth-ε)kΔ$. Moreover, we slightly improve the upper bound to ${5/2}(k+1)({7/2}Δ-1)$ without the restriction that $k\geq3$.
Quasideterminants and q-commuting minors
Published
• View Publication
• BIB
We present two new proofs of the the important q-commuting property holding among certain pairs of quantum minors of an n x n q-generic matrix. The first uses elementary quasideterminantal arithmetic; the second involves paths in an edge-weighted directed graph.
The quantum sl(3) invariants of cubic bipartite planar graphs
Published in Journal of knot theory and its ramifications 17(3) (2008), 361-375
• View Publication
• BIB
Temperley-Lieb algebras have been generalized to sl(3) web spaces. Since a cubic bipartite planar graph with suitable directions on edges is a web, the quantum sl(3) invariants naturally extend to all cubic bipartite planar graphs. First we completely classify them as a connected sum of primes webs. We also provide a method to find all prime webs and exhibit all prime webs up to 20 vertices. Using quantum sl(3) invariants, we provide a criterion which determine the symmetry of graphs.
On Perles' question
The principal aim of this paper is to determine the minimal dimension that a nerve of the cover of the sphere S^h by the open sets not containing a pair of antipodal points could have, and also to determine the minimal cardinality of such cover (or the minimal number of vertices of its nerve). In particular, our result provides the complete answer to the question posed by Micha Perles. Our results could be seen as the extensions of the Lyusternik-Schnirel'man version of the Borsuk-Ulam theorem.
As a consequence, we also obtain the improved lower bound for the local chromatic number of certain class of graphs.
On the global offensive alliance number of a graph
Published in Discrete Applied Mathematics 157 (2) (2009) 219-226
• View Publication
• BIB
An offensive alliance in a graph $Γ=(V,E)$ is a set of vertices $S\subset V$ where for every vertex $v$ in its boundary it holds that the majority of vertices in $v$'s closed neighborhood are in $S$. In the case of strong offensive alliance, strict majority is required. An alliance $S$ is called global if it affects every vertex in $V\backslash S$, that is, $S$ is a dominating set of $Γ$. The offensive alliance number $a_o(Γ)$ (respectively, strong offensive alliance number $a_{\hat{o}}(Γ)$) is the minimum cardinality of an offensive (respectively, strong offensive) alliance in $Γ$. The global offensive alliance number $γ_o(Γ)$ and the global strong offensive alliance number $γ_{\hat{o}}(Γ)$ are defined similarly. Clearly, $a_o(Γ)\le γ_o(Γ)$ and $a_{\hat{o}}(Γ)\le γ_{\hat{o}}(Γ)$. It was shown in [Discuss. Math. Graph Theory, 24 (2004), no. 2, 263-275] that $ a_o(Γ)\le \frac{2n}{3}$ and $ a_{\hat{o}}(Γ)\le \frac{5n}{6}$, where $n$ denotes the order of $Γ$. In this paper we obtain several tight bounds on $γ_o(Γ)$ and $γ_{\hat{o}}(Γ)$ in terms of several parameters of $Γ$. For instance, we show that $\frac{2m+n}{3Δ+1} \le γ_o(Γ)\le \frac{2n}{3}$ and $\frac{2(m+n)}{3Δ+2} \leγ_{\hat{o}}(Γ)\le \frac{5n}{6}$, where $m$ denotes the size of $Γ$ and $Δ$ its maximum degree (the last upper bound holds true for all $Γ$ with minimum degree greatest or equal to two).
On defensive alliances and line graphs
Published in Applied Mathematics Letters 19 (12) (2006) 1345-1350
• View Publication
• BIB
Let $Γ$ be a simple graph of size $m$ and degree sequence $δ_1\ge δ_2\ge ... \ge δ_n$. Let ${\cal L}(Γ)$ denotes the line graph of $Γ$. The aim of this paper is to study mathematical properties of the alliance number, ${a}({\cal L}(Γ)$, and the global alliance number, $γ_{a}({\cal L}(Γ))$, of the line graph of a simple graph. We show that $\lceil\frac{δ_{n}+δ_{n-1}-1}{2}\rceil \le {a}({\cal L}(Γ))\le δ_1.$ In particular, if $Γ$ is a $δ$-regular graph ($δ>0$), then $a({\cal L}(Γ))=δ$, and if $Γ$ is a $(δ_1,δ_2)$-semiregular bipartite graph, then $a({\cal L}(Γ))=\lceil \frac{δ_1+δ_2-1}{2} \rceil$. As a consequence of the study we compare $a({\cal L}(Γ))$ and ${a}(Γ)$, and we characterize the graphs having $a({\cal L}(Γ))<4$. Moreover, we show that the global-connected alliance number of ${\cal L}(Γ)$ is bounded by $γ_{ca}({\cal L}(Γ)) \ge \lceil\sqrt{D(Γ)+m-1}-1\rceil,$ where $D(Γ)$ denotes the diameter of $Γ$, and we show that the global alliance number of ${\cal L}(Γ)$ is bounded by $γ_{a}({\cal L}(Γ))\geq \lceil\frac{2m}{δ_{1}+δ_{2}+1}\rceil$. The case of strong alliances is studied by analogy.
Spectral study of alliances in graphs
Published in Discussiones Mathematicae Graph Theory 27 (1) (2007) 143-157
• View Publication
• BIB
In this paper we obtain several tight bounds on different types of alliance numbers of a graph: (global) defensive alliance number, global offensive alliance number and global dual alliance number. In particular, we investigate the relationship between the alliance numbers of a graph and its algebraic connectivity, its spectral radius, and its Laplacian spectral radius.
The (a,b,s,t)-diameter of graphs: a particular case of conditional diameter
Published in Discrete Applied Mathematics 154 (14) (2006) 2024-2031
• View Publication
• BIB
The conditional diameter of a connected graph $Γ=(V,E)$ is defined as follows: given a property ${\cal P}$ of a pair $(Γ_1, Γ_2)$ of subgraphs of $Γ$, the so-called \emph{conditional diameter} or ${\cal P}$-{\em diameter} measures the maximum distance among subgraphs satisfying ${\cal P}$. That is, \[ D_{\cal P}(Γ):=\max_{Γ_1, Γ_2\subset Γ} \{\partial(Γ_1, Γ_2): Γ_1, Γ_2 \quad {\rm satisfy }\quad {\cal P}\}. \] In this paper we consider the conditional diameter in which ${\cal P}$ requires that $δ(u)\ge α$ for all $ u\in V(Γ_1)$, $δ(v)\ge β$ for all $v\in V(Γ_2)$, $| V(Γ_1)| \ge s$ and $| V(Γ_2)| \ge t$ for some integers $1\le s,t\le |V|$ and $δ\le α, β\le Δ$, where $δ(x)$ denotes the degree of a vertex $x$ of $Γ$, $δ$ denotes the minimum degree and $Δ$ the maximum degree of $Γ$. The conditional diameter obtained is called $(α,β, s,t)$-\emph{diameter}. We obtain upper bounds on the $(α,β, s,t)$-diameter by using the $k$-alternating polynomials on the mesh of eigenvalues of an associated weighted graph. The method provides also bounds for other parameters such as vertex separators.
Combinatorial interpretations for rank-two cluster algebras of affine type
Published in Electron. J. Combin. 14, no. 1, Research Paper 15 (2007)
• View Publication
• BIB
Fomin and Zelevinsky show that a certain two-parameter family of rational recurrence relations, here called the (b,c) family, possesses the Laurentness property: for all b,c, each term of the (b,c) sequence can be expressed as a Laurent polynomial in the two initial terms. In the case where the positive integers b,c satisfy bc<4, the recurrence is related to the root systems of finite-dimensional rank 2 Lie algebras; when bc>4, the recurrence is related to Kac-Moody rank 2 Lie algebras of hyperbolic type. Here we investigate the borderline cases bc=4, corresponding to Kac-Moody Lie algebras of affine type. In these cases, we show that the Laurent polynomials arising from the recurence can be viewed as generating functions that enumerate the perfect matchings of certain graphs. By providing combinatorial interpretations of the individual coefficients of these Laurent polynomials, we establish their positivity.
Parity Edge-Coloring of Graphs
Published
• View Publication
• BIB
In a graph whose edges are colored, a parity walk is a walk that uses each color an even number of times. The parity edge chromatic number p(G) of a graph G is the least k so that there is a coloring of E(G) using k colors that does not contain a parity path. The strong parity edge chromatic number p'(G) of G is the least k so that there is a coloring of E(G) using k colors with the property that every parity walk is closed.
Our main result is to determine p'(K_n). Specifically, if m is the least power of two that is as large as n, then p'(K_n) has value m - 1. As a corollary, we strengthen a special case of an old result of Daykin and Lovasz. Other results include determining p(G) and p'(G) whenever G is a path, cycle, or of the form K_{2,n}, and an upper bound on p'(G) for the case that G is a complete bipartite graph. We conclude with a sample of open problems.
Deterministic Random Walks on the Integers
Published
• View Publication
• BIB
Jim Propp's P-machine, also known as the "rotor router model" is a simple deterministic process that simulates a random walk on a graph. Instead of distributing chips to randomly chosen neighbors, it serves the neighbors in a fixed order.
We investigate how well this process simulates a random walk. For the graph being the infinite path, we show that, independent of the starting configuration, at each time and on each vertex, the number of chips on this vertex deviates from the expected number of chips in the random walk model by at most a constant c_1, which is approximately 2.29. For intervals of length L, this improves to a difference of O(log L), for the L_2 average of a contiguous set of intervals even to O(sqrt{log L}). All these bounds are tight.
Cartesian Products of Regular Graphs are Antimagic
An \emph{antimagic labeling} of a finite undirected simple graph with $m$ edges and $n$ vertices is a bijection from the set of edges to the integers $1,...,m$ such that all $n$ vertex sums are pairwise distinct, where a vertex sum is the sum of labels of all edges incident with the same vertex. A graph is called \emph{antimagic} if it has an antimagic labeling. In 1990, Hartsfield and Ringel \cite{HaRi} conjectured that every simple connected graph, but $K_2$, is antimagic. In this article, we prove that a new class of Cartesian product graphs are antimagic. In addition, by combining this result and the antimagicness result on toroidal grids (Cartesian products of two cycles) in \cite{Wan}, all Cartesian products of two or more regular graphs can be proved to be antimagic.
An example of a 16-vertex Folkman edge (3,4)-graph without 8-cliques
In this paper we prove a new upper bouhd on an edge Folkman number. In a previous paper we have proved that this bound is exact.
Cluster algebras IV: Coefficients
Published
• View Publication
• BIB
We study the dependence of a cluster algebra on the choice of coefficients. We write general formulas expressing the cluster variables in any cluster algebra in terms of the initial data; these formulas involve a family of polynomials associated with a particular choice of "principal" coefficients.
We show that the exchange graph of a cluster algebra with principal coefficients covers the exchange graph of any cluster algebra with the same exchange matrix.
We investigate two families of parametrizations of cluster monomials by lattice points, determined, respectively, by the denominators of their Laurent expansions and by certain multi-gradings in cluster algebras with principal coefficients. The properties of these parametrizations, some proven and some conjectural, suggest links to duality conjectures of V.Fock and A.Goncharov [math.AG/0311245].
The coefficient dynamics leads to a natural generalization of Al.Zamolodchikov's Y-systems. We establish a Laurent phenomenon for such Y-systems, previously known in finite type only, and sharpen the periodicity result from [hep-th/0111053].
For cluster algebras of finite type, we identify a canonical "universal" choice of coefficients such that an arbitrary cluster algebra can be obtained from the universal one (of the same type) by an appropriate specialization of coefficients.