graph
34516 papers tagged with this keyword
Coxeter Complexes and Graph-Associahedra
Published in Topology and its Applications, 153 (2006) 2155-2168
• View Publication
• BIB
Given a graph G, we construct a simple, convex polytope whose face poset is based on the connected subgraphs of G. This provides a natural generalization of the Stasheff associahedron and the Bott-Taubes cyclohedron. Moreover, we show that for any simplicial Coxeter system, the minimal blow-ups of its associated Coxeter complex has a tiling by graph-associahedra. The geometric and combinatorial properties of the complex as well as of the polyhedra are given. These spaces are natural generalizations of the Deligne-Knudsen-Mumford compactification of the real moduli space of curves.
Signature of rotors
Rotors were introduced in Graph Theory by W.Tutte. The concept was adapted to Knot Theory as a generalization of mutation by Anstee, Przytycki and Rolfsen in 1987. In this paper we show that Tristram-Levine signature is preserved by orientation-preserving rotations. Moreover, we show that any link invariant obtained from the characteristic polynomial of Goeritz matrix, including Murasugi signature, is not changed by rotations. In 2001, P. Traczyk showed that the Conway polynomials of any pair of orientation-preserving rotants coincide. But it was still an open problem if an orientation-reversing rotation preserves Conway polynomial. We show that there is a pair of orientation-reversing rotants with different Conway polynomials. This provides a negative solution to the problem.
Routing Complexity of Faulty Networks
Published
• View Publication
• BIB
One of the fundamental problems in distributed computing is how to efficiently perform routing in a faulty network in which each link fails with some probability. This paper investigates how big the failure probability can be, before the capability to efficiently find a path in the network is lost. Our main results show tight upper and lower bounds for the failure probability which permits routing, both for the hypercube and for the $d-$dimensional mesh. We use tools from percolation theory to show that in the $d-$dimensional mesh, once a giant component appears -- efficient routing is possible. A different behavior is observed when the hypercube is considered. In the hypercube there is a range of failure probabilities in which short paths exist with high probability, yet finding them must involve querying essentially the entire network. Thus the routing complexity of the hypercube shows an asymptotic phase transition. The critical probability with respect to routing complexity lies in a different location then that of the critical probability with respect to connectivity. Finally we show that an oracle access to links (as opposed to local routing) may reduce significantly the complexity of the routing problem. We demonstrate this fact by providing tight upper and lower bounds for the complexity of routing in the random graph $G_{n,p}$.
The Chromatic Number of Random Regular Graphs
Published in Proc. RANDOM 2004
• View Publication
• BIB
Given any integer d >= 3, let k be the smallest integer such that d < 2k log k. We prove that with high probability the chromatic number of a random d-regular graph is k, k+1, or k+2, and that if (2k-1) \log k < d < 2k \log k then the chromatic number is either k+1 or k+2.
Isometric-path numbers of block graphs
An isometric path between two vertices in a graph G is a shortest path joining them. The isometric-path number of G, denoted by ip(G), is the minimum number of isometric paths required to cover all vertices of G. In this paper, we determine exact values of isometric-path numbers of block graphs. We also give a linear-time algorithm for finding the corresponding paths.
Synchronization of networks with prescribed degree distributions
Published in IEEE Transactions on Circuits and Systems-I, Vol. 53 (1): 92-98, 2006
• View Publication
• BIB
We show that the degree distributions of graphs do not suffice to characterize the synchronization of systems evolving on them. We prove that, for any given degree sequence satisfying certain conditions, there exists a connected graph having that degree sequence for which the first nontrivial eigenvalue of the graph Laplacian is arbitrarily close to zero. Consequently, complex dynamical systems defined on such graphs have poor synchronization properties. The result holds under quite mild assumptions, and shows that there exists classes of random, scale-free, regular, small-world, and other common network architectures which impede synchronization. The proof is based on a construction that also serves as an algorithm for building non-synchronizing networks having a prescribed degree distribution.
Distances in random graphs with infinite mean degrees
Published
• View Publication
• BIB
We study random graphs with an i.i.d. degree sequence of which the tail of the distribution function $F$ is regularly varying with exponent $τ\in (1,2)$. Thus, the degrees have infinite mean. Such random graphs can serve as models for complex networks where degree power laws are observed.
The minimal number of edges between two arbitrary nodes, also called the graph distance or the hopcount, in a graph with $N$ nodes is investigated when $N\to \infty$. The paper is part of a sequel of three papers. The other two papers study the case where $τ\in (2,3)$, and $τ\in (3,\infty),$ respectively.
The main result of this paper is that the graph distance converges for $τ\in (1,2)$ to a limit random variable with probability mass exclusively on the points 2 and 3. We also consider the case where we condition the degrees to be at most $N^α$ for some $α>0.$ For $τ^{-1}<α<(τ-1)^{-1}$, the hopcount converges to 3 in probability, while for $α>(τ-1)^{-1}$, the hopcount converges to the same limit as for the unconditioned degrees. Our results give convincing asymptotics for the hopcount when the mean degree is infinite, using extreme value theory.
Distances in random graphs with finite variance degrees
Published
• View Publication
• BIB
In this paper we study a random graph with $N$ nodes, where node $j$ has degree $D_j$ and $\{D_j\}_{j=1}^N$ are i.i.d. with $\prob(D_j\leq x)=F(x)$. We assume that $1-F(x)\leq c x^{-τ+1}$ for some $τ>3$ and some constant $c>0$. This graph model is a variant of the so-called configuration model, and includes heavy tail degrees with finite variance.
The minimal number of edges between two arbitrary connected nodes, also known as the graph distance or the hopcount, is investigated when $N\to \infty$. We prove that the graph distance grows like $\log_νN$, when the base of the logarithm equals $ν=\expec[D_j(D_j -1)]/\expec[D_j]>1$. This confirms the heuristic argument of Newman, Strogatz and Watts \cite{NSW00}. In addition, the random fluctuations around this asymptotic mean $\log_ν{N}$ are characterized and shown to be uniformly bounded. In particular, we show convergence in distribution of the centered graph distance along exponentially growing subsequences.
Tales of Hoffman
Hofmman's bound on the chromatic number of a graph states that $χ\geq 1 - \frac {λ_1} {λ_n}$. Here we show that the same bound, or slight modifications of it, hold for several graph parameters related to the chromatic number: the vector coloring number, the $ψ$-covering number and the $λ$-clustering number.
Local chromatic number, Ky Fan's theorem, and circular colorings
Published
• View Publication
• BIB
The local chromatic number of a graph was introduced by Erdos et al. in 1986. It is in between the chromatic and fractional chromatic numbers. This motivates the study of the local chromatic number of graphs for which these quantities are far apart. Such graphs include Kneser graphs, their vertex color-critical subgraphs, the Schrijver (or stable Kneser) graphs; Mycielski graphs, and their generalizations; and Borsuk graphs. We give more or less tight bounds for the local chromatic number of many of these graphs.
We use an old topological result of Ky Fan which generalizes the Borsuk-Ulam theorem. It implies the existence of a multicolored copy of the balanced complete bipartite graph on t points in every proper coloring of many graphs whose chromatic number t is determined via a topological argument. (This was in particular noted for Kneser graphs by Ky Fan.) This yields a lower bound of t/2+1 for the local chromatic number of these graphs. We show this bound to be tight or almost tight in many cases.
As another consequence of the above we prove that the graphs considered here have equal circular and ordinary chromatic numbers if the latter is even. This partially proves a conjecture of Johnson, Holroyd, and Stahl and was independently attained by F. Meunier. We also show that odd chromatic Schrijver graphs behave differently, their circular chromatic number can be arbitrarily close to the other extreme.
Orderly Algorithm to enumerate central groupoids and their graphs
Published
• View Publication
• BIB
A graph has the unique path property UPP_n if there is a unique path of length n between any ordered pair of nodes.
This paper reiterates Royle and MacKay's technique for constructing orderly algorithms. We wish to use this technique to enumerate all UPP_2 graphs of small orders 9 and 16. We attempt to use the direct graph formalism and find that the algorithm is inefficient.
We introduce a generalised problem and derive algebraic and combinatoric structures with appropriate structure. We are able to then design an orderly algorithm to determine all UPP_2 graphs of order 9, which runs fast enough. We hope to be able to determine the UPP_2 graphs of order 16 in the near future.
The inverse rook problem on Ferrers boards
Rook polynomials have been studied extensively since 1946, principally as a method for enumerating restricted permutations. However, they have also been shown to have many fruitful connections with other areas of mathematics, including graph theory, hypergeometric series, and algebraic geometry. It is known that the rook polynomial of any board can be computed recursively.
The naturally arising inverse question -- given a polynomial, what board (if any) is associated with it? -- remains open. In this paper, we solve the inverse problem completely for the class of Ferrers boards, and show that the increasing Ferrers board constructed from a polynomial is unique.
Very well-covered graphs and the unimodality conjecture
Published
• View Publication
• BIB
If for any $k$ the $k$-th coefficient of a polynomial I(G;x) is equal to the number of stable sets of cardinality $k$ in the graph $G$, then it is called the independence polynomial of $G$ (Gutman and Harary, 1983). Let $a$ be the size of a maximum stable set. Alavi, Malde, Schwenk and Erdos (1987)conjectured that I(T,x) is unimodal for any tree T, while, in general, they proved that for any permutation $p$ of {1,2,...,a} there is a graph such that s_{p(1)}<s_{p(2)}<...<s_{p(a)}. Brown, Dilcher and Nowakowski (2000) conjectured that I(G;x) is unimodal for any well-covered graph. Michael and Traves (2002) provided examples of well-covered graphs with non-unimodal independence polynomials. They proposed the "roller-coaster" conjecture: for a well-covered graph, the subsequence (s_{a/2},s_{a/2+1},...,s_{a}) is unconstrained in the sense of Alavi et al. The conjecture of Brown et al. is still open for very well-covered graphs. In this paper we prove that s_{(2a-1)/3}>=...>=s_{a-1}>=s_{a} are valid for any (a) bipartite graph $G$; (b) quasi-regularizable graph $G$ on $2a$ vertices. In particular, we infer that this is true for (a) trees, thus doing a step in an attempt to prove Alavi et al.' conjecture; (b) very well-covered graphs. Consequently, for this case, the unconstrained subsequence appearing in the roller-coaster conjecture can be shorten to (s_{a/2},s_{a/2+1},...,s_{(2a-1)/3}). We also show that the independence polynomial of a very well-covered graph $G$ is unimodal for a<10, and is log-concave whenever a<6.
Combinatorics of crystal graphs and Kostka-Foulkes polynomials for the root systems $B_{n},C_{n}$ and $D_{n}.$
Published
• View Publication
• BIB
We use Kashiwara-Nakashima's combinatorics of crystal graphs associated to the roots sytems $B_{n}$ and $D_{n}$ to extend the results of \QCITE{cite}{}{lec3} and \QCITE{cite}{}{Mor} by showing that Morris type recurrence formulas also exist for the orthogonal root systems. We derive from these formulas a statistic on Kashiwara-Nakashima's tableaux of types $B_{n},C_{n}$ and $D_{n}$ generalizing Lascoux-Sch\UNICODE{0xfc}tzenberger's charge and from which it is possible to compute the Kostka-Foulkes polynomials $K_{λ,μ}(q)$ with restrictive conditions on $(λ,μ)$ . This statistic is different from that obtained in \QCITE{cite}{}{lec3} from the cyclage graph structure on tableaux of type $C_{n}$. We show that such a structure also exists for the tableaux of types $B_{n}$ and $D_{n}$ but can not be simply related to the Kostka-Foulkes polynomials. Finally we give explicit formulas for $K_{λ,μ}(q)$ when $| λ| \leq 3,$ or $n=2$ and $μ=0$.
Recognizing Cluster Algebras of Finite type
Published
• View Publication
• BIB
We compute the list of all minimal 2-infinite diagrams, which are cluster algebraic analogues of extended Dynkin graphs.
Distinguishing numbers for graphs and groups
Published in Electronic Journal of Combinatorics, 11 (1) (2004), #R63
• View Publication
• BIB
A graph G is distinguished if its vertices are labelled by a map φ: V(G) \longrightarrow {1,2,...,k} so that no graph automorphism preserves φ. The distinguishing number of G is the minimum number k necessary for φto distinguish the graph. It is one measure of the complexity of the graph.
We extend these definitions to an arbitrary group action of G on a set X. A labelling φ: X \longrightarrow {1,2,...,k} is distinguishing if no nontrivial element of G preserves φexcept those in the stabilizer of X. The distinguishing number of the group action on X is the minimum k needed for φto distinguish the group action. We show that distinguishing group actions is a more general problem than distinguishing graphs.
We completely characterize actions of the symmetric group S_n on a set with distinguishing number n.
Uniqueness of maximal entropy measure on essential spanning forests
Published in Annals of Probability 2006, Vol. 34, No. 3, 857-864
• View Publication
• BIB
An essential spanning forest of an infinite graph $G$ is a spanning forest of $G$ in which all trees have infinitely many vertices. Let $G_n$ be an increasing sequence of finite connected subgraphs of $G$ for which $\bigcup G_n=G$. Pemantle's arguments imply that the uniform measures on spanning trees of $G_n$ converge weakly to an $\operatorname {Aut}(G)$-invariant measure $μ_G$ on essential spanning forests of $G$. We show that if $G$ is a connected, amenable graph and $Γ\subset \operatorname {Aut}(G)$ acts quasitransitively on $G$, then $μ_G$ is the unique $Γ$-invariant measure on essential spanning forests of $G$ for which the specific entropy is maximal. This result originated with Burton and Pemantle, who gave a short but incorrect proof in the case $Γ\cong\mathbb{Z}^d$. Lyons discovered the error and asked about the more general statement that we prove.
The laplacian of a graph as a density matrix: a basic combinatorial approach to separability of mixed states
Published in Annals of Combinatorics, Volume 10, No 3, 2006
• View Publication
• BIB
We study entanglement properties of mixed density matrices obtained from combinatorial Laplacians. This is done by introducing the notion of the density matrix of a graph. We characterize the graphs with pure density matrices and show that the density matrix of a graph can be always written as a uniform mixture of pure density matrices of graphs. We consider the von Neumann entropy of these matrices and we characterize the graphs for which the minimum and maximum values are attained. We then discuss the problem of separability by pointing out that separability of density matrices of graphs does not always depend on the labelling of the vertices. We consider graphs with a tensor product structure and simple cases for which combinatorial properties are linked to the entanglement of the state. We calculate the concurrence of all graph on four vertices representing entangled states. It turns out that for some of these graphs the value of the concurrence is exactly fractional.
SPM Bulletin 9
This is the ninth issue of this bulletin.
CONTENTS: Proceedings of SPM Workshop; A brief remark on van der Waerden spaces; Complete ccc Boolean algebras, the order sequential topology, and a problem of von Neumann; Cardinal invariants p, t and h and real functions; A comment on p<t; On squares of spaces and F_sigma-sets; Comparing the uniformity invariants of null sets for different measures; Maximal functions and the additivity of various families of null sets; How many miles to beta(omega)? -- Approximating beta(omega) by metric-dependent compactifications; The cardinal characteristic for relative gamma-sets; Uncountable intersections of open sets under CPA_prism; Covering R^{n+1} by graphs of n-ary functions and long linear orderings of Turing degrees; CONFERENCE: Foundations of the Formal Sciences V: Infinite Games; Problem of the month; Problems from earlier issues
Collision Free Motion Planning on Graphs
Published
• View Publication
• BIB
A topological theory initiated recently by the author uses methods of algebraic topology to estimate numerically the character of instabilities arising in motion planning algorithms. The present paper studies random motion planning algorithms and reveals how the topology of the robot's configuration space influences their structure. We prove that the topological complexity of motion planning TC(X) coincides with the minimal n such that there exists an n-valued random motion planning algorithm for the system; here $X$ denotes the configuration space. We study in detail the problem of collision free motion of several objects on a graph G. We describe an explicit motion planning algorithm for this problem. We prove that if G is a tree and if the number of objects is large enough, then the topological complexity of this motion planning problem equals 2m(G)+1 where m(G) is the number of the essential vertices of G. It turns out (in contrast with the results on the collision free control of many objects in space obtained earlier jointly with S. Yuzvinsky) that the topological complexity is independent of the number of particles.