You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
I was doing some tinkering and found a weird result.
Think of a Feynman checkerboard:
I wanted to create a series that counted the number of paths connecting to by the number of turns, i.e.
s_1 = # of paths with 1 turn
s_2 = # of paths with 2 turns
s_3 = # of paths with 3 turns
...
s_2n = # of paths with 2n turns
After fiddling around with some Julians, we found this is a known series.
n=1: [2]
n=2: [2,2,2]
n=3: [2,4,8,4,2]
n=4: [2,6,18,18,18,6,2]
n=5: [2,8,32,48,72,48,32,8,2]
...
I was curious about finding the "average number of turns" so I converted this series to probabilities by dividing the series by the sum of the series.
The result is pretty weird.
The average number of turns
where
is the corresponding normalized term in the series.
It almost seems like this series could possibly alternatively be defined as the symmetric series whose corresponding probabilities give
I share this just to see if anyone might have some intution to share. It kind of boggles my mind