Advanced computer algebra for determinants

DOI10.1007/S00026-013-0183-8zbMATH Open1276.33032arXiv1112.0647OpenAlexW3104826190MaRDI QIDQ368447FDOQ368447

Christoph Koutschan, Thotsaporn Thanatipanonda

Publication date: 23 September 2013

Published in: Annals of Combinatorics (Search for Journal in Brave)

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.

Full work available at URL: https://arxiv.org/abs/1112.0647

Recommendations

• The holonomic ansatz. II: Automatic discovery(!) and proof(!!) of holonomic determinant evaluations
• A curious family of binomial determinants that count rhombus tilings of a holey hexagon
• Binomial determinants for tiling problems yield to the holonomic ansatz
• Advanced determinant calculus: a complement
• Determinants through the looking glass

zbMATH Keywords

computer algebradeterminantholonomic ansatzrhombus tiling

Mathematics Subject Classification ID

Determinants, permanents, traces, other special matrix functions (15A15) Combinatorial aspects of tessellation and tiling problems (05B45) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)

Cites Work

• Determinants through the looking glass
• A holonomic systems approach to special functions identities
• Advanced determinant calculus
• Title not available (Why is that?)
• Advanced determinant calculus: a complement
• The holonomic ansatz. II: Automatic discovery(!) and proof(!!) of holonomic determinant evaluations
• Proof of George Andrews’s and David Robbins’s q -TSPP conjecture
• Advanced applications of the holonomic systems approach
• Enumeration of Lozenge tilings of hexagons with a central triangular hole
• The generating function of ternary trees and continued fractions
• Reverend Charles to the Aid of Major Percy and Fields Medalist Enrico
• Zeilberger's holonomic ansatz for Pfaffians

Cited In (9)

• A non-automatic (!) application of Gosper's algorithm evaluates a determinant from tiling enumeration
• Binomial determinants for tiling problems yield to the holonomic ansatz
• Advanced determinant calculus
• Inverse inequality estimates with symbolic computation
• Determinant evaluations inspired by Di Francesco's determinant for twenty-vertex configurations
• A curious family of binomial determinants that count rhombus tilings of a holey hexagon
• Creative Telescoping for Holonomic Functions
• Determinants through the looking glass
• Advanced determinant calculus: a complement

Uses Software

• HolonomicFunctions
• DODGSON
• DET

This page was built for publication: Advanced computer algebra for determinants

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q368447)