1,424 research outputs found

    Combinatorial Hopf algebras and Towers of Algebras

    Get PDF
    Bergeron and Li have introduced a set of axioms which guarantee that the Grothendieck groups of a tower of algebras n0An\bigoplus_{n\ge0}A_n can be endowed with the structure of graded dual Hopf algebras. Hivert and Nzeutzhap, and independently Lam and Shimozono constructed dual graded graphs from primitive elements in Hopf algebras. In this paper we apply the composition of these constructions to towers of algebras. We show that if a tower n0An\bigoplus_{n\ge0}A_n gives rise to graded dual Hopf algebras then we must have dim(An)=rnn!\dim(A_n)=r^nn! where r=dim(A1)r = \dim(A_1).Comment: 7 page

    Tarski's influence on computer science

    Full text link
    The influence of Alfred Tarski on computer science was indirect but significant in a number of directions and was in certain respects fundamental. Here surveyed is the work of Tarski on the decision procedure for algebra and geometry, the method of elimination of quantifiers, the semantics of formal languages, modeltheoretic preservation theorems, and algebraic logic; various connections of each with computer science are taken up

    Perron-Frobenius theory and frequency convergence for reducible substitutions

    Full text link
    We prove a general version of the classical Perron-Frobenius convergence property for reducible matrices. We then apply this result to reducible substitutions and use it to produce limit frequencies for factors and hence invariant measures on the associated subshift. The analogous results are well known for primitive substitutions and have found many applications, but for reducible substitutions the tools provided here were so far missing from the theory.Comment: v.2 Minor revisions for submissio
    corecore