Borcea's 2-variance conjecture

Published 1 Oct 2026 in math.CV | (2610.02035v1)

Abstract: In this paper, we prove Borcea's 2-variance conjecture. The Lean 4 formalization of the main results are also provided.

Authors (1)

No one has generated a summary of this paper yet.

No one has generated a video about this paper yet.

No one has generated a whiteboard explanation for this paper yet.

We haven't generated follow-up questions for this paper yet.