arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

35150 papers tagged with this keyword
2006-02-22 v4
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$.
2006-02-21
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.
2006-02-21 v2
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.
2006-02-20 v3
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.
2006-02-20
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).
2006-02-20
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.
2006-02-20
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.
2006-02-20
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.
2006-02-19 v5
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.
2006-02-14 v2
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.
2006-02-12
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.
2006-02-12 v3
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.
2006-02-10 v2
Poset Topology: Tools and Applications
Published • View Publication • BIB
These lecture notes for the IAS/Park City Graduate Summer School in Geometric Combinatorics (July 2004) provide an overview of poset topology. These notes include introductory material, as well as recent developments and open problems. Some of the topics covered are: subspace arrangements, graph complexes, group actions on poset homology, shellability, recursive techniques, and fiber theorems.
2006-02-09 v4
On the maximum number of cliques in a graph
Published in Graphs and Combinatorics 23(3):337-352, 2007 • View Publication • BIB
A \emph{clique} is a set of pairwise adjacent vertices in a graph. We determine the maximum number of cliques in a graph for the following graph classes: (1) graphs with $n$ vertices and $m$ edges; (2) graphs with $n$ vertices, $m$ edges, and maximum degree $Δ$; (3) $d$-degenerate graphs with $n$ vertices and $m$ edges; (4) planar graphs with $n$ vertices and $m$ edges; and (5) graphs with $n$ vertices and no $K_5$-minor or no $K_{3,3}$-minor. For example, the maximum number of cliques in a planar graph with $n$ vertices is $8(n-2)$.
2006-02-09 v2
k-noncrossing and k-nonnesting graphs and fillings of Ferrers diagrams
Published • View Publication • BIB
We give a correspondence between graphs with a given degree sequence and fillings of Ferrers diagrams by nonnegative integers with prescribed row and column sums. In this setting, k-crossings and k-nestings of the graph become occurrences of the identity and the antiidentity matrices in the filling. We use this to show the equality of the numbers of k-noncrossing and k-nonnesting graphs with a given degree sequence. This generalizes the analogous result for matchings and partition graphs of Chen, Deng, Du, Stanley, and Yan, and extends results of Klazar to k>2. Moreover, this correspondence reinforces the links recently discovered by Krattenthaler between fillings of diagrams and the results of Chen et al.
2006-02-08 v4
Transversal structures on triangulations: a combinatorial study and straight-line drawings
Published • View Publication • BIB
This article focuses on a combinatorial structure specific to triangulated plane graphs with quadrangular outer face and no separating triangle, which are called irreducible triangulations. The structure has been introduced by Xin He under the name of regular edge-labelling and consists of two bipolar orientations that are transversal. For this reason, the terminology used here is that of transversal structures. The main results obtained in the article are a bijection between irreducible triangulations and ternary trees, and a straight-line drawing algorithm for irreducible triangulations. For a random irreducible triangulation with $n$ vertices, the grid size of the drawing is asymptotically with high probability $11n/27\times 11n/27$ up to an additive error of $\cO(\sqrt{n})$. In contrast, the best previously known algorithm for these triangulations only guarantees a grid size $(\lceil n/2\rceil -1)\times \lfloor n/2\rfloor$.
2006-02-05
On Proximity Measures for Graph Vertices
Published in Automation and Remote Control 59 (1998), No. 10, Part 2 1443-1459. Erratum: 60 (1999), No. 2, Part 2 297 • Search Publication
We study the properties of several proximity measures for the vertices of weighted multigraphs and multidigraphs. Unlike the classical distance for the vertices of connected graphs, these proximity measures are applicable to weighted structures and take into account not only the shortest, but also all other connections, which is desirable in many applications. To apply these proximity measures to unweighted structures, every edge should be assigned the same weight which determines the proportion of taking account of two routes, from which one is one edge longer than the other. Among the proximity measures we consider path accessibility, route accessibility, relative forest accessibility along with its components, accessibility via dense forests, and connection reliability. A number of characteristic conditions is introduced and employed to characterize the proximity measures. A topological interpretation is obtained for the Moore-Penrose generalized inverse of the Laplacian matrix of a weighted multigraph.
2006-02-04
The Matrix-Forest Theorem and Measuring Relations in Small Social Groups
Published in Automation and Remote Control 58 (1997) No. 9 1505-1514 • Search Publication
We propose a family of graph structural indices related to the Matrix-forest theorem. The properties of the basic index that expresses the mutual connectivity of two vertices are studied in detail. The derivative indices that measure "dissociation," "solitariness," and "provinciality" of vertices are also considered. A nonstandard metric on the set of vertices is introduced, which is determined by their connectivity. The application of these indices in sociometry is discussed.