On Solving Sparse Polynomial Factorization Related Problems
In a recent result of Bhargava, Saraf and Volkovich [FOCS’18; JACM’20], the first factor sparsity bound for constant individual degree polynomials was shown. In particular, it was shown that any factor of a polynomial with at most s terms and individual degree bounded by d can itself have at most s...
Saved in:
| Published in: | Computational complexity Vol. 34; no. 1; p. 7 |
|---|---|
| Main Authors: | , |
| Format: | Journal Article |
| Language: | English |
| Published: |
Cham
Springer International Publishing
01.06.2025
Springer Nature B.V |
| Subjects: | |
| ISSN: | 1016-3328, 1420-8954 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | In a recent result of Bhargava, Saraf and Volkovich [FOCS’18; JACM’20], the first factor sparsity bound for constant individual degree polynomials was shown. In particular, it was shown that any factor of a polynomial with at most
s
terms and individual degree bounded by
d
can itself have at most
s
O
(
d
2
log
n
)
terms. It is conjectured, though, that the ``true'' sparsity bound should be polynomial (i.e.,
s
poly
(
d
)
). In this paper we provide supporting evidence for this conjecture by presenting polynomial-time algorithms for several problems that would be implied by a polynomial-size sparsity bound. In particular, we give efficient (deterministic) algorithms for identity testing of
Σ
[
2
]
Π
Σ
Π
[
ind
-
deg
d
]
circuits and testing if a sparse polynomial is an exact power. Hence, our algorithms rely on different techniques. |
|---|---|
| Bibliography: | ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14 |
| ISSN: | 1016-3328 1420-8954 |
| DOI: | 10.1007/s00037-025-00268-5 |