Publications of Prahladh Harsha
-
Fast list-decoding of univariate multiplicity and folded Reed-Solomon codes
-
An Improved Line-Point Low-Degree Test
-
Sparse juntas on the biased hypercube
-
Dot-Product Proofs and Their Applications
-
Fast Numerical Multivariate Multipoint Evaluation
-
Criticality of AC0-Formulae
-
Downward Self-Reducibility in TFNP
-
Vanishing Spaces of Random Sets and Applications to Reed-Muller Codes
-
Algorithmizing the Multiplicity Schwartz-Zippel Lemma
-
Mixing of 3-term progressions in Quasirandom Groups
-
Ideal-theoretic Explanation of Capacity-achieving codes
-
Decoding Multivariate Multiplicity Codes on Product Sets
- City-Scale Agent-Based Simulators for the Study of
Non-pharmaceutical Interventions in the Context of the COVID-19
Epidemic
- Authors: ,
, , , , , , , , , , , , , , and .
- Journal of the
Indian Institute of Science, 100:809-847, 2020. (BibTEX
Entry)
- This article is based on an earlier working report titled COVID-19 Epidemic Study I: Unlocking the Lockdown in
India.
- [ url
| arXiv | github ]
- COVID-19 Epidemic in Mumbai: Projections, full economic
opening, and containment zones versus contact tracing and testing:
An Update
-
Explicit SoS lower bounds from high-dimensional expanders
- COVID-19 Epidemic Study II: Phased Emergence from the Lockdown in Mumbai
- Locally testable codes via high-dimensional expanders
- Rigid Matrices from Rectangular PCPs or: Hard Claims Have Complex Proofs
- A note on the explicit constructions of tree codes over polylogarithmic-sized alphabet
- On the Elementary Construction of High-Dimensional Expanders by Kaufman and Oppenheim
- Improved Hardness for 3LIN via Linear Label Cover
- From Local Testing to Robust Testing via Agreement Testing
- Authors: ,
, , and .
- In Proc. 10th
Innovations in Theoretical Computer Science (ITCS) (San
Diego CA, USA, 10-12 January), volume 124
of Leibniz International Proceedings in Informatics,
pages 29:1–29:18,
2019. Schloss Dagstuhl. (BibTEX
Entry)
- Theory of Computing, 18(12):1-25, 2022. (BibTEX
Entry)
- [ eccc ]
- On the Probabilistic Degree of OR over the Reals
- Authors: ,
, , and .
- In Proc. 38th IARCS Conf. on
Foundations of Software Technology & Theoretical Computer Science
(FSTTCS) (Ahmedabad, India, 10-14 December), volume 122
of Leibniz International Proceedings in Informatics,
pages 5:1-5:12,
2018. Schloss Dagstuhl. (BibTEX
Entry)
- Random Structures
and Algorithms, 59(1):53–67, 2021. (BibTEX
Entry)
- [ arXiv | eccc ]
- List Decoding with Double Samplers
-
On Multilinear Forms: Bias, Correlation, and Tensor Rank
-
Boolean function analysis on high-dimensional expanders
-
Agreement tests on graphs and hypergraphs
-
On polynomial approximations over Z/2^kZ
-
Multiplayer parallel repetition for expander games
-
Robust Multiplication-based Tests for Reed-Muller Codes
-
Embedding Approximately Low Dimensional l2-squared metrics into
l1
-
On Polynomial Approximations to AC0
-
Partition bound is quadratically tight for product
distributions
-
A Characterization of hard-to-cover CSPs
-
Polynomially low error PCPs with polyloglog n queries via modular
composition
-
Derandomized Graph Product Results using the Low Degree Long Code
-
Super-polylogarithmic hypergraph coloring hardness via
low-degree long codes
- Authors: ,
,
,
,
and
.
- In Proc. 46th ACM
Symp. on Theory of Computing (STOC) (New York, New York, 31 May-3
June), pages 614-623, 2014. (BibTEX
Entry)
- SIAM Journal
of Computing, 46(1):132–159, 2017. (BibTEX
Entry)
- [ pdf | arXiv | eccc ]
-
A strong direct product theorem for the tribes function via the
smooth-rectangle bound
-
Almost settling the hardness of noncommutative
determinant
-
An invariance principle for polytopes
-
Bounding the sensitivity of polynomial threshold
functions
- Authors: , and .
- In Proc. 42nd
ACM Symp. on Theory of Computing (STOC) (Cambridge,
Massachusetts, 6-8 June), pages 543-552, 2010. (BibTEX
Entry)
Appeared in merged form along with
- ,
, and , "Average Sensitivity
and Noise Sensitivity of Polynomial Threshold Functions" [ arXiv ].
- Theory of
Computing, 10(1):1-24, 2014. (BibTEX
Entry)
- [ arXiv ]
-
Composition of low-error 2-query PCPs using decodable PCPs
-
Complexity of Inference in Graphical Models
-
Sound 3-query PCPPs are Long
- Authors: ,
,
,
and
.
-
In Proc.
35th International Colloquium of Automata, Language and
Programming (ICALP), Part I (Reykjavik, Iceland, 6-13 July), volume 5125
of Lecture Notes in Computer Science, pages
686-697, 2008. Springer
Verlag. (BibTEX
Entry)
- ACM Transactions on Computation Theory, 1(2):1-49, 2009. (BibTEX Entry)
- [ ps |
pdf ]
-
Minimizing Average Latency in Oblivious Routing
-
The communication complexity of correlation.
-
Short PCPs verifiable in polylogarithmic time.
-
Communication vs. Computation.
- Authors: ,
,
,
, and
.
- In
Proc. 31st International Colloquium of Automata, Languages
and Programming (ICALP) (Turku, Finland, 12-16 July),
volume 3142 of Lecture Notes in Computer Science,
pages 745-756, 2004. Springer-Verlag.
(BibTEX
Entry)
- Computational
Complexity, 16(1):1-33, 2007. (BibTEX Entry)
- [ ps |
pdf |
slides ]
-
Robust PCPs of proximity, shorter PCPs and applications to
coding.
- Authors: ,
,
,
, and
.
- In Proc.
36th ACM Symp. on Theory of Computing (STOC) (Chicago, Illinois, 13-15 June),
pages 1-10, 2004.
(BibTEX
Entry)
- SIAM Journal
on Computing (special issue for
Randomness and Computation), 36(4):889-974, 2006. (BibTEX
Entry)
- [ ps |
pdf |
slides ]
-
Some 3CNF properties are hard to test.
-
Lower bounds for bounded depth Frege proofs via
Buss-Pudlák games.
-
Small PCPs with low query complexity.
-
Distributed processing in automata.
-
Robust PCPs of Proximity and Shorter PCPs.
-
Small PCPs with low query complexity.
-
Distributed-Automata and Simple Test Tube Systems.
- The Blooming of the c3 LTC Flowers [blogpost]
- Sampling Spanning Trees using HDXs [exposition]
- Research Vignette: The Many Dimensions of High-Dimensional Expanders [blogpost]
- Locally testable codes [encyclopedia entry]
- DIMACS
Tutorial on "Limits of approximation algorithms : PCPs and Unique
Games" [lecture notes]
- Lecture notes of DIMACS tutorial co-organized (with ) at the DIMACS Center (July 20 - 21, 2009).
- [ arXiv ]
- CS369E: Expanders in Computer Science (Stanford University, Spring 2005) [lecture notes]
-
Posted Editions: In almost all cases, I will post the most
recent manuscript. These might (slightly) differ from the actual
journal or conference proceedings version. To obtain the journal or
conference version, click on the appropriate journal or conference
title and you will be redirected to the location of the paper on
the journal/conference-proceedings web-page. Recently, I stopped posting pdf versions of the manuscript and instead have just links to the arXiv or ECCC versions of the papers (primarily to prevent multiple versions of the paper floating on the web).
-
If you have trouble downloading these
papers, send me email.