Contact Info
Combinatorics & Optimization
University of Waterloo
Waterloo, Ontario
Canada N2L 3G1
Phone: 519-888-4567, ext 33038
PDF files require Adobe Acrobat Reader.
Title: From Combinatorics to Computer Algebra and Morse Theory - Making Sense of Multivariate Asymptotics
Speaker: | Stephen Melczer |
Affiliation: | University of Pennsylvania |
Room: | MC 5479 |
Abstract:
The asymptotic study of multivariate generating functions comprises the domain of Analytic Combinatorics in Several Variables (ACSV). Although the techniques of ACSV parallel a better known univariate theory, the pathologies which arise in the analysis of multivariate functions leads to many intriguing -- perhaps, in general, undecidable -- questions. This talk focuses on two issues: asymptotic transitions between different sequences encoded by one, typically rational, multivariate generating function, and the use of Morse theory to provide strong structure results for possible asymptotic behaviour. These results can be combined with computer algebra software to provide rigorous asymptotic proofs, and present the most promising attack on the "connection problem" for so-called P-recursive sequences. Applications discussed include quantum computing, queuing theory, and automatic proofs of transcendence.
Combinatorics & Optimization
University of Waterloo
Waterloo, Ontario
Canada N2L 3G1
Phone: 519-888-4567, ext 33038
PDF files require Adobe Acrobat Reader.
The University of Waterloo acknowledges that much of our work takes place on the traditional territory of the Neutral, Anishinaabeg and Haudenosaunee peoples. Our main campus is situated on the Haldimand Tract, the land granted to the Six Nations that includes six miles on each side of the Grand River. Our active work toward reconciliation takes place across our campuses through research, learning, teaching, and community building, and is co-ordinated within the Office of Indigenous Relations.