讨论组:算法、复杂性及密码组
标题:Short proofs for linear algebra
演讲人: Iddo Tzameret University
时间: 2012-05-11 14:00-2012-05-11 15:30
地点:FIT 1-222

内容:

 A recent work of Hrubes and myself (STOC'12) has provided what is conjectured to be the most  efficient (non-uniform) proofs of the statements of linear algebra, such as Det(AB)=Det(A)Det(B), for two matrices A, B and where Det is the determinant function (e.g., over the two element field). This result is in fact a simple corollary of a more general theory we developed, which is dedicated to the simulation of various structural results in algebraic complexity within the framework of arithmetic proofs. In this talk I will discuss these developments.



人物介绍: