Showing 1–50 of 57 results for author: Kauers, M

On the Problem of Separating Variables in Multivariate Polynomial Ideals

Authors: Manfred Buchacher, Manuel Kauers

Abstract: For a given ideal I in K[x_1,...,x_n,y_1,...,y_m] in a polynomial ring with n+m variables, we want to find all elements that can be written as f-g for some f in K[x_1,...,x_n] and some g in K[y_1,...,y_m], i.e., all elements of I that contain no term involving at the same time one of the x_1,...,x_n and one of the y_1,...,y_m. For principal ideals and for ideals of dimension zero, we give a algori… ▽ More For a given ideal I in K[x_1,...,x_n,y_1,...,y_m] in a polynomial ring with n+m variables, we want to find all elements that can be written as f-g for some f in K[x_1,...,x_n] and some g in K[y_1,...,y_m], i.e., all elements of I that contain no term involving at the same time one of the x_1,...,x_n and one of the y_1,...,y_m. For principal ideals and for ideals of dimension zero, we give a algorithms that compute all these polynomials in a finite number of steps. △ Less

Submitted 29 May, 2024; originally announced May 2024.

Parallel Summation in P-Recursive Extensions

Authors: Shaoshi Chen, Ruyong Feng, Manuel Kauers, Xiuyun Li

Abstract: We propose investigating a summation analog of the paradigm for parallel integration. We make some first steps towards an indefinite summation method applicable to summands that rationally depend on the summation index and a P-recursive sequence and its shifts. There is a distinction between so-called normal and so-called special polynomials. Under the assumption that the corresponding difference… ▽ More We propose investigating a summation analog of the paradigm for parallel integration. We make some first steps towards an indefinite summation method applicable to summands that rationally depend on the summation index and a P-recursive sequence and its shifts. There is a distinction between so-called normal and so-called special polynomials. Under the assumption that the corresponding difference field has no unnatural constants, we are able to predict the normal polynomials appearing in the denominator of a potential closed form. We can also handle the numerator. Our method is incomplete so far as we cannot predict the special polynomials appearing in the denominator. However, we do have some structural results about special polynomials for the setting under consideration. △ Less

Submitted 7 June, 2024; v1 submitted 7 February, 2024; originally announced February 2024.

Reduction-based Creative Telesco** for P-recursive Sequences via Integral Bases

Authors: Shaoshi Chen, Lixin Du, Manuel Kauers, Rong-Hua Wang

Abstract: We propose a way to split a given bivariate P-recursive sequence into a summable part and a non-summable part in such a way that the non-summable part is minimal in some sense. This decomposition gives rise to a new reduction-based creative telesco** algorithm based on the concept of integral bases. We propose a way to split a given bivariate P-recursive sequence into a summable part and a non-summable part in such a way that the non-summable part is minimal in some sense. This decomposition gives rise to a new reduction-based creative telesco** algorithm based on the concept of integral bases. △ Less

Submitted 9 November, 2023; originally announced November 2023.

Comments: 20 pages

Some New Non-Commutative Matrix Multiplication Algorithms of Size $(n,m,6)$

Authors: Manuel Kauers, Jakob Moosbauer

Abstract: For various $2\leq n,m \leq 6$, we propose some new algorithms for multiplying an $n\times m$ matrix with an $m \times 6$ matrix over a possibly noncommutative coefficient ring. For various $2\leq n,m \leq 6$, we propose some new algorithms for multiplying an $n\times m$ matrix with an $m \times 6$ matrix over a possibly noncommutative coefficient ring. △ Less

Submitted 1 June, 2023; originally announced June 2023.

Comments: 9 pages

Some D-finite and Some Possibly D-finite Sequences in the OEIS

Authors: Manuel Kauers, Christoph Koutschan

Abstract: In an automatic search, we found conjectural recurrences for some sequences in the OEIS that were not previously recognized as being D-finite. In some cases, we are able to prove the conjectured recurrence. In some cases, we are not able to prove the conjectured recurrence, but we can prove that a recurrence exists. In some remaining cases, we do not know where the recurrence might come from. In an automatic search, we found conjectural recurrences for some sequences in the OEIS that were not previously recognized as being D-finite. In some cases, we are able to prove the conjectured recurrence. In some cases, we are not able to prove the conjectured recurrence, but we can prove that a recurrence exists. In some remaining cases, we do not know where the recurrence might come from. △ Less

Submitted 24 April, 2023; v1 submitted 5 March, 2023; originally announced March 2023.

MSC Class: 05A15 (Primary) 68W30; 33F10 (Secondary)

Journal ref: Journal of Integer Sequences, vol. 26, article 23.4.5, 2023

Transcendence Certificates for D-finite Functions

Authors: Manuel Kauers, Christoph Koutschan, Thibaut Verron

Abstract: Although in theory we can decide whether a given D-finite function is transcendental, transcendence proofs remain a challenge in practice. Typically, transcendence is certified by checking certain incomplete sufficient conditions. In this paper we propose an additional such condition which catches some cases on which other tests fail. Although in theory we can decide whether a given D-finite function is transcendental, transcendence proofs remain a challenge in practice. Typically, transcendence is certified by checking certain incomplete sufficient conditions. In this paper we propose an additional such condition which catches some cases on which other tests fail. △ Less

Submitted 19 September, 2023; v1 submitted 13 February, 2023; originally announced February 2023.

Comments: 9 pages, 1 figure

Journal ref: Proceedings of International Symposium on Symbolic and Algebraic Computation 2023

Hermite Reduction for D-finite Functions via Integral Bases

Authors: Shaoshi Chen, Lixin Du, Manuel Kauers

Abstract: Trager's Hermite reduction solves the integration problem for algebraic functions via integral bases. A generalization of this algorithm to D-finite functions has so far been limited to the Fuchsian case. In the present paper, we remove this restriction and propose a reduction algorithm based on integral bases that is applicable to arbitrary D-finite functions. Trager's Hermite reduction solves the integration problem for algebraic functions via integral bases. A generalization of this algorithm to D-finite functions has so far been limited to the Fuchsian case. In the present paper, we remove this restriction and propose a reduction algorithm based on integral bases that is applicable to arbitrary D-finite functions. △ Less

Submitted 9 February, 2023; originally announced February 2023.

Comments: 21 pages

Order bounds for $C^2$-finite sequences

Authors: Manuel Kauers, Philipp Nuspl, Veronika Pillwein

Abstract: A sequence is called $C$-finite if it satisfies a linear recurrence with constant coefficients. We study sequences which satisfy a linear recurrence with $C$-finite coefficients. Recently, it was shown that such $C^2$-finite sequences satisfy similar closure properties as $C$-finite sequences. In particular, they form a difference ring. In this paper we present new techniques for performing thes… ▽ More A sequence is called $C$-finite if it satisfies a linear recurrence with constant coefficients. We study sequences which satisfy a linear recurrence with $C$-finite coefficients. Recently, it was shown that such $C^2$-finite sequences satisfy similar closure properties as $C$-finite sequences. In particular, they form a difference ring. In this paper we present new techniques for performing these closure properties of $C^2$-finite sequences. These methods also allow us to derive order bounds which were not known before. Additionally, they provide more insight in the effectiveness of these computations. The results are based on the exponent lattice of algebraic numbers. We present an iterative algorithm which can be used to compute bases of such lattices. △ Less

Submitted 8 February, 2023; originally announced February 2023.

Flip Graphs for Matrix Multiplication

Authors: Manuel Kauers, Jakob Moosbauer

Abstract: We introduce a new method for discovering matrix multiplication schemes based on random walks in a certain graph, which we call the flip graph. Using this method, we were able to reduce the number of multiplications for the matrix formats (4, 4, 5) and (5, 5, 5), both in characteristic two and for arbitrary ground fields. We introduce a new method for discovering matrix multiplication schemes based on random walks in a certain graph, which we call the flip graph. Using this method, we were able to reduce the number of multiplications for the matrix formats (4, 4, 5) and (5, 5, 5), both in characteristic two and for arbitrary ground fields. △ Less

Submitted 2 December, 2022; originally announced December 2022.

The FBHHRBNRSSSHK-Algorithm for Multiplication in $\mathbb{Z}_2^{5\times5}$ is still not the end of the story

Authors: Manuel Kauers, Jakob Moosbauer

Abstract: In response to a recent Nature article which announced an algorithm for multiplying $5\times5$-matrices over $\mathbb{Z}_2$ with only 96 multiplications, two fewer than the previous record, we present an algorithm that does the job with only 95 multiplications. In response to a recent Nature article which announced an algorithm for multiplying $5\times5$-matrices over $\mathbb{Z}_2$ with only 96 multiplications, two fewer than the previous record, we present an algorithm that does the job with only 95 multiplications. △ Less

Submitted 13 October, 2022; v1 submitted 8 October, 2022; originally announced October 2022.

A Normal Form for Matrix Multiplication Schemes

Authors: Manuel Kauers, Jakob Moosbauer

Abstract: Schemes for exact multiplication of small matrices have a large symmetry group. This group defines an equivalence relation on the set of multiplication schemes. There are algorithms to decide whether two schemes are equivalent. However, for a large number of schemes a pairwise equivalence check becomes cumbersome. In this paper we propose an algorithm to compute a normal form of matrix multiplicat… ▽ More Schemes for exact multiplication of small matrices have a large symmetry group. This group defines an equivalence relation on the set of multiplication schemes. There are algorithms to decide whether two schemes are equivalent. However, for a large number of schemes a pairwise equivalence check becomes cumbersome. In this paper we propose an algorithm to compute a normal form of matrix multiplication schemes. This allows us to decide pairwise equivalence of a larger number of schemes efficiently. △ Less

Submitted 1 June, 2022; originally announced June 2022.

Comments: 11 pages

MSC Class: 15A69; 68W30

Order-Degree-Height Surfaces for Linear Operators

Authors: Hui Huang, Manuel Kauers, Gargi Mukherjee

Abstract: It is known for linear operators with polynomial coefficients annihilating a given D-finite function that there is a trade-off between order and degree. Raising the order may give room for lowering the degree. The relationship between order and degree is typically described by a hyperbola known as the order-degree curve. In this paper, we add the height into the picture, i.e., a measure for the si… ▽ More It is known for linear operators with polynomial coefficients annihilating a given D-finite function that there is a trade-off between order and degree. Raising the order may give room for lowering the degree. The relationship between order and degree is typically described by a hyperbola known as the order-degree curve. In this paper, we add the height into the picture, i.e., a measure for the size of the coefficients in the polynomial coefficients. For certain situations, we derive relationships between order, degree, and height that can be viewed as order-degree-height surfaces. △ Less

Submitted 12 May, 2022; originally announced May 2022.

Guessing with Little Data

Authors: Manuel Kauers, Christoph Koutschan

Abstract: Reconstructing a hypothetical recurrence equation from the first terms of an infinite sequence is a classical and well-known technique in experimental mathematics. We propose a variation of this technique which can succeed with fewer input terms. Reconstructing a hypothetical recurrence equation from the first terms of an infinite sequence is a classical and well-known technique in experimental mathematics. We propose a variation of this technique which can succeed with fewer input terms. △ Less

Submitted 8 July, 2022; v1 submitted 16 February, 2022; originally announced February 2022.

Journal ref: Proceedings of ISSAC 2022, pp 83--90

Lazy Hermite Reduction and Creative Telesco** for Algebraic Functions

Authors: Shaoshi Chen, Lixin Du, Manuel Kauers

Abstract: Bronstein's lazy Hermite reduction is a symbolic integration technique that reduces algebraic functions to integrands with only simple poles without the prior computation of an integral basis. We sharpen the lazy Hermite reduction by combining it with the polynomial reduction to solve the decomposition problem of algebraic functions. The sharpened reduction is then used to design a reduction-based… ▽ More Bronstein's lazy Hermite reduction is a symbolic integration technique that reduces algebraic functions to integrands with only simple poles without the prior computation of an integral basis. We sharpen the lazy Hermite reduction by combining it with the polynomial reduction to solve the decomposition problem of algebraic functions. The sharpened reduction is then used to design a reduction-based telesco** algorithm for algebraic functions in two variables. △ Less

Submitted 15 February, 2021; v1 submitted 12 February, 2021; originally announced February 2021.

Comments: 20 pages

Good pivots for small sparse matrices

Authors: Manuel Kauers, Jakob Moosbauer

Abstract: For sparse matrices up to size $8 \times 8$, we determine optimal choices for pivot selection in Gaussian elimination. It turns out that they are slightly better than the pivots chosen by a popular pivot selection strategy, so there is some room for improvement. We then create a pivot selection strategy using machine learning and find that it indeed leads to a small improvement compared to the cla… ▽ More For sparse matrices up to size $8 \times 8$, we determine optimal choices for pivot selection in Gaussian elimination. It turns out that they are slightly better than the pivots chosen by a popular pivot selection strategy, so there is some room for improvement. We then create a pivot selection strategy using machine learning and find that it indeed leads to a small improvement compared to the classical strategy. △ Less

Submitted 29 July, 2020; v1 submitted 2 June, 2020; originally announced June 2020.

Comments: 11 pages

MSC Class: 68W30

Integral P-Recursive Sequences

Authors: Shaoshi Chen, Lixin Du, Manuel Kauers, Thibaut Verron

Abstract: In an earlier paper, the notion of integrality known from algebraic number fields and fields of algebraic functions has been extended to D-finite functions. The aim of the present paper is to extend the notion to the case of P-recursive sequences. In order to do so, we formulate a general algorithm for finding all integral elements for valued vector spaces and then show that this algorithm include… ▽ More In an earlier paper, the notion of integrality known from algebraic number fields and fields of algebraic functions has been extended to D-finite functions. The aim of the present paper is to extend the notion to the case of P-recursive sequences. In order to do so, we formulate a general algorithm for finding all integral elements for valued vector spaces and then show that this algorithm includes not only the algebraic and the D-finite cases but also covers the case of P-recursive sequences. △ Less

Submitted 7 February, 2020; originally announced February 2020.

Comments: 20 pages

Separating Variables in Bivariate Polynomial Ideals

Authors: Manfred Buchacher, Manuel Kauers, Gleb Pogudin

Abstract: We present an algorithm which for any given ideal $I\subseteq\mathbb{K} [x,y]$ finds all elements of $I$ that have the form $f(x) - g(y)$, i.e., all elements in which no monomial is a multiple of $xy$. We present an algorithm which for any given ideal $I\subseteq\mathbb{K} [x,y]$ finds all elements of $I$ that have the form $f(x) - g(y)$, i.e., all elements in which no monomial is a multiple of $xy$. △ Less

Submitted 5 June, 2020; v1 submitted 4 February, 2020; originally announced February 2020.

New ways to multiply 3 x 3-matrices

Authors: Marijn J. H. Heule, Manuel Kauers, Martina Seidl

Abstract: It is known since the 1970s that no more than 23 multiplications are required for computing the product of two 3 x 3-matrices. It is not known whether this can also be done with fewer multiplications. However, there are several mutually inequivalent ways of doing the job with 23 multiplications. In this article, we extend this list considerably by providing more than 13 000 new and mutually inequi… ▽ More It is known since the 1970s that no more than 23 multiplications are required for computing the product of two 3 x 3-matrices. It is not known whether this can also be done with fewer multiplications. However, there are several mutually inequivalent ways of doing the job with 23 multiplications. In this article, we extend this list considerably by providing more than 13 000 new and mutually inequivalent schemes for multiplying 3 x 3-matrices using 23 multiplications. Moreover, we show that the set of all these schemes is a manifold of dimension at least 17. △ Less

Submitted 24 May, 2019; originally announced May 2019.

Lonely Points in Simplices

Authors: Maximilian Jaroschek, Manuel Kauers, Laura Kovacs

Abstract: Given a lattice L in Z^m and a subset A of R^m, we say that a point in A is lonely if it is not equivalent modulo L to another point of A. We are interested in identifying lonely points for specific choices of L when A is a dilated standard simplex, and in conditions on L which ensure that the number of lonely points is unbounded as the simplex dilation goes to infinity. Given a lattice L in Z^m and a subset A of R^m, we say that a point in A is lonely if it is not equivalent modulo L to another point of A. We are interested in identifying lonely points for specific choices of L when A is a dilated standard simplex, and in conditions on L which ensure that the number of lonely points is unbounded as the simplex dilation goes to infinity. △ Less

Submitted 21 May, 2019; originally announced May 2019.

Local Search for Fast Matrix Multiplication

Authors: Marijn J. H. Heule, Manuel Kauers, Martina Seidl

Abstract: Laderman discovered a scheme for computing the product of two 3x3 matrices using only 23 multiplications in 1976. Since then, some more such schemes were proposed, but it remains open how many there are and whether there exist schemes with fewer than 23 multiplications. In this paper we present two independent SAT-based methods for finding new schemes. Both methods allow computing a few hundred ne… ▽ More Laderman discovered a scheme for computing the product of two 3x3 matrices using only 23 multiplications in 1976. Since then, some more such schemes were proposed, but it remains open how many there are and whether there exist schemes with fewer than 23 multiplications. In this paper we present two independent SAT-based methods for finding new schemes. Both methods allow computing a few hundred new schemes individually, and many thousands when combined. Local search SAT solvers outperform CDCL solvers consistently in this application. △ Less

Submitted 19 August, 2019; v1 submitted 27 March, 2019; originally announced March 2019.

On the maximal minimal cube lengths in distinct DNF tautologies

Authors: Manuel Kauers, Martina Seidl, Doron Zeilberger

Abstract: Inspired by a recent article by Anthony Zaleski and Doron Zeilberger, we investigate the question of determining the largest k for which there exists boolean formulas in disjunctive normal form (DNF) with n variables, none of whose conjunctions are `parallel', and such that all of them have at least k literals. Using a SAT solver, we answer some of the questions they left open. We also determine t… ▽ More Inspired by a recent article by Anthony Zaleski and Doron Zeilberger, we investigate the question of determining the largest k for which there exists boolean formulas in disjunctive normal form (DNF) with n variables, none of whose conjunctions are `parallel', and such that all of them have at least k literals. Using a SAT solver, we answer some of the questions they left open. We also determine the corresponding numbers for DNFs obeying certain symmetries. △ Less

Submitted 9 February, 2019; originally announced February 2019.

A Simple Re-Derivation of Onsager's Solution of the 2D Ising Model using Experimental Mathematics

Authors: Manuel Kauers, Doron Zeilberger

Abstract: In this case study, we illustrate the great potential of experimental mathematics and symbolic computation, by rederiving, ab initio, Onsager's celebrated solution of the twodimensional Ising model in zero magnetic field. Onsager's derivation is extremely complicated and ad hoc, as are all the subsequent proofs. Unlike Onsager's, our derivation is not rigorous, yet it is absolutely certain (even i… ▽ More In this case study, we illustrate the great potential of experimental mathematics and symbolic computation, by rederiving, ab initio, Onsager's celebrated solution of the twodimensional Ising model in zero magnetic field. Onsager's derivation is extremely complicated and ad hoc, as are all the subsequent proofs. Unlike Onsager's, our derivation is not rigorous, yet it is absolutely certain (even if Onsager did not do it before), and should have been acceptable to physicists who do not share mathematicians' fanatical (and often misplaced) insistence on rigor. △ Less

Submitted 23 May, 2018; originally announced May 2018.

Short Proofs for Some Symmetric Quantified Boolean Formulas

Authors: Manuel Kauers, Martina Seidl

Abstract: We exploit symmetries to give short proofs for two prominent formula families of QBF proof complexity. On the one hand, we employ symmetry breakers. On the other hand, we enrich the (relatively weak) QBF resolution calculus Q-Res with the symmetry rule and obtain separations to powerful QBF calculi. We exploit symmetries to give short proofs for two prominent formula families of QBF proof complexity. On the one hand, we employ symmetry breakers. On the other hand, we enrich the (relatively weak) QBF resolution calculus Q-Res with the symmetry rule and obtain separations to powerful QBF calculi. △ Less

Submitted 4 April, 2018; originally announced April 2018.

Symmetries of Quantified Boolean Formulas

Authors: Manuel Kauers, Martina Seidl

Abstract: While symmetries are well understood for Boolean formulas and successfully exploited in practical SAT solving, less is known about symmetries in quantified Boolean formulas (QBF). There are some works introducing adaptions of propositional symmetry breaking techniques, with a theory covering only very specific parts of QBF symmetries. We present a general framework that gives a concise characteriz… ▽ More While symmetries are well understood for Boolean formulas and successfully exploited in practical SAT solving, less is known about symmetries in quantified Boolean formulas (QBF). There are some works introducing adaptions of propositional symmetry breaking techniques, with a theory covering only very specific parts of QBF symmetries. We present a general framework that gives a concise characterization of symmetries of QBF. Our framework naturally incorporates the duality of universal and existential symmetries resulting in a general basis for QBF symmetry breaking. △ Less

Submitted 12 February, 2018; originally announced February 2018.

Apparent Singularities of D-finite Systems

Authors: Shaoshi Chen, Manuel Kauers, Ziming Li, Yi Zhang

Abstract: We generalize the notions of singularities and ordinary points from linear ordinary differential equations to D-finite systems. Ordinary points of a D-finite system are characterized in terms of its formal power series solutions. We also show that apparent singularities can be removed like in the univariate case by adding suitable additional solutions to the system at hand. Several algorithms are… ▽ More We generalize the notions of singularities and ordinary points from linear ordinary differential equations to D-finite systems. Ordinary points of a D-finite system are characterized in terms of its formal power series solutions. We also show that apparent singularities can be removed like in the univariate case by adding suitable additional solutions to the system at hand. Several algorithms are presented for removing and detecting apparent singularities. In addition, an algorithm is given for computing formal power series solutions of a D-finite system at apparent singularities. △ Less

Submitted 2 May, 2017; originally announced May 2017.

Asymptotic Enumeration of Compacted Binary Trees of Bounded Right Height

Authors: Antoine Genitrini, Bernhard Gittenberger, Manuel Kauers, Michael Wallner

Abstract: A compacted binary tree is a graph created from a binary tree such that repeatedly occurring subtrees in the original tree are represented by pointers to existing ones, and hence every subtree is unique. Such representations form a special class of directed acyclic graphs. We are interested in the asymptotic number of compacted trees of given size, where the size of a compacted tree is given by th… ▽ More A compacted binary tree is a graph created from a binary tree such that repeatedly occurring subtrees in the original tree are represented by pointers to existing ones, and hence every subtree is unique. Such representations form a special class of directed acyclic graphs. We are interested in the asymptotic number of compacted trees of given size, where the size of a compacted tree is given by the number of its internal nodes. Due to its superexponential growth this problem poses many difficulties. Therefore we restrict our investigations to compacted trees of bounded right height, which is the maximal number of edges going to the right on any path from the root to a leaf. We solve the asymptotic counting problem for this class as well as a closely related, further simplified class. For this purpose, we develop a calculus on exponential generating functions for compacted trees of bounded right height and for relaxed trees of bounded right height, which differ from compacted trees by drop** the above described uniqueness condition. This enables us to derive a recursively defined sequence of differential equations for the exponential generating functions. The coefficients can then be determined by performing a singularity analysis of the solutions of these differential equations. Our main results are the computation of the asymptotic numbers of relaxed as well as compacted trees of bounded right height and given size, when the size tends to infinity. △ Less

Submitted 9 March, 2022; v1 submitted 29 March, 2017; originally announced March 2017.

Comments: 44 pages, 28 figures

MSC Class: 05C30; 05A16; 05C20; 05C05 ACM Class: G.2.1; G.2.2

Journal ref: J. Combin. Theory Ser. A 172 (2020), 105177

Bounds for Substituting Algebraic Functions into D-finite Functions

Authors: Manuel Kauers, Gleb Pogudin

Abstract: It is well known that the composition of a D-finite function with an algebraic function is again D-finite. We give the first estimates for the orders and the degrees of annihilating operators for the compositions. We find that the analysis of removable singularities leads to an order-degree curve which is much more accurate than the order-degree curve obtained from the usual linear algebra reasoni… ▽ More It is well known that the composition of a D-finite function with an algebraic function is again D-finite. We give the first estimates for the orders and the degrees of annihilating operators for the compositions. We find that the analysis of removable singularities leads to an order-degree curve which is much more accurate than the order-degree curve obtained from the usual linear algebra reasoning. △ Less

Submitted 26 May, 2017; v1 submitted 26 January, 2017; originally announced January 2017.

Reduction-Based Creative Telesco** for Fuchsian D-finite Functions

Authors: Shaoshi Chen, Mark van Hoeij, Manuel Kauers, Christoph Koutschan

Abstract: Continuing a series of articles in the past few years on creative telesco** using reductions, we adapt Trager's Hermite reduction for algebraic functions to fuchsian D-finite functions and develop a reduction-based creative telesco** algorithm for this class of functions, thereby generalizing our recent reduction-based algorithm for algebraic functions, presented at ISSAC 2016. Continuing a series of articles in the past few years on creative telesco** using reductions, we adapt Trager's Hermite reduction for algebraic functions to fuchsian D-finite functions and develop a reduction-based creative telesco** algorithm for this class of functions, thereby generalizing our recent reduction-based algorithm for algebraic functions, presented at ISSAC 2016. △ Less

Submitted 22 November, 2016; originally announced November 2016.

Comments: arXiv admin note: text overlap with arXiv:1602.00424

D-finite Numbers

Authors: Hui Huang, Manuel Kauers

Abstract: D-finite functions and P-recursive sequences are defined in terms of linear differential and recurrence equations with polynomial coefficients. In this paper, we introduce a class of numbers closely related to D-finite functions and P-recursive sequences. It consists of the limits of convergent P-recursive sequences. Typically, this class contains many well-known mathematical constants in addition… ▽ More D-finite functions and P-recursive sequences are defined in terms of linear differential and recurrence equations with polynomial coefficients. In this paper, we introduce a class of numbers closely related to D-finite functions and P-recursive sequences. It consists of the limits of convergent P-recursive sequences. Typically, this class contains many well-known mathematical constants in addition to the algebraic numbers. Our definition of the class of D-finite numbers depends on two subrings of the field of complex numbers. We investigate how different choices of these two subrings affect the class. Moreover, we show that D-finite numbers are essentially limits of D-finite functions at the point one, and evaluating D-finite functions at non-singular algebraic points typically yields D-finite numbers. This result makes it easier to recognize certain numbers to be D-finite. △ Less

Submitted 26 May, 2018; v1 submitted 17 November, 2016; originally announced November 2016.

Comments: 19 pages

Some Open Problems related to Creative Telesco**

Authors: Shaoshi Chen, Manuel Kauers

Abstract: Creative telesco** is the method of choice for obtaining information about definite sums or integrals. It has been intensively studied since the early 1990s, and can now be considered as a classical technique in computer algebra. At the same time, it is still subject of ongoing research. In this paper, we present a selection of open problems in this context. We would be curious to hear about any… ▽ More Creative telesco** is the method of choice for obtaining information about definite sums or integrals. It has been intensively studied since the early 1990s, and can now be considered as a classical technique in computer algebra. At the same time, it is still subject of ongoing research. In this paper, we present a selection of open problems in this context. We would be curious to hear about any substantial progress on any of these problems. △ Less

Submitted 13 September, 2016; originally announced September 2016.

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)

Reduction-Based Creative Telesco** for Algebraic Functions

Authors: Shaoshi Chen, Manuel Kauers, Christoph Koutschan

Abstract: Continuing a series of articles in the past few years on creative telesco** using reductions, we develop a new algorithm to construct minimal telescopers for algebraic functions. This algorithm is based on Trager's Hermite reduction and on polynomial reduction, which was originally designed for hyperexponential functions and extended to the algebraic case in this paper. Continuing a series of articles in the past few years on creative telesco** using reductions, we develop a new algorithm to construct minimal telescopers for algebraic functions. This algorithm is based on Trager's Hermite reduction and on polynomial reduction, which was originally designed for hyperexponential functions and extended to the algebraic case in this paper. △ Less

Submitted 1 February, 2016; originally announced February 2016.

ACM Class: I.1.2

Factorization of C-finite Sequences

Authors: Manuel Kauers, Doron Zeilberger

Abstract: We discuss how to decide whether a given C-finite sequence can be written nontrivially as a product of two other C-finite sequences. We discuss how to decide whether a given C-finite sequence can be written nontrivially as a product of two other C-finite sequences. △ Less

Submitted 12 January, 2016; originally announced January 2016.

ACM Class: I.1.2

On a Conjecture of Cusick Concerning the Sum of Digits of n and n + t

Authors: Michael Drmota, Manuel Kauers, Lukas Spiegelhofer

Abstract: For a nonnegative integer $t$, let $c_t$ be the asymptotic density of natural numbers $n$ for which $s(n + t) \geq s(n)$, where $s(n)$ denotes the sum of digits of $n$ in base $2$. We prove that $c_t > 1/2$ for $t$ in a set of asymptotic density $1$, thus giving a partial solution to a conjecture of T. W. Cusick stating that $c_t > 1/2$ for all t. Interestingly, this problem has several equivalent… ▽ More For a nonnegative integer $t$, let $c_t$ be the asymptotic density of natural numbers $n$ for which $s(n + t) \geq s(n)$, where $s(n)$ denotes the sum of digits of $n$ in base $2$. We prove that $c_t > 1/2$ for $t$ in a set of asymptotic density $1$, thus giving a partial solution to a conjecture of T. W. Cusick stating that $c_t > 1/2$ for all t. Interestingly, this problem has several equivalent formulations, for example that the polynomial $X(X + 1)\cdots(X + t - 1)$ has less than $2^t$ zeros modulo $2^{t+1}$. The proof of the main result is based on Chebyshev's inequality and the asymptotic analysis of a trivariate rational function, using methods from analytic combinatorics. △ Less

Submitted 2 May, 2016; v1 submitted 29 September, 2015; originally announced September 2015.

Comments: 27 pages

MSC Class: 11A63; 05A20; 05A16; 11B50; 11B65

Journal ref: SIAM J. Discrete Math., 30(2):621-649, 2016

A Modified Abramov-Petkovsek Reduction and Creative Telesco** for Hypergeometric Terms

Authors: Shaoshi Chen, Hui Huang, Manuel Kauers, Ziming Li

Abstract: The Abramov-Petkovsek reduction computes an additive decomposition of a hypergeometric term, which extends the functionality of the Gosper algorithm for indefinite hypergeometric summation. We modify the Abramov-Petkovsek reduction so as to decompose a hypergeometric term as the sum of a summable term and a non-summable one. The outputs of the Abramov-Petkovsek reduction and our modified version s… ▽ More The Abramov-Petkovsek reduction computes an additive decomposition of a hypergeometric term, which extends the functionality of the Gosper algorithm for indefinite hypergeometric summation. We modify the Abramov-Petkovsek reduction so as to decompose a hypergeometric term as the sum of a summable term and a non-summable one. The outputs of the Abramov-Petkovsek reduction and our modified version share the same required properties. The modified reduction does not solve any auxiliary linear difference equation explicitly. It is also more efficient than the original reduction according to computational experiments. Based on this reduction, we design a new algorithm to compute minimal telescopers for bivariate hypergeometric terms. The new algorithm can avoid the costly computation of certificates. △ Less

Submitted 10 June, 2015; v1 submitted 19 January, 2015; originally announced January 2015.

Comments: 8 pages, ISSAC 2015 submission

ACM Class: I.1.2

Integral D-Finite Functions

Authors: Manuel Kauers, Christoph Koutschan

Abstract: We propose a differential analog of the notion of integral closure of algebraic function fields. We present an algorithm for computing the integral closure of the algebra defined by a linear differential operator. Our algorithm is a direct analog of van Hoeij's algorithm for computing integral bases of algebraic function fields. We propose a differential analog of the notion of integral closure of algebraic function fields. We present an algorithm for computing the integral closure of the algebra defined by a linear differential operator. Our algorithm is a direct analog of van Hoeij's algorithm for computing integral bases of algebraic function fields. △ Less

Submitted 30 June, 2015; v1 submitted 15 January, 2015; originally announced January 2015.

ACM Class: I.1.2

Journal ref: Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC 2015), pages 251-258, 2015. ACM, New York, USA, ISBN 978-1-4503-3435-8

Bounds for D-finite closure properties

Authors: Manuel Kauers

Abstract: We provide bounds on the size of operators obtained by algorithms for executing D-finite closure properties. For operators of small order, we give bounds on the degree and on the height (bit-size). For higher order operators, we give degree bounds that are parameterized with respect to the order and reflect the phenomenon that higher order operators may have lower degrees (order-degree curves). We provide bounds on the size of operators obtained by algorithms for executing D-finite closure properties. For operators of small order, we give bounds on the degree and on the height (bit-size). For higher order operators, we give degree bounds that are parameterized with respect to the order and reflect the phenomenon that higher order operators may have lower degrees (order-degree curves). △ Less

Submitted 23 August, 2014; originally announced August 2014.

ACM Class: I.1.2

Desingularization of Ore Operators

Authors: Shaoshi Chen, Manuel Kauers, Michael F. Singer

Abstract: We show that Ore operators can be desingularized by calculating a least common left multiple with a random operator of appropriate order. Our result generalizes a classical result about apparent singularities of linear differential equations, and it gives rise to a surprisingly simple desingularization algorithm. We show that Ore operators can be desingularized by calculating a least common left multiple with a random operator of appropriate order. Our result generalizes a classical result about apparent singularities of linear differential equations, and it gives rise to a surprisingly simple desingularization algorithm. △ Less

Submitted 23 August, 2014; originally announced August 2014.

A Generalized Apagodu-Zeilberger Algorithm

Authors: Shaoshi Chen, Manuel Kauers, Christoph Koutschan

Abstract: The Apagodu-Zeilberger algorithm can be used for computing annihilating operators for definite sums over hypergeometric terms, or for definite integrals over hyperexponential functions. In this paper, we propose a generalization of this algorithm which is applicable to arbitrary $\partial$-finite functions. In analogy to the hypergeometric case, we introduce the notion of proper $\partial$-finite… ▽ More The Apagodu-Zeilberger algorithm can be used for computing annihilating operators for definite sums over hypergeometric terms, or for definite integrals over hyperexponential functions. In this paper, we propose a generalization of this algorithm which is applicable to arbitrary $\partial$-finite functions. In analogy to the hypergeometric case, we introduce the notion of proper $\partial$-finite functions. We show that the algorithm always succeeds for these functions, and we give a tight a priori bound for the order of the output operator. △ Less

Submitted 2 August, 2014; v1 submitted 11 February, 2014; originally announced February 2014.

ACM Class: I.1.2

Journal ref: Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC 2014), pages 107-114, 2014. ACM, New York, USA, ISBN 978-1-4503-2501-1

On the length of integers in telescopers for proper hypergeometric terms

Authors: Manuel Kauers, Lily Yen

Abstract: We show that the number of digits in the integers of a creative telesco** relation of expected minimal order for a bivariate proper hypergeometric term has essentially cubic growth with the problem size. For telescopers of higher order but lower degree we obtain a quintic bound. Experiments suggest that these bounds are tight. As applications of our results, we give an improved bound on the maxi… ▽ More We show that the number of digits in the integers of a creative telesco** relation of expected minimal order for a bivariate proper hypergeometric term has essentially cubic growth with the problem size. For telescopers of higher order but lower degree we obtain a quintic bound. Experiments suggest that these bounds are tight. As applications of our results, we give an improved bound on the maximal possible integer root of the leading coefficient of a telescoper, and the first discussion of the bit complexity of creative telesco**. △ Less

Submitted 23 February, 2014; v1 submitted 14 November, 2013; originally announced November 2013.

Comments: 21 pages, 2 figures, to appear in the Journal of Symbolic Computation

Ore Polynomials in Sage

Authors: Manuel Kauers, Maximilian Jaroschek, Fredrik Johansson

Abstract: We present a Sage implementation of Ore algebras. The main features for the most common instances include basic arithmetic and actions; gcrd and lclm; D-finite closure properties; natural transformations between related algebras; guessing; desingularization; solvers for polynomials, rational functions and (generalized) power series. This paper is a tutorial on how to use the package. We present a Sage implementation of Ore algebras. The main features for the most common instances include basic arithmetic and actions; gcrd and lclm; D-finite closure properties; natural transformations between related algebras; guessing; desingularization; solvers for polynomials, rational functions and (generalized) power series. This paper is a tutorial on how to use the package. △ Less

Submitted 18 June, 2013; originally announced June 2013.

Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order

Authors: Stefan Gerhold, Manuel Kauers, Christoph Koutschan, Peter Paule, Carsten Schneider, Burkhard Zimmermann

Abstract: We employ computer algebra algorithms to prove a collection of identities involving Bessel functions with half-integer orders and other special functions. These identities appear in the famous Handbook of Mathematical Functions, as well as in its successor, the DLMF, but their proofs were lost. We use generating functions and symbolic summation techniques to produce new proofs for them. We employ computer algebra algorithms to prove a collection of identities involving Bessel functions with half-integer orders and other special functions. These identities appear in the famous Handbook of Mathematical Functions, as well as in its successor, the DLMF, but their proofs were lost. We use generating functions and symbolic summation techniques to produce new proofs for them. △ Less

Submitted 19 July, 2013; v1 submitted 21 May, 2013; originally announced May 2013.

Comments: Final version, some typos were corrected. 21 pages, uses svmult.cls

Journal ref: In Carsten Schneider and Johannes Bluemlein (eds.): Computer Algebra in Quantum Field Theory: Integration, Summation and Special Functions. Texts & Monographs in Symbolic Computation, Springer-Verlag Wien 2013

Finding Hyperexponential Solutions of Linear ODEs by Numerical Evaluation

Authors: Fredrik Johansson, Manuel Kauers, Marc Mezzarobba

Abstract: We present a new algorithm for computing hyperexponential solutions of ordinary linear differential equations with polynomial coefficients. The algorithm relies on interpreting formal series solutions at the singular points as analytic functions and evaluating them numerically at some common ordinary point. The numerical data is used to determine a small number of combinations of the formal series… ▽ More We present a new algorithm for computing hyperexponential solutions of ordinary linear differential equations with polynomial coefficients. The algorithm relies on interpreting formal series solutions at the singular points as analytic functions and evaluating them numerically at some common ordinary point. The numerical data is used to determine a small number of combinations of the formal series that may give rise to hyperexponential solutions. △ Less

Submitted 11 January, 2013; originally announced January 2013.

ACM Class: I.1.2

Desingularization Explains Order-Degree Curves for Ore Operators

Authors: Shaoshi Chen, Maximilian Jaroschek, Manuel Kauers, Michael F. Singer

Abstract: Desingularization is the problem of finding a left multiple of a given Ore operator in which some factor of the leading coefficient of the original operator is removed. An order-degree curve for a given Ore operator is a curve in the $(r,d)$-plane such that for all points $(r,d)$ above this curve, there exists a left multiple of order $r$ and degree $d$ of the given operator. We give a new proof o… ▽ More Desingularization is the problem of finding a left multiple of a given Ore operator in which some factor of the leading coefficient of the original operator is removed. An order-degree curve for a given Ore operator is a curve in the $(r,d)$-plane such that for all points $(r,d)$ above this curve, there exists a left multiple of order $r$ and degree $d$ of the given operator. We give a new proof of a desingularization result by Abramov and van Hoeij for the shift case, and show how desingularization implies order-degree curves which are extremely accurate in examples. △ Less

Submitted 5 January, 2013; originally announced January 2013.

ACM Class: I.1.2

Hypercontractive inequalities via SOS, and the Frankl--Rödl graph

Authors: Manuel Kauers, Ryan O'Donnell, Li-Yang Tan, Yuan Zhou

Abstract: Our main result is a formulation and proof of the reverse hypercontractive inequality in the sum-of-squares (SOS) proof system. As a consequence we show that for any constant $0 < γ\leq 1/4$, the SOS/Lasserre SDP hierarchy at degree $4\lceil \frac{1}{4γ}\rceil$ certifies the statement "the maximum independent set in the Frankl--Rödl graph $\mathrm{FR}^{n}_γ$ has fractional size~$o(1)$". Here… ▽ More Our main result is a formulation and proof of the reverse hypercontractive inequality in the sum-of-squares (SOS) proof system. As a consequence we show that for any constant $0 < γ\leq 1/4$, the SOS/Lasserre SDP hierarchy at degree $4\lceil \frac{1}{4γ}\rceil$ certifies the statement "the maximum independent set in the Frankl--Rödl graph $\mathrm{FR}^{n}_γ$ has fractional size~$o(1)$". Here $\mathrm{FR}^{n}_γ = (V,E)$ is the graph with $V = \{0,1\}^n$ and $(x,y) \in E$ whenever $Δ(x,y) = (1-γ)n$ (an even integer). In particular, we show the degree-$4$ SOS algorithm certifies the chromatic number lower bound "$χ(\mathrm{FR}^{n}_{1/4}) = ω(1)$", even though $\mathrm{FR}^{n}_{1/4}$ is the canonical integrality gap instance for which standard SDP relaxations cannot even certify "$χ(\mathrm{FR}^{n}_{1/4}) > 3$". Finally, we also give an SOS proof of (a generalization of) the sharp $(2,q)$-hypercontractive inequality for any even integer $q$. △ Less

Submitted 1 March, 2016; v1 submitted 20 December, 2012; originally announced December 2012.

Order-Degree Curves for Hypergeometric Creative Telesco**

Authors: Shaoshi Chen, Manuel Kauers

Abstract: Creative telesco** applied to a bivariate proper hypergeometric term produces linear recurrence operators with polynomial coefficients, called telescopers. We provide bounds for the degrees of the polynomials appearing in these operators. Our bounds are expressed as curves in the (r,d)-plane which assign to every order r a bound on the degree d of the telescopers. These curves are hyperbolas, wh… ▽ More Creative telesco** applied to a bivariate proper hypergeometric term produces linear recurrence operators with polynomial coefficients, called telescopers. We provide bounds for the degrees of the polynomials appearing in these operators. Our bounds are expressed as curves in the (r,d)-plane which assign to every order r a bound on the degree d of the telescopers. These curves are hyperbolas, which reflect the phenomenon that higher order telescopers tend to have lower degree, and vice versa. △ Less

Submitted 10 January, 2012; originally announced January 2012.

Telescopers for Rational and Algebraic Functions via Residues

Authors: Shaoshi Chen, Manuel Kauers, Michael F. Singer

Abstract: We show that the problem of constructing telescopers for functions of m variables is equivalent to the problem of constructing telescopers for algebraic functions of m -1 variables and present a new algorithm to construct telescopers for algebraic functions of two variables. These considerations are based on analyzing the residues of the input. According to experiments, the resulting algorithm for… ▽ More We show that the problem of constructing telescopers for functions of m variables is equivalent to the problem of constructing telescopers for algebraic functions of m -1 variables and present a new algorithm to construct telescopers for algebraic functions of two variables. These considerations are based on analyzing the residues of the input. According to experiments, the resulting algorithm for rational functions of three variables is faster than known algorithms, at least in some examples of combinatorial interest. The algorithm for algebraic functions implies a new bound on the order of the telescopers. △ Less

Submitted 10 January, 2012; v1 submitted 9 January, 2012; originally announced January 2012.

MSC Class: 33F10; 68W30 ACM Class: I.1.2

Trading Order for Degree in Creative Telesco**

Authors: Shaoshi Chen, Manuel Kauers

Abstract: We analyze the differential equations produced by the method of creative telesco** applied to a hyperexponential term in two variables. We show that equations of low order have high degree, and that higher order equations have lower degree. More precisely, we derive degree bounding formulas which allow to estimate the degree of the output equations from creative telesco** as a function of the… ▽ More We analyze the differential equations produced by the method of creative telesco** applied to a hyperexponential term in two variables. We show that equations of low order have high degree, and that higher order equations have lower degree. More precisely, we derive degree bounding formulas which allow to estimate the degree of the output equations from creative telesco** as a function of the order. As an application, we show how the knowledge of these formulas can be used to improve, at least in principle, the performance of creative telesco** implementations, and we deduce bounds on the asymptotic complexity of creative telesco** for hyperexponential terms. △ Less

Submitted 31 January, 2012; v1 submitted 23 August, 2011; originally announced August 2011.

A Refined Denominator Bounding Algorithm for Multivariate Linear Difference Equations

Authors: Manuel Kauers, Carsten Schneider

Abstract: We continue to investigate which polynomials can possibly occur as factors in the denominators of rational solutions of a given partial linear difference equation. In an earlier article we had introduced the distinction between periodic and aperiodic factors in the denominator, and we gave an algorithm for predicting the aperiodic ones. Now we extend this technique towards the periodic case… ▽ More We continue to investigate which polynomials can possibly occur as factors in the denominators of rational solutions of a given partial linear difference equation. In an earlier article we had introduced the distinction between periodic and aperiodic factors in the denominator, and we gave an algorithm for predicting the aperiodic ones. Now we extend this technique towards the periodic case and present a refined algorithm which also finds most of the periodic factors. △ Less

Submitted 14 January, 2011; originally announced January 2011.

ACM Class: I.1.2

Dominance in the family of Sugeno-Weber t-norms

Authors: Manuel Kauers, Veronika Pillwein, Susanne Saminger-Platz

Abstract: The dominance relationship between two members of the family of Sugeno Weber t-norms is proven by using a quantifer elimination algorithm. Further it is shown that dominance is a transitive, and therefore also an order relation, on this family of t-norms. The dominance relationship between two members of the family of Sugeno Weber t-norms is proven by using a quantifer elimination algorithm. Further it is shown that dominance is a transitive, and therefore also an order relation, on this family of t-norms. △ Less

Submitted 30 July, 2010; originally announced July 2010.

MSC Class: 26D07; 39B99; 68W30