Non-Commutative Arithmetic Circuits with Division
Pavel Hrubeš,Avi Wigderson +1 more
Reads0
Chats0
TLDR
In this article, the complexity of arithmetic circuits with division gates over non-commuting variables was studied and lower and upper bounds on the complexity were established. But the complexity was not studied in the context of rational function identity testing.Abstract:
We initiate the study of the complexity of arithmetic circuits with division gates over non-commuting variables. Such circuits and formulas compute non-commutative rational functions, which, despite their name, can no longer be expressed as ratios of polynomials. We prove some lower and upper bounds, completeness and simulation results, as follows. If X is n x n matrix consisting of n2 distinct mutually non-commuting variables, we show that: (i). X-1 can be computed by a circuit of polynomial size, (ii). every formula computing some entry of X-1 must have size at least 2Ω(n). We also show that matrix inverse is complete in the following sense: (i). Assume that a non-commutative rational function f can be computed by a formula of size s. Then there exists an invertible 2s x 2s-matrix A whose entries are variables or field elements such that f is an entry of A-1. (ii). If f is a non-commutative polynomial computed by a formula without inverse gates then A can be taken as an upper triangular matrix with field elements on the diagonal. We show how divisions can be eliminated from non-commutative circuits and formulae which compute polynomials, and we address the non-commutative version of the "rational function identity testing" problem. As it happens, the complexity of both of these procedures depends on a single open problem in invariant theory.read more
Citations
More filters
Journal ArticleDOI
Non-commutative Edmonds’ problem and matrix semi-invariants
TL;DR: This paper considers the non-commutative version of Edmonds’ problem: compute the rank of T over the free skew field by using an algorithm of Gurvits, and assuming the above bound of sigma for R(n, m) over Q, deciding whether or not T has non-Commutative rank < n over Q can be done deterministically in time polynomial in the input size and $$sigma}$$σ.
Journal ArticleDOI
Constructive non-commutative rank computation is in deterministic polynomial time
TL;DR: The techniques developed in Ivanyos et al. (2017) are extended to obtain a deterministic polynomial-time algorithm for computing the non-commutative rank of linear spaces of matrices over any field to improve that lemma by removing a coprime condition there.
Journal ArticleDOI
Matrix coefficient realization theory of noncommutative rational functions
TL;DR: In this paper, the authors present an extension of the realization theory that is applicable to arbitrary noncommutative rational functions and is well-adapted for studying matrix evaluations, which is called minimal realizations.
Journal ArticleDOI
Algorithms for orbit closure separation for invariants and semi-invariants of matrices
Harm Derksen,Visu Makam +1 more
TL;DR: Two group actions on $m$-tuples of $n \times n$ matrices are considered, one of which is simultaneous conjugation by $\operatorname{GL}_n$ and the second is the left-right action of $SL_n $ which gives efficient algorithms to decide if the orbit closures of two points intersect.
Journal ArticleDOI
Tripartite-to-Bipartite Entanglement Transformation by Stochastic Local Operations and Classical Communication and the Structure of Matrix Spaces
TL;DR: In this article, it was shown that the maximal Schmidt rank of the tensor product of two tripartite pure states can be strictly larger than the product of their maximal Schmidt ranks.