arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

34995 papers tagged with this keyword
2009-09-01 v2
Isospectral Graph Reductions
Let G be an arbitrary finite weighted digraph with weights in the set of complex rational functions. A general procedure is proposed which allows for the reduction of G to a smaller graph with a less complicated structure having the same spectrum as of G (up to some set known in advance). The proposed procedure has a lot of flexibility and could be used e.g. for design of networks with prescribed spectral and dynamical properties.
2009-08-31 v2
Edge-disjoint Hamilton cycles in graphs
Published • View Publication • BIB
In this paper we give an approximate answer to a question of Nash-Williams from 1970: we show that for every α> 0, every sufficiently large graph on n vertices with minimum degree at least (1/2 + α)n contains at least n/8 edge-disjoint Hamilton cycles. More generally, we give an asymptotically best possible answer for the number of edge-disjoint Hamilton cycles that a graph G with minimum degree δmust have. We also prove an approximate version of another long-standing conjecture of Nash-Williams: we show that for every α> 0, every (almost) regular and sufficiently large graph on n vertices with minimum degree at least $(1/2 + α)n$ can be almost decomposed into edge-disjoint Hamilton cycles.
2009-08-27 v2
Graphs and CCR algebras
Published • View Publication • BIB
I introduce yet another way to associate a C*-algebra to a graph and construct a simple nuclear C*-algebra that has irreducible representations both on a separable and a nonseparable Hilbert space.
2009-08-27 v2
The lattice of integer flows of a regular matroid
Published • View Publication • BIB
For a finite multigraph G, let Λ(G) denote the lattice of integer flows of G -- this is a finitely generated free abelian group with an integer-valued positive definite bilinear form. Bacher, de la Harpe, and Nagnibeda show that if G and H are 2-isomorphic graphs then Λ(G) and Λ(H) are isometric, and remark that they were unable to find a pair of nonisomorphic 3-connected graphs for which the corresponding lattices are isometric. We explain this by examining the lattice Λ(M) of integer flows of any regular matroid M. Let M_\bullet be the minor of M obtained by contracting all co-loops. We show that Λ(M) and Λ(N) are isometric if and only if M_\bullet and N_\bullet are isomorphic.
A characterization of Q-polynomial distance-regular graphs
We obtain the following characterization of $Q$-polynomial distance-regular graphs. Let $\G$ denote a distance-regular graph with diameter $d\ge 3$. Let $E$ denote a minimal idempotent of $\G$ which is not the trivial idempotent $E_0$. Let $\{θ_i^*\}_{i=0}^d$ denote the dual eigenvalue sequence for $E$. We show that $E$ is $Q$-polynomial if and only if (i) the entry-wise product $E \circ E$ is a linear combination of $E_0$, $E$, and at most one other minimal idempotent of $\G$; (ii) there exists a complex scalar $β$ such that $θ^*_{i-1}-βθ^*_i + θ^*_{i+1}$ is independent of $i$ for $1 \le i \le d-1$; (iii) $θ^*_i \ne θ^*_0$ for $1 \le i \le d$.
Extremal Subgraphs of Random Graphs: an Extended Version
Published • View Publication • BIB
We prove that there is a constant $c >0$, such that whenever $p \ge n^{-c}$, with probability tending to 1 when $n$ goes to infinity, every maximum triangle-free subgraph of the random graph $G_{n,p}$ is bipartite. This answers a question of Babai, Simonovits and Spencer (Journal of Graph Theory, 1990). The proof is based on a tool of independent interest: we show, for instance, that the maximum cut of almost all graphs with $M$ edges, where $M >> n$, is ``nearly unique''. More precisely, given a maximum cut $C$ of $G_{n,M}$, we can obtain all maximum cuts by moving at most $O(\sqrt{n^3/M})$ vertices between the parts of $C$.
2009-08-26 v2
New graph polynomials from the Bethe approximation of the Ising partition function
Published • View Publication • BIB
We introduce two graph polynomials and discuss their properties. One is a polynomial of two variables whose investigation is motivated by the performance analysis of the Bethe approximation of the Ising partition function. The other is a polynomial of one variable that is obtained by the specialization of the first one. It is shown that these polynomials satisfy deletion-contraction relations and are new examples of the V-function, which was introduced by Tutte (1947, Proc. Cambridge Philos. Soc. 43, 26-40). For these polynomials, we discuss the interpretations of special values and then obtain the bound on the number of sub-coregraphs, i.e., spanning subgraphs with no vertices of degree one. It is proved that the polynomial of one variable is equal to the monomer-dimer partition function with weights parameterized by that variable. The properties of the coefficients and the possible region of zeros are also discussed for this polynomial.
2009-08-26 v2
Mixing time of near-critical random graphs
Published in Annals of Probability 2012, Vol. 40, No. 3, 979-1008 • View Publication • BIB
Let $\mathcal{C}_1$ be the largest component of the Erdős--Rényi random graph $\mathcal{G}(n,p)$. The mixing time of random walk on $\mathcal {C}_1$ in the strictly supercritical regime, $p=c/n$ with fixed $c>1$, was shown to have order $\log^2n$ by Fountoulakis and Reed, and independently by Benjamini, Kozma and Wormald. In the critical window, $p=(1+\varepsilon)/n$ where $λ=\varepsilon^3n$ is bounded, Nachmias and Peres proved that the mixing time on $\mathcal{C}_1$ is of order $n$. However, it was unclear how to interpolate between these results, and estimate the mixing time as the giant component emerges from the critical window. Indeed, even the asymptotics of the diameter of $\mathcal{C}_1$ in this regime were only recently obtained by Riordan and Wormald, as well as the present authors and Kim. In this paper, we show that for $p=(1+\varepsilon)/n$ with $λ=\varepsilon^3n\to\infty$ and $λ=o(n)$, the mixing time on $\mathcal{C}_1$ is with high probability of order $(n/λ)\log^2λ$. In addition, we show that this is the order of the largest mixing time over all components, both in the slightly supercritical and in the slightly subcritical regime [i.e., $p=(1-\varepsilon)/n$ with $λ$ as above].
2009-08-25 v2
Zero-one laws for connectivity in random key graphs
Published in IEEE Transactions on Information Theory, Vol. 58, No. 5, May 2012, pp. 2983--2999 • View Publication • BIB
The random key graph is a random graph naturally associated with the random key predistribution scheme of Eschenauer and Gligor for wireless sensor networks. For this class of random graphs we establish a new version of a conjectured zero-one law for graph connectivity as the number of nodes becomes unboundedly large. The results reported here complement and strengthen recent work on this conjecture by Blackburn and Gerke. In particular, the results are given under conditions which are more realistic for applications to wireless sensor networks.
2009-08-25 v2
Critical random graphs: limiting constructions and distributional properties
Published • View Publication • BIB
We consider the Erdos-Renyi random graph G(n,p) inside the critical window, where p = 1/n + lambda * n^{-4/3} for some lambda in R. We proved in a previous paper (arXiv:0903.4730) that considering the connected components of G(n,p) as a sequence of metric spaces with the graph distance rescaled by n^{-1/3} and letting n go to infinity yields a non-trivial sequence of limit metric spaces C = (C_1, C_2, ...). These limit metric spaces can be constructed from certain random real trees with vertex-identifications. For a single such metric space, we give here two equivalent constructions, both of which are in terms of more standard probabilistic objects. The first is a global construction using Dirichlet random variables and Aldous' Brownian continuum random tree. The second is a recursive construction from an inhomogeneous Poisson point process on R_+. These constructions allow us to characterize the distributions of the masses and lengths in the constituent parts of a limit component when it is decomposed according to its cycle structure. In particular, this strengthens results of Luczak, Pittel and Wierman by providing precise distributional convergence for the lengths of paths between kernel vertices and the length of a shortest cycle, within any fixed limit component.
2009-08-24
Rank-based attachment leads to power law graphs
Published in SIAM Journal of Discrete Math 24, 2010, pp. 420--440 • View Publication • BIB
We investigate the degree distribution resulting from graph generation models based on rank-based attachment. In rank-based attachment, all vertices are ranked according to a ranking scheme. The link probability of a given vertex is proportional to its rank raised to the power -a, for some a in (0,1). Through a rigorous analysis, we show that rank-based attachment models lead to graphs with a power law degree distribution with exponent 1+1/a whenever vertices are ranked according to their degree, their age, or a randomly chosen fitness value. We also investigate the case where the ranking is based on the initial rank of each vertex; the rank of existing vertices only changes to accommodate the new vertex. Here, we obtain a sharp threshold for power law behaviour. Only if initial ranks are biased towards lower ranks, or chosen uniformly at random, we obtain a power law degree distribution with exponent 1+1/a. This indicates that the power law degree distribution often observed in nature can be explained by a rank-based attachment scheme, based on a ranking scheme that can be derived from a number of different factors; the exponent of the power law can be seen as a measure of the strength of the attachment.
2009-08-23
Cycles are determined by their domination polynomials
Let $G$ be a simple graph of order $n$. A dominating set of $G$ is a set $S$ of vertices of $G$ so that every vertex of $G$ is either in $S$ or adjacent to a vertex in $S$. The domination polynomial of $G$ is the polynomial $D(G,x)=\sum_{i=1}^{n} d(G,i) x^{i}$, where $d(G,i)$ is the number of dominating sets of $G$ of size $i$. In this paper we show that cycles are determined by their domination polynomials.
2009-08-23
Determinants of adjacency matrices of graphs
We study the set of all determinants of adjacency matrices of graphs with a given number of vertices.
2009-08-21
Positivity of the T-system cluster algebra
Published • View Publication • BIB
We give the path model solution for the cluster algebra variables of the $A_r$ $T$-system with generic boundary conditions. The solutions are partition functions of (strongly) non-intersecting paths on weighted graphs. The graphs are the same as those constructed for the $Q$-system in our earlier work, and depend on the seed or initial data in terms of which the solutions are given. The weights are "time-dependent" where "time" is the extra parameter which distinguishes the $T$-system from the $Q$-system, usually identified as the spectral parameter in the context of representation theory. The path model is alternatively described on a graph with non-commutative weights, and cluster mutations are interpreted as non-commutative continued fraction rearrangements. As a consequence, the solution is a positive Laurent polynomial of the seed data.
2009-08-21 v2
Color-Critical Graphs Have Logarithmic Circumference
Published • View Publication • BIB
A graph G is k-critical if every proper subgraph of G is (k-1)-colorable, but the graph G itself is not. We prove that every k-critical graph on n vertices has a cycle of length at least log n/(100log k), improving a bound of Alon, Krivelevich and Seymour from 2000. Examples of Gallai from 1963 show that the bound cannot be improved to exceed 2(k-1)log n/log(k-2). We thus settle the problem of bounding the minimal circumference of k-critical graphs, raised by Dirac in 1952 and Kelly and Kelly in 1954.
2009-08-20
Vertices in all minimum paired-dominating sets of block graphs
Published • View Publication • BIB
Let $G=(V,E)$ be a simple graph without isolated vertices. A set $S\subseteq V$ is a paired-dominating set if every vertex in $V-S$ has at least one neighbor in $S$ and the subgraph induced by $S$ contains a perfect matching. In this paper, we present a linear-time algorithm to determine whether a given vertex in a block graph is contained in all its minimum paired-dominating sets.
2009-08-20 v2
On the optimality of the Arf invariant formula for graph polynomials
Published • View Publication • BIB
We prove optimality of the Arf invariant formula for the generating function of even subgraphs, or, equivalently, the Ising partition function, of a graph.
2009-08-20 v2
Geometric combinatorial algebras: cyclohedron and simplex
Published in Journal of Algebraic Combinatorics Volume 32, Number 4, 597-627, (2010) • View Publication • BIB
In this paper we report on results of our investigation into the algebraic structure supported by the combinatorial geometry of the cyclohedron. Our new graded algebra structures lie between two well known Hopf algebras: the Malvenuto-Reutenauer algebra of permutations and the Loday-Ronco algebra of binary trees. Connecting algebra maps arise from a new generalization of the Tonks projection from the permutohedron to the associahedron, which we discover via the viewpoint of the graph associahedra of Carr and Devadoss. At the same time that viewpoint allows exciting geometrical insights into the multiplicative structure of the algebras involved. Extending the Tonks projection also reveals a new graded algebra structure on the simplices. Finally this latter is extended to a new graded Hopf algebra (one-sided) with basis all the faces of the simplices.
2009-08-19 v2
Bounds for the Huckel energy of a graph
Published • View Publication • BIB
Let $G$ be a graph on $n$ vertices with $r := \lfloor n/2 \rfloor$ and let $λ_1 \geq...\geq λ_{n} $ be adjacency eigenvalues of $G$. Then the Hückel energy of $G$, HE($G$), is defined as $$\he(G) = {ll} 2\sum_{i=1}^{r} λ_i, & \hbox{if $n= 2r$;} 2\sum_{i=1}^{r} λ_i + λ_{r+1}, & \hbox{if $n= 2r+1$.} $$ The concept of Hückel energy was introduced by Coulson as it gives a good approximation for the $π$-electron energy of molecular graphs. We obtain two upper bounds and a lower bound for HE$(G)$. When $n$ is even, it is shown that equality holds in both upper bounds if and only if $G$ is a strongly regular graph with parameters $(n, k, λ, μ) = (4t^2 +4t +2, 2t^2 +3t +1, t^2 +2t, t^2 + 2t +1),$ for positive integer $t$. Furthermore, we will give an infinite family of these strongly regular graph whose construction was communicated by Willem Haemers to us. He attributes the construction to J.J. Seidel.
2009-08-19
Identifying codes and locating-dominating sets on paths and cycles
Published • View Publication • BIB
Let $G=(V,E)$ be a graph and let $r\ge 1$ be an integer. For a set $D \subseteq V$, define $N_r[x] = \{y \in V: d(x, y) \leq r\}$ and $D_r(x) = N_r[x] \cap D$, where $d(x,y)$ denotes the number of edges in any shortest path between $x$ and $y$. $D$ is known as an $r$-identifying code ($r$-locating-dominating set, respectively), if for all vertices $x\in V$ ($x \in V\backslash D$, respectively), $D_r(x)$ are all nonempty and different. In this paper, we provide complete results for $r$-identifying codes in paths and odd cycles; we also give complete results for 2-locating-dominating sets in cycles.