Showing 1–2 of 2 results for author: Gretta, L

More Efficient $k$-wise Independent Permutations from Random Reversible Circuits via log-Sobolev Inequalities

Authors: Lucas Gretta, William He, Angelos Pelecanos

Abstract: We prove that the permutation computed by a reversible circuit with $\tilde{O}(nk\cdot \log(1/\varepsilon))$ random $3$-bit gates is $\varepsilon$-approximately $k$-wise independent. Our bound improves on currently known bounds in the regime when the approximation error $\varepsilon$ is not too small. We obtain our results by analyzing the log-Sobolev constants of appropriate Markov chains rather… ▽ More We prove that the permutation computed by a reversible circuit with $\tilde{O}(nk\cdot \log(1/\varepsilon))$ random $3$-bit gates is $\varepsilon$-approximately $k$-wise independent. Our bound improves on currently known bounds in the regime when the approximation error $\varepsilon$ is not too small. We obtain our results by analyzing the log-Sobolev constants of appropriate Markov chains rather than their spectral gaps. △ Less

Submitted 8 May, 2024; originally announced June 2024.

Comments: 19 pages

Sharp Noisy Binary Search with Monotonic Probabilities

Authors: Lucas Gretta, Eric Price

Abstract: We revisit the noisy binary search model of Karp and Kleinberg, in which we have $n$ coins with unknown probabilities $p_i$ that we can flip. The coins are sorted by increasing $p_i$, and we would like to find where the probability crosses (to within $\varepsilon$) of a target value $τ$. This generalized the fixed-noise model of Burnashev and Zigangirov , in which… ▽ More We revisit the noisy binary search model of Karp and Kleinberg, in which we have $n$ coins with unknown probabilities $p_i$ that we can flip. The coins are sorted by increasing $p_i$, and we would like to find where the probability crosses (to within $\varepsilon$) of a target value $τ$. This generalized the fixed-noise model of Burnashev and Zigangirov , in which $p_i = \frac{1}{2} \pm \varepsilon$, to a setting where coins near the target may be indistinguishable from it. Karp and Kleinberg showed that $Θ(\frac{1}{\varepsilon^2} \log n)$ samples are necessary and sufficient for this task. We produce a practical algorithm by solving two theoretical challenges: high-probability behavior and sharp constants. We give an algorithm that succeeds with probability $1-δ$ from \[ \frac{1}{C_{τ, \varepsilon}} \cdot \left(\lg n + O(\log^{2/3} n \log^{1/3} \frac{1}δ + \log \frac{1}δ)\right) \] samples, where $C_{τ, \varepsilon}$ is the optimal such constant achievable. For $δ> n^{-o(1)}$ this is within $1 + o(1)$ of optimal, and for $δ\ll 1$ it is the first bound within constant factors of optimal. △ Less

Submitted 1 November, 2023; originally announced November 2023.