Document Open Access Logo

A Simple Algorithm for Trimmed Multipoint Evaluation

Authors Nick Fischer , Melvin Kallmayer , Leo Wennmann

PDF HTML 5

Files

Thumbnail PDF
PDF
LIPIcs.ESA.2025.89.pdf
  • Filesize: 0.74 MB
  • 11 pages
HTML5 Logo HTML (experimental)
LIPIcs.ESA.2025.89.html

Document Identifiers

Related Versions

Subject Classification

ACM Subject Classification
  • Theory of computation → Design and analysis of algorithms
Keywords
  • Algebraic Algorithms
  • Multipoint Evaluation
  • Interpolation
  • LU Decomposition

Metrics

Abstract

Evaluating a polynomial on a set of points is a fundamental task in computer algebra. In this work, we revisit a particular variant called trimmed multipoint evaluation: given an n-variate polynomial with bounded individual degree d and total degree D, the goal is to evaluate it on a natural class of input points. This problem arises as a key subroutine in recent algorithmic results [Dinur; SODA '21], [Dell, Haak, Kallmayer, Wennmann; SODA '25]. It is known that trimmed multipoint evaluation can be solved in near-linear time [van der Hoeven, Schost; AAECC '13] by a clever yet somewhat involved algorithm. We give a simple recursive algorithm that avoids heavy computer-algebraic machinery, and can be readily understood by researchers without specialized background.

Cite As Get BibTex

Nick Fischer, Melvin Kallmayer, and Leo Wennmann. A Simple Algorithm for Trimmed Multipoint Evaluation. In 33rd Annual European Symposium on Algorithms (ESA 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 351, pp. 89:1-89:11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/LIPIcs.ESA.2025.89

Author Details

Nick Fischer
  • INSAIT, Sofia University "St. Kliment Ohridski", Bulgaria
Melvin Kallmayer
  • Goethe University Frankfurt, Germany
Leo Wennmann
  • University of Southern Denmark, Odense, Denmark

Funding

  • Fischer, Nick: Partially funded by the Ministry of Education and Science of Bulgaria’s support for INSAIT as part of the Bulgarian National Roadmap for Research Infrastructure. Part of this work was done while the author was affiliated with the Weizmann Institute of Science.
  • Wennmann, Leo: Supported by Dutch Research Council (NWO) project "The Twilight Zone of Efficiency: Optimality of Quasi-Polynomial Time Algorithms" [grant number OCEN.W.21.268].

References

  1. Vishwas Bhargava, Sumanta Ghosh, Zeyu Guo, Mrinal Kumar, and Chris Umans. Fast multivariate multipoint evaluation over all finite fields. In 63rd IEEE Annual Symposium on Foundations of Computer Science (FOCS 2022), pages 221-232. IEEE, 2022. URL: https://doi.org/10.1109/FOCS54457.2022.00028.
  2. Vishwas Bhargava, Sumanta Ghosh, Mrinal Kumar, and Chandra Kanta Mohapatra. Fast, algebraic multivariate multipoint evaluation in small characteristic and applications. In Stefano Leonardi and Anupam Gupta, editors, 54th Annual ACM Symposium on Theory of Computing (STOC 2022), pages 403-415. ACM, 2022. URL: https://doi.org/10.1145/3519935.3519968.
  3. Dario Bini and Victor Y. Pan. Polynomial and matrix computations, 1st Edition, volume 12 of Progress in theoretical computer science. Birkhäuser, 1994. URL: https://www.worldcat.org/oclc/312012822.
  4. Andreas Björklund and Thore Husfeldt. The parity of directed hamiltonian cycles. In 54th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2013, 26-29 October, 2013, Berkeley, CA, USA, pages 727-735. IEEE Computer Society, 2013. URL: https://doi.org/10.1109/FOCS.2013.83.
  5. Andreas Björklund, Thore Husfeldt, Petteri Kaski, and Mikko Koivisto. Trimmed moebius inversion and graphs of bounded degree. Theory Comput. Syst., 47(3):637-654, 2010. URL: https://doi.org/10.1007/S00224-009-9185-7.
  6. Andreas Björklund, Petteri Kaski, and Ryan Williams. Generalized kakeya sets for polynomial evaluation and faster computation of fermionants. Algorithmica, 81(10):4010-4028, 2019. URL: https://doi.org/10.1007/S00453-018-0513-7.
  7. Andreas Björklund, Petteri Kaski, and Ryan Williams. Solving systems of polynomial equations over GF(2) by a parity-counting self-reduction. In Christel Baier, Ioannis Chatzigiannakis, Paola Flocchini, and Stefano Leonardi, editors, 46th International Colloquium on Automata, Languages, and Programming (ICALP 2019), volume 132 of LIPIcs, pages 26:1-26:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. URL: https://doi.org/10.4230/LIPICS.ICALP.2019.26.
  8. Richard C. Bollinger. Extended pascal triangles. Mathematics Magazine, 66(2):87-94, 1993. URL: https://doi.org/10.1080/0025570x.1993.11996088.
  9. Carl De Boor and Amos Ron. Computational aspects of polynomial interpolation in several variables. Mathematics of Computation, 58(198):705, 1992. URL: https://doi.org/10.2307/2153210.
  10. Allan Borodin and R. Moenck. Fast modular transforms. J. Comput. Syst. Sci., 8(3):366-386, 1974. URL: https://doi.org/10.1016/S0022-0000(74)80029-2.
  11. Abdellah Chkifa, Albert Cohen, and Christoph Schwab. High-dimensional adaptive sparse polynomial interpolation and applications to parametric pdes. Found. Comput. Math., 14(4):601-633, 2014. URL: https://doi.org/10.1007/S10208-013-9154-Z.
  12. Holger Dell, Anselm Haak, Melvin Kallmayer, and Leo Wennmann. Solving polynomial equations over finite fields. In Yossi Azar and Debmalya Panigrahi, editors, 36th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2025), pages 2779-2803. SIAM, 2025. URL: https://doi.org/10.1137/1.9781611978322.90.
  13. Itai Dinur. Improved algorithms for solving polynomial systems over GF(2) by multiple parity-counting. In Dániel Marx, editor, 32nd Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2021), pages 2550-2564. SIAM, 2021. URL: https://doi.org/10.1137/1.9781611976465.151.
  14. Nira Dyn and Michael S. Floater. Multivariate polynomial interpolation on lower sets. J. Approx. Theory, 177:34-42, 2014. URL: https://doi.org/10.1016/J.JAT.2013.09.008.
  15. Kiran S. Kedlaya and Christopher Umans. Fast polynomial factorization and modular composition. SIAM J. Comput., 40(6):1767-1802, 2011. URL: https://doi.org/10.1137/08073408X.
  16. Aviad Kipnis, Jacques Patarin, and Louis Goubin. Unbalanced oil and vinegar signature schemes. In Jacques Stern, editor, International Conference on the Theory and Application of Cryptographic Techniques (EUROCRYPT 1999), volume 1592 of Lecture Notes in Computer Science, pages 206-222. Springer, 1999. URL: https://doi.org/10.1007/3-540-48910-X_15.
  17. Daniel Lokshtanov, Ramamohan Paturi, Suguru Tamaki, R. Ryan Williams, and Huacheng Yu. Beating brute force for systems of polynomial equations over finite fields. In Philip N. Klein, editor, 28th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2017), pages 2190-2202. SIAM, 2017. URL: https://doi.org/10.1137/1.9781611974782.143.
  18. Michael Nüsken and Martin Ziegler. Fast multipoint evaluation of bivariate polynomials. In Susanne Albers and Tomasz Radzik, editors, 12th Annual European Symposium on Algorithms (ESA 2004), volume 3221 of Lecture Notes in Computer Science, pages 544-555. Springer, 2004. URL: https://doi.org/10.1007/978-3-540-30140-0_49.
  19. Halil Oruç and George M. Phillips. Explicit factorization of the vandermonde matrix. Linear Algebra and its Applications, 315(1-3):113-123, 2000. URL: https://doi.org/10.1016/s0024-3795(00)00124-5.
  20. Victor Y. Pan. Simple multivariate polynomial multiplication. J. Symb. Comput., 18(3):183-186, 1994. URL: https://doi.org/10.1006/JSCO.1994.1042.
  21. Jacques Patarin. Hidden fields equations (HFE) and isomorphisms of polynomials (IP): two new families of asymmetric algorithms. In Ueli M. Maurer, editor, International Conference on the Theory and Application of Cryptographic Techniques (EUROCRYPT 1996), volume 1070 of Lecture Notes in Computer Science, pages 33-48. Springer, 1996. URL: https://doi.org/10.1007/3-540-68339-9_4.
  22. Tomas Sauer. Lagrange interpolation on subgrids of tensor product grids. Math. Comput., 73(245):181-190, 2004. URL: https://doi.org/10.1090/S0025-5718-03-01557-6.
  23. Christopher Umans. Fast polynomial factorization and modular composition in small characteristic. In Cynthia Dwork, editor, 40th Annual ACM Symposium on Theory of Computing (STOC 2008), pages 481-490. ACM, 2008. URL: https://doi.org/10.1145/1374376.1374445.
  24. Joris van der Hoeven and Grégoire Lecerf. Fast amortized multi-point evaluation. J. Complex., 67:101574, 2021. URL: https://doi.org/10.1016/J.JCO.2021.101574.
  25. Joris van der Hoeven and Éric Schost. Multi-point evaluation in higher dimensions. Appl. Algebra Eng. Commun. Comput., 24(1):37-52, 2013. URL: https://doi.org/10.1007/S00200-012-0179-3.
  26. Joachim von zur Gathen and Jürgen Gerhard. Modern Computer Algebra. Cambridge University Press, 3rd edition, 2013. URL: https://doi.org/10.1017/CBO9781139856065.
  27. Helmut Werner. Remarks on newton type multivariate interpolation for subsets of grids. Computing, 25(2):181-191, 1980. URL: https://doi.org/10.1007/BF02259644.
  28. Frank Yates. The design and analysis of factorial experiments, 1937. Google Scholar
Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact