And then, after tracing several billion more rays, the resulting film looks like this π€―π€©
20.05.2025 21:34 β π 2 π 0 π¬ 0 π 0@stevejtrettel.bsky.social
Math Prof: Geometry, Topology and Illustration at University of San Francisco. Minnesotan, from the occupied lands of the Dakota people.
And then, after tracing several billion more rays, the resulting film looks like this π€―π€©
20.05.2025 21:34 β π 2 π 0 π¬ 0 π 0Running the simulation for several million photons, you can start to see the Dino resolving (upside down!) on the simulated film
20.05.2025 21:33 β π 6 π 0 π¬ 0 π 0Hereβs the view of the Dino from each of several thousand pixels: can you start to see its shape if you hold the phone far away? π€
20.05.2025 21:32 β π 3 π 0 π¬ 1 π 0Heuristically , we expect a "blurry" image to form: a bright outline of the dino on the area exposed to einstein rings, and a decaying green 'halo' as the lensed dino moves outside the black holes line of sight.Β
Hereβs the light contributing to several hundred pixels
When a piece of the film is not lined up directly with a portion of the dinosaur, it does not form a ring, and so contributes less overall light
20.05.2025 21:31 β π 3 π 0 π¬ 2 π 0The intuition: when a piece of the film is cloned with the dinosaur and black hole, from that point on the films perspective the dinosaur will be distorted into an einstein ring, taking up a large portion of the field of view, imparting that pixel with extra green light
20.05.2025 21:31 β π 3 π 0 π¬ 1 π 0I had to know if it worked, so I built a little simulator! Here's the setup: a little toy dinosaur and a conical spotlight, then a black hole, then a simulated piece of film (that will record when a simulated photon hits it, and accumulate them)
20.05.2025 21:30 β π 9 π 3 π¬ 1 π 0Summers here - time to catch up sharing some of what Iβve been up to! First up - *gravitational photography* - using (simulated) black holes instead of lenses to focus an image onto a screen. Can you see the ghostly dinosaur? 1/n
20.05.2025 21:29 β π 11 π 1 π¬ 1 π 0Also @motivickyle.bsky.social - my collaborator Nadir Hajouji is a Reed alum! (Jerry Shurman was his ugrad advisor π)
16.05.2025 04:25 β π 3 π 0 π¬ 1 π 0Weβre going to make the website better (ie, actually informative π€) soon! For now just threw up a bunch of beautiful renders that came out of writing the paper!
16.05.2025 04:04 β π 2 π 0 π¬ 0 π 0Not that I can think of - they both involve Tori but are *very different* incarnations of Tori. Ours here is the 2d surface with its conformal geometry, SLView is a solid Torus with the geometry of SL2R (but this viz is closely related to the βstarscapesβ project of me Edmund and Kate)
16.05.2025 04:03 β π 2 π 0 π¬ 0 π 0I actually recently drew some of these slices! Hereβs the real points, and what they look like on the complex elliptic curve (well, a surface in R3 whose conformal structure gives a Riemann surface isomorphic to the complex elliptic curve)
09.03.2025 21:44 β π 5 π 0 π¬ 1 π 0The regular hexagon can be rolled up isometrically into a flat torus in 4 dimensional space: hereβs a stereographic projection of the result. (Can you see the hexagonal pattern in the spheres covering its surface? π)
20.01.2025 22:12 β π 6 π 0 π¬ 1 π 0Thanks Robbie!!!!! π
20.01.2025 03:32 β π 0 π 0 π¬ 0 π 0Hereβs a cute lil donut!
19.01.2025 23:58 β π 9 π 0 π¬ 0 π 0Fun pic from a new project! Drawing lots of donuts today π
19.01.2025 23:25 β π 13 π 0 π¬ 0 π 0Best of luck to all taking the Putnam today, from our team here at USF! π€π€
07.12.2024 17:13 β π 1 π 0 π¬ 0 π 0If I do this I'll send you the pic :)
07.12.2024 04:39 β π 1 π 0 π¬ 1 π 0I like this idea!! I wonder if there's any nice math to compute the area (complex dynamics isn't my field of research so I only know the very basics). Otherwise could just estimate it computationally (draw the Julia set, count the black pixels...ha)
07.12.2024 04:38 β π 1 π 0 π¬ 1 π 0The mandelbrot fractal: a black collection of circles with infinite complexity leading to jagged edges, on a white backgroound
The parameter space of "c" for which the Julia set is "big" (connected) is the famous Mandelbrot Fractal - visible as an emergent image here from the collective behavior of tens of thousands of Julia sets.
06.12.2024 21:27 β π 7 π 0 π¬ 1 π 1Its clear theres some sort of region containing all the "big" Julia sets, and outside that in all directions they burst into dust (mathematically - into totally disconnected cantor sets). But to get a better view we need to zoom out
06.12.2024 21:22 β π 2 π 0 π¬ 1 π 0Some Julia sets are "large" and some are "small": can we tell which values of "c" lead to which? One way to try and get a sense of this experimentally is by just drawing a lot of Julia sets! Let's draw the Julia set for "c" right where "c" is in the complex plane
06.12.2024 21:14 β π 3 π 0 π¬ 1 π 0Something strange is going on at a couple points along the animation: near the center the fractal's roughly disk like (recall its a perfect disk at c=0), but if c strays too far in certain directions it bursts into a constellation of tiny dots and almost disappears
06.12.2024 21:09 β π 2 π 1 π¬ 1 π 0Indeed, we can associate every point c in the complex plane to a fractal in this way, by drawing the Julia set corresponding to z^2+c. Here's a quick animation moving through these (the red dot shows the associated point c)
06.12.2024 20:46 β π 3 π 1 π¬ 1 π 0And here's the Julia set for f(z)=z^2-1
06.12.2024 20:43 β π 0 π 0 π¬ 1 π 0But things quickly get more interesting: here's the Julia set for f(z)=z^2-1/2
06.12.2024 20:43 β π 0 π 0 π¬ 1 π 0A black disk on white background
The set of all points that stay bounded is the (filled) Julia set for the function f. Let's start with a boring example - if f(z)=z^2, then points inside the unit disk stay bounded (in fact, they converge to zero) and points outside go to infinity: the Julia set is a disk
06.12.2024 20:40 β π 0 π 0 π¬ 1 π 0Complex dynamics is all about taking a complex function f(z) and looking at what happens when you iterate, computing f(f(z)), f(f(f(z))) and so on. For any given starting number z, this produces a sequence, and this sequence can either blow up to infinity, or stay bounded.
06.12.2024 20:33 β π 0 π 0 π¬ 1 π 0