Showing papers in "arXiv: Combinatorics in 1996"

Proof of the Refined Alternating Sign Matrix Conjecture

Abstract: Mills, Robbins, and Rumsey conjectured, and Zeilberger proved, that the number of alternating sign matrices of order $n$ equals $A(n):={{1!4!7! ... (3n-2)!} \over {n!(n+1)! ... (2n-1)!}}$. Mills, Robbins, and Rumsey also made the stronger conjecture that the number of such matrices whose (unique) `1' of the first row is at the $r^{th}$ column, equals $A(n) {{n+r-2} \choose {n-1}}{{2n-1-r} \choose {n-1}}/ {{3n-2} \choose {n-1}}$. Standing on the shoulders of A.G. Izergin, V. E. Korepin, and G. Kuperberg, and using in addition orthogonal polynomials and $q$-calculus, this stronger conjecture is proved.

An Algorithmic Version of the Blow-up Lemma

Abstract: Recently we have developed a new method in graph theory based on the Regularity Lemma. The method is applied to find certain spanning subgraphs in dense graphs. The other main general tool of the method, beside the Regularity Lemma, is the so-called Blow-up Lemma. This lemma helps to find bounded degree spanning subgraphs in $\varepsilon$-regular graphs. Our original proof of the lemma is not algorithmic, it applies probabilistic methods. In this paper we provide an algorithmic version of the Blow-up Lemma. The desired subgraph, for an $n$-vertex graph, can be found in time $O(nM(n))$, where $M(n)=O(n^{2.376})$ is the time needed to multiply two $n$ by $n$ matrices with 0,1 entries over the integers. We show that the algorithm can be parallelized and implemented in $NC^5$.

On $k$-ordered Hamiltonian Graphs

Abstract: A Hamiltonian graph $G$ of order $n$ is $k$-ordered, $2\leq k \leq n$, if for every sequence $v_1, v_2, \ldots ,v_k$ of $k$ distinct vertices of $G$, there exists a Hamiltonian cycle that encounters $v_1, v_2, \ldots , v_k$ in this order. In this paper, answering a question of Ng and Schultz, we give a sharp bound for the minimum degree guaranteeing that a graph is a $k$-ordered Hamiltonian graph under some mild restrictions. More precisely, we show that there are $\varepsilon, n_0> 0$ such that if $G$ is a graph of order $n\geq n_0$ with minimum degree at least $\lceil \frac{n}{2} \rceil + \lfloor \frac{k}{2} \rfloor - 1$ and $2\leq k \leq \eps n$, then $G$ is a $k$-ordered Hamiltonian graph. It is also shown that this bound is sharp for every $2\leq k \leq \lfloor \frac{n}{2} \rfloor$.

A Tverberg-type result on multicolored simplices

Abstract: Let $P_1, P_2,\ldots, P_{d+1}$ be pairwise disjoint $n$-element point sets in general position in $d$-space. It is shown that there exist a point $O$ and suitable subsets $Q_i\subseteq P_i \; (i=1, 2, \ldots, d+1)$ such that $|Q_i|\geq c_d|P_i|$, and every $d$-dimensional simplex with exactly one vertex in each $Q_i$ contains $O$ in its interior. Here $c_d$ is a positive constant depending only on $d$.

Proper and Unit Trapezoid Orders and Graphs

Abstract: We show that the class of trapezoid orders in which no trapezoid strictly contains any other trapezoid strictly contains the class of trapezoid orders in which every trapezoid can be drawn with unit area. This is different from the case of interval orders, where the class of proper interval orders is exactly the same as the class of unit interval orders.

Combinatorics and topology of stratifications of the space of monic polynomials with real coefficients

Abstract: We study the stratification of the space of monic polynomials with real coefficients according to the number and multiplicities of real zeros. In the first part, for each of these strata we provide a purely combinatorial chain complex calculating (co)homology of its one-point compactification and describe the homotopy type by order complexes of a class of posets of compositions. In the second part, we determine the homotopy type of the one-point compactification of the space of monic polynomials of fixed degree which have only real roots (i.e., hyperbolic polynomials) and at least one root is of multiplicity $k$. More generally, we describe the homotopy type of the one-point compactification of strata in the boundary of the set of hyperbolic polynomials, that are defined via certain restrictions on root multiplicities, by order complexes of posets of compositions. In general, the methods are combinatorial and the topological problems are mostly reduced to the study of partially ordered sets.

The number of faces of a simple polytope

Abstract: Consider the question: Given integers $k N(d,k)$ the answer is yes if and only if $n\equiv 0\quad \pmod {G(d,k)}$. Furthermore, a formula for $G(d,k)$ is given, showing that e.g. $G(d,k)=1$ if $k\ge \left\lfloor\frac{d+1}{2}\right\rfloor$ or if both $d$ and $k$ are even, and also in some other cases (meaning that all numbers beyond $N(d,k)$ occur as the number of $k$-faces of some simple $d$-polytope). This question has previously been studied only for the case of vertices ($k=0$), where Lee \cite{Le} proved the existence of $N(d,0)$ (with $G(d,0)=1$ or $2$ depending on whether $d$ is even or odd), and Prabhu \cite{P2} showed that $N(d,0) \le cd\sqrt {d}$. We show here that asymptotically the true value of Prabhu's constant is $c=\sqrt2$ if $d$ is even, and $c=1$ if $d$ is odd.

Trapezoid Order Classification

Abstract: We show the nonequivalence of combinations of several natural geometric restrictions on trapezoid representations of trapezoid orders. Each of the properties unit parallelogram, unit trapezoid and proper parallelogram, unit trapezoid and parallelogram, unit trapezoid, proper parallelogram, proper trapezoid and parallelogram, proper trapezoid, parallelogram, and trapezoid is shown to be distinct from each of the others. Additionally, interval orders are shown to be both unit trapezoid and proper parallelogram orders.