Abstract
Fix \(\left\{ a_1, \dots , a_n \right\} \subset {\mathbb {N}}\), and let x be a uniformly distributed random variable on \([0,2\pi ]\). The probability \({\mathbb {P}}(a_1,\ldots ,a_n)\) that \(\cos (a_1 x), \dots , \cos (a_n x)\) are either all positive or all negative is non-zero since \(\cos (a_i x) \sim 1\) for x in a neighborhood of 0. We are interested in how small this probability can be. Motivated by a problem in spectral theory, Goncalves, Oliveira e Silva, and Steinerberger proved that \({\mathbb {P}}(a_1,a_2) \ge 1/3\) with equality if and only if \(\left\{ a_1, a_2 \right\} = \gcd (a_1, a_2)\cdot \left\{ 1, 3\right\} \). We prove \({\mathbb {P}}(a_1,a_2,a_3)\ge 1/9\) with equality if and only if \(\left\{ a_1, a_2, a_3 \right\} = \gcd (a_1, a_2, a_3)\cdot \left\{ 1, 3, 9\right\} \). The pattern does not continue, as \(\left\{ 1,3,11,33\right\} \) achieves a smaller value than \(\left\{ 1,3,9,27\right\} \). We conjecture multiples of \(\left\{ 1,3,11,33\right\} \) to be optimal for \(n=4\), discuss implications for eigenfunctions of Schrödinger operators \(-\Delta + V\), and give an interpretation of the problem in terms of the lonely runner problem.
Similar content being viewed by others
References
Barajas, J., Serra, O.: The lonely runner with seven runners. Electron. J. Combin. 15, R48 (2008)
Bohman, T., Holzman, R., Kleitman, D.: Six lonely runners. Electron. J. Combin. 8, R3 (2001)
Czerwinski, S.: Random runners are very lonely. J. Combin. Theory Ser. A 119, 1194–1199 (2012)
Cusick, T.W.: View-obstruction problems. Aequationes Math. 9, 165–170 (1974)
Goddyn, L., Wong, E.: Tight instances of the lonely runner. Integers 6, A38 (2006)
Goncalves, F., Oliveira de Silva, D., Steinerberger, S.: A universality law for sign correlations of eigenfunctions of differential operators. J. Spectr. Theory 11, 661–676 (2019)
Kravitz, N.: Barely lonely runners and very lonely runners: a refined approach to the Lonely Runner problem. Comb. Theory 1, R17 (2021)
Perarnau, G., Serra, O.: Correlation among runners and some results on the lonely runner conjecture. Electron. J. Combin. 23, P1.50 (2016)
Renault, J.: View-obstruction: a shorter proof for 6 lonely runners. Discrete Math. 287, 93–101 (2004)
Steinerberger, S.: A compactness principle for maximizing smooth functions over Toroidal Geodesics. Bull. Aust. Math. Soc. 100, 148–154 (2019)
Tao, T.: Some remarks on the lonely runner conjecture. Contrib. Discrete Math. 13, 2 (2018)
Wills, J.: Zwei Sätze über inhomogene diophantische Approximation von Irrationalzahlen. Monatsh. Math. 71, 263–269 (1967)
Funding
No funding was received for this work.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Hans G. Feichtinger.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This project was carried out under the umbrella of the Washington Experimental Mathematics Lab 2022. We are grateful to the program and acknowledge helpful discussions with Stefan Steinerberger.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Dou, S., Goh, A., Liu, K. et al. Cosine Sign Correlation. J Fourier Anal Appl 30, 13 (2024). https://doi.org/10.1007/s00041-024-10067-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00041-024-10067-1