一篇长达 2840 页的博士论文，都是关于矩阵理论的，可以当教材了。
一篇论文的篇幅竟然多达数千页，比很多教材都要厚，这简直无法想象。不过，学术界的「能人异士」层出不穷，德州大学奥斯汀分校的 CS 博士生 Zhao Song 就做到了。这是一篇 2019 年 8 月提交的博士论文，总篇幅达到了 2840 页，其中目录就占了 31 页。此外在致谢部分，论文作者还以整整 5 页的篇幅感谢了合作者、提供宝贵意见以及读博期间帮助过他的人。
不过，作者在论文第 1 页做了免责声明，表示：「这篇论文不符合德州大学奥斯汀分校当前的写作格式指南，论文仅供参考使用。」
下面让我们简单了解下这篇巨长的博士论文到底讲了些什么。矩阵（matrix）在很多理论计算机科学和机器学习问题中发挥着至关重要的作用。在这篇博士论文中，作者旨在提供对矩阵的更好理解，并且文中的很多见解对古老的、已经得到充分研究的算法问题带来了改进。具体来讲，作者从三个层面对计算机科学和机器学习领域的矩阵展开了研究。首先，他探究了矩阵在优化算法中的作用。作者研究了大量的矩阵优化问题，并针对线性规划、经验风险最小化、常微分方程和深度神经网络提供了新的求解方法和结果。其中，在线性规划优化问题中，作者提出了一种在当前矩阵乘法时间上运行的新算法，并表示 gaisuan「解决了停滞了三十年之久的研究障碍」。此外，该算法可以泛化至多种多样的凸优化问题，即经验风险最小化问题。具体算法如下所示：
然后，他探究了随机矩阵中的集中不等式问题。具体来讲，作者将大量的切尔诺夫（Chernoff）类型的标量集中不等式和斯宾塞（Spencer）类型的差异定理泛化到矩阵中。标量随机变量集中的切尔诺夫边界是随机算法分析中的基本工具。过去十年，切尔诺夫边界的矩阵泛化得到广泛应用，但这种泛化存在着一定的限制，并且是否可以消除这些限制的问题也悬而未决。通过提供大量更宽松独立性假设条件下新的矩阵切尔诺夫边界，作者对这一问题给出了肯定的答案。如下为定理 8.1.1：k 均匀强瑞利分布（Strongly Rayleigh Distribution）的矩阵切尔诺夫边界。
斯宾塞定理是差异理论中的一个著名结果，但如何将斯宾塞定理泛化至矩阵设置中这个重要问题却没有得到解决。作者在这方面取得了一些进展，并证明了在某些限制设置条件下斯宾塞定理可以实现矩阵泛化。并且，文中的结果可以泛化至著名的卡迪森 - 辛格猜想（Kadison-Singer conjecture）问题。
最后，他提出了一系列求解矩阵问题的新算法。新算法大致可以分为两类：矩阵分解问题和结构化重建问题。在矩阵分解算法上，针对各种低秩矩阵分解，作者提出了新的算法，包括一些新的固定参数可处理的算法；在结构化重建算法上，针对一些具有结构矩阵的重建任务，给出了新的算法。例如，作者重新考虑了 L2/L2 的压缩感知问题，提出了编码速度更快和列稀疏更小的算法。此外，作者还给出了针对傅里叶变换（Fourier transform）的快速算法等。
论文作者 Zhao Song 本科毕业于西蒙菲沙大学，获得了计算机科学学士学位，博士毕业于德克萨斯大学奥斯汀分校计算机科学系，由 Eric Price 教授指导。在进入德克萨斯大学之前，Zhao Song 曾是哈佛大学的访问学者，也在 IBM 研究中心实习过。Zhao Song 的研究领域广泛，涉及机器学习、理论计算机科学和数学，如深度学习理论、对抗样本、强化学习、线性回归、矩阵 / 张量分解、线性规划、傅立叶变换等。论文被引用次数超过 2000 次：
2D AR算法新突破，亮风台提出基于约束置信度的鲁棒跟踪算法CCM
