Weizmann Logo
ECCC
Electronic Colloquium on Computational Complexity

Under the auspices of the Computational Complexity Foundation (CCF)

Login | Register | Classic Style



REPORTS > KEYWORD > SYMBOLIC DETERMINANT IDENTITY TESTING:
Reports tagged with Symbolic determinant identity testing:
TR26-185 | 15th September 2026
Foram Lakhani, Partha Mukhopadhyay

Approximating commutative rank of matrix spaces in NC

Given any fixed constant $0<\varepsilon<1$ and a matrix space
$\mathcal{B}=\langle B_1,\ldots,B_m\rangle\le\mathbb{Q}^{n\times n}$,
we give a deterministic $NC^3$ algorithm that outputs a matrix \(A\in\mathcal{B}\) such that $rank(A)\geq (1-\varepsilon) crk(\mathcal{B})$,
where $crk(\mathcal{B})$ denotes the maximum rank of a matrix in $\mathcal{B}$. This complements the recent breakthrough of Chatterjee, Ghosh, Gurjar, Raj, and ... more >>>




ISSN 1433-8092 | Imprint