Showing 20 papers (Total: 83190 papers, 48060 authors in database)
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
• View Publication
• BIB
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).
A Pieri formula for Macdonald's spherical functions and polynomials
Published in Mathematische Zeitschrift, Volume 269, Issue 1 (2011), Page 281-292
• View Publication
• BIB
We present explicit Pieri formulas for Macdonald's spherical functions (or generalized Hall-Littlewood polynomials associated with root systems) and their $q$-deformation the Macdonald polynomials. For the root systems of type $A$, our Pieri formulas recover the well-known Pieri formulas for the Hall-Littlewood and Macdonald symmetric functions due to Morris and Macdonald as special cases.
A generalized Macdonald operator
Published in International Mathematics Research Notices, Vol. 2011, No. 15, pp. 3560-3574
• View Publication
• BIB
We present an explicit difference operator diagonalized by the Macdonald polynomials associated with an (arbitrary) admissible pair of irreducible reduced crystallographic root systems. By the duality symmetry, this gives rise to an explicit Pieri formula for the Macdonald polynomials in question. The simplest examples of our construction recover Macdonald's celebrated difference operators and associated Pieri formulas pertaining to the minuscule and quasi-minuscule weights. As further by-products, explicit expansions and Littlewood-Richardson type formulas are obtained for the Macdonald polynomials associated with a special class of small weights.
Stability anaylsis for k-wise intersecting families
Published in Stability analysis for $k$-wise intersecting families, Electronic Journal of Combinatorics, 18 (2011), no. 1, Paper 115, 8 pp
• View Publication
• BIB
We consider the following generalization of the seminal Erdős-Ko-Rado theorem, due to Frankl. For some k>=2, let F be a k-wise intersecting family of r-subsets of an n element set X, i.e. for any k sets F1,...,Fk in F, their intersection is nonempty. If r <= ((k-1)n)/k, then |F|<= {n-1 \choose r-1}. We prove a stability version of this theorem, analogous to similar results of Dinur-Friedgut, Keevash-Mubayi and others for the Erdős-Ko-Rado theorem. The technique we use is a generalization of Katona's circle method, initially employed by Keevash, which uses expansion properties of a particular Cayley graph of the symmetric group.
The Möbius function of partitions with restricted block size
Published in Advances in Applied Math. 39 (2007), 283--292
• View Publication
• BIB
We study filters in the partition lattice formed by restricting to partitions by type. The Möbius function is determined in terms of the easier-to-compute descent set statistics on permutations and the Möbius function of filters in the lattice of integer compositions. When the underlying integer partition is a knapsack partition, the Möbius function on integer compositions is determined by a topological argument. In this proof the permutahedron makes a cameo appearance.
A Furstenberg-Katznelson-Weiss type theorem on (d + 1)-point configurations in sets of positive density in finite field geometries
Published
• View Publication
• BIB
We show that if $E \subset \mathbb{F}_q^d$, the $d$-dimensional vector space over the finite field with $q$ elements, and $|E| \geq ρq^d$, where $ q^{-\frac{1}{2}}\ll ρ\leq 1$, then $E$ contains an isometric copy of at least $c ρ^{d-1} q^{d+1 \choose 2}$ distinct $(d+1)$-point configurations.
An inverse theorem for the Gowers U^{s+1}[N]-norm
Published
• View Publication
• BIB
We prove the inverse conjecture for the Gowers U^{s+1}[N]-norm for all s >= 3; this is new for s > 3, and the cases s<3 have also been previously established. More precisely, we establish that if f : [N] -> [-1,1] is a function with || f ||_{U^{s+1}[N]} > δthen there is a bounded-complexity s-step nilsequence F(g(n)Γ) which correlates with f, where the bounds on the complexity and correlation depend only on s and δ. From previous results, this conjecture implies the Hardy-Littlewood prime tuples conjecture for any linear system of finite complexity.
Erratum (added April 2024): a 6-page erratum is available as a separate PDF.
More Kolakoski Sequences
Published in INTEGERS Vol. 11B (2011): Proceedings of the Leiden Numeration Conference 2010
• Search Publication
Our goal in this article is to review the known properties of the mysterious Kolakoski sequence and at the same time look at generalizations of it over arbitrary two letter alphabets. Our primary focus will here be the case where one of the letters is odd while the other is even, since in the other cases the sequences in question can be rewritten as (well-known) primitive substitution sequences. We will look at word and letter frequencies, squares, palindromes and complexity.
Is the five-flow conjecture almost false?
Published in J. Combin. Theory B 103 (2013) 532-565
• View Publication
• BIB
The number of nowhere zero Z_Q flows on a graph G can be shown to be a polynomial in Q, defining the flow polynomial Φ_G(Q). According to Tutte's five-flow conjecture, Φ_G(5) > 0 for any bridgeless G.A conjecture by Welsh that Φ_G(Q) has no real roots for Q \in (4,\infty) was recently disproved by Haggard, Pearce and Royle. These authors conjectured the absence of roots for Q \in [5,\infty). We study the real roots of Φ_G(Q) for a family of non-planar cubic graphs known as generalised Petersen graphs G(m,k). We show that the modified conjecture on real flow roots is also false, by exhibiting infinitely many real flow roots Q>5 within the class G(nk,k). In particular, we compute explicitly the flow polynomial of G(119,7), showing that it has real roots at Q\approx 5.0000197675 and Q\approx 5.1653424423. We moreover prove that the graph families G(6n,6) and G(7n,7) possess real flow roots that accumulate at Q=5 as n\to\infty (in the latter case from above and below); and that Q_c(7)\approx 5.2352605291 is an accumulation point of real zeros of the flow polynomials for G(7n,7) as n\to\infty.
A new perspective on k-triangulations
Published
• View Publication
• BIB
We connect k-triangulations of a convex n-gon to the theory of Schubert polynomials. We use this connection to prove that the simplicial complex with k-triangulations as facets is a vertex-decomposable triangulated sphere, and we give a new proof of the determinantal formula for the number of k-triangulations.