20 citations · 58 across the 39 of their papers we have counts for
11 papers · 1 filter
Constant Degree Networks for Almost-Everywhere Reliable Transmission
Mitali Bafna, Dor Minzer
In the almost-everywhere reliable message transmission problem, introduced by [Dwork, Pippenger, Peleg, Upfal'86], the goal is to design a sparse communication network that sup…
Reasonable Bounds for Combinatorial Lines of Length Three
Amey Bhangale, Subhash Khot, Yang P. Liu +1
We prove that any subset with contains a combinatorial line of length , i.e., , not all equal, with…
On Approximability of Satisfiable -CSPs: VII
Amey Bhangale, Subhash Khot, Yang P. Liu +1
Let be finite alphabets, and let be a distribution over in which the probability of each atom is at least . We prove that if $…
On Approximability of Satisfiable -CSPs: VI
Amey Bhangale, Subhash Khot, Yang P. Liu +1
We prove local and global inverse theorems for general -wise correlations over pairwise-connected distributions. Let be a distribution over such that the…
Parallel Repetition for -Player XOR Games
Amey Bhangale, Mark Braverman, Subhash Khot +2
In a - game , the verifier samples a challenge where is a probability distribution over , and a map $t\colon Σ\ti…
On Approximability of Satisfiable k-CSPs: V
Amey Bhangale, Subhash Khot, Dor Minzer
We propose a framework of algorithm vs. hardness for all Max-CSPs and demonstrate it for a large class of predicates. This framework extends the work of Raghavendra [STOC, 2008], w…
Quasi-Linear Size PCPs with Small Soundness from HDX
Mitali Bafna, Dor Minzer, Nikhil Vyas
We construct 2-query, quasi-linear size probabilistically checkable proofs (PCPs) with arbitrarily small constant soundness, improving upon Dinur's 2-query quasi-linear size PCPs w…
Near Optimal Alphabet-Soundness Tradeoff PCPs
Dor Minzer, Kai Zhe Zheng
We show that for all , for sufficiently large power of , for all , it is NP-hard to distinguish whether a given -Prover--Round project…
A Dense Model Theorem for the Boolean Slice
Gil Kalai, Noam Lifshitz, Dor Minzer +1
The (low soundness) linearity testing problem for the middle slice of the Boolean cube is as follows. Let and be a function on the middle slice on the Boolean c…
Constant Degree Direct Product Testers with Small Soundness
Mitali Bafna, Noam Lifshitz, Dor Minzer
Let be a -dimensional simplicial complex. A function is said to be a direct product function if there exists a function …
Product Mixing in Compact Lie Groups
David Ellis, Guy Kindler, Noam Lifshitz +1
If is a group, we say a subset of is product-free if the equation has no solutions with . For , a group is said to be -quas…