~/talks

Yuval Filmus

what they talk about

where they keep going back

  • ITCS2 editions2021–2022

all 4 in the filters

on a stage with

all 17 in the filters

who talks about the same things

titleconferencedate
Structure Of Boolean Almost Low Degree Functions On The Biased CubeStructural Results 20232023-07-20
Claims precise structural descriptions: on the p‑biased cube any degree‑d real polynomial f that is ε‑close in L2 to Boolean has (after possibly negating) an…
Talk on
The Hitting Proof SystemProof Complexity and Meta-Mathematics 20232023-03-20
A hitting refutation is a partition of 0/1^n into subcubes where each subcube’s assignments all falsify a single clause; disjointness is certified by variable…
Talk on
Bounded indistinguishability for simple sourcesITCS 20222022-01-31
Shows both positive and negative Braverman-style claims: for constant-degree/local sources constant k suffices to fool simple distinguishers, and depth‑one…
Talk on
The entropy of lies: playing twenty questions with a liarITCS 20212021-01-06
Distributional 20 Questions with up to K lies requires on average H(mu) + K·H2(mu) yes/no queries, where H(mu) + K·H2(mu) is tight (matching lower bound up to…
Talk
Complexity measures on symmetric group and beyondITCS 20212021-01-06
Defines an abstract simplicial complex framework that extends degree, decision tree complexity and sensitivity from the hypercube to domains like the symmetric…
Talk
Explicit SoS lower bounds from high-dimensional expandersITCS 20212021-01-06
Constructs deterministic, polynomial-time Max-3-XOR instances from Ramanujan complexes whose true optimum is at most 1 − μ (μ a fixed constant, e.g. ~0.1) yet…
Talk
Shrinkage under random projections, and cubic formula lower bounds in AC^0ITCS 20212021-01-06
Proves an n^3 lower bound on De Morgan formula size for an explicit AC^0 function built by composing a small hard gadget F0 with a surjectivity block, using…
Talk
Friedgut-Kalai-Naor for Boolean Functions on S_nNeo-Classical Methods in Discrete Analysis 20132013-12-02
Extension of the FKN theorem to permutations: a Boolean f on S_n whose projection onto the span of 1-cosets is small-distance from f must be close to a single…
Talk
~/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.