Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Counting peaks at height k in a Dyck path
Published in Journal of Integer Sequences 5, (2002), Article 02..1.1
• Search Publication
A Dyck path is a lattice path in the plane integer lattice $\mathbb{Z}\times\mathbb{Z}$ consisting of steps (1,1) and (1,-1), which never passes below the x-axis. A peak at height k on a Dyck path is a point on the path with coordinate y=k that is immediately preceded by a (1,1) step and immediately followed by a (1,-1) step. In this paper we find an explicit expression to the generating function for the number of Dyck paths starting at (0,0) and ending at (2n,0) with exactly r peaks at height k. This allows us to express this function via Chebyshev polynomials of the second kind and generating function for the Catalan numbers.
Restricted Permutations, Fibonacci Numbers, and k-generalized Fibonacci Numbers
A permutation $π\in S_n$ is said to {\it avoid} a permutation $σ\in S_k$ whenever $π$ contains no subsequence with all of the same pairwise comparisons as $σ$. For any set $R$ of permutations, we write $S_n(R)$ to denote the set of permutations in $S_n$ which avoid every permutation in $R$. In 1985 Simion and Schmidt showed that $|S_n(132, 213, 123)|$ is equal to the Fibonacci number $F_{n+1}$. In this paper we generalize this result in several ways. We first use a result of Mansour to show that for any permutation $τ$ in a certain infinite family of permutations, $|S_n(132, 213, τ)|$ is given in terms of Fibonacci numbers or $k$-generalized Fibonacci numbers. In many cases we give explicit enumerations, which we prove bijectively. We then use generating function techniques to show that for any permutation $γ$ in a second infinite family of permutations, $|S_n(123, 132, γ)|$ is also given in terms of Fibonacci numbers or $k$-generalized Fibonacci numbers. In many cases we give explicit enumerations, some of which we prove bijectively. We go on to use generating function techniques to show that for any permutation $ω$ in a third infinite family of permutations, $|S_n(132, 2341, ω)|$ is given in terms of Fibonacci numbers, and for any permutation $μ$ in a fourth infinite family of permutations, $|S_n(132, 3241, μ)|$ is given in terms of Fibonacci numbers and $k$-generalized Fibonacci numbers. In several cases we give explicit enumerations. We conclude by giving an infinite class of examples of a set $R$ of permutations for which $|S_n(R)|$ satisfies a linear homogeneous recurrence relation with constant coefficients.
Tropical Robinson-Schensted-Knuth correspondence and birational Weyl group actions
Published
• View Publication
• BIB
By using an elementary matrix approach, based on the technique of discrete Toda equation, we construct subtraction-free rational and piecewise linear transformations associated with various combinatorial algorithms, including the RSK correspondence. We also investigate birational Weyl group actions related to those algorithms.
A path-transformation for random walks and the Robinson-Schensted correspondence
Published in Trans. Amer. Math. Soc. 355 (2003) 3669--3697.
• View Publication
• BIB
In [O'Connell and Yor (2002)] a path-transformation G was introduced with the property that, for X belonging to a certain class of random walks on the integer lattice, the transformed walk G(X) has the same law as that of the original walk conditioned never to exit a type-A Weyl chamber. In this paper, we show that G is closely related to the Robinson-Schensted algorithm, and use this connection to give a new proof of the above representation theorem. The new proof is valid for a larger class of random walks and yields additional information about the joint law of X and G(X). The corresponding results for the Brownian model are recovered by Donsker's theorem. These are connected with Hermitian Brownian motion and the Gaussian Unitary Ensemble of random matrix theory. The connection we make between the path-transformation G and the RS algorithm also provides a new formula and interpretation for the latter. This can be used to study properties of the RS algorithm and, moreover, extends easily to a continuous setting.
A crystal to rigged configuration bijection for nonexceptional affine algebras
Published in "Algebraic Combinatorics and Quantum Groups", Edited by N. Jing, World Scientific (2003), 85-124
• View Publication
• BIB
Kerov, Kirillov, and Reshetikhin defined a bijection between highest weight vectors in the crystal graph of a tensor power of the vector representation, and combinatorial objects called rigged configurations, for type $A^{(1)}_n$. We define an analogous bijection for all nonexceptional affine types, thereby proving (in this special case) the fermionic formulas conjectured by Hatayama, Kuniba, Takagi, Tsuboi, Yamada, and the first author.
A note on Tutte polynomials and Orlik-Solomon algebras
Published
• View Publication
• BIB
Let A be a (central) arrangement of hyperplanes in a finite dimension complex vector space V. Let M(A) be the dependence matroid determined by A. The Orlik-Solomon algebra OS(M) of a matroid M is the exterior algebra on the points modulo the ideal generated by circuit boundaries. The algebra OS(M) is isomorphic to the cohomology algebra of the complement in V of the union of the hyperplanes of A. The Tutte polynomial T(x,y) of M is a powerful invariant of the matroid M. When M(A) is a rank three matroid and A is the complexification of a real arrangement, we prove that OS(M) determines T(x,y). This result solves partially a conjecure of M. Falk.
Boundary correlation functions of the six-vertex model
Published in J. Phys. A: Math. Gen. 35, 5525-5541 (2002)
• View Publication
• BIB
We consider the six-vertex model on an $N \times N$ square lattice with the domain wall boundary conditions. Boundary one-point correlation functions of the model are expressed as determinants of $N\times N$ matrices, generalizing the known result for the partition function. In the free fermion case the explicit answers are obtained. The introduced correlation functions are closely related to the problem of enumeration of alternating sign matrices and domino tilings.
Discrete subsets of R^2 and the associated distance sets
We prove that a well-distributed subset of R^2 can have a separated distance set only if the distance is induced by a polygon.
An Orientation-Sensitive Vassiliev Invariant for Virtual Knots
Published
• View Publication
• BIB
It is an open question whether there are Vassiliev invariants that can distinguish an oriented knot from its inverse, i.e., the knot with the opposite orientation. In this article, an example is given for a first order Vassiliev invariant that takes different values on a virtual knot and its inverse. The Vassiliev invariant is derived from the Conway polynomial for virtual knots. Furthermore, it is shown that the zeroth order Vassiliev invariant coming from the Conway polynomial cannot distinguish a virtual link from its inverse and that it vanishes for virtual knots.
Once more about Voronoi's conjecture and space tiling zonotopes
Published
• View Publication
• BIB
Voronoi conjectured that any parallelotope is affinely equivalent to a Voronoi polytope. A parallelotope is defined by a set of $m$ facet vectors $p_i$ and defines a set of $m$ lattice vectors $t_i$, $1\le i\le m$. We show that Voronoi's conjecture is true for an $n$-dimensional parallelotope $P$ if and only if there exist scalars $γ_i$ and a positive definite $n\times n$ matrix $Q$ such that $γ_i p_i=Qt_i$ for all $i$. In this case the quadratic form $f(x)=x^TQx$ is the metric form of $P$.
As an example, we consider in detail the case of a zonotopal parallelotope. We show that $Q=(Z_βZ^T_β)^{-1}$ for a zonotopal parallelotope $P(Z)$ which is the Minkowski sum of column vectors $z_j$ of the $n\times r$ matrix $Z$. Columns of the matrix $Z_β$ are the vectors $\sqrt{2β_j}z_j$, where the scalars $β_j$, $1\le j\le r$, are such that the system of vectors $\{β_jz_j:1\le j\le r\}$ is unimodular. $P(Z)$ defines a dicing lattice which is the set of intersection points of the dicing family of hyperplanes $H(j,k)=\{x:x^T(β_jQz_j)=k\}$, where $k$ takes all integer values and $1\le j\le r$.
On the Computation of Hilbert Bases and Extreme Rays of Cones
Published
• View Publication
• BIB
In this paper we present a novel project-and-lift approach to compute the set of minimal generators of the semigroup $(Λ\cap\R^n_+,+)$ for lattices $Λ\subseteq\Z^n$. This problem class includes the computation of Hilbert bases of cones $\{z:Az=0,z\in\R^n_+\}$ for integer matrices $A$. A similar approach can be used to compute only the extreme rays of such cones. Finally, some combinatorial applications and computational experience are presented.
Some Observations on Dyson's New Symmetries of Partitions
Published
• View Publication
• BIB
We utilize Dyson's concept of the adjoint of a partition to derive an infinite family of new polynomial analogues of Euler's Pentagonal Number Theorem. We streamline Dyson's bijection relating partitions with crank <= k and those with k in the Rank-Set of partitions. Also, we extend Dyson's adjoint of a partition to MacMahon's ``modular'' partitions with modulus 2. This way we find a new combinatorial proof of Gauss's famous identity. We give a direct combinatorial proof that for n>1 the partitions of n with crank k are equinumerous with partitions of n with crank -k.
Residues and tame symbols on toroidal varieties
Published in Compositio Math. 140 (2004) no. 6, 1593--1613
• View Publication
• BIB
We introduce a new approach to the study of a system of algebraic equations in the algebraic torus whose Newton polytopes have sufficiently general relative positions. Our method is based on the theory of Parshin's residues and tame symbols on toroidal varieties. It provides a uniform algebraic explanation of the recent result of Khovanskii on the product of the roots of such systems and the Gel'fond--Khovanskii result on the sum of the values of a Laurent polynomial over the roots of such systems, and extends them to the case of an algebraically closed field of arbitrary characteristic.
New polynomial analogues of Jacobi's triple product and Lebesgue's identities
Published
• View Publication
• BIB
In a recent paper by the authors, a bounded version of Goellnitz's (big) partition theorem was established. Here we show among other things how this theorem leads to nontrivial new polynomial analogues of certain fundamental identities of Jacobi and Lebesgue. We also derive a two parameter extension of Jacobi's famous triple product identity.
Toric Hyperkahler Varieties
Published
• View Publication
• BIB
Extending work of Bielawski-Dancer and Konno, we develop a theory of toric hyperkahler varieties, which involves toric geometry, matroid theory and convex polyhedra. The framework is a detailed study of semi-projective toric varieties, meaning GIT quotients of affine spaces by torus actions, and specifically, of Lawrence toric varieties, meaning GIT quotients of even-dimensional affine spaces by symplectic torus actions. A toric hyperkahler variety is a complete intersection in a Lawrence toric variety. Both varieties are non-compact, and they share the same cohomology ring, namely, the Stanley-Reisner ring of a matroid modulo a linear system of parameters. Familiar applications of toric geometry to combinatorics, including the Hard Lefschetz Theorem and the volume polynomials of Khovanskii-Pukhlikov, are extended to the hyperkahler setting. When the matroid is graphic, our construction gives the toric quiver varieties, in the sense of Nakajima.
Structure of the Malvenuto-Reutenauer Hopf algebra of permutations (Extended Abstract)
We analyze the structure of the Malvenuto-Reutenauer Hopf algebra of permutations in detail. We give explicit formulas for its antipode, prove that it is a cofree coalgebra, determine its primitive elements and its coradical filtration and show that it decomposes as a crossed product over the Hopf algebra of quasi-symmetric functions. We also describe the structure constants of the multiplication as a certain number of facets of the permutahedron. Our results reveal a close relationship between the structure of this Hopf algebra and the weak order on the symmetric groups.
Differential Operators and Weighted Isobaric Polynomials
Published
• View Publication
• BIB
We characterize those sequences of weighted isobaric polynomials as defined in math.CO/0106213 which belong to the kernel of the linear operator $D_{11} - \sum_{j=1}^k a_j t_j D_{2j} - mD_2$, and we characterize those linear operators of this form in terms of the coefficients $a_j$ which have a non-zero kernel.
Dimers on a simple-quartic net with a vacancy
Published in Journal of Stat. Phys. 110, 671-689 (2003)
• View Publication
• BIB
A seminal milestone in lattice statistics is the exact solution of the enumeration of dimers on a simple-quartic net obtained by Fisher,Kasteleyn, and Temperley (FKT) in 1961. An outstanding related and yet unsolved problem is the enumeration of dimers on a net with vacant sites. Here we consider this vacant-site problem with a single vacancy occurring at certain specific sites on the boundary of a simple-quartic net. First, using a bijection between dimer and spanning tree configurations due to Temperley, Kenyon, Propp, and Wilson, we establish that the dimer generating function is independent of the location of the vacancy, and deduce a closed-form expression for the generating function. We next carry out finite-size analyses of this solution as well as that of the FKT solution. Our analyses lead to a logarithmic correction term in the large-size expansion for the vacancy problem with free boundary conditions. A concrete example exhibiting this difference is given. We also find the central charge c=-2 in the language of conformal field theory for the vacancy problem, as versus the value c=1 when there is no vacancy.
The Number of Large Graphs with a Positive Density of Triangles
Published
• View Publication
• BIB
We give upper and lower bounds on the number of graphs of fixed degree which have a positive density of triangles. In particular, we show that there are very few such graphs, when compared to the number of graphs without this restriction. We also show that in this case the triangles seem to cluster even at low density.
On linear programming bounds for spherical codes and designs
Published
• View Publication
• BIB
We investigate universal bounds on spherical codes and spherical designs that could be obtained using Delsarte's linear programming methods. We give a lower estimate for the LP upper bound on codes, and an upper estimate for the LP lower bound on designs. Specifically, when the distance of the code is fixed and the dimension goes to infinity, the LP upper bound on codes is at least as large as the average of the best known upper and lower bounds. When the dimension n of the design is fixed, and the strength k goes to infinity, the LP bound on designs turns out, in conjunction with known lower bounds, to be proportional to k^{n-1}.