Deterministic Algorithms for Low-Degree Factors of Constant-Depth Circuits

Speaker:
Varun Ramanathan
Organiser:
Varun Ramanathan
Date:
Friday, 5 Jan 2024, 16:00 to 17:30
Venue:
A-201 (STCS Seminar Room)
Abstract

For every constant d, we design a subexponential time deterministic algorithm that takes as input a multivariate polynomial f given as a constant depth algebraic circuit over the field of rational numbers, and outputs all irreducible factors of f of degree at most d together with their respective multiplicities. Moreover, if f is a sparse polynomial, then the algorithm runs in quasipolynomial time. Our results are based on a more fine-grained connection between polynomial identity testing (PIT) and polynomial factorization in the context of constant degree factors and rely on a clean connection between divisibility testing of polynomials and PIT due to Forbes and on subexponential time deterministic PIT algorithms for constant depth algebraic circuits from the recent work of Limaye, Srinivasan and Tavenas.

This will be a conference-style short talk of about 20 minutes, with questions in the end.