三角等价与秩分布的证书
摘要：三角等价和秩概要的新证书。这些证书能够更快地验证行或列的秩概要或整个秩概要矩阵，而无需重新计算，总体开销可以忽略不计。我们首先提供了二次时间和空间的非交互式证书，节省了以前已知证书的对数因子。然后我们提出了相同问题的交互式证书，其蒙特卡罗验证复杂度仅需要少量的矩阵-向量乘法，线性空间和线性数量的额外字段操作。作为应用，我们还提供了一种证明稠密矩阵行列式的交互协议，比以前已知的最佳证书更快。
作者：Jean-Guillaume Dumas (CASYS), David Lucas (CASYS), Cl''ement Pernet (CASYS)
论文ID：1702.03755
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2019-10-28