Current browse context:
math.RA
Change to browse by:
References & Citations
Mathematics > Rings and Algebras
Title: CC-circuits and the expressive power of nilpotent algebras
(Submitted on 4 Nov 2019 (v1), last revised 25 May 2022 (this version, v9))
Abstract: We show that CC-circuits of bounded depth have the same expressive power as circuits over finite nilpotent algebras from congruence modular varieties. We use this result to phrase and discuss a new algebraic version of Barrington, Straubing and Th\'erien's conjecture, which states that CC-circuits of bounded depth need exponential size to compute AND.
Furthermore, we investigate the complexity of deciding identities and solving equations in a fixed nilpotent algebra. Under the assumption that the conjecture is true, we obtain quasipolynomial algorithms for both problems. On the other hand, if AND is computable by uniform CC-circuits of bounded depth and polynomial size, we can construct a nilpotent algebra in which checking identities is coNP-complete, and solving equations is NP-complete.
Submission history
From: Michael Kompatscher [view email] [via LOGICAL proxy][v1] Mon, 4 Nov 2019 20:41:58 GMT (21kb)
[v2] Tue, 22 Dec 2020 12:25:39 GMT (86kb,D)
[v3] Fri, 8 Jan 2021 17:17:29 GMT (86kb,D)
[v4] Fri, 26 Mar 2021 10:25:29 GMT (22kb)
[v5] Thu, 14 Oct 2021 10:35:40 GMT (20kb)
[v6] Sat, 19 Feb 2022 09:59:26 GMT (21kb)
[v7] Tue, 1 Mar 2022 11:27:58 GMT (21kb)
[v8] Wed, 6 Apr 2022 10:57:41 GMT (34kb)
[v9] Wed, 25 May 2022 11:00:28 GMT (35kb,D)
Link back to: arXiv, form interface, contact.