arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

34516 papers tagged with this keyword
2007-03-19
The decycling numbers of graphs
Published in Australasian Journal of Combinatorics 25(2002), 285-298 • Search Publication
For a graph $G$ and $S\subset V(G)$, if $G - S$ is acyclic, then $S$ is said to be a decycling set of $G$. The size of a smallest decycling set of $G$ is called the decycling number of $G$. The purpose of this paper is a comprehensive review of recent results and several open problems on this graph parameter. Results to be reviewed include recent work on decycling numbers of cubes, grids and snakes. A structural description of graphs with a fixed decycling number based on connectivity is also presented. Graphs with small decycling numbers are characterized.
2007-03-19 v3
Graphs with many r-cliques have large complete r-partite subgraphs
Published • View PublicationBIB
We prove that for all $r\geq2$ and c>0, every graph of order n with at least cn^{r} cliques of order r contains a complete r-partite graph with each part of size $\lfloor c^{r}\log n \rfloor.$ This result implies a concise form of the Erdős-Stone theorem.
2007-03-15
Deterministic Random Walks on the Two-Dimensional Grid
Published • View PublicationBIB
Jim Propp's rotor router model is a deterministic analogue of a random walk on a graph. Instead of distributing chips randomly, each vertex serves its neighbors in a fixed order. We analyze the difference between Propp machine and random walk on the infinite two-dimensional grid. It is known that, apart from a technicality, independent of the starting configuration, at each time, the number of chips on each vertex in the Propp model deviates from the expected number of chips in the random walk model by at most a constant. We show that this constant is approximately 7.8, if all vertices serve their neighbors in clockwise or counterclockwise order and 7.3 otherwise. This result in particular shows that the order in which the neighbors are served makes a difference. Our analysis also reveals a number of further unexpected properties of the two-dimensional Propp machine.
2007-03-14
Operators related to subordination for free multiplicative convolutions
Published in Indiana Univ. Math. J., Vol.57 (2008), 1055-1103. • View PublicationBIB
It has been shown by Voiculescu and Biane that the analytic subordination property holds for free additive and multiplicative convolutions. In this paper, we present an operatorial approach to subordination for free multiplicative convolutions. This study is based on the concepts of `freeness with subordination', or `s-free independence', and `orthogonal independence', introduced recently in the context of free additive convolutions. In particular, we introduce and study the associated multiplicative convolutions and construct related operators, called `subordination operators' and `subordination branches'. Using orthogonal independence, we derive decompositions of subordination branches and related decompositions of s-free and free multiplicative convolutions. The operatorial methods lead to several new types of graph products, called `loop products', associated with different notions of independence (monotone, boolean, orthogonal, s-free). We also prove that the enumeration of rooted `alternating double return walks' on the loop products of graphs and on the free product of graphs gives the moments of the corresponding multiplicative convolutions.
2007-03-14
Cohen-Macaulay graphs arising from digraphs
In this paper we show a correspondence between directed graphs and bipartite undirected graphs with a perfect matching, that allows to study properties of directed graphs through the properties of the corresponding undirected graphs. In particular it is shown that a directed graph is transitive iff a corresponding undirected graph is Cohen-Macaulay.
2007-03-14
Heights in finite projective space, and a problem on directed graphs
Published in Integers 8 (2008), A13: 1--9 • Search Publication
Let $\F_p = \Z/p\Z$. The \emph{height} of a point $\mathbf{a}=(a_1,..., a_d) \in \F_p^d$ is $h_p(\mathbf{a}) = \min \left\{\sum_{i=1}^d (ka_i \mod p) : k=1,...,p-1\right\}.$ Explicit formulas and estimates are obtained for the values of the height function in the case $d=2,$ and these results are applied to the problem of determining the minimum number of edges the must be deleted from a finite directed graph so that the resulting subgraph is acyclic.
2007-03-13
Polynomial ideals and directed graphs
In this paper it is shown that it is possible to associate several polynomial ideals to a directed graph $D$ in order to find properties of it. In fact by using algebraic tools it is possible to give appropriate procedures for automatic reasoning on cycles and directed cycles of graphs.
2007-03-12
Cores of simplicial complexes
Published • View PublicationBIB
We introduce a method to reduce the study of the topology of a simplicial complex to that of a simpler one. We give some applications of this method to complexes arising from graphs. As a consequence, we answer some questions raised in [R.Ehrenborg, G.Hetyei, European J.Combin.27 (2006), no.6, 906-923] on the independence complex and the dominance complex. The techniques used come mainly from monomial ideal theory.
2007-03-12
Graph coloring with no large monochromatic components
Published • View PublicationBIB
For a graph G and an integer t we let mcc_t(G) be the smallest m such that there exists a coloring of the vertices of G by t colors with no monochromatic connected subgraph having more than m vertices. Let F be any nontrivial minor-closed family of graphs. We show that \mcc_2(G) = O(n^{2/3}) for any n-vertex graph G \in F. This bound is asymptotically optimal and it is attained for planar graphs. More generally, for every such F and every fixed t we show that mcc_t(G)=O(n^{2/(t+1)}). On the other hand we have examples of graphs G with no K_{t+3} minor and with mcc_t(G)=Ω(n^{2/(2t-1)}). It is also interesting to consider graphs of bounded degrees. Haxell, Szabo, and Tardos proved \mcc_2(G) \leq 20000 for every graph G of maximum degree 5. We show that there are n-vertex 7-regular graphs G with \mcc_2(G)=Ω(n), and more sharply, for every ε>0 there exists c_ε>0 and n-vertex graphs of maximum degree 7, average degree at most 6+εfor all subgraphs, and with mcc_2(G)\ge c_\eps n. For 6-regular graphs it is known only that the maximum order of magnitude of \mcc_2 is between \sqrt n and n. We also offer a Ramsey-theoretic perspective of the quantity \mcc_t(G).
2007-03-09
Percolation on sparse random graphs with given degree sequence
Published • View PublicationBIB
We study the two most common types of percolation process on a sparse random graph with a given degree sequence. Namely, we examine first a bond percolation process where the edges of the graph are retained with probability p and afterwards we focus on site percolation where the vertices are retained with probability p. We establish critical values for p above which a giant component emerges in both cases. Moreover, we show that in fact these coincide. As a special case, our results apply to power law random graphs. We obtain rigorous proofs for formulas derived by several physicists for such graphs.
2007-03-07 v2
Inverse Semigroups and Combinatorial C*-Algebras
Published • View PublicationBIB
We describe a special class of representations of an inverse semigroup S on Hilbert's space which we term "tight". These representations are supported on a subset of the spectrum of the idempotent semilattice of S, called the "tight spectrum", which is in turn shown to be precisely the closure of the space of ultra-filters, once filters are identified with semicharacters in a natural way. These representations are moreover shown to correspond to representations of the C*-algebra of the groupoid of germs for the action of S on its tight spectrum. We then treat the case of certain inverse semigroups constructed from a semigroupoid, generalizing and inspired by inverse semigroups constructed from ordinary and higher rank graphs. The tight representations of this inverse semigroup are in one-to-one correspondence with representations of the semigroupoid, and the semigroupoid algebra is given a groupoid model. The groupoid which arises from this construction is shown to be the same as the boundary path groupoid of Farthing, Muhly and Yeend, at least in the singly aligned, sourceless case.
2007-03-06 v2
On the properties of the exchange graph of a cluster algebra
Published in Math. Res. Lett. 15 (2008), 321--330 • View PublicationBIB
We prove a conjecture about the vertices and edges of the exchange graph of a cluster algebra $\A$ in two cases: when $\A$ is of geometric type and when $\A$ is arbitrary and its exchange matrix is nondegenerate. In the second case we also prove that the exchange graph does not depend on the coefficients of $\A$. Both conjectures were formulated recently by Fomin and Zelevinsky.
2007-03-06
Numerical radius and zero pattern of matrices
Published • View PublicationBIB
We give tight upper bounds on the numerical range of square matrices in terms of their Frobenius (Euclidian) norm and a combinatorial parameter similar to the clique number of graphs. Our results imply a concise form of the fundamental theorem of Turan in extremal graph theory.
2007-03-04
Threshold graphs, shifted complexes, and graphical complexes
Published • View PublicationBIB
We consider a variety of connections between threshold graphs, shifted complexes, and simplicial complexes naturally formed from a graph. These graphical complexes include the independent set, neighborhood, and dominance complexes. We present a number of structural results and relations among them including new characterizations of the class of threshold graphs.
2007-03-01
On growth rates of permutations, set partitions, ordered graphs and other objects
Published • View PublicationBIB
For classes O of structures on finite linear orders (permutations, ordered graphs etc.) endowed with containment order cont (containment of permutations, subgraph relation etc.), we investigate restrictions on the function f(n) counting objects with size n in a lower ideal in (O, cont). We present a framework of edge P-colored complete graphs (C(P), cont) which includes many of these situations, and we prove for it two such restrictions (jumps in growth): f(n) is eventually constant or f(n) >= n for all n>0; f(n)<n^c for all n>0 for a constant c>0 or f(n) >= F_n for all n>0, F_n being the Fibonacci numbers. This generalizes a fragment of a more detailed theorem of Balogh, Bollobas and Morris on hereditary properties of ordered graphs.
2007-02-27
Constructive decomposition of functions of two variables using functions of one variable
Given a compact set K in the plane, which contains no triple of points forming a vertical and a horizontal segment, and a continuous real-valued map f on K, we give a construction of real-valued continuous maps of one variable g,h such that f(x,y)=g(x)+h(y) for all points (x,y) from K. This provides a constructive proof of a part of Sternfeld's theorem on basic embeddings in the plane. In the proof we construct a sequence of finite graphs, which provide an arbitrarily good approximation of the set K.
2007-02-24 v3
Chromatic number and spectral radius
Published • View PublicationBIB
Let G be a graph, H be its chromatic number, L be the largest eigenvalue of its Laplacian, and M be the largest eigenvalue of its adjacency matrix. Then, complementing a well-known result of Hoffman, we show that L>=(H/(H-1))M
2007-02-22
The spectral radius and the maximum degree of irregular graphs
Let $G$ be an irregular graph on $n$ vertices with maximum degree $Δ$ and diameter $D$. We show that Δ-λ_1>\frac{1}{nD} where $λ_1$ is the largest eigenvalue of the adjacency matrix of $G$. We also study the effect of adding or removing few edges on the spectral radius of a regular graph.
2007-02-21
On isomorphism of simplicial complexes and their related algebras
Published in Bulletin of the Iranian Math. Soc., 38 (2009) no. 2, 41--48 • Search Publication
In this paper, we provide a simple proof for the fact that two simplicial complexes are isomorphic if and only if their associated Stanley-Reisner rings, or their associated facet rings are isomorphic as $K$-algebras. As a consequence, we show that two graphs are isomorphic if and only if their associated edge rings are isomorphic as $K$-algebras. Based on an explicit $K$-algebra isomorphism of two Stanley-Reisner rings, or facet rings or edge rings, we present a fast algorithm to find explicitly the isomorphism of the associated simplicial complexes, or graphs.
Convex Rank Tests and Semigraphoids
Published • View PublicationBIB
Convex rank tests are partitions of the symmetric group which have desirable geometric properties. The statistical tests defined by such partitions involve counting all permutations in the equivalence classes. Each class consists of the linear extensions of a partially ordered set specified by data. Our methods refine existing rank tests of non-parametric statistics, such as the sign test and the runs test, and are useful for exploratory analysis of ordinal data. We establish a bijection between convex rank tests and probabilistic conditional independence structures known as semigraphoids. The subclass of submodular rank tests is derived from faces of the cone of submodular functions, or from Minkowski summands of the permutohedron. We enumerate all small instances of such rank tests. Of particular interest are graphical tests, which correspond to both graphical models and to graph associahedra.