Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Universality of random graphs for graphs of maximum degree two
Published in SIAM Journal on Discrete Mathematics 28 (2014), no. 3, 1467-1478
• View Publication
• BIB
For a family $\mathcal{F}$ of graphs, a graph $G$ is called \emph{$\mathcal{F}$-universal} if $G$ contains every graph in $\mathcal{F}$ as a subgraph. Let $\mathcal{F}_n(d)$ be the family of all graphs on $n$ vertices with maximum degree at most $d$. Dellamonica, Kohayakawa, Rödl and Ruciński showed that, for $d\geq 3$, the random graph $G(n,p)$ is $\mathcal{F}_n(d)$-universal with high probability provided $p\geq C\big(\frac{\log n}{n}\big)^{1/d}$ for a sufficiently large constant $C=C(d)$. In this paper we prove the missing part of the result, that is, the random graph $G(n,p)$ is $\mathcal{F}_n(2)$-universal with high probability provided $p\geq C\big(\frac{\log n}{n}\big)^{1/2}$ for a sufficiently large constant $C$.
Colouring quadrangulations of projective spaces
Published in Journal of Combinatorial Theory, Series B 113: 1-17, 2015
• View Publication
• BIB
A graph embedded in a surface with all faces of size 4 is known as a quadrangulation. We extend the definition of quadrangulation to higher dimensions, and prove that any graph G which embeds as a quadrangulation in the real projective space P^n has chromatic number n+2 or higher, unless G is bipartite. For n=2 this was proved by Youngs [J. Graph Theory 21 (1996), 219-227]. The family of quadrangulations of projective spaces includes all complete graphs, all Mycielski graphs, and certain graphs homomorphic to Schrijver graphs. As a corollary, we obtain a new proof of the Lovasz-Kneser theorem.
Lower bounds on the maximum number of non-crossing acyclic graphs
Published
• View Publication
• BIB
This paper is a contribution to the problem of counting geometric graphs on point sets. More concretely, we look at the maximum numbers of non-crossing spanning trees and forests. We show that the so-called double chain point configuration of N points has Omega(12.52^N) non-crossing spanning trees and Omega(13.61^N) non-crossing forests. This improves the previous lower bounds on the maximum number of non-crossing spanning trees and of non-crossing forests among all sets of N points in general position given by Dumitrescu, Schulz, Sheffer and Tóth. Our analysis relies on the tools of analytic combinatorics, which enable us to count certain families of forests on points in convex position, and to estimate their average number of components. A new upper bound of O(22.12^N) for the number of non-crossing spanning trees of the double chain is also obtained.
Multipass greedy coloring of simple uniform hypergraphs
Published
• View Publication
• BIB
Let $m^*(n)$ be the minimum number of edges in an $n$-uniform simple hypergraph that is not two colorable. We prove that $m^*(n)=Ω(4^n/\ln^2(n))$. Our result generalizes to $r$-coloring of $b$-simple uniform hypergraphs. For fixed $r$ and $b$ we prove that a maximum vertex degree in $b$-simple $n$-uniform hypergraph that is not $r$-colorable must be $Ω(r^n /\ln(n))$. By trimming arguments it implies that every such graph has $Ω((r^n /\ln(n))^{b+1/b})$ edges. For any fixed $r \geq 2$ our techniques yield also a lower bound $Ω(r^n/\ln(n))$ for van der Waerden numbers $W(n,r)$.
Matchings and Hamilton Cycles with Constraints on Sets of Edges
The aim of this paper is to extend and generalise some work of Katona on the existence of perfect matchings or Hamilton cycles in graphs subject to certain constraints. The most general form of these constraints is that we are given a family of sets of edges of our graph and are not allowed to use all the edges of any member of this family. We consider two natural ways of expressing constraints of this kind using graphs and using set systems.
For the first version we ask for conditions on regular bipartite graphs $G$ and $H$ for there to exist a perfect matching in $G$, no two edges of which form a $4$-cycle with two edges of $H$.
In the second, we ask for conditions under which a Hamilton cycle in the complete graph (or equivalently a cyclic permutation) exists, with the property that it has no collection of intervals of prescribed lengths whose union is an element of a given family of sets. For instance we prove that the smallest family of $4$-sets with the property that every cyclic permutation of an $n$-set contains two adjacent pairs of points has size between $(1/9+o(1))n^2$ and $(1/2-o(1))n^2$. We also give bounds on the general version of this problem and on other natural special cases.
We finish by raising numerous open problems and directions for further study.
Two Vignettes On Full Rook Placements
Using bijections between pattern-avoiding permutations and certain full rook placements on Ferrers boards, we give short proofs of two enumerative results. The first is a simplified enumeration of the 3124, 1234-avoiding permutations, obtained recently by Callan via a complicated decomposition. The second is a streamlined bijection between 1342-avoiding permutations and permutations which can be sorted by two increasing stacks in series, originally due to Atkinson, Murphy, and Ruškuc.
On the local profiles of trees
Published
• View Publication
• BIB
We study the local profiles of trees. We show that, in contrast with the situation for general graphs, the limit set of k-profiles of trees is convex. We initiate a study of the defining inequalities of this convex set. Many challenging problems remain open.
Treewidth of the Kneser Graph and the Erdős-Ko-Rado Theorem
Published in Electronic J. Combinatorics 21.1:P1.48, 2014
• View Publication
• BIB
Treewidth is an important and well-known graph parameter that measures the complexity of a graph. The Kneser graph Kneser(n,k) is the graph with vertex set $\binom{[n]}{k}$, such that two vertices are adjacent if they are disjoint. We determine, for large values of n with respect to k, the exact treewidth of the Kneser graph. In the process of doing so, we also prove a strengthening of the Erdős-Ko-Rado Theorem (for large n with respect to k) when a number of disjoint pairs of k-sets are allowed.
On Weakly Uniform Integer Additive Set-Indexers of Graphs
Published in International Mathematical Forum, Vol. 8, 2013, no. 37, 1827-1834
• View Publication
• BIB
Acharya introduced the notion of set-valuations of graphs as a set analogue of the number valuations of graphs. Also we have the notion of set-indexers, integer additive set-indexers and k-uniform integer additive set-indexers. In this paper, we initiate a study of the graphs which admit k-uniform integer additive set-indexers as a generalisation to the earlier studies of 1-uniform and 2-uniform integer additive set-indexers. We introduce the notion of weakly uniform integer additive set-indexers and arbitrarily uniform integer additive set-indexers based on the cardinality of the labeling sets and provide some useful results on these types of set-indexers.
Simplicial complexes Alexander dual to boundaries of polytopes
In the paper we treat Gale diagrams in a combinatorial way. The interpretation allows to describe simplicial complexes which are Alexander dual to boundaries of simplicial polytopes and, more generally, to nerve-complexes of general polytopes. This technique and recent results of N.Yu.Erokhovets are combined to prove the following: Buchstaber invariant $s(P)$ of a convex polytope equals 1 if and only if $P$ is a pyramid. In general, we describe a procedure to construct polytopes with $s_R(P)>k$. The construction has purely combinatorial consequences. We also apply Gale duality to the study of bigraded Betti numbers and f-vectors of polytopes.
Brooks' theorem on powers of graphs
Published
• View Publication
• BIB
We prove that for $k\geq 3$, the bound given by Brooks' theorem on the chromatic number of $k$-th powers of graphs of maximum degree $Δ\geq 3$ can be lowered by 1, even in the case of online list coloring.
Barnette's Conjecture
This report provides an overview of theorems and statements related to a conjecture stated by D.W. Barnette in 1969 (which is an open problem in graph theory): Every cubic, bipartite, polyhedral graph contains a Hamilton cycle.
Renormalization group-like proof of the universality of the Tutte polynomial for matroids
Published in Discrete Mathematics & Theoretical Computer Science Proceedings FPSAC 2013, pag. 397-408 (2013)
• View Publication
• BIB
In this paper we give a new proof of the universality of the Tutte polynomial for matroids. This proof uses appropriate characters of Hopf algebra of matroids, algebra introduced by Schmitt (1994). We show that these Hopf algebra characters are solutions of some differential equations which are of the same type as the differential equations used to describe the renormalization group flow in quantum field theory. This approach allows us to also prove, in a different way, a matroid Tutte polynomial convolution formula published by Kook, Reiner and Stanton (1999). This FPSAC contribution is an extended abstract.
Systolizing buildings
Published
• View Publication
• BIB
We introduce a construction turning some Coxeter and Davis realizations of buildings into systolic complexes. Consequently groups acting geometrically on buildings of triangle types distinct from $(2,4,4)$, $(2,4,5)$, $(2,5,5)$, and various rank $4$ types are systolic.
Directed Cycle Double Cover Conjecture: Fork Graphs
We explore the well-known Jaeger's directed cycle double cover conjecture which is equivalent to the assertion that every cubic bridgeless graph has an embedding on a closed orientable surface with no dual loop. We associate each cubic graph G with a novel object H that we call a "hexagon graph"; perfect matchings of H describe all embeddings of G on closed orientable surfaces. The study of hexagon graphs leads us to define a new class of graphs that we call "lean fork-graphs". Fork graphs are cubic bridgeless graphs obtained from a triangle by sequentially connecting fork-type graphs and performing Y-Delta, Delta-Y transformations; lean fork-graphs are fork graphs fulfilling a connectivity property. We prove that Jaeger's conjecture holds for the class of lean fork-graphs. The class of lean fork-graphs is rich; namely, for each cubic bridgeless graph G there is a lean fork-graph containing a subdivision of G as an induced subgraph. Our results establish for the first time, to the best of our knowledge, the validity of Jaeger's conjecture in a broad inductively defined class of graphs.
Deleting Edges from Ramsey Minimal Examples
Published
• View Publication
• BIB
If r(s, t) = p, we shall call Kp a Ramsey Minimal Example. We prove that if r{s,t) = p, and one edge is deleted from the Ramsey Minimal Example, Kp, the resulting graph no longer has the Ramsey property, that is, its edges can be colored red or blue so that the "red" subgraph does not contain Ks and the "blue" subgraph does not contain Kt. The paper is written in an accessible style explaining the process that led us to make the conjecture and then prove this result.
Upper bounds on the number of perfect matchings and directed 2-factors in graphs with given number of vertices and edges
Published
• View Publication
• BIB
We give an upper bound on the number of perfect matchings in simple graphs with a given number of vertices and edges. We apply this result to give an upper bound on the number of 2-factors in a directed complete bipartite balanced graph on 2n vertices. The upper bound is sharp for n even. For n odd we state a conjecture on a sharp upper bound.
Bounds on the spectral radius of nonnegative matrices and applications in graph spectra
In this paper, we give upper and lower bounds for the spectral radius of a nonnegative irreducible matrix and characterize the equality cases. These bounds theoretically improve and generalize some known results of Duan et al.[X. Duan, B. Zhou, Sharp bounds on the spectral radius of a nonnegative matrix, Linear Algebra Appl. (2013), http://dx.doi.org/10.1016/j.laa.2013.08.026]. Finally, applying these bounds to various matrices associated with a graph, we obtain some new upper and lower bounds on various spectral radiuses of graphs, which generalize and improve some known results.
Combinatorial, piecewise-linear, and birational homomesy for products of two chains
Published
• View Publication
• BIB
This article illustrates the dynamical concept of $homomesy$ in three kinds of dynamical systems -- combinatorial, piecewise-linear, and birational -- and shows the relationship between these three settings. In particular, we show how the rowmotion and promotion operations of Striker and Williams can be lifted to (continuous) piecewise-linear operations on the order polytope of Stanley, and then lifted to birational operations on the positive orthant in $\mathbb{R}^{|P|}$ and indeed to a dense subset of $\mathbb{C}^{|P|}$. When the poset $P$ is a product of a chain of length $a$ and a chain of length $b$, these lifted operations have order $a+b$, and exhibit the homomesy phenomenon: the time-averages of various quantities are the same in all orbits. One important tool is a concrete realization of the conjugacy between rowmotion and promotion found by Striker and Williams; this $recombination$ $map$ allows us to use homomesy for promotion to deduce homomesy for rowmotion.
NOTE: An earlier draft showed that Stanley's transfer map between the order polytope and the chain polytope arises as the tropicalization of an analogous map in the bilinear realm; in 2020 we removed this material for the sake of brevity, especially after Joseph and Roby generalized our proof to the noncommutative realm (see arXiv:1909.09658v3). Readers who nonetheless wish to see our proof can find the September 2018 draft of this preprint through the arXiv.
s-Inversion Sequences and P-Partitions of Type B
Published
• View Publication
• BIB
Given a sequence $s=(s_1,s_2,\ldots)$ of positive integers, the inversion sequences with respect to $s$, or $s$-inversion sequences, were introduced by Savage and Schuster in their study of lecture hall polytopes. A sequence $(e_1,e_2,\ldots,e_n)$ of nonnegative integers is called an $s$-inversion sequence of length $n$ if $0\leq e_i < s_i$ for $1\leq i\leq n$. Let I(n) be the set of $s$-inversion sequences of length $n$ for $s=(1,4,3,8,5,12,\ldots)$, that is, $s_{2i}=4i$ and $s_{2i-1}=2i-1$ for $i\geq1$, and let $P_n$ be the set of signed permutations on $\{1^2,2^2,\ldots,n^2\}$. Savage and Visontai conjectured that when $n=2k$, the ascent number over $I_n$ is equidistributed with the descent number over $P_k$. For a positive integer $n$, we use type $B$ $P$-partitions to give a characterization of signed permutations over which the descent number is equidistributed with the ascent number over $I_n$. When $n$ is even, this confirms the conjecture of Savage and Visontai. Moreover, let $I'_n$ be the set of $s$-inversion sequences of length $n$ for $s=(2,2,6,4,10,6,\ldots)$, that is, $s_{2i}=2i$ and $s_{2i-1}=4i-2$ for $i\geq1$. We find a set of signed permutations over which the descent number is equidistributed with the ascent number over $I'_n$.