{"id":"arxiv/2609.39974","url":"https://arxiv.org/abs/2609.39974","tags":["quant-ph"],"score":0,"title":"The quantum query complexity of the semigroup product problem","domain":"quant-ph","source":"arxiv","authors":["Troy Lee","Miklos Santha"],"reviews":0,"subject":"quant-ph","summary":"We study the quantum query complexity of computing a semigroup product $x_1\\cdots x_n$, when one query reveals one input element and the multiplication table is given. For a finite aperiodic semigroup of size $N-1$, the argument of Aaronson, Grier, and Schaeffer gives an upper bound of $\\sqrt n\\,(N\\log(nN+2))^{O(N)}$ queries. To obtain query bounds that reflect algebraic structure, we study the product breadth $β$: the smallest bound such that every input word has a subsequence of at most $β$ letters with the same product. For nontrivial finite commutative aperiodic monoids, the…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-09-30","reactions":{}}