Related papers: Circuit equivalence in 2-nilpotent algebras

We introduce the notion of cyclic cohomology of an A-infinity algebra and show that the deformations of an A-infinity algebra which preserve an invariant inner product are classified by this cohomology. We use this result to construct some…

Proving that there are problems in $\mathsf{P}^\mathsf{NP}$ that require boolean circuits of super-linear size is a major frontier in complexity theory. While such lower bounds are known for larger complexity classes, existing results only…

We show that the modular isomorphism problem has a positive answer for groups of nilpotency class 2 with cyclic center, i.e. that for such p-groups G and H an isomorphism between the group algebras FG and FH implies an isomorphism of the…

Given a lattice $\mathbb{L}$ and a class $K$ of algebraic structures, we say that $\mathbb{L}$ \emph{forces nilpotency} in $K$ if every algebra $\mathbf{A} \in K$ whose congruence lattice $\mathrm{Con} (\mathbf{A})$ is isomorphic to…

We introduce a new algebraic proof system, which has tight connections to (algebraic) circuit complexity. In particular, we show that any super-polynomial lower bound on any Boolean tautology in our proof system implies that the permanent…

We give a non-abelian analogue of Whitney's 2-isomorphism theorem for graphs. Whitney's theorem states that the cycle space determines a graph up to 2-isomorphism. Instead of considering the cycle space of a graph which is an abelian…

Reduction of a state of a quantum system to a subsystem gives partial quantum information about the true state of the total system. Two subalgebras A1 and A2 of B(H) are called complementary if the traceless subspaces of A1 and A2 are…

Proof equivalence in a logic is the problem of deciding whether two proofs are equivalent modulo a set of permutation of rules that reflects the commutative conversions of its cut-elimination procedure. As such, it is related to the…

The notions of Zinbiel 2-algebras and 2-term $Z_{\infty}$-algebras are introduced. It is proved that the category of Zinbiel 2-algebras and the category of $2$-term $Z_{\infty}$-algebras are equivalent to each other. Crossed module…

A semi-algebraic set is a subset of $\mathbb{R}^n$ defined by a finite collection of polynomial equations and inequalities. In this paper, we investigate the problem of determining whether two points in such a set belong to the same…

Let $\mathbf{A}$ be a finite nilpotent algebra in a congruence modular variety with finitely many fundamental operations. If $\mathbf{A}$ is of prime power order, then it is known that there is a polynomial $p$ such that for every $n \in…

We study how the complexity of modular circuits computing AND depends on the depth of the circuits and the prime factorization of the modulus they use. In particular our construction of subexponential circuits of depth 2 for AND helps us to…

Let $A$ be a finite dimensional representation-finite algebra over an algebraically closed field. The aim of this work is to determine which vertices of $Q_A$ are suficient to be consider in order to compute the nilpotency index of the…

We introduce the abstract concept of supernilpotence in loop theory, and relate it to existing concepts, namely, central nilpotence and nilpotence of the multiplication group. We prove that the class of supernilpotence is greater or equal…

We show that diagrammatic sets, a topologically sound alternative to polygraphs and strict $\omega$-categories, admit an internal notion of equivalence in the sense of coinductive weak invertibility. We prove that equivalences have the…

Let A be a finitely generated connected graded k-algebra defined by a finite number of monomial relations. Then there is a finite directed graph, Q, the Ufnarovskii graph of A, for which the categories QGr(A) and QGr(kQ) are equivalent:…

We study properties of relational structures such as graphs that are decided by families of Boolean circuits. Circuits that decide such properties are necessarily invariant to permutations of the elements of the input structures. We focus…

We study a counting version of Cycle Double Cover Conjecture. We discuss why it is more interesting to count circuits (i.e., graphs isomorphic to $C_k$ for some $k$) instead of cycles (graphs with all degrees even). We give an…

The motivation for this paper is to study the complexity of constant-width arithmetic circuits. Our main results are the following. 1. For every k > 1, we provide an explicit polynomial that can be computed by a linear-sized monotone…

A compatible nilpotent Leibniz algebra is a vector space equipped with two multiplication structures that interact in a certain natural way. This article presents the classification of these algebras with dimensions less than four, as well…