🤖 AI Summary
This work addresses the problem of efficiently determining whether a given complete quartet topology system is induced by some phylogenetic tree or is ε-far from all tree-induced systems. We present the first explicit polynomial-time adaptive one-sided error property tester for this task. Our approach reconstructs a candidate tree via anchored quartet queries and verifies its consistency using uniformly random queries. The adaptive version requires only O(n log n + ε⁻¹ log(1/δ)) queries, while the non-adaptive variant uses C(n−1,3) + O(ε⁻¹ log(1/δ)) queries—both substantially fewer than the input size Θ(n⁴). Notably, our query complexity is theoretically optimal, matching known upper and lower bounds.
📝 Abstract
We study dense property testing for full systems of resolved quartet topologies on $n$ taxa: determining whether a system is induced by a phylogenetic tree or is $\varepsilon$-far from every tree-induced system. Our main result is an explicit polynomial-time adaptive one-sided-error tester. It reconstructs a candidate tree through anchored quartet queries and verifies the candidate using uniformly random quartet queries. With error probability $δ$, it uses $O\!\left(n\log n+\varepsilon^{-1}\log(1/δ)\right)$ queries. We also give a non-adaptive cached-anchor variant using $\binom{n-1}{3}+O\!\left(\varepsilon^{-1}\log(1/δ)\right)$ queries. Both improve the previous explicit $O(n^3/\varepsilon)$ query bound. Since the input contains $\binom{n}{4}=Θ(n^4)$ quartet entries, both testers use $o\!\left(\binom{n}{4}\right)$ queries for fixed~$\varepsilon$ and~$δ$.
We additionally encode full quartet systems, equivariantly under relabeling, as directed, three-colored $4$-ary structures. Hereditary directed-hypergraph testing then yields an $n$-independent one-sided-error tester, although its dependence on $\varepsilon$ is quantitatively impractical.
Finally, we prove lower bounds. In ordinary property testing, every adaptive randomized tester, even with two-sided error, requires asymptotically at least $\ln((1-δ)/δ)/\ln(1/(1-\varepsilon))$ queries as $n\to\infty$. Every one-sided-error tester requires $\ln(1/δ)/\ln(1/(1-\varepsilon))$ queries, matching the random-verification term up to rounding. For the stronger reconstruct-or-reject task, our upper bounds are optimal up to constant factors: the adaptive and non-adaptive complexities are $Θ(n\log n+\varepsilon^{-1}\log(1/δ))$ and $Θ(n^3+\varepsilon^{-1}\log(1/δ))$, respectively.