arXiv++ Combinatorics

Let $H$ be a Krull monoid with finite class group $G$ such that every class contains a prime divisor (for example, a ring of integers in an algebraic number field or a holomorphy ring in an algebraic function field). The catenary degree $\mathsf c (H)$ of $H$ is the smallest integer $N$ with the following property: for each $a \in H$ and each two factorizations $z, z'$ of $a$, there exist factorizations $z = z_0, ..., z_k = z'$ of $a$ such that, for each $i \in [1, k]$, $z_i$ arises from $z_{i-1}$ by replacing at most $N$ atoms from $z_{i-1}$ by at most $N$ new atoms. Under a very mild condition on the Davenport constant of $G$, we establish a new and simple characterization of the catenary degree. This characterization gives a new structural understanding of the catenary degree. In particular, it clarifies the relationship between $\mathsf c (H)$ and the set of distances of $H$ and opens the way towards obtaining more detailed results on the catenary degree. As first applications, we give a new upper bound on $\mathsf c(H)$ and characterize when $\mathsf c(H)\leq 4$.

Gessel walks are lattice walks in the quarter plane $\set N^2$ which start at the origin $(0,0)\in\set N^2$ and consist only of steps chosen from the set $\{\leftarrow,\swarrow,\nearrow,\to\}$. We prove that if $g(n;i,j)$ denotes the number of Gessel walks of length $n$ which end at the point $(i,j)\in\set N^2$, then the trivariate generating series $G(t;x,y)=\sum_{n,i,j\geq 0} g(n;i,j)x^i y^j t^n$ is an algebraic function.

There exist very lucid explanations of the combinatorial origins of rational and algebraic functions, in particular with respect to regular and context free languages. In the search to understand how to extend these natural correspondences, we find that the shuffle product models many key aspects of D-finite generating functions, a class which contains algebraic. We consider several different takes on the shuffle product, shuffle closure, and shuffle grammars, and give explicit generating function consequences. In the process, we define a grammar class that models D-finite generating functions.

Given a square matrix with elements in the group-ring of a group, one can consider the sequence formed by the trace (in the sense of the group-ring) of its powers. We prove that the corresponding generating series is an algebraic $G$-function (in the sense of Siegel) when the group is free of finite rank. Consequently, it follows that the norm of such elements is an exactly computable algebraic number, and their Green function is algebraic. Our proof uses the notion of rational and algebraic power series in non-commuting variables and is an easy application of a theorem of Haiman. Haiman's theorem uses results of linguistics regarding regular and context-free language. On the other hand, when the group is free abelian of finite rank, then the corresponding generating series is a $G$-function. We ask whether the latter holds for general hyperbolic groups. This version has an expanded introduction following suggestions from Lehner, Voiculescu and others.

Suppose $Y$ is a regular covering of a graph $X$ with covering transformation group $π= \mathbb{Z}$. This paper gives an explicit formula for the $L^2$ zeta function of $Y$ and computes examples. When $π= \mathbb{Z}$, the $L^2$ zeta function is an algebraic function. As a consequence it extends to a meromorphic function on a Riemann surface. The meromorphic extension provides a setting to generalize known properties of zeta functions of regular graphs, such as the location of singularities and the functional equation.

In his works [R1,R2] David Robbins proposed several interrelated conjectures on the area of the polygons inscribed in a circle as an algebraic function of its sides. Most recently, these conjectures have been established in the course of several independent investigations. In this note we give an informal outline of these developments.

Suppose that we are given a function f : (0,1) -> (0,1) and, for some unknown p in (0,1), a sequence of independent tosses of a p-coin (i.e., a coin with probability p of ``heads''). For which functions f is it possible to simulate an f(p)-coin?; This question was raised by S. Asmussen and J. Propp. A simple simulation scheme for the constant function 1/2 was described by von Neumann (1951); this scheme can be easily implemented using a finite automaton. We prove that in general, an f(p)-coin can be simulated by a finite automaton for all p in (0,1), if and only if f is a rational function over Q. We also show that if an f(p)-coin can be simulated by a pushdown automaton, then f is an algebraic function over Q; however, pushdown automata can simulate f(p)-coins for certain non-rational functions such as the square root of p. These results complement the work of Keane and O'Brien (1994), who determined the functions $f$ for which an f(p)-coin can be simulated when there are no computational restrictions on the simulation scheme.

A conformal partition function ${\cal P}_n^m(s)$, which arose in the theory of Diophantine equations supplemented with additional restrictions, is concerned with {\it self-dual symmetric polynomials} -- reciprocal ${\sf R}^{\{m\}}_ {S_n}$ and skew-reciprocal ${\sf S}^{\{m\}}_{S_n}$ algebraic polynomials based on the polynomial invariants of the symmetric group $S_n$. These polynomials form an infinite commutative semigroup. Real solutions $λ_n(x_i)$ of corresponding algebraic Eqns have many important properties: homogeneity of 1-st order, duality upon the action of the conformal group ${\sf W}$, inverting both function $λ_n$ and the variables $x_i$, compatibility with trivial solution, {\it etc}. Making use of the relationship between Gaussian generating function for conformal partitions and Molien generating function for usual restricted partitions we derived the analytic expressions for ${\cal P}_n^m(s)$. The unimodality indices for the reciprocal and skew-reciprocal equations were found. The existence of algebraic functions $λ_n(x_i)$ invariant upon the action of both the finite group $G\subset S_n$ and conformal group ${\sf W}$ is discussed.