Probabilistically Checkable Proofs, Agreement Tests, and High Dimensional Expanders

Projektinformationen

PCPHDX

ID Finanzhilfevereinbarung: 772839

DOI

10.3030/772839

Projekt abgeschlossen

EK-Unterschriftsdatum 24 Januar 2018

Startdatum 1 Februar 2018

Enddatum 31 Dezember 2024

Finanziert unter

• EXCELLENT SCIENCE - European Research Council (ERC)

Gesamtkosten

€ 1 512 035,00

EU-Beitrag

€ 1 512 035,00

Koordiniert durch

WEIZMANN INSTITUTE OF SCIENCE
Israel

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

Conference proceedings (14)

Direct Sum Testing: The General Case.

Autoren: Irit Dinur, Konstantin Golubev
Veröffentlicht in: APPROX-RANDOM, Ausgabe 40, 2019, Seite(n) 1-40
Herausgeber: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.approx-random.2019.40

From Local to Robust Testing via Agreement Testing.

Autoren: Irit Dinur, Prahladh Harsha, Tali Kaufman, Noga Ron-Zewi
Veröffentlicht in: 10th Innovations in Theoretical Computer Science Conference, Ausgabe yearly, 2019, Seite(n) 1-29
Herausgeber: Schloss Dagstuhl

New High Dimensional Expanders from Covers

Autoren: Yotam Dikstein
Veröffentlicht in: Proceedings of the 55th Annual ACM Symposium on Theory of Computing, 2023, Seite(n) 826-838
Herausgeber: ACM
DOI: 10.1145/3564246.3585183

Explicit SoS Lower Bounds from High-Dimensional Expanders

Autoren: Irit Dinur, Yuval Filmus, Prahladh Harsha, Madhur Tulsiani
Veröffentlicht in: ITCS, 2021
Herausgeber: ITCS

Swap Cosystolic Expansion

Autoren: Yotam Dikstein, Irit Dinur
Veröffentlicht in: STOC 2024, 2024
Herausgeber: ACM

Coboundary and cosystolic expansion without dependence on dimension or degree

Autoren: Dikstein, Yotam; Dinur, Irit
Veröffentlicht in: RANDOM APPROX 2024, Ausgabe 3, 2024
Herausgeber: LIPICS

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

Autoren: Irit Dinur, Ting-Chun Lin, Thomas Vidick
Veröffentlicht in: 2024 IEEE 65th Annual Symposium on Foundations of Computer Science (FOCS), 2024, Seite(n) 379-385
Herausgeber: IEEE
DOI: 10.1109/focs61266.2024.00031

Boolean Function Analysis on High-Dimensional Expanders

Autoren: YOTAM DIKSTEIN, IRIT DINUR, YUVAL FILMUS, PRAHLADH HARSHA
Veröffentlicht in: RANDOM APPROX, Ausgabe YEARLY, 2018, Seite(n) 1-20
Herausgeber: 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]

Autoren: Irit Dinur, Yuval Filmus, Prahladh Harsha
Veröffentlicht in: Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms, 2019, Seite(n) 2124-2133, ISBN 978-1-61197-548-2
Herausgeber: Society for Industrial and Applied Mathematics
DOI: 10.1137/1.9781611975482.128

Hardness Amplification of Optimization Problem

Autoren: Elazar Goldenberg, Karthik C. S.
Veröffentlicht in: ITCS 2020, Ausgabe yearly, 2020
Herausgeber: Schloss Dagstuhl
DOI: 10.4230/lipics.itcs.2020.1

Agreement Testing Theorems on Layered Set Systems

Autoren: Yotam Dikstein, Irit Dinur
Veröffentlicht in: 2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS), Ausgabe Yearly, 2019, Seite(n) 1495-1524, ISBN 978-1-7281-4952-3
Herausgeber: IEEE
DOI: 10.1109/focs.2019.00088

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

Autoren: Irit Dinur, Oded Goldreich, Tom Gur
Veröffentlicht in: ITCS, Ausgabe yearly, 2019, Seite(n) 1-30
Herausgeber: Schloss Dagstuhl

Locally testable codes with constant rate, distance, and locality

Autoren: Irit Dinur, Shai Evra, Ron Livne, Alexander Lubotzky, Shahar Mozes
Veröffentlicht in: STOC 2022, 2022, Seite(n) 357-374
Herausgeber: ACM

Low Acceptance Agreement Tests via Bounded-Degree Symplectic HDXs

Autoren: Yotam Dikstein, Irit Dinur, Alexander Lubotzky
Veröffentlicht in: 2024 IEEE 65th Annual Symposium on Foundations of Computer Science (FOCS), 2024, Seite(n) 826-861
Herausgeber: IEEE
DOI: 10.1109/focs61266.2024.00058

Peer reviewed articles (4)

On the Parameterized Complexity of Approximating Dominating Set

Autoren: Karthik C. S., Bundit Laekhanukit, Pasin Manurangsi
Veröffentlicht in: Journal of the ACM, Ausgabe 66/5, 2019, Seite(n) 1-38, ISSN 0004-5411
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3325116

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

Autoren: Karthik C. S., Pasin Manurangsi
Veröffentlicht in: Combinatorica, Ausgabe 40, 2020, Seite(n) 539–573, ISSN 0209-9683
Herausgeber: Springer Verlag
DOI: 10.1007/s00493-019-4113-1

Bipartite Unique Neighbour Expanders via Ramanujan Graphs

Autoren: Ron Asherov, Irit Dinur
Veröffentlicht in: Entropy, Ausgabe 26, 2024, Seite(n) 348, ISSN 1099-4300
Herausgeber: Multidisciplinary Digital Publishing Institute (MDPI)
DOI: 10.3390/e26040348

Boolean Function Analysis on High-Dimensional Expanders

Autoren: Yotam Dikstein, Irit Dinur, Yuval Filmus, Prahladh Harsha
Veröffentlicht in: Combinatorica, Ausgabe 44, 2024, Seite(n) 563-620, ISSN 0209-9683
Herausgeber: Springer Verlag
DOI: 10.1007/s00493-024-00084-5

Book chapters (1)

List Decoding with Double Samplers

Autoren: Irit Dinur, Prahladh Harsha, Tali Kaufman, Inbal Livni Navon, Amnon Ta Shma
Veröffentlicht in: Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms, 2019, Seite(n) 2134-2153, ISBN 978-1-61197-548-2
Herausgeber: Society for Industrial and Applied Mathematics
DOI: 10.1137/1.9781611975482.129