graph
34995 papers tagged with this keyword
Grid classes and partial well order
Published
• View Publication
• BIB
We prove necessary and sufficient conditions on a family of (generalised) gridding matrices to determine when the corresponding permutation classes are partially well-ordered. One direction requires an application of Higman's Theorem and relies on there being only finitely many simple permutations in the only non-monotone cell of each component of the matrix. The other direction is proved by a more general result that allows the construction of infinite antichains in any grid class of a matrix whose graph has a component containing two or more non-monotone-griddable cells. The construction uses a generalisation of pin sequences to grid classes, together with a number of symmetry operations on the rows and columns of a gridding.
Shadows of ordered graphs
Isoperimetric inequalities have been studied since antiquity, and in recent decades they have been studied extensively on discrete objects, such as the hypercube. An important special case of this problem involves bounding the size of the shadow of a set system, and the basic question was solved by Kruskal (in 1963) and Katona (in 1968). In this paper we introduce the concept of the shadow \d\G of a collection \G of ordered graphs, and prove the following, simple-sounding statement: if n \in \N is sufficiently large, |V(G)| = n for each G \in \G, and |\G| < n, then |\d \G| \ge |\G|. As a consequence, we substantially strengthen a result of Balogh, Bollobás and Morris on hereditary properties of ordered graphs: we show that if ¶is such a property, and |¶_k| < k for some sufficiently large k \in \N, then |¶_n| is decreasing for k \le n < \infty.
Q-system Cluster Algebras, Paths and Total Positivity
Published in SIGMA 6 (2010), 014, 36 pages
• View Publication
• BIB
In the first part of this paper, we provide a concise review of our method of solution of the $A_r$ Q-systems in terms of the partition function of paths on a weighted graph. In the second part, we show that it is possible to modify the graphs and transfer matrices so as to provide an explicit connection to the theory of planar networks introduced in the context of totally positive matrices by Fomin and Zelevinsky. As an illustration of the further generality of our method, we apply it to give a simple solution for the rank 2 affine cluster algebras studied by Caldero and Zelevinsky.
A Generalization of Kneser's Conjecture
Published
• View Publication
• BIB
We investigate some coloring properties of Kneser graphs. A star-free coloring is a proper coloring $c:V(G)\to \Bbb{N}$ such that no path with three vertices may be colored with just two consecutive numbers. The minimum positive integer $t$ for which there exists a star-free coloring $c: V(G) \to \{1,2,..., t\}$ is called the star-free chromatic number of $G$ and denoted by $χ_s(G)$. In view of Tucker-Ky Fan's lemma, we show that for any Kneser graph ${\rm KG}(n,k)$ we have $χ_s({\rm KG}(n,k))\geq \max\{2χ({\rm KG}(n,k))-10, χ({\rm KG}(n,k))\}$ where $n\geq 2k \geq 4$. Moreover, we show that $χ_s({\rm KG}(n,k))=2χ({\rm KG}(n,k))-2=2n-4k+2$ provided that $n \leq {8\over 3}k$. This gives a partial answer to a conjecture of [12]. Also, we conjecture that for any positive integers $n\geq 2k \geq 4$ we have $χ_s({\rm KG}(n,k))= 2χ({\rm KG}(n,k))-2$.
Filling the gap between Turán's theorem and Pósa's conjecture
Published in J. Lond. Math. Soc. (2) 84, no. 2, 269-302 (2011)
• View Publication
• BIB
Much of extremal graph theory has concentrated either on finding very small subgraphs of a large graph (Turan-type results) or on finding spanning subgraphs (Dirac-type results). In this paper we are interested in finding intermediate-sized subgraphs. We investigate minimum degree conditions under which a graph G contains squared paths and squared cycles of arbitrary specified lengths. We determine precise thresholds, assuming that the order of G is large. This extends results of Fan and Kierstead [J. Combin. Theory Ser. B 63 (1995), 55--64] and of Komlos, Sarkozy, and Szemeredi [Random Structures Algorithms 9 (1996), 193--211] concerning the containment of a spanning squared path and a spanning squared cycle, respectively. Our results show that such minimum degree conditions constitute not merely an interpolation between the corresponding Turan-type and Dirac-type results, but exhibit other interesting phenomena.
Decompositions into subgraphs of small diameter
Published
• View Publication
• BIB
We investigate decompositions of a graph into a small number of low diameter subgraphs. Let P(n,ε,d) be the smallest k such that every graph G=(V,E) on n vertices has an edge partition E=E_0 \cup E_1 \cup ... \cup E_k such that |E_0| \leq εn^2 and for all 1 \leq i \leq k the diameter of the subgraph spanned by E_i is at most d. Using Szemerédi's regularity lemma, Polcyn and Ruciński showed that P(n,ε,4) is bounded above by a constant depending only ε. This shows that every dense graph can be partitioned into a small number of ``small worlds'' provided that few edges can be ignored. Improving on their result, we determine P(n,ε,d) within an absolute constant factor, showing that P(n,ε,2) = Θ(n) is unbounded for ε< 1/4, P(n,ε,3) = Θ(1/ε^2) for ε> n^{-1/2} and P(n,ε,4) = Θ(1/ε) for ε> n^{-1}. We also prove that if G has large minimum degree, all the edges of G can be covered by a small number of low diameter subgraphs. Finally, we extend some of these results to hypergraphs, improving earlier work of Polcyn, Rödl, Ruciński, and Szemerédi.
Sharp bounds for the generalized connectivity $κ_3(G)$
Published
• View Publication
• BIB
Let $G$ be a nontrivial connected graph of order $n$ and let $k$ be an integer with $2\leq k\leq n$. For a set $S$ of $k$ vertices of $G$, let $κ(S)$ denote the maximum number $\ell$ of edge-disjoint trees $T_1,T_2,...,T_\ell$ in $G$ such that $V(T_i)\cap V(T_j)=S$ for every pair $i,j$ of distinct integers with $1\leq i,j\leq \ell$. A collection $\{T_1,T_2,...,T_\ell\}$ of trees in $G$ with this property is called an internally disjoint set of trees connecting $S$. Chartrand et al. generalized the concept of connectivity as follows: The $k$-$connectivity$, denoted by $κ_k(G)$, of $G$ is defined by $κ_k(G)=$min$\{κ(S)\}$, where the minimum is taken over all $k$-subsets $S$ of $V(G)$. Thus $κ_2(G)=κ(G)$, where $κ(G)$ is the connectivity of $G$.
In general, the investigation of $κ_k(G)$ is very difficult. We therefore focus on the investigation on $κ_3(G)$ in this paper. We study the relation between the connectivity and the 3-connectivity of a graph. First we give sharp upper and lower bounds of $κ_3(G)$ for general graphs $G$, and construct two kinds of graphs which attain the upper and lower bound, respectively. We then show that if $G$ is a connected planar graph, then $κ(G)-1 \leq κ_3(G)\leq κ(G)$, and give some classes of graphs which attain the bounds. In the end we show that the problem whether $κ(G)=κ_3(G)$ for a planar graph $G$ can be solved in polynomial time.
Perfect matchings for the three-term Gale-Robinson sequences
Published in Electronic Journal of Combinatories 16, 1 (2009) paper R125
• View Publication
• BIB
In 1991, David Gale and Raphael Robinson, building on explorations carried out by Michael Somos in the 1980s, introduced a three-parameter family of rational recurrence relations, each of which (with suitable initial conditions) appeared to give rise to a sequence of integers, even though a priori the recurrence might produce non-integral rational numbers. Throughout the '90s, proofs of integrality were known only for individual special cases. In the early '00s, Sergey Fomin and Andrei Zelevinsky proved Gale and Robinson's integrality conjecture. They actually proved much more, and in particular, that certain bivariate rational functions that generalize Gale-Robinson numbers are actually polynomials with integer coefficients. However, their proof did not offer any enumerative interpretation of the Gale-Robinson numbers/polynomials. Here we provide such an interpretation in the setting of perfect matchings of graphs, which makes integrality/polynomiality obvious. Moreover, this interpretation implies that the coefficients of the Gale-Robinson polynomials are positive, as Fomin and Zelevinsky conjectured.
On directed local chromatic number, shift graphs, and Borsuk-like graphs
Published
• View Publication
• BIB
We investigate the local chromatic number of shift graphs and prove that it is close to their chromatic number. This implies that the gap between the directed local chromatic number of an oriented graph and the local chromatic number of the underlying undirected graph can be arbitrarily large. We also investigate the minimum possible directed local chromatic number of oriented versions of ``topologically t-chromatic'' graphs. We show that this minimum for large enough t-chromatic Schrijver graphs and t-chromatic generalized Mycielski graphs of appropriate parameters is the upper integer part of t/4+1.
A proof of the conjecture on hypoenergetic graphs with maximum degree $Δ\leq 3$
Published
• View Publication
• BIB
The energy $E(G)$ of a graph $G$ is defined as the sum of the absolute values of its eigenvalues. A graph $G$ of order $n$ is said to be hypoenergetic if $E(G)<n$. Majstorović et al. conjectured that complete bipartite graph $K_{2,3}$ is the only hypoenergetic connected quadrangle-containing graph with maximum degree $Δ\leq 3$. This paper is devoted to giving a confirmative proof to the conjecture.
Linear Connectivity Forces Large Complete Bipartite Minors: the Patch for the Large Tree-Width Case
The recent paper "Linear Connectivity Forces Large Complete Bipartite Minors" by Boehme et al. relies on a structure theorem for graphs with no H-minor. The sketch provided of how to deduce this theorem from the work of Robertson and Seymour appears to be incomplete. To fill this gap, we modify the main proof of that paper to work with a mere restatement of Robertson and Seymour's original results instead.
Rank-determining sets of metric graphs
Published in Journal of Combinatorial Theory, Series A 118, 1775-1793 (2011)
• View Publication
• BIB
A metric graph is a geometric realization of a finite graph by identifying each edge with a real interval. A divisor on a metric graph $Γ$ is an element of the free abelian group on $Γ$. The rank of a divisor on a metric graph is a concept appearing in the Riemann-Roch theorem for metric graphs (or tropical curves) due to Gathmann and Kerber, and Mikhalkin and Zharkov. We define a \emph{rank-determining set} of a metric graph $Γ$ to be a subset $A$ of $Γ$ such that the rank of a divisor $D$ on $Γ$ is always equal to the rank of $D$ restricted on $A$. We show constructively in this paper that there exist finite rank-determining sets. In addition, we investigate the properties of rank-determining sets in general and formulate a criterion for rank-determining sets. Our analysis is a based on an algorithm to derive the $v_0$-reduced divisor from any effective divisor in the same linear system.
Sandpile groups and spanning trees of directed line graphs
Published
• View Publication
• BIB
We generalize a theorem of Knuth relating the oriented spanning trees of a directed graph G and its directed line graph LG. The sandpile group is an abelian group associated to a directed graph, whose order is the number of oriented spanning trees rooted at a fixed vertex. In the case when G is regular of degree k, we show that the sandpile group of G is isomorphic to the quotient of the sandpile group of LG by its k-torsion subgroup. As a corollary we compute the sandpile groups of two families of graphs widely studied in computer science, the de Bruijn graphs and Kautz graphs.
Perfect Matchings in Claw-free Cubic Graphs
Published in Electronic J. of Combin., 18 (2011), #P62 (pp. 6)
• View Publication
• BIB
Lovasz and Plummer conjectured that there exists a fixed positive constant c such that every cubic n-vertex graph with no cutedge has at least 2^(cn) perfect matchings. Their conjecture has been verified for bipartite graphs by Voorhoeve and planar graphs by Chudnovsky and Seymour. We prove that every claw-free cubic n-vertex graph with no cutedge has more than 2^(n/12) perfect matchings, thus verifying the conjecture for claw-free graphs.
Frises
Each acyclic graph, and more generally, each acyclic orientation of the graph associated to a Cartan matrix, allows to define a so-called frise; this is a collection of sequences over the positive natural numbers, one for each vertex of the graph. We prove that if these sequences satisfy a linear recurrence, then the Cartan matrix is of Dynkin type (if the sequences are bounded) or of Euclidean type (if the sequences are unbounded). We prove the converse in all cases, except for the exceptional Euclidean Cartan matrices; we show even that the sequences are rational over the positive natural numbers. We generalize these results by considering frises with variables; as a byproduct we obtain, for the Dynkin and Euclidean type A cases, explicit formulas for the cluster variables, over the semiring of Laurent polynomials over the positive natural numbers generated by the initial variables (which explains simultaneously positivity and the Laurent phenomenon). The general tool are the so-called SL_2-tilings of the plane; these are fillings of the whole discrete plane by elements of a ring, in such a way that each 2 by 2 connected submatrix is of determinant 1.
The limiting spectral distribution of the generalized Wigner matrix
The properties of eigenvalues of large dimensional random matrices have received considerable attention. One important achievement is the existence and identification of the limiting spectral distribution of the empirical spectral distribution of eigenvalues of Wigner matrix. In the present paper, we explore the limiting spectral distribution for more general random matrices, and, furthermore, give an application to the energy of general random graphs, which generalizes the result of Nikiforov.
Diameters in supercritical random graphs via first passage percolation
Published
• View Publication
• BIB
We study the diameter of $C_1$, the largest component of the Erdős-Rényi random graph $G(n,p)$ in the emerging supercritical phase, i.e., for $p = \frac{1+ε}n$ where $ε^3 n \to \infty$ and $ε=o(1)$. This parameter was extensively studied for fixed $ε> 0$, yet results for $ε=o(1)$ outside the critical window were only obtained very recently. Prior to this work, Riordan and Wormald gave precise estimates on the diameter, however these did not cover the entire supercritical regime (namely, when $ε^3 n\to\infty$ arbitrarily slowly). Łuczak and Seierstad estimated its order throughout this regime, yet their upper and lower bounds differed by a factor of $1000/7$.
We show that throughout the emerging supercritical phase, i.e. for any $ε=o(1)$ with $ε^3 n \to \infty$, the diameter of $C_1$ is with high probability asymptotic to $D(ε,n)=(3/ε)\log(ε^3 n)$. This constitutes the first proof of the asymptotics of the diameter valid throughout this phase. The proof relies on a recent structure result for the supercritical giant component, which reduces the problem of estimating distances between its vertices to the study of passage times in first-passage percolation. The main advantage of our method is its flexibility. It also implies that in the emerging supercritical phase the diameter of the 2-core of $C_1$ is w.h.p. asymptotic to $(2/3)D(ε,n)$, and the maximal distance in $C_1$ between any pair of kernel vertices is w.h.p. asymptotic to $(5/9)D(ε,n)$.
Anatomy of a young giant component in the random graph
Published
• View Publication
• BIB
We provide a complete description of the giant component of the Erdős-Rényi random graph $G(n,p)$ as soon as it emerges from the scaling window, i.e., for $p = (1+ε)/n$ where $ε^3 n \to \infty$ and $ε=o(1)$.
Our description is particularly simple for $ε= o(n^{-1/4})$, where the giant component $C_1$ is contiguous with the following model (i.e., every graph property that holds with high probability for this model also holds w.h.p. for $C_1$). Let $Z$ be normal with mean $\frac23 ε^3 n$ and variance $ε^3 n$, and let $K$ be a random 3-regular graph on $2\lfloor Z\rfloor$ vertices. Replace each edge of $K$ by a path, where the path lengths are i.i.d. geometric with mean $1/ε$. Finally, attach an independent Poisson($1-ε$)-Galton-Watson tree to each vertex.
A similar picture is obtained for larger $ε=o(1)$, in which case the random 3-regular graph is replaced by a random graph with $N_k$ vertices of degree $k$ for $k\geq 3$, where $N_k$ has mean and variance of order $ε^k n$.
This description enables us to determine fundamental characteristics of the supercritical random graph. Namely, we can infer the asymptotics of the diameter of the giant component for any rate of decay of $ε$, as well as the mixing time of the random walk on $C_1$.
On the circumference, connectivity and dominating cycles
Every 4-connected graph with minimum degree $δ$ and connectivity $κ$ either has a cycle of length at least $4δ-2κ$ or has a dominating cycle.
Monotone paths in random hypergraphs
Published
• View Publication
• BIB
We determine the probability thresholds for the existence of monotone paths, of finite and infinite length, in random oriented graphs with vertex set $\mathbb N^{[k]}$, the set of all increasing $k$-tuples in $\mathbb N$. These graphs appear as line graph of uniform hypergraphs with vertex set $\mathbb N$.