arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

35150 papers tagged with this keyword
2007-09-27 v2
The Parallel-Sequential Duality : Matrices and Graphs
Usually, mathematical objects have highly parallel interpretations. In this paper, we consider them as sequential constructors of other objects. In particular, we prove that every reflexive directed graph can be interpreted as a program that builds another and is itself builded by another. That leads to some optimal memory computations, codings similar to modular decompositions and other strange dynamical phenomenons.
Isometry classes of generalized associahedra
Published in Sém. Lothar. Combin. 61A (2009), Art. B61Aa, 13 pp. • Search Publication
Let $(W,S)$ be a finite Coxeter system acting by reflections on an $\mathbb R$-Euclidean space with simple roots $Δ=\{\a_s | s\in S\}$ of the same length and fundamental weights $Δ^*=\{v_s | s\in S\}$. We set $M(e)=\sum_{s\in S}κ_s v_s$, $κ_s>0$, and for $w\in W$ we set $M(w)=w(M(e))$. The permutahedron $Perm(W)$ is the convex hull of the set $\{M(w) | w\in W\}$. Given a Coxeter element $c\in W$, we have defined in a previous work a generalized associahedron $Asso_c(W)$ whose normal fan is the corresponding $c$-Cambrian fan $F_c$ defined by N. Reading. By construction, $Asso_c(W)$ is obtained from $Perm(W)$ by removing some halfspaces according to a rule prescribed by $c$. In this work, we classify the isometry classes of these realizations. More precisely, for $(W,S)$ an irreducible finite Coxeter system and $c,c'$ two Coxeter elements in $W$, we have that $Asso_{c}(W)$ and $Asso_{c'}(W)$ are isometric if and only if $μ(c') = c$ or $μ(c')=w_0c^{-1}w_0$ for $μ$ an automorphism of the Coxeter graph of $W$ such that $κ_s=κ_{μ(s)}$ for all $s\in S$. As a byproduct, we classify the isometric Cambrian fans of $W$.
2007-09-27 v4
Rank of divisors on tropical curves
Published in J. Combin. Theory Ser. A 120, no. 7, 1521-1538 (2013) • View Publication • BIB
We investigate, using purely combinatorial methods, structural and algorithmic properties of linear equivalence classes of divisors on tropical curves. In particular, an elementary proof of the Riemann-Roch theorem for tropical curves, similar to the recent proof of the Riemann-Roch theorem for graphs by Baker and Norine, is presented. In addition, a conjecture of Baker asserting that the rank of a divisor D on a (non-metric) graph is equal to the rank of D on the corresponding metric graph is confirmed, and an algorithm for computing the rank of a divisor on a tropical curve is constructed.
2007-09-26 v3
The Topology of Bendless Three-Dimensional Orthogonal Graph Drawing
Published in J. Graph Algorithms & Applications 17(1): 35-55, 2013 • View Publication • BIB
We consider embeddings of 3-regular graphs into 3-dimensional Cartesian coordinates, in such a way that two vertices are adjacent if and only if two of their three coordinates are equal (that is, if they lie on an axis-parallel line) and such that no three points lie on the same axis-parallel line; we call a graph with such an embedding an xyz graph}. We describe a correspondence between xyz graphs and face-colored embeddings of the graph onto two-dimensional manifolds, and we relate bipartiteness of the xyz graph to orientability of the underlying topological surface. Using this correspondence, we show that planar graphs are xyz graphs if and only if they are bipartite, cubic, and three-connected, and that it is NP-complete to determine whether an arbitrary graph is an xyz graph. We also describe an algorithm with running time O(n 2^{n/2}) for testing whether a given graph is an xyz graph.
2007-09-26 v2
On Cobweb posets tiling problem
Published in Adv. Stud. Contemp. Math. volume 16 (2), 2008 (April) pp. 219-233 • Search Publication
Kwasniewski's cobweb posets uniquely represented by directed acyclic graphs are such a generalization of the Fibonacci tree that allows joint combinatorial interpretation for all of them under admissibility condition. This interpretation was derived in the source papers and it entailes natural enquieres already formulated therein. In our note we response to one of those problems. This is a tiling problem. Our observations on tiling problem include proofs of tiling's existence for some cobweb-admissible sequences. We show also that not all cobwebs admit tiling as defined below.
2007-09-23 v5
Euclidean Jordan Algebras and Generalized Krein parameters of a strongly regular graph
Published • View Publication • BIB
Let $τ$ be a strongly $(n,p;a,c)$ regular graph,such that $0<c<p<n-1,$ $A$ his matrix of adjacency and let ${\cal V}_{n}$ be the Euclidean space spanned by the powers of $A$ over the reals where the scallar product $\bullet|\bullet$ is defined by $x|y={trace}(x \cdot y).$ In this work ones proves that ${\cal V}_{n}$ is an Euclidean Jordan algebra of rank 3 when one introduces in ${\cal V}_{n}$ the usual product of matrices. In this Euclidean Jordan algebra one defines the modulus of a matrix, and afterwards one defines $|A|^x \forall x\in \mathbb{R}.$ Working inside the Euclidean Jordan algebra ${\cal V}_{n}$ and making use of the properties of $|A|^x$ one defines the generalized krein parameters of the strongly $(n,p;a,c)$ regular graph $τ$ and finally one presents necessary conditions over the parameters and the spectra of the $τ$ strongly $(n,p;a,c)$ regular graph.
2007-09-20
Induced forests in regular graphs with large girth
Published • View Publication • BIB
An induced forest of a graph G is an acyclic induced subgraph of G. The present paper is devoted to the analysis of a simple randomised algorithm that grows an induced forest in a regular graph. The expected size of the forest it outputs provides a lower bound on the maximum number of vertices in an induced forest of G. When the girth is large and the degree is at least 4, our bound coincides with the best bound known to hold asymptotically almost surely for random regular graphs. This results in an alternative proof for the random case.
2007-09-20
Some Relations between Rank, Chromatic Number and Energy of Graphs
Published • View Publication • BIB
The energy of a graph $G$, denoted by $E(G)$, is defined as the sum of the absolute values of all eigenvalues of $G$. Let $G$ be a graph of order $n$ and ${\rm rank}(G)$ be the rank of the adjacency matrix of $G$. In this paper we characterize all graphs with $E(G)={\rm rank}(G)$. Among other results we show that apart from a few families of graphs, $E(G)\geq 2\max(χ(G), n-χ(\bar{G}))$, where $n$ is the number of vertices of $G$, $\bar{G}$ and $χ(G)$ are the complement and the chromatic number of $G$, respectively. Moreover some new lower bounds for $E(G)$ in terms of ${\rm rank}(G)$ are given.
2007-09-20
Bruhat order, smooth Schubert varieties, and hyperplane arrangements
Published • View Publication • BIB
The aim of this article is to link Schubert varieties in the flag manifold with hyperplane arrangements. For a permutation, we construct a certain graphical hyperplane arrangement. We show that the generating function for regions of this arrangement coincides with the Poincare polynomial of the corresponding Schubert variety if and only if the Schubert variety is smooth. We give an explicit combinatorial formula for the Poincare polynomial. Our main technical tools are chordal graphs and perfect elimination orderings.
Graphs of Transportation Polytopes
Published in J. Combin. Theory Ser. A, 116(8), 2009, 1306-1325 • View Publication • BIB
This paper discusses properties of the graphs of 2-way and 3-way transportation polytopes, in particular, their possible numbers of vertices and their diameters. Our main results include a quadratic bound on the diameter of axial 3-way transportation polytopes and a catalogue of non-degenerate transportation polytopes of small sizes. The catalogue disproves five conjectures about these polyhedra stated in the monograph by Yemelichev et al. (1984). It also allowed us to discover some new results. For example, we prove that the number of vertices of an $m\times n$ transportation polytope is a multiple of the greatest common divisor of $m$ and $n$.
2007-09-14
A classification of prime-valent regular Cayley maps on some groups
Published in Bull. Korean Math. Soc. 47 (2010) 17-27 • View Publication • BIB
A Cayley map is a 2-cell embedding of a Cayley graph into an orientable surface with the same local orientation induced by a cyclic permutation of generators at each vertex. In this paper, we provide classifications of prime-valent regular Cayley maps on abelian groups, dihedral groups and dicyclic groups. Consequently, we show that all prime-valent regular Cayley maps on dihedral groups are balanced and all prime-valent regular Cayley maps on abelian groups are either balanced or anti-balanced. Furthermore, we prove that there is no prime-valent regular Cayley map on any dicyclic group.
2007-09-12
Dismantling sparse random graphs
Published • View Publication • BIB
We consider the number of vertices that must be removed from a graph G in order that the remaining subgraph has no component with more than k vertices. Our principal observation is that, if G is a sparse random graph or a random regular graph on n vertices with n tending to infinity, then the number in question is essentially the same for all values of k such that k tends to infinity but k=o(n).
2007-09-12
Clique-width of unit interval graphs
Published • View Publication • BIB
The clique-width is known to be unbounded in the class of unit interval graphs. In this paper, we show that this is a minimal hereditary class of unbounded clique-width, i.e., in every hereditary subclass of unit interval graphs the clique-width is bounded by a constant.
2007-09-11
Combinatorics of the Dimer Model on a Strip
In this note, we give a closed formula for the partition function of the dimer model living on a (2 x n) strip of squares or hexagons on the torus for arbitrary even n. The result is derived in two ways, by using a Potts model like description for the dimers, and via a recursion relation that was obtained from a map to a 1D monomer-dimer system. The problem of finding the number of perfect matchings can also be translated to the problem of finding a minmal feedback arc set on the dual graph.
2007-09-11
The extremal values of the Wiener index of a tree with given degree sequence
Published • View Publication • BIB
The Wiener index of a graph is the sum of the distances between all pairs of vertices, it has been one of the main descriptors that correlate achemical compound's molecular graph with experimentally gathered data regarding the compound's characteristics. The tree that minimizes the Wiener index among trees of given maximal degree was studied. We characterize trees that achieve the maximum and minimum Wiener index, given the number of vertices and the degree sequence.
2007-09-11 v2
Mean-field conditions for percolation on finite graphs
Published • View Publication • BIB
Let G_n be a sequence of finite transitive graphs with vertex degree d=d(n) and |G_n|=n. Denote by p^t(v,v) the return probability after t steps of the non-backtracking random walk on G_n. We show that if p^t(v,v) has quasi-random properties, then critical bond-percolation on G_n has a scaling window of width n^{-1/3}, as it would on a random graph. A consequence of our theorems is that if G_n is a transitive expander family with girth at least (2/3 + eps) \log_{d-1} n, then the size of the largest component in p-bond-percolation with p={1 +O(n^{-1/3}) \over d-1} is roughly n^{2/3}. In particular, bond-percolation on the celebrated Ramanujan graph constructed by Lubotzky, Phillips and Sarnak has the above scaling window. This provides the first examples of quasi-random graphs behaving like random graphs with respect to critical bond-percolation.
2007-09-10 v5
The Rank-Width of Edge-Colored Graphs
Published in Theory of Computing Systems 52(4):599-644(2013) • View Publication • BIB
Clique-width is a complexity measure of directed as well as undirected graphs. Rank-width is an equivalent complexity measure for undirected graphs and has good algorithmic and structural properties. It is in particular related to the vertex-minor relation. We discuss an extension of the notion of rank-width to edge-colored graphs. A C-colored graph is a graph where the arcs are colored with colors from the set C. There is not a natural notion of rank-width for C-colored graphs. We define two notions of rank-width for them, both based on a coding of C-colored graphs by edge-colored graphs where each edge has exactly one color from a field F and named respectively F-rank-width and F-bi-rank-width. The two notions are equivalent to clique-width. We then present a notion of vertex-minor for F-colored graphs and prove that F-colored graphs of bounded F-rank-width are characterised by a finite list of F-colored graphs to exclude as vertex-minors. A cubic-time algorithm to decide whether a F-colored graph has F-rank-width (resp. F-bi-rank-width) at most k, for fixed k, is also given. Graph operations to check MSOL-definable properties on F-colored graphs of bounded rank-width are presented. A specialisation of all these notions to (directed) graphs without edge colors is presented, which shows that our results generalise the ones in undirected graphs.
2007-09-10 v2
The Graver Complexity of Integer Programming
Published in Annals of Combinatorics, 13:289--296, 2009 • View Publication • BIB
In this article we establish an exponential lower bound on the Graver complexity of integer programs. This provides new type of evidence supporting the presumable intractability of integer programming. Specifically, we show that the Graver complexity of the incidence matrix of the complete bipartite graph $K_{3,m}$ satisfies $g(m)=Ω(2^m)$, with $g(m)\geq 17\cdot 2^{m-3}-7$ for every $m>3$ .
2007-09-09
L^2-spectral invariants and convergent sequences of finite graphs
Published • View Publication • BIB
Using the spectral theory of weakly convergent sequences of finite graphs, we prove the uniform existence of the integrated density of states for a large class of infinite graphs.
2007-09-07
Finding Paths and Cycles in Graphs
A polynomial time algorithm which detects all paths and cycles of all lengths in form of vertex pairs (start, finish).