CU students follow their noses, disprove math conjecture
Summer Haag and Clyde Kertzer made major news in the math world while working on a summer research project
Prior to the end of the 2022-2023 academic year, graduate student Summer Haag and junior Clyde Kertzer were looking for summer research opportunities in mathematics, their subject of study.
It was an REU (Research Experience for Undergrads) with , CU 麻豆影院 associate professor in the Department of Mathematics, and , a postdoctoral researcher in the same department, that caught their eye, as it dealt with a topic in which they both had an abiding interest: number theory.
鈥淚 knew in undergrad that number theory is what I wanted to do,鈥 says Haag. 鈥淲hen I saw Kate and James were doing a number theory REU, I said, 鈥楾hat one! I want that one!鈥欌
CU 麻豆影院 students Clyde Kertzer and Summer Haag disproved a longstanding conjecture in mathematical number theory during their summer research experience.
鈥淚鈥檝e taken a bunch of number theory courses here at CU that I鈥檝e really enjoyed,鈥 says Kertzer, who withdrew his applications to other REUs when he was accepted into the one with Stange and Rickards. 鈥淚 was super excited.鈥
The REU would explore a branch of number theory called Apollonian circle packings, which are fractals, or never-ending patterns, made up of infinite circles just touching each other but never overlapping.
Neither Haag nor Kertzer had much experience with circle packings.
鈥淚鈥檇 seen quadratic forms before, and I鈥檇 seen Mobius inversions, but I鈥檇 never seen them pertaining to circle packings,鈥 says Haag. 鈥淚 was excited to learn that stuff.鈥
鈥淚 went to the library and got a book, the only book I could find on circle packings, and started reading,鈥 says Kertzer.
Room to explore
For the first few weeks of the REU, Stange and Rickards gave Haag and Kertzer the background information they鈥檇 need for the project and taught them how to use code that Rickards had developed to gather data on circle packings. After that, they gave Haag and Kertzer room to explore.
鈥淲e set out with a fun project idea that would give students a chance to experience research by collecting data, looking for patterns and proving them,鈥 says Stange. 鈥淲e didn't have a very definitive goal.鈥
鈥淲e had a long list of possible problems to explore,鈥 Rickards adds. 鈥淭here was no real end goal in sight.鈥
CU 麻豆影院 scholars Katherine Stange (left) and James Rickards research number theory, an aspect of which includes Apollonian circle packings.
That changed, however, when Haag and Kertzer鈥檚 explorations produced data that called a well-known math conjecture into question.
The local-global conjecture, widely accepted for the better part of two decades, predicts the curvatures of the circles inside a circle packing. According to this conjecture, if a researcher knows the curvatures of a few circles in a packing (the 鈥渓ocal鈥 circles), that researcher can then predict the curvatures of the circles in the rest of the packing (the 鈥済lobal鈥 circles).
Time and again, evidence seemed to support the local-global conjecture, to the point that pretty much everyone familiar with it assumed it was true.
鈥淓ven though it hadn鈥檛 been proven, it was almost guaranteed to be true,鈥 says Haag.
Two numbers instead of one
But then, while entering numbers into Rickards鈥 code, Haag and Kertzer decided to do something that hadn鈥檛 yet been done. Instead of entering one number into the code, they entered two and looked at the resultant packings.
That鈥檚 when things got interesting. Numbers that, according to the local-global conjecture, should have appeared together in the same packings didn鈥檛.
Stange likens the situation to a jail. It was as though the numbers that were supposed to be locked up had dug a tunnel when no one was looking and escaped.
Katherine Stange partnered with engineering PhD graduate Daniel Martin to create a pattern for an Apollonian circle packing puzzle laser cut from wood; the pattern can be .
Haag, Kertzer, Stange and Rickards all knew what this data meant for the local-global conjecture, which is why Rickards鈥 immediate reaction was to double-check his code for errors. But there were none. The code was correct. The local-global conjecture, on the other hand, was not.
Over the next few days, Stange and Rickards put together a proof of their findings, working so fast, so feverishly and so precisely that Haag and Kertzer couldn鈥檛 help but be inspired.
鈥淚t was really impressive,鈥 says Kertzer. 鈥淭hat鈥檚 the point where we want to be as mathematicians.鈥
The four published a paper in the preprint server arXiv with a title as unambiguous as its content is eye-opening:
Not bad for a summer research project.
The playful side of math
But what Haag and Kertzer found even more gratifying than disproving a major outstanding conjecture was experiencing first-hand the creative side of mathematics research. It wasn鈥檛 all formulas and rules. It was intuition, exploration, play.
鈥淪ome advice Kate gave me will stick with me for a while,鈥 Kertzer recalls. 鈥溾業f you鈥檙e not sure, just follow your nose.鈥欌
Math research, Stange explains, 鈥渙ften feels like exploring a jungle. You aren't sure what you'll find, but the creativity comes in deciding what leaf to turn over, which path to take, what questions you are trying to answer, and how you will go about answering them. Some of the deepest insights in mathematics come from creative leaps connecting apparently unconnected ideas.鈥
Luckily for Haag and Kertzer, there is plenty more jungle to explore.
鈥淪ome of my students are so thoroughly confused that I want to do research in math,鈥 Haag says. 鈥淭hey鈥檙e like, 鈥業sn鈥檛 math done? How many questions could possibly be unsolved in math?鈥欌
Haag smiles when she answers: 鈥淪o many.鈥
Did you enjoy this article? Passionate about mathematics?