We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.RA

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Rings and Algebras

Title: CC-circuits and the expressive power of nilpotent algebras

Abstract: We show that CC-circuits of bounded depth have the same expressive power as polynomials over finite nilpotent algebras from congruence modular varieties. We use this result to phrase and discuss an 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 with coNP-complete, respectively NP-complete problem.
Comments: 11 pages
Subjects: Rings and Algebras (math.RA); Computational Complexity (cs.CC)
MSC classes: 08A70, 08A40
Cite as: arXiv:1911.01479 [math.RA]
  (or arXiv:1911.01479v1 [math.RA] for this version)

Submission history

From: Michael Kompatscher [view email]
[v1] Mon, 4 Nov 2019 20:41:58 GMT (21kb)

Link back to: arXiv, form interface, contact.