Showing 20 papers (Total: 83657 papers, 48289 authors in database)
Brooks' Theorem and Beyond
Published in J. Graph Theory. Vol. 80(3), November 2015, pp. 199-225
• View Publication
• BIB
We collect some of our favorite proofs of Brooks' Theorem, highlighting advantages and extensions of each. The proofs illustrate some of the major techniques in graph coloring, such as greedy coloring, Kempe chains, hitting sets, and the Kernel Lemma. We also discuss standard strengthenings of vertex coloring, such as list coloring, online list coloring, and Alon--Tarsi orientations, since analogues of Brooks' Theorem hold in each context. We conclude with two conjectures along the lines of Brooks' Theorem that are much stronger, the Borodin--Kostochka Conjecture and Reed's Conjecture.
Deriving Faà di Bruno's formula for the derivative of a composite function via compositions of integers
We give yet another proof for Faà di Bruno's formula for higher derivatives of composite functions. Our proof technique relies on reinterpreting the composition of two power series as the generating function for weighted integer compositions, for which a Faà di Bruno-like formula is quite naturally established.
Vertically symmetric alternating sign matrices and a multivariate Laurent polynomial identity
Published
• View Publication
• BIB
In 2007, the first author gave an alternative proof of the refined alternating sign matrix theorem by introducing a linear equation system that determines the refined ASM numbers uniquely. Computer experiments suggest that the numbers appearing in a conjecture concerning the number of vertically symmetric alternating sign matrices with respect to the position of the first 1 in the second row of the matrix establish the solution of a linear equation system similar to the one for the ordinary refined ASM numbers. In this paper we show how our attempt to prove this fact naturally leads to a more general conjectural multivariate Laurent polynomial identity. Remarkably, in contrast to the ordinary refined ASM numbers, we need to extend the combinatorial interpretation of the numbers to parameters which are not contained in the combinatorial admissible domain. Some partial results towards proving the conjectured multivariate Laurent polynomial identity and additional motivation why to study it are presented as well.
A Murnaghan-Nakayama Rule For Noncommutative Schur Functions
Published
• View Publication
• BIB
We prove a Murnaghan-Nakayama rule for the noncommutative Schur functions introduced by Bessenrodt, Luoto and van Willigenburg. In other words, we give an explicit combinatorial formula for expanding the product of a noncommutative power sum symmetric function and a noncommutative Schur function in terms of noncommutative Schur functions. In direct analogy to the classical Murnaghan-Nakayama rule, the summands are computed using a noncommutative analogue of border strips, and have coefficients equal to 1 or -1 determined by the height of these border strips. The rule is proved by interpreting the noncommutative Pieri rules for noncommutative Schur functions in terms of box-adding operators on compositions.
Minimal counterexamples and discharging method
Recently, the author found that there is a common mistake in some papers by using minimal counterexample and discharging method. We first discuss how the mistake is generated, and give a method to fix the mistake. As an illustration, we consider total coloring of planar or toroidal graphs, and show that: if $G$ is a planar or toroidal graph with maximum degree at most $κ- 1$, where $κ\geq 11$, then the total chromatic number is at most $κ$.
Several variants of the Dumont differential system and permutation statistics
Published
• View Publication
• BIB
The Dumont differential system on the Jacobi elliptic functions was introduced by Dumont (Math Comp, 1979, 33: 1293--1297) and was extensively studied by Dumont, Viennot, Flajolet and so on. In this paper, we first present a labeling scheme for the cycle structure of permutations. We then introduce two types of Jacobi-pairs of differential equations. We present a general method to derive the solutions of these differential equations. As applications, we present some characterizations for several permutation statistics.
The Erdős-Gyárfás problem on generalized Ramsey numbers
Published
• View Publication
• BIB
Fix positive integers $p$ and $q$ with $2 \leq q \leq {p \choose 2}$. An edge-coloring of the complete graph $K_n$ is said to be a $(p, q)$-coloring if every $K_p$ receives at least $q$ different colors. The function $f(n, p, q)$ is the minimum number of colors that are needed for $K_n$ to have a $(p,q)$-coloring. This function was introduced by Erdős and Shelah about 40 years ago, but Erdős and Gyárfás were the first to study the function in a systematic way. They proved that $f(n, p, p)$ is polynomial in $n$ and asked to determine the maximum $q$, depending on $p$, for which $f(n,p,q)$ is subpolynomial in $n$. We prove that the answer is $p-1$.
Regular Polygonal Complexes of Higher Ranks in E^3
Published in Model. Anal. Inform. Sist. 20 (2013), 103-110
• View Publication
• BIB
The paper establishes that the rank of a regular polygonal complex in 3-space E^3 cannot exceed 4, and that the only regular polygonal complexes of rank 4 in 3-space are the eight regular 4-apeirotopes.
Mixed, Multi-color, and Bipartite Ramsey Numbers Involving Trees of Small Diameter
In this paper we study Ramsey numbers for trees of diameter 3 (bistars) vs., respectively, trees of diameter 2 (stars), complete graphs, and many complete graphs. In the case of bistars vs. many complete graphs, we determine this number exactly as a function of the Ramsey number for the complete graphs. We also determine the order of growth of the bipartite $k$-color Ramsey number for a bistar.
Polyhedra, Complexes, Nets and Symmetry
Published
• View Publication
• BIB
Skeletal polyhedra and polygonal complexes in ordinary Euclidean 3-space are finite or infinite 3-periodic structures with interesting geometric, combinatorial, and algebraic properties. They can be viewed as finite or infinite 3-periodic graphs (nets) equipped with additional structure imposed by the faces, allowed to be skew, zig-zag, or helical. A polyhedron or complex is "regular" if its geometric symmetry group is transitive on the flags (incident vertex-edge-face triples). There are 48 regular polyhedra (18 finite polyhedra and 30 infinite apeirohedra), as well as 25 regular polygonal complexes, all infinite, which are not polyhedra. Their edge graphs are nets well-known to crystallographers, and we identify them explicitly. There also are 6 infinite families of "chiral" apeirohedra, which have two orbits on the flags such that adjacent flags lie in different orbits.
Bootstrapping and Askey-Wilson polynomials
Published
• View Publication
• BIB
The mixed moments for the Askey-Wilson polynomials are found using a bootstrapping method and connection coefficients. A similar bootstrapping idea on generating functions gives a new Askey-Wilson generating function. An important special case of this hierarchy is a polynomial which satisfies a four term recurrence, and its combinatorics is studied.
Union-intersecting set systems
Published
• View Publication
• BIB
Three intersection theorems are proved. First, we determine the size of the largest set system, where the system of the pairwise unions is l-intersecting. Then we investigate set systems where the union of any s sets intersect the union of any t sets. The maximal size of such a set system is determined exactly if s+t<5, and asymptotically if s+t>4. Finally, we exactly determine the maximal size of a k-uniform set system that has the above described (s,t)-union-intersecting property, for large enough n.
Skew-symmetric matrices and their principal minors
Let $V$ be a nonempty finite set and $A=(a_{ij})_{i,j\in V}$ be a matrix with entries in a field $\mathbb{K}$. For a subset $X$ of $V$, we denote by $A[X]$ the submatrix of $A$ having row and column indices in $X$. We study the following problem. Given a positive integer $k$, what is the relationship between two matrices $A=(a_{ij})_{i,j\in V}$, $B=(b_{ij})_{i,j\in V}$ with entries in $\mathbb{K}$ and such that $\det(A\left[ X\right])=\det(B\left[ X\right])$ for any subset $X$ of $V$ of size at most $k$ ? The Theorem that we get in this Note is an improvement of a result of R. Loewy [5] for skew-symmetric matrices whose all off-diagonal entries are nonzero.
On the maximum number of points in a maximal intersecting family of finite sets
Published
• View Publication
• BIB
Paul Erdős and László Lovász proved in a landmark article that, for any positive integer $k$, up to isomorphism there are only finitely many maximal intersecting families of $k-$sets (maximal $k-$cliques). So they posed the problem of determining or estimating the largest number $N(k)$ of the points in such a family. They also proved by means of an example that $N(k)\geq2k-2+\frac{1}{2}\binom{2k-2}{k-1}$. Much later, Zsolt Tuza proved that the bound is best possible up to a multiplicative constant by showing that asymptotically $N(k)$ is at most $4$ times this lower bound. In this paper we reduce the gap between the lower and upper bound by showing that asymptotically $N(k)$ is at most $3$ times the Erdős-Lovász lower bound. Conjecturally, the explicit upper bound obtained in this paper is only double the lower bound.
The universality theorem for neighborly polytopes
Published
• View Publication
• BIB
In this note, we prove that every open primary basic semialgebraic set is stably equivalent to the realization space of an even-dimensional neighborly polytope. This in particular provides the final step for Mnëv's proof of the universality theorem for simplicial polytopes.
A new characterization of $P_k$-free graphs
Published
• View Publication
• BIB
The class of graphs that do not contain an induced path on $k$ vertices, $P_k$-free graphs, plays a prominent role in algorithmic graph theory. This motivates the search for special structural properties of $P_k$-free graphs, including alternative characterizations.
Let $G$ be a connected $P_k$-free graph, $k \ge 4$. We show that $G$ admits a connected dominating set whose induced subgraph is either $P_{k-2}$-free, or isomorphic to $P_{k-2}$. Surprisingly, it turns out that every minimum connected dominating set of $G$ has this property.
This yields a new characterization for $P_k$-free graphs: a graph $G$ is $P_k$-free if and only if each connected induced subgraph of $G$ has a connected dominating set whose induced subgraph is either $P_{k-2}$-free, or isomorphic to $C_k$. This improves and generalizes several previous results; the particular case of $k=7$ solves a problem posed by van 't Hof and Paulusma [A new characterization of $P_6$-free graphs, COCOON 2008].
In the second part of the paper, we present an efficient algorithm that, given a connected graph $G$ on $n$ vertices and $m$ edges, computes a connected dominating set $X$ of $G$ with the following property: for the minimum $k$ such that $G$ is $P_k$-free, the subgraph induced by $X$ is $P_{k-2}$-free or isomorphic to $P_{k-2}$.
As an application our results, we prove that Hypergraph 2-Colorability, an NP-complete problem in general, can be solved in polynomial time for hypergraphs whose vertex-hyperedge incidence graph is $P_7$-free.
Hadwiger's conjecture for $\ell$-link graphs
Published
• View Publication
• BIB
In this paper we define and study a new family of graphs that generalises the notions of line graphs and path graphs. Let $G$ be a graph with no loops but possibly with parallel edges. An \emph{$\ell$-link} of $G$ is a walk of $G$ of length $\ell \geqslant 0$ in which consecutive edges are different. We identify an $\ell$-link with its reverse sequence. The \emph{$\ell$-link graph $\mathbb{L}_\ell(G)$} of $G$ is the graph with vertices the $\ell$-links of $G$, such that two vertices are joined by $μ\geqslant 0$ edges in $\mathbb{L}_\ell(G)$ if they correspond to two subsequences of each of $μ$ $(\ell + 1)$-links of $G$.
By revealing a recursive structure, we bound from above the chromatic number of $\ell$-link graphs. As a corollary, for a given graph $G$ and large enough $\ell$, $\mathbb{L}_\ell(G)$ is $3$-colourable. By investigating the shunting of $\ell$-links in $G$, we show that the Hadwiger number of a nonempty $\mathbb{L}_\ell(G)$ is greater or equal to that of $G$. Hadwiger's conjecture states that the Hadwiger number of a graph is at least the chromatic number of that graph. The conjecture has been proved by Reed and Seymour (2004) for line graphs, and hence $1$-link graphs. We prove the conjecture for a wide class of $\ell$-link graphs.
Percolation with small clusters on random graphs
Published in Graphs Combin. 32 no. 3 (2016), 1167-1185
• View Publication
• BIB
Consider the problem of determining the maximal induced subgraph in a random $d$-regular graph such that its components remain bounded as the size of the graph becomes arbitrarily large. We show, for asymptotically large $d$, that any such induced subgraph has size density at most $2(\log d)/d$ with high probability. A matching lower bound is known for independent sets. We also prove the analogous result for sparse Erdős-Rényi graphs.
Proof of Blum's conjecture on hexagonal dungeons
Published
• View Publication
• BIB
Matt Blum conjectured that the number of tilings of the Hexagonal Dungeon of sides $a,\ 2a,\ b,\ a,\ 2a,\ b$ (where $b\geq 2a$) is $13^{2a^2}14^{\lfloor\frac{a^2}{2}\rfloor}$ (J. Propp, New Perspectives in Geometric Combinatorics, Cambridge University Press, 1999). In this paper we present a proof for this conjecture using Kuo's Graphical Condensation Theorem (E. Kuo, Applications of Graphical Condensation for Enumerating Matchings and Tilings, Theoretical Computer Science, 2004).
Separator-Based Graph Embedding into Multidimensional Grids with Small Edge-Congestion
Published
• View Publication
• BIB
We study the problem of embedding a guest graph with minimum edge-congestion into a multidimensional grid with the same size as that of the guest graph. Based on a well-known notion of graph separators, we show that an embedding with a smaller edge-congestion can be obtained if the guest graph has a smaller separator, and if the host grid has a higher but constant dimension. Specifically, we prove that any graph with $N$ nodes, maximum node degree $Δ$, and with a node-separator of size $O(n^α)$ ($0\leqα<1$) can be embedded into a grid of a fixed dimension $d\geq 2$ with at least $N$ nodes, with an edge-congestion of $O(Δ)$ if $d>1/(1-α)$, $O(Δ\log N)$ if $d=1/(1-α)$, and $O(ΔN^{α-1+\frac{1}{d}})$ if $d< 1/(1-α)$. This edge-congestion achieves constant ratio approximation if $d>1/(1-α)$, and matches an existential lower bound within a constant factor if $d\leq 1/(1-α)$. Our result implies that if the guest graph has an excluded minor of a fixed size, such as a planar graph, then we can obtain an edge-congestion of $O(Δ\log N)$ for $d=2$ and $O(Δ)$ for any fixed $d\geq 3$. Moreover, if the guest graph has a fixed treewidth, such as a tree, an outerplanar graph, and a series-parallel graph, then we can obtain an edge-congestion of $O(Δ)$ for any fixed $d\geq 2$. To design our embedding algorithm, we introduce edge-separators bounding expansion, such that in partitioning a graph into isolated nodes using edge-separators recursively, the number of outgoing edges from a subgraph to be partitioned in a recursive step is bounded. We present an algorithm to construct an edge-separator with expansion of $O(Δn^α)$ from a node-separator of size $O(n^α)$.