Simons Rock Mathematics Colloquium
Fall 2024 (Current Semester)
The colloquium meets on Tuesdays at 2:40pm, unless otherwise stated.

September 24th
Julia Kameryn Williams (Bard College at Simon’s Rock)
Infinity, the axiom of choice, and mediacy
What does it mean to be finite? To be infinite? Why does the axiom of choice come into the picture? What even is the axiom of choice? What weird and exciting things happen when we try to generalize the ideas which answer these questions? We will discuss these questions and more. [flyer] [slides here]

October 8th
Alex Van Abel (Wesleyan University)
Pseudofinite Model Theory
In model theory, we study mathematical structures and the things we can say about them – classically, in firstorder logic. Pseudofinite structures are infinite mathematical structures that “behave like” finite structures. In this talk, I will outline the basics of model theory and firstorder logic, and clarify what I mean by “behave like” in the previous sentence. I will illustrate pseudofiniteness with some examples and nonexamples, and share some instances of how pseudofinite model theory has been used to answer concrete questions in combinatorics. [flyer]

November 19th (tentative)
Astra Kolomatskaia (Wesleyan University)
Title and abstract to be announced
Spring 2024
The colloquium meets on Thursdays at 2:40pm, unless otherwise stated.

February 29th
Jack Burkart (Bard College at Simon’s Rock)
The Carpenter’s Rule Problem
Is it possible to take any given polygon and move it through space to a convex polygon, while never having the polygon intersect itself? If you drop a necklace on a flat table and attempt to do this yourself, you’ll probably be able to successfully do this. This is far from a mathematical proof, however, and this problem, known as the Carpenter’s Rule Problem, remained open for decades until it was solved in the early 90s. In this talk, I’ll introduce the Carpenter’s rule problem and explain a surprising approach for how to solve it that involves an important technique in optimization known as linear programming. Most of this talk should be approachable for anyone who enjoys looking at pictures and has taken a calculus course. [flyer]

March Canceled
Canceled

April 25th
Uniquely Completable Partial Latin Squares
A latin square of order $n$ is an $n \times n$ array in which each symbol from a set of order $n$ appears exactly once in each row and exactly once in each column. If we loosen the definition so that each symbol appears at most once in each row and at most once in each column (and so there may be empty cells) then we have a partial latin square. A partial latin square is uniquely completable if there is exactly one way to fill in the empty cells to obtain a latin square.
We look at some historical and recent work related to uniquely completable partial squares. Motivating questions include: how few entries can a uniquely completable partial latin square have? How many can one have, if it is minimal in the sense that removing any entry allows multiple completions? What if we add extra conditions (like a sudoku puzzle does)? Does it make sense to ask about infinite latin squares? There are many accessible open problems.
Includes joint work with Aurora Callahan, Emma Hasson, Kaethe Minden and Yolanda Zhu. [flyer] [slides]