Showing 20 papers (Total: 82000 papers, 47479 authors in database)
Enumerative and asymptotic analysis of a moduli space
Published in Advances in Applied Mathematics 47 (2011), no 3, 575--588
• View Publication
• BIB
We focus on combinatorial aspects of the Hilbert series of the cohomology ring of the moduli space of stable pointed curves of genus zero. We show its graded Hilbert series satisfies an integral operator identity. This is used to give asymptotic behavior, and in some cases, exact values, of the coefficients themselves. We then study the total dimension, that is, the sum of the coefficients of the Hilbert series. Its asymptotic behavior involves the Lambert W function, which has applications to classical tree enumeration, signal processing and fluid mechanics.
On the non-existence of an R-labeling
Published in Order Volume 28, Number 3 (2011), 437-442
• View Publication
• BIB
We present a family of Eulerian posets which does not have any R-labeling. The result uses a structure theorem for R-labelings of the butterfly poset.
Partitions and Partial Matchings Avoiding Neighbor Patterns
Published
• View Publication
• BIB
We obtain the generating functions for partial matchings avoiding neighbor alignments and for partial matchings avoiding neighbor alignments and left nestings. We show that there is a bijection between partial matchings avoiding three neighbor patterns (neighbor alignments, left nestings and right nestings) and set partitions avoiding right nestings via an intermediate structure of integer compositions. Such integer compositions are known to be in one-to-one correspondence with self-modified ascent sequences or $3\bar{1}52\bar{4}$-avoiding permutations, as shown by Bousquet-Mélou, Claesson, Dukes and Kitaev.
Omnimosaics
An {\it omnimosaic} $O(n,k,a)$ is defined to be an $n\times n$ matrix, with entries from the set ${\cal A}=\{1,2,\...,a\}$, that contains, as a submatrix, each of the $a^{k^2}$ $k\times k$ matrices over ${\cal A}$. We provide constructions of omnimosaics and show that for fixed $a$ the smallest possible size $ω(k,a)$ of an $O(n,k,a)$ omnimosaic satisfies \[\frac{ka^{k/2}}{e}\le ω(k,a)\le \frac{ka^{k/2}}{e}(1+o(1))\] for a well-specified function $o(1)$ that tends to zero as $k\to\infty$.
Decomposition of Geometric Set Systems and Graphs
We study two decomposition problems in combinatorial geometry. The first part deals with the decomposition of multiple coverings of the plane. We say that a planar set is cover-decomposable if there is a constant m such that any m-fold covering of the plane with its translates is decomposable into two disjoint coverings of the whole plane. Pach conjectured that every convex set is cover-decomposable. We verify his conjecture for polygons. Moreover, if m is large enough, we prove that any m-fold covering can even be decomposed into k coverings. Then we show that the situation is exactly the opposite in 3 dimensions, for any polyhedron and any $m$ we construct an m-fold covering of the space that is not decomposable. We also give constructions that show that concave polygons are usually not cover-decomposable. We start the first part with a detailed survey of all results on the cover-decomposability of polygons.
The second part investigates another geometric partition problem, related to planar representation of graphs. The slope number of a graph G is the smallest number s with the property that G has a straight-line drawing with edges of at most s distinct slopes and with no bends. We examine the slope number of bounded degree graphs. Our main results are that if the maximum degree is at least 5, then the slope number tends to infinity as the number of vertices grows but every graph with maximum degree at most 3 can be embedded with only five slopes. We also prove that such an embedding exists for the related notion called slope parameter. Finally, we study the planar slope number, defined only for planar graphs as the smallest number s with the property that the graph has a straight-line drawing in the plane without any crossings such that the edges are segments of only s distinct slopes. We show that the planar slope number of planar graphs with bounded degree is bounded.
Asymptotic of geometrical navigation on a random set of points of the plane
Published
• View Publication
• BIB
A navigation on a set of points $S$ is a rule for choosing which point to move to from the present point in order to progress toward a specified target. We study some navigations in the plane where $S$ is a non uniform Poisson point process (in a finite domain) with intensity going to $+\infty$. We show the convergence of the traveller path lengths, the number of stages done, and the geometry of the traveller trajectories, uniformly for all starting points and targets, for several navigations of geometric nature. Other costs are also considered. This leads to asymptotic results on the stretch factors of random Yao-graphs and random $θ$-graphs.
Maximal fillings of moon polyominoes, simplicial complexes, and Schubert polynomials
Published
• View Publication
• BIB
We exhibit a canonical connection between maximal (0,1)-fillings of a moon polyomino avoiding north-east chains of a given length and reduced pipe dreams of a certain permutation. Following this approach we show that the simplicial complex of such maximal fillings is a vertex-decomposable, and thus shellable, sphere. In particular, this implies a positivity result for Schubert polynomials. For Ferrers shapes, we moreover construct a bijection to maximal fillings avoiding south-east chains of the same length which specializes to a bijection between k-triangulations of the n-gon and k-fans of Dyck paths of length 2(n-2k). Using this, we translate a conjectured cyclic sieving phenomenon for k-triangulations with rotation to the language of k-flagged tableaux with promotion.
The Rees product of posets
Published in Journal of Combinatorics 2 (2011), no. 2, 165--191
• View Publication
• BIB
We determine how the flag f-vector of any graded poset changes under the Rees product with the chain, and more generally, any t-ary tree. As a corollary, the Möbius function of the Rees product of any graded poset with the chain, and more generally, the t-ary tree, is exactly the same as the Rees product of its dual with the chain, respectively, t-ary chain. We then study enumerative and homological properties of the Rees product of the cubical lattice with the chain. We give a bijective proof that the Möbius function of this poset can be expressed as n times a signed derangement number. From this we derive a new bijective proof of Jonsson's result that the Möbius function of the Rees product of the Boolean algebra with the chain is given by a derangement number. Using poset homology techniques we find an explicit basis for the reduced homology and determine a representation for the reduced homology of the order complex of the Rees product of the cubical lattice with the chain over the symmetric group.
Simple Modules of Classical Linear Groups with Normal Closures of Maximal Torus Orbits
Published
• View Publication
• BIB
Let T be a maximal torus in a classical linear group G. In this paper we find all simple rational G-modules V such that for each vector v in V the closure of its T-orbit is a normal affine variety. For every other G-module we present a T-orbit with the non-normal closure. We use a combinatorial criterion of normality formulated in terms of the set of weights of a simple G-module. This work is a continuation of the previous work, where the same problem was solved in the case G=SL(n).
Point sets that minimize $(\le k)$-edges, 3-decomposable drawings, and the rectilinear crossing number of $K_{30}$
Published
• View Publication
• BIB
There are two properties shared by all known crossing-minimizing geometric drawings of $K_n$, for $n$ a multiple of 3. First, the underlying $n$-point set of these drawings has exactly $3\binom{k+2}{2}$ $(\le k)$-edges, for all $0\le k < n/3$. Second, all such drawings have the $n$ points divided into three groups of equal size; this last property is captured under the concept of 3-decomposability. In this paper we show that these properties are tightly related: every $n$-point set with exactly $3\binom{k+2}{2}$ $(\le k)$-edges for all $0\le k < n/3$, is 3-decomposable. As an application, we prove that the rectilinear crossing number of $K_{30}$ is 9726.
Dependence of Betti Numbers on Characteristic
Published
• View Publication
• BIB
We study the dependence of graded Betti numbers of monomial ideals on the characteristic of the base field. The examples we describe include bipartite ideals, Stanley--Reisner ideals of vertex-decomposable complexes and ideals with componentwise linear resolutions. We give a description of bipartite graphs and, using discrete Morse theory, provide a way of looking at the homology of arbitrary simplicial complexes through bipartite ideals. We also prove that the Betti table of a monomial ideal over the field of rational numbers can be obtained from the Betti table over any field by a sequence of consecutive cancellations.
Non-coherent Components of the Toric Hilbert Scheme
We want to understand the geometry of all irreducible components of the toric Hilbert scheme. Until now it is known that the coherent component is (up to normalisation) the toric variety associated to the state polytope of the toric ideal. For the non-coherent components it was only known that there exists such a polytope describing the normalisation. Using the local equations and various facts about toric Hilbert schemes, we will derive an explicit construction of the polytope corresponding to the normalisation of the underlying reduced structure of a given non-coherent component of the toric Hilbert scheme.
Rank Bounds for Design Matrices with Applications to Combinatorial Geometry and Locally Correctable Codes
Published
• View Publication
• BIB
A (q,k,t)-design matrix is an m x n matrix whose pattern of zeros/non-zeros satisfies the following design-like condition: each row has at most q non-zeros, each column has at least k non-zeros and the supports of every two columns intersect in at most t rows. We prove that the rank of any (q,k,t)-design matrix over a field of characteristic zero (or sufficiently large finite characteristic) is at least n - (qtn/2k)^2 . Using this result we derive the following applications:
(1) Impossibility results for 2-query LCCs over the complex numbers: A 2-query locally correctable code (LCC) is an error correcting code in which every codeword coordinate can be recovered, probabilistically, by reading at most two other code positions. Such codes have numerous applications and constructions (with exponential encoding length) are known over finite fields of small characteristic. We show that infinite families of such linear 2-query LCCs do not exist over the complex numbers.
(2) Generalization of results in combinatorial geometry: We prove a quantitative analog of the Sylvester-Gallai theorem: Let $v_1,...,v_m$ be a set of points in $\C^d$ such that for every $i \in [m]$ there exists at least $δm$ values of $j \in [m]$ such that the line through $v_i,v_j$ contains a third point in the set. We show that the dimension of $\{v_1,...,v_m \}$ is at most $O(1/δ^2)$. Our results generalize to the high dimensional case (replacing lines with planes, etc.) and to the case where the points are colored (as in the Motzkin-Rabin Theorem).
On the growth of restricted integer partition functions
Published
• View Publication
• BIB
We study the rate of growth of $p(n,S,M)$, the number of partitions of $n$ whose parts all belong to $S$ and whose multiplicities all belong to $M$, where $S$ (resp. $M$) are given infinite sets of positive (resp. nonnegative) integers. We show that if $M$ is all nonnegative integers then $p(n,S,M)$ cannot be of only polynomial growth, and that no sharper statement can be made. We ask: if $p(n,S,M)>0$ for all large enough $n$, can $p(n,S,M)$ be of polynomial growth in $n$?
Optimal asymptotic bounds for spherical designs
Published
• View Publication
• BIB
In this paper we prove the conjecture of Korevaar and Meyers: for each $N\ge c_dt^d$ there exists a spherical $t$-design in the sphere $S^d$ consisting of $N$ points, where $c_d$ is a constant depending only on $d$.
Numerical values of the growth rates of power-free languages
Published
• View Publication
• BIB
We present upper and two-sided bounds of the exponential growth rate for a wide range of power-free languages. All bounds are obtained with the use of algorithms previously developed by the author.
Connectedness of Strong k-Colour Graphs
For a positive integer k and a graph G, we consider proper vertex-colourings of G with k colours in which all k colours are actually used. We call such a colouring a strong k-colouring. The strong k-colour graph of G, S_k(G), is the graph that has all the strong k-colourings of G as its vertex set, and two colourings are adjacent in S_k(G) if they differ in colour on only one vertex of G. In this paper, we show some results related to the question : For what G and k is S_k(G) connected ?
Upper bound for the generalized repetition threshold
Let $A$ be an $a$-letter alphabet. We consider fractional powers of $A$-strings: if $x$ is a $n$-letter string, $x^r$ is a prefix of $xxxx...$ having length $nr$. Let $l$ be a positive integer. Ilie, Ochem and Shallit defined $R(a,l)$ as the infimum of reals $r>1$ such that there exist a sequence of $A$-letters without factors (substrings) that are fractional powers $x^{r'}$ where $x$ has length at least $l$ and $r'\ge r$. We prove that $1+\frac{1}{la}\le R(a,l)\le 1+\frac{c}{la}$ for some constant $c$.
Forbidden substrings, Kolmogorov complexity and almost periodic sequences
Published in Andrey Yu. Rumyantsev, Maxim A. Ushakov, Forbidden Substrings, Kolmogorov Complexity and Almost Periodic Sequences, Springer, Lecture Notes in Computer Science, Volume 3884 / 2006, STACS 2006, pp. 396--407
• Search Publication
Assume that for some $α<1$ and for all nutural $n$ a set $F_n$ of at most $2^{αn}$ "forbidden" binary strings of length $n$ is fixed. Then there exists an infinite binary sequence $ω$ that does not have (long) forbidden substrings. We prove this combinatorial statement by translating it into a statement about Kolmogorov complexity and compare this proof with a combinatorial one based on Laslo Lovasz local lemma. Then we construct an almost periodic sequence with the same property (thus combines the results of Levin and Muchnik-Semenov-Ushakov). Both the combinatorial proof and Kolmogorov complexity argument can be generalized to the multidimensional case.
Boxicity of Line Graphs
Published
• View Publication
• BIB
Boxicity of a graph H, denoted by box(H), is the minimum integer k such that H is an intersection graph of axis-parallel k-dimensional boxes in R^k. In this paper, we show that for a line graph G of a multigraph, box(G) <= 2Δ(\lceil log_2(log_2(Δ)) \rceil + 3) + 1, where Δdenotes the maximum degree of G. Since Δ<= 2(χ- 1), for any line graph G with chromatic number χ, box(G) = O(χlog_2(log_2(χ))). For the d-dimensional hypercube H_d, we prove that box(H_d) >= (\lceil log_2(log_2(d)) \rceil + 1)/2. The question of finding a non-trivial lower bound for box(H_d) was left open by Chandran and Sivadasan in [L. Sunil Chandran and Naveen Sivadasan. The cubicity of Hypercube Graphs. Discrete Mathematics, 308(23):5795-5800, 2008]. The above results are consequences of bounds that we obtain for the boxicity of fully subdivided graphs (a graph which can be obtained by subdividing every edge of a graph exactly once).