Ran Raz

Orcid: 0009-0008-1656-2258

Affiliations:
  • Weizmann Institute of Science, Rehovot, Israel


According to our database1, Ran Raz authored at least 130 papers between 1989 and 2023.

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

2023
Certified Hardness vs. Randomness for Log-Space.
Electron. Colloquium Comput. Complex., 2023

Memory-Sample Lower Bounds for Learning with Classical-Quantum Hybrid Memory.
Electron. Colloquium Comput. Complex., 2023

Quantum Logspace Computations are Verifiable.
Electron. Colloquium Comput. Complex., 2023

On the works of Avi Wigderson.
CoRR, 2023

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

2022
Oracle Separation of BQP and PH.
J. ACM, 2022

How to Delegate Computations: The Power of No-Signaling Proofs.
J. ACM, 2022

Polynomial Bounds On Parallel Repetition For All 3-Player Games With Binary Inputs.
Electron. Colloquium Comput. Complex., 2022

Parallel Repetition For All 3-Player Games Over Binary Alphabet.
Electron. Colloquium Comput. Complex., 2022

Quantum versus Randomized Communication Complexity, with Efficient Players.
Comput. Complex., 2022

2021
Eliminating Intermediate Measurements using Pseudorandom Generators.
Electron. Colloquium Comput. Complex., 2021

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

A Lower Bound for Adaptively-Secure Collective Coin Flipping Protocols.
Comb., 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
Block Rigidity: Strong Multiplayer Parallel Repetition implies Super-Linear Lower Bounds for Turing Machines.
Electron. Colloquium Comput. Complex., 2020

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

Lower Bounds for XOR of Forrelations.
Electron. Colloquium Comput. Complex., 2020

Quantum Logspace Algorithm for Powering Matrices with Bounded Norm.
Electron. Colloquium Comput. Complex., 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
Fast Learning Requires Good Memory: A Time-Space Lower Bound for Parity Learning.
J. ACM, 2019

The Random-Query Model and the Memory-Bounded Coupon Collector.
Electron. Colloquium Comput. Complex., 2019

Time-Space Lower Bounds for Two-Pass Learning.
Electron. Colloquium Comput. Complex., 2019

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

A Time-Space Lower Bound for a Large Class of Learning Problems.
Electron. Colloquium Comput. Complex., 2017

Extractor-Based Time-Space Lower Bounds for Learning.
Electron. Colloquium Comput. Complex., 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 Information and Communication for Boolean Functions.
J. ACM, 2016

Bounds on 2-query Locally Testable Codes with affine tests.
Inf. Process. Lett., 2016

Time-Space Hardness of Learning Sparse Parities.
Electron. Colloquium Comput. Complex., 2016

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

2015
Exponential Separation of Communication and External Information.
Electron. Colloquium Comput. Complex., 2015

Welfare Maximization with Limited Interaction.
Electron. Colloquium Comput. Complex., 2015

2014
Competing-Provers Protocols for Circuit Evaluation.
Theory Comput., 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

Exponential Separation of Information and Communication.
Electron. Colloquium Comput. Complex., 2014

Two Sides of the Coin Problem.
Electron. Colloquium Comput. Complex., 2014

2013
Tensor-Rank and Lower Bounds for Arithmetic Formulas.
J. ACM, 2013

Improved Average-Case Lower Bounds for DeMorgan Formula Size.
Electron. Colloquium Comput. Complex., 2013

Interactive Channel Capacity.
Electron. Colloquium Comput. Complex., 2013

Arthur-Merlin Streaming Complexity.
Electron. Colloquium Comput. Complex., 2013

Space Pseudorandom Generators by Communication Complexity Lower Bounds.
Electron. Colloquium Comput. Complex., 2013

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

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

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

2012
Average-Case Lower Bounds for Formula Size.
Electron. Colloquium Comput. Complex., 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

2011
Multilinear formulas, maximal-partition discrepancy and mixed-sources extractors.
J. Comput. Syst. Sci., 2011

Memory Delegation.
IACR Cryptol. ePrint Arch., 2011

Non-Malleable Extractors with Short Seeds and Applications to Privacy Amplification.
Electron. Colloquium Comput. Complex., 2011

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

2010
Elusive Functions and Lower Bounds for Arithmetic Circuits.
Theory Comput., 2010

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

A Strong Parallel Repetition Theorem for Projection Games on Expanders.
Electron. Colloquium Comput. Complex., 2010

Pseudorandom Generators for Regular Branching Programs.
Electron. Colloquium Comput. Complex., 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

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

2009
Multi-linear formulas for permanent and determinant are of super-polynomial size.
J. ACM, 2009

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

Lower Bounds and Separations for Constant Depth Multilinear Circuits.
Comput. Complex., 2009

Quantum Information and the PCP Theorem.
Algorithmica, 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

A Counterexample to Strong Parallel Repetition.
Electron. Colloquium Comput. Complex., 2008

Two Query PCP with Sub-Constant Error.
Electron. Colloquium Comput. Complex., 2008

Deterministic extractors for affine sources over large fields.
Comb., 2008

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

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

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

Interactive PCP.
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

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

A Lower Bound for the Size of Syntactically Multilinear Arithmetic Circuits.
Electron. Colloquium Comput. Complex., 2006

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

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

2005
A time lower bound for satisfiability.
Theor. Comput. Sci., 2005

Deterministic Extractors for Bit-fixing Sources by Obtaining an Independent Seed
Electron. Colloquium Comput. Complex., 2005

Sub-Constant Error Low Degree Test of Almost Linear Size
Electron. Colloquium Comput. Complex., 2005

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

Deterministic polynomial identity testing in non-commutative models.
Comput. Complex., 2005

2004
Distance labeling in graphs.
J. Algorithms, 2004

Resolution lower bounds for the weak pigeonhole principle.
J. ACM, 2004

Extractors with Weak Random Seeds
Electron. Colloquium Comput. Complex., 2004

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

Regular Resolution Lower Bounds For The Weak Pigeonhole Principle.
Comb., 2004

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

On the Power of Quantum Proofs.
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
Extracting all the Randomness and Reducing the Error in Trevisan's Extractors.
J. Comput. Syst. Sci., 2002

Bounded-depth Frege lower bounds for weaker pigeonhole principles
Electron. Colloquium Comput. Complex., 2002

On the Complexity of Matrix Product
Electron. Colloquium Comput. Complex., 2002

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

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

On the Distribution of the Number of Roots of Polynomials and Explicit Logspace Extractors
Electron. Colloquium Comput. Complex., 2000

Lower Bounds for Matrix Product, in Bounded Depth Circuits with Arbitrary Gates
Electron. Colloquium Comput. Complex., 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

1999
Arthur-Merlin Games in Boolean Decision Trees.
J. Comput. Syst. Sci., 1999

Separation of the Monotone NC Hierarchy.
Comb., 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

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

1998
A Parallel Repetition Theorem.
SIAM J. Comput., 1998

PCP Characterizations of NP: Towards a Polynomially-Small Error-Probability
Electron. Colloquium Comput. Complex., 1998

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

1997
Lower Bounds for Cutting Planes Proofs with Small Coefficients.
J. Symb. Log., 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

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

1995
On the "Log Rank"-Conjecture in Communication Complexity.
Comb., 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

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

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

Monotone Circuits for Matching Require Linear Depth.
J. ACM, 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

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...