English

Power Series Composition in Near-Linear Time

Symbolic Computation 2024-09-24 v2

Abstract

We present an algebraic algorithm that computes the composition of two power series in softly linear time complexity. The previous best algorithms are O(n1+o(1))\mathop{\mathrm O}(n^{1+o(1)}) by Kedlaya and Umans (FOCS 2008) and an O(n1.43)\mathop{\mathrm O}(n^{1.43}) algebraic algorithm by Neiger, Salvy, Schost and Villard (JACM 2023). Our algorithm builds upon the recent Graeffe iteration approach to manipulate rational power series introduced by Bostan and Mori (SOSA 2021).

Keywords

Cite

@article{arxiv.2404.05177,
  title  = {Power Series Composition in Near-Linear Time},
  author = {Yasunori Kinoshita and Baitian Li},
  journal= {arXiv preprint arXiv:2404.05177},
  year   = {2024}
}

Comments

12 pages, in FOCS 2024

R2 v1 2026-06-28T15:46:56.709Z