arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

34516 papers tagged with this keyword
2007-12-17
Graph limits and exchangeable random graphs
We develop a clear connection between deFinetti's theorem for exchangeable arrays (work of Aldous--Hoover--Kallenberg) and the emerging area of graph limits (work of Lovasz and many coauthors). Along the way, we translate the graph theory into more classical probability.
2007-12-15
Betti numbers of monomial ideals and shifted skew shapes
Published • View PublicationBIB
We present two new problems on lower bounds for resolution Betti numbers of monomial ideals generated in a fixed degree. The first concerns any such ideal and bounds the total Betti numbers, while the second concerns ideals that are quadratic and bihomogeneous with respect to two variable sets, but gives a more finely graded lower bound. These problems are solved for certain classes of ideals that generalize (in two different directions) the edge ideals of threshold graphs and Ferrers graphs. In the process, we produce particularly simple cellular linear resolutions for strongly stable and squarefree strongly stable ideals generated in a fixed degree, and combinatorial interpretations for the Betti numbers of other classes of ideals, all of which are independent of the coefficient field.
2007-12-13 v3
($\ell,0)$-Carter partitions, a generating function, and their crystal theoretic interpretation
Published in Electronic Journal of Combinatorics, Volume 15 (1), 2008 • View PublicationBIB
In this paper we give an alternate combinatorial description of the "$(\ell,0)$-JM partitions" (see \cite{F}) that are also $\ell$-regular. Our main theorem is the equivalence of our combinatoric and the one introduced by James and Mathas (\cite{JM}). The condition of being an $(\ell,0)$-JM partition is fundamentally related to the hook lengths of the partition. The representation-theoretic significance of their combinatoric on an $\ell$-regular partition is that it indicates the irreducibility of the corresponding specialized Specht module over the finite Hecke algebra (see \cite{JM}). We use our result to find a generating series which counts the number of such partitions, with respect to the statistic of a partition's first part. We then apply our description of these partitions to the crystal graph $B(Λ_0)$ of the basic representation of $\hat{\mathfrak{sl}_{\ell}}$, whose nodes are labeled by $\ell$-regular partitions. Here we give a fairly simple crystal-theoretic rule which generates all $\ell$-regular $(\ell,0)$-JM partitions in the graph $B(Λ_0)$. Finally, we mention how our construction can be generalized to recent results of M. Fayers (see \cite{F}) and S. Lyle (see \cite{L}) to count the total number of (not necessarily $\ell$-regular) Specht modules which stay irreducible at a primitive $\ell$th root of unity (for $\ell >2$).
2007-12-13
Distances in random Apollonian network structures
Published • View PublicationBIB
In this paper, we study the distribution of distances in random Apollonian network structures (RANS), a family of graphs which has a one-to-one correspondence with planar ternary trees. Using multivariate generating functions that express all information on distances, and singularity analysis for evaluating the coefficients of these functions, we describe the distribution of distances to an outermost vertex, and show that the average value of the distance between any pair of vertices in a RANS of order n is asymptotically square root of n.
Two-connected graphs with prescribed three-connected components
Published in Adv. in Appl. Math. 43 (2009), no. 1, pp. 46-74 • View PublicationBIB
We adapt the classical 3-decomposition of any 2-connected graph to the case of simple graphs (no loops or multiple edges). By analogy with the block-cutpoint tree of a connected graph, we deduce from this decomposition a bicolored tree tc(g) associated with any 2-connected graph g, whose white vertices are the 3-components of g (3-connected components or polygons) and whose black vertices are bonds linking together these 3-components, arising from separating pairs of vertices of g. Two fundamental relationships on graphs and networks follow from this construction. The first one is a dissymmetry theorem which leads to the expression of the class B=B(F) of 2-connected graphs, all of whose 3-connected components belong to a given class F of 3-connected graphs, in terms of various rootings of B. The second one is a functional equation which characterizes the corresponding class R=R(F) of two-pole networks all of whose 3-connected components are in F. All the rootings of B are then expressed in terms of F and R. There follow corresponding identities for all the associated series, in particular the edge index series. Numerous enumerative consequences are discussed.
2007-12-12
A Criterion for Vertex Colorability of a Graph Stated in Terms of Edge Orientations
Published in Diskretnyi Analiz, issue 26, 65-71 (1974), Novosibirsk, Institute of Mathematics of Siberian Branch of Academy of Sciences of the USSR; http://www.zentralblatt-math.org/zmath/en/advanced/?q=an:0298.05114&format=complete • Search Publication
L.M.Vitaver [1962] and G.I.Minty [1962] suggested criteria for vertex colorability of a graph in at most a given number of colors; these criteria are stated in terms of the orientation of the edges. One additional criterion of this kind is given here.
Primitive decompositions of Johnson graphs
Published • View PublicationBIB
A transitive decomposition of a graph is a partition of the edge set together with a group of automorphisms which transitively permutes the parts. In this paper we determine all transitive decompositions of the Johnson graphs such that the group preserving the partition is arc-transitive and acts primitively on the parts.
2007-12-11 v2
Cayley sum graphs and eigenvalues of $(3,6)$-fullerenes
We determine the spectra of cubic plane graphs whose faces have sizes 3 and 6. Such graphs, "(3,6)-fullerenes", have been studied by chemists who are interested in their energy spectra. In particular we prove a conjecture of Fowler, which asserts that all their eigenvalues come in pairs of the form $\{λ,-λ\}$ except for the four eigenvalues $\{3,-1,-1,-1\}$. We exhibit other families of graphs which are "spectrally nearly bipartite" in this sense. Our proof utilizes a geometric representation to recognize the algebraic structure of these graphs, which turn out to be examples of Cayley sum graphs.
On types of growth for graph-different permutations
We consider an infinite graph G whose vertex set is the set of natural numbers and adjacency depends solely on the difference between vertices. We study the largest cardinality of a set of permutations of [n] any pair of which differ somewhere in a pair of adjacent vertices of G and determine it completely in an interesting special case. We give estimates for other cases and compare the results in case of complementary graphs. We also explore the close relationship between our problem and the concept of Shannon capacity "within a given type".
2007-12-10 v2
Spectral analysis of metric graphs and related spaces
The aim of the present article is to give an overview of spectral theory on metric graphs guided by spectral geometry on discrete graphs and manifolds. We present the basic concept of metric graphs and natural Laplacians acting on it and explicitly allow infinite graphs. Motivated by the general form of a Laplacian on a metric graph, we define a new type of combinatorial Laplacian. With this generalised discrete Laplacian, it is possible to relate the spectral theory on discrete and metric graphs. Moreover, we describe a connection of metric graphs with manifolds. Finally, we comment on Cheeger's inequality and trace formulas for metric and discrete (generalised) Laplacians.
2007-12-08 v3
Symbolic Rees algebras, vertex covers and irreducible representations of Rees cones
Published in Algebra Discrete Math. 10 (2010), no. 2, 64--86 • Search Publication
Let G be a simple graph and let J be its ideal of vertex covers. We give a graph theoretical description of the irreducible b-vertex covers of G, i.e., we describe the minimal generators of the symbolic Rees algebra of J. Then we study the irreducible b-vertex covers of the blocker of G, i.e., we study the minimal generators of the symbolic Rees algebra of the edge ideal of G. We give a graph theoretical description of the irreducible binary b-vertex covers of the blocker of G. It is shown that they correspond to irreducible induced subgraphs of G. As a byproduct we obtain a method, using Hilbert bases, to obtain all irreducible induced subgraphs of G. In particular we obtain all odd holes and antiholes. We study irreducible graphs and give a method to construct irreducible b-vertex covers of the blocker of G with high degree relative to the number of vertices of G.
2007-12-08 v2
On the facial structure of Symmetric and Graphical Traveling Salesman Polyhedra
Published • View PublicationBIB
The Symmetric Traveling Salesman Polytope $S_n$ for a fixed number $n$ of cities is a face of the corresponding Graphical Traveling Salesman Polyhedron $P_n$. This has been used to study facets of $S_n$ using $P_n$ as a tool. In this paper, we study the operation of "rotating" (or "lifting") valid inequalities for $S_n$ to obtain a valid inequalities for $P_n$. As an application, we describe a surprising relationship between (a) the parsimonious property of relaxations of the Symmetric Traveling Salesman Polytope and (b) a connectivity property of the ridge graph of the Graphical Traveling Salesman Polyhedron.
2007-12-08
The maximum spectral radius of C_4-free graphs of given order and size
Published • View PublicationBIB
Let G be a graph of n vertices and m edges, and let G has no cycles of length 4. We give upper bounds on the adjacency spectral radius of G in terms of n and m.
2007-12-06
Choice Number and Energy of Graphs
Published • View PublicationBIB
The energy of a graph G, denoted by E(G), is defined as the sum of the absolute values of all eigenvalues of G. It is proved that E(G)>= 2(n-χ(\bar{G}))>= 2(ch(G)-1) for every graph G of order n, and that E(G)>= 2ch(G) for all graphs G except for those in a few specified families, where \bar{G}, χ(G), and ch(G) are the complement, the chromatic number, and the choice number of G, respectively.
2007-12-05
Quasi-kernels and quasi-sinks in infinite graphs
Given a directed graph G=(V,E) an independent set A of the vertices V is called quasi-kernel (quasi-sink) iff for each point v there is a path of length at most 2 from some point of A to v (from v to some point of A). Every finite directed graph has a quasi-kernel. The plain generalization for infinite graphs fails, even for tournaments. We investigate the following conjecture here: for any digraph G=(V,E) there is a a partition (V_0,V_1) of the vertex set such that the induced subgraph G[V_0] has a quasi-kernel and the induced subgraph G[V_1] has a quasi-sink.
2007-12-04
The number of hypergraphs and colored Hypergraphs with hereditary properties
As an application of Szemeredi's regularity lemma, Erdos-Frankl-Rodl (1986) showed that the number of graphs on vertex set {1,2,...n} with a monotone class P is $2^{(1+o(1))ex(n,P)n^2/2}$ where $ex(n,P)$ is the maximum number of edges of an n-vertex graph which has no subgraph in P. Kohayakawa et al. (2003) extended it from monotone to hereditary and from graphs to 3-uniform hypergraphs. We extend it to general hypergraphs. This may be a simple example illustrating how to apply a recent hypergraph regularity lemma by the author.
2007-12-03
Random graphs with forbidden vertex degrees
Published • View PublicationBIB
We study the random graph G_{n,λ/n} conditioned on the event that all vertex degrees lie in some given subset S of the non-negative integers. Subject to a certain hypothesis on S, the empirical distribution of the vertex degrees is asymptotically Poisson with some parameter \mux given as the root of a certain `characteristic equation' of S that maximises a certain function \psis(μ). Subject to a hypothesis on S, we obtain a partial description of the structure of such a random graph, including a condition for the existence (or not) of a giant component. The requisite hypothesis is in many cases benign, and applications are presented to a number of choices for the set S including the sets of (respectively) even and odd numbers. The random \emph{even} graph is related to the random-cluster model on the complete graph K_n.
2007-12-03 v3
The Ring of Graph Invariants - Graphic Values
The ring of graph invariants is spanned by the basic graph invariants which calculate the number of subgraphs isomorphic to a given graph in other graphs. These subgraphs counting invariants are not algebraically independent. In our view the most important problem in graph theory of unlabeled graphs is the problem of determining graphic values of arbitrary sets of graph invariants. This corresponds to explaining the syzygy of the graph invariants when the number of vertices is unbounded. We introduce two methods to explore this complicated structure. Sets of graphs with a small number of vertices impose constraints on larger sets. We describe families of inequalities of graph invariants. These inequalities allow to loop over all values of graph invariants which look like graphic from the small sets point of view. We also develop strong notion of graphic values where the existence of the corresponding graphs is guaranteed once the constraints are satisfied by the basic graph invariants. These constraints are necessary and sufficient for graphs whose local neighborhoods are generated by a finite set of locally connected graphs. The reconstruction of the graph from the basic graph invariants is shown to be NP-complete in this restricted case. Finally we apply these results to formulate the problem of Ramsey numbers as an integer polyhedron problem of moderate and adjustable dimension.
2007-12-02 v2
The Algebra of Graph Invariants - Lower and Upper Bounds for Minimal Generators
In this paper we study the algebra of graph invariants, focusing mainly on the invariants of simple graphs. All other invariants, such as sorted eigenvalues, degree sequences and canonical permutations, belong to this algebra. In fact, every graph invariant is a linear combination of the basic graph invariants which we study in this paper. To prove that two graphs are isomorphic, a number of basic invariants are required, which are called separator invariants. The minimal set of separator invariants is also the minimal basic generator set for the algebra of graph invariants. We find lower and upper bounds for the minimal number of generator/separator invariants needed for proving graph isomorphism. Finally we find a sufficient condition for Ulam's conjecture to be true based on Redfield's enumeration formula.
2007-12-02
The Non-Backtracking Spectrum of the Universal Cover of a Graph
Published • View PublicationBIB
A non-backtracking walk on a graph, $H$, is a directed path of directed edges of $H$ such that no edge is the inverse of its preceding edge. Non-backtracking walks of a given length can be counted using the non-backtracking adjacency matrix, $B$, indexed by $H$'s directed edges and related to Ihara's Zeta function. We show how to determine $B$'s spectrum in the case where $H$ is a tree covering a finite graph. We show that when $H$ is not regular, this spectrum can have positive measure in the complex plane, unlike the regular case. We show that outside of $B$'s spectrum, the corresponding Green function has ``periodic decay ratios.'' The existence of such a ``ratio system'' can be effectively checked, and is equivalent to being outside the spectrum. We also prove that the spectral radius of the non-backtracking walk operator on the tree covering a finite graph is exactly $\sqrt\gr$, where $\gr$ is the growth rate of the tree. This further motivates the definition of the graph theoretical Riemann hypothesis proposed by Stark and Terras \cite{ST}. Finally, we give experimental evidence that for a fixed, finite graph, $H$, a random lift of large degree has non-backtracking new spectrum near that of $H$'s universal cover. This suggests a new generalization of Alon's second eigenvalue conjecture.