Algebraic Formula Lower Bounds and Applications

Informacje na temat projektu

ALBA

Identyfikator umowy o grant: 101125652

DOI

10.3030/101125652

Data podpisania przez KE 24 Maja 2024

Data rozpoczęcia 1 Czerwca 2024

Data zakończenia 31 Maja 2029

Finansowanie w ramach

• European Research Council (ERC)

Koszt całkowity

€ 1 869 055,00

Wkład UE

€ 1 869 055,00

Koordynowany przez

KOBENHAVNS UNIVERSITET
Denmark

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Conference proceedings (13)

Low Degree Local Correction Over the Boolean Cube

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

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

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

Negations Are Powerful Even in Small Depth

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

On Closure Properties of Read-Once Oblivious Algebraic Branching Programs

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

Eigenvalue Bounds for Symmetric Markov Chains on Multislices with Applications

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

New Bounds for the Ideal Proof System in Positive Characteristic

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

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

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

Ideals, Macaulay Bases, and PCPs

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

A Near-Optimal Polynomial Distance Lemma over Boolean Slices

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

Multilinear Algebraic Branching Programs and the Min-Partition Rank Method

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

Spiky Rank and Its Applications to Rigidity and Circuits

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

The Algebraic Cost of a Boolean Sum

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

The Log-Rank Conjecture: New Equivalent Formulations

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