Probabilistically Checkable Proofs, Agreement Tests, and High Dimensional Expanders

Información del proyecto

PCPHDX

Identificador del acuerdo de subvención: 772839

DOI

10.3030/772839

Proyecto cerrado

Fecha de la firma de la CE 24 Enero 2018

Fecha de inicio 1 Febrero 2018

Fecha de finalización 31 Diciembre 2024

Financiado con arreglo a

• EXCELLENT SCIENCE - European Research Council (ERC)

Coste total

€ 1 512 035,00

Aportación de la UE

€ 1 512 035,00

Coordinado por

WEIZMANN INSTITUTE OF SCIENCE
Israel

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

Direct Sum Testing: The General Case.

Autores: Irit Dinur, Konstantin Golubev
Publicado en: APPROX-RANDOM, Edición 40, 2019, Página(s) 1-40
Editor: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.approx-random.2019.40

From Local to Robust Testing via Agreement Testing.

Autores: Irit Dinur, Prahladh Harsha, Tali Kaufman, Noga Ron-Zewi
Publicado en: 10th Innovations in Theoretical Computer Science Conference, Edición yearly, 2019, Página(s) 1-29
Editor: Schloss Dagstuhl

New High Dimensional Expanders from Covers

Autores: Yotam Dikstein
Publicado en: Proceedings of the 55th Annual ACM Symposium on Theory of Computing, 2023, Página(s) 826-838
Editor: ACM
DOI: 10.1145/3564246.3585183

Explicit SoS Lower Bounds from High-Dimensional Expanders

Autores: Irit Dinur, Yuval Filmus, Prahladh Harsha, Madhur Tulsiani
Publicado en: ITCS, 2021
Editor: ITCS

Swap Cosystolic Expansion

Autores: Yotam Dikstein, Irit Dinur
Publicado en: STOC 2024, 2024
Editor: ACM

Coboundary and cosystolic expansion without dependence on dimension or degree

Autores: Dikstein, Yotam; Dinur, Irit
Publicado en: RANDOM APPROX 2024, Edición 3, 2024
Editor: LIPICS

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

Autores: Irit Dinur, Ting-Chun Lin, Thomas Vidick
Publicado en: 2024 IEEE 65th Annual Symposium on Foundations of Computer Science (FOCS), 2024, Página(s) 379-385
Editor: IEEE
DOI: 10.1109/focs61266.2024.00031

Boolean Function Analysis on High-Dimensional Expanders

Autores: YOTAM DIKSTEIN, IRIT DINUR, YUVAL FILMUS, PRAHLADH HARSHA
Publicado en: RANDOM APPROX, Edición YEARLY, 2018, Página(s) 1-20
Editor: 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]

Autores: Irit Dinur, Yuval Filmus, Prahladh Harsha
Publicado en: Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms, 2019, Página(s) 2124-2133, ISBN 978-1-61197-548-2
Editor: Society for Industrial and Applied Mathematics
DOI: 10.1137/1.9781611975482.128

Hardness Amplification of Optimization Problem

Autores: Elazar Goldenberg, Karthik C. S.
Publicado en: ITCS 2020, Edición yearly, 2020
Editor: Schloss Dagstuhl
DOI: 10.4230/lipics.itcs.2020.1

Agreement Testing Theorems on Layered Set Systems

Autores: Yotam Dikstein, Irit Dinur
Publicado en: 2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS), Edición Yearly, 2019, Página(s) 1495-1524, ISBN 978-1-7281-4952-3
Editor: IEEE
DOI: 10.1109/focs.2019.00088

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

Autores: Irit Dinur, Oded Goldreich, Tom Gur
Publicado en: ITCS, Edición yearly, 2019, Página(s) 1-30
Editor: Schloss Dagstuhl

Locally testable codes with constant rate, distance, and locality

Autores: Irit Dinur, Shai Evra, Ron Livne, Alexander Lubotzky, Shahar Mozes
Publicado en: STOC 2022, 2022, Página(s) 357-374
Editor: ACM

Low Acceptance Agreement Tests via Bounded-Degree Symplectic HDXs

Autores: Yotam Dikstein, Irit Dinur, Alexander Lubotzky
Publicado en: 2024 IEEE 65th Annual Symposium on Foundations of Computer Science (FOCS), 2024, Página(s) 826-861
Editor: IEEE
DOI: 10.1109/focs61266.2024.00058

Peer reviewed articles (4)

On the Parameterized Complexity of Approximating Dominating Set

Autores: Karthik C. S., Bundit Laekhanukit, Pasin Manurangsi
Publicado en: Journal of the ACM, Edición 66/5, 2019, Página(s) 1-38, ISSN 0004-5411
Editor: Association for Computing Machinary, Inc.
DOI: 10.1145/3325116

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

Autores: Karthik C. S., Pasin Manurangsi
Publicado en: Combinatorica, Edición 40, 2020, Página(s) 539–573, ISSN 0209-9683
Editor: Springer Verlag
DOI: 10.1007/s00493-019-4113-1

Bipartite Unique Neighbour Expanders via Ramanujan Graphs

Autores: Ron Asherov, Irit Dinur
Publicado en: Entropy, Edición 26, 2024, Página(s) 348, ISSN 1099-4300
Editor: Multidisciplinary Digital Publishing Institute (MDPI)
DOI: 10.3390/e26040348

Boolean Function Analysis on High-Dimensional Expanders

Autores: Yotam Dikstein, Irit Dinur, Yuval Filmus, Prahladh Harsha
Publicado en: Combinatorica, Edición 44, 2024, Página(s) 563-620, ISSN 0209-9683
Editor: Springer Verlag
DOI: 10.1007/s00493-024-00084-5

Book chapters (1)

List Decoding with Double Samplers

Autores: Irit Dinur, Prahladh Harsha, Tali Kaufman, Inbal Livni Navon, Amnon Ta Shma
Publicado en: Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms, 2019, Página(s) 2134-2153, ISBN 978-1-61197-548-2
Editor: Society for Industrial and Applied Mathematics
DOI: 10.1137/1.9781611975482.129