Showing 1–50 of 50 results for author: Koutschan, C

A Shape Lemma for Ideals of Differential Operators

Authors: Manuel Kauers, Christoph Koutschan, Thibaut Verron

Abstract: We propose a version of the classical shape lemma for zero-dimensional ideals of a commutative multivariate polynomial ring to the noncommutative setting of zero-dimensional ideals in an algebra of differential operators. We propose a version of the classical shape lemma for zero-dimensional ideals of a commutative multivariate polynomial ring to the noncommutative setting of zero-dimensional ideals in an algebra of differential operators. △ Less

Submitted 30 April, 2025; v1 submitted 17 February, 2025; originally announced February 2025.

The (Symbolic and Numeric) Computational Challenges of Counting 0-1 Balanced Matrices

Authors: Robert Dougherty-Bliss, Christoph Koutschan, Natalya Ter-Saakov, Doron Zeilberger

Abstract: A chessboard has the property that every row and every column has as many white squares as black squares. In this mostly methodological note, we address the problem of counting such rectangular arrays with a fixed (numeric) number of rows, but an arbitrary (symbolic) number of columns. We first address the ``vanilla" problem where there are no restrictions, and then go on to discuss the still-more… ▽ More A chessboard has the property that every row and every column has as many white squares as black squares. In this mostly methodological note, we address the problem of counting such rectangular arrays with a fixed (numeric) number of rows, but an arbitrary (symbolic) number of columns. We first address the ``vanilla" problem where there are no restrictions, and then go on to discuss the still-more-challenging problem of counting such binary arrays that are not permitted to contain a specified (finite) set of horizontal patterns, and a specified set of vertical patterns. While we can rigorously prove that each such sequence satisfies some linear recurrence equation with polynomial coefficients, actually finding these recurrences poses major {\it symbolic}-computational challenges, that we can only meet in some small cases. In fact, just generating as many as possible terms of these sequences is a big {\it numeric}-computational challenge. This was tackled by computer whiz Ron H. Hardin, who contributed several such sequences, and computed quite a few terms of each. We extend Hardin's sequences quite considerably. We also talk about the much easier problem of counting such restricted arrays without balance conditions. △ Less

Submitted 6 February, 2025; v1 submitted 9 October, 2024; originally announced October 2024.

Comments: Expanded computations and added references

MSC Class: 05A05

Quaternary Legendre pairs II

Authors: Ilias S. Kotsireas, Christoph Koutschan, Arne Winterhof

Abstract: Quaternary Legendre pairs are pertinent to the construction of quaternary Hadamard matrices and have many applications, for example in coding theory and communications. In contrast to binary Legendre pairs, quaternary ones can exist for even length $\ell$ as well. It is conjectured that there is a quaternary Legendre pair for any even $\ell$. The smallest open case until now had been $\ell=28$, an… ▽ More Quaternary Legendre pairs are pertinent to the construction of quaternary Hadamard matrices and have many applications, for example in coding theory and communications. In contrast to binary Legendre pairs, quaternary ones can exist for even length $\ell$ as well. It is conjectured that there is a quaternary Legendre pair for any even $\ell$. The smallest open case until now had been $\ell=28$, and $\ell=38$ was the only length $\ell$ with $28\le \ell\le 60$ resolved before. Here we provide constructions for $\ell=28,30,32$, and $34$. In parallel and independently, Jedwab and Pender found a construction of quaternary Legendre pairs of length $\ell=(q-1)/2$ for any prime power $q\equiv 1\bmod 4$, which in particular covers $\ell=30$, $36$, and $40$, so that now $\ell=42$ is the smallest unresolved case. The main new idea of this paper is a way to separate the search for the subsequences along even and odd indices which substantially reduces the complexity of the search algorithm. In addition, we use Galois theory for cyclotomic fields to derive conditions which improve the PSD test. △ Less

Submitted 27 March, 2025; v1 submitted 29 August, 2024; originally announced August 2024.

Journal ref: Discrete Mathematics 348(9), Article 114501, 2025

Determinant evaluations inspired by Di Francesco's determinant for twenty-vertex configurations

Authors: Christoph Koutschan, Christian Krattenthaler, Michael Schlosser

Abstract: In his work on the twenty vertex model, Di Francesco [Electron. J. Combin. 28(4) (2021), Paper No. 4.38] found a determinant formula for the number of configurations in a specific such model, and he conjectured a closed form product formula for the evaluation of this determinant. We prove this conjecture here. Moreover, we actually generalize this determinant evaluation to a one-parameter family o… ▽ More In his work on the twenty vertex model, Di Francesco [Electron. J. Combin. 28(4) (2021), Paper No. 4.38] found a determinant formula for the number of configurations in a specific such model, and he conjectured a closed form product formula for the evaluation of this determinant. We prove this conjecture here. Moreover, we actually generalize this determinant evaluation to a one-parameter family of determinant evaluations, and we present many more determinant evaluations of similar type - some proved, some left open as conjectures. △ Less

Submitted 16 January, 2024; originally announced January 2024.

Comments: AmS-LaTeX, 37 pages

MSC Class: Primary 15A15; Secondary 05A15; 05A19 05B45 82B20

Journal ref: J. Symbol. Comput. 127 (2025), 102352

Diagonally symmetric alternating sign matrices

Authors: Roger E. Behrend, Ilse Fischer, Christoph Koutschan

Abstract: The enumeration of diagonally symmetric alternating sign matrices (DSASMs) is studied, and a Pfaffian formula is obtained for the number of DSASMs of any fixed size, where the entries for the Pfaffian are positive integers given by simple binomial coefficient expressions. This result provides the first known case of an exact enumeration formula for an alternating sign matrix symmetry class in whic… ▽ More The enumeration of diagonally symmetric alternating sign matrices (DSASMs) is studied, and a Pfaffian formula is obtained for the number of DSASMs of any fixed size, where the entries for the Pfaffian are positive integers given by simple binomial coefficient expressions. This result provides the first known case of an exact enumeration formula for an alternating sign matrix symmetry class in which a simple product formula does not seem to exist. Pfaffian formulae are also obtained for DSASM generating functions associated with several natural statistics, including the number of nonzero strictly upper triangular entries in a DSASM, the number of nonzero diagonal entries in a DSASM, and the column of the unique 1 in the first row of a DSASM. The proofs of these results involve introducing a version of the six-vertex model whose configurations are in bijection with DSASMs of fixed size, and obtaining a Pfaffian expression for its partition function. Various further results and conjectures are also obtained, including some related to the exact enumeration of off-diagonally symmetric alternating sign matrices, and some related to the asymptotic enumeration of DSASMs and other classes of alternating sign matrices. △ Less

Submitted 15 September, 2023; originally announced September 2023.

Comments: 69 pages

MSC Class: 05A05; 05A15; 05A16; 05A19; 05B20; 15B35; 82B20; 82B23

Collisionless shock region of the KdV equation and an entry in Gradshteyn and Ryzhik

Authors: Tewodros Amdeberhan, Victor Moll, John Lopez Santander, Ken McLaughlin, Christoph Koutschan

Abstract: The long-time behavior of solutions to the initial value problem for the Korteweg-de Vries equation on the whole line, with general initial conditions has been described uniformly using five different asymptotic forms. Four of these asymptotic forms were expected: the quiescent behavior (for |x| very large), a soliton region (in which the solution behaves as a collection of isolated solitary waves… ▽ More The long-time behavior of solutions to the initial value problem for the Korteweg-de Vries equation on the whole line, with general initial conditions has been described uniformly using five different asymptotic forms. Four of these asymptotic forms were expected: the quiescent behavior (for |x| very large), a soliton region (in which the solution behaves as a collection of isolated solitary waves), a self-similar region (in which the solution is described via a Painlevé transcendent), and a similarity region (where the solution behaves as a simple trigonometric function of the quantities t and x/t). A fifth asymptotic form, lying between the self-similar (Painlevé) and the similarity one, has been described in terms of classical elliptic functions. An integral of elliptic type, giving an explicit representation of the phase, has appeared in this context. The same integral has appeared in the table of integrals by Gradshteyn and Ryzhik. Our goal here is to confirm the validity of this entry. △ Less

Submitted 6 September, 2023; originally announced September 2023.

MSC Class: 33E05 (Primary) 35C20; 35P25 (Secondary)

Yay for Determinants!

Authors: Tewodros Amdeberhan, Christoph Koutschan, Doron Zeilberger

Abstract: In this {\it case study}, we hope to show why Sheldon Axler was not just wrong, but {\em wrong}, when he urged, in 1995: ``Down with Determinants!''. We first recall how determinants are useful in enumerative combinatorics, and then illustrate three versatile tools (Dodgson's condensation, the holonomic ansatz and constant term evaluations) to operate in tandem to prove a certain intriguing determ… ▽ More In this {\it case study}, we hope to show why Sheldon Axler was not just wrong, but {\em wrong}, when he urged, in 1995: ``Down with Determinants!''. We first recall how determinants are useful in enumerative combinatorics, and then illustrate three versatile tools (Dodgson's condensation, the holonomic ansatz and constant term evaluations) to operate in tandem to prove a certain intriguing determinantal formula conjectured by the first author. We conclude with a postscript describing yet another, much more efficient, method for evaluating determinants: `ask determinant-guru, Christian Krattenthaler', but advise people only to use it as a last resort, since if we would have used this last method right away, we would not have had the fun of doing it all by ourselves. △ Less

Submitted 8 September, 2023; v1 submitted 4 July, 2023; originally announced July 2023.

Comments: 15 pages; 2 new sections added beyond the first version; dedicated to Christian Krattenthaler on his 65th birthday; this paper appeared (in a revised form) in the journal, SLC (Séminaire Lotharingien de Combinatoire), under a new title "A case study in determinant evaluations"; {\tt https://www.mat.univie.ac.at/~slc/wpapers/s89amdkozeil.pdf}

Journal ref: A case study in determinant evaluations, Séminaire Lotharingien de Combinatoire, 89 (2023), Article B89a

Representing Piecewise Linear Functions by Functions with Small Arity

Authors: Christoph Koutschan, Bernhard Moser, Anton Ponomarchuk, Josef Schicho

Abstract: A piecewise linear function can be described in different forms: as an arbitrarily nested expression of $\min$- and $\max$-functions, as a difference of two convex piecewise linear functions, or as a linear combination of maxima of affine-linear functions. In this paper, we provide two main results: first, we show that for every piecewise linear function there exists a linear combination of… ▽ More A piecewise linear function can be described in different forms: as an arbitrarily nested expression of $\min$- and $\max$-functions, as a difference of two convex piecewise linear functions, or as a linear combination of maxima of affine-linear functions. In this paper, we provide two main results: first, we show that for every piecewise linear function there exists a linear combination of $\max$-functions with at most $n+1$ arguments, and give an algorithm for its computation. Moreover, these arguments are contained in the finite set of affine-linear functions that coincide with the given function in some open set. Second, we prove that the piecewise linear function $\max(0, x_{1}, \ldots, x_{n})$ cannot be represented as a linear combination of maxima of less than $n+1$ affine-linear arguments. This was conjectured by Wang and Sun in 2005 in a paper on representations of piecewise linear functions as linear combination of maxima. △ Less

Submitted 26 May, 2023; originally announced May 2023.

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

A Unified Approach to Unimodality of Gaussian Polynomials

Authors: Christoph Koutschan, Ali K. Uncu, Elaine Wong

Abstract: In 2013, Pak and Panova proved the strict unimodality property of $q$-binomial coefficients $\binom{\ell+m}{m}_q$ (as polynomials in $q$) based on the combinatorics of Young tableaux and the semigroup property of Kronecker coefficients. They showed it to be true for all $\ell,m\geq 8$ and a few other cases. We propose a different approach to this problem based on computer algebra, where we establi… ▽ More In 2013, Pak and Panova proved the strict unimodality property of $q$-binomial coefficients $\binom{\ell+m}{m}_q$ (as polynomials in $q$) based on the combinatorics of Young tableaux and the semigroup property of Kronecker coefficients. They showed it to be true for all $\ell,m\geq 8$ and a few other cases. We propose a different approach to this problem based on computer algebra, where we establish a closed form for the coefficients of these polynomials and then use cylindrical algebraic decomposition to identify exactly the range of coefficients where strict unimodality holds. This strategy allows us to tackle generalizations of the problem, e.g., to show unimodality with larger gaps or unimodality of related sequences. In particular, we present proofs of two additional cases of a conjecture by Stanley and Zanello. △ Less

Submitted 31 August, 2023; v1 submitted 8 February, 2023; originally announced February 2023.

Comments: Supplementary material at https://wongey.github.io/unimodality

Journal ref: ISSAC 2023: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, July 2023, Pages 434-442

How does the Gerrymander Sequence Continue?

Authors: Manuel Kauers, Christoph Koutschan, George Spahn

Abstract: We compute the next few terms of the OEIS sequence A348456 and provide guessed equations for the generating functions of some sequences in its context. We compute the next few terms of the OEIS sequence A348456 and provide guessed equations for the generating functions of some sequences in its context. △ Less

Submitted 30 November, 2022; v1 submitted 5 September, 2022; originally announced September 2022.

Journal ref: Journal of Integer Sequences Vol 25 (2022) Article 22.9.7

Apéry limits for elliptic $L$-values

Authors: Christoph Koutschan, Wadim Zudilin

Abstract: For an (irreducible) recurrence equation with coefficients from $\mathbb Z[n]$ and its two linearly independent rational solutions $u_n,v_n$, the limit of $u_n/v_n$ as $n\to\infty$, when exists, is called the Apéry limit. We give a construction that realises certain quotients of $L$-values of elliptic curves as Apéry limits. For an (irreducible) recurrence equation with coefficients from $\mathbb Z[n]$ and its two linearly independent rational solutions $u_n,v_n$, the limit of $u_n/v_n$ as $n\to\infty$, when exists, is called the Apéry limit. We give a construction that realises certain quotients of $L$-values of elliptic curves as Apéry limits. △ Less

Submitted 16 November, 2021; originally announced November 2021.

Comments: 6 pages, 3 recurrence equations (including Apéry's for $ζ(3)$)

Report number: RICAM Report 2021-34 MSC Class: Primary 11F67; Secondary 11G05; 11G40; 11J70; 11R06; 14K20; 33F10; 39A06

Journal ref: Bull. Austral. Math. Soc. 106 (2022), no. 2, 273--279

Legendre pairs of lengths $\ell\equiv0$ (mod 5)

Authors: Ilias Kotsireas, Christoph Koutschan, Dursun Bulutoglu, David Arquette, Jonathan Turner, Kenneth Ryan

Abstract: By assuming a type of balance for length $\ell=87$ and non-trivial subgroups of multiplier groups of Legendre pairs (LPs) for length $\ell=85$, we find LPs of these lengths. We then study the power spectral density (PSD) values of m-compressions of LPs of length 5m. We also formulate a conjecture for Legendre pairs of lengths $\ell \equiv 0$ (mod 5) and demonstrate how it can be used to decrease t… ▽ More By assuming a type of balance for length $\ell=87$ and non-trivial subgroups of multiplier groups of Legendre pairs (LPs) for length $\ell=85$, we find LPs of these lengths. We then study the power spectral density (PSD) values of m-compressions of LPs of length 5m. We also formulate a conjecture for Legendre pairs of lengths $\ell \equiv 0$ (mod 5) and demonstrate how it can be used to decrease the search space and storage requirements for finding such LPs. The newly found LPs decrease the number of integers in the range $\leq 200$ for which the existence question of LPs remains unsolved from 12 to 10. △ Less

Submitted 8 April, 2024; v1 submitted 3 November, 2021; originally announced November 2021.

MSC Class: 05B10; 05B20; 15B34

Journal ref: Special Matrices 2023; 11: 20230105

Binomial Determinants for Tiling Problems Yield to the Holonomic Ansatz

Authors: Hao Du, Christoph Koutschan, Thotsaporn Thanatipanonda, Elaine Wong

Abstract: We present and prove closed form expressions for some families of binomial determinants with signed Kronecker deltas that are located along an arbitrary diagonal in the corresponding matrix. They count cyclically symmetric rhombus tilings of hexagonal regions with triangular holes. We extend a previous systematic study of these families, where the locations of the Kronecker deltas depended on an a… ▽ More We present and prove closed form expressions for some families of binomial determinants with signed Kronecker deltas that are located along an arbitrary diagonal in the corresponding matrix. They count cyclically symmetric rhombus tilings of hexagonal regions with triangular holes. We extend a previous systematic study of these families, where the locations of the Kronecker deltas depended on an additional parameter, to families with negative Kronecker deltas. By adapting Zeilberger's holonomic ansatz to make it work for our problems, we can take full advantage of computer algebra tools for symbolic summation. This, together with the combinatorial interpretation, allows us to realize some new determinantal relationships. From there, we are able to resolve all remaining open conjectures related to these determinants, including one from 2005 due to Lascoux and Krattenthaler. △ Less

Submitted 21 September, 2021; v1 submitted 18 May, 2021; originally announced May 2021.

Comments: 45 pages; Supplementary material at https://wongey.github.io/binom-det

Journal ref: European Journal of Combinatorics, Volume 99, January 2022, 103437

There are EXACTLY 1493804444499093354916284290188948031229880469556 Ways to Derange a Standard Deck of Cards (ignoring suits) [and many other such useful facts]

Authors: Shalosh B. Ekhad, Christoph Koutschan, Doron Zeilberger

Abstract: In this memorial tribute to Joe Gillis, who taught us that Special Functions count, we show how the seminal Even-Gillis integral formula for the number of derangements of a multiset, in terms of Laguerre polynomials, can be used to efficiently compute not only the number of the title, but much harder ones, when it is interfaced with Wilf-Zeilberger algorithmic proof theory. In this memorial tribute to Joe Gillis, who taught us that Special Functions count, we show how the seminal Even-Gillis integral formula for the number of derangements of a multiset, in terms of Laguerre polynomials, can be used to efficiently compute not only the number of the title, but much harder ones, when it is interfaced with Wilf-Zeilberger algorithmic proof theory. △ Less

Submitted 25 January, 2021; originally announced January 2021.

Comments: Accompanied by a Maple package and output files that can be gotten from https://sites.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/multider.html

MSC Class: 33F10; 05A15; 33D45; 68W30

Tweaking the Beukers Integrals In Search of More Miraculous Irrationality Proofs A La Apery

Authors: Robert Dougherty-Bliss, Christoph Koutschan, Doron Zeilberger

Abstract: There are only aleph-zero rational numbers, while there are 2 to the power aleph-zero real numbers. Hence the probability that a randomly chosen real number would be rational is 0. Yet proving rigorously that any specific, natural, real constant, is irrational is usually very hard, witness that there are still no proofs of the irrationality of the Euler-Mascheroni constant, the Catalan constant, o… ▽ More There are only aleph-zero rational numbers, while there are 2 to the power aleph-zero real numbers. Hence the probability that a randomly chosen real number would be rational is 0. Yet proving rigorously that any specific, natural, real constant, is irrational is usually very hard, witness that there are still no proofs of the irrationality of the Euler-Mascheroni constant, the Catalan constant, or Zeta(5). Inspired by Frits Beukers' elegant rendition of Apery's seminal proofs of the irrationality of Zeta(2) and Zeta(3), and heavily using algorithmic proof theory, we systematically searched for other similar integrals, that lead to irrationality proofs. We found quite a few candidates for such proofs, including the square-root of Pi times Gamma(7/3)/Gamma(-1/6) and Gamma(19/6)/Gamma(8/3) divided by the square-root of Pi. △ Less

Submitted 20 January, 2021; originally announced January 2021.

Comments: 21 pages, accompanied by three Maple packages available from https://sites.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/beukers.html

Legendre pairs of lengths $\ell \equiv 0$ (mod $3$)

Authors: Ilias Kotsireas, Christoph Koutschan

Abstract: We prove a proposition that connects constant-PAF sequences and the corresponding Legendre pairs with integer PSD values. We show how to determine explicitly the complete spectrum of the $(\ell/3)$-rd value of the discrete Fourier transform for Legendre pairs of lengths $\ell \equiv 0 \, (\mod 3)$. This is accomplished by two new algorithms based on number-theoretic arguments. As an application, w… ▽ More We prove a proposition that connects constant-PAF sequences and the corresponding Legendre pairs with integer PSD values. We show how to determine explicitly the complete spectrum of the $(\ell/3)$-rd value of the discrete Fourier transform for Legendre pairs of lengths $\ell \equiv 0 \, (\mod 3)$. This is accomplished by two new algorithms based on number-theoretic arguments. As an application, we prove that Legendre pairs of the open lengths 117, 129, 133, and 147 exist by finding Legendre pairs of these lengths with a multiplier group of order at least 3. As a consequence, 85, 87, 115, 145, 159, 161, 169, 175, 177, 185, 187, 195 are the twelve integers in the range < 200 for which the question of existence of Legendre pairs remains unsolved. △ Less

Submitted 16 October, 2021; v1 submitted 8 January, 2021; originally announced January 2021.

Journal ref: Journal of Combinatorial Designs 29(12):870-887, 2021

Common Factors in Fraction-Free Matrix Decompositions

Authors: Johannes Middeke, David J. Jeffrey, Christoph Koutschan

Abstract: We consider LU and QR matrix decompositions using exact computations. We show that fraction-free Gauss--Bareiss reduction leads to triangular matrices having a non-trivial number of common row factors. We identify two types of common factors: systematic and statistical. Systematic factors depend on the reduction process, independent of the data, while statistical factors depend on the specific dat… ▽ More We consider LU and QR matrix decompositions using exact computations. We show that fraction-free Gauss--Bareiss reduction leads to triangular matrices having a non-trivial number of common row factors. We identify two types of common factors: systematic and statistical. Systematic factors depend on the reduction process, independent of the data, while statistical factors depend on the specific data. We relate the existence of row factors in the LU decomposition to factors appearing in the Smith--Jacobson normal form of the matrix. For statistical factors, we identify some of the mechanisms that create them and give estimates of the frequency of their occurrence. Similar observations apply to the common factors in a fraction-free QR decomposition. Our conclusions are tested experimentally. △ Less

Submitted 25 May, 2020; originally announced May 2020.

MSC Class: 00-01; 99-00

Journal ref: Mathematics in Computer Science 15(4), pp. 589-608, 2021

Diagonals of rational functions: from differential algebra to effective algebraic geometry (unabridged version)

Authors: Y. Abdelaziz, S. Boukraa, C. Koutschan, J-M. Maillard

Abstract: We show that the results we had obtained on diagonals of nine and ten parameters families of rational functions using creative telescoping, yielding modular forms expressed as pullbacked $ _2F_1$ hypergeometric functions, can be obtained, much more efficiently, calculating the $ j$-invariant of an elliptic curve canonically associated with the denominator of the rational functions. In the case whe… ▽ More We show that the results we had obtained on diagonals of nine and ten parameters families of rational functions using creative telescoping, yielding modular forms expressed as pullbacked $ _2F_1$ hypergeometric functions, can be obtained, much more efficiently, calculating the $ j$-invariant of an elliptic curve canonically associated with the denominator of the rational functions. In the case where creative telescoping yields pullbacked $ _2F_1$ hypergeometric functions, we generalize this result to other families of rational functions in three, and even more than three, variables. We also generalise this result to rational functions in more than three variables when the denominator can be associated to an algebraic variety corresponding to products of elliptic curves, foliation in elliptic curves. We also extend these results to rational functions in three variables when the denominator is associated with a {\em genus-two curve such that its Jacobian is a split Jacobian} corresponding to the product of two elliptic curves. We sketch the situation where the denominator of the rational function is associated with algebraic varieties that are not of the general type, having an infinite set of birational automorphisms. We finally provide some examples of rational functions in more than three variables, where the telescopers have pullbacked $ _2F_1$ hypergeometric solutions, the denominator corresponding to an algebraic variety being not simply foliated in elliptic curves, but having a selected elliptic curve in the variety explaining the pullbacked $ _2F_1$ hypergeometric solution. △ Less

Submitted 26 April, 2022; v1 submitted 3 February, 2020; originally announced February 2020.

Comments: 51 pages

MSC Class: 34M55; 47E05; 81Qxx; 32G34; 34Lxx; 34Mxx; 14Kxx

Calculation and Properties of Zonal Polynomials

Authors: Lin Jiu, Christoph Koutschan

Abstract: We investigate the zonal polynomials, a family of symmetric polynomials that appear in many mathematical contexts, such as multivariate statistics, differential geometry, representation theory, and combinatorics. We present two computer algebra packages, in SageMath and in Mathematica, for their computation. With the help of these software packages, we carry out an experimental mathematics study o… ▽ More We investigate the zonal polynomials, a family of symmetric polynomials that appear in many mathematical contexts, such as multivariate statistics, differential geometry, representation theory, and combinatorics. We present two computer algebra packages, in SageMath and in Mathematica, for their computation. With the help of these software packages, we carry out an experimental mathematics study of some properties of zonal polynomials. Moreover, we derive and prove closed forms for several infinite families of zonal polynomial coefficients. △ Less

Submitted 29 April, 2020; v1 submitted 30 January, 2020; originally announced January 2020.

MSC Class: Primary 05E05; Secondary 33C20 33C70 15B52 65C60

Journal ref: Mathematics in Computer Science 14:623-640, 2020

On Christol's conjecture

Authors: Y. Abdelaziz, C. Koutschan, J-M. Maillard

Abstract: We show that the unresolved examples of Christol's conjecture $ \, _3F_{2}\left([2/9,5/9,8/9],[2/3,1],x\right)$ and $_3F_{2}\left([1/9,4/9,7/9],[1/3,1],x\right)$, are indeed diagonals of rational functions. We also show that other $\, _3F_2$ and $\, _4F_3$ unresolved examples of Christol's conjecture are diagonals of rational functions. Finally we give two arguments that show that it is likely… ▽ More We show that the unresolved examples of Christol's conjecture $ \, _3F_{2}\left([2/9,5/9,8/9],[2/3,1],x\right)$ and $_3F_{2}\left([1/9,4/9,7/9],[1/3,1],x\right)$, are indeed diagonals of rational functions. We also show that other $\, _3F_2$ and $\, _4F_3$ unresolved examples of Christol's conjecture are diagonals of rational functions. Finally we give two arguments that show that it is likely that the $\, _3F_2([1/9, 4/9, 5/9], \, [1/3,1], \, 27 \cdot x)$ function is a diagonal of a rational function. △ Less

Submitted 1 January, 2020; v1 submitted 21 December, 2019; originally announced December 2019.

Comments: 13 pages

Exact Lower Bounds for Monochromatic Schur Triples and Generalizations

Authors: Christoph Koutschan, Elaine Wong

Abstract: We derive exact and sharp lower bounds for the number of monochromatic generalized Schur triples $(x,y,x+ay)$ whose entries are from the set $\{1,\dots,n\}$, subject to a coloring with two different colors. Previously, only asymptotic formulas for such bounds were known, and only for $a\in\mathbb{N}$. Using symbolic computation techniques, these results are extended here to arbitrary… ▽ More We derive exact and sharp lower bounds for the number of monochromatic generalized Schur triples $(x,y,x+ay)$ whose entries are from the set $\{1,\dots,n\}$, subject to a coloring with two different colors. Previously, only asymptotic formulas for such bounds were known, and only for $a\in\mathbb{N}$. Using symbolic computation techniques, these results are extended here to arbitrary $a\in\mathbb{R}$. Furthermore, we give exact formulas for the minimum number of monochromatic Schur triples for $a=1,2,3,4$, and briefly discuss the case $0<a<1$. △ Less

Submitted 12 October, 2020; v1 submitted 3 April, 2019; originally announced April 2019.

Comments: 24 Pages

Journal ref: Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra (Veronika Pillwein, Carsten Schneider, eds.), Texts & Monographs in Symbolic Computation, pages 223-248, Springer, 2020. ISBN 978-3-030-44558-4

On the singular value decomposition of n-fold integration operators

Authors: Ronny Ramlau, Christoph Koutschan, Bernd Hofmann

Abstract: In theory and practice of inverse problems, linear operator equations $Tx=y$ with compact linear forward operators $T$ having a non-closed range $\mathcal{R}(T)$ and mapping between infinite dimensional Hilbert spaces plays some prominent role. As a consequence of the ill-posedness of such problems, regularization approaches are required, and due to its unlimited qualification spectral cut-off is… ▽ More In theory and practice of inverse problems, linear operator equations $Tx=y$ with compact linear forward operators $T$ having a non-closed range $\mathcal{R}(T)$ and mapping between infinite dimensional Hilbert spaces plays some prominent role. As a consequence of the ill-posedness of such problems, regularization approaches are required, and due to its unlimited qualification spectral cut-off is an appropriate method for the stable approximate solution of corresponding inverse problems. For this method, however, the singular system $\{σ_i(T),u_i(T),v_i(T)\}_{i=1}^\infty$ of the compact operator $T$ is needed, at least for $i=1,2,...,N$, up to some stopping index $N$. In this note we consider $n$-fold integration operators $T=J^n\;(n=1,2,...)$ in $L^2([0,1])$ occurring in numerous applications, where the solution of the associated operator equation is characterized by the $n$-th generalized derivative $x=y^{(n)}$ of the Sobolev space function $y \in H^n([0,1])$. Almost all textbooks on linear inverse problems present the whole singular system $\{σ_i(J^1),u_i(J^1),v_i(J^1)\}_{i=1}^\infty$ in an explicit manner. However, they do not discuss the singular systems for $J^n,\;n \ge 2$. We will emphasize that this seems to be a consequence of the fact that for higher $n$ the eigenvalues $σ^2_i(J^n)$ of the associated ODE boundary value problems obey transcendental equations, the complexity of which is growing with $n$. We present the transcendental equations for $n=2,3,...$ and discuss and illustrate the associated eigenfunctions and some of their properties. △ Less

Submitted 28 November, 2018; originally announced November 2018.

Report number: RICAM Reports Series 2018-29

Journal ref: In: Jin Cheng, Masahiro Yamamoto, Shuai Lu (eds.), Inverse Problems and Related Topics (2020), vol. 310 of Springer Proceedings in Mathematics & Statistics, pages 237-256

Echelons of power series and Gabrielov's counterexample to nested linear Artin Approximation

Authors: M. E. Alonso, F. J. Castro-Jiménez, H. Hauser, C. Koutschan

Abstract: Gabrielov's famous example for the failure of analytic Artin approximation in the presence of nested subring conditions is shown to be due to a growth phenomenon in standard basis computations for echelons, a generalization of the concept of ideals in power series rings. Gabrielov's famous example for the failure of analytic Artin approximation in the presence of nested subring conditions is shown to be due to a growth phenomenon in standard basis computations for echelons, a generalization of the concept of ideals in power series rings. △ Less

Submitted 22 April, 2018; originally announced April 2018.

Comments: To appear in Bulletin of the London Mathematical Society

MSC Class: 32A05; 13F25; 13P10; 16W60; 14QXX; 14B12

Lower bounds on the number of realizations of rigid graphs

Authors: Georg Grasegger, Christoph Koutschan, Elias Tsigaridas

Abstract: Computing the number of realizations of a minimally rigid graph is a notoriously difficult problem. Towards this goal, for graphs that are minimally rigid in the plane, we take advantage of a recently published algorithm, which is the fastest available method, although its complexity is still exponential. Combining computational results with the theory of constructing new rigid graphs by gluing, w… ▽ More Computing the number of realizations of a minimally rigid graph is a notoriously difficult problem. Towards this goal, for graphs that are minimally rigid in the plane, we take advantage of a recently published algorithm, which is the fastest available method, although its complexity is still exponential. Combining computational results with the theory of constructing new rigid graphs by gluing, we give a new lower bound on the maximal possible number of (complex) realizations for graphs with a given number of vertices. We extend these ideas to rigid graphs in three dimensions and we derive similar lower bounds, by exploiting data from extensive Gröbner basis computations. △ Less

Submitted 11 April, 2018; v1 submitted 23 October, 2017; originally announced October 2017.

MSC Class: 52C25; 05C04; 68W30

Journal ref: Experimental Mathematics, 2018

A Curious Family of Binomial Determinants That Count Rhombus Tilings of a Holey Hexagon

Authors: Christoph Koutschan, Thotsaporn Thanatipanonda

Abstract: We evaluate a curious determinant, first mentioned by George Andrews in 1980 in the context of descending plane partitions. Our strategy is to combine the famous Desnanot-Jacobi-Dodgson identity with automated proof techniques. More precisely, we follow the holonomic ansatz that was proposed by Doron Zeilberger in 2007. We derive a compact and nice formula for Andrews's determinant, and use it to… ▽ More We evaluate a curious determinant, first mentioned by George Andrews in 1980 in the context of descending plane partitions. Our strategy is to combine the famous Desnanot-Jacobi-Dodgson identity with automated proof techniques. More precisely, we follow the holonomic ansatz that was proposed by Doron Zeilberger in 2007. We derive a compact and nice formula for Andrews's determinant, and use it to solve a challenge problem that we posed in a previous paper. By noting that Andrews's determinant is a special case of a two-parameter family of determinants, we find closed forms for several one-parameter subfamilies. The interest in these determinants arises because they count cyclically symmetric rhombus tilings of a hexagon with several triangular holes inside. △ Less

Submitted 3 July, 2018; v1 submitted 8 September, 2017; originally announced September 2017.

Journal ref: Journal of Combinatorial Theory, Series A, vol. 166, pp. 352-381, 2019

Computing the number of realizations of a Laman graph

Authors: Jose Capco, Matteo Gallet, Georg Grasegger, Christoph Koutschan, Niels Lubbes, Josef Schicho

Abstract: Laman graphs model planar frameworks which are rigid for a general choice of distances between the vertices. There are finitely many ways, up to isometries, to realize a Laman graph in the plane. In a recent paper we provide a recursion formula for this number of realizations using ideas from algebraic and tropical geometry. Here, we present a concise summary of this result focusing on the main id… ▽ More Laman graphs model planar frameworks which are rigid for a general choice of distances between the vertices. There are finitely many ways, up to isometries, to realize a Laman graph in the plane. In a recent paper we provide a recursion formula for this number of realizations using ideas from algebraic and tropical geometry. Here, we present a concise summary of this result focusing on the main ideas and the combinatorial point of view. △ Less

Submitted 11 October, 2017; v1 submitted 12 July, 2017; originally announced July 2017.

Comments: Extended abstract; the long version is arxiv:1701.05500

MSC Class: 14T05; 14N99; 52C25; 05C99

Journal ref: Electronic Notes in Discrete Mathematics (Proceedings of Eurocomb 2017) 61, pp. 207-213, 2017

The number of realizations of a Laman graph

Authors: Jose Capco, Matteo Gallet, Georg Grasegger, Christoph Koutschan, Niels Lubbes, Josef Schicho

Abstract: Laman graphs model planar frameworks that are rigid for a general choice of distances between the vertices. There are finitely many ways, up to isometries, to realize a Laman graph in the plane. Such realizations can be seen as solutions of systems of quadratic equations prescribing the distances between pairs of points. Using ideas from algebraic and tropical geometry, we provide a recursive form… ▽ More Laman graphs model planar frameworks that are rigid for a general choice of distances between the vertices. There are finitely many ways, up to isometries, to realize a Laman graph in the plane. Such realizations can be seen as solutions of systems of quadratic equations prescribing the distances between pairs of points. Using ideas from algebraic and tropical geometry, we provide a recursive formula for the number of complex solutions of such systems. △ Less

Submitted 28 November, 2017; v1 submitted 19 January, 2017; originally announced January 2017.

Comments: 36 pages

MSC Class: 14T05; 14N99; 52C25; 05C99

Journal ref: SIAM Journal on Applied Algebra and Geometry, Volume 2, Issue 1, p. 94-125, 2018

Inverse Inequality Estimates with Symbolic Computation

Authors: Christoph Koutschan, Martin Neumüller, Cristian-Silviu Radu

Abstract: In the convergence analysis of numerical methods for solving partial differential equations (such as finite element methods) one arrives at certain generalized eigenvalue problems, whose maximal eigenvalues need to be estimated as accurately as possible. We apply symbolic computation methods to the situation of square elements and are able to improve the previously known upper bound, given in "p-… ▽ More In the convergence analysis of numerical methods for solving partial differential equations (such as finite element methods) one arrives at certain generalized eigenvalue problems, whose maximal eigenvalues need to be estimated as accurately as possible. We apply symbolic computation methods to the situation of square elements and are able to improve the previously known upper bound, given in "p- and hp-finite element methods" (Schwab, 1998), by a factor of 8. More precisely, we try to evaluate the corresponding determinant using the holonomic ansatz, which is a powerful tool for dealing with determinants, proposed by Zeilberger in 2007. However, it turns out that this method does not succeed on the problem at hand. As a solution we present a variation of the original holonomic ansatz that is applicable to a larger class of determinants, including the one we are dealing with here. We obtain an explicit closed form for the determinant, whose special form enables us to derive new and tight upper resp. lower bounds on the maximal eigenvalue, as well as its asymptotic behaviour. △ Less

Submitted 3 May, 2016; v1 submitted 3 February, 2016; originally announced February 2016.

MSC Class: 33F10; 65N12 (Primary) 65N30; 68W30; 65F15; 05A20; 15A15; 15A45 (Secondary)

Journal ref: Advances in Applied Mathematics 80:1-23, 2016

Holonomic Tools for Basic Hypergeometric Functions

Authors: Christoph Koutschan, Peter Paule

Abstract: With the exception of q-hypergeometric summation, the use of computer algebra packages implementing Zeilberger's "holonomic systems approach" in a broader mathematical sense is less common in the field of q-series and basic hypergeometric functions. A major objective of this article is to popularize the usage of such tools also in these domains. Concrete case studies showing software in action int… ▽ More With the exception of q-hypergeometric summation, the use of computer algebra packages implementing Zeilberger's "holonomic systems approach" in a broader mathematical sense is less common in the field of q-series and basic hypergeometric functions. A major objective of this article is to popularize the usage of such tools also in these domains. Concrete case studies showing software in action introduce to the basic techniques. An application highlight is a new computer-assisted proof of the celebrated Ismail-Zhang formula, an important q-analog of a classical expansion formula of plane waves in terms of Gegenbauer polynomials. △ Less

Submitted 1 February, 2016; originally announced February 2016.

Proof of the Wilf-Zeilberger Conjecture for Mixed Hypergeometric Terms

Authors: Shaoshi Chen, Christoph Koutschan

Abstract: In 1992, Wilf and Zeilberger conjectured that a hypergeometric term in several discrete and continuous variables is holonomic if and only if it is proper. Strictly speaking the conjecture does not hold, but it is true when reformulated properly: Payne proved a piecewise interpretation in 1997, and independently, Abramov and Petkovsek in 2002 proved a conjugate interpretation. Both results address… ▽ More In 1992, Wilf and Zeilberger conjectured that a hypergeometric term in several discrete and continuous variables is holonomic if and only if it is proper. Strictly speaking the conjecture does not hold, but it is true when reformulated properly: Payne proved a piecewise interpretation in 1997, and independently, Abramov and Petkovsek in 2002 proved a conjugate interpretation. Both results address the pure discrete case of the conjecture. In this paper we extend their work to hypergeometric terms in several discrete and continuous variables and prove the conjugate interpretation of the Wilf-Zeilberger conjecture in this mixed setting. △ Less

Submitted 8 June, 2018; v1 submitted 17 July, 2015; originally announced July 2015.

Comments: 20 pages, 1 figure

MSC Class: 33C70; 33F10

Journal ref: Journal of Symbolic Computation, vol. 93, pages 133-147, 2019

Symbolic Derivation of Mean-Field PDEs from Lattice-Based Models

Authors: Christoph Koutschan, Helene Ranetbauer, Georg Regensburger, Marie-Therese Wolfram

Abstract: Transportation processes, which play a prominent role in the life and social sciences, are typically described by discrete models on lattices. For studying their dynamics a continuous formulation of the problem via partial differential equations (PDE) is employed. In this paper we propose a symbolic computation approach to derive mean-field PDEs from a lattice-based model. We start with the micros… ▽ More Transportation processes, which play a prominent role in the life and social sciences, are typically described by discrete models on lattices. For studying their dynamics a continuous formulation of the problem via partial differential equations (PDE) is employed. In this paper we propose a symbolic computation approach to derive mean-field PDEs from a lattice-based model. We start with the microscopic equations, which state the probability to find a particle at a given lattice site. Then the PDEs are formally derived by Taylor expansions of the probability densities and by passing to an appropriate limit as the time steps and the distances between lattice sites tend to zero. We present an implementation in a computer algebra system that performs this transition for a general class of models. In order to rewrite the mean-field PDEs in a conservative formulation, we adapt and implement symbolic integration methods that can handle unspecified functions in several variables. To illustrate our approach, we consider an application in crowd motion analysis where the dynamics of bidirectional flows are studied. However, the presented approach can be applied to various transportation processes of multiple species with variable size in any dimension, for example, to confirm several proposed mean-field models for cell motility. △ Less

Submitted 21 March, 2016; v1 submitted 29 June, 2015; originally announced June 2015.

Journal ref: Proceedings of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), pp. 27-33, 2015. ISBN 978-1-5090-0461-4

Planar Linkages Following a Prescribed Motion

Authors: Matteo Gallet, Christoph Koutschan, Zijia Li, Georg Regensburger, Josef Schicho, Nelly Villamizar

Abstract: Designing mechanical devices, called linkages, that draw a given plane curve has been a topic that interested engineers and mathematicians for hundreds of years, and recently also computer scientists. Already in 1876, Kempe proposed a procedure for solving the problem in full generality, but his constructions tend to be extremely complicated. We provide a novel algorithm that produces much simpler… ▽ More Designing mechanical devices, called linkages, that draw a given plane curve has been a topic that interested engineers and mathematicians for hundreds of years, and recently also computer scientists. Already in 1876, Kempe proposed a procedure for solving the problem in full generality, but his constructions tend to be extremely complicated. We provide a novel algorithm that produces much simpler linkages, but works only for parametric curves. Our approach is to transform the problem into a factorization task over some noncommutative algebra. We show how to compute such a factorization, and how to use it to construct a linkage tracing a given curve. △ Less

Submitted 5 April, 2016; v1 submitted 19 February, 2015; originally announced February 2015.

Comments: 33 pages, 12 figures

MSC Class: 70B15; 68W30; 70G55; 20G20; 16Z05; 14P05; 12Y05

Journal ref: Mathematics of Computation 86 (2017), pages 473-506

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

Irreducibility of q-difference operators and the knot 7_4

Authors: Stavros Garoufalidis, Christoph Koutschan

Abstract: Our goal is to compute the minimal-order recurrence of the colored Jones polynomial of the 7_4 knot, as well as for the first four double twist knots. As a corollary, we verify the AJ Conjecture for the simplest knot 7_4 with reducible non-abelian SL(2,C) character variety. To achieve our goal, we use symbolic summation techniques of Zeilberger's holonomic systems approach and an irreducibility cr… ▽ More Our goal is to compute the minimal-order recurrence of the colored Jones polynomial of the 7_4 knot, as well as for the first four double twist knots. As a corollary, we verify the AJ Conjecture for the simplest knot 7_4 with reducible non-abelian SL(2,C) character variety. To achieve our goal, we use symbolic summation techniques of Zeilberger's holonomic systems approach and an irreducibility criterion for q-difference operators. For the latter we use an improved version of the qHyper algorithm of Abramov-Paule-Petkovsek to show that a given q-difference operator has no linear right factors. En route, we introduce exterior power Adams operations on the ring of bivariate polynomials and on the corresponding affine curves. △ Less

Submitted 21 October, 2013; v1 submitted 26 November, 2012; originally announced November 2012.

Comments: 20 pages, 3 figures, 2 tables

MSC Class: 57N10 (Primary) 57M25; 33F10; 39A13 (Secondary)

Journal ref: Algebr. Geom. Topol. 13 (2013) 3261-3286

Zeilberger's Holonomic Ansatz for Pfaffians

Authors: Masao Ishikawa, Christoph Koutschan

Abstract: A variation of Zeilberger's holonomic ansatz for symbolic determinant evaluations is proposed which is tailored to deal with Pfaffians. The method is also applicable to determinants of skew-symmetric matrices, for which the original approach does not work. As Zeilberger's approach is based on the Laplace expansion (cofactor expansion) of the determinant, we derive our approach from the cofactor ex… ▽ More A variation of Zeilberger's holonomic ansatz for symbolic determinant evaluations is proposed which is tailored to deal with Pfaffians. The method is also applicable to determinants of skew-symmetric matrices, for which the original approach does not work. As Zeilberger's approach is based on the Laplace expansion (cofactor expansion) of the determinant, we derive our approach from the cofactor expansion of the Pfaffian. To demonstrate the power of our method, we prove, using computer algebra algorithms, some conjectures proposed in the paper "Pfaffian decomposition and a Pfaffian analogue of q-Catalan Hankel determinants" by Ishikawa, Tagawa, and Zeng. A minor summation formula related to partitions and Motzkin paths follows as a corollary. △ Less

Submitted 16 May, 2012; v1 submitted 25 January, 2012; originally announced January 2012.

Comments: 7 pages, final version for the ISSAC proceedings; Proceedings of ISSAC 2012

ACM Class: G.2.1; G.4

Twisting q-holonomic sequences by complex roots of unity

Authors: Stavros Garoufalidis, Christoph Koutschan

Abstract: A sequence $f_n(q)$ is $q$-holonomic if it satisfies a nontrivial linear recurrence with coefficients polynomials in $q$ and $q^n$. Our main theorems state that $q$-holonomicity is preserved under twisting, i.e., replacing $q$ by $ωq$ where $ω$ is a complex root of unity, and under the substitution $q \to q^α$ where $α$ is a rational number. Our proofs are constructive, work in the multivariate se… ▽ More A sequence $f_n(q)$ is $q$-holonomic if it satisfies a nontrivial linear recurrence with coefficients polynomials in $q$ and $q^n$. Our main theorems state that $q$-holonomicity is preserved under twisting, i.e., replacing $q$ by $ωq$ where $ω$ is a complex root of unity, and under the substitution $q \to q^α$ where $α$ is a rational number. Our proofs are constructive, work in the multivariate setting of $\partial$-finite sequences and are implemented in the Mathematica package HolonomicFunctions. Our results are illustrated by twisting natural $q$-holonomic sequences which appear in quantum topology, namely the colored Jones polynomial of pretzel knots and twist knots. The recurrence of the twisted colored Jones polynomial can be used to compute the asymptotics of the Kashaev invariant of a knot at an arbitrary complex root of unity. △ Less

Submitted 16 May, 2012; v1 submitted 16 January, 2012; originally announced January 2012.

Comments: 8 pages, 2 figures, 1 table, final version for the ISSAC proceedings; Proceedings of ISSAC 2012

ACM Class: G.2.1; G.4; I.1.2

Advanced Computer Algebra for Determinants

Authors: Christoph Koutschan, Thotsaporn "Aek" Thanatipanonda

Abstract: We prove three conjectures concerning the evaluation of determinants, which are related to the counting of plane partitions and rhombus tilings. One of them was posed by George Andrews in 1980, the other two were by Guoce Xin and Christian Krattenthaler. Our proofs employ computer algebra methods, namely, the holonomic ansatz proposed by Doron Zeilberger and variations thereof. These variations ma… ▽ More We prove three conjectures concerning the evaluation of determinants, which are related to the counting of plane partitions and rhombus tilings. One of them was posed by George Andrews in 1980, the other two were by Guoce Xin and Christian Krattenthaler. Our proofs employ computer algebra methods, namely, the holonomic ansatz proposed by Doron Zeilberger and variations thereof. These variations make Zeilberger's original approach even more powerful and allow for addressing a wider variety of determinants. Finally, we present, as a challenge problem, a conjecture about a closed-form evaluation of Andrews's determinant. △ Less

Submitted 16 August, 2013; v1 submitted 3 December, 2011; originally announced December 2011.

Comments: 16 pages

MSC Class: 33F10 (Primary) 15A15; 05B45 (Secondary)

Journal ref: Annals of Combinatorics 17(3), 509-523, 2013

Third order integrability conditions for homogeneous potentials of degree -1

Authors: Thierry Combot, Christoph Koutschan

Abstract: We prove an integrability criterion of order 3 for a homogeneous potential of degree -1 in the plane. Still, this criterion depends on some integer and it is impossible to apply it directly except for families of potentials whose eigenvalues are bounded. To address this issue, we use holonomic and asymptotic computations with error control of this criterion and apply it to the potential of the for… ▽ More We prove an integrability criterion of order 3 for a homogeneous potential of degree -1 in the plane. Still, this criterion depends on some integer and it is impossible to apply it directly except for families of potentials whose eigenvalues are bounded. To address this issue, we use holonomic and asymptotic computations with error control of this criterion and apply it to the potential of the form V(r,θ)=r^{-1} h(\exp(iθ)) with h a polynomial of degree less than 3. We find then all meromorphically integrable potentials of this form. △ Less

Submitted 5 September, 2012; v1 submitted 25 November, 2011; originally announced November 2011.

Comments: 37 pages, 2 figures; Journal of Mathematical Physics 2012, Volume 53, Issue 8

MSC Class: 37J30

Lattice Green's Functions of the Higher-Dimensional Face-Centered Cubic Lattices

Authors: Christoph Koutschan

Abstract: We study the face-centered cubic lattice (fcc) in up to six dimensions. In particular, we are concerned with lattice Green's functions (LGF) and return probabilities. Computer algebra techniques, such as the method of creative telescoping, are used for deriving an ODE for a given LGF. For the four- and five-dimensional fcc lattices, we give rigorous proofs of the ODEs that were conjectured by Gutt… ▽ More We study the face-centered cubic lattice (fcc) in up to six dimensions. In particular, we are concerned with lattice Green's functions (LGF) and return probabilities. Computer algebra techniques, such as the method of creative telescoping, are used for deriving an ODE for a given LGF. For the four- and five-dimensional fcc lattices, we give rigorous proofs of the ODEs that were conjectured by Guttmann and Broadhurst. Additionally, we find the ODE of the LGF of the six-dimensional fcc lattice, a result that was not believed to be achievable with current computer hardware. △ Less

Submitted 11 March, 2013; v1 submitted 10 August, 2011; originally announced August 2011.

Comments: 16 pages, final version

MSC Class: 82B41; 06B05; 33F10; 68W30; 05A15

Journal ref: J. Phys. A: Math. Theor. 46 (2013) 125005

On Two-generated Non-commutative Algebras Subject to the Affine Relation

Authors: Christoph Koutschan, Viktor Levandovskyy, Oleksandr Motsak

Abstract: We consider algebras over a field K, generated by two variables x and y subject to the single relation yx = qxy + ax + by + c for q in K^* and a, b, c in K. We prove, that among such algebras there are precisely five isomorphism classes. The representatives of these classes, which are ubiquitous operator algebras, are called model algebras. We derive explicit multiplication formulas for y^m*x^n in… ▽ More We consider algebras over a field K, generated by two variables x and y subject to the single relation yx = qxy + ax + by + c for q in K^* and a, b, c in K. We prove, that among such algebras there are precisely five isomorphism classes. The representatives of these classes, which are ubiquitous operator algebras, are called model algebras. We derive explicit multiplication formulas for y^m*x^n in terms of standard monomials x^i*y^j for many algebras of the considered type. Such formulas are used in establishing formulas of binomial type and in implementing non-commutative multiplication in a computer algebra system. By using the formulas we also study centers and ring-theoretic properties of the non-commutative model algebras. △ Less

Submitted 4 August, 2011; originally announced August 2011.

Comments: 13 pages, 5 tables

Journal ref: Proceedings of CASC 2011, by Vladimir Gerdt, Wolfram Koepf, Ernst W. Mayr, and Evgenii Vorozhtsov (eds.), Lecture Notes in Computer Science, vol. 6885, ISBN 978-3-642-23567-2

Computer Algebra meets Finite Elements: an Efficient Implementation for Maxwell's Equations

Authors: Christoph Koutschan, Christoph Lehrenfeld, Joachim Schoeberl

Abstract: We consider the numerical discretization of the time-domain Maxwell's equations with an energy-conserving discontinuous Galerkin finite element formulation. This particular formulation allows for higher order approximations of the electric and magnetic field. Special emphasis is placed on an efficient implementation which is achieved by taking advantage of recurrence properties and the tensor-prod… ▽ More We consider the numerical discretization of the time-domain Maxwell's equations with an energy-conserving discontinuous Galerkin finite element formulation. This particular formulation allows for higher order approximations of the electric and magnetic field. Special emphasis is placed on an efficient implementation which is achieved by taking advantage of recurrence properties and the tensor-product structure of the chosen shape functions. These recurrences have been derived symbolically with computer algebra methods reminiscent of the holonomic systems approach. △ Less

Submitted 9 January, 2012; v1 submitted 21 April, 2011; originally announced April 2011.

Comments: 16 pages, 1 figure, 1 table; Springer Wien, ISBN 978-3-7091-0793-5

Journal ref: Numerical and Symbolic Scientific Computing: Progress and Prospects (Texts & Monographs in Symbolic Computation, Volume 1) pp. 105-121, 2012

The non-commutative A-polynomial of (-2,3,n) pretzel knots

Authors: Stavros Garoufalidis, Christoph Koutschan

Abstract: We study q-holonomic sequences that arise as the colored Jones polynomial of knots in 3-space. The minimal-order recurrence for such a sequence is called the (non-commutative) A-polynomial of a knot. Using the "method of guessing", we obtain this polynomial explicitly for the K_p = (-2, 3, 3+2p) pretzel knots for p = -5, ..., 5. This is a particularly interesting family since the pairs (K_p, -K_{-… ▽ More We study q-holonomic sequences that arise as the colored Jones polynomial of knots in 3-space. The minimal-order recurrence for such a sequence is called the (non-commutative) A-polynomial of a knot. Using the "method of guessing", we obtain this polynomial explicitly for the K_p = (-2, 3, 3+2p) pretzel knots for p = -5, ..., 5. This is a particularly interesting family since the pairs (K_p, -K_{-p}) are geometrically similar (in particular, scissors congruent) with similar character varieties. Our computation of the non-commutative A-polynomial (a) complements the computation of the A-polynomial of the pretzel knots done by the first author and Mattman, (b) supports the AJ Conjecture for knots with reducible A-polynomial and (c) numerically computes the Kashaev invariant of pretzel knots in linear time. In a later publication, we will use the numerical computation of the Kashaev invariant to numerically verify the Volume Conjecture for the above mentioned pretzel knots. △ Less

Submitted 11 September, 2012; v1 submitted 14 January, 2011; originally announced January 2011.

Comments: 12 pages, 8 figures. ISSN 1058-6458

MSC Class: 57N10 (Primary) 57M25 (Secondary)

Journal ref: Experimental Mathematics 21(3), pp. 241-251, 2012

The iterated integrals of ln(1 + x^2)

Authors: Tewodros Amdeberhan, Christoph Koutschan, Victor H. Moll, Eric S. Rowland

Abstract: For a polynomial P, we consider the sequence of iterated integrals of ln P(x). This sequence is expressed in terms of the zeros of P(x). In the special case of ln(1 + x^2), arithmetic properties of certain coefficients arising are described. Similar observations are made for ln(1 + x^3). For a polynomial P, we consider the sequence of iterated integrals of ln P(x). This sequence is expressed in terms of the zeros of P(x). In the special case of ln(1 + x^2), arithmetic properties of certain coefficients arising are described. Similar observations are made for ln(1 + x^3). △ Less

Submitted 5 April, 2011; v1 submitted 15 December, 2010; originally announced December 2010.

Comments: 21 pages, 1 figure; publication version

MSC Class: 26A09; 11A25

Journal ref: International Journal of Number Theory 8 (2012) 71-94

The SL_3 Jones polynomial of the trefoil: a case study of $q$-holonomic sequences

Authors: Stavros Garoufalidis, Christoph Koutschan

Abstract: The SL_3 colored Jones polynomial of the trefoil knot is a $q$-holonomic sequence of two variables with natural origin, namely quantum topology. The paper presents an explicit set of generators for the annihilator ideal of this $q$-holonomic sequence as a case study. On the one hand, our results are new and useful to quantum topology: this is the first example of a rank 2 Lie algebra computation c… ▽ More The SL_3 colored Jones polynomial of the trefoil knot is a $q$-holonomic sequence of two variables with natural origin, namely quantum topology. The paper presents an explicit set of generators for the annihilator ideal of this $q$-holonomic sequence as a case study. On the one hand, our results are new and useful to quantum topology: this is the first example of a rank 2 Lie algebra computation concerning the colored Jones polynomial of a knot. On the other hand, this work illustrates the applicability and computational power of the employed computer algebra methods. △ Less

Submitted 1 March, 2011; v1 submitted 29 November, 2010; originally announced November 2010.

Comments: 10 pages, 3 figures, 2 Mathematica notebooks

A Fast Approach to Creative Telescoping

Authors: Christoph Koutschan

Abstract: In this note we reinvestigate the task of computing creative telescoping relations in differential-difference operator algebras. Our approach is based on an ansatz that explicitly includes the denominators of the delta parts. We contribute several ideas of how to make an implementation of this approach reasonably fast and provide such an implementation. A selection of examples shows that it can be… ▽ More In this note we reinvestigate the task of computing creative telescoping relations in differential-difference operator algebras. Our approach is based on an ansatz that explicitly includes the denominators of the delta parts. We contribute several ideas of how to make an implementation of this approach reasonably fast and provide such an implementation. A selection of examples shows that it can be superior to existing methods by a large factor. △ Less

Submitted 26 June, 2011; v1 submitted 19 April, 2010; originally announced April 2010.

Comments: 9 pages, 1 table, final version as it appeared in the journal

MSC Class: 33F10; 68W30

Journal ref: Mathematics in Computer Science 4(2-3), pp. 259-266, 2010

Proof of George Andrews's and David Robbins's q-TSPP Conjecture

Authors: Christoph Koutschan, Manuel Kauers, Doron Zeilberger

Abstract: The conjecture that the orbit-counting generating function for totally symmetric plane partitions can be written as an explicit product formula, has been stated independently by George Andrews and David Robbins around 1983. We present a proof of this long-standing conjecture. The conjecture that the orbit-counting generating function for totally symmetric plane partitions can be written as an explicit product formula, has been stated independently by George Andrews and David Robbins around 1983. We present a proof of this long-standing conjecture. △ Less

Submitted 6 December, 2012; v1 submitted 23 February, 2010; originally announced February 2010.

MSC Class: 05A15; 33F10

Journal ref: Proceedings of the National Academy of Sciences 108(6), pp. 2196-2199. 2011. ISSN 0027-8424

Eliminating Human Insight: An Algorithmic Proof of Stembridge's TSPP Theorem

Authors: Christoph Koutschan

Abstract: We present a new proof of Stembridge's theorem about the enumeration of totally symmetric plane partitions using the methodology suggested in the recent Koutschan-Kauers-Zeilberger semi-rigorous proof of the Andrews-Robbins q-TSPP conjecture. Our proof makes heavy use of computer algebra and is completely automatic. We describe new methods that make the computations feasible in the first place.… ▽ More We present a new proof of Stembridge's theorem about the enumeration of totally symmetric plane partitions using the methodology suggested in the recent Koutschan-Kauers-Zeilberger semi-rigorous proof of the Andrews-Robbins q-TSPP conjecture. Our proof makes heavy use of computer algebra and is completely automatic. We describe new methods that make the computations feasible in the first place. The tantalizing aspect of this work is that the same methods can be applied to prove the q-TSPP conjecture (that is a q-analogue of Stembridge's theorem and open for more than 25 years); the only hurdle here is still the computational complexity. △ Less

Submitted 4 June, 2009; originally announced June 2009.

Comments: 12 pages, 4 figures, submitted to Contemporary Mathematics

ACM Class: G.2.1

A Proof of George Andrews' and Dave Robbins' q-TSPP Conjecture (modulo a finite amount of routine calculations)

Authors: Manuel Kauers, Christoph Koutschan, Doron Zeilberger

Abstract: In the historic conference Combinatoire Enumerative[LL] wonderfully organized by Gilbert Labelle and Pierre Leroux there were many stimulating lectures, including a very interesting one by Pierre Leroux himself, who talked about his joint work with Xavier Viennot[LV], on solving differential equations combinatorially! During the problem session of that very same colloque, chaired by Pierre Lerou… ▽ More In the historic conference Combinatoire Enumerative[LL] wonderfully organized by Gilbert Labelle and Pierre Leroux there were many stimulating lectures, including a very interesting one by Pierre Leroux himself, who talked about his joint work with Xavier Viennot[LV], on solving differential equations combinatorially! During the problem session of that very same colloque, chaired by Pierre Leroux, Richard Stanley raised some intriguing problems about the enumeration of plane partitions, that he later expanded into a fascinating article[Sta1]. Most of these problems concerned the enumeration of symmetry classes of plane partitions, that were discussed in more detail in another article of Stanley[Sta2]. All of the conjectures in the latter article have since been proved (see Dave Bressoud's modern classic[B]), except one, that, so far, resisted the efforts of the greatest minds in enumerative combinatorics. It concerns the proof of an explicit formula for the q-enumeration of totally symmetric plane partitions, conjectured independently by George Andrews and Dave Robbins([Sta2],[Sta1](conj. 7), [B](conj. 13)). In this tribute to Pierre Leroux, we describe how to prove that last stronghold. △ Less

Submitted 27 January, 2009; v1 submitted 5 August, 2008; originally announced August 2008.

MSC Class: 05A30; 33F10

Proof of Ira Gessel's Lattice Path Conjecture

Authors: Manuel Kauers, Christoph Koutschan, Doron Zeilberger

Abstract: We present a computer-aided, yet fully rigorous, proof of Ira Gessel's tantalizingly simply-stated conjecture that the number of ways of walking $2n$ steps in the region $x+y \geq 0, y \geq 0$ of the square-lattice with unit steps in the east, west, north, and south directions, that start and end at the origin, equals $16^n\frac{(5/6)_n(1/2)_n}{(5/3)_n(2)_n}$ . We present a computer-aided, yet fully rigorous, proof of Ira Gessel's tantalizingly simply-stated conjecture that the number of ways of walking $2n$ steps in the region $x+y \geq 0, y \geq 0$ of the square-lattice with unit steps in the east, west, north, and south directions, that start and end at the origin, equals $16^n\frac{(5/6)_n(1/2)_n}{(5/3)_n(2)_n}$ . △ Less

Submitted 26 June, 2008; originally announced June 2008.

MSC Class: 05A15; 33F10