Asymptotics of multivariate sequences in the presence of a lacuna

05/10/2019
by   Yuliy Baryshnikov, et al.
0

We explain a discontinuous drop in the exponential growth rate for certain multivariate generating functions at a critical parameter value, in even dimensions d ≥ 4. This result depends on computations in the homology of the algebraic variety where the generating function has a pole. These computations are similar to, and inspired by, a thread of research in applications of complex algebraic geometry to hyperbolic PDEs, going back to Leray, Petrowski, Atiyah, Bott and Gärding. As a consequence, we give a topological explanation for certain asymptotic phenomenon appearing in the combinatorics and number theory literature. Furthermore, we show how to combine topological methods with symbolic algebraic computation to determine explicitly the dominant asymptotics for such multivariate generating functions. This in turn enables the rigorous determination of integer coefficients in the Morse-Smale complex, which are difficult to determine using direct geometric methods.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
03/16/2023

Rigorous Analytic Combinatorics in Several Variables in SageMath

We introduce the new sage_acsv package for the SageMath computer algebra...
research
05/10/2019

Effective Coefficient Asymptotics of Multivariate Rational Functions via Semi-Numerical Algorithms for Polynomial Systems

The coefficient sequences of multivariate rational functions appear in m...
research
03/09/2023

Clones, polymorphisms and relations of arity omega

Polymorphisms of arity omega have recently been used in the proof of mod...
research
12/05/2020

A three layer neural network can represent any discontinuous multivariate function

In 1987, Hecht-Nielsen showed that any continuous multivariate function ...
research
08/25/2022

Rigorous numerical integration of algebraic functions

We present an algorithm which uses Fujiwara's inequality to bound algebr...
research
08/30/2022

Some interesting birational morphisms of smooth affine quadric 3-folds

We study a family of birational maps of smooth affine quadric 3-folds x_...
research
08/30/2023

Algebraic, Topological, and Mereological Foundations of Existential Granules

In this research, new concepts of existential granules that determine th...

Please sign up or login with your details

Forgot password? Click here to reset