Pittsburgh Interdisciplinary Mathematics Review
https://pimr.pitt.edu/pimr
A peer-reviewed, open-access journal on pure and interdisciplinary mathematics edited by students at the University of Pittsburgh and Carnegie Mellon University.University Library System, University of Pittsburghen-USPittsburgh Interdisciplinary Mathematics Review2995-6544Proofs Without Words
https://pimr.pitt.edu/pimr/article/view/63
<p>Proof of the irrationality of \(\sqrt{2}\), and of arctangent identities.</p>Paul Gartside
Copyright (c) 2025 Paul Gartside
https://creativecommons.org/licenses/by/4.0
2025-07-102025-07-10314114110.5195/pimr.2025.63Beach Math
https://pimr.pitt.edu/pimr/article/view/61
<p>It’s 6:00 in the morning, and you’re watching the sunrise after a long night of clubbing in Ibiza, Spain. You bite into a warm waffle that you bought from a place nearby that you have already forgotten. As your toes sink into the cool sand and you start to think about the events of the night, your mind starts wandering towards math, towards Beach Math. These problems are for your most contemplative moments, in Ibiza or anywhere you might happen to be. We hope you like them!</p>Ryder PhamRobert Trosten
Copyright (c) 2025 Ryder Pham, Robert Trosten
https://creativecommons.org/licenses/by/4.0
2025-07-102025-07-10312914010.5195/pimr.2025.61Mathematical thinking in the Nuclear Navy
https://pimr.pitt.edu/pimr/article/view/62
<p>Ensign Matthew Hornak is a prospective submarine warfare officer and graduate of the University of Pittsburgh, class of 2024. He commissioned as an officer in the Navy through the Carnegie Mellon University Naval Reserve Officer Training Corps the same year, and earned a Bachelor of Philosophy in International and Area Studies with a double major in Mathematics-Economics. He spent his college years pursuing just about as interdisciplinary and rigorous education as one could conjure up at Pitt. While his love for learning motivated his educational path, he quickly grew to appreciate in his time in college that everything he studied influenced one another, and an education in one aspect would be incomplete without the others. A competent naval officer has a strong grasp of current events and cultural competency; a core understanding of international happenings requires an understanding of the economics that underpins these currents; economics studies human interaction, in part, through robust mathematical models and perspectives. As he progressed through these programs, he realized that a core understanding of mathematics would be an invaluable tool at his disposal in synthesizing a vast breadth of knowledge.</p>Matthew Hornak
Copyright (c) 2025 Matthew Hornak
https://creativecommons.org/licenses/by/4.0
2025-07-102025-07-10312512810.5195/pimr.2025.62An interview with Professor James Maynard
https://pimr.pitt.edu/pimr/article/view/59
<p>James Maynard is a mathematician known for his influential work in analytic number theory. Born in 1987, he earned his bachelor's and master's at Queen's College, Cambridge, and his DPhil from Balliol College, Oxford in 2013, advised by Roger Heath-Brown. He gained international recognition for his 2013 breakthrough on small gaps between prime numbers, introducing new methods that significantly advanced and simplified earlier results. He proved the Duffin-Schaeffer conjecture and, more recently, improved Riemann zeta function zero density estimates with collaborators. Among his many honors are the 2014 SASTRA Ramanujan Prize, 2022 Fields Medal, and a 2023 election as a Fellow of the Royal Society.</p>Leonardo FinziNina McCambridgeLark Song
Copyright (c) 2025 Leonardo Finzi, James Maynard, Nina McCambridge, Lark Song
https://creativecommons.org/licenses/by/4.0
2025-07-102025-07-10310211610.5195/pimr.2025.59An interview with Professor G. Bard Ermentrout
https://pimr.pitt.edu/pimr/article/view/60
<p>Bard Ermentrout is a mathematician and theoretical biologist known for his influential work in computational neuroscience and networks of coupled oscillators. Born in 1954, he earned his bachelor’s and master’s in mathematics from Johns Hopkins University in 1975, and obtained his PhD in Biophysics and Theoretical Biology from the University of Chicago in 1979 advised by Jack Cowan. He has been recognized with a SIAM fellowship, a Sloan fellowship, the Math Neuroscience Prize, and most recently the Moser Prize.</p>Neil C. MacLachlan
Copyright (c) 2025 G. Bard Ermentrout, Neil MacLachlan
https://creativecommons.org/licenses/by/4.0
2025-07-102025-07-10311712410.5195/pimr.2025.60Explicit morphisms in the Galois-Tukey category
https://pimr.pitt.edu/pimr/article/view/57
<p>If the Continuum Hypothesis is false, it implies the existence of cardinalities between the integers and the real numbers. In studying these “cardinal characteristics of the continuum,” it was discovered that many of the associated inequalities can be interpreted as morphisms within the “Galois-Tukey” category. This paper aims to reformulate traditional direct proofs of cardinal characteristic inequalities by making the underlying morphisms explicit. Purely categorical results are also discussed.</p>David Philips
Copyright (c) 2025 David Philips
https://creativecommons.org/licenses/by/4.0
2025-07-102025-07-103538110.5195/pimr.2025.57Formal verification of the Euler Sieve via Lean
https://pimr.pitt.edu/pimr/article/view/58
<p>This paper presents a formal verification of the Euler Sieve algorithm — a linear variant of the classical Sieve of Eratosthenes — using the Lean proof assistant. We begin by discussing the traditional Sieve of Eratosthenes and its inherent redundancy when crossing out composite numbers. We then introduce the Euler Sieve, which overcomes this drawback by ensuring that each composite number is “marked” only once, achieving linear time complexity. Finally, we present a Lean formalization that rigorously verifies the correctness of the Euler Sieve, including definitions, lemmas, and the overall rigorous recursive structure. To the best of our knowledge, this work is the first formal proof of the Euler Sieve by an interactive proof assistant.</p>Isaac (Rucheng) Li
Copyright (c) 2025 Isaac (Rucheng) Li
https://creativecommons.org/licenses/by/4.0
2025-07-102025-07-1038210110.5195/pimr.2025.58When equivariant homotopy theory meets combinatorics
https://pimr.pitt.edu/pimr/article/view/56
<p>In many different ways, mathematics often amounts to finding and studying suitable \emph{algebraic structures} on various collections of objects. In any first class in algebra, one gets to know the bestiary of monoids, (abelian) groups, rings, modules, algebras, etc. Algebraic structures are omnipresent and can also be viewed in a broader sense. For instance, certain categories can be endowed with a commutative multiplicative structure, making them into a \emph{symmetric monoidal category}. The latter is a triple \((C,\otimes,\mathbb{1}_C)\), where \(C\) is a category, \(\otimes\) is a functor \(C\times C \to C\), viewed as a multiplication operation, and \(\mathbb{1}_C \in C\) is an object in \(C\), representing a unit for the multiplication. We also require several axioms to be satisfied, for example associativity and commutativity of \(\otimes\), and unitality of \(\mathbb{1}_C\) with respect to \(\otimes\). A concrete example is the category of vector spaces over a field \(k\), where \(\otimes\) is defined as the tensor product of vector spaces and \(\mathbb{1}_C\) as the field \(k\) itself.</p>Julie Bannwart
Copyright (c) 2025 Julie Bannwart
https://creativecommons.org/licenses/by/4.0
2025-07-102025-07-10312710.5195/pimr.2025.56When a set theorist hears “combinatorics”: Infinite Ramsey theory
https://pimr.pitt.edu/pimr/article/view/55
<p>Ramsey theory studies how to find highly-ordered substructures within an otherwise unwieldy object. Ramsey theory is a highly active area of research in contemporary mathematics, with some mathematicians focusing on finite structures and others on infinite ones. In this survey paper, we will give an overview of a few topics in infinite Ramsey theory, with an emphasis on how set theory is involved. That is, we will focus on large, infinite objects and ask exactly how infinite they must be in order to ensure that we have infinite, highly-ordered substructures. After introducing the general idea in the finite case, we will prove Ramsey's theorem about infinite graphs. Then we will transition into questions about finding uncountably infinite, highly-ordered substructures. This will give us a convenient excuse to discuss infinities and independence results in set theory, as well as topological colorings. No knowledge of set theory or topology is required to understand this paper.</p>Thomas Gilton
Copyright (c) 2025 Thomas Gilton
https://creativecommons.org/licenses/by/4.0
2025-07-102025-07-103285210.5195/pimr.2025.55