Algebraic Formula Lower Bounds and Applications

Información del proyecto

ALBA

Identificador del acuerdo de subvención: 101125652

DOI

10.3030/101125652

Fecha de la firma de la CE 24 Mayo 2024

Fecha de inicio 1 Junio 2024

Fecha de finalización 31 Mayo 2029

Financiado con arreglo a

• European Research Council (ERC)

Coste total

€ 1 869 055,00

Aportación de la UE

€ 1 869 055,00

Coordinado por

KOBENHAVNS UNIVERSITET
Denmark

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Conference proceedings (13)

Low Degree Local Correction Over the Boolean Cube

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

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

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

Negations Are Powerful Even in Small Depth

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

On Closure Properties of Read-Once Oblivious Algebraic Branching Programs

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

Eigenvalue Bounds for Symmetric Markov Chains on Multislices with Applications

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

New Bounds for the Ideal Proof System in Positive Characteristic

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

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

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

Ideals, Macaulay Bases, and PCPs

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

A Near-Optimal Polynomial Distance Lemma over Boolean Slices

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

Multilinear Algebraic Branching Programs and the Min-Partition Rank Method

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

Spiky Rank and Its Applications to Rigidity and Circuits

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

The Algebraic Cost of a Boolean Sum

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

The Log-Rank Conjecture: New Equivalent Formulations

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