# Calendars for the Modern Age

Our modern calendar, the Gregorian calendar, introduced several changes to the Julian calendar, including the introduction of a three-step algorithm for determining leap years.

But just how accurate is the Gregorian model? Can centuries of mathematics and astronomy lead us to a more accurate calendar?

# Sums of Squares and Density

Classification theorems of Euler, Lagrange, and Legendre describe the sets of integers that can be written as the sum of 2, 3, and 4 squares. In the last two cases, it follows easily that the density of these sets are 5/6 and 1.

The question of density is not so simple in the case of two squares. In this post, we resolve using an unexpected tool — Dirichlet’s theorem on primes in arithmetic progressions.

# A Generalization of Wilson’s Theorem (due to Gauss)

John Wilson (1741-1793) was a well-known English mathematician in his time, whose legacy lives on in his eponymous result, Wilson’s Theorem.

In this post, we’ll generalize Wison’s Theorem to non-prime modulus (and a few other generalizations) and give credit to Gauss for beating us to it by two hundred years.

# Maximal Products of a Given Sum

Back in high school, I came across the following contest problem – “What is the largest product of a set of positive integers totaling 20?”

It’s a fun problem, so don’t rush past the spoiler tags too fast. In this post, we’ll give the solution to this problem and discuss a “continuous” version of this question. Namely, what happens when we’re allowed to include real numbers in our product?

# Permutation Groups vis-à-vis Conformal Maps of the Riemann Sphere

In this post, we discuss a few ways in which the symmetric and alternating groups can be realized as finite collections of self-maps on the Riemann sphere. We calculate maximal injections of symmetric and alternating groups and discuss when these actions respect a finite invariant set.

# Revisiting the Product Rule

In differential calculus, the product rule is both simple in form and high in utility. As such, it is typically presented early on in calculus courses, and the proof given is almost always the same.

In this post, we’ll explore the merits of a second proof of the product rule using properties of the logarithm, one that I hope presents a motivated and compelling argument as to why the product rule should look the way it does.

# Formal Groups and Where to Find Them

In 1946, S. Bochner published the paper Formal Lie Groups, in which he noted that several classical theorems (due to Sophus Lie) concerning infinitesimal transformations on Lie groups continue to hold when the (convergent) power series locally representing the group law was replaced by a suitable formal analogue. It was not long before this formalism found far-reaching uses in algebraic number theory and algebraic topology.

Unfortunately, few students see more than two or three explicit (i.e. closed form) group laws before stumbling into the deep end of abstract nonsense. In this article, we’ll see in a rigorous sense why this must be the case, providing along the way a complete classification of polynomial and rational formal group laws (over any reduced ring).

# Games of Limited Information (and Topology)

In this post, we’ll look at one-player games of limited information (sometimes classified as puzzles, not games) through a topological lens, and create for each game a poset of topologies under which topologically indistinguishable points correspond to outcomes that are indiscernible in a limited-information context. Expanding this dictionary, we’ll describe a topology on the outcome space under which the “safe” or “warranted” extension of one’s limited information relates to the continuity of certain maps.