@article{erdos1946,
  author  = {Erd{\H{o}}s, P.},
  title   = {On sets of distances of {$n$} points},
  journal = {The American Mathematical Monthly},
  volume  = {53},
  number  = {5},
  pages   = {248--250},
  year    = {1946},
  month   = may,
  doi     = {10.1080/00029890.1946.11991674},
  url     = {https://users.renyi.hu/~p_erdos/1946-03.pdf}
}

@incollection{sst1984,
  author    = {Spencer, J. and Szemer{\'e}di, E. and Trotter, Jr., W. T.},
  title     = {Unit distances in the {Euclidean} plane},
  booktitle = {Graph Theory and Combinatorics},
  editor    = {Bollob{\'a}s, B.},
  publisher = {Academic Press},
  address   = {London},
  pages     = {293--303},
  year      = {1984},
  note      = {Proceedings of the Cambridge Conference, 1983},
  url       = {https://trotter.math.gatech.edu/papers/44.pdf}
}

@misc{alonEtAl2026,
  author       = {Alon, Noga and Bloom, Thomas F. and Gowers, W. T.
                  and Litt, Daniel and Sawin, Will and Shankar, Arul
                  and Tsimerman, Jacob and Wang, Victor
                  and Wood, Melanie Matchett},
  title        = {Remarks on the disproof of the unit distance conjecture},
  year         = {2026},
  eprint       = {2605.20695},
  archivePrefix = {arXiv},
  primaryClass = {math.CO},
  doi          = {10.48550/arXiv.2605.20695},
  url          = {https://arxiv.org/abs/2605.20695v1},
  note         = {arXiv:2605.20695v1, submitted 20 May 2026},
  howpublished = {\url{https://arxiv.org/abs/2605.20695v1}}
}

@misc{RCFTransfer,
  author = {Kuhlmann, Salma},
  title = {Real Algebraic Geometry Lecture Notes: Lecture 09},
  year = {2009},
  note = {17 November 2009, Theorems 3.1 and 4.1},
  url = {https://www.math.uni-konstanz.de/algebra/WS0910/Notes09.pdf},
  howpublished = {\url{https://www.math.uni-konstanz.de/algebra/WS0910/Notes09.pdf}}
}

@misc{ProductFormula,
  author = {Milne, James S.},
  title = {Algebraic Number Theory},
  year = {2020},
  note = {Version 3.08, 19 July 2020},
  url = {https://www.jmilne.org/math/CourseNotes/ANTc.pdf},
  howpublished = {\url{https://www.jmilne.org/math/CourseNotes/ANTc.pdf}}
}

@article{Szekely1997,
  author = {Sz{\'e}kely, L{\'a}szl{\'o} A.},
  title = {Crossing numbers and hard {Erd{\H o}s} problems in discrete geometry},
  journal = {Combinatorics, Probability and Computing},
  volume = {6},
  number = {3},
  pages = {353--358},
  year = {1997},
  doi = {10.1017/S0963548397002976},
  url = {https://www.cs.tau.ac.il/~michas/szekely.pdf}
}

@misc{openaiUnitLower2026,
  author = {{OpenAI}},
  title = {Planar Point Sets with Many Unit Distances},
  year = {2026},
  url = {https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-proof.pdf},
  note = {Public manuscript, 20 May 2026},
  howpublished = {\url{https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-proof.pdf}}
}

@misc{sawin2026,
  author = {Sawin, Will},
  title = {An explicit lower bound for the unit distance problem},
  year = {2026},
  eprint = {2605.20579},
  archivePrefix = {arXiv},
  primaryClass = {math.CO},
  doi = {10.48550/arXiv.2605.20579},
  url = {https://arxiv.org/abs/2605.20579v1},
  note = {Version 1, 20 May 2026},
  howpublished = {\url{https://arxiv.org/abs/2605.20579v1}}
}

@article{ellenbergVenkatesh2007,
  author = {Ellenberg, Jordan S. and Venkatesh, Akshay},
  title = {Reflection principles and bounds for class group torsion},
  journal = {International Mathematics Research Notices},
  year = {2007},
  volume = {2007},
  note = {Article rnm002, 18 pp.},
  doi = {10.1093/imrn/rnm002},
  url = {https://doi.org/10.1093/imrn/rnm002}
}

@article{hajirMaireRamakrishna2021,
  author = {Hajir, Farshid and Maire, Christian and Ramakrishna, Ravi},
  title = {Cutting towers of number fields},
  journal = {Annales math{\'e}matiques du Qu{\'e}bec},
  volume = {45}, number = {2}, pages = {321--345}, year = {2021},
  doi = {10.1007/s40316-021-00156-8},
  eprint = {1901.04354}, archivePrefix = {arXiv}, primaryClass = {math.NT},
  url = {https://doi.org/10.1007/s40316-021-00156-8}
}

@incollection{KatzTardos,
  author = {Katz, Nets Hawk and Tardos, G{\'a}bor},
  title = {A new entropy inequality for the {Erd{\H o}s} distance problem},
  booktitle = {Towards a Theory of Geometric Graphs},
  editor = {Pach, J{\'a}nos},
  series = {Contemporary Mathematics}, volume = {342},
  publisher = {American Mathematical Society}, address = {Providence, RI},
  pages = {119--126}, year = {2004}, doi = {10.1090/conm/342/06136}
}

@book{CoverThomas2006,
  author = {Cover, Thomas M. and Thomas, Joy A.},
  title = {Elements of Information Theory},
  edition = {2},
  publisher = {Wiley-Interscience},
  year = {2006},
  isbn = {978-0-471-24195-9}
}

@article{Ahlswede1982,
  author = {Ahlswede, Rudolf},
  title = {An elementary proof of the strong converse theorem for the multiple-access channel},
  journal = {Journal of Combinatorics, Information and System Sciences},
  volume = {7}, number = {3}, pages = {216--230}, year = {1982},
  url = {https://www.math.uni-bielefeld.de/ahlswede/homepage/public/44.pdf}
}

@misc{stacksUFD,
  author = {{The Stacks Project Authors}},
  title = {The {Stacks Project}},
  year = {2026},
  note = {Lemma 10.120.10, Tag 0BC1; accessed 23 September 2026},
  url = {https://stacks.math.columbia.edu/tag/0BC1},
  howpublished = {\url{https://stacks.math.columbia.edu/tag/0BC1}}
}

@misc{fultonCurves,
  author = {Fulton, William},
  title = {Algebraic Curves: An Introduction to Algebraic Geometry},
  year = {2008},
  note = {Electronic edition},
  url = {https://www.math.lsa.umich.edu/~wfulton/CurveBook.pdf},
  howpublished = {\url{https://www.math.lsa.umich.edu/~wfulton/CurveBook.pdf}}
}

@misc{conradSeparability,
  author = {Conrad, Keith},
  title = {Separability {II}},
  note = {Undated author notes; accessed 23 September 2026},
  url = {https://kconrad.math.uconn.edu/blurbs/galoistheory/separable2.pdf},
  howpublished = {\url{https://kconrad.math.uconn.edu/blurbs/galoistheory/separable2.pdf}}
}

@misc{milneFields,
  author = {Milne, James S.},
  title = {Fields and Galois Theory},
  year = {2022},
  note = {Version 5.10, September 2022},
  url = {https://www.jmilne.org/math/CourseNotes/FT.pdf},
  howpublished = {\url{https://www.jmilne.org/math/CourseNotes/FT.pdf}}
}

@article{Clarkson1987,
  author = {Clarkson, Kenneth L.},
  title = {New applications of random sampling in computational geometry},
  journal = {Discrete \& Computational Geometry},
  volume = {2}, pages = {195--222}, year = {1987},
  doi = {10.1007/BF02187879},
  url = {https://www.kenclarkson.org/rs/p.pdf}
}

@article{HausslerWelzl1987,
  author = {Haussler, David and Welzl, Emo},
  title = {{$\varepsilon$}-nets and simplex range queries},
  journal = {Discrete \& Computational Geometry},
  volume = {2}, pages = {127--151}, year = {1987},
  doi = {10.1007/BF02187876}
}

@article{ClarksonShor1989,
  author = {Clarkson, Kenneth L. and Shor, Peter W.},
  title = {Applications of random sampling in computational geometry, {II}},
  journal = {Discrete \& Computational Geometry},
  volume = {4}, pages = {387--421}, year = {1989},
  doi = {10.1007/BF02187740},
  url = {https://www.kenclarkson.org/rs2m/p.pdf}
}

@incollection{ajtaiEtAl1982,
  author = {Ajtai, M. and Chv{\'a}tal, V. and Newborn, M. M. and Szemer{\'e}di, E.},
  title = {Crossing-free subgraphs},
  booktitle = {Theory and Practice of Combinatorics},
  editor = {Rosa, Alexander and Sabidussi, Gert and Turgeon, Jean},
  series = {North-Holland Mathematics Studies}, volume = {60},
  publisher = {North-Holland}, address = {Amsterdam},
  pages = {9--12}, year = {1982},
  doi = {10.1016/S0304-0208(08)73484-4}
}

@book{leighton1983,
  author = {Leighton, F. Thomson},
  title = {Complexity Issues in {VLSI}: Optimal Layouts for the Shuffle-Exchange Graph and Other Networks},
  series = {Foundations of Computing},
  publisher = {MIT Press}, address = {Cambridge, MA}, year = {1983},
  isbn = {9780262121040},
  url = {https://mitpress.mit.edu/9780262121040/complexity-issues-in-vlsi/}
}

@article{agostonPalvolgyi2022,
  author = {{\'A}goston, P{\'e}ter and P{\'a}lv{\"o}lgyi, D{\"o}m{\"o}t{\"o}r},
  title = {An improved constant factor for the unit distance problem},
  journal = {Studia Scientiarum Mathematicarum Hungarica},
  volume = {59}, number = {1}, pages = {40--57}, year = {2022},
  doi = {10.1556/012.2022.01517},
  eprint = {2006.06285}, archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2006.06285v3}
}

@misc{katzSilier2026,
  author = {Katz, Nets and Silier, Olivine},
  title = {Structure of cell decompositions in extremal {Szemer{\'e}di--Trotter} examples},
  year = {2026}, eprint = {2303.17186}, archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2303.17186v2},
  note = {Version 2, 1 June 2026; first submitted 2023},
  howpublished = {\url{https://arxiv.org/abs/2303.17186v2}}
}

@inproceedings{pachRazSolymosi2026,
  author = {Pach, J{\'a}nos and Raz, Orit E. and Solymosi, J{\'o}zsef},
  title = {{Erd{\H o}s}'s unit distance problem and rigidity},
  booktitle = {42nd International Symposium on Computational Geometry (SoCG 2026)},
  editor = {Ahn, Hee-Kap and Hoffmann, Michael and Nayyeri, Amir},
  series = {Leibniz International Proceedings in Informatics},
  volume = {367}, pages = {83:1--83:9}, year = {2026},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik},
  doi = {10.4230/LIPIcs.SoCG.2026.83},
  url = {https://doi.org/10.4230/LIPIcs.SoCG.2026.83}
}

@article{Tardos2003,
  author = {Tardos, G{\'a}bor},
  title = {On distinct sums and distinct distances},
  journal = {Advances in Mathematics},
  volume = {180}, number = {1}, pages = {275--289}, year = {2003},
  doi = {10.1016/S0001-8708(03)00004-5},
  url = {https://www.renyi.hu/~tardos/distinctsums.pdf}
}

@article{golodShafarevich1964,
  author = {Golod, E. S. and Shafarevich, I. R.},
  title = {On the class field tower},
  journal = {Izvestiya Akademii Nauk SSSR. Seriya Matematicheskaya},
  volume = {28}, number = {2}, pages = {261--272}, year = {1964},
  note = {Russian; English translation in American Mathematical Society Translations,
          Series 2, 48 (1965), 91--102},
  url = {https://www.mathnet.ru/eng/im2955}
}