Probabilistically Checkable Proofs, Agreement Tests, and High Dimensional Expanders

Informacje na temat projektu

PCPHDX

Identyfikator umowy o grant: 772839

DOI

10.3030/772839

Projekt został zamknięty

Data podpisania przez KE 24 Stycznia 2018

Data rozpoczęcia 1 Lutego 2018

Data zakończenia 31 Grudnia 2024

Finansowanie w ramach

• EXCELLENT SCIENCE - European Research Council (ERC)

Koszt całkowity

€ 1 512 035,00

Wkład UE

€ 1 512 035,00

Koordynowany przez

WEIZMANN INSTITUTE OF SCIENCE
Israel

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Conference proceedings (14)

Direct Sum Testing: The General Case.

Autorzy: Irit Dinur, Konstantin Golubev
Opublikowane w: APPROX-RANDOM, Numer 40, 2019, Strona(/y) 1-40
Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.approx-random.2019.40

From Local to Robust Testing via Agreement Testing.

Autorzy: Irit Dinur, Prahladh Harsha, Tali Kaufman, Noga Ron-Zewi
Opublikowane w: 10th Innovations in Theoretical Computer Science Conference, Numer yearly, 2019, Strona(/y) 1-29
Wydawca: Schloss Dagstuhl

New High Dimensional Expanders from Covers

Autorzy: Yotam Dikstein
Opublikowane w: Proceedings of the 55th Annual ACM Symposium on Theory of Computing, 2023, Strona(/y) 826-838
Wydawca: ACM
DOI: 10.1145/3564246.3585183

Explicit SoS Lower Bounds from High-Dimensional Expanders

Autorzy: Irit Dinur, Yuval Filmus, Prahladh Harsha, Madhur Tulsiani
Opublikowane w: ITCS, 2021
Wydawca: ITCS

Swap Cosystolic Expansion

Autorzy: Yotam Dikstein, Irit Dinur
Opublikowane w: STOC 2024, 2024
Wydawca: ACM

Coboundary and cosystolic expansion without dependence on dimension or degree

Autorzy: Dikstein, Yotam; Dinur, Irit
Opublikowane w: RANDOM APPROX 2024, Numer 3, 2024
Wydawca: LIPICS

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

Autorzy: Irit Dinur, Ting-Chun Lin, Thomas Vidick
Opublikowane w: 2024 IEEE 65th Annual Symposium on Foundations of Computer Science (FOCS), 2024, Strona(/y) 379-385
Wydawca: IEEE
DOI: 10.1109/focs61266.2024.00031

Boolean Function Analysis on High-Dimensional Expanders

Autorzy: YOTAM DIKSTEIN, IRIT DINUR, YUVAL FILMUS, PRAHLADH HARSHA
Opublikowane w: RANDOM APPROX, Numer YEARLY, 2018, Strona(/y) 1-20
Wydawca: 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]

Autorzy: Irit Dinur, Yuval Filmus, Prahladh Harsha
Opublikowane w: Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms, 2019, Strona(/y) 2124-2133, ISBN 978-1-61197-548-2
Wydawca: Society for Industrial and Applied Mathematics
DOI: 10.1137/1.9781611975482.128

Hardness Amplification of Optimization Problem

Autorzy: Elazar Goldenberg, Karthik C. S.
Opublikowane w: ITCS 2020, Numer yearly, 2020
Wydawca: Schloss Dagstuhl
DOI: 10.4230/lipics.itcs.2020.1

Agreement Testing Theorems on Layered Set Systems

Autorzy: Yotam Dikstein, Irit Dinur
Opublikowane w: 2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS), Numer Yearly, 2019, Strona(/y) 1495-1524, ISBN 978-1-7281-4952-3
Wydawca: IEEE
DOI: 10.1109/focs.2019.00088

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

Autorzy: Irit Dinur, Oded Goldreich, Tom Gur
Opublikowane w: ITCS, Numer yearly, 2019, Strona(/y) 1-30
Wydawca: Schloss Dagstuhl

Locally testable codes with constant rate, distance, and locality

Autorzy: Irit Dinur, Shai Evra, Ron Livne, Alexander Lubotzky, Shahar Mozes
Opublikowane w: STOC 2022, 2022, Strona(/y) 357-374
Wydawca: ACM

Low Acceptance Agreement Tests via Bounded-Degree Symplectic HDXs

Autorzy: Yotam Dikstein, Irit Dinur, Alexander Lubotzky
Opublikowane w: 2024 IEEE 65th Annual Symposium on Foundations of Computer Science (FOCS), 2024, Strona(/y) 826-861
Wydawca: IEEE
DOI: 10.1109/focs61266.2024.00058

Peer reviewed articles (4)

On the Parameterized Complexity of Approximating Dominating Set

Autorzy: Karthik C. S., Bundit Laekhanukit, Pasin Manurangsi
Opublikowane w: Journal of the ACM, Numer 66/5, 2019, Strona(/y) 1-38, ISSN 0004-5411
Wydawca: Association for Computing Machinary, Inc.
DOI: 10.1145/3325116

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

Autorzy: Karthik C. S., Pasin Manurangsi
Opublikowane w: Combinatorica, Numer 40, 2020, Strona(/y) 539–573, ISSN 0209-9683
Wydawca: Springer Verlag
DOI: 10.1007/s00493-019-4113-1

Bipartite Unique Neighbour Expanders via Ramanujan Graphs

Autorzy: Ron Asherov, Irit Dinur
Opublikowane w: Entropy, Numer 26, 2024, Strona(/y) 348, ISSN 1099-4300
Wydawca: Multidisciplinary Digital Publishing Institute (MDPI)
DOI: 10.3390/e26040348

Boolean Function Analysis on High-Dimensional Expanders

Autorzy: Yotam Dikstein, Irit Dinur, Yuval Filmus, Prahladh Harsha
Opublikowane w: Combinatorica, Numer 44, 2024, Strona(/y) 563-620, ISSN 0209-9683
Wydawca: Springer Verlag
DOI: 10.1007/s00493-024-00084-5

Book chapters (1)

List Decoding with Double Samplers

Autorzy: Irit Dinur, Prahladh Harsha, Tali Kaufman, Inbal Livni Navon, Amnon Ta Shma
Opublikowane w: Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms, 2019, Strona(/y) 2134-2153, ISBN 978-1-61197-548-2
Wydawca: Society for Industrial and Applied Mathematics
DOI: 10.1137/1.9781611975482.129