Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Ramsey numbers of cubes versus cliques
Published
• View Publication
• BIB
The cube graph Q_n is the skeleton of the n-dimensional cube. It is an n-regular graph on 2^n vertices. The Ramsey number r(Q_n, K_s) is the minimum N such that every graph of order N contains the cube graph Q_n or an independent set of order s. Burr and Erdos in 1983 asked whether the simple lower bound r(Q_n, K_s) >= (s-1)(2^n - 1)+1 is tight for s fixed and n sufficiently large. We make progress on this problem, obtaining the first upper bound which is within a constant factor of the lower bound.
Enumerating typical abelian coverings of Cayley graphs
Published in Discrete Mathematics 313 (2013), no. 14, 1503-1510
• View Publication
• BIB
In this article we complete the work of enumerating typical abelian coverings of Cayley graphs, by reducing the problem to enumerating certain subgroups of finite abelian groups.
De combinatoriek van De Bruijn
In memoriam N.G. de Bruijn. In this article I present some highlights of De Bruijn's contributions in combinatorics. This article does not survey his work on eg Penrose tilings, asymptotics or AUTOMATH; other surveys on these topics are being written by others.
The Distribution of Heights of Discrete Excursions
We compute the limiting distribution of height of a random discrete excursion with step sets consisting of one positive step 1 and arbitrary finite set of non-positive integers. The limit law is the supremum of a Brownian excursion. This is well-known for Dyck and Motzkin paths. We apply a representation of the length and height generating function in terms of certain Schur polynomials put forward in a 2008 paper by Bousquet-Melout which leads to a form of the moment generating functions amenable to a Mellin transform analysis.
On $k$-stellated and $k$-stacked spheres
We introduce the class $Σ_k(d)$ of $k$-stellated (combinatorial) spheres of dimension $d$ ($0 \leq k \leq d + 1$) and compare and contrast it with the class ${\cal S}_k(d)$ ($0 \leq k \leq d$) of $k$-stacked homology $d$-spheres. We have $Σ_1(d) = {\cal S}_1(d)$, and $Σ_k(d) \subseteq {\cal S}_k(d)$ for $d \geq 2k - 1$. However, for each $k \geq 2$ there are $k$-stacked spheres which are not $k$-stellated. The existence of $k$-stellated spheres which are not $k$-stacked remains an open question.
We also consider the class ${\cal W}_k(d)$ (and ${\cal K}_k(d)$) of simplicial complexes all whose vertex-links belong to $Σ_k(d - 1)$ (respectively, ${\cal S}_k(d - 1)$). Thus, ${\cal W}_k(d) \subseteq {\cal K}_k(d)$ for $d \geq 2k$, while ${\cal W}_1(d) = {\cal K}_1(d)$. Let $\bar{\cal K}_k(d)$ denote the class of $d$-dimensional complexes all whose vertex-links are $k$-stacked balls. We show that for $d\geq 2k + 2$, there is a natural bijection $M \mapsto \bar{M}$ from ${\cal K}_k(d)$ onto $\bar{\cal K}_k(d + 1)$ which is the inverse to the boundary map $\partial \colon \bar{\cal K}_k(d + 1) \to {\cal K}_k(d)$.
Context-free Grammars and Multivariate Stable Polynomials over Stirling Permutations
Published
• View Publication
• BIB
Recently, Haglund and Visontai established the stability of the multivariate Eulerian polynomials as the generating polynomials of the Stirling permutations, which serves as a unification of some results of Bóna, Brenti, Janson, Kuba, and Panholzer concerning Stirling permutations. Let $B_n(x)$ be the generating polynomials of the descent statistic over Legendre-Stirling permutations, and let $T_n(x)=2^nC_n(x/2)$, where $C_n(x)$ are the second-order Eulerian polynomials. Haglund and Visontai proposed the problems of finding multivariate stable refinements of the polynomials $B_n(x)$ and $T_n(x)$. We obtain context-free grammars leading to multivariate stable refinements of the polynomials $B_n(x)$ and $T_n(x)$. Moreover, the grammars enable us to obtain combinatorial interpretations of the multivariate polynomials in terms of Legendre-Stirling permutations and marked Stirling permutations. Such stable multivariate polynomials provide solutions to two problems posed by Haglund and Visontai.
Structure results for multiple tilings in 3D
Published
• View Publication
• BIB
We study multiple tilings of 3-dimensional Euclidean space by a convex body. In a multiple tiling, a convex body $P$ is translated with a discrete multiset $Λ$ in such a way that each point of the space gets covered exactly $k$ times, except perhaps the translated copies of the boundary of $P$. It is known that all possible multiple tilers in 3D are zonotopes. In 2D it was known by the work of M. Kolountzakis that, unless $P$ is a parallelogram, the multiset of translation vectors $Λ$ must be a finite union of translated lattices (also known as quasi periodic sets). In that work [Kolountzakis, 2002], the author asked whether the same quasi-periodic structure on the translation vectors would be true in 3D. Here we prove that this conclusion is indeed true for 3D.
Namely, we show that if $P$ is a convex multiple tiler in 3D, with a discrete multiset $Λ$ of translation vectors, then $Λ$ has to be a finite union of translated lattices, unless $P$ belongs to a special class of zonotopes. This exceptional class consists of two-flat zonotopes $P$, defined by the Minkowski sum of $n+m$ line segments that lie in the union of two different two-dimensional subspaces $H_1$ and $H_2$. Equivalently, a two-flat zonotope $P$ may be thought of as the Minkowski sum of two 2-dimensional symmetric polygons one of which may degenerate into a single line segment. It turns out that rational two-flat zonotopes admit a multiple tiling with an aperiodic (non-quasi-periodic) set of translation vectors $Λ$. We note that it may be quite difficult to offer a visualization of these 3-dimensional non-quasi-periodic tilings, and that we discovered them by using Fourier methods.
Methods of computing deque sortable permutations given complete and incomplete information
The problem of determining which permutations can be sorted using certain switchyard networks dates back to Knuth in 1968. In this work, we are interested in permutations which are sortable on a double-ended queue (called a deque), or on two parallel stacks. In 1982, Rosenstiehl and Tarjan presented an O(n) algorithm for testing whether a given permutation was sortable on parallel stacks. In the same paper, they also presented a modification giving O(n) test for sortability on a deque. We demonstrate a slight error in the version of their algorithm for testing deque sortability, and present a fix for this problem.
The general enumeration problem for both of these classes of permutations remains unsolved. What is known is that the growth rate of both classes is approximately Theta(8^n), so computing the number of sortable permutations of length n, even for small values of n, is difficult to do using any method that must evaluate each sortable permutation individually. As far as we know, the number of deque sortable permutations was known only up to n=14. This was computed using algorithms which effectively generate all sortable permutations. By using the symmetries inherent in the execution of Tarjan's algorithm, we have developed a new dynamic programming algorithm which can count the number of sortable permutations in both classes in O(n^5 2^n) time, allowing the calculation of the number of deque and parallel stack sortable permutation for much higher values of n than was previously possible.
The probability that random positive integers are k-wise relatively prime
Published in Int. J. Number Theory 9 (2013) 1263-1271
• View Publication
• BIB
An s-tuple of positive integers are k-wise relatively prime if any k of them are relatively prime. Exact formula is obtained for the probability that s positive integers are k-wise relatively prime.
Combinatorial bijections from hatted avoiding permutations in $S_n(132)$ to generalized Dyck and Motzkin paths
Published
• View Publication
• BIB
We introduce a new concept of permutation avoidance pattern called hatted pattern, which is a natural generalization of the barred pattern. We show the growth rate of the class of permutations avoiding a hatted pattern in comparison to barred pattern. We prove that Dyck paths with no peak at height $p$, Dyck paths with no $ud... du$ and Motzkin paths are counted by hatted pattern avoiding permutations in $\s_n(132)$ by showing explicit bijections. As a result, a new direct bijection between Motzkin paths and permutations in $\s_n(132)$ without two consecutive adjacent numbers is given. These permutations are also represented on the Motzkin generating tree based on the Enumerative Combinatorial Object (ECO) method.
Functors from Association Schemes
Published
• View Publication
• BIB
We construct a wide subcategory of the category of finite association schemes with a collection of desirable properties. Our subcategory has a first isomorphism theorem analogous to that of groups. Also, standard constructions taking schemes to groups (thin radicals and thin quotients) or algebras (adjacency algebras) become functorial when restricted to our category. We use our category to give a more conceptual account for a result of Hanaki concerning products of characters of association schemes; i.e. we show that the virtual representations of an association scheme form a module over the representation ring of the thin quotient of the association scheme.
Constructions of Strongly Regular Cayley Graphs using Even Index Gauss Sums
Published
• View Publication
• BIB
In this paper, generalizing the result in \cite{GXY}, we construct strongly regular Cayley graphs by using union of cyclotomic classes of $\F_q$ and Gauss sums of index $w$, where $w\geq 2$ is even. In particular, we obtain three infinite families of strongly regular graphs with new parameters.
A Sharpened Condition for Strict Log-Convexity of the Spectral Radius via the Bipartite Graph
Published
• View Publication
• BIB
Friedland (1981) showed that for a nonnegative square matrix A, the spectral radius r(e^D A) is a log-convex functional over the real diagonal matrices D. He showed that for fully indecomposable A, log r(e^D A) is strictly convex over D_1, D_2 if and only if D_1-D_2 != c I for any c \in R. Here the condition of full indecomposability is shown to be replaceable by the weaker condition that A and A'A be irreducible, which is the sharpest possible replacement condition. Irreducibility of both A and A'A is shown to be equivalent to irreducibility of A^2 and A'A, which is the condition for a number of strict inequalities on the spectral radius found in Cohen, Friedland, Kato, and Kelly (1982). Such `two-fold irreducibility' is equivalent to joint irreducibility of A, A^2, A'A, and AA', or in combinatorial terms, equivalent to the directed graph of A being strongly connected and the simple bipartite graph of A being connected. Additional ancillary results are presented.
The classification of 231-avoiding permutations by descents and maximum drop
Published
• View Publication
• BIB
We study the number of 231-avoiding permutations with $j$-descents and maximum drop is less than or equal to $k$ which we denote by $a_{n,231,j}^{(k)}$. We show that $a_{n,231,j}^{(k)}$ also counts the number of Dyck paths of length $2n$ with $n-j$ peaks and height $\leq k+1$, and the number of ordered trees with $n$ edges, $j+1$ internal nodes, and of height $\leq k+1$. We show that the generating functions for the $a_{n,231,j}^{(k)}$s with $k$ fixed satisfy a simple recursion. We also use the combinatorics of ordered trees to prove new explicit formulas for $a_{n,231,j}^{(k)}$ as a function of $n$ in a number of special values of $j$ and $k$ and prove a simple recursion for the $a_{n,231,j}^{(k)}$s.
The smallest one-realization of a given set
In [The smallest one-realization of a given set, Electronic J. Combin. 19 (2012), $\sharp$P19], we determined the minimum number of vertices of one-realizations of a given finite set $S$, and constructed the corresponding mixed hypergraphs. In this paper, by finding some of their spanning sub-hypergraphs, we determine the minimum number of ${\cal D}$-deges (resp. ${\cal C}$-edges) of one-realizations of $S$. As a result, we partially solve an open problem proposed by Tuza and Voloshin in 2008.
Representation type of finite quiver Hecke algebras of type $A^{(2)}_{2\ell}$
Published
• View Publication
• BIB
We study cyclotomic quiver Hecke algebras $R^{Λ_0}(β)$ in type $A^{(2)}_{2\ell}$, where $Λ_0$ is the fundamental weight. The algebras are natural $A^{(2)}_{2\ell}$-type analogue of Iwahori-Hecke algebras associated with the symmetric group, from the viewpoint of the Fock space theory developed by the first author and his collaborators. We give a formula for the dimension of the algebra, and a simple criterion to tell the representation type. The criterion is a natural generalization of Erdmann and Nakano's for the Iwahori-Hecke algebras. Except for the examples coming from cyclotomic Hecke algebras, no results of these kind existed for cyclotomic quiver Hecke algebras, and our results are the first instances beyond the case of cyclotomic Hecke algebras.
Constructing combinatorial operads from monoids
Published in Formal Power Series and Algebraic Combinatorics, 229--240, 2012
• View Publication
• BIB
We introduce a functorial construction which, from a monoid, produces a set-operad. We obtain new (symmetric or not) operads as suboperads or quotients of the operad obtained from the additive monoid. These involve various familiar combinatorial objects: parking functions, packed words, planar rooted trees, generalized Dyck paths, Schröder trees, Motzkin paths, integer compositions, directed animals, etc. We also retrieve some known operads: the magmatic operad, the commutative associative operad, and the diassociative operad.
Construction d'opérades ensemblistes à partir de monoïdes
Published in Comptes-Rendus de l'Académie des Sciences, 350, Issue 11--12, 549--552, 2012
• View Publication
• BIB
We study a functorial construction from the category of monoids to the category of set-operads and we give some combinatorial examples of applications.
Vertex Nim played on graphs
Given a graph G with positive integer weights on the vertices, and a token placed on some current vertex u, two players alternately remove a positive integer weight from u and then move the token to a new current vertex adjacent to u. When the weight of a vertex is set to 0, it is removed and its neighborhood becomes a clique. The player making the last move wins. This adaptation of Nim on graphs is called Vertexnim, and slightly differs from the game Vertex NimG introduced by Stockman in 2004. Vertexnim can be played on both directed or undirected graphs. In this paper, we study the complexity of deciding whether a given game position of Vertexnim is winning for the first or second player. In particular, we show that for undirected graphs, this problem can be solved in quadratic time. Our algorithm is also available for the game Vertex NimG, thus improving Stockman's exptime algorithm. In the directed case, we are able to compute the winning strategy in polynomial time for several instances, including circuits or digraphs with self loops.
Drawing outerplanar graphs
Published in Computational Geometry 48.3 (2015): 260-267
• View Publication
• BIB
It is shown that for any outerplanar graph G there is a one to one mapping of the vertices of G to the plane, so that the number of distinct distances between pairs of connected vertices is at most three. This settles a problem of Carmi, Dujmovic, Morin and Wood. The proof combines (elementary) geometric, combinatorial, algebraic and probabilistic arguments.