Showing 1–13 of 13 results for author: Chyzak, F

Single-exponential bounds for diagonals of D-finite power series

Authors: Shaoshi Chen, Frédéric Chyzak, Pingchuan Ma, Chaochao Zhu

Abstract: D-finite power series appear ubiquitously in combinatorics, number theory, and mathematical physics. They satisfy systems of linear partial differential equations whose solution spaces are finite-dimensional, which makes them enjoy a lot of nice properties. After attempts by others in the 1980s, Lipshitz was the first to prove that the class they form in the multivariate case is closed under the o… ▽ More D-finite power series appear ubiquitously in combinatorics, number theory, and mathematical physics. They satisfy systems of linear partial differential equations whose solution spaces are finite-dimensional, which makes them enjoy a lot of nice properties. After attempts by others in the 1980s, Lipshitz was the first to prove that the class they form in the multivariate case is closed under the operation of diagonal. In particular, an earlier work by Gessel had addressed the D-finiteness of the diagonals of multivariate rational power series. In this paper, we give another proof of Gessel's result that fixes a gap in his original proof, while extending it to the full class of D-finite power series. We also provide a single exponential bound on the degree and order of the defining differential equation satisfied by the diagonal of a D-finite power series in terms of the degree and order of the input differential system. △ Less

Submitted 27 June, 2025; originally announced June 2025.

Differential equations satisfied by generating functions of 5-, 6-, and 7-regular labelled graphs: a reduction-based approach

Authors: Frédéric Chyzak, Marni Mishna

Abstract: By a classic result of Gessel, the exponential generating functions for $k$-regular graphs are D-finite. Using Gröbner bases in Weyl algebras, we compute the linear differential equations satisfied by the generating function for 5-, 6-, and 7- regular graphs. The method is sufficiently robust to consider variants such as graphs with multiple edges, loops, and graphs whose degrees are limited to fi… ▽ More By a classic result of Gessel, the exponential generating functions for $k$-regular graphs are D-finite. Using Gröbner bases in Weyl algebras, we compute the linear differential equations satisfied by the generating function for 5-, 6-, and 7- regular graphs. The method is sufficiently robust to consider variants such as graphs with multiple edges, loops, and graphs whose degrees are limited to fixed sets of values. △ Less

Submitted 27 June, 2025; v1 submitted 7 June, 2024; originally announced June 2024.

MSC Class: 05C30; 12H05

First-order factors of linear Mahler operators

Authors: Frédéric Chyzak, Thomas Dreyfus, Philippe Dumas, Marc Mezzarobba

Abstract: We develop and compare two algorithms for computing first-order right-hand factors in the ring of linear Mahler operators$\ell_r M^r + \dots + \ell_1 M + \ell_0$where $\ell_0, \dots, \ell_r$ are polynomials in~$x$ and $Mx = x^b M$ for some integer $b \geq 2$. In other words, we give algorithms for finding all formal infinite product solutions of linear functional equations… ▽ More We develop and compare two algorithms for computing first-order right-hand factors in the ring of linear Mahler operators$\ell_r M^r + \dots + \ell_1 M + \ell_0$where $\ell_0, \dots, \ell_r$ are polynomials in~$x$ and $Mx = x^b M$ for some integer $b \geq 2$. In other words, we give algorithms for finding all formal infinite product solutions of linear functional equations$\ell_r(x) f(x^{b^r}) + \dots + \ell_1(x) f(x^b) + \ell_0(x) f(x) = 0$. The first of our algorithms is adapted from Petkovšek's classical algorithm forthe analogous problem in the case of linear recurrences. The second one proceeds by computing a basis of generalized power series solutions of the functional equation and by using Hermite-Pad{é} approximants to detect those linear combinations of the solutions that correspond to first-order factors. We present implementations of both algorithms and discuss their use in combination with criteria from the literature to prove the differential transcendence of power series solutions of Mahler equations. △ Less

Submitted 3 February, 2025; v1 submitted 18 March, 2024; originally announced March 2024.

Comments: Dedicated to the memory of Marko Petkovšek. Accepted for publication in the Journal of Symbolic Computation

Refined product formulas for Tamari intervals

Authors: Alin Bostan, Frédéric Chyzak, Vincent Pilaud

Abstract: We provide short product formulas for the $f$-vectors of the canonical complexes of the Tamari lattices and of the cellular diagonals of the associahedra. We provide short product formulas for the $f$-vectors of the canonical complexes of the Tamari lattices and of the cellular diagonals of the associahedra. △ Less

Submitted 24 July, 2024; v1 submitted 20 March, 2023; originally announced March 2023.

Comments: 38 pages, 8 figures, 15 tables. Version 3: New Section 5 on binomial sums

MSC Class: 05A15; 05A19; 06A07

Bijections Between Łukasiewicz Walks and Generalized Tandem Walks

Authors: Frédéric Chyzak, Karen Yeats

Abstract: In this article, we study the enumeration by length of several walk models on the square lattice. We obtain bijections between walks in the upper half-plane returning to the $x$-axis and walks in the quarter plane. A recent work by Bostan, Chyzak, and Mahboubi has given a bijection for models using small north, west, and south-east steps. We adapt and generalize it to a bijection between half-plan… ▽ More In this article, we study the enumeration by length of several walk models on the square lattice. We obtain bijections between walks in the upper half-plane returning to the $x$-axis and walks in the quarter plane. A recent work by Bostan, Chyzak, and Mahboubi has given a bijection for models using small north, west, and south-east steps. We adapt and generalize it to a bijection between half-plane walks using those three steps in two colours and a quarter-plane model over the symmetrized step set consisting of north, north-west, west, south, south-east, and east. We then generalize our bijections to certain models with large steps: for given $p\geq1$, a bijection is given between the half-plane and quarter-plane models obtained by keeping the small south-east step and replacing the two steps north and west of length 1 by the $p+1$ steps of length $p$ in directions between north and west. This model is close to, but distinct from, the model of generalized tandem walks studied by Bousquet-Mélou, Fusy, and Raschel. △ Less

Submitted 17 February, 2020; v1 submitted 9 October, 2018; originally announced October 2018.

Comments: 42 pages

Becker's conjecture on Mahler functions

Authors: Jason Bell, Frederic Chyzak, Michael Coons, Philippe Dumas

Abstract: In 1994, Becker conjectured that if $F(z)$ is a $k$-regular power series, then there exists a $k$-regular rational function $R(z)$ such that $F(z)/R(z)$ satisfies a Mahler-type functional equation with polynomial coefficients where the initial coefficient satisfies $a_0(z)=1$. In this paper, we prove Becker's conjecture in the best-possible form; we show that the rational function $R(z)$ can be ta… ▽ More In 1994, Becker conjectured that if $F(z)$ is a $k$-regular power series, then there exists a $k$-regular rational function $R(z)$ such that $F(z)/R(z)$ satisfies a Mahler-type functional equation with polynomial coefficients where the initial coefficient satisfies $a_0(z)=1$. In this paper, we prove Becker's conjecture in the best-possible form; we show that the rational function $R(z)$ can be taken to be a polynomial $z^γQ(z)$ for some explicit non-negative integer $γ$ and such that $1/Q(z)$ is $k$-regular. △ Less

Submitted 27 November, 2018; v1 submitted 23 February, 2018; originally announced February 2018.

Comments: 19 pages

Hypergeometric Expressions for Generating Functions of Walks with Small Steps in the Quarter Plane

Authors: Alin Bostan, Frédéric Chyzak, Mark van Hoeij, Manuel Kauers, Lucien Pech

Abstract: We study nearest-neighbors walks on the two-dimensional square lattice, that is, models of walks on $\mathbb{Z}^2$ defined by a fixed step set that is a subset of the non-zero vectors with coordinates 0, 1 or $-1$. We concern ourselves with the enumeration of such walks starting at the origin and constrained to remain in the quarter plane $\mathbb{N}^2$, counted by their length and by the position… ▽ More We study nearest-neighbors walks on the two-dimensional square lattice, that is, models of walks on $\mathbb{Z}^2$ defined by a fixed step set that is a subset of the non-zero vectors with coordinates 0, 1 or $-1$. We concern ourselves with the enumeration of such walks starting at the origin and constrained to remain in the quarter plane $\mathbb{N}^2$, counted by their length and by the position of their ending point. Bousquet-Mélou and Mishna [Contemp. Math., pp. 1--39, Amer. Math. Soc., 2010] identified 19 models of walks that possess a D-finite generating function; linear differential equations have then been guessed in these cases by Bostan and Kauers [FPSAC 2009, Discrete Math. Theor. Comput. Sci. Proc., pp. 201--215, 2009]. We give here the first proof that these equations are indeed satisfied by the corresponding generating functions. As a first corollary, we prove that all these 19 generating functions can be expressed in terms of Gauss' hypergeometric functions that are intimately related to elliptic integrals. As a second corollary, we show that all the 19 generating functions are transcendental, and that among their $19 \times 4$ combinatorially meaningful specializations only four are algebraic functions. △ Less

Submitted 20 October, 2016; v1 submitted 9 June, 2016; originally announced June 2016.

Comments: 29 pages, 6 tables

MSC Class: 05A15; 14N10; 33F10; 68W30 (Primary); 33C05; 97N80; 11J89 (Secondary)

Hermite Reduction and Creative Telescoping for Hyperexponential Functions

Authors: Alin Bostan, Shaoshi Chen, Frédéric Chyzak, Ziming Li, Guoce Xin

Abstract: We present a reduction algorithm that simultaneously extends Hermite's reduction for rational functions and the Hermite-like reduction for hyperexponential functions. It yields a unique additive decomposition and allows to decide hyperexponential integrability. Based on this reduction algorithm, we design a new method to compute minimal telescopers for bivariate hyperexponential functions. One of… ▽ More We present a reduction algorithm that simultaneously extends Hermite's reduction for rational functions and the Hermite-like reduction for hyperexponential functions. It yields a unique additive decomposition and allows to decide hyperexponential integrability. Based on this reduction algorithm, we design a new method to compute minimal telescopers for bivariate hyperexponential functions. One of its main features is that it can avoid the costly computation of certificates. Its implementation outperforms Maple's function DEtools[Zeilberger]. Moreover, we derive an order bound on minimal telescopers, which is more general and tighter than the known one. △ Less

Submitted 21 January, 2013; originally announced January 2013.

Comments: 8 pages

MSC Class: 33F10

On the Existence of Telescopers for Mixed Hypergeometric Terms

Authors: Shaoshi Chen, Frédéric Chyzak, Ruyong Feng, Guofeng Fu, Ziming Li

Abstract: We present a criterion for the existence of telescopers for mixed hypergeometric terms, which is based on multiplicative and additive decompositions. The criterion enables us to determine the termination of Zeilberger's algorithms for mixed hypergeometric inputs. We present a criterion for the existence of telescopers for mixed hypergeometric terms, which is based on multiplicative and additive decompositions. The criterion enables us to determine the termination of Zeilberger's algorithms for mixed hypergeometric inputs. △ Less

Submitted 13 November, 2012; v1 submitted 11 November, 2012; originally announced November 2012.

MSC Class: 33F10

Explicit formula for the generating series of diagonal 3D rook paths

Authors: Alin Bostan, Frédéric Chyzak, Mark van Hoeij, Lucien Pech

Abstract: Let $a_n$ denote the number of ways in which a chess rook can move from a corner cell to the opposite corner cell of an $n \times n \times n$ three-dimensional chessboard, assuming that the piece moves closer to the goal cell at each step. We describe the computer-driven \emph{discovery and proof} of the fact that the generating series $G(x)= \sum_{n \geq 0} a_n x^n$ admits the following explicit… ▽ More Let $a_n$ denote the number of ways in which a chess rook can move from a corner cell to the opposite corner cell of an $n \times n \times n$ three-dimensional chessboard, assuming that the piece moves closer to the goal cell at each step. We describe the computer-driven \emph{discovery and proof} of the fact that the generating series $G(x)= \sum_{n \geq 0} a_n x^n$ admits the following explicit expression in terms of a Gaussian hypergeometric function: \[ G(x) = 1 + 6 \cdot \int_0^x \frac{\,\pFq21{1/3}{2/3}{2} {\frac{27 w(2-3w)}{(1-4w)^3}}}{(1-4w)(1-64w)} \, dw.\] △ Less

Submitted 30 September, 2011; v1 submitted 23 May, 2011; originally announced May 2011.

Comments: To appear in "Séminaire Lotharingien de Combinatoire"

MSC Class: Primary 05A15; 14N10; 33F10; 68W30; Secondary 33C05; 97N80

Differential Equations for Algebraic Functions

Authors: Alin Bostan, Frédéric Chyzak, Bruno Salvy, Grégoire Lecerf, Éric Schost

Abstract: It is classical that univariate algebraic functions satisfy linear differential equations with polynomial coefficients. Linear recurrences follow for the coefficients of their power series expansions. We show that the linear differential equation of minimal order has coefficients whose degree is cubic in the degree of the function. We also show that there exists a linear differential equation of… ▽ More It is classical that univariate algebraic functions satisfy linear differential equations with polynomial coefficients. Linear recurrences follow for the coefficients of their power series expansions. We show that the linear differential equation of minimal order has coefficients whose degree is cubic in the degree of the function. We also show that there exists a linear differential equation of order linear in the degree whose coefficients are only of quadratic degree. Furthermore, we prove the existence of recurrences of order and degree close to optimal. We study the complexity of computing these differential equations and recurrences. We deduce a fast algorithm for the expansion of algebraic series. △ Less

Submitted 14 September, 2007; v1 submitted 23 March, 2007; originally announced March 2007.

Journal ref: ISSAC'07, pages 25--32, ACM Press, 2007.

The Distribution of Patterns in Random Trees

Authors: Frédéric Chyzak, Michael Drmota, Thomas Klausner, Gerard Kok

Abstract: Let $T\_n$ denote the set of unrooted labeled trees of size $n$ and let $T\_n$ be a particular (finite, unlabeled) tree. Assuming that every tree of $T\_n$ is equally likely, it is shown that the limiting distribution as $n$ goes to infinity of the number of occurrences of $M$ as an induced subtree is asymptotically normal with mean value and variance asymptotically equivalent to $μn$ and… ▽ More Let $T\_n$ denote the set of unrooted labeled trees of size $n$ and let $T\_n$ be a particular (finite, unlabeled) tree. Assuming that every tree of $T\_n$ is equally likely, it is shown that the limiting distribution as $n$ goes to infinity of the number of occurrences of $M$ as an induced subtree is asymptotically normal with mean value and variance asymptotically equivalent to $μn$ and $σ^2n$, respectively, where the constants $μ>0$ and $σ\ge 0$ are computable. △ Less

Submitted 5 May, 2006; originally announced May 2006.

Effective Scalar Products for D-finite Symmetric Functions

Authors: Frédéric Chyzak, Marni Mishna, Bruno Salvy

Abstract: Many combinatorial generating functions can be expressed as combinations of symmetric functions, or extracted as sub-series and specializations from such combinations. Gessel has outlined a large class of symmetric functions for which the resulting generating functions are D-finite. We extend Gessel's work by providing algorithms that compute differential equations these generating functions satis… ▽ More Many combinatorial generating functions can be expressed as combinations of symmetric functions, or extracted as sub-series and specializations from such combinations. Gessel has outlined a large class of symmetric functions for which the resulting generating functions are D-finite. We extend Gessel's work by providing algorithms that compute differential equations these generating functions satisfy in the case they are given as a scalar product of symmetric functions in Gessel's class. Examples of applications to k-regular graphs and Young tableaux with repeated entries are given. Asymptotic estimates are a natural application of our method, which we illustrate on the same model of Young tableaux. We also derive a seemingly new formula for the Kronecker product of the sum of Schur functions with itself. △ Less

Submitted 13 November, 2012; v1 submitted 9 October, 2003; originally announced October 2003.

Comments: 51 pages, full paper version of FPSAC 02 extended abstract; v2: corrections from original submission, improved clarity; now formatted for journal + bibliography

MSC Class: 05E05 (primary) 05A16 05A15 (secondary)

Journal ref: Journal of Combinatorial Theory Series A, Volume 112 , Issue 1 (October 2005), Pages: 1 - 43