Algebraic Formula Lower Bounds and Applications

Project Information

ALBA

Grant agreement ID: 101125652

DOI

10.3030/101125652

EC signature date 24 May 2024

Start date 1 June 2024

End date 31 May 2029

Funded under

• European Research Council (ERC)

Total cost

€ 1 869 055,00

EU contribution

€ 1 869 055,00

Coordinated by

KOBENHAVNS UNIVERSITET
Denmark

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Conference proceedings (13)

Low Degree Local Correction Over the Boolean Cube

Author(s): Prashanth Amireddy, Amik Raj Behera, Manaswi Paraashar, Srikanth Srinivasan, Madhu Sudan
Published in: Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), 2025
Publisher: Society for Industrial and Applied Mathematics
DOI: 10.48550/ARXIV.2411.07374

Beyond Bilinear Complexity: What Works and What Breaks with Many Modes?

Author(s): Cornelius Brand, Radu Curticapean, Petteri Kaski, Baitian Li, Ian Orzel, Tim Seppelt, Jiaheng Wang
Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.48550/ARXIV.2602.11975

Negations Are Powerful Even in Small Depth

Author(s): Bruno Cavalar, Théo Borém Fabris, Partha Mukhopadhyay, Srikanth Srinivasan, Amir Yehudayoff
Published in: Proceedings of the 58th Annual ACM Symposium on Theory of Computing, 2026
Publisher: ACM
DOI: 10.48550/ARXIV.2512.19515

On Closure Properties of Read-Once Oblivious Algebraic Branching Programs

Author(s): Robert Andrews, Jules Armand, Prateek Dwivedi, Magnus Rahbek Dalgaard Hansen, Nutan Limaye, Srikanth Srinivasan, Sébastien Tavenas
Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/LIPICS.ITCS.2026.9

Eigenvalue Bounds for Symmetric Markov Chains on Multislices with Applications

Author(s): Prashanth Amireddy, Amik Raj Behera, Srikanth Srinivasan, Madhu Sudan
Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.48550/ARXIV.2507.10731

New Bounds for the Ideal Proof System in Positive Characteristic

Author(s): Amik Raj Behera, Nutan Limaye, Varun Ramanathan, Srikanth Srinivasan
Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.48550/ARXIV.2506.16397

"#SAT-Algorithms for Classes of Threshold Circuits Based on Probabilistic Rank"

Author(s): Nutan Limaye, Adarsh Srinivasan, Srikanth Srinivasan
Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/LIPICS.MFCS.2025.67

Ideals, Macaulay Bases, and PCPs

Author(s): Prashanth Amireddy, Amik Raj Behera, Srikanth Srinivasan, Madhu Sudan, Sophus Valentin Willumsgaard
Published in: Proceedings of the 58th Annual ACM Symposium on Theory of Computing, 2026
Publisher: ACM
DOI: 10.48550/ARXIV.2511.03703

A Near-Optimal Polynomial Distance Lemma over Boolean Slices

Author(s): Prashanth Amireddy, Amik Raj Behera, Srikanth Srinivasan, Madhu Sudan
Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.48550/ARXIV.2507.03193

Multilinear Algebraic Branching Programs and the Min-Partition Rank Method

Author(s): Théo Borém Fabris, Nutan Limaye, Srikanth Srinivasan, Amir Yehudayoff
Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/LIPICS.CCC.2026.22

Spiky Rank and Its Applications to Rigidity and Circuits

Author(s): Lianna Hambardzumyan, Konstantin Myasnikov, Artur Riazanov, Morgan Shirley, Adi Shraibman
Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.48550/ARXIV.2602.23503

The Algebraic Cost of a Boolean Sum

Author(s): Ian Orzel, Srikanth Srinivasan, Sébastien Tavenas, Amir Yehudayoff
Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/LIPICS.FSTTCS.2025.47

The Log-Rank Conjecture: New Equivalent Formulations

Author(s): Lianna Hambardzumyan, Shachar Lovett, Morgan Shirley
Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.48550/ARXIV.2510.02583