Algebraic Formula Lower Bounds and Applications

Informazioni relative al progetto

ALBA

ID dell’accordo di sovvenzione: 101125652

DOI

10.3030/101125652

Data della firma CE 24 Maggio 2024

Data di avvio 1 Giugno 2024

Data di completamento 31 Maggio 2029

Finanziato da

• European Research Council (ERC)

Costo totale

€ 1 869 055,00

Contributo UE

€ 1 869 055,00

Coordinato da

KOBENHAVNS UNIVERSITET
Denmark

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Conference proceedings (13)

Low Degree Local Correction Over the Boolean Cube

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

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

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

Negations Are Powerful Even in Small Depth

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

On Closure Properties of Read-Once Oblivious Algebraic Branching Programs

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

Eigenvalue Bounds for Symmetric Markov Chains on Multislices with Applications

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

New Bounds for the Ideal Proof System in Positive Characteristic

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

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

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

Ideals, Macaulay Bases, and PCPs

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

A Near-Optimal Polynomial Distance Lemma over Boolean Slices

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

Multilinear Algebraic Branching Programs and the Min-Partition Rank Method

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

Spiky Rank and Its Applications to Rigidity and Circuits

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

The Algebraic Cost of a Boolean Sum

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

The Log-Rank Conjecture: New Equivalent Formulations

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