AbstractsMathematics

Counting words avoiding patterns of length three with generating functions

by Joakim Andersson




Institution: KTH Royal Institute of Technology
Department:
Year: 2015
Keywords: Natural Sciences; Mathematics; Naturvetenskap; Matematik
Record ID: 1358862
Full text PDF: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-168019


Abstract

The set of 123-avoiding words with exactly r occurrences of each letter was recently enumerated by N. Shar and D. Zeilberger. This paper enumerates more complicated sets of pattern avoiding words, such as those allowing 1, 2, ... or  r occurrences of each letter, or those for which the numbers of occurrences of each individual letter follow a repeating sequence. The results are also generalized to apply to all patterns of length three with distinct letters. The generating functions enumerating the words are shown to be algebraic, for all investigated sets of words. A notable number of coefficients for the relevant generating functions have been found and the first few confirmed by independent methods. The asymptotic behaviour of these coefficients has been established as exponential. The employed strategy involves partitioning words into subwords which allow for the construction of equations relating the generating functions. ; Mängden av 123-undvikande ord med exakt r förekomster av varje bokstav enumererades nyligen av N. Shar och D. Zeilberger. Detta arbete enumererar mer komplicerade mängder av mönsterundvikande ord, såsom de som tillåter 1,2, ... eller r förekomster av varje bokstav, eller de för vilka antalet förekomster av varje enskild bokstav följer en upprepande sekvens. Resultaten generaliseras även till att gälla alla mönster av längd tre med distinkta bokstäver. De genererande funktionerna som enumererar orden bevisas vara algebraiska, för alla undersökta ordmängder. Ett ansenligt antal koefficienter för de relevanta genererande funktionerna har beräknats och de första av dessa har bekräftats med oberoende metoder. Dessa koefficienters asymptotiska beteende har visats vara exponentiellt. Metoden som utnyttjas involverar en uppdelning i delord som tillåter konstruerandet av ekvationer som relaterar de genererande funktionerna.