This paper explores a fine-grained version of the Watrous conjecture, including the randomized and quantum algorithms with success probabilities arbitrarily close to $1/2$. Our contributions include the following: i) An analysis of the optimal success probability of quantum and randomized query algorithms of two fundamental partial symmetric Boolean functions given a fixed number of queries. We prove that for any quantum algorithm computing these two functions using $T$ queries, there exist randomized algorithms using $\mathsf{poly}(T)$ queries that achieve the same success probability as the quantum algorithm, even if the success probability is arbitrarily close to 1/2. ii) We establish that for any total symmetric Boolean function $f$, if a quantum algorithm uses $T$ queries to compute $f$ with success probability $1/2+\beta$, then there exists a randomized algorithm using $O(T^2)$ queries to compute $f$ with success probability $1/2+\Omega(\delta\beta^2)$ on a $1-\delta$ fraction of inputs, where $\beta,\delta$ can be arbitrarily small positive values. As a corollary, we prove a randomized version of Aaronson-Ambainis Conjecture for total symmetric Boolean functions in the regime where the success probability of algorithms can be arbitrarily close to 1/2. iii) We present polynomial equivalences for several fundamental complexity measures of partial symmetric Boolean functions. Specifically, we first prove that for certain partial symmetric Boolean functions, quantum query complexity is at most quadratic in approximate degree for any error arbitrarily close to 1/2. Next, we show exact quantum query complexity is at most quadratic in degree. Additionally, we give the tight bounds of several complexity measures, indicating their polynomial equivalence.

翻译：本文探讨了Watrous猜想的细粒度版本，包括成功概率可任意接近1/2的随机算法与量子算法。我们的贡献如下：i) 对于两个基本部分对称布尔函数，分析了给定查询次数下量子与随机查询算法的最优成功概率。我们证明，对于任意使用T次查询计算这两个函数的量子算法，存在使用poly(T)次查询的随机算法，能够达到与量子算法相同的成功概率，即使该成功概率可任意接近1/2。ii) 对于任何全对称布尔函数f，若存在使用T次查询以成功概率1/2+β计算f的量子算法，则存在使用O(T²)次查询的随机算法，在1-δ比例输入上以成功概率1/2+Ω(δβ²)计算f，其中β,δ可取任意小的正值。作为推论，我们在算法成功概率可任意接近1/2的情形下，证明了全对称布尔函数的Aaronson-Ambainis猜想的随机版本。iii) 我们给出了部分对称布尔函数若干基本复杂度测度的多项式等价性。具体地，首先证明对于特定部分对称布尔函数，当误差可任意接近1/2时，量子查询复杂度至多是近似度的二次方。其次，证明精确量子查询复杂度至多是度的二次方。此外，我们给出了若干复杂度测度的紧界，表明它们之间的多项式等价性。