2 citations · 2 across the 2 of their papers we have counts for
3 papers
math.PR2026
Fisher-Hartwig asymptotics for non-Hermitian random matrices
Paul Bourgade, Guillaume Dubach, Lisa Hartung +1
We prove the two-dimensional analogue of the asymptotics for Toeplitz determinants with Fisher-Hartwig singularities, for general real symbols. This formula has applications to ran…
cs.LO2021★ 2 cited
Formal verification of Zagier's one-sentence proof
Guillaume Dubach, Fabian Muehlboeck
We comment on two formal proofs of Fermat's sum of two squares theorem, written using the Mathematical Components libraries of the Coq proof assistant. The first one follows Zagier…
math.PR2018
Symmetries of the Quaternionic Ginibre Ensemble
Guillaume Dubach
We establish a few properties of eigenvalues and eigenvectors of the quaternionic Ginibre ensemble (QGE), analogous to what is known in the complex Ginibre case. We first recover a…