Corpus ID: 237502764

Symbolic determinant identity testing and non-commutative ranks of matrix Lie algebras

@article{Ivanyos2021SymbolicDI,
  title={Symbolic determinant identity testing and non-commutative ranks of matrix Lie algebras},
  author={G{\'a}bor Ivanyos and Tushant Mittal and Youming Qiao},
  journal={ArXiv},
  year={2021},
  volume={abs/2109.06403}
}
One approach to make progress on the symbolic determinant identity testing (SDIT) problem is to study the structure of singular matrix spaces. After settling the noncommutative rank problem (Garg–Gurvits–Oliveira–Wigderson, Found. Comput. Math. 2020; Ivanyos–Qiao–Subrahmanyam, Comput. Complex. 2018), a natural next step is to understand singular matrix spaces whose non-commutative rank is full. At present, examples of such matrix spaces are mostly sporadic, so it is desirable to discover them… Expand
1 Citations
Non-commutative Rank and Semi-stability of Quiver Representations
Fortin and Reutenauer defined the non-commutative rank for a matrix with entries that are linear functions. The non-commutative rank is related to stability in invariant theory, non-commutativeExpand

References

SHOWING 1-10 OF 27 REFERENCES
Operator Scaling: Theory and Applications
TLDR
A complexity analysis of an existing algorithm due to Gurvits (J Comput Syst Sci 69(3):448–484, 2004 ), who proved it was polynomial time for certain classes of inputs, that is extended to actually approximate capacity to any accuracy in polynometric time. Expand
Singular tuples of matrices is not a null cone (and the symmetries of algebraic varieties)
TLDR
This work significantly generalizes a result of Frobenius for the special case $m=1, and suggests a general method for determining the symmetries of algebraic varieties. Expand
Subspace arrangements, graph rigidity and derandomization through submodular optimization
TLDR
A deterministic, strongly polynomial time algorithm for computing the matrix rank for a class of symbolic matrices (whose entries are polynomials over a field) that is seen as a generalization of the well-known deterministic algorithm for the latter problem. Expand
Constructive non-commutative rank computation is in deterministic polynomial time
TLDR
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. Expand
Non-commutative Edmonds’ problem and matrix semi-invariants
TLDR
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}$$σ. Expand
, and AviWigderson . Operator scaling : Theory and applications
  • Found . Comput . Math . Lie Groups , Lie Algebras , and Representations
  • 2015
Polynomial degree bounds for matrix semi-invariants
TLDR
Several applications to algebraic complexity theory are discussed, such as a deterministic polynomial time algorithm for non-commutative rational identity testing, and the existence of small division-free formulas for Non-Commutative polynomials. Expand
Generalized Wong sequences and their applications to Edmonds' problems
We design two deterministic polynomial time algorithms for variants of a problem introduced by Edmonds in 1967: determine the rank of a matrix M whose entries are homogeneous linear polynomials overExpand
Generators of simple Lie algebras in arbitrary characteristics
In this paper we study the minimal number of generators for simple Lie algebras in characteristic 0 or p > 3. We show that any such algebra can be generated by 2 elements. We also examine the ‘oneExpand
Computing Cartan subalgebras of Lie algebras
TLDR
A deterministic polynomial time algorithm for the case when the ground fieldk is sufficiently large is presented, based on a solution of a linear algebra problem: the task of finding a locally regular element in a subspace of linear transformations. Expand
...
1
2
3
...