Polya-Vinogradov best constant (squarefree asymptotic) ()
Polya-Vinogradov best constant (squarefree asymptotic): determine or improve its bounds; the repository records 0 (lower) and (upper).
Editorial MSC2020 classification. Original article codes and source evidence are recorded in the literature directory.
Problem statement
Let be a primitive Dirichlet character modulo , and define
The Polya-Vinogradov inequality states that
for some absolute constant .
For squarefree moduli, define (resp. ) as the infimum of all such that
for every primitive even (resp. odd) character modulo squarefree . Define
Bordignon and Kerr proved, for squarefree , that one can take
Hence
Lean 4
No Lean statement or proof is attached yet. Have a formalization? Share its source to add it to this problem.
Background
-
The best known asymptotic leading constants differ between even and odd characters in the squarefree setting. [BK2020-main-constants]
-
BK2020 identifies Frolenkov-Soundararajan as the previous sharpest explicit benchmark and improves it (for large ) in the squarefree setting. [BK2020-prev-best] [FS2013]
-
A follow-up by Bordignon gives fully explicit constants for all primitive moduli, namely (even) and (odd), improving Frolenkov-Soundararajan for large . [B2022-main]
-
Kerr obtains a cubefree-modulus bound with leading constant for arbitrary intervals; this is weaker than BK2020 in the squarefree setting but still relevant context. [Kerr2020-main]
References (from the repository page)
-
[BK2020] Bordignon, Matteo; Kerr, Bryce. An explicit Polya-Vinogradov inequality via Partial Gaussian sums. Transactions of the American Mathematical Society 373 (2020), no. 9, 6503-6527. DOI: https://doi.org/10.1090/tran/8138. arXiv PDF: https://arxiv.org/pdf/1909.01052.pdf. Google Scholar
-
[BK2020-def-PV] loc: arXiv PDF p.1, Introduction, definition of and displayed inequality (1) quote: "Given two integers , and a primitive character modulo consider the sums . A bound, proven independently by Polya and Vinogradov in the early 1900s, is the following for some absolute constant ."
-
[BK2020-main-constants] loc: arXiv PDF p.1, Abstract quote: "Given a primitive character to squarefree modulus , we prove the following upper bound , where for even characters and for odd characters, with an explicit term."
-
[BK2020-prev-best] loc: arXiv PDF p.4, Introduction, paragraph beginning "Fully explicit Pólya-Vinogradov inequalities have previously been considered ..." quote: "Fully explicit Pólya-Vinogradov inequalities have previously been considered by Frolenkov [15], Frolenkov and Soundararajan [16] and Pomerance [27]. The current sharpest result is Frolenkov and Soundararajan [16]."
-
[B2022] Bordignon, Matteo. Partial Gaussian sums and the Pólya-Vinogradov inequality for primitive characters. Revista Matemática Iberoamericana 38 (2022), no. 4, 1101-1127. DOI: https://doi.org/10.4171/RMI/1328. Google Scholar
-
[B2022-main] loc: journal PDF p.1101 (first page), Abstract quote: "In this paper we obtain a new fully explicit constant for the Pólya-Vinogradov inequality for primitive characters. Given a primitive character modulo , we prove the following upper bound , where for even characters and for odd characters, with explicit terms. This improves a result of Frolenkov and Soundararajan for large ."
-
[Kerr2020] Kerr, Bryce. On the constant in the Pólya-Vinogradov inequality. Journal of Number Theory 212 (2020), 265-284. DOI: https://doi.org/10.1016/j.jnt.2019.11.003. arXiv PDF: https://arxiv.org/pdf/1807.09573.pdf. Google Scholar
-
[Kerr2020-main] loc: arXiv source
Polya-Vinogradov_-_constant.tex, Section 2 (Main result), Theorem 1 quote: "For integer we define For any primitive character and integers and we have " -
[Pom2011] Pomerance, Carl. Remarks on the Pólya-Vinogradov Inequality. Integers 11A (2011), Article A19. DOI: https://doi.org/10.1515/integ.2011.039. PDF: https://math.colgate.edu/~integers/a16int2009/a16int2009.pdf. Google Scholar
-
[Pom2011-thm1] loc: Integers PDF p.3, Theorem 1 quote: "For a primitive character to the modulus , we have if is even, and if is odd."
-
[FS2013] Frolenkov, D. A.; Soundararajan, K. A generalization of the Pólya-Vinogradov inequality. The Ramanujan Journal 31 (2013), no. 3, 271-279. DOI: https://doi.org/10.1007/s11139-012-9462-y. Google Scholar
Progress & source assessment
Repository table (commit 2c1968c, 26 September 2026): best known lower bound 0; best known upper bound . Values marked with an asterisk have minimal verification.
Known upper bounds
| Bound | Reference | Comments |
|---|---|---|
| [Pom2011] | Primitive characters, explicit inequality; asymptotically this gives (even) and (odd), so . [Pom2011-thm1] | |
| [B2022] | All primitive moduli (hence also squarefree), odd characters; gives and thus . [B2022-main] | |
| [Kerr2020] | Cubefree moduli (hence squarefree), arbitrary intervals; implies the same leading constant for the initial-interval quantity . [Kerr2020-main] | |
| [BK2020] | Squarefree moduli, odd characters; this controls . [BK2020-main-constants] | |
| [BK2020] | Squarefree moduli, even characters. [BK2020-main-constants] |
Known lower bounds
| Bound | Reference | Comments |
|---|---|---|
| Trivial from nonnegativity of the defining infimum. |
- [1]Davis, Damek; Ivanisvili, Paata; Tao, Terence (maintainers). Optimization Constants in Mathematics, github.com/teorth/optimizationproblems (commit 2c1968c, 26 September 2026). — Polya-Vinogradov best constant (squarefree asymptotic) ($C_{72}$) linkApache-2.0 (repository license); constant pages reproduced with attribution; repository references retained.
Recorded progress
Add yours →Nothing recorded yet. A pointer to a paper the entry is missing counts.
Machine attempts
0 recordedAttempts run against the statement below and are recorded in full, including the failures. The point is to stop the next model — and the next person — from re-walking a road that is already known to end. Each attempt costs 25 credits.
No machine attempts recorded.
Sign in to run an attempt. New accounts start with enough credits for ten.
Discussion
0 notesNotes are for clarifying the statement, flagging a missing reference, or recording why an approach fails. Claimed solutions belong in a submission, where they can be reviewed.
No notes yet.
Sign in to add a note.