Probabilistically Checkable Proofs, Agreement Tests, and High Dimensional Expanders

Informazioni relative al progetto

PCPHDX

ID dell’accordo di sovvenzione: 772839

DOI

10.3030/772839

Progetto chiuso

Data della firma CE 24 Gennaio 2018

Data di avvio 1 Febbraio 2018

Data di completamento 31 Dicembre 2024

Finanziato da

• EXCELLENT SCIENCE - European Research Council (ERC)

Costo totale

€ 1 512 035,00

Contributo UE

€ 1 512 035,00

Coordinato da

WEIZMANN INSTITUTE OF SCIENCE
Israel

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Conference proceedings (14)

Direct Sum Testing: The General Case.

Autori: Irit Dinur, Konstantin Golubev
Pubblicato in: APPROX-RANDOM, Numero 40, 2019, Pagina/e 1-40
Editore: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.approx-random.2019.40

From Local to Robust Testing via Agreement Testing.

Autori: Irit Dinur, Prahladh Harsha, Tali Kaufman, Noga Ron-Zewi
Pubblicato in: 10th Innovations in Theoretical Computer Science Conference, Numero yearly, 2019, Pagina/e 1-29
Editore: Schloss Dagstuhl

New High Dimensional Expanders from Covers

Autori: Yotam Dikstein
Pubblicato in: Proceedings of the 55th Annual ACM Symposium on Theory of Computing, 2023, Pagina/e 826-838
Editore: ACM
DOI: 10.1145/3564246.3585183

Explicit SoS Lower Bounds from High-Dimensional Expanders

Autori: Irit Dinur, Yuval Filmus, Prahladh Harsha, Madhur Tulsiani
Pubblicato in: ITCS, 2021
Editore: ITCS

Swap Cosystolic Expansion

Autori: Yotam Dikstein, Irit Dinur
Pubblicato in: STOC 2024, 2024
Editore: ACM

Coboundary and cosystolic expansion without dependence on dimension or degree

Autori: Dikstein, Yotam; Dinur, Irit
Pubblicato in: RANDOM APPROX 2024, Numero 3, 2024
Editore: LIPICS

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

Autori: Irit Dinur, Ting-Chun Lin, Thomas Vidick
Pubblicato in: 2024 IEEE 65th Annual Symposium on Foundations of Computer Science (FOCS), 2024, Pagina/e 379-385
Editore: IEEE
DOI: 10.1109/focs61266.2024.00031

Boolean Function Analysis on High-Dimensional Expanders

Autori: YOTAM DIKSTEIN, IRIT DINUR, YUVAL FILMUS, PRAHLADH HARSHA
Pubblicato in: RANDOM APPROX, Numero YEARLY, 2018, Pagina/e 1-20
Editore: 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]

Autori: Irit Dinur, Yuval Filmus, Prahladh Harsha
Pubblicato in: Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms, 2019, Pagina/e 2124-2133, ISBN 978-1-61197-548-2
Editore: Society for Industrial and Applied Mathematics
DOI: 10.1137/1.9781611975482.128

Hardness Amplification of Optimization Problem

Autori: Elazar Goldenberg, Karthik C. S.
Pubblicato in: ITCS 2020, Numero yearly, 2020
Editore: Schloss Dagstuhl
DOI: 10.4230/lipics.itcs.2020.1

Agreement Testing Theorems on Layered Set Systems

Autori: Yotam Dikstein, Irit Dinur
Pubblicato in: 2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS), Numero Yearly, 2019, Pagina/e 1495-1524, ISBN 978-1-7281-4952-3
Editore: IEEE
DOI: 10.1109/focs.2019.00088

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

Autori: Irit Dinur, Oded Goldreich, Tom Gur
Pubblicato in: ITCS, Numero yearly, 2019, Pagina/e 1-30
Editore: Schloss Dagstuhl

Locally testable codes with constant rate, distance, and locality

Autori: Irit Dinur, Shai Evra, Ron Livne, Alexander Lubotzky, Shahar Mozes
Pubblicato in: STOC 2022, 2022, Pagina/e 357-374
Editore: ACM

Low Acceptance Agreement Tests via Bounded-Degree Symplectic HDXs

Autori: Yotam Dikstein, Irit Dinur, Alexander Lubotzky
Pubblicato in: 2024 IEEE 65th Annual Symposium on Foundations of Computer Science (FOCS), 2024, Pagina/e 826-861
Editore: IEEE
DOI: 10.1109/focs61266.2024.00058

Peer reviewed articles (4)

On the Parameterized Complexity of Approximating Dominating Set

Autori: Karthik C. S., Bundit Laekhanukit, Pasin Manurangsi
Pubblicato in: Journal of the ACM, Numero 66/5, 2019, Pagina/e 1-38, ISSN 0004-5411
Editore: Association for Computing Machinary, Inc.
DOI: 10.1145/3325116

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

Autori: Karthik C. S., Pasin Manurangsi
Pubblicato in: Combinatorica, Numero 40, 2020, Pagina/e 539–573, ISSN 0209-9683
Editore: Springer Verlag
DOI: 10.1007/s00493-019-4113-1

Bipartite Unique Neighbour Expanders via Ramanujan Graphs

Autori: Ron Asherov, Irit Dinur
Pubblicato in: Entropy, Numero 26, 2024, Pagina/e 348, ISSN 1099-4300
Editore: Multidisciplinary Digital Publishing Institute (MDPI)
DOI: 10.3390/e26040348

Boolean Function Analysis on High-Dimensional Expanders

Autori: Yotam Dikstein, Irit Dinur, Yuval Filmus, Prahladh Harsha
Pubblicato in: Combinatorica, Numero 44, 2024, Pagina/e 563-620, ISSN 0209-9683
Editore: Springer Verlag
DOI: 10.1007/s00493-024-00084-5

Book chapters (1)

List Decoding with Double Samplers

Autori: Irit Dinur, Prahladh Harsha, Tali Kaufman, Inbal Livni Navon, Amnon Ta Shma
Pubblicato in: Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms, 2019, Pagina/e 2134-2153, ISBN 978-1-61197-548-2
Editore: Society for Industrial and Applied Mathematics
DOI: 10.1137/1.9781611975482.129