Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Shelling and triangulating the (extra)ordinary polytope
Published
• View Publication
• BIB
Ordinary polytopes were introduced by Bisztriczky as a (nonsimplicial) generalization of cyclic polytopes. We show that the colex order of facets of the ordinary polytope is a shelling order. This shelling shares many nice properties with the shellings of simplicial polytopes. We also give a shallow triangulation of the ordinary polytope, and show how the shelling and the triangulation are used to compute the toric h-vector of the ordinary polytope. As one consequence, we get that the contribution from each shelling component to the h-vector is nonnegative. Another consequence is a combinatorial proof that the entries of the h-vector of any ordinary polytope are simple sums of binomial coefficients.
Shuffling by semi-random transpositions
Published
• View Publication
• BIB
In the cyclic-to-random shuffle, we are given n cards arranged in a circle. At step k, we exchange the k'th card along the circle with a uniformly chosen random card. The problem of determining the mixing time of the cyclic-to-random shuffle was raised by Aldous and Diaconis in 1986. Recently, Mironov used this shuffle as a model for the cryptographic system known as ``RC4'' and proved an upper bound of O(n log n) for the mixing time. We prove a matching lower bound, thus establishing that the mixing time is indeed of order $Θ(n \log n)$. We also prove an upper bound of O(n log n) for the mixing time of any ``semi-random transposition shuffle'', i.e., any shuffle in which a random card is exchanged with another card chosen according to an arbitrary (deterministic or random) rule. To prove our lower bound, we exhibit an explicit complex-valued test function which typically takes very different values for permutations arising from the cyclic-to-random-shuffle and for uniform random permutations; we expect that this test function may be useful in future analysis of RC4. Perhaps surprisingly, the proof hinges on the fact that the function exp(z)-1 has nonzero fixed points in the complex plane. A key insight from our work is the importance of complex analysis tools for uncovering structure in nonreversible Markov chains.
On the number of Tverberg partitions in the prime power case
Published
• View Publication
• BIB
We give an extension of the lower bound of Vucic and Zivaljevic for the number of Tverberg partitions from the prime to the prime power case. Our proof is inspired by the Z_p-index version of the proof in Matousek's book "Using the Borsuk-Ulam Theorem" and uses Volovikov's Lemma. Analogously, one obtains an extension of the lower bound for the number of different splittings of a generic necklace to the prime power case.
A Non-Messing-Up Phenomenon for Posets
Published
• View Publication
• BIB
We classify finite posets with a particular sorting property, generalizing a result for rectangular arrays. Each poset is covered by two sets of disjoint saturated chains such that, for any original labeling, after sorting the labels along both sets of chains, the labels of the chains in the first set remain sorted. We also characterize posets with more restrictive sorting properties.
On sums of binomial coefficients and their applications
Published in Discrete Math. 308(2008), 4231-4245
• View Publication
• BIB
In this paper we study recurrences concerning the combinatorial sum $[n,r]_m=\sum_{k\equiv r (mod m)}\binom {n}{k}$ and the alternate sum $\sum_{k\equiv r (mod m)}(-1)^{(k-r)/m}\binom{n}{k}$, where m>0, $n\ge 0$ and r are integers. For example, we show that if $n\ge m-1$ then $$\sum_{i=0}^{\lfloor(m-1)/2\rfloor}(-1)^i\binom{m-1-i}i [n-2i,r-i]_m=2^{n-m+1}.$$ We also apply such results to investigate Bernoulli and Euler polynomials. Our approach depends heavily on an identity established by the author [Integers 2(2002)].
Weak Bruhat order on the set of faces of the permutahedra
Published
• View Publication
• BIB
We extend the weak Bruhat order of a finite Coxeter group to the set of its coclasses, modulo parabolic standard subgroups. We use this order to describe associative algebra structures on the vector spaces spanned by the faces of permutahedra on one side, and on the vector space spanned by the planar rooted trees, on the other one.
An Invitation to the Generalized Saturation Conjecture
Published
• View Publication
• BIB
We report about some results, interesting examples, problems and conjectures revolving around the parabolic Kostant partition functions, the parabolic Kostka polynomials and ``saturation'' properties of several generalizations of the Littlewood--Richardson numbers.
Statistics on Wreath Products and Generalized Binomial-Stirling Numbers
Published
• View Publication
• BIB
Various statistics on wreath products are defined via canonical words, "colored" right to left minima and "colored" descents. It is shown that refined counts with respect to these statistics have nice recurrence formulas of binomial-Stirling type. These extended Stirling numbers determine (via matrix inversion) dual systems, which are also shown to have combinatorial realizations within the wreath product. The above setting also gives rise to MacMahon type equi-distribution theorem over subsets with prescribed statistics.
Subdominant matroid ultrametrics
Published
• View Publication
• BIB
Given a matroid M on the ground set E, the Bergman fan B(M), or space of M-ultrametrics, is a polyhedral complex in R^E which arises in several different areas, such as tropical algebraic geometry, dynamical systems, and phylogenetics. Motivated by the phylogenetic situation, we study the following problem: Given a point w in R^E, we wish to find an M-ultrametric which is closest to it in the l_infty metric.
The solution to this problem follows easily from the existence of the subdominant M-ultrametric: a componentwise maximum M-ultrametric which is componentwise smaller than w. A procedure for computing it is given, which brings together the points of view of matroid theory and tropical geometry.
When the matroid in question is the graphical matroid of the complete graph K_n, the Bergman fan B(K_n) parameterizes the equidistant phylogenetic trees with n leaves. In this case, our results provide a conceptual explanation for Chepoi and Fichet's method for computing the tree that most closely matches measured data.
Affine crystals of type $D_n^{(1)}$ and Young walls
Published
• View Publication
• BIB
We give a new realization of arbitrary level perfect crystals and arbitrary level irreducible highest weight crystals of type $D_n^{(1)}$, in the language of Young walls. The notions of splitting of blocks and slices play crucial roles in the construction of crystals. The perfect crystals are realized as the set of equivalence classes of slices. And the irreducible highest weight crystals are realized as the affine crystals consisting of reduced proper Young walls which, in turn, are concatenations of slices.
Asymptotic Improvement of the Gilbert-Varshamov Bound on the Size of Binary Codes
Published in IEEE TRANSACTIONS ON INFORMATION THEORY, vol. 50, No. 8, pp. 1655-1664, August 2004 (http://www.ieeexplore.ieee.org/iel5/18/29198/01317112.pdf)
• View Publication
• BIB
Given positive integers $n$ and $d$, let $A_2(n,d)$ denote the maximum size of a binary code of length $n$ and minimum distance $d$. The well-known Gilbert-Varshamov bound asserts that $A_2(n,d) \geq 2^n/V(n,d-1)$, where $V(n,d) = \sum_{i=0}^{d} {n \choose i}$ is the volume of a Hamming sphere of radius $d$. We show that, in fact, there exists a positive constant $c$ such that $$ A_2(n,d) \geq c \frac{2^n}{V(n,d-1)} \log_2 V(n,d-1) $$ whenever $d/n \le 0.499$. The result follows by recasting the Gilbert- Varshamov bound into a graph-theoretic framework and using the fact that the corresponding graph is locally sparse. Generalizations and extensions of this result are briefly discussed.
On the refined 3-enumeration of alternating sign matrices
Published in Adv.Appl.Math. 34 (2005) 798-811
• View Publication
• BIB
An explicit expression for the numbers $A(n,r;3)$ describing the refined 3-enumeration of alternating sign matrices is given. The derivation is based on the recent results of Stroganov for the corresponding generating function. As a result, $A(n,r;3)$'s are represented as 1-fold sums which can also be written in terms of terminating ${}_4F_3$ series of argument 1/4.
From graphs to tensegrity structures: Geometric and symbolic approaches
Published in Publicacions Matemàtiques 50:2 (2006), 279-299
• View Publication
• BIB
A form-finding problem for tensegrity structures is studied; given an abstract graph, we show an algorithm to provide a necessary condition for it to be the underlying graph of a tensegrity in $\mathbb{R}^d$ (typically $d=2,3$) with vertices in general position. Furthermore, for a certain class of graphs our algorithm allows to obtain necessary and sufficient conditions on the relative position of the vertices in order to underlie a tensegrity, for what we propose both a geometric and a symbolic approach.
Ranking patterns of the unfolding model and arrangements
Published in Annals of Combinatorics, 10 (2006), 219-235
• View Publication
• BIB
In the unidimensional unfolding model, given m objects in general position there arise 1+m(m-1)/2 rankings. The set of rankings is called the ranking pattern of the m given objects. By changing these m objects, we can generate various ranking patterns. It is natural to ask how many ranking patterns can be generated and what is the probability of each ranking pattern when the objects are randomly chosen? These problems are studied by introducing a new type of arrangement called mid-hyperplane arrangement and by counting cells in its complement.
On the order of countable graphs
Published in European Journal of Combinatorics, 24(2003):649-663
• Search Publication
A set of graphs is said to be independent if there is no homomorphism between distinct graphs from the set. We consider the existence problems related to the independent sets of countable graphs. While the maximal size of an independent set of countable graphs is 2^omega the On Line problem of extending an independent set to a larger independent set is much harder. We prove here that singletons can be extended (``partnership theorem''). While this is the best possible in general, we give structural conditions which guarantee independent extensions of larger independent sets. This is related to universal graphs, rigid graphs and to the density problem for countable graphs.
Quadrangularity in Tournaments
The pattern of a matrix M is a (0,1)-matrix which replaces all non-zero entries of M with a 1. There are several contexts in which studying the patterns of orthogonal matrices can be useful. One necessary condition for a matrix to be orthogonal is a property known as combinatorial orthogonality. If the adjacency matrix of a directed graph forms a pattern of a combinatorially orthogonal matrix, we say the digraph is quadrangular. We look at the quadrangular property in tournaments and regular tournaments.
Introduction to double Hecke algebras
Published
• View Publication
• BIB
This paper is based on the introduction to the monograph ``Double affine Hecke algebras'' to be published by Cambridge University Press. The connections with Knizhnik-Zamolodchikov equations, Kac-Moody algebras, tau-function, harmonic analysis on symmetric spaces, and special functions are discussed. The rank one case is considered in detail including the classification of Verlinde algebras and their deformations, Gauss-Selberg integrals and Gaussian sums, a topological interpretation of DAHA, a relation of the rational DAHA to sl(2), and applications to the diagonal coinvariants. The last three sections are devoted to relations of the general DAHAs to the p-adic affine Hecke algebras, trigonometric and rational DAHAs, and applications to the Harish-Chandra theory. The purpose of this introduction is a demonstration that DAHA can be considered as a natural formalization of the concept of the Fourier transform in mathematics and physics.
A tropical morphism related to the hyperplane arrangement of the complete bipartite graph
We undertake a combinatorial study of the piecewise linear map g : R^{2m+2n} --> R^{mn} which assigns to the four vectors a, A in R^m and b, B in R^n the m by n matrix given by g_{ij} = min (a_i + b_j, A_i+B_j). This map arises naturally in Pachter and Sturmfels's work on the tropical geometry of statistical models. The image of g has been a subject of recent interest; it is the positive part of the tropical algebraic variety which parameterizes n-tuples of points on a tropical line in m-space.
The domains of linearity of g are the regions of the real hyperplane arrangement A_{m,n}, corresponding to the complete bipartite graph K_{m,n}. We explain how the images of (some of) the regions provide two polyhedral subdivisions of the image of g, one of which is a refinement of the other. The finer subdivision is particularly nice enumeratively: it has 2 {m \choose 2} {n \choose 2} r_{m-2,n-2} maximum-dimensional cells, where r_{m-2,n-2} is the number of regions of the arrangement A_{m-2,n-2}.
Deformed universal characters for classical and affine algebras
Published
• View Publication
• BIB
Creation operators are given for the three distinguished bases of the type BCD universal character ring of Koike and Terada yielding an elegant way of treating computations for all three types in a unified manner. Deformed versions of these operators create symmetric function bases whose expansion in the universal character basis, has polynomial coefficients in $q$ with non-negative integer coefficients. We conjecture that these polynomials are one-dimensional sums associated with crystal bases of finite-dimensional modules over quantized affine algebras for all nonexceptional affine types. These polynomials satisfy a Macdonald-type duality.
Discrete strip-concave functions, Gelfand-Tsetlin patterns, and related polyhedra
Published in J. of Combinatorial Theory, Ser. A, 112, No 2, 2005, 175-193
• View Publication
• BIB
Discrete strip-concave functions considered in this paper are, in fact, equivalent to an extension of Gelfand-Tsetlin patterns to the case when the pattern has a not necessarily triangular but convex configuration. They arise by releasing one of the three types of rhombus inequalities for discrete concave functions (or ``hives'') on a ``convex part'' of a triangular grid. The paper is devoted to a combinatorial study of certain polyhedra related to such functions or patterns, and results on faces, integer points and volumes of these polyhedra are presented. Also some relationships and applications are discussed.
In particular, we characterize, in terms of valid inequalities, the polyhedral cone formed by the boundary values of discrete strip-concave functions on a grid having trapezoidal configuration. As a consequence of this result, necessary and sufficient conditions on a pair of vectors to be the shape and content of a semi-standard skew Young tableau are obtained.