Results 1  10
of
107
The Enumeration of Fully Commutative Elements of Coxeter Groups
, 1996
"... this paper, we consider the problem of enumerating the fully commutative elements of these groups. The main result (Theorem 2.6) is that for six of the seven infinite families (we omit the trivial dihedral family I 2 (m)), the generating function for the number of fully commutative elements can be e ..."
Abstract

Cited by 61 (4 self)
 Add to MetaCart
this paper, we consider the problem of enumerating the fully commutative elements of these groups. The main result (Theorem 2.6) is that for six of the seven infinite families (we omit the trivial dihedral family I 2 (m)), the generating function for the number of fully commutative elements can be expressed in terms of three simpler generating functions for certain formal languages over an alphabet with at most four letters. The languages in question vary from family to family, but have a uniform description. The resulting generating function one obtains for each family is algebraic, although in some cases quite complicated. (See (3.7) and (3.11).) In a general Coxeter group, the fully commutative elements index a basis for a natural quotient of the corresponding IwahoriHecke algebra [G]. (See also [F1] for the simplylaced case.) For An , this quotient is the TemperleyLieb algebra. Recently, Fan [F2] has shown that for types A, B, D, E and (in a sketched proof) F , this quotient is generically semisimple, and gives recurrences for the dimensions of the irreducible representations. (For type H, the question of semisimplicity remains open.) This provides another possible approach to computing the number of fully commutative elements in these cases; namely, as the sum of the squares of the dimensions of these representations. Interestingly, Fan also shows that the sum of these dimensions is the number of fully commutative involutions
Logical Definability on Infinite Traces
 Theoretical Computer Science
, 1993
"... The main results of the present paper are the equivalence of definability by monadic secondorder logic and recognizability for real trace languages, and that firstorder definable, starfree, and aperiodic real trace languages form the same class of languages. This generalizes results on infinite w ..."
Abstract

Cited by 31 (4 self)
 Add to MetaCart
The main results of the present paper are the equivalence of definability by monadic secondorder logic and recognizability for real trace languages, and that firstorder definable, starfree, and aperiodic real trace languages form the same class of languages. This generalizes results on infinite words and on finite traces to infinite traces. It closes an important gap in the different characterizations of recognizable languages of infinite traces. 1 Introduction In the late 70's, A. Mazurkiewicz introduced the notion of trace as a suitable mathematical model for concurrent systems [16] (for surveys on this topic see also [1, 6, 10, 17]). In this framework, a concurrent system is seen as a set \Sigma of atomic actions together with a fixed irreflexive and symmetric independence relation I ` \Sigma \Theta \Sigma. The relation I specifies pairs of actions which can be carried out in parallel. It generates an equivalence relation on the set of sequential observations of the system. As ...
Theorems for a price: tomorrow's semirigorous mathematical culture
 Notices of the A.M.S
, 1993
"... The most fundamental precept of the mathematical faith is thou shalt prove everything rigorously. While the practitioners of mathematics differ in their view of what constitutes a rigorous proof, and there are fundamentalists who insist on even a more rigorous rigor than the one practiced by the mai ..."
Abstract

Cited by 24 (7 self)
 Add to MetaCart
The most fundamental precept of the mathematical faith is thou shalt prove everything rigorously. While the practitioners of mathematics differ in their view of what constitutes a rigorous proof, and there are fundamentalists who insist on even a more rigorous rigor than the one practiced by the mainstream, the belief in this principle could be taken as the defining property of mathematician. The Day After Tomorrow There are writings on the wall that, now that the silicon savior has arrived, a new testament is going to be written. Although there will always be a small group of “rigorous ” oldstyle mathematicians(e.g. [JQ]) who will insist that the true religion is theirs, and that the computer is a false Messiah, they may be viewed by future mainstream mathematicians as a fringe sect of harmless eccentrics, like mathematical physicists are viewed by regular physicists today. The computer has already started doing to mathematics what the telescope and microscope did to astronomy and biology. In the future, not all mathematicians will care about absolute certainty, since there will be so many exciting new facts to discover: mathematical pulsars and quasars that will make the Mandelbrot set seem like a mere Jovian moon. We will have (both human and machine 2) professional theoretical mathematicians, who will develop conceptual paradigms to make
Koszul Algebras From Graphs and Hyperplane Arrangements
, 1996
"... Introduction This work was started as an attempt to apply theory from noncommutative graded algebra to questions about the holonomy algebra of a hyperplane arrangement. We soon realized these algebras and their deformations form a class of quadratic graded algebras that have not been studied much a ..."
Abstract

Cited by 21 (2 self)
 Add to MetaCart
Introduction This work was started as an attempt to apply theory from noncommutative graded algebra to questions about the holonomy algebra of a hyperplane arrangement. We soon realized these algebras and their deformations form a class of quadratic graded algebras that have not been studied much and are interesting to algebra, arrangement theory and combinatorics. Let X be a topological space having homotopy type of a finite cell complex and H (X) its homology coalgebra with coefficients in a field and comultiplication dual to the cup product. Then the holonomy Lie algebra GX of X is the quotient of the free Lie algebra on H 1 (X) over the ideal generated by the image of the comultiplication H 2 (X) ! 2 (H 1 (X)). The universal
Random walks on finite groups
 Encyclopaedia of Mathematical Sciences
, 2004
"... Summary. Markov chains on finite sets are used in a great variety of situations to approximate, understand and sample from their limit distribution. A familiar example is provided by card shuffling methods. From this viewpoint, one is interested in the “mixing time ” of the chain, that is, the time ..."
Abstract

Cited by 21 (2 self)
 Add to MetaCart
Summary. Markov chains on finite sets are used in a great variety of situations to approximate, understand and sample from their limit distribution. A familiar example is provided by card shuffling methods. From this viewpoint, one is interested in the “mixing time ” of the chain, that is, the time at which the chain gives a good approximation of the limit distribution. A remarkable phenomenon known as the cutoff phenomenon asserts that this often happens abruptly so that it really makes sense to talk about “the mixing time”. Random walks on finite groups generalize card shuffling models by replacing the symmetric group by other finite groups. One then would like to understand how the structure of a particular class of groups relates to the mixing time of natural random walks on those groups. It turns out that this is an extremely rich problem which is very far to be understood. Techniques from a great
The Koszul Property In Affine Semigroup Rings
 Pacific J. Math
, 1997
"... We investigate the Koszul property for quotients of affine semigroup rings by semigroup ideals. Using a combinatorial and topological interpretation for the Koszul property in this context, we recover known results asserting that certain of these rings are Koszul. In the process, we prove a stronger ..."
Abstract

Cited by 16 (3 self)
 Add to MetaCart
We investigate the Koszul property for quotients of affine semigroup rings by semigroup ideals. Using a combinatorial and topological interpretation for the Koszul property in this context, we recover known results asserting that certain of these rings are Koszul. In the process, we prove a stronger fact, suggesting a more general definition of Koszul rings. This more general definition of Koszulness turns out to be satisfied by all CohenMacaulay rings of minimal multiplicity.
A combinatorial proof of Bass’s evaluations of the IharaSelberg zeta function for graphs
 Trans. Amer. Math. Soc
, 1999
"... This paper is dedicated to GianCarlo Rota, on his millionth2’s birthday. Abstract. We derive combinatorial proofs of the main two evaluations of the IharaSelberg zeta function associated with a graph. We give three proofs of the first evaluation all based on the algebra of Lyndon words. In the thi ..."
Abstract

Cited by 16 (2 self)
 Add to MetaCart
This paper is dedicated to GianCarlo Rota, on his millionth2’s birthday. Abstract. We derive combinatorial proofs of the main two evaluations of the IharaSelberg zeta function associated with a graph. We give three proofs of the first evaluation all based on the algebra of Lyndon words. In the third proof it is shown that the first evaluation is an immediate consequence of Amitsur’s identity on the characteristic polynomial of a sum of matrices. The second evaluation of the IharaSelberg zeta function is first derived by means of a signchanging involution technique. Our second approach makes use of a short matrixalgebra argument. 1.
The BieriNeumannStrebel invariants for graph groups
 Proc. London Math. Soc
, 1995
"... Given a finite simplicial graph % the graph group G< § is the group with generators in onetoone correspondence with the vertices of ^ and with relations stating that two generators commute if their associated vertices are adjacent in % The BieriNeumannStrebel invariant can be explicitly describe ..."
Abstract

Cited by 16 (0 self)
 Add to MetaCart
Given a finite simplicial graph % the graph group G< § is the group with generators in onetoone correspondence with the vertices of ^ and with relations stating that two generators commute if their associated vertices are adjacent in % The BieriNeumannStrebel invariant can be explicitly described in terms of the original graph ^ and hence there is an explicit description of the distribution of finitely generated normal subgroups of G^S with abelian quotient. We construct EilenbergMacLane spaces for graph groups and find partial extensions of this work to the higherdimensional invariants.
Modeles Avec Particules Dures, Animaux Diriges, Et Series En Variables Partiellement Commutatives
"... We give a systematic presentation of relations between lattice gas models with hardcore interactions, enumeration of directedsite animals, and the algebra of formal powerseries in the partially commutative case, along the work of X.G.Viennot. We present a complete and simplified solution, using t ..."
Abstract

Cited by 15 (0 self)
 Add to MetaCart
We give a systematic presentation of relations between lattice gas models with hardcore interactions, enumeration of directedsite animals, and the algebra of formal powerseries in the partially commutative case, along the work of X.G.Viennot. We present a complete and simplified solution, using this algebra, of the directed animals enumeration problem in two dimensions, including a fast program for random generation of such animals (with uniform distribution) and images produced by this program. 1 Table des matieres 1