Showing papers in "arXiv: Combinatorics in 2003"

The On-Line Encyclopedia of Integer Sequences

Abstract: The recent history of The On-Line Encyclopedia of Integer Sequences (or OEIS), describing developments since 2009, and discussing recent sequences involving interesting unsolved problems and in many cases spectacular illustrations. These include: Peaceable Queens, circles in the plane, the earliest cube-free binary sequence, the EKG and Yellowstone permutations, other lexicographically earliest sequences, iteration of number-theoretic functions, home primes and power trains, a memorable prime, a missing prime, Post's tag system, and coordination sequences.

A sum-product estimate in finite fields, and applications

Abstract: Let $A$ be a subset of a finite field $F := \Z/q\Z$ for some prime $q$. If $|F|^\delta 0$, then we prove the estimate $|A+A| + |A.A| \geq c(\delta) |A|^{1+\eps}$ for some $\eps = \eps(\delta) > 0$. This is a finite field analogue of a result of Erdos and Szemeredi. We then use this estimate to prove a Szemeredi-Trotter type theorem in finite fields, and obtain a new estimate for the Erdos distance problem in finite fields, as well as the three-dimensional Kakeya problem in finite fields.

Fuglede's conjecture is false in 5 and higher dimensions

Abstract: We give an example of a set $\Omega \subset \R^5$ which is a finite union of unit cubes, such that $L^2(\Omega)$ admits an orthonormal basis of exponentials $\{\frac{1}{|\Omega|^{1/2}} e^{2\pi i \xi_j \cdot x}: \xi_j \in \Lambda \}$ for some discrete set $\Lambda \subset \R^5$, but which does not tile $\R^5$ by translations. This answers a conjecture of Fuglede in the negative, at least in 5 and higher dimensions.

The Bergman complex of a matroid and phylogenetic trees

Abstract: We study the Bergman complex B(M) of a matroid M: a polyhedral complex which arises in algebraic geometry, but which we describe purely combinatorially. We prove that a natural subdivision of the Bergman complex of M is a geometric realization of the order complex of its lattice of flats. In addition, we show that the Bergman fan B'(K_n) of the graphical matroid of the complete graph K_n is homeomorphic to the space of phylogenetic trees T_n.

An introduction to the dimer model

Abstract: Lecture notes from a minicourse given at the ICTP in May 2002.

Finite metric spaces--combinatorics, geometry and algorithms

Abstract: Finite metric spaces arise in many different contexts. Enormous bodies of data, scientific, commercial and others can often be viewed as large metric spaces. It turns out that the metric of graphs reveals a lot of interesting information. Metric spaces also come up in many recent advances in the theory of algorithms. Finally, finite submetrics of classical geometric objects such as normed spaces or manifolds reflect many important properties of the underlying structure. In this paper we review some of the recent advances in this area.

Expansive Motions and the Polytope of Pointed Pseudo-Triangulations

Abstract: We introduce the polytope of pointed pseudo-triangulations of a point set in the plane, defined as the polytope of infinitesimal expansive motions of the points subject to certain constraints on the increase of their distances. Its 1-skeleton is the graph whose vertices are the pointed pseudo-triangulations of the point set and whose edges are flips of interior pseudo-triangulation edges.

The tropical totally positive Grassmannian

Abstract: Tropical algebraic geometry is the geometry of the tropical semiring (R, min, +). The theory of total positivity is a natural generalization of the study of matrices with all minors positive. In this paper we introduce the totally positive part of the tropicalization of an arbitrary affine variety, an object which has the structure of a polyhedral fan. We then investigate the case of the Grassmannian, denoting the resulting fan \Trop^+ Gr_{k,n}. We show that \Trop^+ Gr_{2,n} is the Stanley-Pitman fan, which is combinatorially the fan dual to the (type A_{n-3}) associahedron, and that \Trop^+ Gr_{3,6} and \Trop^+ Gr_{3,7} are closely related to the fans dual to the types D_4 and E_6 associahedra. These results are reminiscent of the results of Fomin and Zelevinsky, and Scott, who showed that the Grassmannian has a natural cluster algebra structure which is of types A_{n-3}, D_4, and E_6 for Gr_{2,n}, Gr_{3,6}, and Gr_{3,7}. We suggest a general conjecture about the positive part of the tropicalization of a cluster algebra.

Topological lower bounds for the chromatic number: Ah ierarchy

Abstract: This paper is a study of "topological" lower bounds for the chromatic number of a graph. Such a lower bound was first introduced by Lovasz in 1978, in his famous proof of the Kneser conjecture via Algebraic Topology. This conjecture stated that the Kneser graph KGm,n ,t he graph with allk-element subsets of {1,2,...,n} as vertices and all pairs of disjoint sets as edges, has chromatic number n! 2k+2. Several other proofs have since been published (by Barany, Schrijver, Dol'nikov, Sarkaria, Kr´iz, Greene, and others), all of them based on some version of the Borsuk-Ulam theorem, but otherwise quite di!erent. Each can be extended to yield some lower bound on the chromatic number of an arbitrary graph. (Indeed, we observe that every finite graph may be represented as a generalized Kneser graph, to which the above bounds apply.) We show that these bounds are almost linearly ordered by strength, the strongest one being essentially Lovasz' original bound in terms of a neighborhood complex. We also present and compare various definitions of a box complex of a graph (developing ideas of Alon, Frankl, and Lovasz and of Kr´iz). A suitable box complex is equivalent to Lovasz' complex, but the construction is simpler and functorial, mapping graphs with homomorphisms to Z2-spaces with Z2-maps.

Planar Minimally Rigid Graphs and Pseudo-Triangulations

Abstract: Pointed pseudo-triangulations are planar minimally rigid graphs embedded in the plane with pointed vertices (adjacent to an angle larger than 180 degrees. In this paper we prove that the opposite statement is also true, namely that planar minimally rigid graphs always admit pointed embeddings, even under certain natural topological and combinatorial constraints. We provide two proofs, which both yield efficient embedding algorithms. One based on Henneberg inductive constructions from combinatorial rigidity theory, the other on a generalization of Tutte's barycentric embeddings to directed graphs.

Enumeration of totally positive Grassmann cells

Abstract: Alex Postnikov has given a combinatorially explicit cell decomposition of the totally nonnegative part of a Grassmannian, denoted Gr_{kn}+, and showed that this set of cells is isomorphic as a graded poset to many other interesting graded posets. The main result of this paper is an explicit generating function which enumerates the cells in Gr_{kn}+ according to their dimension. As a corollary, we give a new proof that the Euler characteristic of Gr_{kn}+ is 1. Additionally, we use our result to produce a new q-analog of the Eulerian numbers, which interpolates between the Eulerian numbers, the Narayana numbers, and the binomial coefficients.

Complexes of graph homomorphisms

Abstract: $Hom(G,H)$ is a polyhedral complex defined for any two undirected graphs $G$ and $H$. This construction was introduced by Lov\'asz to give lower bounds for chromatic numbers of graphs. In this paper we initiate the study of the topological properties of this class of complexes. We prove that $Hom(K_m,K_n)$ is homotopy equivalent to a wedge of $(n-m)$-dimensional spheres, and provide an enumeration formula for the number of the spheres. As a corollary we prove that if for some graph $G$, and integers $m\geq 2$ and $k\geq -1$, we have $\varpi_1^k(\thom(K_m,G)) eq 0$, then $\chi(G)\geq k+m$; here $Z_2$-action is induced by the swapping of two vertices in $K_m$, and $\varpi_1$ is the first Stiefel-Whitney class corresponding to this action. Furthermore, we prove that a fold in the first argument of $Hom(G,H)$ induces a homotopy equivalence. It then follows that $Hom(F,K_n)$ is homotopy equivalent to a direct product of $(n-2)$-dimensional spheres, while $Hom(\bar{F},K_n)$ is homotopy equivalent to a wedge of spheres, where $F$ is an arbitrary forest and $\bar{F}$ is its complement.

Coefficients and roots of ehrhart polynomials

Abstract: The Ehrhart polynomial of a convex lattice polytope counts integer points in integral dilates of the polytope. We present new linear inequalities satisfied by the coeffi- cients of Ehrhart polynomials and relate them to known inequalities. We also investigate the roots of Ehrhart polynomials. We prove that for fixed d, there exists a bounded region of C containing all roots of Ehrhart polynomials of d-polytopes, and that all real roots of these polynomials lie in (−d, ⌊d/2⌋). In contrast, we prove that when the dimension d is not fixed the positive real roots can be arbitrarily large. We finish with an experimental investigation of the Ehrhart polynomials of cyclic polytopes and 0/1-polytopes.

On the rank of a tropical matrix

Abstract: This is a foundational paper in tropical linear algebra, which is linear algebra over the min-plus semiring. We introduce and compare three natural definitions of the rank of a matrix, called the Barvinok rank, the Kapranov rank and the tropical rank. We demonstrate how these notions arise naturally in polyhedral and algebraic geometry, and we show that they differ in general. Realizability of matroids plays a crucial role here. Connections to optimization are also discussed.

Vertex-partitioning into fixed additive induced-hereditary properties is NP-hard

Abstract: Can the vertices of a graph $G$ be partitioned into $A \cup B$, so that $G[A]$ is a line-graph and $G[B]$ is a forest? Can $G$ be partitioned into a planar graph and a perfect graph? The NP-completeness of these problems are just special cases of our result: if ${\cal P}$ and ${\cal Q}$ are additive induced-hereditary graph properties, then $({\cal P}, {\cal Q})$-colouring is NP-hard, with the sole exception of graph 2-colouring (the case where both $\cal P$ and $\cal Q$ are the set ${\cal O}$ of finite edgeless graphs). Moreover, $({\cal P}, {\cal Q})$-colouring is NP-complete iff ${\cal P}$- and ${\cal Q}$-recognition are both in NP. This proves a conjecture of Kratochv\'{\i}l and Schiermeyer.

The Cayley Trick and Triangulations of Products of Simplices

Abstract: We use the Cayley Trick to study polyhedral subdivisions of the product of two simplices. For arbitrary (fixed) l ≥ 2, we show that the numbers of regular and non-regular triangulations ofl × � k grow, respectively, as k �(k) and 2 (k 2 ) . For the special case of � 2 × � k , we relate triangulations to certain class of lozenge tilings. This allows us to compute the exact number of triangu- lations up to k = 15, show that the number grows as ek 2 /2+o(k

The Satisfiability Threshold of Random 3-SAT Is at Least 3.52

Abstract: We prove that a random 3-SAT instance with clause-to-variable density less than 3.52 is satisfiable with high probability. The proof comes through an algorithm which selects (and sets) a variable depending on its degree and that of its complement.

Polynomial versus Exponential Growth in Repetition-Free Binary Words

Abstract: It is known that the number of overlap-free binary words of length n grows polynomially, while the number of cubefree binary words grows exponentially. We show that the dividing line between polynomial and exponential growth is 7/3. More precisely, there are only polynomially many binary words of length n that avoid 7/3-powers, but there are exponentially many binary words of length n that avoid (7/3+)-powers. This answers an open question of Kobayashi from 1986.

Frobenius-Schur Functions

Abstract: We introduce and study a new basis in the algebra of symmetric functions. The elements of this basis are called the Frobenius—Schur functions (FS- functions, for short).

Ehrhart polynomials, simplicial polytopes, magic squares and a conjecture of Stanley

Abstract: It is proved that a certain symmetric sequence of nonnegative integers arising in the enumeration of magic squares of given size n by row sums or, equivalently, in the generating function of the Ehrhart polynomial of the polytope of doubly stochastic n by n matrices, is equal to the h-vector of a simplicial polytope and hence that it satisfies the conditions of the g-theorem. The unimodality of this sequance, which follows, was conjectured by Stanley (1983). Several generalizations are given.

Appell polynomials and their relatives

Abstract: This paper summarizes some known results about Appell polynomials and investigates their various analogs. The primary of these are the free Appell polynomials. In the multivariate case, they can be considered as natural analogs of the Appell polynomials among polynomials in non-commuting variables. They also fit well into the framework of free probability. For the free Appell polynomials, a number of combinatorial and "diagram" formulas are proven, such as the formulas for their linearization coefficients. An explicit formula for their generating function is obtained. These polynomials are also martingales for free Levy processes. For more general free Sheffer families, a necessary condition for pseudo-orthogonality is given. Another family investigated are the Kailath-Segall polynomials. These are multivariate polynomials, which share with the Appell polynomials nice combinatorial properties, but are always orthogonal. Their origins lie in the Fock space representations, or in the theory of multiple stochastic integrals. Diagram formulas are proven for these polynomials as well, even in the q-deformed case.

Realization of finite Abelian groups by nets in P^2

Abstract: In the paper, we study special configurations of lines and points in the complex projective plane, so called k-nets. We describe the role of these configurations in studies of cohomology on arrangement complements. Our most general result is the restriction on k - it can be only 3,4, or 5. The most interesting class of nets is formed by 3-nets that relate to finite geometries, latin squares, loops, etc. All known examples of 3-nets in P^2 realize finite Abelian groups. We study the problem what groups can be so realized. Our main result is that, except for groups with all invariant factors under 10, realizable groups are isomorphic to subgroups of a 2-torus. This follows from the `algebraization' result asserting that in the dual plane, the points dual to lines of a net lie on a plane cubic.

Polyhedral Cones of Magic Cubes and Squares

Abstract: Using computational algebraic geometry techniques and Hilbert bases of polyhedral cones we derive explicit formulas and generating functions for the number of magic squares and magic cubes.

Counting Integer flows in Networks

Abstract: This paper discusses new analytic algorithms and software for the enumeration of all integer flows inside a network. Concrete applications abound in graph theory \cite{Jaeger}, representation theory \cite{kirillov}, and statistics \cite{persi}. Our methods clearly surpass traditional exhaustive enumeration and other algorithms and can even yield formulas when the input data contains some parameters. These methods are based on the study of rational functions with poles on arrangements of hyperplanes.

Compression and Erdos-Ko-Rado graphs

Abstract: For a graph G and integer r\geq 1 we denote the collection of independent r-sets of G by I^{(r)}(G). If v\in V(G) then I_v^{(r)}(G) is the collection of all independent r-sets containing v. A graph G, is said to be r-EKR, for r\geq 1, iff no intersecting family A\subseteq I^{(r)}(G) is larger than max_{v\in V(G)}|I^{(r)}_v(G)|. There are various graphs which are known to have this property: the empty graph of order n\geq 2r (this is the celebrated Erdos-Ko-Rado theorem), any disjoint union of at least r copies of K_t for t\geq 2, and any cycle. In this paper we show how these results can be extended to other classes of graphs via a compression proof technique. In particular we show that any disjoint union of at least r complete graphs, each of order at least two, is r-EKR. We also show that paths are r-EKR for all r\geq 1.

Counting Lattice Points by means of the Residue Theorem

Abstract: We use the residue theorem to derive an expression for the number of lattice oints in a dilated n-dimensional tetrahedron with vertices at lattice points on each coordinate axis and the origin. This expression is known as the Ehrhart polynomial. We show that it is a polynomial in t, where t is the integral dilation parameter. We prove the Ehrhart-Macdonald reciprocity law for these tetrahedra, relating the Ehrhart polynomials of the interior and the closure of the tetrahedra. To illustrate our method, we compute the Ehrhart coefficient for codimension 2. Finally, we show how our ideas can be used to compute the Ehrhart polynomial for an arbitrary convex lattice polytope.

A polynomiality property for Littlewood-Richardson coefficients

Abstract: We present a polynomiality property of the Littlewood-Richardson coefficients c_{\lambda\mu}^{ u}. The coefficients are shown to be given by polynomials in \lambda, \mu and u on the cones of the chamber complex of a vector partition function. We give bounds on the degree of the polynomials depending on the maximum allowed number of parts of the partitions \lambda, \mu and u. We first express the Littlewood-Richardson coefficients as a vector partition function. We then define a hyperplane arrangement from Steinberg's formula, over whose regions the Littlewood-Richardson coefficients are given by polynomials, and relate this arrangement to the chamber complex of the partition function. As an easy consequence, we get a new proof of the fact that c_{N\lambda N\mu}^{N u} is given by a polynomial in N, which partially establishes the conjecture of King, Tollu and Toumazet that c_{N\lambda N\mu}^{N u} is a polynomial in N with nonnegative rational coefficients.

Plane partitions i: a generalization of macmahon's formula

Abstract: The number of plane partitions contained in a given box was shown by MacMa- hon (8) to be given by a simple product formula. By a simple bijection, this formula also enumerates lozenge tilings of hexagons of side-lengths a, b, c, a, b, c (in cyclic order) and an- gles of 120 degrees. We present a generalization in the case b = c by giving simple prod- uct formulas enumerating lozenge tilings of regions obtained from a hexagon of side-lengths a, b + k, b, a + k, b, b + k (where k is an arbitrary non-negative integer) and angles of 120 degrees by removing certain triangular regions along its symmetry axis.

On the size of $k$-fold sum and product sets of integers

Abstract: We prove the following theorem: for all positive integers $b$ there exists a positive integer $k$, such that for every finite set $A$ of integers with cardinality $|A| > 1$, we have either $$ |A + ... + A| \geq |A|^b$$ or $$ |A \cdot ... \cdot A| \geq |A|^b$$ where $A + ... + A$ and $A \cdot ... \cdot A$ are the collections of $k$-fold sums and products of elements of $A$ respectively. This is progress towards a conjecture of Erdos and Szemeredi on sum and product sets.

The polynomial part of a restricted partition function related to the Frobenius problem

Abstract: Given a set of positive integers A = {a_1,...,a_n}, we study the number p_A (t) of nonnegative integer solutions (m_1,...,m_n) to m_1 a_1 + ... m_n a_n = t. We derive an explicit formula for the polynomial part of p_A.