Noam Zeilberger
noamzoam.mathstodon.xyz.ap.brid.gy
Noam Zeilberger
@noamzoam.mathstodon.xyz.ap.brid.gy
Computer science theorist and mathematician interested in the connections between things. Assistant professor in the LIX lab at Ecole Polytechnique.

[bridged from https://mathstodon.xyz/@noamzoam on the fediverse by https://fed.brid.gy/ ]
(the issue also contains some mildly amusing and cringey advertisements.)
September 26, 2025 at 12:17 AM
@andrejbauer definitely one of my favorites, but your comment brought to mind an entry in the encyclopedia appendix to Girard's Locus Solum, which I remembered as a backhanded compliment to Martin-Löf. Looking at it again I see that I was misremembering, and […]

[Original post on mathstodon.xyz]
September 22, 2025 at 4:25 PM
@dpiponi (but you can ignore my question about orientations, I realize I was confusing the cw/ccw orientation of loops with non-zero winding number around the fixed point (1/2,1/2) and the global orientation of paths starting and ending at (1,1).)
August 26, 2025 at 7:05 PM
@dpiponi (or maybe not so mysterious! Indeed, "number of irreducible words of length 2n in the free group with generators x,y such that the total degree of x and the total degree of y both equal zero" makes sense if we interpret x as N and y as E.)
August 26, 2025 at 6:41 PM
@dpiponi I had in mind that there was a symmetry between clockwise paths and counterclockwise paths, and that you could cut down the objects you are counting by that symmetry... but now I realize that not every path has a well-defined cw or ccw orientation. For example E-E-W-W and N-S-N-S. What […]
Original post on mathstodon.xyz
mathstodon.xyz
August 26, 2025 at 6:36 PM
@dpiponi this looks related to the problem of counting "doodles", see e.g. https://arxiv.org/abs/math-ph/0304034. Have you tried counting and oeising the sequence where you force the path to have a particular orientation, say counterclockwise?
On the Asymptotic Number of Plane Curves and Alternating Knots
We present a conjecture for the power-law exponent in the asymptotic number of types of plane curves as the number of self-intersections goes to infinity. In view of the description of prime alternating links as flype equivalence classes of plane curves, a similar conjecture is made for the asymptotic number of prime alternating knots. The rationale leading to these conjectures is given by quantum field theory. Plane curves are viewed as configurations of loops on a random planar lattices, that are in turn interpreted as a model of 2d quantum gravity with matter. The identification of the universality class of this model yields the conjecture. Since approximate counting or sampling planar curves with more than a few dozens of intersections is an open problem, direct confrontation with numerical data yields no convincing indication on the correctness of our conjectures. However, our physical approach yields a more general conjecture about connected systems of curves. We take advantage of this to design an original and feasible numerical test, based on recent perfect samplers for large planar maps. The numerical datas strongly support our identification with a conformal field theory recently described by Read and Saleur.
arxiv.org
August 26, 2025 at 7:46 AM
@christianp that reminds me of Bret Victor's 2012 talk, "Inventing on Principle" https://www.youtube.com/watch?v=PUv66718DII
August 13, 2025 at 9:01 AM
@robinhouston got some interesting responses and I think I see the situation a little more clearly now, though I'd still like to know what exactly "breaks" if one restricts to the "natural" subcategory of tree morphisms in [ω^op,Δ₊]. I'd be happy if anyone here knows the answer to that.
July 30, 2025 at 3:14 PM
@zachweinersmith.bsky.social Have you run into the work of Lenore & Manuel Blum (https://arxiv.org/abs/2403.17101)? I first heard Manuel Blum speak about his consciousness project some 20+ years ago, and he argued precisely that the perspective of theoretical computer science could bring […]
Original post on mathstodon.xyz
mathstodon.xyz
April 14, 2025 at 11:39 AM