Probabilistically Checkable Proofs, Agreement Tests, and High Dimensional Expanders

Informations projet

PCPHDX

N° de convention de subvention: 772839

DOI

10.3030/772839

Projet clôturé

Date de signature de la CE 24 Janvier 2018

Date de début 1 Février 2018

Date de fin 31 Decembre 2024

Financé au titre de

• EXCELLENT SCIENCE - European Research Council (ERC)

Coût total

€ 1 512 035,00

Contribution de l’UE

€ 1 512 035,00

Coordonné par

WEIZMANN INSTITUTE OF SCIENCE
Israel

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 (14)

Direct Sum Testing: The General Case.

Auteurs: Irit Dinur, Konstantin Golubev
Publié dans: APPROX-RANDOM, Numéro 40, 2019, Page(s) 1-40
Éditeur: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.approx-random.2019.40

From Local to Robust Testing via Agreement Testing.

Auteurs: Irit Dinur, Prahladh Harsha, Tali Kaufman, Noga Ron-Zewi
Publié dans: 10th Innovations in Theoretical Computer Science Conference, Numéro yearly, 2019, Page(s) 1-29
Éditeur: Schloss Dagstuhl

New High Dimensional Expanders from Covers

Auteurs: Yotam Dikstein
Publié dans: Proceedings of the 55th Annual ACM Symposium on Theory of Computing, 2023, Page(s) 826-838
Éditeur: ACM
DOI: 10.1145/3564246.3585183

Explicit SoS Lower Bounds from High-Dimensional Expanders

Auteurs: Irit Dinur, Yuval Filmus, Prahladh Harsha, Madhur Tulsiani
Publié dans: ITCS, 2021
Éditeur: ITCS

Swap Cosystolic Expansion

Auteurs: Yotam Dikstein, Irit Dinur
Publié dans: STOC 2024, 2024
Éditeur: ACM

Coboundary and cosystolic expansion without dependence on dimension or degree

Auteurs: Dikstein, Yotam; Dinur, Irit
Publié dans: RANDOM APPROX 2024, Numéro 3, 2024
Éditeur: LIPICS

Expansion of High-Dimensional Cubical Complexes: with Application to Quantum Locally Testable Codes

Auteurs: Irit Dinur, Ting-Chun Lin, Thomas Vidick
Publié dans: 2024 IEEE 65th Annual Symposium on Foundations of Computer Science (FOCS), 2024, Page(s) 379-385
Éditeur: IEEE
DOI: 10.1109/focs61266.2024.00031

Boolean Function Analysis on High-Dimensional Expanders

Auteurs: YOTAM DIKSTEIN, IRIT DINUR, YUVAL FILMUS, PRAHLADH HARSHA
Publié dans: RANDOM APPROX, Numéro YEARLY, 2018, Page(s) 1-20
Éditeur: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.approx-random.2018.38

Analyzing Boolean functions on the biased hypercube via higher-dimensional agreement tests: [Extended abstract]

Auteurs: Irit Dinur, Yuval Filmus, Prahladh Harsha
Publié dans: Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms, 2019, Page(s) 2124-2133, ISBN 978-1-61197-548-2
Éditeur: Society for Industrial and Applied Mathematics
DOI: 10.1137/1.9781611975482.128

Hardness Amplification of Optimization Problem

Auteurs: Elazar Goldenberg, Karthik C. S.
Publié dans: ITCS 2020, Numéro yearly, 2020
Éditeur: Schloss Dagstuhl
DOI: 10.4230/lipics.itcs.2020.1

Agreement Testing Theorems on Layered Set Systems

Auteurs: Yotam Dikstein, Irit Dinur
Publié dans: 2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS), Numéro Yearly, 2019, Page(s) 1495-1524, ISBN 978-1-7281-4952-3
Éditeur: IEEE
DOI: 10.1109/focs.2019.00088

Every Set in P Is Strongly Testable Under a Suitable Encoding. 

Auteurs: Irit Dinur, Oded Goldreich, Tom Gur
Publié dans: ITCS, Numéro yearly, 2019, Page(s) 1-30
Éditeur: Schloss Dagstuhl

Locally testable codes with constant rate, distance, and locality

Auteurs: Irit Dinur, Shai Evra, Ron Livne, Alexander Lubotzky, Shahar Mozes
Publié dans: STOC 2022, 2022, Page(s) 357-374
Éditeur: ACM

Low Acceptance Agreement Tests via Bounded-Degree Symplectic HDXs

Auteurs: Yotam Dikstein, Irit Dinur, Alexander Lubotzky
Publié dans: 2024 IEEE 65th Annual Symposium on Foundations of Computer Science (FOCS), 2024, Page(s) 826-861
Éditeur: IEEE
DOI: 10.1109/focs61266.2024.00058

Peer reviewed articles (4)

On the Parameterized Complexity of Approximating Dominating Set

Auteurs: Karthik C. S., Bundit Laekhanukit, Pasin Manurangsi
Publié dans: Journal of the ACM, Numéro 66/5, 2019, Page(s) 1-38, ISSN 0004-5411
Éditeur: Association for Computing Machinary, Inc.
DOI: 10.1145/3325116

On Closest Pair in Euclidean Metric: Monochromatic is as Hard as Bichromatic

Auteurs: Karthik C. S., Pasin Manurangsi
Publié dans: Combinatorica, Numéro 40, 2020, Page(s) 539–573, ISSN 0209-9683
Éditeur: Springer Verlag
DOI: 10.1007/s00493-019-4113-1

Bipartite Unique Neighbour Expanders via Ramanujan Graphs

Auteurs: Ron Asherov, Irit Dinur
Publié dans: Entropy, Numéro 26, 2024, Page(s) 348, ISSN 1099-4300
Éditeur: Multidisciplinary Digital Publishing Institute (MDPI)
DOI: 10.3390/e26040348

Boolean Function Analysis on High-Dimensional Expanders

Auteurs: Yotam Dikstein, Irit Dinur, Yuval Filmus, Prahladh Harsha
Publié dans: Combinatorica, Numéro 44, 2024, Page(s) 563-620, ISSN 0209-9683
Éditeur: Springer Verlag
DOI: 10.1007/s00493-024-00084-5

Book chapters (1)

List Decoding with Double Samplers

Auteurs: Irit Dinur, Prahladh Harsha, Tali Kaufman, Inbal Livni Navon, Amnon Ta Shma
Publié dans: Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms, 2019, Page(s) 2134-2153, ISBN 978-1-61197-548-2
Éditeur: Society for Industrial and Applied Mathematics
DOI: 10.1137/1.9781611975482.129