PreprintCC BY 4.0arXiv
Higher derivatives of the Gram function
Abstract
We study the nonlinear phenomenon of the asymptotics of higher-order derivatives of the Gram function tu. We also prove the uniform distribution and continuous uniform distribution modulo one of tnu for n = 1, 2, …. We use AI to formalize our proofs in Lean.
Related
- Critical initialization destabilizes higher input derivatives in wide scalar-input networks
- The discrete second moment of the Riemann zeta-function along powers of Gram points
- Optimal score function estimation via derivatives constraints
- Fast Evaluation of the Azimuthal Fourier Modes of the 3D Helmholtz Green's Function and Their Derivatives
- The Hörmander-Bernhardsson function in higher dimensions
BibTeX
@misc{dundulis2026higher,
title = {{Higher derivatives of the Gram function}},
author = {Marius Dundulis and Ramūnas Garunkštis and Antanas Laurinčikas and Raivydas Šimėnas},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.17349},
eprint = {2610.17349},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.17349},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Higher derivatives of the Gram function
AU - Marius Dundulis
AU - Ramūnas Garunkštis
AU - Antanas Laurinčikas
AU - Raivydas Šimėnas
PY - 2026
DA - 2026/10/12
PB - arXiv
DO - 10.48550/arxiv.2610.17349
UR - https://arxiv.org/abs/2610.17349
AB - We study the nonlinear phenomenon of the asymptotics of higher-order derivatives of the Gram function t_u. We also prove the uniform distribution and continuous uniform distribution modulo one of t^n_u for n = 1, 2, …. We use AI to formalize our proofs in Lean.
ER -