Turning Washington's heuristics in favor of Vandiver's conjecture
Preda Mih\u{a}ilescu

TL;DR
This paper explores the relationship between Washington's heuristics and Vandiver's conjecture, suggesting that deep correlations with irregularity indices could support Vandiver's conjecture under certain assumptions.
Contribution
It demonstrates that assuming Greenberg's conjecture, failure of Vandiver's conjecture implies correlations with the irregularity index, potentially turning heuristics into supporting evidence.
Findings
Failure of Vandiver's conjecture correlates with the defect λ^- > i(p).
Assuming Greenberg's conjecture, deep links are found between Vandiver's conjecture failure and Bernoulli number irregularities.
Results suggest Washington's heuristics could support Vandiver's conjecture under specific conditions.
Abstract
A famous conjecture bearing the name of Vandiver states that in the - cyclotomic extension of . Heuristics arguments of Washington, which have been briefly exposed in Lang (1978), p. 261 and Washington (1996), p. 158 suggest that the Vandiver conjecture should be false if certain conditions of statistical independence are fulfilled. In this note, we assume that Greenberg's conjecture is true for the \nth{p} cyclotomic extensions and prove an elementary consequence of the assumption that Vandiver's conjecture fails for a certain value of : the result indicates that there are deep correlations between this fact and the defect , where is like usual the irregularity index of , i.e. the number of Bernoulli numbers . As a consequence, this result could turn Washington's heuristic arguments, in a…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
Topicssemigroups and automata theory · Benford’s Law and Fraud Detection · Advanced Combinatorial Mathematics
