发表机构
School of Electrical Engineering and Computer Science, University of Ottawa; University of Ottawa; School of Mathematics, University of Bristol; University of Bristol（渥太华大学电气与计算机工程学院; 渥太华大学; 布里斯托尔大学数学学院; 布里斯托尔大学）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
研究固定秩外场测度的有效电阻界，通过证明特定不等式得到相关结论，改进了已有对数拉伸界，为超单纯形上相关采样提供恒拉伸保证，解决了相关开放问题。
AI 中文摘要
我们证明了固定秩外场测度的有效电阻界。设\(d\geq2\)为整数，\(m\in\{1,\ldots,d - 1\}\)，\(w\in(0,+\infty)^d\)，\(\mathsf S\)是\([d]\)的\(m\)元随机子集，按带权重\(w\)的秩\(m\)外场测度分布。设\(X\)是其指示向量，\(\Sigma=\operatorname{Cov}(X)\)。主要结果是对任意\(i\neq j\)，\((\mathbf e_i - \mathbf e_j)^\top\Sigma^\dagger(\mathbf e_i - \mathbf e_j)\leq\frac{1}{v_i}+\frac{1}{v_j}\)。由此可得\(\Sigma\succeq\frac{1}{2}(D - \frac{vv^\top}{V})\)，改进了相关猜想。还得到超单纯形上相关采样的恒拉伸保证，解决了相关工作中的开放问题。
英文摘要
We establish the normalized covariance bound conjectured by Anari et al. (2026, Conjecture 3) for fixed-rank external-field measures. Let $d\ge2$ and $m\in[d-1]$. For $w\in(0,+\infty)^d$, let $\mathsf S$ be an $m$-subset of $[d]$ with rank-$m$ external-field law $\mathbb P(\mathsf S=S)=\frac{\prod_{i\in S}w_i}{e_m(w)},S\subseteq[d],|S|=m,$ where $e_m(w):=\sum_{T\subseteq[d], |T|=m}\prod_{\ell\in T}w_\ell$ is the $m$th elementary symmetric polynomial in $w_1,\dots,w_d$. Let $X:=(X_1,\dots,X_d)^\top$ be its indicator vector, i.e., $X_i=\mathbb I\{i\in\mathsf S\},i\in\{1,\dots,d\}.$ Let $Σ:=\mathrm{Cov}(X)$, put $v_i:=Σ_{ii}$ for each $i\in[d]$, and define $v:=(v_1,\dots,v_d)^\top,D:=\mathrm{diag}(v),V:=\sum_{i=1}^dv_i.$ We prove $Σ\succeq D-\frac{vv^\top}{V}.$ This improves the coefficient $1/2$ in the first version of our work (Cesari and Colomboni, 2026, Corollary 1.3) to the optimal universal value $1$. As a first corollary, we improve the coefficient in the pseudoinverse bound of Bacchiocchi et al. (2026, Lemma 2) from $2$ to the optimal value $1$. Specializing this bound to coordinate differences gives an alternative proof of our effective-resistance theorem from the first version of our work (Cesari and Colomboni, 2026, Theorem 1.1). The framework of Anari et al. (2026, Theorem 1 and Corollary 2) also yields unconditional correlated-sampling guarantees with stretch $6$ on the hypersimplex and $12$ on its at-most variant. Unconditional constant-stretch guarantees were first established in the first version of our work (Cesari and Colomboni, 2026, Corollaries 1.4 and 1.5), with constants $16$ and $32$, which we improve here to $6$ and $12$. These improved constants strengthen the positive resolution, established in the first version of our work, of the constant-stretch question posed by Naor et al. (2026, Theorem 2 and Section 5).
