arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

34516 papers tagged with this keyword
2005-02-15
Bounds on the Nodal Statuses of Some Transfinite Graphs
The bounds on the statuses of the nodes in a finite graph established by Entringer, Jackson, and Snyder are extended herein so that they apply to the nodes in a transfinite graph of a certain kind.
2005-02-12 v4
The direct algorithm for solving of the graph isomorphism problem
We propose an algorithm for solving of the graph isomorphism problem. Also, we introduce the new class of graphs for which the graph isomorphism problem can be solved polynomially using the algorithm.
2005-02-11
Diameters of Cayley graphs of SL_n(Z/kZ)
Published • View PublicationBIB
We show that for integers k > 1 and n > 2, the diameter of the Cayley graph of SL_n(Z/kZ) associated to a standard two-element generating set, is at most a constant times n^2 ln k. This answers a question of A. Lubotzky concerning SL_n(F_p) and is unexpected because these Cayley graphs do not form an expander family. Our proof amounts to a quick algorithm for finding short words representing elements of SL_n(Z/kZ).
2005-02-11
Universal lattices and unbounded rank expanders
Published • View PublicationBIB
We study the representations of non-commutative universal lattices and use them to compute lower bounds for the \TauC for the commutative universal lattices $G_{d,k}= \SL_d(\Z[x_1,...,x_k])$ with respect to several generating sets. As an application of the above result we show that the Cayley graphs of the finite groups $\SL_{3k}(\F_p)$ can be made expanders using suitable choice of the generators. This provides the first examples of expander families of groups of Lie type where the rank is not bounded and gives a natural (and explicit) counter examples to two conjectures of Alex Lubotzky and Benjamin Weiss.
2005-02-07 v4
A Combinatorial Model for Crystals of Kac-Moody Algebras
Published • View PublicationBIB
We present a simple combinatorial model for the characters of the irreducible integrable highest weight modules for complex symmetrizable Kac-Moody algebras. This model can be viewed as a discrete counterpart to the Littelmann path model. We describe crystal graphs and give a Littlewood-Richardson rule for decomposing tensor products of irreducible representations. The new model is based on the notion of a lambda-chain, which is a chain of positive roots defined by certain interlacing conditions.
2005-01-28 v2
Perfect matchings and perfect powers
Published in J. Algebraic Combin. 17 (2003), 335-375 • Search Publication
In the last decade there have been many results about special families of graphs whose number of perfect matchings is given by perfect or near perfect powers. In this paper we present an approach that allows proving them in a unified way. We use this approach to prove a conjecture of James Propp stating that the number of tilings of the so-called Aztec dungeon regions is a power (or twice a power) of 13. We also prove a conjecture of Matt Blum stating that the number of perfect matchings of a certain family of subgraphs of the square lattice is a power of 3 or twice a power of 3. In addition we obtain multi-parameter generalizations of previously known results, and new multi-parameter exact enumeration results. We obtain in particular a simple combinatorial proof of Bo-Yin Yang's multivariate generalization of fortresses, a result whose previously known proof was quite complicated, amounting to evaluation of the Kasteleyn matrix by explicit row reduction. We also include a new multivariate exact enumeration of Aztec diamonds, in the spirit of Stanley's multivariate version.
2005-01-25
Coloring graphs with crossings
Published • View PublicationBIB
We generalize the Five Color Theorem by showing that it extends to graphs with two crossings. Furthermore, we show that if a graph has three crossings, but does not contain K_6 as a subgraph, then it is also 5-colorable. We also consider the question of whether the result can be extended to graphs with more crossings.
2005-01-18 v2
Asymptotic enumeration and limit laws of planar graphs
Published • View PublicationBIB
We show an asymptotic estimate for the number of labelled planar graphs on $n$ vertices. We also find limit laws for the number of edges, the number of connected components, and other parameters in random planar graphs.
2005-01-18 v2
Weight Systems for Milnor Invariants
Published in J. Knot Theory Ramif., vol. 17, no. 2, 2008, pp. 213-230 • View PublicationBIB
We use Polyak's skein relation to give a new proof that Milnor's string link homotopy invariants are finite type invariants, and to develop a recursive relation for their associated weight systems. We show that the obstruction to the triviality of these weight systems is the presence of a certain kind of spanning tree in the intersection graph of a chord diagram.
2005-01-16 v2
Alcoved Polytopes I
Published • View PublicationBIB
The aim of this paper is to study alcoved polytopes, which are polytopes arising from affine Coxeter arrangements. This class of convex polytopes includes many classical polytopes, for example, the hypersimplices. We compare two constructions of triangulations of hypersimplices due to Stanley and Sturmfels and explain them in terms of alcoved polytopes. We study triangulations of alcoved polytopes, the adjacency graphs of these triangulations, and give a combinatorial formula for volumes of these polytopes. In particular, we study a class of matroid polytopes, which we call the multi-hypersimplices.
2005-01-14
The minimum number of 4-cliques in graphs with triangle-free complement
Write f(n) for the minimum number of 4-cliques in graphs of order n with triangle-free complement. Finding f(n) is a particular case of a problem raised by Erdos in 1962. We give an upper bound of f(n) and a matching lower bound when the graph is close to regular.
2005-01-14 v2
Random Geometric Graph Diameter in the Unit Ball
Published in Algorithmica 47, no. 4 (2007), 421-438 • View PublicationBIB
The unit ball random geometric graph $G=G^d_p(λ,n)$ has as its vertices $n$ points distributed independently and uniformly in the $d$-dimensional unit ball, with two vertices adjacent if and only if their $l_p$-distance is at most $λ$. Like its cousin the Erdos-Renyi random graph, $G$ has a connectivity threshold: an asymptotic value for $λ$ in terms of $n$, above which $G$ is connected and below which $G$ is disconnected (and in fact has isolated vertices in most cases). In the connected zone, we determine upper and lower bounds for the graph diameter of $G$. Specifically, almost always, $\diam_p(\mathbf{B})(1-o(1))/λ\leq \diam(G) \leq \diam_p(\mathbf{B})(1+O((\ln \ln n/\ln n)^{1/d}))/λ$, where $\diam_p(\mathbf{B})$ is the $\ell_p$-diameter of the unit ball $\mathbf{B}$. We employ a combination of methods from probabilistic combinatorics and stochastic geometry.
2005-01-14 v2
The Betti numbers of forests
This paper produces a recursive formula of the Betti numbers of certain Stanley-Reisner ideals (graph ideals associated to forests). This gives a purely combinatorial definition of the projective dimension of these ideals, which turns out to be a new numerical invariant of forests. Finally, we propose a possible extension of this invariant to general graphs.
2005-01-11
Isotemporal classes of n-gons
Here I present the present the first major result of a novel form of network analysis - a temporal interpretation. Treating numerical edges labels as the time at which an interaction occurs between the two vertices comprising that edge generates a number of intriguing questions. For example, given the structure of a graph, how many ``fundamentally'' different temporally non-isomorphic forms are there, across all possible edge labelings. Specifically, two networks, N and M, are considered to be in the same isotemporal class if there exists a function alpha(N)->M that is a graph isomorphism and preserves all paths in N with strictly increasing edge labels. I present a closed formula for the number of isotemporal classes N(n) of n-gons. This result is strongly tied to number theoretic identities; in the case of $n$ odd, N(n)= 1/n sum_{d|n} (2^{n/d -1}-1)Phi(d), where Phi is the Euler totient function.
Towards a Theory of Scale-Free Graphs: Definition, Properties, and Implications (Extended Version)
Published • View PublicationBIB
Although the ``scale-free'' literature is large and growing, it gives neither a precise definition of scale-free graphs nor rigorous proofs of many of their claimed properties. In fact, it is easily shown that the existing theory has many inherent contradictions and verifiably false claims. In this paper, we propose a new, mathematically precise, and structural definition of the extent to which a graph is scale-free, and prove a series of results that recover many of the claimed properties while suggesting the potential for a rich and interesting theory. With this definition, scale-free (or its opposite, scale-rich) is closely related to other structural graph properties such as various notions of self-similarity (or respectively, self-dissimilarity). Scale-free graphs are also shown to be the likely outcome of random construction processes, consistent with the heuristic definitions implicit in existing random graph approaches. Our approach clarifies much of the confusion surrounding the sensational qualitative claims in the scale-free literature, and offers rigorous and quantitative alternatives.
2005-01-05
Isospectral Cayley graphs of some finite simple groups
Published • View PublicationBIB
We apply spectral analysis of quotients of the Bruhat-Tits buildings of type $\tilde{A}_{d-1}$ to construct isospectral non-isomorphic Cayley graphs of the finite simple groups $\operatorname{PSL}_d({\mathbb F}_q)$ for every $d \geq 5$ ($d \neq 6$) and prime power $q > 2$.
2005-01-05
A special case of Hadwiger's conjecture
Published • View PublicationBIB
We investigate Hadwiger's conjecture for graphs with no stable set of size 3. Such a graph on at least 2t-1 vertices is not t-1 colorable, so is conjectured to have a $K_t$ minor. There is a strengthening of Hadwiger's conjecture in this case, which states that there is always a minor in which the preimages of the vertices of $K_t$ are connected subgraphs of size one or two. We prove this strengthened version for graphs whose complement has an even number of vertices and fractional chromatic number less than 3. We investigate several possible generalizations and obtain counterexamples for some and improved results from others. We also show that for sufficiently large $n=|V(G)|$, a graph with no stable set of size 3 has a $K_{1/9 n^{4/5}}$ minor using only sets of size one or two as preimages of vertices.
2004-12-31
Educational production and optimal class size
Lazear (2001) (Quarterly Journal of Economics, v. 116, p. 777-803) provided a model of a private school with a particular profit function. Using an alternative, related profit function I show that an optimal solution has nearly equal class sizes. I also offer a conjecture about the roots of a certain family of polynomials, which if true, allows one to conclude that if students become less disruptive or teacher cost increases, then the optimal solution for a profit maximizing school is generally, but not always, to use fewer classes. I also show that if the school has s>1 types of students, then the optimal solution will have at most s-1 mixed classes and its bipartite graph is a forest.
2004-12-30
Compressed polytopes and statistical disclosure limitation
Published • View PublicationBIB
We provide a characterization of the compressed lattice polytopes in terms of their facet defining inequalities and we show that every compressed lattice polytope is affinely isomorphic to a 0/1-polytope. As an application, we characterize those graphs whose cut polytopes are compressed and discuss consequences for studying linear programming relaxations in statistical disclosure limitation.
2004-12-29
Maximum run length in a toroidal grid graph
A toroidal grid graph is a Cartesian product of cycles, and the run length of a Hamiltonian cycle in a grid graph is defined to be the maximum number r such that any r consecutive edges include no more than one edge in any dimension. By constructive methods, we place bounds on the maximum run length possible for a Hamiltonian cycle in several families of grid graphs.