scholarly journals On the asymptotic enumeration of accessible automata

2010 ◽  
Vol Vol. 12 no. 3 (Automata, Logic and Semantics) ◽  
Author(s):  
Elcio Lebensztayn
Keyword(s):  
Asymptotic Estimate ◽  
Asymptotic Enumeration ◽  
Lagrange Inversion ◽  
Binomial Series ◽  
Letter Alphabet ◽  
International Audience ◽  
Generalized Binomial Series

Automata, Logic and Semantics International audience We simplify the known formula for the asymptotic estimate of the number of deterministic and accessible automata with n states over a k-letter alphabet. The proof relies on the theory of Lagrange inversion applied in the context of generalized binomial series.

scholarly journals Congruence successions in compositions

2014 ◽  
Vol Vol. 16 no. 1 (Combinatorics) ◽  
Author(s):  
Toufik Mansour ◽  
Mark Shattuck ◽  
Mark Wilson
Keyword(s):  
General Formula ◽  
Generating Function ◽  
Asymptotic Estimate ◽  
International Audience ◽  
Limiting Case ◽  
Positive Integers

Combinatorics International audience A composition is a sequence of positive integers, called parts, having a fixed sum. By an m-congruence succession, we will mean a pair of adjacent parts x and y within a composition such that x=y(modm). Here, we consider the problem of counting the compositions of size n according to the number of m-congruence successions, extending recent results concerning successions on subsets and permutations. A general formula is obtained, which reduces in the limiting case to the known generating function formula for the number of Carlitz compositions. Special attention is paid to the case m=2, where further enumerative results may be obtained by means of combinatorial arguments. Finally, an asymptotic estimate is provided for the number of compositions of size n having no m-congruence successions.

scholarly journals A bijection for nonorientable general maps

2020 ◽  
Vol DMTCS Proceedings, 28th... ◽  
Author(s):  
Jérémie Bettinelli
Keyword(s):  
Simple Form ◽  
Asymptotic Enumeration ◽  
International Audience ◽  
Enumeration Formula

International audience We give a different presentation of a recent bijection due to Chapuy and Dołe ̨ga for nonorientable bipartite quadrangulations and we extend it to the case of nonorientable general maps. This can be seen as a Bouttier–Di Francesco–Guitter-like generalization of the Cori–Vauquelin–Schaeffer bijection in the context of general nonori- entable surfaces. In the particular case of triangulations, the encoding objects take a particularly simple form and we recover a famous asymptotic enumeration formula found by Gao.

scholarly journals Automaticity of primitive words and irreducible polynomials

2013 ◽  
Vol Vol. 15 no. 1 (Automata, Logic and Semantics) ◽  
Author(s):  
Anne Lacroix ◽  
Narad Rampersad
Keyword(s):  
Finite Field ◽  
Finite Automaton ◽  
Prime Numbers ◽  
Deterministic Finite Automaton ◽  
Irreducible Polynomials ◽  
Letter Alphabet ◽  
International Audience ◽  
Primitive Words

Automata, Logic and Semantics International audience If L is a language, the automaticity function A_L(n) (resp. N_L(n)) of L counts the number of states of a smallest deterministic (resp. non-deterministic) finite automaton that accepts a language that agrees with L on all inputs of length at most n. We provide bounds for the automaticity of the language of primitive words and the language of unbordered words over a k-letter alphabet. We also give a bound for the automaticity of the language of base-b representations of the irreducible polynomials over a finite field. This latter result is analogous to a result of Shallit concerning the base-k representations of the set of prime numbers.

scholarly journals Combinatorial aspects of Escher tilings

2010 ◽  
Vol DMTCS Proceedings vol. AN,... (Proceedings) ◽  
Author(s):  
Alexandre Blondin Massé ◽  
Srecko Brlek ◽  
Sébastien Labbé
Keyword(s):  
Mathematical Community ◽  
Combinatorics On Words ◽  
Combinatorial Object ◽  
Square Grid ◽  
Letter Alphabet ◽  
International Audience ◽  
Escher Tilings

International audience In the late 30's, Maurits Cornelis Escher astonished the artistic world by producing some puzzling drawings. In particular, the tesselations of the plane obtained by using a single tile appear to be a major concern in his work, drawing attention from the mathematical community. Since a tile in the continuous world can be approximated by a path on a sufficiently small square grid - a widely used method in applications using computer displays - the natural combinatorial object that models the tiles is the polyomino. As polyominoes are encoded by paths on a four letter alphabet coding their contours, the use of combinatorics on words for the study of tiling properties becomes relevant. In this paper we present several results, ranging from recognition of these tiles to their generation, leading also to some surprising links with the well-known sequences of Fibonacci and Pell. Lorsque Maurits Cornelis Escher commença à la fin des années 30 à produire des pavages du plan avec des tuiles, il étonna le monde artistique par la singularité de ses dessins. En particulier, les pavages du plan obtenus avec des copies d'une seule tuile apparaissent souvent dans son œuvre et ont attiré peu à peu l'attention de la communauté mathématique. Puisqu'une tuile dans le monde continu peut être approximée par un chemin sur un réseau carré suffisamment fin - une méthode universellement utilisée dans les applications utilisant des écrans graphiques - l'objet combinatoire qui modèle adéquatement la tuile est le polyomino. Comme ceux-ci sont naturellement codés par des chemins sur un alphabet de quatre lettres, l'utilisation de la combinatoire des mots devient pertinente pour l'étude des propriétés des tuiles pavantes. Nous présentons dans ce papier plusieurs résultats, allant de la reconnaissance de ces tuiles à leur génération, conduisant à des liens surprenants avec les célèbres suites de Fibonacci et de Pell.

scholarly journals On the Number of Balanced Words of Given Length and Height over a Two-Letter Alphabet

2010 ◽  
Vol Vol. 12 no. 3 ◽  
Author(s):  
Nicolas Bédaride ◽  
Eric Domenjoud ◽  
Damien Jamet ◽  
Jean-Luc Rémy
Keyword(s):  
Asymptotic Behaviour ◽  
Generating Functions ◽  
Line Segments ◽  
Integer Points ◽  
Letter Alphabet ◽  
Discrete Line ◽  
International Audience

International audience We exhibit a recurrence on the number of discrete line segments joining two integer points in the plane using an encoding of such segments as balanced words of given length and height over the two-letter alphabet $\{0,1\}$. We give generating functions and study the asymptotic behaviour. As a particular case, we focus on the symmetrical discrete segments which are encoded by balanced palindromes.

scholarly journals Permutations realized by shifts

2009 ◽  
Vol DMTCS Proceedings vol. AK,... (Proceedings) ◽  
Author(s):  
Sergi Elizalde
Keyword(s):  
Relative Order ◽  
Letter Alphabet ◽  
Infinite Word ◽  
Set Of Permutations ◽  
International Audience ◽  
Forbidden Patterns ◽  
Pattern Containment

International audience A permutation $\pi$ is realized by the shift on $N$ symbols if there is an infinite word on an $N$-letter alphabet whose successive left shifts by one position are lexicographically in the same relative order as $\pi$. The set of realized permutations is closed under consecutive pattern containment. Permutations that cannot be realized are called forbidden patterns. It was shown in [J.M. Amigó, S. Elizalde and M. Kennel, $\textit{J. Combin. Theory Ser. A}$ 115 (2008), 485―504] that the shortest forbidden patterns of the shift on $N$ symbols have length $N+2$. In this paper we give a characterization of the set of permutations that are realized by the shift on $N$ symbols, and we enumerate them with respect to their length. Une permutation $\pi$ est réalisée par le $\textit{shift}$ avec $N$ symboles s'il y a un mot infini sur un alphabet de $N$ lettres dont les déplacements successifs d'une position à gauche sont lexicographiquement dans le même ordre relatif que $\pi$. Les permutations qui ne sont pas réalisées s'appellent des motifs interdits. On sait [J.M. Amigó, S. Elizalde and M. Kennel, $\textit{J. Combin. Theory Ser. A}$ 115 (2008), 485―504] que les motifs interdits les plus courts du $\textit{shift}$ avec $N$ symboles ont longueur $N+2$. Dans cet article on donne une caractérisation des permutations réalisées par le $\textit{shift}$ avec $N$ symboles, et on les dénombre selon leur longueur.

scholarly journals String pattern avoidance in generalized non-crossing trees

2009 ◽  
Vol Vol. 11 no. 1 (Combinatorics) ◽  
Author(s):  
Yidong Sun ◽  
Zhiping Wang
Keyword(s):  
Generating Functions ◽  
Inversion Formula ◽  
Pattern Avoidance ◽  
Lagrange Inversion ◽  
Explicit Formulas ◽  
Lagrange Inversion Formula ◽  
Special Cases ◽  
International Audience ◽  
String Pattern

Combinatorics International audience The problem of string pattern avoidance in generalized non-crossing trees is studied. The generating functions for generalized non-crossing trees avoiding string patterns of length one and two are obtained. The Lagrange inversion formula is used to obtain the explicit formulas for some special cases. A bijection is also established between generalized non-crossing trees with special string pattern avoidance and little Schr ̈oder paths.

scholarly journals Degree distribution in random planar graphs

2008 ◽  
Vol DMTCS Proceedings vol. AI,... (Proceedings) ◽  
Author(s):  
Michael Drmota ◽  
Omer Gimenez ◽  
Marc Noy
Keyword(s):  
Explicit Expression ◽  
Generating Functions ◽  
Degree Distribution ◽  
Planar Graphs ◽  
Probability Generating Function ◽  
Asymptotic Estimates ◽  
Asymptotic Enumeration ◽  
Root Vertex ◽  
International Audience ◽  
Transfer Theorems

International audience We prove that for each $k \geq 0$, the probability that a root vertex in a random planar graph has degree $k$ tends to a computable constant $d_k$, and moreover that $\sum_k d_k =1$. The proof uses the tools developed by Gimènez and Noy in their solution to the problem of the asymptotic enumeration of planar graphs, and is based on a detailed analysis of the generating functions involved in counting planar graphs. However, in order to keep track of the degree of the root, new technical difficulties arise. We obtain explicit, although quite involved expressions, for the coefficients in the singular expansions of interest, which allow us to use transfer theorems in order to get an explicit expression for the probability generating function $p(w)=\sum_k d_k w^k$. From the explicit expression for $p(w)$ we can compute the $d_k$ to any degree of accuracy, and derive asymptotic estimates for large values of $k$.

scholarly journals On generalized binomial series and strongly regular graphs

2013 ◽  
Vol 32 (4) ◽  
pp. 393-408 ◽  
Author(s):  
Vasco Moço Mano ◽  
Luis Antonio de Almeida Vieira ◽  
Enide Andrade Martins
Keyword(s):  
Strongly Regular Graphs ◽  
Regular Graphs ◽  
Binomial Series ◽  
Strongly Regular ◽  
Generalized Binomial Series

scholarly journals Asymptotic enumeration on self-similar graphs with two boundary vertices

2009 ◽  
Vol Vol. 11 no. 1 (Combinatorics) ◽  
Author(s):  
Elmar Teufl ◽  
Stephan Wagner
Keyword(s):  
Spanning Trees ◽  
General Setting ◽  
Scaling Factor ◽  
Asymptotic Enumeration ◽  
Spanning Forests ◽  
International Audience ◽  
Self Similar ◽  
Connected Subgraphs ◽  
Graph Parameters ◽  
Number Of Spanning Trees

Combinatorics International audience We study two graph parameters, namely the number of spanning forests and the number of connected subgraphs, for self-similar graphs with exactly two boundary vertices. In both cases, we determine the general behavior for these and related auxiliary quantities by means of polynomial recurrences and a careful asymptotic analysis. It turns out that the so-called resistance scaling factor of a graph plays an essential role in both instances, a phenomenon that was previously observed for the number of spanning trees. Several explicit examples show that our findings are likely to hold in an even more general setting.

Sign in / Sign up

Export Citation Format

Share Document