Showing 20 papers (Total: 81756 papers, 47371 authors in database)
The poset of bipartitions
Published in Europ. J. Combin. 32 (2011), 1253-1281
• View Publication
• BIB
Bipartitional relations were introduced by Foata and Zeilberger in their characterization of relations which give rise to equidistribution of the associated inversion statistic and major index. We consider the natural partial order on bipartitional relations given by inclusion. We show that, with respect to this partial order, the bipartitional relations on a set of size $n$ form a graded lattice of rank $3n-2$. Moreover, we prove that the order complex of this lattice is homotopy equivalent to a sphere of dimension $n-2$. Each proper interval in this lattice has either a contractible order complex, or it is isomorphic to the direct product of Boolean lattices and smaller lattices of bipartitional relations.As a consequence, we obtain that the Möbius function of every interval is 0, 1, or -1. The main tool in the proofs is discrete Morse theory as developed by Forman, and an application of this theory to order complexes of graded posets, designed by Babson and Hersh, in the extended form of Hersh and Welker.
A Simple Proof and Some Difficult Examples for Hindman's Theorem
Published
• View Publication
• BIB
We give a short, explicit proof of Hindman's Theorem that in every finite coloring of the integers, there is an infinite set all of whose finite sums have the same color. We give several exampls of colorings of the integers which do not have computable witnesses to Hindman's Theorem.
Hindman's Theorem: An Ultrafilter Argument in Second Order Arithmetic
Published
• View Publication
• BIB
Hindman's Theorem is a prototypical example of a combinatorial theorem with a proof that uses the topology of the ultrafilters. We show how the methods of this proof, including topological arguments about ultrafilters, can be translated into second order arithmetic.
Forbidden substrings on weighted alphabets
In an influential 1981 paper, Guibas and Odlyzko constructed a generating function for the number of length n strings over a finite alphabet that avoid all members of a given set of forbidden substrings. Here we extend this result to the case in which the strings are weighted. This investigation was inspired by the problem of counting compositions of an integer n that avoid all compositions of a smaller integer m, a notion which arose from the consideration of one-sided random walks.
Labeled floor diagrams for plane curves
Published
• View Publication
• BIB
Floor diagrams are a class of weighted oriented graphs introduced by E. Brugalle and the second author. Tropical geometry arguments lead to combinatorial descriptions of (ordinary and relative) Gromov-Witten invariants of projective spaces in terms of floor diagrams and their generalizations. In a number of cases, these descriptions can be used to obtain explicit (direct or recursive) formulas for the corresponding enumerative invariants. In particular, we use this approach to enumerate rational curves of given degree passing through a collection of points on the complex plane and having maximal tangency to a given line. Another application of the combinatorial approach is a proof of a conjecture by P. Di Francesco -- C. Itzykson and L. Goettsche that in the case of a fixed cogenus, the number of plane curves of degree d passing through suitably many generic points is given by a polynomial in d, assuming that d is sufficiently large. Furthermore, the proof provides a method for computing these "node polynomials."
A labeled floor diagram is obtained by labeling the vertices of a floor diagram by the integers 1,...,d in a manner compatible with the orientation. We show that labeled floor diagrams of genus 0 are equinumerous to labeled trees, and therefore counted by the celebrated Cayley's formula. The corresponding bijections lead to interpretations of the Kontsevich numbers (the genus-0 Gromov-Witten invariants of the projective plane) in terms of certain statistics on trees.
Approximate groups, I: the torsion-free nilpotent case
Published
• View Publication
• BIB
We describe the structure of ``K-approximate subgroups'' of torsion-free nilpotent groups, paying particular attention to Lie groups.
Three other works, by Fisher-Katz-Peng, Sanders and Tao, have appeared which independently address related issues. We comment briefly on some of the connections between these papers.
Sofic equivalence relations
Published
• View Publication
• BIB
We introduce the notion of sofic measurable equivalence relations. Using them we prove that Connes' Embedding Conjecture as well as the Measurable Determinant Conjecture of Lück, Sauer and Wegner hold for treeable equivalence relations.
Simple Proofs of two Dirac-type Theorems Involving Connectivity
Simple and shorter proofs of two Dirac-type theorems involving connectivity are presented.
Grid classes and partial well order
Published
• View Publication
• BIB
We prove necessary and sufficient conditions on a family of (generalised) gridding matrices to determine when the corresponding permutation classes are partially well-ordered. One direction requires an application of Higman's Theorem and relies on there being only finitely many simple permutations in the only non-monotone cell of each component of the matrix. The other direction is proved by a more general result that allows the construction of infinite antichains in any grid class of a matrix whose graph has a component containing two or more non-monotone-griddable cells. The construction uses a generalisation of pin sequences to grid classes, together with a number of symmetry operations on the rows and columns of a gridding.
Shadows of ordered graphs
Isoperimetric inequalities have been studied since antiquity, and in recent decades they have been studied extensively on discrete objects, such as the hypercube. An important special case of this problem involves bounding the size of the shadow of a set system, and the basic question was solved by Kruskal (in 1963) and Katona (in 1968). In this paper we introduce the concept of the shadow \d\G of a collection \G of ordered graphs, and prove the following, simple-sounding statement: if n \in \N is sufficiently large, |V(G)| = n for each G \in \G, and |\G| < n, then |\d \G| \ge |\G|. As a consequence, we substantially strengthen a result of Balogh, Bollobás and Morris on hereditary properties of ordered graphs: we show that if ¶is such a property, and |¶_k| < k for some sufficiently large k \in \N, then |¶_n| is decreasing for k \le n < \infty.
Block-diagonalized rigidity matrices of symmetric frameworks and applications
In this paper, we give a complete self-contained proof that the rigidity matrix of a symmetric bar and joint framework (as well as its transpose) can be transformed into a block-diagonalized form using techniques from group representation theory. This theorem is basic to a number of useful and interesting results concerning the rigidity and flexibility of symmetric frameworks. As an example, we use this theorem to prove a generalization of the Fowler-Guest symmetry extension of Maxwell's rule which can be applied to both injective and non-injective realizations in all dimensions.
Coloured Hard-Dimers
An averaged generating function for coloured hard-dimers is being investigated by proving estimates for the latter. Furthermore, two different enumerating problems and their distributions are studied numerically.
A formula for the doubly-refined enumeration of alternating sign matrices
Published
• View Publication
• BIB
Zeilberger proved the Refined Alternating Sign Matrix Theorem, which gives a product formula, first conjectured by Mills, Robbins and Rumsey, for the number of alternating sign matrices with given top row. Stroganov proved an explicit formula for the number of alternating sign matrices with given top and bottom rows. Fischer and Romik considered a different kind of "doubly-refined enumeration" where one counts alternating sign matrices with given top two rows, and obtained partial results on this enumeration. In this paper we continue the study of the doubly-refined enumeration with respect to the top two rows, and use Stroganov's formula to prove an explicit formula for these doubly-refined enumeration numbers.
On two categorifications of the arrow polynomial for virtual knots
Published
• View Publication
• BIB
Two categorifications are given for the arrow polynomial, an extension of the Kauffman bracket polynomial for virtual knots. The arrow polynomial extends the bracket polynomial to infinitely many variables, each variable corresponding to an integer {\it arrow number} calculated from each loop in an oriented state summation for the bracket. The categorifications are based on new gradings associated with these arrow numbers, and give homology theories associated with oriented virtual knots and links via extra structure on the Khovanov chain complex. Applications are given to the estimation of virtual crossing number and surface genus of virtual knots and links.
Key Words: Jones polynomial, bracket polynomial, extended bracket polynomial, arrow polynomial, Miyazawa polynomial, Khovanov complex, Khovanov homology, Reidemeister moves, virtual knot theory, differential, partial differential, grading, dotted grading, vector grading.
Supercongruences for Apery-like numbers
Published in Advances in Applied Mathematics, 47, no. 3, (2011) 631-638
• View Publication
• BIB
It is known that the numbers which occur in Apery's proof of the irrationality of zeta(2) have many interesting congruence properties while the associated generating function satisfies a second order differential equation. We prove supercongruences for a generalization of numbers which arise in Beukers' and Zagier's study of integral solutions of Apery-like differential equations.
Q-system Cluster Algebras, Paths and Total Positivity
Published in SIGMA 6 (2010), 014, 36 pages
• View Publication
• BIB
In the first part of this paper, we provide a concise review of our method of solution of the $A_r$ Q-systems in terms of the partition function of paths on a weighted graph. In the second part, we show that it is possible to modify the graphs and transfer matrices so as to provide an explicit connection to the theory of planar networks introduced in the context of totally positive matrices by Fomin and Zelevinsky. As an illustration of the further generality of our method, we apply it to give a simple solution for the rank 2 affine cluster algebras studied by Caldero and Zelevinsky.
A generalization of the brauer algebra
We study two variations of the Brauer algebra $B_n(x)$. The first is the algebra $A_n(x)$, which generalizes the Brauer algebra by considering loops. The second is the algebra $L_n(x)$, the $A_n(x)$-subalgebra generated by diagrams without horizontal arcs. $A_n(x)$ and $L_n(x)$ have for $x \neq 0$ an hereditary-chain indexed by all integers. Following the ideas of Martin in the context of the partition algebra, and Doran et al. for the Brauer algebra, we study semisimplicity of $A_n(x)$ using restriction and induction in $A_n(x)$ and $L_n(x)$. Our main result is that $A_n(x)$ is semisimple if $x \notin Z$ and that $L_n(x)$ is semisimple if $x \neq 0$.
A Generalization of Kneser's Conjecture
Published
• View Publication
• BIB
We investigate some coloring properties of Kneser graphs. A star-free coloring is a proper coloring $c:V(G)\to \Bbb{N}$ such that no path with three vertices may be colored with just two consecutive numbers. The minimum positive integer $t$ for which there exists a star-free coloring $c: V(G) \to \{1,2,..., t\}$ is called the star-free chromatic number of $G$ and denoted by $χ_s(G)$. In view of Tucker-Ky Fan's lemma, we show that for any Kneser graph ${\rm KG}(n,k)$ we have $χ_s({\rm KG}(n,k))\geq \max\{2χ({\rm KG}(n,k))-10, χ({\rm KG}(n,k))\}$ where $n\geq 2k \geq 4$. Moreover, we show that $χ_s({\rm KG}(n,k))=2χ({\rm KG}(n,k))-2=2n-4k+2$ provided that $n \leq {8\over 3}k$. This gives a partial answer to a conjecture of [12]. Also, we conjecture that for any positive integers $n\geq 2k \geq 4$ we have $χ_s({\rm KG}(n,k))= 2χ({\rm KG}(n,k))-2$.
Enumeration of alternating sign matrices of even size (quasi)-invariant under a quarter-turn rotation
Published in FPSAC'09, Hagenberg : Autriche (2009)
• Search Publication
The aim of this work is to enumerate alternating sign matrices (ASM) that are quasi-invariant under a quarter-turn. The enumeration formula (conjectured by Duchon) involves, as a product of three terms, the number of unrestricted ASM's and the number of half-turn symmetric ASM's.
Filling the gap between Turán's theorem and Pósa's conjecture
Published in J. Lond. Math. Soc. (2) 84, no. 2, 269-302 (2011)
• View Publication
• BIB
Much of extremal graph theory has concentrated either on finding very small subgraphs of a large graph (Turan-type results) or on finding spanning subgraphs (Dirac-type results). In this paper we are interested in finding intermediate-sized subgraphs. We investigate minimum degree conditions under which a graph G contains squared paths and squared cycles of arbitrary specified lengths. We determine precise thresholds, assuming that the order of G is large. This extends results of Fan and Kierstead [J. Combin. Theory Ser. B 63 (1995), 55--64] and of Komlos, Sarkozy, and Szemeredi [Random Structures Algorithms 9 (1996), 193--211] concerning the containment of a spanning squared path and a spanning squared cycle, respectively. Our results show that such minimum degree conditions constitute not merely an interpolation between the corresponding Turan-type and Dirac-type results, but exhibit other interesting phenomena.