PreprintarXiv licencearXiv
Borcea's 2-variance conjecture
Abstract
In this paper, we prove Borcea's 2-variance conjecture. The Lean 4 formalization of the main results are also provided.
Related
- A proof of Borcea's quadratic variance conjecture
- Statistics on Yau's conjecture: Variance asymptotics
- Oh doughnuts, it's the variance! A visual metaphor for the variance, standard deviation, and related quantities
- The variance of the number of lattice points in narrow sectors
- Closed-form evaluation of the cumulative distribution function and absolute moments of the variance-gamma distribution
BibTeX
@misc{zhang2026borceas,
title = {{Borcea's 2-variance conjecture}},
author = {Teng Zhang},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.02035},
eprint = {2610.02035},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.02035},
}
RIS
TY - UNPB
TI - Borcea's 2-variance conjecture
AU - Teng Zhang
PY - 2026
DA - 2026/10/01
PB - arXiv
DO - 10.48550/arxiv.2610.02035
UR - https://arxiv.org/abs/2610.02035
AB - In this paper, we prove Borcea's 2-variance conjecture. The Lean 4 formalization of the main results are also provided.
ER -