@incollection{BCH94,
  author    = {Baum, Paul and Connes, Alain and Higson, Nigel},
  title     = {Classifying space for proper actions and {K}-theory of group {$C^*$}-algebras},
  booktitle = {{$C^*$}-Algebras: 1943--1993},
  series    = {Contemporary Mathematics},
  volume    = {167},
  pages     = {240--291},
  publisher = {American Mathematical Society},
  address   = {Providence, RI},
  year      = {1994},
  doi       = {10.1090/conm/167/1292018},
  url       = {https://doi.org/10.1090/conm/167/1292018},
  note    = {\href{https://doi.org/10.1090/conm/167/1292018}{DOI}}
}

@article{HLS02,
  author  = {Higson, Nigel and Lafforgue, Vincent and Skandalis, Georges},
  title   = {Counterexamples to the {Baum--Connes} conjecture},
  journal = {Geometric and Functional Analysis},
  volume  = {12},
  number  = {2},
  pages   = {330--354},
  year    = {2002},
  doi     = {10.1007/s00039-002-8249-5},
  url     = {https://vlafforg.perso.math.cnrs.fr/files/counterex.pdf},
  note    = {\href{https://doi.org/10.1007/s00039-002-8249-5}{DOI}; \href{https://vlafforg.perso.math.cnrs.fr/files/counterex.pdf}{author text}}
}

@article{HS08,
  author  = {Hanke, Bernhard and Schick, Thomas},
  title   = {The strong {Novikov} conjecture for low degree cohomology},
  journal = {Geometriae Dedicata},
  volume  = {135},
  pages   = {119--127},
  year    = {2008},
  doi     = {10.1007/s10711-008-9266-9},
  eprint  = {0705.2578},
  archivePrefix = {arXiv},
  primaryClass  = {math.KT},
  url     = {https://arxiv.org/abs/0705.2578v1},
  note    = {\href{https://doi.org/10.1007/s10711-008-9266-9}{DOI}; \href{https://arxiv.org/abs/0705.2578v1}{arXiv:0705.2578v1}, 17 May 2007}
}

@article{BGW16,
  author  = {Baum, Paul and Guentner, Erik and Willett, Rufus},
  title   = {Expanders, exact crossed products, and the {Baum--Connes} conjecture},
  journal = {Annals of K-Theory},
  volume  = {1},
  number  = {2},
  pages   = {155--208},
  year    = {2016},
  doi     = {10.2140/akt.2016.1.155},
  eprint  = {1311.2343},
  archivePrefix = {arXiv},
  primaryClass  = {math.KT},
  url     = {https://msp.org/akt/2016/1-2/akt-v1-n2-p02-p.pdf},
  note    = {\href{https://doi.org/10.2140/akt.2016.1.155}{DOI}}
}

@article{ABES21,
  author  = {Antonini, Paolo and Buss, Alcides and Engel, Alexander and Siebenand, Timo},
  title   = {Strong {Novikov} conjecture for low degree cohomology and exotic group {$C^*$}-algebras},
  journal = {Transactions of the American Mathematical Society},
  volume  = {374},
  number  = {7},
  pages   = {5071--5093},
  year    = {2021},
  doi     = {10.1090/tran/8372},
  eprint  = {1905.07730},
  archivePrefix = {arXiv},
  primaryClass  = {math.KT},
  url     = {https://arxiv.org/abs/1905.07730v3},
  note    = {Corrected formulation: \href{https://arxiv.org/abs/1905.07730v3}{arXiv:1905.07730v3}, 14 December 2020; \href{https://doi.org/10.1090/tran/8372}{DOI}}
}

@article{BEW21err,
  author  = {Buss, Alcides and Echterhoff, Siegfried and Willett, Rufus},
  title   = {Erratum to: ``{The} minimal exact crossed product''},
  journal = {Documenta Mathematica},
  volume  = {26},
  pages   = {1629--1632},
  year    = {2021},
  doi     = {10.4171/DM/851},
  url     = {https://ems.press/journals/dm/articles/8965781},
  note    = {\href{https://doi.org/10.4171/DM/851}{DOI}}
}

@article{Osa20,
  author  = {Osajda, Damian},
  title   = {Small cancellation labellings of some infinite graphs and applications},
  journal = {Acta Mathematica},
  volume  = {225},
  number  = {1},
  pages   = {159--191},
  year    = {2020},
  eprint  = {1406.5015},
  archivePrefix = {arXiv},
  primaryClass  = {math.GR},
  url     = {https://arxiv.org/abs/1406.5015v3},
  doi     = {10.4310/ACTA.2020.v225.n1.a3},
  note    = {Final preprint: \href{https://arxiv.org/abs/1406.5015v3}{arXiv:1406.5015v3}, 17 May 2020; \href{https://doi.org/10.4310/ACTA.2020.v225.n1.a3}{DOI}}
}

@article{KP22,
  author  = {Kaad, Jens and Proietti, Valerio},
  title   = {Index theory on the {Mi\v{s}\v{c}enko} bundle},
  journal = {Kyoto Journal of Mathematics},
  volume  = {62},
  number  = {1},
  pages   = {103--131},
  year    = {2022},
  doi     = {10.1215/21562261-2021-0021},
  eprint  = {1807.05757},
  archivePrefix = {arXiv},
  primaryClass  = {math.KT},
  url     = {https://arxiv.org/abs/1807.05757v2},
  note    = {\href{https://doi.org/10.1215/21562261-2021-0021}{DOI}; \href{https://arxiv.org/abs/1807.05757v2}{arXiv:1807.05757v2}, 5 March 2020}
}

@article{WY12,
  author  = {Willett, Rufus and Yu, Guoliang},
  title   = {Higher index theory for certain expanders and {Gromov} monster groups, {I}},
  journal = {Advances in Mathematics},
  volume  = {229},
  number  = {3},
  pages   = {1380--1416},
  year    = {2012},
  doi     = {10.1016/j.aim.2011.10.024},
  eprint  = {1012.4150},
  archivePrefix = {arXiv},
  primaryClass  = {math.KT},
  url     = {https://arxiv.org/abs/1012.4150v1},
  note    = {\href{https://doi.org/10.1016/j.aim.2011.10.024}{DOI}; \href{https://arxiv.org/abs/1012.4150v1}{arXiv:1012.4150v1}, 19 December 2010}
}


@article{AS63,
 author={Atiyah, Michael F. and Singer, Isadore M.},
 title={The index of elliptic operators on compact manifolds},
 journal={Bulletin of the American Mathematical Society},
 volume={69}, year={1963}, pages={422--433},
 doi={10.1090/S0002-9904-1963-10957-X},
 note={\href{https://doi.org/10.1090/S0002-9904-1963-10957-X}{DOI}}
}
@article{BHS07,
 author={Baum, Paul and Higson, Nigel and Schick, Thomas},
 title={On the equivalence of geometric and analytic {$K$}-homology},
 journal={Pure and Applied Mathematics Quarterly}, volume={3},
 number={1}, year={2007}, pages={1--24},
 doi={10.4310/PAMQ.2007.v3.n1.a1},
 note={\href{https://arxiv.org/abs/math/0701484v4}{arXiv:math/0701484v4}}
}
@article{Land15,
 author={Land, Markus},
 title={The analytical assembly map and index theory},
 journal={Journal of Noncommutative Geometry}, volume={9}, number={2},
 year={2015}, pages={603--619}, doi={10.4171/JNCG/202},
 note={\href{https://doi.org/10.4171/JNCG/202}{DOI}}
}
@article{BvE16,
 author={Baum, Paul F. and van Erp, Erik},
 title={{$K$}-homology and {Fredholm} operators {I}: {Dirac} operators},
 journal={Journal of Geometry and Physics}, volume={134}, pages={101--118},
 year={2018}, doi={10.1016/j.geomphys.2018.08.008},
 eprint={1604.03502}, archivePrefix={arXiv},
 note={\href{https://arxiv.org/abs/1604.03502}{arXiv:1604.03502}}
}
@misc{EH20,
 author={Emerson, Heath and Hudson, Dan},
 title={{Baum--Connes} and the {Fourier--Mukai} transform},
 year={2020}, eprint={2001.06124}, archivePrefix={arXiv},
 note={\href{https://arxiv.org/abs/2001.06124v2}{arXiv:2001.06124v2}}
}
@article{Gro03,
 author={Gromov, Mikhail}, title={Random walk in random groups},
 journal={Geometric and Functional Analysis}, volume={13},
 year={2003}, pages={73--146}, doi={10.1007/s000390300002},
 note={\href{https://doi.org/10.1007/s000390300002}{DOI}}
}
@article{Gross74,
 author={Gross, Jonathan L.}, title={Voltage graphs},
 journal={Discrete Mathematics}, volume={9}, year={1974}, pages={239--246},
 doi={10.1016/0012-365X(74)90006-5},
 note={\href{https://doi.org/10.1016/0012-365X(74)90006-5}{DOI}}
}
@article{GT77,
 author={Gross, Jonathan L. and Tucker, Thomas W.},
 title={Generating all graph coverings by permutation voltage assignments},
 journal={Discrete Mathematics}, volume={18}, year={1977}, pages={273--283},
 doi={10.1016/0012-365X(77)90131-5},
 note={\href{https://doi.org/10.1016/0012-365X(77)90131-5}{DOI}}
}

@article{HK01,
 author={Higson, Nigel and Kasparov, Gennadi},
 title={{E}-theory and {KK}-theory for groups which act properly and isometrically on {Hilbert} space},
 journal={Inventiones Mathematicae}, volume={144}, year={2001}, pages={23--74},
 doi={10.1007/s002220000118}, note={\href{https://doi.org/10.1007/s002220000118}{DOI}}
}
@article{MY02,
 author={Mineyev, Igor and Yu, Guoliang},
 title={The {Baum--Connes} conjecture for hyperbolic groups},
 journal={Inventiones Mathematicae}, volume={149}, year={2002}, pages={97--122},
 doi={10.1007/s002220200214}, note={\href{https://doi.org/10.1007/s002220200214}{DOI}}
}
@article{Laf12,
 author={Lafforgue, Vincent},
 title={La conjecture de {Baum--Connes} \`a coefficients pour les groupes hyperboliques},
 journal={Journal of Noncommutative Geometry}, volume={6}, number={1},
 year={2012}, pages={1--197}, doi={10.4171/JNCG/89},
 note={\href{https://doi.org/10.4171/JNCG/89}{DOI}}
}
@article{GHW05,
 author={Guentner, Erik and Higson, Nigel and Weinberger, Shmuel},
 title={The {Novikov} conjecture for linear groups},
 journal={Publications Math\'ematiques de l'IH\'ES}, volume={101},
 year={2005}, pages={243--268}, doi={10.1007/s10240-005-0030-5},
 note={\href{https://doi.org/10.1007/s10240-005-0030-5}{DOI}}
}
@incollection{EL75,
 author={Erd\H{o}s, Paul and Lov\'asz, L\'aszl\'o},
 title={Problems and results on 3-chromatic hypergraphs and some related questions},
 booktitle={Infinite and Finite Sets, Vol.~II},
 series={Colloquia Mathematica Societatis J\'anos Bolyai}, volume={10},
 publisher={North-Holland}, address={Amsterdam}, year={1975}, pages={609--627},
 note={\href{https://www.renyi.hu/~p_erdos/1975-34.pdf}{Author text}}
}
@article{MT10,
 author={Moser, Robin A. and Tardos, G\'abor},
 title={A constructive proof of the general {Lov\'asz} local lemma},
 journal={Journal of the ACM}, volume={57}, number={2}, year={2010},
 pages={11:1--11:15}, doi={10.1145/1667053.1667060},
 note={\href{https://arxiv.org/abs/0903.0544v3}{arXiv:0903.0544v3}}
}

@article{BC00,
 author={Baum, Paul and Connes, Alain},
 title={Geometric {K}-theory for {Lie} groups and foliations},
 journal={L'Enseignement Math\'ematique (2)}, volume={46},
 number={1--2}, year={2000}, pages={3--42},
 doi={10.5169/seals-64793},
 note={First circulated in 1982; \href{https://doi.org/10.5169/seals-64793}{DOI}}
}

@article{AB64,
 author={Atiyah, Michael F. and Bott, Raoul},
 title={On the periodicity theorem for complex vector bundles},
 journal={Acta Mathematica}, volume={112}, year={1964}, pages={229--247},
 doi={10.1007/BF02391772},
 note={\href{https://doi.org/10.1007/BF02391772}{DOI}}
}

@article{Schwartz80,
 author={Schwartz, Jacob T.},
 title={Fast probabilistic algorithms for verification of polynomial identities},
 journal={Journal of the ACM}, volume={27}, number={4},
 year={1980}, pages={701--717}, doi={10.1145/322217.322225},
 note={\href{https://doi.org/10.1145/322217.322225}{DOI}}
}

@article{FK81,
 author={F{\"u}redi, Zolt{\'a}n and Koml{\'o}s, J{\'a}nos},
 title={The eigenvalues of random symmetric matrices},
 journal={Combinatorica}, volume={1}, number={3},
 year={1981}, pages={233--241}, doi={10.1007/BF02579329},
 note={\href{https://doi.org/10.1007/BF02579329}{DOI}}
}

@article{HPR97,
 author={Higson, Nigel and Pedersen, Erik Kj{\ae}r and Roe, John},
 title={{$C^*$}-algebras and controlled topology},
 journal={{K}-Theory}, volume={11}, number={3},
 year={1997}, pages={209--239}, doi={10.1023/A:1007705726771},
 note={\href{https://doi.org/10.1023/A:1007705726771}{DOI}}
}

@book{Blackadar98,
 author={Blackadar, Bruce},
 title={{K}-Theory for Operator Algebras}, edition={2},
 series={Mathematical Sciences Research Institute Publications}, volume={5},
 publisher={Cambridge University Press}, address={Cambridge}, year={1998},
 note={\href{https://bruceblackadar.com/Mathematics/book6.pdf}{Author text}}
}

@article{Oll06,
  author  = {Ollivier, Yann},
  title   = {On a small cancellation theorem of {Gromov}},
  journal = {Bulletin of the Belgian Mathematical Society -- Simon Stevin},
  volume  = {13},
  number  = {1},
  pages   = {75--89},
  year    = {2006},
  doi     = {10.36045/bbms/1148059334},
  eprint  = {math/0310022},
  archivePrefix = {arXiv},
  primaryClass  = {math.GR},
  url     = {https://arxiv.org/abs/math/0310022v2},
  note    = {Corrected proof: \href{https://arxiv.org/abs/math/0310022v2}{arXiv:math/0310022v2}, 25 September 2024; \href{https://doi.org/10.36045/bbms/1148059334}{DOI}}
}

@article{Gru15,
  author  = {Gruber, Dominik},
  title   = {Groups with graphical {$C(6)$} and {$C(7)$} small cancellation presentations},
  journal = {Transactions of the American Mathematical Society},
  volume  = {367},
  number  = {3},
  pages   = {2051--2078},
  year    = {2015},
  doi     = {10.1090/S0002-9947-2014-06198-9},
  eprint  = {1210.0178},
  archivePrefix = {arXiv},
  primaryClass  = {math.GR},
  url     = {https://arxiv.org/abs/1210.0178v2},
  note    = {\href{https://doi.org/10.1090/S0002-9947-2014-06198-9}{DOI}; \href{https://arxiv.org/abs/1210.0178v2}{arXiv:1210.0178v2}, 24 July 2014}
}

@misc{FIS15,
  author  = {Friedman, Joel and Izsak, Alice and Silberman, Lior},
  title   = {Abelian Girth and Girth},
  year    = {2015},
  eprint  = {1511.03678},
  archivePrefix = {arXiv},
  primaryClass  = {math.CO},
  url     = {https://arxiv.org/abs/1511.03678v1},
  note    = {\href{https://arxiv.org/abs/1511.03678v1}{arXiv:1511.03678v1}, 11 November 2015}
}

@article{HSS11,
  author  = {Haeupler, Bernhard and Saha, Barna and Srinivasan, Aravind},
  title   = {New constructive aspects of the {Lov\'asz} local lemma},
  journal = {Journal of the ACM},
  volume  = {58},
  number  = {6},
  pages   = {28:1--28:28},
  year    = {2011},
  doi     = {10.1145/2049697.2049702},
  eprint  = {1001.1231},
  archivePrefix = {arXiv},
  primaryClass  = {cs.DS},
  url     = {https://arxiv.org/abs/1001.1231v5},
  note    = {\href{https://doi.org/10.1145/2049697.2049702}{DOI}; \href{https://arxiv.org/abs/1001.1231v5}{arXiv:1001.1231v5}, 2 October 2011}
}

@article{SJ89,
  author  = {Sinclair, Alistair and Jerrum, Mark},
  title   = {Approximate counting, uniform generation and rapidly mixing {Markov} chains},
  journal = {Information and Computation},
  volume  = {82},
  number  = {1},
  pages   = {93--133},
  year    = {1989},
  doi     = {10.1016/0890-5401(89)90067-9},
  url     = {https://people.eecs.berkeley.edu/~sinclair/approx.pdf},
  note    = {\href{https://doi.org/10.1016/0890-5401(89)90067-9}{DOI}; \href{https://people.eecs.berkeley.edu/~sinclair/approx.pdf}{author text}}
}

@misc{ChungCheeger,
  author = {Chung, Fan},
  title = {Four {Cheeger}-type inequalities for graph partitioning algorithms},
  year = {2007},
  howpublished = {ICCM 2007, author version},
  url = {https://fanchung.ucsd.edu/wp/heaticcm.pdf},
  note = {\href{https://fanchung.ucsd.edu/wp/heaticcm.pdf}{Author text}}
}

@misc{OpenAIProjection,
  author = {{OpenAI}},
  title = {{A torsion-free counterexample to the Kadison--Kaplansky projection conjecture}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/A-Torsion-Free-Counterexample-to-the-Kadison-Kaplansky-Projection-Conjecture-September-23-2026/paper.pdf}{OAI:A-Torsion-Free-Counterexample-to-the-Kadison-Kaplansky-Projection-Conjecture-September-23-2026}},
  year = {2026},
  note = {Sections~4, 6, and~7.6}
}