证明量化线性映射的亚高斯性，揭示其与协方差条件数的关系。
On the Subgaussianity of Quantized Linear Maps: An AI-Assisted Note
- 基于非各向同性高斯向量的有界坐标差不等式
- 量化映射的亚高斯性依赖于协方差矩阵条件数
- 展示AI辅助数学发现的实例，修正引用来源
我们证明了一个关于非各向同性高斯向量函数的基本有界差分不等式。若函数 $f$ 具有有界的坐标差，且 $X\sim\mathcal N(μ,Σ)$，则其浓度界依赖于协方差矩阵的条件数 $κ(Σ)$。作为应用，我们回答了Simone Bombari关于符号量化线性映射 $Y=\mathrm{sgn}(Wx)$ 的亚高斯性问题。在 $f$ 为逐坐标符号函数的特殊情形下，最初由Gemini 3.5 Flash 提出的论证思路被我们发现，与Barber和Kolar [Ann. Statist. 46 (2018), Lemma 4.5] 的早期论证高度相似。本修订修正了出处，并将此事件记录为一次人工智能辅助数学发现的案例。
原文摘要 · Abstract (English)
We prove an elementary bounded-differences inequality for functions of non-isotropic Gaussian vectors. Specifically, if $f$ has bounded coordinate differences and $X\sim\mathcal N(μ,Σ)$, then the resulting concentration bound depends on the condition number $κ(Σ)$. As an application, we answer a question of Simone Bombari concerning the subgaussianity of sign-quantized linear maps $Y=\mathrm{sgn}(Wx)$. In the special case where $f$ is the coordinatewise sign function, an argument was initially suggested to us by Gemini 3.5 Flash without attribution. We subsequently discovered that it closely resembles an earlier argument of Barber and Kolar [Ann. Statist. 46 (2018), Lemma 4.5]. This revision corrects the attribution and documents the episode as an instance of AI-assisted mathematical discovery.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。