arXiv++ Combinatorics

We consider numeration systems based on a $d$-tuple $\mathbf{U}=(U_1,\ldots,U_d)$ of sequences of integers and we define $(\mathbf{U},\mathbb{K})$-regular sequences through $\mathbb{K}$-recognizable formal series, where $\mathbb{K}$ is any semiring. We show that, for any $d$-tuple $\mathbf{U}$ of Pisot numeration systems and any commutative semiring $\mathbb{K}$, this definition does not depend on the greediness of the $\mathbf{U}$-representations of integers. The proof is constructive and is based on the fact that the normalization is realizable by a $2d$-tape finite automaton. In particular, we use an ad hoc operation mixing a $2d$-tape automaton and a $\mathbb{K}$-automaton in order to obtain a new $\mathbb{K}$-automaton.

In the first part of this letter it will be shown that the post-Lie Magnus expansion can be interpreted as a crossed morphism between two (local) Lie group. The second part will be devoted to present two combinatorial methods, both based on special tubings on planar trees, to compute the coefficients of this remarkable formal series.

In this paper, we present a new real-valued Appell-type polynomial family $A_n^{(k)}(m,x), $ every member of which is expressed by mean of a generalized hypergeometric function. The generating exponential function of this type of polynomials is firstly discovered and the proof that they are of Appell-type ones is given. We present the differential operator formal power series representation as well as an explicit formula over the standard basis, and establish a new identity for the generalized hypergeometric function. Besides, we derive the addition, the multiplication and some other formulas for this polynomial family

In this article, we define an information-theoretic entropy based on the Ihara zeta function of a graph which is called the Ihara entropy. A dynamical system consists of a billiard ball and a set of reflectors correspond to a combinatorial graph. The reflectors are represented by the vertices of the graph. Movement of the billiard ball between two reflectors is represented by the edges. The prime cycles of this graph generate the bi-infinite sequences of the corresponding symbolic dynamical system. The number of different prime cycles of a given length can be expressed in terms of the adjacency matrix of the oriented line graph. It also constructs the formal power series expansion of Ihara zeta function. Therefore, the Ihara entropy has a deep connection with the dynamical system of billiards. As an information-theoretic entropy, it fulfils the generalized Shannon-Khinchin axioms. It is a weakly decomposable entropy whose composition law is given by the Lazard formal group law.

Motivated by a recent Diophantine transport problem about how to transport profitably a group of persons or objects, we survey classical facts about solving systems of linear Diophantine equations and inequalities in nonnegative integers. We emphasize on the method of Elliott from 1903 and its further developed by MacMahon in his ``$Ω$-Calculus'' or Partition Analysis. As an illustration we obtain the solution of the considered transport problem in terms of a formal power series in several variables which is an expansion of a rational function of a special form.

We prove Fu's power series conjecture which relates the algebra of isometry invariant valuations on complex space forms to a formal power series from combinatorics which was introduced by Tutte. The $n$-th coefficient of this series is the number of triangulations of a triangle with $3n$ internal edges; or the number of intervals in Tamari's lattice $Y_n$.

As shown by Bousquet-Mélou--Claesson--Dukes--Kitaev (2010), ascent sequences can be used to encode $({\bf2+2})$-free posets. It is known that ascent sequences are enumerated by the Fishburn numbers, which appear as the coefficients of the formal power series $$\sum_{m=1}^{\infty}\prod_{i=1}^m (1-(1-t)^i).$$ In this paper, we present a novel way to recursively decompose ascent sequences, which leads to: (i) a calculation of the Euler--Stirling distribution on ascent sequences, including the numbers of ascents ($\asc$), repeated entries $(\rep)$, zeros ($\zero$) and maximal entries ($\max$). In particular, this confirms and extends Dukes and Parviainen's conjecture on the equidistribution of $\zero$ and $\max$. (ii) a far-reaching generalization of the generating function formula for $(\asc,\zero)$ due to Jelínek. This is accomplished via a bijective proof of the quadruple equidistribution of $(\asc,\rep,\zero,\max)$ and $(\rep,\asc,\rmin,\zero)$, where $\rmin$ denotes the right-to-left minima statistic of ascent sequences. (iii) an extension of a conjecture posed by Levande, which asserts that the pair $(\asc,\zero)$ on ascent sequences has the same distribution as the pair $(\rep,\max)$ on $({\bf2-1})$-avoiding inversion sequences. This is achieved via a decomposition of $({\bf2-1})$-avoiding inversion sequences parallel to that of ascent sequences. This work is motivated by a double Eulerian equidistribution of Foata (1977) and a tempting bi-symmetry conjecture, which asserts that the quadruples $(\asc,\rep,\zero,\max)$ and $(\rep,\asc,\max,\zero)$ are equidistributed on ascent sequences.

Elements of the Riordan group $\cal R$ over a field $\mathbb F$ of characteristic zero are infinite lower triangular matrices which are defined in terms of pairs of formal power series. We wish to bring to the forefront, as a tool in the theory of Riordan groups, the use of multiplicative roots $a(x)^\frac{1}{n}$ of elements $a(x)$ in the ring of formal power series over $\mathbb F$ . Using roots, we give a Normal Form for non-constant formal power series, we prove a surprising simple Composition-Cancellation Theorem and apply this to show that, for a major class of Riordan elements (i.e., for non-constant $g(x)$ and appropriate $F(x)$), only one of the two basic conditions for checking that $\big(g(x), \, F(x)\big)$ has order $n$ in the group $\cal R$ actually needs to be checked. Using all this, our main result is to generalize C. Marshall [Congressus Numerantium, 229 (2017), 343-351] and prove: Given non-constant $g(x)$ satisfying necessary conditions, there exists a unique $F(x)$, given by an explicit formula, such that $\big(g(x), \, F(x)\big)$ is an involution in $\cal R$. Finally, as examples, we apply this theorem to ``aerated" series $h(x) = g(x^q),\ q\ \text{odd}$, to find the unique $K(x)$ such that $\big(h(x), K(x)\big)$ is an involution.

A (noncommutative) Pólya series over a field $K$ is a formal power series whose nonzero coefficients are contained in a finitely generated subgroup of $K^\times$. We show that rational Pólya series are unambiguous rational series, proving a 40 year old conjecture of Reutenauer. The proof combines methods from noncommutative algebra, automata theory, and number theory (specifically, unit equations). As a corollary, a rational series is a Pólya series if and only if it is Hadamard sub-invertible. Phrased differently, we show that every weighted finite automaton taking values in a finitely generated subgroup of a field (and zero) is equivalent to an unambiguous weighted finite automaton.

In this article, we introduce an entropy based on the formal power series expansion of the Ihara Zeta function. We find a number of inequalities based on the values of the Ihara zeta function. These new entropies are applicable in symbolic dynamics and the dynamics of billiards.

In this paper, by use of matrix inversions, we establish a general $q$-expansion formula of arbitrary formal power series $F(z)$ with respect to the base $$\left\{z^n\frac{(az:q)_n}{(bz:q)_n}\bigg|n=0,1,2\cdots\right\}.$$ Some concrete expansion formulas and their applications to $q$-series identities are presented, including Carlitz's $q$-expansion formula, a new partial theta function identity and a coefficient identity of Ramanujan's ${}_1ψ_1$ summation formula as special cases.

A syntax tree is a planar rooted tree where internal nodes are labeled on a graded set of generators. There is a natural notion of occurrence of contiguous pattern in such trees. We describe a way, given a set of generators $\mathfrak{G}$ and a set of patterns $\mathcal{P}$, to enumerate the trees constructed on $\mathfrak{G}$ and avoiding $\mathcal{P}$. The method is built around inclusion-exclusion formulas forming a system of equations on formal power series of trees, and composition operations of trees. This does not require particular conditions on the set of patterns to avoid. We connect this result to the theory of nonsymmetric operads. Syntax trees are the elements of such free structures, so that any operad can be seen as a quotient of a free operad. Moreover, in some cases, the elements of an operad can be seen as trees avoiding some patterns. Relying on this, we use operads as devices for enumeration: given a set of combinatorial objects we want enumerate, we endow it with the structure of an operad, understand it in term of trees and pattern avoidance, and use our method to count them. Several examples are provided.

In the present paper, we use difference Galois theory to study the nature of the generating function counting walks with small steps in the quarter plane. These series are trivariate formal power series $Q(x,y,t)$ that count the number of walks confined in the first quadrant of the plane with a fixed set of admissible steps, called the model of the walk. While the variables $x$ and $y$ are associated to the ending point of the path, the variable $t$ encodes its length. In this paper, we prove that in the unweighted case, $Q(x,y,t)$ satisfies an algebraic differential relation with respect to $t$ if and only if it satisfies an algebraic differential relation with respect $x$ (resp. $y$). Combined with other papers, we are able to characterize the $t$-differential transcendence of the $79$ models of walks listed by Bousquet-Mélou and Mishna.

A formal inverse of a given automatic sequence (the sequence of coefficients of the composition inverse of its associated formal power series) is also automatic. The comparison of properties of the original sequence and its formal inverse is an interesting problem. Such an analysis has been done before for the Thue{Morse sequence. In this paper, we describe arithmetic properties of formal inverses of the generalized Thue-Morse sequences and formal inverses of two modifications of the Rudin{Shapiro sequence. In each case, we give the recurrence relations and the automaton, then we analyze the lengths of strings of consecutive identical letters as well as the frequencies of letters. We also compare the obtained results with the original sequences.

Richard Eager and Sebastian Franco introduced a change of basis transformation on the F-polynomials of Fomin and Zelevinsky, corresponding to rewriting them in the basis given by fractional brane charges rather than quiver gauge groups. This transformation seems to display a surprising stabilization property, apparently causing the first few terms of the polynomials at each step of the mutation sequence to coincide. Eager and Franco conjecture that this transformation will always cause the polynomials to converge to a formal power series as the number of mutations goes to infinity, at least for quivers possessing certain symmetries and along periodic mutation sequences respecting such symmetries. In this paper, we verify this convergence in the case of the Kronecker and Conifold quivers. We also investigate convergence in the $F_0$ quiver. We provide a combinatorial interpretation for the stable cluster variables in each appropriate case.

Weights of permutations were originally introduced by Dugan, Glennon, Gunnells, and Steingrímsson (Journal of Combinatorial Theory, Series A 164:24-49, 2019) in their study of the combinatorics of tiered trees. Given a permutation $σ$ viewed as a sequence of integers, computing the weight of $σ$ involves recursively counting descents of certain subpermutations of $σ$. Using this weight function, one can define a $q$-analog $E_n(x,q)$ of the Eulerian polynomials. We prove two main results regarding weights of permutations and the polynomials $E_n(x,q)$. First, we show that the coefficients of $E_n(x, q)$ stabilize as $n$ goes to infinity, which was conjectured by Dugan, Glennon, Gunnells, and Steingrímsson (Journal of Combinatorial Theory, Series A 164:24-49, 2019), and enables the definition of the formal power series $W_d(t)$, which has interesting combinatorial properties. Second, we derive a recurrence relation for $E_n(x, q)$, similar to the known recurrence for the classical Eulerian polynomials $A_n(x)$. Finally, we give a recursive formula for the numbers of certain integer partitions and, from this, conjecture a recursive formula for the stabilized coefficients mentioned above.

We study the asymptotic number of certain monotonically labeled increasing trees arising from a generalized evolution process. The main difference between the presented model and the classical model of binary increasing trees is that the same label can appear in distinct branches of the tree. In the course of the analysis we develop a method to extract asymptotic information on the coefficients of purely formal power series. The method is based on an approximate Borel transform (or, more generally, Mittag-Leffler transform) which enables us to quickly guess the exponential growth rate. With this guess the sequence is then rescaled and a singularity analysis of the generating function of the scaled counting sequence yields accurate asymptotics. The actual analysis is based on differential equations and a Tauberian argument. The counting problem for trees of size n exhibits interesting asymptotics involving powers of n with irrational exponents.

If $p$ is a prime number, consider a $p$-automatic sequence $(u_n)_{n\ge 0}$, and let $U(X) = \sum_{n\ge 0} u_n X^n \in \mathbb{F}_p[[X]]$ be its generating function. Assume that there exists a formal power series $V(X) = \sum_{n\ge 0} v_n X^n \in \mathbb{F}_p[[X]]$ which is the compositional inverse of $U$, i.e., $U(V(X))=X=V(U(X))$. The problem investigated in this paper is to study the properties of the sequence $(v_n)_{n\ge 0}$. The work was first initiated for the Thue-Morse sequence, and more recently the case of two variations of the Baum-Sweet sequence has been treated. In this paper, we deal with the case of the period-doubling sequence. We first show that the sequence of indices at which the period-doubling sequence takes value $0$ (resp., $1$) is not $k$-regular for any $k\ge 2$. Secondly, we give recurrence relations for its formal inverse, then we easily show that it is $2$-automatic, and we also provide an automaton that generates it. Thirdly, we study the sequence of indices at which this formal inverse takes value $1$, and we show that it is not $k$-regular for any $k\ge 2$ by connecting it to the characteristic sequence of Fibonacci numbers. We leave as an open problem the case of the sequence of indices at which this formal inverse takes value $0$. We end the paper with a remark on the case of generalized Thue-Morse sequences.

This thesis provides an extension of the work of Dirk Kreimer and Alain Connes on the Hopf algebra structure of Feynman graphs and renormalization to general graphs. Additionally, an algebraic structure of the asymptotics of formal power series with factorial growth, which is compatible with the Hopf algebraic structure, is introduced. The Hopf algebraic structure on graphs permits the explicit enumeration of graphs with constraints for the allowed subgraphs. In the case of Feynman diagrams a lattice structure, which will be introduced, exposes additional unique properties for physical quantum field theories. The differential ring of factorially divergent power series allows the extraction of asymptotic results of implicitly defined power series with vanishing radius of convergence. Together both structures provide an algebraic formulation of large graphs with constraints on the allowed subgraphs. These structures are motivated by and used to analyze renormalized zero-dimensional quantum field theory at high orders in perturbation theory. As a pure application of the Hopf algebra structure, an Hopf algebraic interpretation of the Legendre transformation in quantum field theory is given. The differential ring of factorially divergent power series will be used to solve two asymptotic counting problems from combinatorics: The asymptotic number of connected chord diagrams and the number of simple permutations. For both asymptotic solutions, all order asymptotic expansions are provided as generating functions in closed form. Both structures are combined in an application to zero-dimensional quantum field theory. Various quantities are explicitly given asymptotically in the zero-dimensional version of $\varphi^3$, $\varphi^4$, QED, quenched QED and Yukawa theory with their all order asymptotic expansions.

A numerical semigroup $S$ is a subset of the non-negative integers containing $0$ that is closed under addition. The Hilbert series of $S$ (a formal power series equal to the sum of terms $t^n$ over all $n \in S$) can be expressed as a rational function in $t$ whose numerator is characterized in terms of the topology of a simplicial complex determined by membership in $S$. In this paper, we obtain analogous rational expressions for the related power series whose coefficient of $t^n$ equals $f(n)$ for one of several semigroup-theoretic invariants $f:S \to \mathbb R$ known to be eventually quasipolynomial.