arXiv++ Combinatorics

The $p$-adic Littlewood Conjecture due to De Mathan and Teulié asserts that for any prime number $p$ and any real number $α$, the equation $$\inf_{|m|\ge 1} |m|\cdot |m|_p\cdot |\langle mα\rangle|\, =\, 0 $$ holds. Here, $|m|$ is the usual absolute value of the integer $m$, $|m|_p$ its $p$-adic absolute value and $ |\langle x\rangle|$ denotes the distance from a real number $x$ to the set of integers. This still open conjecture stands as a variant of the well-known Littlewood Conjecture. In the same way as the latter, it admits a natural counterpart over the field of formal Laurent series $\mathbb{K}\left(\left(t^{-1}\right)\right)$ of a ground field $\mathbb{K}$. This is the so-called \emph{$t$-adic Littlewood Conjecture} ($t$-LC). It is known that $t$--LC fails when the ground field $\mathbb{K}$ is infinite. This article is concerned with the much more difficult case when the latter field is finite. More precisely, a \emph{fully explicit} counterexample is provided to show that $t$-LC does not hold in the case that $\mathbb{K}$ is a finite field with characteristic 3. Generalizations to fields with characteristics different from 3 are also discussed. The proof is computer assisted. It reduces to showing that an infinite matrix encoding Hankel determinants of the Paper-Folding sequence over $\mathbb{F}_3$, the so-called Number Wall of this sequence, can be obtained as a two-dimensional automatic tiling satisfying a finite number of suitable local constraints.

This work is devoted to the study of the support of a Laurent series in several variables which is algebraic over the ring of power series over a characteristic zero field. Our first result is the existence of a kind of maximal dual cone of the support of such a Laurent series. As an application of this result we provide a gap theorem for Laurent series which are algebraic over the field of formal power series. We also relate these results to diophantine properties of the fields of Laurent series.

The question of classifying the nature of the generating functions of restricted lattice walks has enjoyed much attention in past years. We prove that a certain class of octant walks have a D-finite generating function using the theory of multivariate formal Laurent series.

Let $S$ be a multigraded polynomial ring such that the degree of each variable is a unit vector; so $S$ is the homogeneous coordinate ring of a product of projective spaces. In this setting, we characterize the formal Laurent series which arise as Hilbert series of finitely generated $S$-modules. Also we provide necessary conditions for a formal Laurent series to be the Hilbert series of a finitely generated module with a given depth. In the bigraded case (corresponding to the product of two projective spaces), we completely classify the Hilbert series of finitely generated modules of positive depth.

We give a Laurent series proof of the Habsieger-Kadell $q$-Morris identity, which is a common generalization of the $q$-Morris identity and the Aomoto constant term identity. The proof allows us to extend the theorem for some additional parameter cases.

Let $A$ be a finite subset of $\ffield$, the field of Laurent series in $1/t$ over a finite field $\mathbb{F}_q$. We show that for any $ε>0$ there exists a constant $C$ dependent only on $ε$ and $q$ such that $\max\{|A+A|,|AA|\}\geq C |A|^{6/5-ε}$. In particular such a result is obtained for the rational function field $\mathbb{F}_q(t)$. Identical results are also obtained for finite subsets of the $p$-adic field $\mathbb{Q}_p$ for any prime $p$.

We prove an explicit formula for infinitely many convergents of Hurwitzian continued fractions that repeat several copies of the same constant and elements of one arithmetic progression, in a quasi-periodic fashion. The proof involves combinatorics and formal Laurent series. Using very little analysis we can express their limits in terms of (modified) Bessel functions and Fibonacci polynomials. The limit formula is a generalization of Lehmer's theorem that implies the continuous fraction expansions of $e$ and $\tan(1)$, and it can also be derived from Lehmer's work using Fibonacci polynomial identities. We completely characterize those implementations of our limit formula for which the parameter of each Bessel function is the half of an odd integer, allowing them to be replaced with elementary functions.

Intrigued by the product formula prod_{i=1}^{n-2} C_i for the volume of the Chan-Robbins-Yuen polytope CRY_n, where C_i is the ith Catalan number, we construct a family of polytopes P_{m,n}, whose volumes are given by the product \prod_{i=m+1}^{m+n-2}\frac{1}{2i+1}{{m+n+i} \choose {2i}}. The Chan-Robbins-Yuen polytope CRY_n coincides with P_{0,n-1}. Our construction of the polytopes P_{m,n} is an application of a systematic method we develop for expressing volumes of a class of flow polytopes as the number of certain triangular arrays. This method can also be used as a heuristic technique for constructing polytopes with combinatorial volumes. As an illustration of this we construct polytopes whose volumes equal the number of r-ary trees on n internal nodes, \frac{1}{(r-1)n+1} {{rn} \choose n}. Using triangular arrays we also express the volumes of flow polytopes as constant terms of formal Laurent series.

The coefficient of x^{-1} of a formal Laurent series f(x) is called the formal residue of f(x). Many combinatorial numbers can be represented by the formal residues of hypergeometric terms. With these representations and the extended Zeilberger's algorithm, we generate recurrence relations for summations involving combinatorial sequences such as Stirling numbers. As examples, we give computer proofs of several known identities and derive some new identities. The applicability of this method is also studied.

One of the landmarks of the modern theory of partial differential equations is the Malgrange- Ehrenpreis theorem that states that every non-zero linear partial differential operator with constant coefficients has a Green function (alias fundamental solution). In this short note I state the discrete analog, and give two proofs. The first one is Ehrenpreis- style, using duality, and the second one is constructive, using formal Laurent series. This article is accompanied by the Maple package LEON available from: http://www.math.rutgers.edu/~zeilberg/tokhniot/LEON .

Decimal expansions of classical constants such as $\sqrt2$, $π$ and $ζ(3)$ have long been a source of difficult questions. In the case of Laurent series with coefficients in a finite field, where no carry-over difficulties appear, the situation seems to be simplified and drastically different. On the other hand, Carlitz introduced analogs of real numbers such as $π$, $e$ or $ζ(3)$. Hence, it became reasonable to enquire how "complex" the Laurent representation of these "numbers" is. In this paper we prove that the inverse of Carlitz's analog of $π$, $Π_q$, has in general a linear complexity, except in the case $q=2$, when the complexity is quadratic. In particular, this implies the transcendence of $Π_2$ over $\F_2(T)$. In the second part, we consider the classes of Laurent series of at most polynomial complexity and of zero entropy. We show that these satisfy some nice closure properties.

An important instance of Rota-Baxter algebras from their quantum field theory application is the ring of Laurent series with a suitable projection. We view the ring of Laurent series as a special case of generalized power series rings with exponents in an ordered monoid. We study when a generalized power series ring has a Rota-Baxter operator and how this is related to the ordered monoid.

By generalizing Gessel-Xin's Laurent series method for proving the Zeilberger-Bressoud $q$-Dyson Theorem, we establish a family of $q$-Dyson style constant term identities. These identities give explicit formulas for certain coefficients of the $q$-Dyson product, including three conjectures of Sills' as special cases and generalizing Stembridge's first layer formulas for characters of $SL(n,\mathbb{C})$.

A subset K of R^n gives rise to a formal Laurent series with monomials corresponding to lattice points in K. Under suitable hypotheses, this series represents a rational function R(K). Michel Brion has discovered a surprising formula relating the rational function R(P) of a lattice polytope P to the sum of rational functions corresponding to the supporting cones subtended at the vertices of P. The result is re-phrased and generalised in the language of cohomology of line bundles on complete toric varieties. Brion's formula is the special case of an ample line bundle on a projective toric variety. - The paper also contains some general remarks on the cohomology of torus-equivariant line bundles on complete toric varieties, valid over noetherian ground rings.

We give an elementary geometric re-proof of a formula discovered by Michel Brion as well as two variants thereof. A subset of R^n gives rise to a formal Laurent series with monomials corresponding to lattice points in the set. Under suitable hypotheses, these series represent rational functions. We will prove formulae relating the rational function of a lattice polytope P to the sum of rational functions corresponding to the supporting cones subtended at the vertices of P. The exposition should be suitable for everyone with a little background in topology.

We give a formal Laurent series proof of Andrews's $q$-Dyson Conjecture, first proved by Zeilberger and Bressoud.

This paper deals with evaluating constant terms of a special class of rational functions, the Elliott-rational functions. The constant term of such a function can be read off immediately from its partial fraction decomposition. We combine the theory of iterated Laurent series and a new algorithm for partial fraction decompositions to obtain a fast algorithm for MacMahon's Omega calculus, which (partially) avoids the "run-time explosion" problem when eliminating several variables. We discuss the efficiency of our algorithm by investigating problems studied by Andrews and his coauthors; our running time is much less than that of their Omega package.

We develop a theory of the field of double Laurent series, iterated Laurent series, and Malcev-Neumann series that applies to most constant term evaluation problems. These include (i) MacMahon's partition analysis, counting solutions of systems of linear Diophantine equations or inequalities, counting the number of lattice points in convex polytopes, (ii) evaluating combinatorial sums and their generating functions, and proving combinatorial identities, and (iii) lattice path enumeration such as walks on the slit plane and walks on the quarter plane. In the general setting of this new theory, the natural definition of "taking the constant term" of a formal series works well and thus the operators of taking constant terms commute with each other. The proof of Bousquet-Mélou and Schaeffer's conjecture about walks on the slit plane is included. In addition, the counting problem of walks on the half plane avoiding the half line is solved. Jacobi's multivariate residue theorem is generalized to a field of Malcev-Neumann series, which gives a new interpretation and a better understanding of the residue theorem. One application of the residue theorem is a concise proof of Dyson's conjecture. A new algorithm for partial fraction decompositions is developed. This new algorithm is fast and uses little storage space. It also results in an efficient algorithm for MacMahon's partition analysis and related constant term evaluations.

There is a theory of continued fractions for Laurent series in x^{-1} with coefficients in a field F. This theory bears a close analogy with classical continued fractions for real numbers with Laurent series playing the role of real numbers and the sum of the terms of non-negative degree in x playing the role of the integral part. In this paper we survey the Laurent series u, with coefficients in a finite extension of gf(2), that satisfy an irreducible equation of the form a_0(x)+ a_1(x)u+a_2(x)u^2 + a_3(x)u^3=0 with a_3 \ne 0 and where the a_i are polynomials of low degree in x with coefficients in gf(2). We are particularly interested in the cases in which the sequence of partial quotients is bounded (only finitely many distinct partial quotients occur). We find that there are three essentially different cases when the a_i(x) have degree \le 1. We also make some empirical observations concerning relations between different Laurent series roots of the same cubic.