AI 辅助数学研究：量子化线性映射的亚高斯性 On the Subgaussianity of Quantized Linear Maps: An AI-Assisted Note

精读摘要

这篇数学笔记证明了一个关于非各向同性高斯向量函数的基本有界差分不等式：若函数坐标差有界、X 服从 N(μ,Σ)，则浓度界取决于 Σ 的条件数。作为应用，它回答了 Simone Bombari 关于符号量子化线性映射 Y=sgn(Wx) 亚高斯性的问题。值得注意的细节是：坐标符号函数情形的论证思路最初由 Gemini 向作者提出——这是一篇明确标注 AI 参与的数学论文。 This note proves an elementary bounded-differences inequality for functions of non-isotropic Gaussian vectors, where the concentration bound depends on the condition number of the covariance. It applies this to answer a question of Simone Bombari concerning the subgaussianity of sign-quantized linear maps. Notably, the argument for the coordinatewise sign case was initially suggested to the authors by Gemini, making this an explicitly AI-assisted mathematical paper.