Ran Raz

Orcid: 0009-0008-1656-2258

Affiliations:
  • Princeton University, NJ, USA
  • Weizmann Institute of Science, Rehovot, Israel (former)


According to our database1, Ran Raz authored at least 131 papers between 1989 and 2024.

Collaborative distances:
  • Dijkstra number2 of three.
  • Erdős number3 of two.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Quantum Logspace Computations are Verifiable.
Proceedings of the 2024 Symposium on Simplicity in Algorithms, 2024

Information Dissemination via Broadcasts in the Presence of Adversarial Noise.
Proceedings of the 39th Computational Complexity Conference, 2024

2023
On the works of Avi Wigderson.
CoRR, 2023

Memory-Sample Lower Bounds for Learning with Classical-Quantum Hybrid Memory.
Proceedings of the 55th Annual ACM Symposium on Theory of Computing, 2023

Is Untrusted Randomness Helpful?
Proceedings of the 14th Innovations in Theoretical Computer Science Conference, 2023

Certified Hardness vs. Randomness for Log-Space.
Proceedings of the 64th IEEE Annual Symposium on Foundations of Computer Science, 2023

2022
Parallel repetition for all 3-player games over binary alphabet.
Proceedings of the STOC '22: 54th Annual ACM SIGACT Symposium on Theory of Computing, Rome, Italy, June 20, 2022

Eliminating Intermediate Measurements Using Pseudorandom Generators.
Proceedings of the 13th Innovations in Theoretical Computer Science Conference, 2022

Polynomial Bounds on Parallel Repetition for All 3-Player Games with Binary Inputs.
Proceedings of the Approximation, 2022

2021
A Parallel Repetition Theorem for the GHZ Game: A Simpler Proof.
Electron. Colloquium Comput. Complex., 2021

Block Rigidity: Strong Multiplayer Parallel Repetition Implies Super-Linear Lower Bounds for Turing Machines.
Proceedings of the 12th Innovations in Theoretical Computer Science Conference, 2021

Quantum Versus Randomized Communication Complexity, with Efficient Players.
Proceedings of the 12th Innovations in Theoretical Computer Science Conference, 2021

Quantum Logspace Algorithm for Powering Matrices with Bounded Norm.
Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021

Lower Bounds for XOR of Forrelations.
Proceedings of the Approximation, 2021

Parallel Repetition for the GHZ Game: A Simpler Proof.
Proceedings of the Approximation, 2021

Memory-Sample Lower Bounds for Learning Parity with Noise.
Proceedings of the Approximation, 2021

2020
A Parallel Repetition Theorem for the GHZ Game.
Electron. Colloquium Comput. Complex., 2020

The Random-Query Model and the Memory-Bounded Coupon Collector.
Proceedings of the 11th Innovations in Theoretical Computer Science Conference, 2020

Near-Quadratic Lower Bounds for Two-Pass Graph Streaming Algorithms.
Proceedings of the 61st IEEE Annual Symposium on Foundations of Computer Science, 2020

Time-Space Tradeoffs for Distinguishing Distributions and Applications to Security of Goldreich's PRG.
Proceedings of the Approximation, 2020

2019
Oracle separation of BQP and PH.
Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing, 2019

Time-Space Lower Bounds for Two-Pass Learning.
Proceedings of the 34th Computational Complexity Conference, 2019

2018
A Lower Bound for Adaptively-Secure Collective Coin-Flipping Protocols.
Proceedings of the 32nd International Symposium on Distributed Computing, 2018

Extractor-based time-space lower bounds for learning.
Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing, 2018

A Candidate for a Strong Separation of Information and Communication.
Proceedings of the 9th Innovations in Theoretical Computer Science Conference, 2018

2017
Improved Average-Case Lower Bounds for De Morgan Formula Size: Matching Worst-Case Lower Bound.
SIAM J. Comput., 2017

Time-space hardness of learning sparse parities.
Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing, 2017

A Time-Space Lower Bound for a Large Class of Learning Problems.
Proceedings of the 58th IEEE Annual Symposium on Foundations of Computer Science, 2017

2016
Label Cover Instances with Large Girth and the Hardness of Approximating Basic <i>k</i>-Spanner.
ACM Trans. Algorithms, 2016

Exponential separation of communication and external information.
Proceedings of the 48th Annual ACM SIGACT Symposium on Theory of Computing, 2016

On the Space Complexity of Linear Programming with Preprocessing.
Proceedings of the 2016 ACM Conference on Innovations in Theoretical Computer Science, 2016

Fast Learning Requires Good Memory: A Time-Space Lower Bound for Parity Learning.
Proceedings of the IEEE 57th Annual Symposium on Foundations of Computer Science, 2016

2015
Exponential Separation of Information and Communication for Boolean Functions.
Proceedings of the Forty-Seventh Annual ACM on Symposium on Theory of Computing, 2015

Welfare Maximization with Limited Interaction.
Proceedings of the IEEE 56th Annual Symposium on Foundations of Computer Science, 2015

2014
Nonmalleable Extractors with Short Seeds and Applications to Privacy Amplification.
SIAM J. Comput., 2014

On the Space Complexity of Linear Programming with Preprocessing.
Electron. Colloquium Comput. Complex., 2014

How to delegate computations: the power of no-signaling proofs.
Proceedings of the Symposium on Theory of Computing, 2014

Exponential Separation of Information and Communication.
Proceedings of the 55th IEEE Annual Symposium on Foundations of Computer Science, 2014

Space Pseudorandom Generators by Communication Complexity Lower Bounds.
Proceedings of the Approximation, 2014

Two Sides of the Coin Problem.
Proceedings of the Approximation, 2014

2013
Efficient Multiparty Protocols via Log-Depth Threshold Formulae.
Electron. Colloquium Comput. Complex., 2013

Average-case lower bounds for formula size.
Proceedings of the Symposium on Theory of Computing Conference, 2013

Interactive channel capacity.
Proceedings of the Symposium on Theory of Computing Conference, 2013

Delegation for bounded space.
Proceedings of the Symposium on Theory of Computing Conference, 2013

Competing provers protocols for circuit evaluation.
Proceedings of the Innovations in Theoretical Computer Science, 2013

Arthur-Merlin Streaming Complexity.
Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 2013

Improved Average-Case Lower Bounds for DeMorgan Formula Size.
Proceedings of the 54th Annual IEEE Symposium on Foundations of Computer Science, 2013

Efficient Multiparty Protocols via Log-Depth Threshold Formulae - (Extended Abstract).
Proceedings of the Advances in Cryptology - CRYPTO 2013, 2013

2012
The Spectrum of Small DeMorgan Formulas.
Electron. Colloquium Comput. Complex., 2012

Bounds on locally testable codes with unique tests.
Proceedings of the Innovations in Theoretical Computer Science 2012, 2012

Label Cover Instances with Large Girth and the Hardness of Approximating Basic k-Spanner.
Proceedings of the Automata, Languages, and Programming - 39th International Colloquium, 2012

A Strong Parallel Repetition Theorem for Projection Games on Expanders.
Proceedings of the 27th Conference on Computational Complexity, 2012

Non-malleable Extractors with Short Seeds and Applications to Privacy Amplification.
Proceedings of the 27th Conference on Computational Complexity, 2012

2011
PCP Characterizations of NP: Toward a Polynomially-Small Error-Probability.
Comput. Complex., 2011

Memory Delegation.
Proceedings of the Advances in Cryptology - CRYPTO 2011, 2011

2010
Two-query PCP with subconstant error.
J. ACM, 2010

The Surprise Examination Paradox and the Second Incompleteness Theorem
CoRR, 2010

Sub-Constant Error Probabilistically Checkable Proof of Almost-Linear Size.
Comput. Complex., 2010

Tensor-rank and lower bounds for arithmetic formulas.
Proceedings of the 42nd ACM Symposium on Theory of Computing, 2010

Pseudorandom Generators for Regular Branching Programs.
Proceedings of the 51th Annual IEEE Symposium on Foundations of Computer Science, 2010

Parallel Repetition of Two Prover Games (Invited Survey).
Proceedings of the 25th Annual IEEE Conference on Computational Complexity, 2010

2009
Bounds on 2-Query Locally Testable Codes with Affine Tests.
Electron. Colloquium Comput. Complex., 2009

Locally Testable Codes Analogues to the Unique Games Conjecture Do Not Exist.
Electron. Colloquium Comput. Complex., 2009

Probabilistically Checkable Arguments.
Proceedings of the Advances in Cryptology, 2009

Strong Parallel Repetition Theorem for Free Projection Games.
Proceedings of the Approximation, 2009

2008
Exponential Separation for One-Way Quantum Communication Complexity, with Applications to Cryptography.
SIAM J. Comput., 2008

Balancing Syntactically Multilinear Arithmetic Circuits.
Comput. Complex., 2008

The Strength of Multilinear Proofs.
Comput. Complex., 2008

Elusive functions and lower bounds for arithmetic circuits.
Proceedings of the 40th Annual ACM Symposium on Theory of Computing, 2008

Interactive PCP.
Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008

Multilinear Formulas, Maximal-Partition Discrepancy and Mixed-Sources Extractors.
Proceedings of the 49th Annual IEEE Symposium on Foundations of Computer Science, 2008

A Counterexample to Strong Parallel Repetition.
Proceedings of the 49th Annual IEEE Symposium on Foundations of Computer Science, 2008

Two Query PCP with Sub-Constant Error.
Proceedings of the 49th Annual IEEE Symposium on Foundations of Computer Science, 2008

Lower Bounds and Separations for Constant Depth Multilinear Circuits.
Proceedings of the 23rd Annual IEEE Conference on Computational Complexity, 2008

2007
Resolution over Linear Equations and Multilinear Proofs.
Electron. Colloquium Comput. Complex., 2007

Exponential separations for one-way quantum communication complexity, with applications to cryptography.
Proceedings of the 39th Annual ACM Symposium on Theory of Computing, 2007

A Lower Bound for the Size of Syntactically Multilinear Arithmetic Circuits.
Proceedings of the 48th Annual IEEE Symposium on Foundations of Computer Science, 2007

2006
Separation of Multilinear Circuit and Formula Size.
Theory Comput., 2006

The one-way communication complexity of the Boolean Hidden Matching Problem.
Electron. Colloquium Comput. Complex., 2006

Sub-constant error low degree test of almost-linear size.
Proceedings of the 38th Annual ACM Symposium on Theory of Computing, 2006

Succinct Non-Interactive Zero-Knowledge Proofs with Preprocessing for LOGSNP.
Proceedings of the 47th Annual IEEE Symposium on Foundations of Computer Science, 2006

2005
Analyzing Linear Mergers
Electron. Colloquium Comput. Complex., 2005

Extractors with weak random seeds.
Proceedings of the 37th Annual ACM Symposium on Theory of Computing, 2005

Quantum Information and the PCP Theorem.
Proceedings of the 46th Annual IEEE Symposium on Foundations of Computer Science, 2005

Deterministic Extractors for Affine Sources over Large Fields.
Proceedings of the 46th Annual IEEE Symposium on Foundations of Computer Science, 2005

2004
Multilinear-NC<sub>1</sub> != Multilinear-NC<sub>2</sub>
Electron. Colloquium Comput. Complex., 2004

Multi-linear formulas for permanent and determinant are of super-polynomial size.
Proceedings of the 36th Annual ACM Symposium on Theory of Computing, 2004

A Time Lower Bound for Satisfiability.
Proceedings of the Automata, Languages and Programming: 31st International Colloquium, 2004

Multilinear-NC neq Multilinear-NC.
Proceedings of the 45th Symposium on Foundations of Computer Science, 2004

Deterministic Extractors for Bit-Fixing Sources by Obtaining an Independent Seed.
Proceedings of the 45th Symposium on Foundations of Computer Science, 2004

On the Power of Quantum Proofs.
Proceedings of the 19th Annual IEEE Conference on Computational Complexity (CCC 2004), 2004

Deterministic Polynomial Identity Testing in Non-Commutative Models.
Proceedings of the 19th Annual IEEE Conference on Computational Complexity (CCC 2004), 2004

Improved Randomness Extraction from Two Independent Sources.
Proceedings of the Approximation, 2004

Circuit and Communication Complexity.
Proceedings of the Computational Complexity Theory., 2004

Quantum computation.
Proceedings of the Computational Complexity Theory., 2004

2003
On the distribution of the number of roots of polynomials and explicit weak designs.
Random Struct. Algorithms, 2003

P != NP, propositional proof complexity, and resolution lower bounds for the weak pigeonhole principle
CoRR, 2003

Approximating CVP to Within Almost-Polynomial Factors is NP-Hard.
Comb., 2003

2002
On the complexity of matrix product.
Proceedings of the Proceedings on 34th Annual ACM Symposium on Theory of Computing, 2002

Bounded-Depth Frege Lower Bounds for Weaker Pigeonhole Principles.
Proceedings of the 43rd Symposium on Foundations of Computer Science, 2002

Resolution Lower Bounds for the Weak Pigeonhole Principle.
Proceedings of the 17th Annual IEEE Conference on Computational Complexity, 2002

2001
Lower bounds for matrix product, in bounded depth circuits with arbitrary gates.
Proceedings of the Proceedings on 33rd Annual ACM Symposium on Theory of Computing, 2001

Regular resolution lower bounds for the weak pigeonhole principle.
Proceedings of the Proceedings on 33rd Annual ACM Symposium on Theory of Computing, 2001

Explicit lower bound of <i>4.5n - o(n)</i> for boolena circuits.
Proceedings of the Proceedings on 33rd Annual ACM Symposium on Theory of Computing, 2001

Distance labeling in graphs.
Proceedings of the Twelfth Annual Symposium on Discrete Algorithms, 2001

2000
On Interpolation and Automatization for Frege Systems.
SIAM J. Comput., 2000

VC-Dimension of Sets of Permutations.
Comb., 2000

The BNS-Chung criterion for multi-party communication complexity.
Comput. Complex., 2000

Higher lower bounds on monotone size.
Proceedings of the Thirty-Second Annual ACM Symposium on Theory of Computing, 2000

On the Distribution of the Number of Roots of Polynomials and Explicit Logspace Extractors.
Proceedings of the ICALP Workshops 2000, 2000

1999
Extracting all the Randomness and Reducing the Error in Trevisan's Extractors.
Proceedings of the Thirty-First Annual ACM Symposium on Theory of Computing, 1999

On Recycling the Randomness of States in Space Bounded Computation.
Proceedings of the Thirty-First Annual ACM Symposium on Theory of Computing, 1999

Exponential Separation of Quantum and Classical Communication Complexity.
Proceedings of the Thirty-First Annual ACM Symposium on Theory of Computing, 1999

PCP Characterizations of NP: Towards a Polynomially-Small Error-Probability.
Proceedings of the Thirty-First Annual ACM Symposium on Theory of Computing, 1999

Error Reduction for Extractors.
Proceedings of the 40th Annual Symposium on Foundations of Computer Science, 1999

1998
Lower Bounds on the Distortion of Embedding Finite Metric Spaces in Graphs.
Discret. Comput. Geom., 1998

Arthur-Merlin Games in Boolean Decision Trees.
Proceedings of the 13th Annual IEEE Conference on Computational Complexity, 1998

1997
A Sub-Constant Error-Probability Low-Degree Test, and a Sub-Constant Error-Probability PCP Characterization of NP.
Proceedings of the Twenty-Ninth Annual ACM Symposium on the Theory of Computing, 1997

Direct Product Results and the GCD Problem, in Old and New Communication Models.
Proceedings of the Twenty-Ninth Annual ACM Symposium on the Theory of Computing, 1997

Separation of the Monotone NC Hierarchy.
Proceedings of the 38th Annual Symposium on Foundations of Computer Science, 1997

No Feasible Interpolation for TC0-Frege Proofs.
Proceedings of the 38th Annual Symposium on Foundations of Computer Science, 1997

1995
Fourier Analysis for Probabilistic Communication Complexity.
Comput. Complex., 1995

Super-Logarithmic Depth Lower Bounds Via the Direct Sum in Communication Complexity.
Comput. Complex., 1995

A parallel repetition theorem.
Proceedings of the Twenty-Seventh Annual ACM Symposium on Theory of Computing, 1995

Lower bounds for cutting planes proofs with small coefficients.
Proceedings of the Twenty-Seventh Annual ACM Symposium on Theory of Computing, 1995

1994
A Direct Product Theorem.
Proceedings of the Ninth Annual Structure in Complexity Theory Conference, Amsterdam, The Netherlands, June 28, 1994

1993
On the "log rank"-Conjecture in Communication Complexity
Proceedings of the 34th Annual Symposium on Foundations of Computer Science, 1993

1992
חסמים תחתונים לסיבוכיות תקשורת הסתברותית ולעומק מעגלים בוליאנים מונוטונים (Lower bounds for probabilistic communication complexity and for the depth of monotone boolean circuits.).
PhD thesis, 1992

1991
Super-logarithmic Depth Lower Bounds via Direct Sum in Communication Coplexity.
Proceedings of the Sixth Annual Structure in Complexity Theory Conference, Chicago, Illinois, USA, June 30, 1991

1990
Monotone Circuits for Matching Require Linear Depth
Proceedings of the 22nd Annual ACM Symposium on Theory of Computing, 1990

1989
Probabilistic Communication Complexity of Boolean Relations (Extended Abstract)
Proceedings of the 30th Annual Symposium on Foundations of Computer Science, Research Triangle Park, North Carolina, USA, 30 October, 1989


  Loading...