DeepAI AI Chat
Log In Sign Up

Homotopy techniques for analytic combinatorics in several variables

08/09/2022
by   Kisun Lee, et al.
University of Waterloo
University of California, San Diego
0

We combine tools from homotopy continuation solvers with the methods of analytic combinatorics in several variables to give the first practical algorithm and implementation for the asymptotics of multivariate rational generating functions not relying on a non-algorithmically checkable `combinatorial' non-negativity assumption. Our homotopy implementation terminates on examples from the literature in three variables, and we additionally describe heuristic methods that terminate and correctly predict asymptotic behaviour in reasonable time on examples in even higher dimension. Our results are implemented in Julia, through the use of the HomotopyContinuation.jl package, and we provide a selection of examples and benchmarks.

READ FULL TEXT

page 1

page 2

page 3

page 4

03/16/2023

Rigorous Analytic Combinatorics in Several Variables in SageMath

We introduce the new sage_acsv package for the SageMath computer algebra...
07/02/2022

Asymptotics of multivariate sequences IV: generating functions with poles on a hyperplane arrangement

Let F be the quotient of an analytic function with a product of linear f...
05/02/2016

Symbolic-Numeric Tools for Analytic Combinatorics in Several Variables

Analytic combinatorics studies the asymptotic behaviour of sequences thr...
11/11/2021

Multivariate Analytic Combinatorics for Cost Constrained Channels and Subsequence Enumeration

Analytic combinatorics in several variables is a powerful tool for deriv...
09/15/2017

Analytic Combinatorics in Several Variables: Effective Asymptotics and Lattice Path Enumeration

The field of analytic combinatorics, which studies the asymptotic behavi...
11/16/2020

Sequence Positivity Through Numeric Analytic Continuation: Uniqueness of the Canham Model for Biomembranes

We prove solution uniqueness for the genus one Canham variational proble...