arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

34995 papers tagged with this keyword
Every plane graph of maximum degree 8 has an edge-face 9-colouring
Published in SIAM Journal on Discrete Mathematics 25(2): 514-533, 2011 • View Publication • BIB
An edge-face colouring of a plane graph with edge set $E$ and face set $F$ is a colouring of the elements of $E \cup F$ such that adjacent or incident elements receive different colours. Borodin proved that every plane graph of maximum degree $Δ\ge10$ can be edge-face coloured with $Δ+1$ colours. Borodin's bound was recently extended to the case where $Δ=9$. In this paper, we extend it to the case $Δ=8$.
2009-12-23 v3
Asymptotic enumeration of labelled graphs with a given genus
Published • View Publication • BIB
We enumerate rooted 2-connected and 3-connected surface maps with respect to vertices and edges. We also derive the bivariate version of the large face-width result for random 3-connected maps. These results are then used to derive asymptotic formulas for the number of labelled graphs of genus g (1-connected, 2-connected, and 3-connected graphs.)
2009-12-21
Properties of $θ$-super positive graphs
Published • View Publication • BIB
Let the matching polynomial of a graph $G$ be denoted by $μ(G,x)$. A graph $G$ is said to be $θ$-super positive if $μ(G,θ)\neq 0$ and $μ(G\setminus v,θ)=0$ for all $v\in V(G)$. In particular, $G$ is 0-super positive if and only if $G$ has a perfect matching. While much is known about 0-super positive graphs, almost nothing is known about $θ$-super positive graphs for $θ\not = 0$. This motivates us to investigate the structure of $θ$-super positive graphs in this paper. Though a 0-super positive graph may not contain any cycle, we show that a $θ$-super positive graph with $θ\not = 0$ must contain a cycle. We introduce two important types of $θ$-super positive graphs, namely $θ$-elementary and $θ$-base graphs. One of our main results is that any $θ$-super positive graph $G$ can be constructed by adding certain type of edges to a disjoint union of $θ$-base graphs; moreover, these $θ$-base graphs are uniquely determined by $G$. We also give a characterization of $θ$-elementary graphs: a graph $G$ is $θ$-elementary if and only if the set of all its $θ$-barrier sets form a partition of $V(G)$. Here, $θ$-elementary graphs and $θ$-barrier sets can be regarded as $θ$-analogue of elementary graphs and Tutte sets in classical matching theory.
2009-12-21 v3
Locally finite graphs with ends: a topological approach
Published • View Publication • BIB
This paper is intended as an introductory survey of a newly emerging field: a topological approach to the study of locally finite graphs that crucially incorporates their ends. Topological arcs and circles, which may pass through ends, assume the role played in finite graphs by paths and cycles. This approach has made it possible to extend to locally finite graphs many classical theorems of finite graph theory that do not extend verbatim. The shift of paradigm it proposes is thus as much an answer to old questions as a source of new ones; many concrete problems of both types are suggested in the paper. This paper attempts to provide an entry point to this field for readers that have not followed the literature that has emerged in the last 10 years or so. It takes them on a quick route through what appear to be the most important lasting results, introduces them to key proof techniques, identifies the most promising open problems, and offers pointers to the literature for more detail.
2009-12-21 v2
Maltsev digraphs have a majority polymorphism
Published in European Journal of Combinatorics 32 (2011), pages 390-397 • View Publication • BIB
We prove that when a digraph $G$ has a Maltsev polymorphism, then $G$ also has a majority polymorphism. We consider the consequences of this result for the structure of Maltsev graphs and the complexity of the Constraint Satisfaction Problem.
2009-12-20
Eigenvalues of Transmission Graph Laplacians
The standard notion of the Laplacian of a graph is generalized to the setting of a graph with the extra structure of a ``transmission`` system. A transmission system is a mathematical representation of a means of transmitting (multi-parameter) data along directed edges from vertex to vertex. The associated transmission graph Laplacian is shown to have many of the former properties of the classical case, including: an upper Cheeger type bound on the second eigenvalue minus the first of a geometric isoperimetric character, relations of this difference of eigenvalues to diameters for k-regular graphs, eigenvalues for Cayley graphs with transmission systems. An especially natural transmission system arises in the context of a graph endowed with an association. Other relations to transmission systems arising naturally in quantum mechanics, where the transmission matrices are scattering matrices, are made. As a natural merging of graph theory and matrix theory, there are numerous potential applications, for example to random graphs and random matrices.
2009-12-19
A concentration result with application to subgraph count
Published • View Publication • BIB
Let H = (V,E) be a k-uniform hypergraph with a vertex set V and an edge set E. Let V_p be constructed by taking every vertex in V independently with probability p. Let X be the number of edges in E that are contained in V_p. We give a condition that guarantees the concentration of X within a small interval around its mean. The applicability of this result is demonstrated by deriving new sub-Gaussian tails for the number of copies of small complete and complete bipartite graphs in the binomial random graph, extending results of Ruciński and Vu.
2009-12-19 v5
Time evolution of dense multigraph limits under edge-conservative preferential attachment dynamics
We define the edge reconnecting model, a random multigraph evolving in time. At each time step we change one endpoint of a uniformly chosen edge: the new endpoint is chosen by linear preferential attachment. We consider a sequence of edge reconnecting models where the sequence of initial multigraphs is convergent in a sense which is a natural generalization of the notion of convergence of dense graph sequences, defined by Lovasz and Szegedy in arXiv:math/0408173. We investigate how the limit object evolves under the edge reconnecting dynamics if we rescale time properly: we give the complete characterization of the time evolution of the limit object from its initial state up to the stationary state, which is described in the companion paper arXiv:1106.2058. In our proofs we use the theory of exchangeable arrays, queuing and diffusion processes. The number of parallel edges and the degrees evolve on different timescales and because of this the model exhibits subaging.
2009-12-18
A note on the third invariant factor of the Laplacian matrix of a graph
Let $G$ be a simple connected graph with $n\geq 5$ vertices. In this note, we will prove that $s_3(G)\leq n$, and characterize the graphs which satisfy that $s_3(G)=n, n-1, n-2, $ or $n-3$, where $s_3(G)$ is the third invariant factor of the Laplacian matrix of $G$.
2009-12-18
The critical group of $K_m\times C_n$
In this paper, the structure of the critical group of the graph $K_m\times C_n$ is determined, where $m, n\ge 3$.
2009-12-16
The critical group of $C_4\times C_n$
In this paper, the critical group structure of the Cartesian product graph $C_4\times C_n$ is determined, where $n\ge 3$.
On the geodetic and the hull numbers in strong product graphs
A set S of vertices of a connected graph G is convex, if for any pair of vertices u; v 2 S, every shortest path joining u and v is contained in S . The convex hull CH(S) of a set of vertices S is defined as the smallest convex set in G containing S. The set S is geodetic, if every vertex of G lies on some shortest path joining two vertices in S, and it is said to be a hull set if its convex hull is V(G). The geodetic and the hull numbers of G are the cardinality of a minimum geodetic and a minimum hull set, respectively. In this work, we investigate the behavior of both geodetic and hull sets with respect to the strong product operation for graphs. We also stablish some bounds for the geodetic number and the hull number and obtain the exact value of these parameters for a number of strong product graphs.
2009-12-16 v4
Discrete Dirac Operators, Critical Embeddings and Ihara-Selberg Functions
Published in The Electronic Journal of Combinatorics 22(1) (2015), #P1.10 • View Publication • BIB
The aim of the paper is to formulate a discrete analogue of the claim made by Alvarez-Gaume et al., realizing the partition function of the free fermion on a closed Riemann surface of genus g as a linear combination of 2^{2g} Pfaffians of Dirac operators. Let G=(V,E) be a finite graph embedded in a closed Riemann surface X of genus g, x_e the collection of independent variables associated with each edge e of G (collected in one vector variable x) and S the set of all 2^{2g} Spin-structures on X. We introduce 2^{2g} rotations rot_s and (2|E| times 2|E|) matrices D(s)(x), s in S, of the transitions between the oriented edges of G determined by rotations rot_s. We show that the generating function for the even subsets of edges of G, i.e., the Ising partition function, is a linear combination of the square roots of 2^{2g} Ihara-Selberg functions I(D(s)(x)) also called Feynman functions. By a result of Foata--Zeilberger holds I(D(s)(x))= det(I-D'(s)(x)), where D'(s)(x) is obtained from D(s)(x) by replacing some entries by 0. Thus each Feynman function is computable in polynomial time. We suggest that in the case of critical embedding of a bipartite graph G, the Feynman functions provide suitable discrete analogues for the Pfaffians of discrete Dirac operators.
Toughness and Vertex Degrees
Published • View Publication • BIB
We study theorems giving sufficient conditions on the vertex degrees of a graph $G$ to guarantee $G$ is $t$-tough. We first give a best monotone theorem when $t\ge1$, but then show that for any integer $k\ge1$, a best monotone theorem for $t=\frac1k\le 1$ requires at least $f(k)\cdot|V(G)|$ nonredundant conditions, where $f(k)$ grows superpolynomially as $k\rightarrow\infty$. When $t<1$, we give an additional, simple theorem for $G$ to be $t$-tough, in terms of its vertex degrees.
2009-12-15 v3
Cyclic Orderings and Cyclic Arboricity of Matroids
Published • View Publication • BIB
We prove a general result concerning cyclic orderings of the elements of a matroid. For each matroid $M$, weight function $ω:E(M)\rightarrow\mathbb{N}$, and positive integer $D$, the following are equivalent. (1) For all $A\subseteq E(M)$, we have $\sum_{a\in A}ω(a)\le D\cdot r(A)$. (2) There is a map $φ$ that assigns to each element $e$ of $E(M)$ a set $φ(e)$ of $ω(e)$ cyclically consecutive elements in the cycle $(1,2,...,D)$ so that each set $\{e|i\inφ(e)\}$, for $i=1,...,D$, is independent. As a first corollary we obtain the following. For each matroid $M$ so that $|E(M)|$ and $r(M)$ are coprime, the following are equivalent. (1) For all non-empty $A\subseteq E(M)$, we have $|A|/r(A)\le|E(M)|/r(M)$. (2) There is a cyclic permutation of $E(M)$ in which all sets of $r(M)$ cyclically consecutive elements are bases of $M$. A second corollary is that the circular arboricity of a matroid is equal to its fractional arboricity. These results generalise classical results of Edmonds, Nash-Williams and Tutte on covering and packing matroids by bases and graphs by spanning trees.
2009-12-14
Algèbre combinatoire et effective: des graphes aux algèbres de Kac, via l'exploration informatique
This manuscript synthesizes almost fifteen years of research in algebraic combinatorics, in order to highlight, theme by theme, its perspectives. In part one, building on my thesis work, I use tools from commutative algebra, and in particular from invariant theory, to study isomorphism problems in combinatorics. I first consider algebras of graph invariants in relation with Ulam's reconstruction conjecture, and then, more generally, the age algebras of relational structures. This raises in return structural and algorithmic problems in the invariant theory of permutation groups. In part two, the leitmotiv is the quest for simple yet rich combinatorial models to describe algebraic structures and their representations. This includes the Hecke group algebras of Coxeter groups which I introduced and which relate to the affine Hecke algebras, but also some finite dimensional Kac algebras in relation with inclusions of factors, and the rational Steenrod algebras. Beside being concrete and constructive, such combinatorial models shed light on certain algebraic phenomena and can lead to elegant and elementary proofs. My favorite tool is computer exploration, and the algorithmic and effective aspects play a major role in this manuscript. In particular, I describe the international open source project *-Combinat which I founded back in 2000, and whose mission is to provide an extensible toolbox for computer exploration in algebraic combinatorics and to foster code sharing among researchers in this area. I present specific challenges that the development of this project raised, and the original algorithmic, design, and development model solutions I was led to develop.
2009-12-13
On the Hilbert series of vertex cover algebras of Cohen-Macaulay bipartite graphs
Published • View Publication • BIB
We study the Hilbert function and the Hilbert series of the vertex cover algebra $A(G)$, where $G$ is a Cohen-Macaulay bipartite graph.
Robustness of Regular Graphs Based on Natural Connectivity
Published • View Publication • BIB
It has been recently proposed that the natural connectivity can be used to characterize efficiently the robustness of complex networks. The natural connectivity quantifies the redundancy of alternative routes in the network by evaluating the weighted number of closed walks of all lengths and can be seen as an average eigenvalue obtained from the graph spectrum. In this paper, we explore both analytically and numerically the natural connectivity of regular ring lattices and regular random graphs obtained through degree-preserving random rewirings from regular ring lattices. We reformulate the natural connectivity of regular ring lattices in terms of generalized Bessel functions and show that the natural connectivity of regular ring lattices is independent of network size and increases with monotonically. We also show that random regular graphs have lower natural connectivity, and are thus less robust, than regular ring lattices.
2009-12-11
The Critical Independence Number and an Independence Decomposition
Published • View Publication • BIB
An independent set $I_c$ is a \textit{critical independent set} if $|I_c| - |N(I_c)| \geq |J| - |N(J)|$, for any independent set $J$. The \textit{critical independence number} of a graph is the cardinality of a maximum critical independent set. This number is a lower bound for the independence number and can be computed in polynomial-time. Any graph can be decomposed into two subgraphs where the independence number of one subgraph equals its critical independence number, where the critical independence number of the other subgraph is zero, and where the sum of the independence numbers of the subgraphs is the independence number of the graph. A proof of a conjecture of Graffiti.pc yields a new characterization of König-Egervary graphs: these are exactly the graphs whose independence and critical independence numbers are equal.
2009-12-11
Uniqueness of graph square roots of girth six
Published • View Publication • BIB
We prove that if two graphs of girth at least 6 have isomorphic squares, then the graphs themselves are isomorphic. This is the best possible extension of the results of Ross and Harary on trees and the results of Farzad et al. on graphs of girth at least 7. We also make a remark on reconstruction of graphs from their higher powers.