Priv.-Doz. Dr. Christoph Koutschan

Christoph Koutschan

Research Area

Algorithmic Combinatorics, Symbolic Summation and Integration of Holonomic Functions

Office

JKU Science Park 2, 4. Stock

Room: S20437

Postal Adress

Johannes Kepler University
Altenberger Straße 69
A-4040 Linz, Austria

Courses

Course Id Title Registration Type Hours Teachers Rhythm
KUSSS  Content provided by KUSSS, Johannes Kepler University Linz | E-Mail

Publications

2018

Holonomic Tools for Basic Hypergeometric Functions

Christoph Koutschan, Peter Paule

In: Frontiers of Orthogonal Polynomials and q-Series, Xin Li, Zuhair Nashed (ed.), pp. ?-?. 2018. World Scientific Publishing, ISBN 978-981-3228-87-0. [pdf]
[bib]
@incollection{RISC5246,
author = {Christoph Koutschan and Peter Paule},
title = {{Holonomic Tools for Basic Hypergeometric Functions}},
booktitle = {{Frontiers of Orthogonal Polynomials and q-Series}},
language = {english},
pages = {?--?},
publisher = {World Scientific Publishing},
isbn_issn = {ISBN 978-981-3228-87-0},
year = {2018},
editor = {Xin Li and Zuhair Nashed},
refereed = {no},
length = {19}
}

The Number of Realizations of a Laman Graph

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

SIAM Journal on Applied Algebra and Geometry 2(1), pp. 94-125. 2018. 2470-6566. [url]
[bib]
@article{RISC5700,
author = {Jose Capco and Matteo Gallet and Georg Grasegger and Christoph Koutschan and Niels Lubbes and Josef Schicho},
title = {{The Number of Realizations of a Laman Graph}},
language = {english},
journal = {SIAM Journal on Applied Algebra and Geometry},
volume = {2},
number = {1},
pages = {94--125},
isbn_issn = {2470-6566},
year = {2018},
refereed = {yes},
length = {32},
url = {https://doi.org/10.1137/17M1118312}
}

2017

Planar linkages following a prescribed motion

M. Gallet, C. Koutschan, Z. Li, G. Regensburger, J. Schicho, N. Villamizar

Math. Comp. 87, pp. 473-506. 2017. ISSN: 1088-6842. [url]
[bib]
@article{RISC5410,
author = {M. Gallet and C. Koutschan and Z. Li and G. Regensburger and J. Schicho and N. Villamizar},
title = {{Planar linkages following a prescribed motion}},
language = {english},
journal = {Math. Comp.},
volume = {87},
pages = {473--506},
isbn_issn = {ISSN: 1088-6842},
year = {2017},
refereed = {yes},
length = {34},
url = {http://www.ams.org/journals/mcom/2017-86-303/S0025-5718-2016-03120-8/}
}

Computing the number of realizations of a Laman graph

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

In: Electronic Notes in Discrete Mathematics (Proceedings of Eurocomb 2017), Vadim Lozin (ed.), Proceedings of The European Conference on Combinatorics, Graph Theory and Applications (EUROCOMB'17)61, pp. 207-213. 2017. ISSN 1571-0653. [url]
[bib]
@inproceedings{RISC5478,
author = {Jose Capco and Georg Grasegger and Matteo Gallet and Christoph Koutschan and Niels Lubbes and Josef Schicho},
title = {{Computing the number of realizations of a Laman graph}},
booktitle = {{Electronic Notes in Discrete Mathematics (Proceedings of Eurocomb 2017)}},
language = {english},
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 ideas and the combinatorial point of view.},
volume = {61},
pages = {207--213},
isbn_issn = {ISSN 1571-0653},
year = {2017},
editor = {Vadim Lozin},
refereed = {yes},
keywords = {Laman graph; minimally rigid graph; tropical geometry; euclidean embedding; graph realization},
length = {7},
conferencename = {The European Conference on Combinatorics, Graph Theory and Applications (EUROCOMB'17)},
url = {http://www.koutschan.de/data/laman/}
}

2014

Relativistic Coulomb Integrals and Zeilberger's Holonomic Systems Approach II

Christoph Koutschan, Peter Paule, Sergei K. Suslov

In: Algebraic and Algorithmic Aspects of Differential and Integral Operators, Moulay Barkatou and Thomas Cluzeau and Georg Regensburger and Markus Rosenkranz (ed.), Lecture Notes in Computer Science 8372, pp. 135-145. 2014. Springer, Berlin Heidelberg, ISBN 978-3-642-54478-1. [pdf]
[bib]
@incollection{RISC4847,
author = {Christoph Koutschan and Peter Paule and Sergei K. Suslov},
title = {{Relativistic Coulomb Integrals and Zeilberger's Holonomic Systems Approach II}},
booktitle = {{Algebraic and Algorithmic Aspects of Differential and Integral Operators}},
language = {english},
abstract = {We derive the recurrence relations for relativistic Coulomb integrals directly from the integral representations with the help of computer algebra methods. In order to manage the computational complexity of this problem, we employ holonomic closure properties in a sophisticated way.},
series = {Lecture Notes in Computer Science},
volume = {8372},
pages = {135--145},
publisher = {Springer},
address = {Berlin Heidelberg},
isbn_issn = {ISBN 978-3-642-54478-1},
year = {2014},
editor = {Moulay Barkatou and Thomas Cluzeau and Georg Regensburger and Markus Rosenkranz},
refereed = {yes},
length = {11}
}

A Generalized Apagodu-Zeilberger Algorithm

Shaoshi Chen, Manuel Kauers, Christoph Koutschan

In: Proceedings of ISSAC 2014, Katsusuke Nabeshima (ed.), pp. 107-114. 2014. ISBN 978-1-4503-2501-1. [pdf]
[bib]
@inproceedings{RISC5034,
author = {Shaoshi Chen and Manuel Kauers and Christoph Koutschan},
title = {{A Generalized Apagodu-Zeilberger Algorithm}},
booktitle = {{Proceedings of ISSAC 2014}},
language = {english},
pages = {107--114},
isbn_issn = {ISBN 978-1-4503-2501-1},
year = {2014},
editor = {Katsusuke Nabeshima},
refereed = {yes},
length = {8}
}

2013

Advanced Computer Algebra for Determinants

Christoph Koutschan, Thotsaporn Thanatipanonda

Annals of Combinatorics 17(3), pp. 509-523. 2013. ISSN 0218-0006. [url] [pdf]
[bib]
@article{RISC4531,
author = {Christoph Koutschan and Thotsaporn Thanatipanonda},
title = {{Advanced Computer Algebra for Determinants}},
language = {english},
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 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.},
journal = {Annals of Combinatorics},
volume = {17},
number = {3},
pages = {509--523},
isbn_issn = {ISSN 0218-0006},
year = {2013},
refereed = {yes},
length = {15},
url = {http://www.risc.jku.at/people/ckoutsch/det/}
}

Harmonic interpolation based on Radon projections along the sides of regular polygons

Irina Georgieva, Clemens Hofreither, Christoph Koutschan, Veronika Pillwein, Thotsaporn Thanatipanonda

Central European Journal of Mathematics 11(4), pp. 609-620. 2013. ISSN 1895-1074. [pdf]
[bib]
@article{RISC4655,
author = {Irina Georgieva and Clemens Hofreither and Christoph Koutschan and Veronika Pillwein and Thotsaporn Thanatipanonda},
title = {{Harmonic interpolation based on Radon projections along the sides of regular polygons}},
language = {english},
abstract = {Given information about a harmonic function in two variables, consisting of a finitenumber of values of its Radon projections, i.e., integrals along some chords of the unitcircle, we study the problem of interpolating these data by a harmonic polynomial.With the help of symbolic summation techniques we show that this interpolationproblem has a unique solution in the case when the chords form a regular polygon.Numerical experiments for this and more general cases are presented.},
journal = {Central European Journal of Mathematics},
volume = {11},
number = {4},
pages = {609--620},
isbn_issn = {ISSN 1895-1074},
year = {2013},
refereed = {yes},
length = {12}
}

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

S. Gerhold, M. Kauers, C. Koutschan, P. Paule, C. Schneider, B. Zimmermann

In: Computer Algebra in Quantum Field Theory: Integration, Summation and Special Functions, C. Schneider, J. Bluemlein (ed.), Texts and Monographs in Symbolic Computation , pp. 75-96. 2013. Springer, ISBN-13: 978-3709116159. arXiv:1305.4818 [cs.SC]. [url]
[bib]
@incollection{RISC4721,
author = {S. Gerhold and M. Kauers and C. Koutschan and P. Paule and C. Schneider and B. Zimmermann},
title = {{Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order}},
booktitle = {{Computer Algebra in Quantum Field Theory: Integration, Summation and Special Functions}},
language = {english},
series = {Texts and Monographs in Symbolic Computation},
pages = {75--96},
publisher = {Springer},
isbn_issn = {ISBN-13: 978-3709116159},
year = {2013},
note = {arXiv:1305.4818 [cs.SC]},
editor = {C. Schneider and J. Bluemlein},
refereed = {no},
length = {22},
url = {http://arxiv.org/abs/1305.4818}
}

2012

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

Christoph Koutschan, Christoph Lehrenfeld, Joachim Schoeberl

In: Numerical and Symbolic Scientific Computing: Progress and Prospects, Ulrich Langer, Peter Paule (ed.), Texts and Monographs in Symbolic Computation 1, pp. 105-121. 2012. Springer, Wien, ISBN 978-3-7091-0793-5. [pdf]
[bib]
@incollection{RISC4252,
author = {Christoph Koutschan and Christoph Lehrenfeld and Joachim Schoeberl},
title = {{Computer Algebra meets Finite Elements: an Efficient Implementation for Maxwell's Equations}},
booktitle = {{Numerical and Symbolic Scientific Computing: Progress and Prospects}},
language = {english},
abstract = {We consider the numerical discretization of the time-domain Maxwell'sequations with an energy-conserving discontinuous Galerkin finiteelement formulation. This particular formulation allows for higherorder approximations of the electric and magnetic field. Specialemphasis is placed on an efficient implementation which is achieved bytaking advantage of recurrence properties and the tensor-productstructure of the chosen shape functions. These recurrences have beenderived symbolically with computer algebra methods reminiscent of theholonomic systems approach.},
series = {Texts and Monographs in Symbolic Computation},
volume = {1},
pages = {105--121},
publisher = {Springer},
address = {Wien},
isbn_issn = {ISBN 978-3-7091-0793-5},
year = {2012},
editor = {Ulrich Langer and Peter Paule},
refereed = {yes},
length = {18}
}

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

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

International Journal of Number Theory 8(1), pp. 71-94. 2012. ISSN 1793-0421. [pdf]
[bib]
@article{RISC4306,
author = {Tewodros Amdeberhan and Christoph Koutschan and Victor H. Moll and Eric S. Rowland},
title = {{The iterated integrals of ln(1+x^n)}},
language = {english},
abstract = {For a polynomial P, we consider the sequence of iterated integralsof ln P(x). This sequence is expressed in terms of the zeros of P(x). In thespecial case of ln(1+x^2 ), arithmetic properties of certain coefficients arisingare described. Similar observations are made for ln(1+x^3).},
journal = {International Journal of Number Theory},
volume = {8},
number = {1},
pages = {71--94},
isbn_issn = {ISSN 1793-0421},
year = {2012},
refereed = {yes},
length = {24}
}

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

Stavros Garoufalidis, Christoph Koutschan

Experimental Mathematics 21(3), pp. 241-251. 2012. ISSN 1058-6458. [url] [pdf]
[bib]
@article{RISC4408,
author = {Stavros Garoufalidis and Christoph Koutschan},
title = {{The non-commutative A-polynomial of (-2,3,n) pretzel knots}},
language = {english},
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_{-p}) are geometrically similar (in particular, scissors congruent) with similar character varieties. Our computation of thenon-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 invariantto numerically verify the Volume Conjecture for the above mentioned pretzel knots.},
journal = {Experimental Mathematics},
volume = {21},
number = {3},
pages = {241--251},
isbn_issn = {ISSN 1058-6458},
year = {2012},
refereed = {yes},
length = {11},
url = {http://www.risc.jku.at/people/ckoutsch/pretzel/}
}

Zeilberger's Holonomic Ansatz for Pfaffians

Masao Ishikawa, Christoph Koutschan

In: Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation (ISSAC), Joris van der Hoeven, Mark van Hoeij (ed.), pp. 227-233. 2012. ACM, ISBN 978-1-4503-1269. [url] [pdf]
[bib]
@inproceedings{RISC4512,
author = {Masao Ishikawa and Christoph Koutschan},
title = {{Zeilberger's Holonomic Ansatz for Pfaffians}},
booktitle = {{Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation (ISSAC)}},
language = {english},
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 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.},
pages = {227--233},
publisher = {ACM},
isbn_issn = {ISBN 978-1-4503-1269},
year = {2012},
editor = {Joris van der Hoeven and Mark van Hoeij},
refereed = {yes},
length = {7},
url = {http://www.risc.jku.at/people/ckoutsch/pfaffians/}
}

Twisting q-holonomic sequences by complex roots of unity

Stavros Garoufalidis, Christoph Koutschan

In: Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation (ISSAC), Joris van der Hoeven, Mark van Hoeij (ed.), pp. 179-186. 2012. ACM, ISBN 978-1-4503-1269. [url] [pdf]
[bib]
@inproceedings{RISC4513,
author = {Stavros Garoufalidis and Christoph Koutschan},
title = {{Twisting q-holonomic sequences by complex roots of unity}},
booktitle = {{Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation (ISSAC)}},
language = {english},
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 w*q where w is a complex root of unity, and under the substitution q -> q^alpha where alpha 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.},
pages = {179--186},
publisher = {ACM},
isbn_issn = {ISBN 978-1-4503-1269},
year = {2012},
editor = {Joris van der Hoeven and Mark van Hoeij},
refereed = {yes},
length = {8},
url = {http://www.math.gatech.edu/~stavros/publications/twisting.qholonomic.data/}
}

Linear Recurrences and Power Series Division

Herwig Hauser, Christoph Koutschan

Discrete Mathematics 312(24), pp. 3553-3560. 2012. ISSN 0012-365X. [pdf]
[bib]
@article{RISC4571,
author = {Herwig Hauser and Christoph Koutschan},
title = {{Linear Recurrences and Power Series Division}},
language = {english},
abstract = {Bousquet-Melou and Petkovsek investigated the generating functions of multivariate linear recurrences with constant coefficients. We will give a reinterpretation of their results by means of division theorems for formal power series, which clarifies the structural background and provides short, conceptual proofs. In addition, extending the division to the context of differential operators, the case of recurrences with polynomial coefficients can be treated in an analogous way.},
journal = {Discrete Mathematics},
volume = {312},
number = {24},
pages = {3553--3560},
isbn_issn = {ISSN 0012-365X},
year = {2012},
refereed = {yes},
length = {8}
}

Third order integrability conditions for homogeneous potentials of degree -1

Thierry Combot, Christoph Koutschan

Journal of Mathematical Physics 53(8), pp. 082704-. 2012. ISSN 0022-2488. [pdf]
[bib]
@article{RISC4572,
author = {Thierry Combot and Christoph Koutschan},
title = {{Third order integrability conditions for homogeneous potentials of degree -1}},
language = {english},
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 form V(r, theta) = 1/r * h(exp(i*theta)) with h in C[z], deg(h) <= 3. We then find all meromorphically integrable potentials of this form.},
journal = {Journal of Mathematical Physics},
volume = {53},
number = {8},
pages = {082704--},
isbn_issn = {ISSN 0022-2488},
year = {2012},
refereed = {yes},
length = {26}
}

2011

Integrals of powers of loggamma

Tewodros Amdeberhan, Mark W. Coffey, Olivier Espinosa, Christoph Koutschan, Dante V. Manna, Victor H. Moll

Proceedings of the AMS 139(2), pp. 535-545. 2011. ISSN 0002-9939. [pdf]
[bib]
@article{RISC4031,
author = {Tewodros Amdeberhan and Mark W. Coffey and Olivier Espinosa and Christoph Koutschan and Dante V. Manna and Victor H. Moll},
title = {{Integrals of powers of loggamma}},
language = {english},
abstract = {Properties of the integral of powers of log(Gamma(x)) from 0 to 1are considered. Analytic evaluations for the first two powers are presented.Empirical evidence for the cubic case is discussed.},
journal = {Proceedings of the AMS},
volume = {139},
number = {2},
pages = {535--545},
isbn_issn = {ISSN 0002-9939},
year = {2011},
refereed = {yes},
length = {11}
}

The integrals in Gradshteyn and Ryzhik. Part 18: Some automatic proofs

Christoph Koutschan, Victor H. Moll

SCIENTIA Series A: Mathematical Sciences 20, pp. 93-111. 2011. Universidad Tecnica Federico Santa Maria, Valparaiso, Chile, ISSN 0716-8446. [pdf]
[bib]
@article{RISC4099,
author = {Christoph Koutschan and Victor H. Moll},
title = {{The integrals in Gradshteyn and Ryzhik. Part 18: Some automatic proofs}},
language = {english},
journal = {SCIENTIA Series A: Mathematical Sciences},
volume = {20},
pages = {93--111},
address = {Universidad Tecnica Federico Santa Maria, Valparaiso, Chile},
isbn_issn = {ISSN 0716-8446},
year = {2011},
refereed = {yes},
length = {19}
}

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

Christoph Koutschan, Manuel Kauers, Doron Zeilberger

Proceedings of the National Academy of Sciences 108(6), pp. 2196-2199. 2011. ISSN 0027-8424. [url] [pdf]
[bib]
@article{RISC4183,
author = {Christoph Koutschan and Manuel Kauers and Doron Zeilberger},
title = {{Proof of George Andrews's and David Robbins's q-TSPP conjecture}},
language = {english},
abstract = {The conjecture that the orbit-counting generating function for totallysymmetric plane partitions can be written as an explicitproduct formula, has been stated independently by George Andrews andDavid Robbins around 1983. We present a proof of this long-standingconjecture.},
journal = {Proceedings of the National Academy of Sciences},
volume = {108},
number = {6},
pages = {2196--2199},
isbn_issn = {ISSN 0027-8424},
year = {2011},
refereed = {yes},
length = {4},
url = {http://www.risc.jku.at/people/ckoutsch/qtspp/}
}

The sl3 Jones polynomial of the trefoil: a case study of q-holonomic recursions

Stavros Garoufalidis, Christoph Koutschan

Advances in Applied Mathematics 47(4), pp. 829-839. 2011. ISSN 0196-8858. [pdf]
[bib]
@article{RISC4340,
author = {Stavros Garoufalidis and Christoph Koutschan},
title = {{The sl3 Jones polynomial of the trefoil: a case study of q-holonomic recursions}},
language = {english},
abstract = {The sl3 colored Jones polynomial of the trefoil knot is a q-holonomicsequence 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, thiswork illustrates the applicability and computational power of the employed computer algebra methods.},
journal = {Advances in Applied Mathematics},
volume = {47},
number = {4},
pages = {829--839},
isbn_issn = {ISSN 0196-8858},
year = {2011},
refereed = {yes},
length = {11}
}

Loading…