Solving Systems of Equations in Supernilpotent Algebras

Recently, M. Kompatscher proved that for each finite supernilpotent algebra $\mathbf{A}$ in a congruence modular variety, there is a polynomial time algorithm to solve polynomial equations over this algebra. Let $\mu$ be the maximal arity of the fundamental operations of $\mathbf{A}$, and let $$d := |A|^{\log_2 (\mu) + \log_2 (|A|) + 1}.$$ Applying a method that G. K\'{a}rolyi and C. Szab\'{o} had used to solve equations over finite nilpotent rings, we show that for $\mathbf{A}$, there is $c \in \mathbb{N}$ such that a solution of every system of $s$ equations in $n$ variables can be found by testing at most $c n^{sd}$ (instead of all $|A|^n$ possible) assignments to the variables. This also yields new information on some circuit satisfiability problems

Satisfiability in multi-valued circuits

Satisfiability of Boolean circuits is among the most known and important problems in theoretical computer science. This problem is NP-complete in general but becomes polynomial time when restricted either to monotone gates or linear gates. We go outside Boolean realm and consider circuits built of any fixed set of gates on an arbitrary large finite domain. From the complexity point of view this is strictly connected with the problems of solving equations (or systems of equations) over finite algebras. The research reported in this work was motivated by a desire to know for which finite algebras $\mathbf A$ there is a polynomial time algorithm that decides if an equation over $\mathbf A$ has a solution. We are also looking for polynomial time algorithms that decide if two circuits over a finite algebra compute the same function. Although we have not managed to solve these problems in the most general setting we have obtained such a characterization for a very broad class of algebras from congruence modular varieties. This class includes most known and well-studied algebras such as groups, rings, modules (and their generalizations like quasigroups, loops, near-rings, nonassociative rings, Lie algebras), lattices (and their extensions like Boolean algebras, Heyting algebras or other algebras connected with multi-valued logics including MV-algebras). This paper seems to be the first systematic study of the computational complexity of satisfiability of non-Boolean circuits and solving equations over finite algebras. The characterization results provided by the paper is given in terms of nice structural properties of algebras for which the problems are solvable in polynomial time.Comment: 50 page

Expressive Power, Satisfiability and Equivalence of Circuits over Nilpotent Algebras

Satisfiability of Boolean circuits is NP-complete in general but becomes polynomial time when restricted for example either to monotone gates or linear gates. We go outside Boolean realm and consider circuits built of any fixed set of gates on an arbitrary large finite domain. From the complexity point of view this is connected with solving equations over finite algebras. This in turn is one of the oldest and well-known mathematical problems which for centuries was the driving force of research in algebra. Let us only mention Galois theory, Gaussian elimination or Diophantine Equations. The last problem has been shown to be undecidable, however in finite realms such problems are obviously decidable in nondeterministic polynomial time. A project of characterizing finite algebras m A with polynomial time algorithms deciding satisfiability of circuits over m A has been undertaken in [Pawel M. Idziak and Jacek Krzaczkowski, 2018]. Unfortunately that paper leaves a gap for nilpotent but not supernilpotent algebras. In this paper we discuss possible attacks on filling this gap

Satisfiability of Circuits and Equations over Finite Malcev Algebras

We show that the satisfiability of circuits over finite Malcev algebra A is NP-complete or A is nilpotent. This strengthens the result from our earlier paper [Idziak and Krzaczkowski, 2018] where nilpotency has been enforced, however with the use of a stronger assumption that no homomorphic image of A has NP-complete circuits satisfiability. Our methods are moreover strong enough to extend our result of [Idziak et al., 2021] from groups to Malcev algebras. Namely we show that tractability of checking if an equation over such an algebra A has a solution enforces its nice structure: A must have a nilpotent congruence ? such that also the quotient algebra A/? is nilpotent. Otherwise, if A has no such congruence ? then the Exponential Time Hypothesis yields a quasipolynomial lower bound. Both our results contain important steps towards a full characterization of finite algebras with tractable circuit satisfiability as well as equation satisfiability

CC-circuits and the expressive power of nilpotent algebras

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.Comment: 14 page

CC-circuits and the expressive power of nilpotent algebras

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

O polinomima u algebrama Maljceva

We establish several properties of higher commutators, which were introduced by A. Bulatov, in congruence permutable varieties. We use these commutators to prove that the clone of polynomial functions of a finite Mal’cev algebra whose congruence lattice is of height at most 2, can be described by a finite set of relations. For a finite nilpotent algebra of finite type that is a product of algebras of prime power order and generates congruence modular variety, we are able to show that the property of affine completeness is decidable. Moreover, polynomial equivalence problem has polynomial complexity in the length of the input polynomials.Ustanovljavamo osobine viˇsih komutatora, koje je uveo A. Bulatov, u kongruencijki permutabilnim varijetetima. Te komutatore koristimo da bi dokazali da se klon polinomijalnih funkcija konaˇcne Maljcevljeve algebre ˇcija je mreˇza kongruencija visine najviˇse dva moˇze opisati konaˇcnim skupom relacija. Za konaˇcne nilpotentne algebre konaˇcnog tipa koje su proizvod algebri koje imaju red stepena prostog broja i koje generiˇsu kongruencijki modularan varijetet pokazu-jemo da je osobina afine kompletnosti odluˇciva. Takod¯e, pokazujemo za istu klasu da problem polinomijalne ekvivalencije ima polinomnu sloˇzenost u zavisnosti od duˇzine unetih polinomijalnih terma

Solving promise equations over monoids and groups

We give a complete complexity classification for the problem of finding a solution to a given system of equations over a fixed finite monoid, given that a solution over a more restricted monoid exists. As a corollary, we obtain a complexity classification for the same problem over groups