Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Permutations Containing and Avoiding 123 and 132 Patterns
Published
• View Publication
• BIB
We prove that the number of permutations which avoid 132-patterns and have exactly one 123-pattern equals (n-2)2^(n-3). We then give a bijection onto the set of permutations which avoid 123-patterns and have exactly one 132-pattern. Finally, we show that the number of permutations which contain exactly one 123-pattern and exactly one 132-pattern is (n-3)(n-4)2^(n-5).
The Number of Permutations With A Prescribed Number of 132 and 123 Patterns
Here we present the reasoning behind, and program to find, the generating functions for the number of permutations in the title. The article duals as the "accompanying" Maple package.
Three-player impartial games
Published in Theoretical Computer Science, volume 233 (2000), 263--278.
• View Publication
• BIB
Past efforts to classify impartial three-player combinatorial games (the theories of Li and Straffin) have made various restrictive assumptions about the rationality of one's opponents and the formation and behavior of coalitions. One may instead adopt an agnostic attitude towards such issues, and seek only to understand in what circumstances one player has a winning strategy against the combined forces of the other two. By limiting ourselves to this more modest theoretical objective, and by regarding two games as being equivalent if they are interchangeable in all disjunctive sums,as far as single-player winnability is concerned, we can obtain an interesting analogue of Grundy values for three-player impartial games.
On Lunn-Senior's Mathematical Model of Isomerism in Organic Chemistry. Part I
The aim of this paper is to present a generalization of Lunn-Senior's mathematical model of isomerism in organic chemistry. The main idea of Lunn and Senior is that if the type of isomerism is fixed, a molecule with a fixed skeleton and d univalent substituents has a symmetry group $W\leq S_d$ which is generally not the molecule's 3-dimensional symmetry group. The unit character of W induces a representation of the symmetric group $S_d$ which governs the combinatorics of the isomers of the given molecule. Lunn-Senior's thesis is that certain non-negative integers established by this representation are upper boundaries of the corresponding numbers, yielded by the experiment (and often coincide with them). Moreover, the authors define (in a particular case) a partial order among the objects of the model, such that some simple substitution reactions correspond to inequalities. These two groups of data determine the group W, and produce so called "type properties" of the molecule (properties which do not depend on the nature of the univalent substituents). Our hypothesis is that if we replace the unit character of $W$ by any one-dimensional character of $W$ (thus we count only a part of the isomers - those having a maximum property), we also get a type property of the molecule. An instance of that is the inventory of the stereoisomers called chiral pairs. The formalism can be generalized naturally and produces some preliminary chemical results. Especially the partial order is defined and studied in the general case and indicates the possible genetic relations among the corresponding molecules. An important result of E. Ruch which connects the dominance order among partitions and the existence of chiral pairs is obtained as a consequence of a more general statement.
Combinatorics of geometrically distributed random variables: Inversions and a parameter of Knuth
Published
• View Publication
• BIB
For words of length $n$, generated by independent geometric random variables, we consider the mean and variance of the number of inversions and of a parameter of Knuth from permutation in situ. In this way, $q$--analogues for these parameters from the usual permutation model are obtained.
An Enumeration of Certain Equivalence Classes of Directed Multigraphs Having 0 to 5 Nodes with Each Node Having 2 Incoming and 2 Outgoing Arcs
An enumeration is given of certain equivalence classes of directed multigraphs having 0 to 5 nodes with each node having 2 incoming and 2 outgoing arcs.
On the cohomology of discriminantal arrangements and Orlik-Solomon algebras
Published
• View Publication
• BIB
We relate the cohomology of the Orlik-Solomon algebra of a discriminantal arrangement to the local system cohomology of the complement. The Orlik-Solomon algebra of such an arrangement (viewed as a complex) is shown to be a linear approximation of a complex arising from the fundamental group of the complement, the cohomology of which is isomorphic to that of the complement with coefficients in an arbitrary complex rank one local system. We also establish the relationship between the cohomology support loci of the complement of a discriminantal arrangement and the resonant varieties of its Orlik-Solomon algebra.
Shape Fluctuations and Random Matrices
Published in Commun.Math.Phys. 209, 437 - 476 (2000)
• View Publication
• BIB
We study a certain random groeth model in two dimensions closely related to the one-dimensional totally asymmetric exclusion process. The results show that the shape fluctuations, appropriately scaled, converges in distribution to the Tracy-Widom largest eigenvalue distribution for the Gaussian Unitary Ensemble.
Regular flip equivalence of surface triangulations
Published in Topology and Its Applications 127, pp 169-173 (2002)
• View Publication
• BIB
Any two triangulations of a closed surface with the same number of vertices can be transformed into each other by a sequence of regular flips, provided the number of vertices exceeds a number N depending on the surface. Examples show that in general N is bigger than the minimal number of vertices of a triangulation. The existence of N was known, but no estimate. This paper provides an estimate for N that is linear in the Euler characteristic of the surface.
Arithmetical properties of Laplacians of graphs
Published
• View Publication
• BIB
Let $M \in M_n (\mathbb Z)$ denote any matrix. Thinking of $M$ as a linear map $M:{\mathbb Z}^n \to {\mathbb Z}^n$, we denote by ${\Image}(M)$ the $\mathbb Z$-span of the column vectors of $M$. Let $e_1, ..., e_n,$ denote the standard basis of ${\mathbb Z}^n$, and let $E_{ij}: = e_i - e_j$, $ (i \neq j)$. In this article, we are interested in the group ${\mathbb Z}^n /{\Image}(M)$, and in particular in the elements of this group defined by the images $τ_{ij}$ of the vectors $E_{ij}$ under the quotient ${\mathbb Z}^n \to {\mathbb Z}^n / {\Image} (M)$. Most of this article is devoted to the study of the case where $M$ is the laplacian of a graph. In this case, the elements $τ_{ij}$ have finite order, and we study how the geometry of the graph relates to these orders. Applications to the theory of semistable reduction of curves will appear in a forthcoming article.
Cubic Laurent Series in Characteristic 2 with Bounded Partial Quotients
There is a theory of continued fractions for Laurent series in x^{-1} with coefficients in a field F. This theory bears a close analogy with classical continued fractions for real numbers with Laurent series playing the role of real numbers and the sum of the terms of non-negative degree in x playing the role of the integral part.
In this paper we survey the Laurent series u, with coefficients in a finite extension of gf(2), that satisfy an irreducible equation of the form
a_0(x)+ a_1(x)u+a_2(x)u^2 + a_3(x)u^3=0
with a_3 \ne 0 and where the a_i are polynomials of low degree in x with coefficients in gf(2). We are particularly interested in the cases in which the sequence of partial quotients is bounded (only finitely many distinct partial quotients occur). We find that there are three essentially different cases when the a_i(x) have degree \le 1. We also make some empirical observations concerning relations between different Laurent series roots of the same cubic.
Transitive factorisations in the symmetric group, and combinatorial aspects of singularity theory
Published
• View Publication
• BIB
We consider the determination of the number $c_k(α)$ of ordered factorisations of an arbitrary permutation on n symbols, with cycle distribution $α$, into k-cycles such that the factorisations have minimal length and such that the group generated by the factors acts transitively on the n symbols. The case k=2 corresponds to the celebrated result of Hurwitz on the number of topologically distinct holomorphic functions on the 2-sphere that preserve a given number of elementary branch point singularities. In this case the monodromy group is the alternating group, and this is another case that, in principle, is of considerable interest.
We conjecture an explicit form, for arbitrary k, for the generating series for $c_k(α)$, and prove that it holds for factorisations of permutations with one, two and three cycles ($α$ is a partition with at most three parts). The generating series is naturally expressed in terms of the symmetric functions dual to those introduced by Macdonald for the ``top'' connection coefficients in the class algebra of the symmetric group.
Our approach is to determine a differential equation for the generating series from a combinatorial analysis of the creation and annihilation of cycles in products under the minimality condition.
Ground State Entropy of the Potts Antiferromagnet on Cyclic Strip Graphs
Published in J. Phys. A (Lett.) 32, L195 (1999)
• View Publication
• BIB
We present exact calculations of the zero-temperature partition function (chromatic polynomial) and the (exponent of the) ground-state entropy $S_0$ for the $q$-state Potts antiferromagnet on families of cyclic and twisted cyclic (Möbius) strip graphs composed of $p$-sided polygons. Our results suggest a general rule concerning the maximal region in the complex $q$ plane to which one can analytically continue from the physical interval where $S_0 > 0$. The chromatic zeros and their accumulation set ${\cal B}$ exhibit the rather unusual property of including support for $Re(q) < 0$ and provide further evidence for a relevant conjecture.
Principal Nilpotent pairs in a semisimple Lie algebra, I
Published
• View Publication
• BIB
This is the first of a series of papers devoted to certain pairs of commuting nilpotent elements in a semisimple Lie algebra that enjoy quite remarkable properties and which are expected to play a major role in Representation theory. The properties of these pairs and their role is similar to those of the principal nilpotents. To any principal nilpotent pair we associate a two-parameter analogue of the Kostant partition function, and propose the corresponding two-parameter analogue of the weight multiplicity formula.
In a different direction, each principal nilpotent pair gives rise to a harmonic polynomial on the Cartesian square of the Cartan subalgebra, that transforms under an irreducible representation of the Weyl group. In the special case of sl_n, the conjugacy classes of principal nilpotent pairs and the irreducible representations of the Symmetric group, S_n, are both parametrised (in a compatible way) by Young diagrams. In general, our theory provides a natural generalization to arbitrary Weyl groups of the classical construction of simple S_n-modules in terms of Young's symmetrisers.
Using Rewriting Systems to Compute Kan Extensions and Induced Actions of Categories
Published
• View Publication
• BIB
The basic method of rewriting for words in a free monoid given a monoid presentation is extended to rewriting for paths in a free category given a `Kan extension presentation'. This is related to work of Carmody-Walters on the Todd-Coxeter procedure for Kan extensions, but allows for the output data to be infinite, described by a language. The result also allows rewrite methods to be applied in a greater range of situations and examples, in terms of induced actions of monoids, categories, groups or groupoids.
Relative moduli spaces of complex structures: an example
Let M and N be even-dimensional oriented real manifolds, and $u:M \to N$ be a smooth mapping. A pair of complex structures at M and N is called u-compatible if the mapping u is holomorphic with respect to these structures. The quotient of the space of u-compatible pairs of complex structures by the group of u-equivariant pairs of diffeomorphisms of M and N is called a moduli space of u-equivariant complex structures. The paper contains a description of the fundamental group G of this moduli space in the following case: $N = CP^1, M \subset CP^2$ is a hyperelliptic genus g curve given by the equation $y^2 = Q(x)$ where Q is a generic polynomial of degree 2g+1, and $u(x,y) = y^2$. The group G is a kernel of several (equivalent) actions of the braid-cyclic group $BC_{2g}$ on 2g strands. These are: an action on the set of trees with 2g numbered edges, an action on the set of all splittings of a (4g+2)-gon into numbered nonintersecting quadrangles, and an action on a certain set of subgroups of the free group with 2g generators. $G_{2g} \subset BC_{2g}$ is a subgroup of the index $(2g+1)^{2g-2}$.
Key words: Teichmüller spaces, Lyashko-Looijenga map, braid group.
Trees and Matchings
Published in Electronic Journal of Combinatorics, 7(1):R25, 2000
• View Publication
• BIB
In this article, Temperley's bijection between spanning trees of the square grid on the one hand, and perfect matchings (also known as dimer coverings) of the square grid on the other, is extended to the setting of general planar directed (and undirected) graphs, where edges carry nonnegative weights that induce a weighting on the set of spanning trees. We show that the weighted, directed spanning trees (often called arborescences) of any planar graph G can be put into a one-to-one weight-preserving correspondence with the perfect matchings of a related planar graph H.
One special case of this result is a bijection between perfect matchings of the hexagonal honeycomb lattice and directed spanning trees of a triangular lattice. Another special case gives a correspondence between perfect matchings of the ``square-octagon'' lattice and directed weighted spanning trees on a directed weighted version of the cartesian lattice.
In conjunction with results of Kenyon, our main theorem allows us to compute the measures of all cylinder events for random spanning trees on any (directed, weighted) planar graph. Conversely, in cases where the perfect matching model arises from a tree model, Wilson's algorithm allows us to quickly generate random samples of perfect matchings.
Semisimple orbits of Lie algebras and card shuffling on Coxeter groups
Published
• View Publication
• BIB
Random walk on the chambers of hyperplanes arrangements is used to define a family of card shuffling measures $H_{W,x}$ for a finite Coxeter group W and real $x \neq 0$. By algebraic group theory, there is a map from the semisimple orbits of the adjoint action of a finite group of Lie type on its Lie algebra to the conjugacy classes of the Weyl group. Choosing such a semisimple orbit uniformly at random thereby induces a probability measure on the conjugacy classes of the Weyl group. For types A, B, and the identity conjugacy class of W for all types, it is proved that for q very good, this measure on conjugacy classes is equal to the measure arising from $H_{W,q}$.
Proof of a partition identity conjectured by Lassalle
We prove a partition identity conjectured by Lassalle (Adv. in Appl. Math. 21 (1998), 457-472).
Une identité en théorie des partitions
Published in Journal of Combinatorial Theory, Series A, 89 (2000), 270-288
• View Publication
• BIB
We prove an identity about partitions with a very elementary formulation. We had previously conjectured this identity, encountered in the study of shifted Jack polynomials (math.CO/9901040). The proof given is using a trivariate generating function. It would be interesting to obtain a bijective proof. We present a conjecture generalizing this identity.