Mike McCoy

Mike’s Notebook

Math, natural philosophy, and other obsessions.

The TQC Lemma

Note: This is an edited version of the original post. Thanks to Prof. Rolf Schnieder for alerting me that the Spherical Hadwiger conjecture remains open. Sometime in late 2012 or early 2013, Joel Tropp, Martin Lotz, Dennis Amelunxen, and I were all discussing some integral-geometric problem or another, and the topic of projections of convex cones came up. One of us made the observation that taking the linear image of a subspace in general position yields one of two results: ...

April 8, 2026 · Mike McCoy

Nonlinear vibes

With my first guitar, I also got my first guitar tuner, a device that I have mixed feelings about. I can’t tune my guitar without it, but the tuner exposes just how fickle the concept of being “in tune” really is. The author with his guitar, trying to look cool, circa 2021. There are many reasons that it’s hard to tune your guitar, from the weather to number theory.1 This post adds another reason to this already long list: ...

March 23, 2026 · Mike McCoy

Design of this blog

What good are aesthetics? I’ve always found that my aesthetic sense provides a strong motivation for my work. Whether I’m diving into a mathematical formula, writing a paper, or creating software, I find that it’s the ineffable beauty that makes it worth undertaking. I’m not going to claim that the design or packaging is more important than the content. But the look and feel of a product is an inextricable part of the product; the way I construct and present my work is guided by my sense of interacting with it. When I write code, I see beauty and rhythm in the syntax highlighting, line breaks, bracket location. I find it painful to engage with ugly, yet beauty will literally appear in my dreams, whether code, the sound a smoothly clasping latch, or the smell of a flower. ...

March 12, 2026 · Mike McCoy