Kiddie Colloquium

Past Events

Kiddie Colloquium
Monday, March 11, 2024
11:30 AM
|
384H
Judson Kuhrman (Stanford)

An “abstract polyhedron” means, roughly, a graph that “might be the edges and vertices of a polyhedron”.  When can we promote “might be” to “is”? This question is answered by a beautiful theorem about circle packings on the sphere. I will explain the proof of this theorem, as well as some…

Kiddie Colloquium
Monday, March 4, 2024
11:30 AM
|
384H
Romain Speciel (Stanford)

It turns out you can take the determinant of some linear operators between infinite dimensional spaces (whoa). It turns out the Laplacian on a surface is one of those operators, and the determinant measures something geometric about the underlying space (Whoa!). It turns out that you can…

Kiddie Colloquium
Monday, February 26, 2024
11:30 AM
|
384H
Ben Church (Stanford)

We will show how to differentiate computer programs (lambda-expressions, Turing machines, etc) by encoding them in a new system called linear logic that endows the space of programs/proofs with the structure of a differential k-algebra. We will discuss this theory from the perspective of the…

Kiddie Colloquium
Monday, February 12, 2024
11:30 AM
|
384H
Jiahao Niu (Stanford)

This talk plans to design an immersive game for people who are still kids at heart to experience learning mathematics from the very beginning, but in a completely non-traditional way. We will start analysis without \epsilon-\delta, start algebra without writing operators and laws, start topology…

Kiddie Colloquium
Monday, February 5, 2024
11:30 AM
|
384H
Yizhen Chen (Stanford)

Calculus is hard. In most textbooks and calculus classes, the chain rule (f∘g)′(x) = f′(g(x))∘g′(x) is either not proved, or only partially proved. The reason is that the proof requires knowledge of topology not covered in the first two years of university, and most importantly, the result fails…

Kiddie Colloquium
Monday, January 29, 2024
11:30 AM
|
383N
Qianhe Qin (Stanford)

Inkscape is a free and open-source vector graphics editor, utilizing the standardized Scalable Vector Graphics (SVG) file format as its main format. 

In this talk, we will explore its power in crafting mathematical illustrations. Join us to delve into the fundamentals of Inkscape as…

Kiddie Colloquium
Monday, January 22, 2024
11:30 AM
|
384H
Josef Greilhuber (Stanford)

Given a subset of Euclidean space, we may ask about the space of harmonic functions vanishing on that particular set. In two dimensions, it is easy to see that this space is either trivial or infinite dimensional. Surprisingly, this question becomes drastically different in three dimensions!…

Kiddie Colloquium
Wednesday, December 6, 2023
12:00 PM
|
383N
Carl Schildkraut (Stanford)

How many lines can one find in high-dimensional space, every pair of which meets at the same angle? How large a multiplicity can the second-largest eigenvalue of a sparse graph have? How can one generate abelian extensions of a real quadratic field? What are the "nicest" generalized measurements…

Kiddie Colloquium
Wednesday, November 29, 2023
12:00 PM
|
383N
Matt Larson (Stanford)

Suppose that some subset of the entries of an m x n matrix are filled in with generic complex numbers. If we are allowed to fill in the remaining entries in any way that we want, what is the smallest rank that we can make it? I will explain some techniques to address this problem and what little…

Kiddie Colloquium
Wednesday, November 15, 2023
12:00 PM
|
383N
Maya Sankar (Stanford)

In the 1970s, Lovász provided a stunning proof of the Kneser conjecture, which stated that a certain family of graphs had large chromatic number. Lovász proved the result by lower-bounding the chromatic number in terms of the (topological) connectivity of an associated topological space, in…