Untitled

Forbes, Michael A.; Shpilka, Amir; Tzameret, Iddo; Wigderson, Avi

doi:10.4086/toc.2021.v017a010

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2022

2024

Publication Types

Select...

Other3

Article2

Relationship

Self Cite0

Independent5

Authors

Journals

Cited by 5 publications

References 64 publications

(237 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

On vanishing sums of roots of unity in polynomial calculus and sum-of-squares

Bonacina,

Galesi,

Lauria

2023

comput. complex.

View full text Add to dashboard Cite

We introduce a novel take on sum-of-squares that is able to reason with complex numbers and still make use of polynomial inequalities. This proof system might be of independent interest since it allows to represent multivalued domains both with Boolean and Fourier encoding. We show degree and size lower bounds in this system for a natural generalization of knapsack: the vanishing sums of roots of unity. These lower bounds naturally apply to polynomial calculus as-well.

show abstract