Algebraic Formula Lower Bounds and Applications

Projektinformationen

ALBA

ID Finanzhilfevereinbarung: 101125652

DOI

10.3030/101125652

EK-Unterschriftsdatum 24 Mai 2024

Startdatum 1 Juni 2024

Enddatum 31 Mai 2029

Finanziert unter

• European Research Council (ERC)

Gesamtkosten

€ 1 869 055,00

EU-Beitrag

€ 1 869 055,00

Koordiniert durch

KOBENHAVNS UNIVERSITET
Denmark

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

Conference proceedings (13)

Low Degree Local Correction Over the Boolean Cube

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

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

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

Negations Are Powerful Even in Small Depth

Autoren: Bruno Cavalar, Théo Borém Fabris, Partha Mukhopadhyay, Srikanth Srinivasan, Amir Yehudayoff
Veröffentlicht in: Proceedings of the 58th Annual ACM Symposium on Theory of Computing, 2026
Herausgeber: ACM
DOI: 10.48550/ARXIV.2512.19515

On Closure Properties of Read-Once Oblivious Algebraic Branching Programs

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

Eigenvalue Bounds for Symmetric Markov Chains on Multislices with Applications

Autoren: Prashanth Amireddy, Amik Raj Behera, Srikanth Srinivasan, Madhu Sudan
Herausgeber: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.48550/ARXIV.2507.10731

New Bounds for the Ideal Proof System in Positive Characteristic

Autoren: Amik Raj Behera, Nutan Limaye, Varun Ramanathan, Srikanth Srinivasan
Herausgeber: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.48550/ARXIV.2506.16397

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

Autoren: Nutan Limaye, Adarsh Srinivasan, Srikanth Srinivasan
Herausgeber: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/LIPICS.MFCS.2025.67

Ideals, Macaulay Bases, and PCPs

Autoren: Prashanth Amireddy, Amik Raj Behera, Srikanth Srinivasan, Madhu Sudan, Sophus Valentin Willumsgaard
Veröffentlicht in: Proceedings of the 58th Annual ACM Symposium on Theory of Computing, 2026
Herausgeber: ACM
DOI: 10.48550/ARXIV.2511.03703

A Near-Optimal Polynomial Distance Lemma over Boolean Slices

Autoren: Prashanth Amireddy, Amik Raj Behera, Srikanth Srinivasan, Madhu Sudan
Herausgeber: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.48550/ARXIV.2507.03193

Multilinear Algebraic Branching Programs and the Min-Partition Rank Method

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

Spiky Rank and Its Applications to Rigidity and Circuits

Autoren: Lianna Hambardzumyan, Konstantin Myasnikov, Artur Riazanov, Morgan Shirley, Adi Shraibman
Herausgeber: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.48550/ARXIV.2602.23503

The Algebraic Cost of a Boolean Sum

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

The Log-Rank Conjecture: New Equivalent Formulations

Autoren: Lianna Hambardzumyan, Shachar Lovett, Morgan Shirley
Herausgeber: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.48550/ARXIV.2510.02583