Efficient Proofs and Computation: A Unified Algebraic Approach

Informations projet

EPRICOT

N° de convention de subvention: 101002742

DOI

10.3030/101002742

Date de signature de la CE 13 Avril 2021

Date de début 1 Juillet 2021

Date de fin 30 Juin 2027

Financé au titre de

• EXCELLENT SCIENCE - European Research Council (ERC)

Coût total

€ 1 899 675,00

Contribution de l’UE

€ 1 899 675,00

Coordonné par

IMPERIAL COLLEGE OF SCIENCE TECHNOLOGY AND MEDICINE
United Kingdom

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Conference proceedings (6)

The Weak Rank Principle: Lower Bounds and Applications

Auteurs: Michal Garlik, Svyatoslav Gryaznov, Hanlin Ren, and Iddo Tzameret
Publié dans: 58th Annual ACM Symposium on Theory of Computing (STOC), Salt Lake City, Utah, June 2026, 2026
Éditeur: ACM

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers

Auteurs: Tuomas Hakoniemi, Nutan Limaye and Iddo Tzameret
Publié dans: 56th Annual ACM Symposium on Theory of Computing (STOC) 2024, Numéro (To appear), 2024
Éditeur: ACM

Lower Bounds against the Ideal Proof System in Finite Fields

Auteurs: Tal Elbaz, Nashlen Govindasamy, Jiaqi Lu, Iddo Tzameret
Publié dans: 58th Annual ACM Symposium on Theory of Computing (STOC), Salt Lake City, Utah, June 2026., 2026
Éditeur: ACM

Lower bounds for regular resolution over parities

Auteurs: Klim Efremenko, Michal Garlik, Dmitry Itsykson
Publié dans: Proceedings of the 56th Annual ACM SIGACT Symposium on Theory of Computing (STOC) 2024, Numéro (To appear), 2024
Éditeur: ACM

Simple Hard Instances for Low-Depth Algebraic Proofs

Auteurs: Nashlen Govindasamy, Tuomas Hakoniemi, Iddo Tzameret
Publié dans: IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS) 2022, 2022, ISBN 978-1-6654-5519-0
Éditeur: IEEE
DOI: 10.1109/focs54457.2022.00025

Stretching Demi-Bits and Nondeterministic-Secure Pseudorandomness

Auteurs: Tzameret, Iddo; Zhang, Lu-Ming
Publié dans: 15th Innovations in Theoretical Computer Science Conference (ITCS), 2024., 2024, ISBN 9783959773096
Éditeur: Leibniz International Proceedings in Informatics, LIPIcs. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
DOI: 10.48550/arxiv.2304.14700

Peer reviewed articles (3)

Semi-Algebraic Proofs, IPS Lower Bounds and the τ-Conjecture: Can a Natural Number be Negative?

Auteurs: Yaroslav Alekseev, Dima Grigoriev, Edward A. Hirsch, Iddo Tzameret
Publié dans: SIAM Journal on Computing, 2024, ISSN 0097-5397
Éditeur: Society for Industrial and Applied Mathematics

Iterated Lower Bound Formulas: A Diagonalization-Based Approach to Proof Complexity

Auteurs: Rahul Santhanam, Iddo Tzameret
Publié dans: SIAM Journal on Computing, Numéro (Invited; Under 2n round review), 2024, ISSN 0097-5397
Éditeur: Society for Industrial and Applied Mathematics

First-Order Reasoning and Efficient Semi-Algebraic Proofs

Auteurs: Fedor Part, Neil Thapen, Iddo Tzameret
Publié dans: Annals of Pure and Applied Logic, Numéro (Under second round of review; conditional acceptance), 2024, ISSN 1873-2461
Éditeur: Elsevier

Other (2)

Constructive proof of Schwartz-Zippel lemma and applications

Auteurs: Albert Atserias, Iddo Tzameret
Publié dans: 2024
Éditeur: Not published yet

Bounded Depth Frege Lower Bounds for Random 3-CNFs via Deterministic Restrictions

Auteurs: Svyatoslav Gryaznov, Navid Talebanfard
Publié dans: 2024
Éditeur: Computational Complexity Foundation (CCF) (under review)