~/talks

Henry Yuen

what they talk about

where they keep going back

  • ITCS2 editions2022–2023

all 5 in the filters

on a stage with

all 6 in the filters

who talks about the same things

titleconferencedate
Unitary property testing lower bounds by polynomialsITCS 20232023-01-10
A method shows any T-query tester that accesses an unknown unitary U and U^{-1} has acceptance probability given by a degree ≤2T multivariable polynomial, and…
Talk on
Interactive Proofs for Synthesizing Quantum States and UnitariesITCS 20222022-01-31
Defines quantum analogs of function classes and proves concrete inclusions: state PSPACE ⊆ state QIP (completeness with exponentially small trace distance…
Talk on
Interactive Proofs for Synthesizing Quantum States and UnitariesQuantum Wave in Computing Reunion 20212021-07-15
Proves that space-uniform families of n‑qubit states admit interactive synthesis protocols, i.e. state PSPACE ⊆ state QIP, with perfect completeness and the…
Talk on
MIP* = RE Part 1: The Quantum Low-Degree TestQuantum Protocols: Testing & Quantum PCPs2020-03-30
Shows a concrete protocol that self-tests for 2^n EPR pairs by certifying Pauli relations on many qubits. It combines the magic‑square subtest to force…
Talk
MIP* = RE Part 2: PCPs and IntrospectionQuantum Protocols: Testing & Quantum PCPs2020-03-30
Claim: MIP contains nondeterministic doubly-exponential time (AnyExp) and the techniques extend to the full compression that yields MIP = RE. Key tools are…
Talk
Parallel Repetition for Entangled Games via Fast Quantum SearchInformation Theory in Complexity Theory and Combinatorics 20152015-04-24
Proves for free (product-input) games a stronger parallel-repetition upper bound: the entangled value falls like entangled value ≤ (1−ε^{3/2})^{Θ(n/s)} where ε…
Talk on
Infinite Randomness Expansion with a Constant Number of DevicesQuantum Games and Protocols2014-02-24
Claims an unbounded (infinite) certified randomness expansion starting from a constant m‑bit seed (m ~ 100–1000), by alternating a VV exponential-expansion…
Talk on
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.