On the Failure of the Gaussian Correlation Inequality for Non-Centered Distributions
Description
The Gaussian Correlation Inequality (GCI), proved by Royen for centered Gaussian
measures, asserts that Pr(X ∈ A ∩ B) ≥ Pr(X ∈ A) Pr(X ∈ B) for symmetric convex
sets A, B. We show this inequality fails for non-centered Gaussian vectors. We exhibit an explicit counterexample in dimension two with GCI ratio R ≈ 7.24 × 10−18, verified to 60
decimal digits, and establish a local sign theorem: at the identity covariance, the sign of ∂R/∂ρij equals sign(mi · mj ), where m is the mean vector. When the means have opposite
signs, the GCI ratio R is locally decreasing in ρ, producing violations at positive correlation.
We further prove that this sign structure is universal: it holds for all symmetric unimodal
densities, including Laplace, logistic, and Student-t, with heavier tails producing larger GCI ratios. The counterexample and sign theorem have implications for the composition analysis
of differential privacy mechanisms that assume or exploit positive Gaussian correlation.
Concurrent work:
Shifted Gaussian Correlation (Overleaf, March 2026) https://overleaf.com/read/whbpfsggnzmq
proves c(n)=0 for non-centered GCI via asymptotic methods.
This paper provides complementary explicit quantitative results.
This is the companion paper to "Critical Correlation in Non-Centered Gaussian Vectors: The ρ*(r) Formula" (Paper #2 10.5281/zenodo.20078649).
Files
GCI_Paper1_v2.2_FINAL-2.pdf
Files
(508.9 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:d4d71814eb3f929e9fcbc64cf143ee5a
|
501.2 kB | Preview Download |
|
md5:9ff35f6aa59996e3a3d7fbab5a05bd75
|
7.6 kB | Download |
Additional details
Related works
- Cites
- Other: https://overleaf.com/read/whbpfsggnzmq (URL)
- Journal article: https://doi.org/10.1093/biomet/41.3-4.351 (URL)
- Other: https://research.google/blog/safeguarding-cryptocurrency-by-disclosing-quantum-vulnerabilities-responsibly/ (URL)
- Is documented by
- Other: https://opentimestamps.org (URL)
Dates
- Submitted
-
2026-05-08New version.