arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 81756 papers, 47371 authors in database)
2009-01-26 v4
Choice-memory tradeoff in allocations
Published in Annals of Applied Probability 2010, Vol. 20, No. 4, 1470-1511 • View PublicationBIB
In the classical balls-and-bins paradigm, where $n$ balls are placed independently and uniformly in $n$ bins, typically the number of bins with at least two balls in them is $Θ(n)$ and the maximum number of balls in a bin is $Θ(\frac{\log n}{\log \log n})$. It is well known that when each round offers $k$ independent uniform options for bins, it is possible to typically achieve a constant maximal load if and only if $k=Ω(\log n)$. Moreover, it is possible w.h.p. to avoid any collisions between $n/2$ balls if $k>\log_2n$. In this work, we extend this into the setting where only $m$ bits of memory are available. We establish a tradeoff between the number of choices $k$ and the memory $m$, dictated by the quantity $km/n$. Roughly put, we show that for $km\gg n$ one can achieve a constant maximal load, while for $km\ll n$ no substantial improvement can be gained over the case $k=1$ (i.e., a random allocation). For any $k=Ω(\log n)$ and $m=Ω(\log^2n)$, one can achieve a constant load w.h.p. if $km=Ω(n)$, yet the load is unbounded if $km=o(n)$. Similarly, if $km>Cn$ then $n/2$ balls can be allocated without any collisions w.h.p., whereas for $km<εn$ there are typically $Ω(n)$ collisions. Furthermore, we show that the load is w.h.p. at least $\frac{\log(n/m)}{\log k+\log\log(n/m)}$. In particular, for $k\leq\operatorname {polylog}(n)$, if $m=n^{1-δ}$ the optimal maximal load is $Θ(\frac{\log n}{\log\log n})$ (the same as in the case $k=1$), while $m=2n$ suffices to ensure a constant load. Finally, we analyze nonadaptive allocation algorithms and give tight upper and lower bounds for their performance.
2009-01-26 v2
On the Limiting Shape of Young Tableaux Associated With Inhomogeneous Random Words
The limiting shape of the random Young diagrams associated with an inhomogeneous random word is identified as a multidimensional Brownian functional. This functional is identical in law to the spectrum of a random matrix. The Poissonized word problem is also briefy studied, and the asymptotic behavior of the shape analyzed.
2009-01-26
Non-Convexity
Suppose S is a planar set. Two points a,b in S 'see each other' via S if [a,b] is included in S . F. Valentine proved in 1957 that if S is closed, and if for every three points of S, at least two see each other via S, then S is a union of three convex sets. The pentagonal star shows that the number three is best possible. We discard the condition that S is closed and show that S is a union of (at most) six convex sets. The number six is best possible.
2009-01-26 v2
Growth Diagrams for the Schubert Multiplication
Published • View PublicationBIB
We present a partial generalization to Schubert calculus on flag varieties of the classical Littlewood-Richardson rule, in its version based on Schuetzenberger's jeu de taquin. More precisely, we describe certain structure constants expressing the product of a Schubert and a Schur polynomial. We use a generalization of Fomin's growth diagrams (for chains in Young's lattice of partitions) to chains of permutations in the so-called k-Bruhat order. Our work is based on the recent thesis of Beligan, in which he generalizes the classical plactic structure on words to chains in certain intervals in k-Bruhat order. Potential applications of our work include the generalization of the S_3-symmetric Littlewood-Richardson rule due to Thomas and Yong, which is based on Fomin's growth diagrams.
An improved linear bound on the number of perfect matchings in cubic graphs
Published in European J. Combin. 31 (2010), 1316-1334 • View PublicationBIB
We show that every cubic bridgeless graph with n vertices has at least 3n/4-10 perfect matchings. This is the first bound that differs by more than a constant from the maximal dimension of the perfect matching polytope.
Dimension, depth and zero-divisors of the algebra of basic $k$-covers of a graph
Published in Le Matematiche 63 (2008), 117-156 • Search Publication
We study the basic $k$-covers of a bipartite graph $G$; the algebra $\AG$ they span, first studied by Herzog, is the fiber cone of the Alexander dual of the edge ideal. We characterize when $\AG$ is a domain in terms of the combinatorics of $G$; if follows from a result of Hochster that when $\AG$ is a domain, it is also Cohen-Macaulay. We then study the dimension of $\AG$ by introducing a geometric invariant of bipartite graphs, the "graphical dimension". We show that the graphical dimension of $G$ is not larger than $\dim(\AG)$, and equality holds in many cases (e.g. when $G$ is a tree, or a cycle). Finally, we discuss applications of this theory to the arithmetical rank.
2009-01-25 v3
Unmixed Graphs that are Domains
Published in Comm. Alg. vol. 39 n. 7 (2011), pp. 2260-2267 • View PublicationBIB
Given an arbitrary graph G, we study its basic covers algebra, which is the symbolic fiber cone of the Alexander dual of the edge ideal of G. Extending results of Villarreal and Benedetti-Constantinescu-Varbaro, valid only in the case when G is bipartite, we characterize in a combinatorial fashion the situations when: 1) the basic covers algebra is a domain, and 2) it is a domain and in addition (the edge ideal of) G is unmixed. It turns out that the last result gives a complete characterization of those graphs for which any symbolic power of the edge ideal is generated by monomials of the same degree.
2009-01-25
Locally complete intersection Stanley-Reisner ideals
Published • View PublicationBIB
In this paper, we prove that the Stanley--Reisner ideal of any connected simplicial complex of dimension $\ge 2$ that is locally complete intersection is a complete intersection ideal. As an application, we show that the Stanley--Reisner ideal whose powers are Buchsbaum is a complete intersection ideal.
2009-01-25
Large almost monochromatic subsets in hypergraphs
Published • View PublicationBIB
We show that for all $\ell$ and $ε>0$ there is a constant $c=c(\ell,ε)>0$ such that every $\ell$-coloring of the triples of an $N$-element set contains a subset $S$ of size $c\sqrt{\log N}$ such that at least $1-ε$ fraction of the triples of $S$ have the same color. This result is tight up to the constant $c$ and answers an open question of Erdős and Hajnal from 1989 on discrepancy in hypergraphs. For $\ell \geq 4$ colors, it is known that there is an $\ell$-coloring of the triples of an $N$-element set whose largest monochromatic subset has cardinality only $Θ(\log \log N)$. Thus, our result demonstrates that the maximum almost monochromatic subset that an $\ell$-coloring of the triples must contain is much larger than the corresponding monochromatic subset. This is in striking contrast with graphs, where these two quantities have the same order of magnitude. To prove our result, we obtain a new upper bound on the $\ell$-color Ramsey numbers of complete multipartite 3-uniform hypergraphs, which answers another open question of Erdős and Hajnal.
2009-01-24 v2
Growth Rates and Explosions in Sandpiles
Published in J. Stat. Phys. 138, 143--159 (2010) • View PublicationBIB
We study the abelian sandpile growth model, where n particles are added at the origin on a stable background configuration in Z^d. Any site with at least 2d particles then topples by sending one particle to each neighbor. We find that with constant background height h <= 2d-2, the diameter of the set of sites that topple has order n^{1/d}. This was previously known only for h<d. Our proof uses a strong form of the least action principle for sandpiles, and a novel method of background modification. We can extend this diameter bound to certain backgrounds in which an arbitrarily high fraction of sites have height 2d-1. On the other hand, we show that if the background height 2d-2 is augmented by 1 at an arbitrarily small fraction of sites chosen independently at random, then adding finitely many particles creates an explosion (a sandpile that never stabilizes).
2009-01-23 v2
Certain lattice neighboring from Barnes-Wall lattice and some laminated lattices
We give classifications of integral lattices which include the Barnes-Wall lattice $BW_{16}$ or laminated lattices of dimension $1 \leqslant d \leqslant 8$ and of minimum 4. Also, we give certain lattice neighboring from each lattice. Furthermore, we study spherical designs and the other properties.
2009-01-23
Logconcave Random Graphs
Published in Electronic Journal of Combinatorics 17 (2010) R108 • View PublicationBIB
We propose the following model of a random graph on n vertices. Let F be a distribution in R_+^{n(n-1)/2} with a coordinate for every pair i$ with 1 \le i,j \le n. Then G_{F,p} is the distribution on graphs with n vertices obtained by picking a random point X from F and defining a graph on n vertices whose edges are pairs ij for which X_{ij} \le p. The standard Erdős-Rényi model is the special case when F is uniform on the 0-1 unit cube. We examine basic properties such as the connectivity threshold for quite general distributions. We also consider cases where the X_{ij} are the edge weights in some random instance of a combinatorial optimization problem. By choosing suitable distributions, we can capture random graphs with interesting properties such as triangle-free random graphs and weighted random graphs with bounded total weight.
2009-01-23
Large zero-free subsets of Z/pZ
Published • View PublicationBIB
A finite subset $A$ of an abelian group $G$ is said to be zero-free if the identity element of $G$ cannot be written as a sum of distinct elements from $A$. In this article we study the structure of zero-free subsets of $Z/pZ$ the cardinality of which is close to largest possible. In particular, we determine the cardinality of the largest zero-free subset of $Z/pZ$, when $p$ is a sufficiently large prime.
Catalan numbers and relations
We define the notion of a Catalan pair (which is a pair of binary relations (S,R) satisfying certain axioms) with the aim of giving a common language to most of the combinatorial interpretations of Catalan numbers. We show, in particular, that the second component R uniquely determines the pair, and we give a characterization of R in terms of forbidden configurations. We also propose some generalizations of Catalan pairs arising from some slight modifications of (some of the) axioms.
2009-01-22 v2
Flag enumerations of matroid base polytopes
Published • View PublicationBIB
In this paper, we study flag structures of matroid base polytopes. We describe faces of matroid base polytopes in terms of matroid data, and give conditions for hyperplane splits of matroid base polytopes. Also, we show how the cd-index of a polytope can be expressed when a polytope is split by a hyperplane, and apply these to the cd-index of a matroid base polytope of a rank 2 matroid.
2009-01-22
Embedding large subgraphs into dense graphs
What conditions ensure that a graph G contains some given spanning subgraph H? The most famous examples of results of this kind are probably Dirac's theorem on Hamilton cycles and Tutte's theorem on perfect matchings. Perfect matchings are generalized by perfect F-packings, where instead of covering all the vertices of G by disjoint edges, we want to cover G by disjoint copies of a (small) graph F. It is unlikely that there is a characterization of all graphs G which contain a perfect F-packing, so as in the case of Dirac's theorem it makes sense to study conditions on the minimum degree of G which guarantee a perfect F-packing. The Regularity lemma of Szemeredi and the Blow-up lemma of Komlos, Sarkozy and Szemeredi have proved to be powerful tools in attacking such problems and quite recently, several long-standing problems and conjectures in the area have been solved using these. In this survey, we give an outline of recent progress (with our main emphasis on F-packings, Hamiltonicity problems and tree embeddings) and describe some of the methods involved.
2009-01-22 v2
A componentwise version of Terao's conjecture
This paper has been withdrawn by the authors due to crucial error in the main proof (located in Section 2.4). The authors apologize for any inconveniences.
2009-01-22 v3
The ladder crystal
Published in Electronic Journal of Combinatorics, Volume 17 (1), 2010 • View PublicationBIB
n this paper I introduce a new description of the crystal $B(Λ_0)$ of $\hat{\mathfrak{sl}_\ell}$. As in the Misra-Miwa model of $B(Λ_0)$, the nodes of this crystal are indexed by partitions and the $i$-arrows correspond to adding a box of residue $i$. I then show that the two models are equivalent by interpreting the operation of regularization introduced by James as a crystal isomorphism.
2009-01-21 v2
Dejean's conjecture holds for n>=27
Published • View PublicationBIB
We show that Dejean's conjecture holds for n>=27. This brings the final resolution of the conjecture by the approach of Moulin Ollagnier within range of the computationally feasible.
2009-01-21 v2
Symmetry and colorings: Some results and open problems
Published in Izv. Gomel Univ. Voprosy Algebry. 2001. Issue 4(17). P.5--16 • Search Publication
We survey some principal results and open problems related to colorings of algebraic and geometric objects endowed with symmetries.