arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

34995 papers tagged with this keyword
2011-11-29 v3
Stability results for random discrete structures
Published • View Publication • BIB
Two years ago, Conlon and Gowers, and Schacht proved general theorems that allow one to transfer a large class of extremal combinatorial results from the deterministic to the probabilistic setting. Even though the two papers solve the same set of long-standing open problems in probabilistic combinatorics, the methods used in them vary significantly and therefore yield results that are not comparable in certain aspects. The theorem of Schacht can be applied in a more general setting and yields stronger probability estimates, whereas the one of Conlon and Gowers also implies random versions of some structural statements such as the famous stability theorem of Erdos and Simonovits. In this paper, we bridge the gap between these two transference theorems. Building on the approach of Schacht, we prove a general theorem that allows one to transfer deterministic stability results to the probabilistic setting that is somewhat more general and stronger than the one obtained by Conlon and Gowers. We then use this theorem to derive several new results, among them a random version of the Erdos-Simonovits stability theorem for arbitrary graphs. The main new idea, a refined approach to multiple exposure when considering subsets of binomial random sets, may be of independent interest.
2011-11-28 v2
Sparse Matrix Decompositions and Graph Characterizations
Published • View Publication • BIB
The question of when zeros (i.e., sparsity) in a positive definite matrix $A$ are preserved in its Cholesky decomposition, and vice versa, was addressed by Paulsen et al. in the Journal of Functional Analysis (85, pp151-178). In particular, they prove that for the pattern of zeros in $A$ to be retained in the Cholesky decomposition of $A$, the pattern of zeros in $A$ has to necessarily correspond to a chordal (or decomposable) graph associated with a specific type of vertex ordering. This result therefore yields a characterization of chordal graphs in terms of sparse positive definite matrices. It has also proved to be extremely useful in probabilistic and statistical analysis of Markov random fields where zeros in positive definite correlation matrices are intimately related to the notion of stochastic independence. Now, consider a positive definite matrix $A$ and its Cholesky decomposition given by $A = LDL^T$, where $L$ is lower triangular with unit diagonal entries, and $D$ a diagonal matrix with positive entries. In this paper, we prove that a necessary and sufficient condition for zeros (i.e., sparsity) in a positive definite matrix $A$ to be preserved in its associated Cholesky matrix $L$, \, and in addition also preserved in the inverse of the Cholesky matrix $L^{-1}$, is that the pattern of zeros corresponds to a co-chordal or homogeneous graph associated with a specific type of vertex ordering. We proceed to provide a second characterization of this class of graphs in terms of determinants of submatrices that correspond to cliques in the graph. These results add to the growing body of literature in the field of sparse matrix decompositions, and also prove to be critical ingredients in the probabilistic analysis of an important class of Markov random fields.
2011-11-27
Cayley graphs on nilpotent groups with cyclic commutator subgroup are hamiltonian
Published • View Publication • BIB
We show that if G is any nilpotent, finite group, and the commutator subgroup of G is cyclic, then every connected Cayley graph on G has a hamiltonian cycle.
2011-11-27 v2
On the number of Hamilton cycles in pseudo-random graphs
Published • View Publication • BIB
We prove that if G is an (n,d,lambda)-graph (a d-regular graph on n vertices, all of whose non-trivial eigenvalues are at most lambda) and the following conditions are satisfied: 1. d/lambda >= (log n)^{1+epsilon} for some constant epsilon>0; 2.log d * lod (d/lambda) >> log n, then the number of Hamilton cycles in G is n!(d/n)^n(1+o(1))^n.
2011-11-27 v3
Vanishing ideals over graphs and even cycles
Published in Comm. Algebra 43 (2015), no. 3, 1050--1075 • View Publication • BIB
Let X be an algebraic toric set in a projective space over a finite field. We study the vanishing ideal, I(X), of X and show some useful degree bounds for a minimal set of generators of I(X). We give an explicit description of a set of generators of I(X), when X is the algebraic toric set associated to an even cycle or to a connected bipartite graph with pairwise disjoint even cycles. In this case, a fomula for the regularity of I(X) is given. We show an upper bound for this invariant, when X is associated to a (not necessarily connected) bipartite graph. The upper bound is sharp if the graph is connected. We are able to show a formula for the length of the parameterized linear code associated with any graph, in terms of the number of bipartite and non-bipartite components.
2011-11-26 v2
Powers of edge ideals
We compute the Betti numbers for all the powers of initial and final lexsegment edge ideals. For the powers of the edge ideal of an anti-$d-$path, we prove that they have linear quotients and we characterize the normally torsion-free ideals. We determine a class of non-squarefree ideals, arising from some particular graphs, which are normally torsion-free.
2011-11-26 v2
Convergence of Achlioptas processes via differential equations with unique solutions
Published in Combinator. Probab. Comp. 25 (2016) 154-171 • View Publication • BIB
In Achlioptas processes, starting from an empty graph, in each step two potential edges are chosen uniformly at random, and using some rule one of them is selected and added to the evolving graph. The evolution of the rescaled size of the largest component in such variations of the Erdős--Rényi random graph process has recently received considerable attention, in particular for for Bollobás's `product rule'. In this paper we establish the following result for rules such as the product rule: the limit of the rescaled size of the `giant' component exists and is continuous provided that a certain system of differential equations has a unique solution. In fact, our result applies to a very large class of Achlioptas-like processes. Our proof relies on a general idea which relates the evolution of stochastic processes to an associated system of differential equations. Provided that the latter has a unique solution, our approach shows that certain discrete quantities converge (after appropriate rescaling) to this solution.
2011-11-25
On the density of triangles and squares in regular finite and unimodular random graphs
Published • View Publication • BIB
We explicitly describe the possible pairs of triangle and square densities for r-regular finite simple graphs. We also prove that every r-regular unimodular random graph can be approximated by r-regular finite graphs with respect to these densities. As a corollary one gets an explicit description of the possible pairs of the third and fourth moments of the spectral measure of r-regular unimodular random graphs.
2011-11-25
Minor crossing number is additive over arbitrary cuts
Published • View Publication • BIB
We prove that if $G$ is a graph with an minimal edge cut $F$ of size three and $G_1$, $G_2$ are the two (augmented) components of $G-F$, then the crossing number of $G$ is equal to the sum of crossing numbers of $G_1$ and $G_2$. Combining with known results, this implies that crossing number is additive over edge-cuts of size $d$ for $d\in\{0, 1, 2, 3\}$, whereas there are counterexamples for every $d\ge 4$. The techniques generalize to show that minor crossing number is additive over edge cuts of arbitrary size, as well as to provide bounds for crossing number additivity in arbitrary surfaces. We point out several applications to exact crossing number computation and crossing critical graphs, as well as provide a very general lower bound for the minor crossing number of the Cartesian product of an arbitrary graph with a tree.
2011-11-24
Two questions of Erdős on hypergraphs above the Tur{á}n threshold}
For ordinary graphs it is known that any graph $G$ with more edges than the Tur{á}n number of $K_s$ must contain several copies of $K_s$, and a copy of $K_{s+1}^-$, the complete graph on $s+1$ vertices with one missing edge. Erdős asked if the same result is true for $K^3_s$, the complete 3-uniform hypergraph on $s$ vertices. In this note we show that for small values of $n$, the number of vertices in $G$, the answer is negative for $s=4$. For the second property, that of containing a ${K^3_{s+1}}^-$, we show that for $s=4$ the answer is negative for all large $n$ as well, by proving that the Tur{á}n density of ${K^3_5}^-$ is greater than that of $K^3_4$.
2011-11-24
On heavy paths in 2-connected weighted graphs
Published • View Publication • BIB
A weighted graph is a graph in which every edge is assigned a non-negative real number. In a weighted graph, the weight of a path is the sum of the weights of its edges, and the weighed degree of a vertex is the sum of the weights of the edges incident with it. In this paper we give three weighted degree conditions for the existence of heavy or Hamilton paths with one or two given end-vertices in 2-connected weighted graphs.
2011-11-24 v3
On Metric Dimension of Functigraphs
Published in Discrete Math. Algorithms Appl. Vol. 5, No. 4 (2013) 1250060 • View Publication • BIB
The \emph{metric dimension} of a graph $G$, denoted by $\dim(G)$, is the minimum number of vertices such that each vertex is uniquely determined by its distances to the chosen vertices. Let $G_1$ and $G_2$ be disjoint copies of a graph $G$ and let $f: V(G_1) \rightarrow V(G_2)$ be a function. Then a \emph{functigraph} $C(G, f)=(V, E)$ has the vertex set $V=V(G_1) \cup V(G_2)$ and the edge set $E=E(G_1) \cup E(G_2) \cup \{uv \mid v=f(u)\}$. We study how metric dimension behaves in passing from $G$ to $C(G,f)$ by first showing that $2 \le \dim(C(G, f)) \le 2n-3$, if $G$ is a connected graph of order $n \ge 3$ and $f$ is any function. We further investigate the metric dimension of functigraphs on complete graphs and on cycles.
2011-11-23
On the Orchard crossing number of prisms, ladders and other related graphs
This paper deals with the Orchard crossing number of some families of graphs which are based on cycles. These include disjoint cycles, cycles which share a vertex and cycles which share an edge. Specifically, we focus on the prism and ladder graphs.
2011-11-23 v2
Towards on-line Ohba's conjecture
Published • View Publication • BIB
The on-line choice number of a graph is a variation of the choice number defined through a two person game. It is at least as large as the choice number for all graphs and is strictly larger for some graphs. In particular, there are graphs $G$ with $|V(G)| = 2 χ(G)+1$ whose on-line choice numbers are larger than their chromatic numbers, in contrast to a recently confirmed conjecture of Ohba that every graph $G$ with $|V(G)| \le 2 χ(G)+1$ has its choice number equal its chromatic number. Nevertheless, an on-line version of Ohba conjecture was proposed in [P. Huang, T. Wong and X. Zhu, Application of polynomial method to on-line colouring of graphs, European J. Combin., 2011]: Every graph $G$ with $|V(G)| \le 2 χ(G)$ has its on-line choice number equal its chromatic number. This paper confirms the on-line version of Ohba conjecture for graphs $G$ with independence number at most 3. We also study list colouring of complete multipartite graphs $K_{3\star k}$ with all parts of size 3. We prove that the on-line choice number of $K_{3 \star k}$ is at most $3/2k$, and present an alternate proof of Kierstead's result that its choice number is $\lceil (4k-1)/3 \rceil$. For general graphs $G$, we prove that if $|V(G)| \le χ(G)+\sqrt{χ(G)}$ then its on-line choice number equals chromatic number.
2011-11-23 v2
Conflict-free coloring of graphs
Published • View Publication • BIB
We study the conflict-free chromatic number chi_{CF} of graphs from extremal and probabilistic point of view. We resolve a question of Pach and Tardos about the maximum conflict-free chromatic number an n-vertex graph can have. Our construction is randomized. In relation to this we study the evolution of the conflict-free chromatic number of the Erdős-Rényi random graph G(n,p) and give the asymptotics for p=omega(1/n). We also show that for p \geq 1/2 the conflict-free chromatic number differs from the domination number by at most 3.
2011-11-23
An Inequality for Generalized Chromatic Graphs
Let $G$ be a simple $n$-vertex graph with degree sequence $d_1,d_2,...,d_n$ and vertex set $\V(G)$. The degree of $v\in\V(G)$ is denoted by $\D(v)$. The smallest integer $r$ for which $\V(G)$ has an $r$-partition $$ \V(G)=V_1\cup V_2\cup...\cup V_r,\quad V_i\cap V_j=\emptyset, \quad,i\neq j $$ such that $\D(v)\leq n-\abs{V_i}$, $\forall v\in V_i$, $i=1,2,...,r$ is denoted by $\f(G)$. In this note we prove the inequality $$ \f(G)\geq\frac n{n-\bar{\bar{d}}}, $$ where $\bar{\bar{d}}=\sqrt{\dfrac{d_1^2+d_2^2+...+d_n^2}n}$.
2011-11-23 v3
An improved upper bound for the bondage number of graphs on surfaces
Published in Discrete Mathematics 312 (2012) 2776-2781 • View Publication • BIB
The bondage number $b(G)$ of a graph $G$ is the smallest number of edges whose removal from $G$ results in a graph with larger domination number. Recently Gagarin and Zverovich showed that, for a graph $G$ with maximum degree $Δ(G)$ and embeddable on an orientable surface of genus $h$ and a non-orientable surface of genus $k$, $b(G)\leq\min\{Δ(G)+h+2,Δ+k+1\}$. They also gave examples showing that adjustments of their proofs implicitly provide better results for larger values of $h$ and $k$. In this paper we establish an improved explicit upper bound for $b(G)$, using the Euler characteristic $χ$ instead of the genera $h$ and $k$, with the relations $χ=2-2h$ and $χ=2-k$. We show that $b(G)\leqΔ(G)+\lfloor r\rfloor$ for the case $χ\leq0$ (i.e. $h\geq1$ or $k\geq2$), where $r$ is the largest real root of the cubic equation $z^3+2z^2+(6χ-7)z+18χ-24=0$. Our proof is based on the technique developed by Carlson-Develin and Gagarin-Zverovich, and includes some elementary calculus as a new ingredient. We also find an asymptotically equivalent result $b(G)\leqΔ(G)+\lceil\sqrt{12-6χ\,}-1/2\rceil$ for $χ\leq0$, and a further improvement for graphs with large girth.
2011-11-21 v2
The inducibility of small oriented graphs
We use Razborov's flag algebra method to show an asymptotic upper bound for the maximal induced density $i(\vec P_3)$ of the orgraph $\vec P_3$ in an arbitrary orgraph. A conjecture of Thomassé states that $i(\vec P_3)=2/5$. The hitherto best known upper bound $i(\vec P_3)\leq12/25$ was given by Bondy. We can show that $i(\vec P_3)\leq 0.4446$. Further, we consider such a maximal density for some other small orgraphs. With easy arguments one can see that $i(\vec C_3)=1/4$, $i(\vec K_2 \cup \vec E_1)=3/4$ and $2/21\leq i(\vec C_4)$. We show that $i(\vec C_4)\leq 0.1104$ and conjecture that the extremal orgraphs of $\vec P_3$ and $\vec C_4$ are the same. Furthermore we show that $6-4\sqrt{2}\leq i(\vec K_{1,2})\leq 0.4644$.
List Distinguishing Parameters of Trees
Published • View Publication • BIB
A coloring of the vertices of a graph G is said to be distinguishing} provided no nontrivial automorphism of G preserves all of the vertex colors. The distinguishing number of G, D(G), is the minimum number of colors in a distinguishing coloring of G. The distinguishing chromatic number of G, chi_D(G), is the minimum number of colors in a distinguishing coloring of G that is also a proper coloring. Recently the notion of a distinguishing coloring was extended to that of a list distinguishing coloring. Given an assignment L= {L(v) : v in V(G)} of lists of available colors to the vertices of G, we say that G is (properly) L-distinguishable if there is a (proper) distinguishing coloring f of G such that f(v) is in L(v) for all v. The list distinguishing number of G, D_l(G), is the minimum integer k such that G is L-distinguishable for any list assignment L with |L(v)| = k for all v. Similarly, the list distinguishing chromatic number of G, denoted chi_{D_l}(G) is the minimum integer k such that G is properly L-distinguishable for any list assignment L with |L(v)| = k for all v. In this paper, we study these distinguishing parameters for trees, and in particular extend an enumerative technique of Cheng to show that for any tree T, D_l(T) = D(T), chi_D(T)=chi_{D_l}(T), and chi_D(T) <= D(T) + 1.
2011-11-18 v2
Embedding spanning bipartite graphs of small bandwidth
Published • View Publication • BIB
Boettcher, Schacht and Taraz gave a condition on the minimum degree of a graph G on n vertices that ensures G contains every r-chromatic graph H on n vertices of bounded degree and of bandwidth o(n), thereby proving a conjecture of Bollobas and Komlos. We strengthen this result in the case when H is bipartite. Indeed, we give an essentially best-possible condition on the degree sequence of a graph G on n vertices that forces G to contain every bipartite graph H on n vertices of bounded degree and of bandwidth o(n). This also implies an Ore-type result. In fact, we prove a much stronger result where the condition on G is relaxed to a certain robust expansion property. Our result also confirms the bipartite case of a conjecture of Balogh, Kostochka and Treglown concerning the degree sequence of a graph which forces a perfect H-packing.