We study the Radical Identity Testing problem (RIT): Given an algebraic circuit over integers representing a multivariate polynomial 𝑓 (𝑥 1 , . . . , 𝑥 𝑘 ) and nonnegative integers 𝑎 1 , . . . , 𝑎 𝑘 and 𝑑 1 , . . . , 𝑑 𝑘 , written in binary, test whether the polynomial vanishes at the real radicalsWe place the problem in coNP assuming the Generalised Riemann Hypothesis (GRH), improving on the straightforward PSPACE upper bound obtained by reduction to the existential theory of reals. Next we consider a restricted version, called 2-RIT, where the radicals are square roots of prime numbers, written in binary. It was known since the work of Chen and Kao [16] that 2-RIT is at least as hard as the polynomial identity testing problem, however no better upper bound than PSPACE was known prior to our work. We show that 2-RIT is in coRP assuming GRH and in coNP unconditionally. Our proof relies on theorems from algebraic and analytic number theory, such as the Chebotarev density theorem and quadratic reciprocity. CCS CONCEPTS• Mathematics of computing → Probabilistic algorithms; • Computing methodologies → Algebraic algorithms; Number theory algorithms.
We study the Radical Identity Testing problem (RIT): Given an algebraic circuit representing a multivariate polynomial f (x 1 , . . . , x k ) and nonnegative integers a 1 , . . . , a k and d 1 , . . . , d k , written in binary, test whether the polynomial vanishes at the real radicalsWe place the problem in coNP assuming the Generalised Riemann Hypothesis (GRH), improving on the straightforward PSPACE upper bound obtained by reduction to the existential theory of reals. Next we consider a restricted version, called 2-RIT, where the radicals are square roots of prime numbers, written in binary. It was known since the work of Chen and Kao [16] that 2-RIT is at least as hard as the polynomial identity testing problem, however no better upper bound than PSPACE was known prior to our work. We show that 2-RIT is in coRP assuming GRH and in coNP unconditionally. Our proof relies on theorems from algebraic and analytic number theory, such as the Chebotarev density theorem and quadratic reciprocity.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.