Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Refined Restricted Permutations Avoiding Subsets of Patterns of Length Three
Published
• View Publication
• BIB
Define $S_n^k(T)$ to be the set of permutations of $\{1,2,...,n\}$ with exactly $k$ fixed points which avoid all patterns in $T \subseteq S_m$. We enumerate $S_n^k(T)$, $T \subseteq S_3$, for all $|T| \geq 2$ and $0 \leq k \leq n$.
Exponentiation and Euler measure
Published in Algebra Universalis 49, no. 4, 459--471 (2003). Dedicated to the memory of Gian-Carlo Rota.
• View Publication
• BIB
Two of the pillars of combinatorics are the notion of choosing an arbitrary subset of a set with $n$ elements (which can be done in $2^n$ ways), and the notion of choosing a $k$-element subset of a set with $n$ elements (which can be done in $n \choose k$ ways). In this article I sketch the beginnings of a theory that would import these notions into the category of hedral sets in the sense of Morelli and the category of polyhedral sets in the sense of Schanuel. Both of these theories can be viewed as extensions of the theory of finite sets and mappings between finite sets, with the concept of cardinality being replaced by the more general notion of Euler measure (sometimes called combinatorial Euler characteristic). I prove a ``functoriality'' theorem (Theorem 1) for subset-selection in the context of polyhedral sets, which provides quasi-combinatorial interpretations of assertions such as $2^{-1} = \frac12$ and ${1/2 \choose 2} = -\frac18$. Furthermore, the operation of forming a power set can be viewed as a special case of the operation of forming the set of all mappings from one set to another; I conclude the article with a polyhedral analogue of the set of all mappings between two finite sets, and a restrictive but suggestive result (Theorem 2) that offers a hint of what a general theory of exponentiation in the polyhedral category might look like.
Euler measure as generalized cardinality
Schanuel has pointed out that there are mathematically interesting categories whose relationship to the ring of integers is analogous to the relationship between the category of finite sets and the semi-ring of non-negative integers. Such categories are inherently geometrical or topological, in that the mapping to the ring of integers is a variant of Euler characteristic. In these notes, I sketch some ideas that might be used in further development of a theory along lines suggested by Schanuel.
Functional central limit theorems for vicious walkers
Published in Stoch. Stoch. Rep. 75 (2003) 369-390
• View Publication
• BIB
We consider the diffusion scaling limit of the vicious walker model that is a system of nonintersecting random walks. We prove a functional central limit theorem for the model and derive two types of nonintersecting Brownian motions, in which the nonintersecting condition is imposed in a finite time interval $(0,T]$ for the first type and in an infinite time interval $(0,\infty)$ for the second type, respectively. The limit process of the first type is a temporally inhomogeneous diffusion, and that of the second type is a temporally homogeneous diffusion that is identified with a Dyson's model of Brownian motions studied in the random matrix theory. We show that these two types of processes are related to each other by a multi-dimensional generalization of Imhof's relation, whose original form relates the Brownian meander and the three-dimensional Bessel process. We also study the vicious walkers with wall restriction and prove a functional central limit theorem in the diffusion scaling limit.
Even circuits of prescribed clockwise parity
Published
• View Publication
• BIB
We show that a graph has an orientation under which every circuit of even length is clockwise odd if and only if the graph contains no subgraph which is, after the contraction of at most one circuit of odd length, an even subdivision of K_{2,3}. In fact we give a more general characterisation of graphs that have an orientation under which every even circuit has a prescribed clockwise parity. This problem was motivated by the study of Pfaffian graphs, which are the graphs that have an orientation under which every alternating circuit is clockwise odd. Their significance is that they are precisely the graphs to which Kasteleyn's powerful method for enumerating perfect matchings may be applied.
Structure of the Malvenuto-Reutenauer Hopf algebra of permutations
Published in Adv. Math., 191 (2005), no. 2, 225--275
• View Publication
• BIB
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. In addition, we describe the structure constants of the multiplication as a certain number of facets of the permutahedron. As a consequence we obtain a new interpretation of the product of monomial quasi-symmetric functions in terms of the facial structure of the cube. The Hopf algebra of Malvenuto and Reutenauer has a linear basis indexed by permutations. Our results are obtained from a combinatorial description of the Hopf algebraic structure with respect to a new basis for this algebra, related to the original one via Möbius inversion on the weak order on the symmetric groups. This is in analogy with the relationship between the monomial and fundamental bases of the algebra of quasi-symmetric functions. Our results reveal a close relationship between the structure of the Malvenuto-Reutenauer Hopf algebra and the weak order on the symmetric groups.
q-Hypergeometric proofs of polynomial analogues of the triple product identity, Lebesgue's identity and Euler's pentagonal number theorem
Published in Ramanujan J 8 (2005), 467-474
• View Publication
• BIB
We present alternative, q-hypergeometric proofs of some polynomial analogues of classical q-series identities recently discovered by Alladi and Berkovich, and Berkovich and Garvan.
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.