Algorithms. Physics. Mathematics. Machine Learning.
396 subscribers
173 photos
10 videos
1 file
78 links
DIY projects, fun with 3d, electronics, programming, vibe coding, math, ML algorithms.
Download Telegram
Geometric proof of an algebraic formula

In a friendly chat I saw an idea for a nice toy. It's a well-known thing, and you can check the post with a magnificent picture, and a beautiful site with a lot of deep facts from math, physics, geometry and engineering.

I haven't printed anything for a while, so I opened Blender and created a model from scratch. Actually, two models. The first one used 5 scaled cubes, later joined together. The second one used one cube as a starting point: I stretched it and then extruded these terraces. If you want to see a short video on how to create such models in Blender from scratch, please press the pumpkin emoji.

Then I printed the model, and the funniest part started. You can use three pyramids to create a slab with a ridge on one side. Six pyramids make two ridged slabs. Move them together - and you have one slab. Each pyramid contains x terraces with unit height. So, the volume of this pyramid is 1*1 + 2*2 + 3*3 + ... + x*x. Six pyramids give you a slab with sides x, x + 1, 2*x + 1 (check the picture). And finally:

1*1 + 2*2 + ... + x*x = x * (x + 1) * (2*x + 1) / 6

One thing bothers me. The sum of squares on the left side is clearly an integer. But there is a fraction on the right side of the equation. What if for some x it is not an integer? Please share your thoughts on this subject.
πŸ”₯3πŸŽƒ1
This media is not supported in your browser
VIEW IN TELEGRAM
Friday challenge ✨

Can you guess how these ice cubes started glowing?

Share your theories in the comments.
πŸ”₯3
A reading list on Gaussian binomial coefficients, q-binomial coefficients, and their connection to stochastic AUROC

Β« prev | content | next Β»

Part 1

Quick orientation / popular sources

πŸ‘‰ Wikipedia β€” Gaussian binomial coefficient The best first overview.
πŸ‘‰ MathWorld β€” q-Binomial Coefficient. A compact formula reference.
πŸ‘‰ NIST DLMF, Chapter 17 β€” q-Hypergeometric and Related Functions; q-Pochhammer symbols, q-binomial coefficients, and the q-binomial theorem. Not the friendliest introduction, but very reliable for formulas.
πŸ‘‰ An Invitation to Enumeration β€” q-analogues; One of the clearest online introductions to the topic. This is exactly the language needed for random ROC wandering, where a path is weighted by its area.

Gentle textbook-style entry points
πŸ‘‰ George Andrews, Kimmo Eriksson β€” Integer Partitions Probably the best textbook-style entry point. It has a chapter on Gaussian polynomials, lattice paths and q-binomial numbers, and the q-binomial theorem. A good source if you want understanding rather than just formulas.
πŸ‘‰ Peter Cameron β€” Notes on Counting: An Introduction to Enumerative Combinatorics A useful source for q-analogues from the finite-vector-space point of view. It explains why the Gaussian coefficient, when q is a prime power, counts k-dimensional subspaces of an n-dimensional vector space over GF(q). This is not the main route for ROC, but it helps explain why the topic is so large.
πŸ‘‰ Laszlo Babai-style notes β€” q-combinatorics Short lecture notes.
πŸ‘‰ Herbert Wilf β€” generatingfunctionology Not specifically about Gaussian binomial coefficients, but extremely useful for learning the general language of generating functions. For our purposes, the key habit is: a discrete distribution can be encoded as the coefficients of a polynomial. That is exactly what happens with the AUROC distribution.
πŸ‘‰ Richard Stanley β€” Enumerative Combinatorics, Volume 1 The classic serious textbook. Not a light introduction, but an excellent reference if you want to place q-binomial coefficients inside the broader world of inversions, partitions, posets, generating functions, and q-analogues.


Historical sources
πŸ‘‰ H. A. Rothe β€” Handbuch der reinen Mathematik, 1811 Historically important. The original is not an easy read, but Rothe is often mentioned as one of the early published sources for the q-binomial theorem.
πŸ‘‰ P. A. MacMahon β€” Combinatory Analysis, 1916 A central source for the combinatorial and generating-function tradition. If your interest is β€œarea under a path,” β€œinversions,” and β€œpartitions,” MacMahon is closer to our ROC story than the purely analytic q-series tradition.
πŸ‘‰ Leonard Carlitz β€” A set of polynomials, 1940 Not the easiest entry point, but Carlitz is important in the later q-polynomial and finite-field tradition.
πŸ‘‰ Frank Wilcoxon β€” Individual Comparisons by Ranking Methods, 1945 This is not about q-binomial coefficients, but it is important for the statistical side of the story. It belongs to the origin of rank-based methods, which are directly connected to AUROC.
πŸ‘‰ Mann, Whitney β€” On a Test of Whether one of Two Random Variables is Stochastically Larger than the Other, 1947 The key historical source for the Mann–Whitney U statistic. AUROC can be viewed as a normalized Mann–Whitney statistic. In our setting, random tie-breaking inside score blocks gives a finite distribution of a closely related statistic.

Hard but interesting sources

πŸ‘‰ George Andrews β€” The Theory of Partitions A classic work in partition theory. Useful if you want to understand Gaussian polynomials as generating functions for partitions. Deeper and harder than Andrews–Eriksson.
πŸ‘‰ Gasper, Rahman β€” Basic Hypergeometric Series also option2 The heavy analytic side of q-series. Not necessary for the ROC project at the beginning, but it is a standard deep reference if you move toward basic hypergeometric series.
Β« prev | content

Reading list. Part 2.


πŸ‘‰ Andrews, Askey, Roy β€” Special Functions A broad and serious reference on special functions. Useful if you want to see the q-binomial theorem as part of the larger world of special functions.
πŸ‘‰ Kathleen O’Hara β€” Unimodality of Gaussian coefficients: A constructive proof, 1990 A famous paper on the unimodality of Gaussian coefficients. Difficult, but important if you are interested in the shape of the distribution: why the coefficients rise toward the middle and then fall.
πŸ‘‰ Doron Zeilberger β€” Kathy O’Hara’s Constructive Proof of the Unimodality of the Gaussian Polynomials, 1989 A more explanatory bridge to O’Hara’s proof. Still not easy, but easier than starting with the original paper.
πŸ‘‰ Pak, Panova β€” Strict unimodality of q-binomial coefficients, 2013 A serious paper on strict unimodality of q-binomial coefficients. Interesting if you want to go beyond β€œthere is a maximum near the centre” and understand finer shape properties of the distribution.
πŸ‘‰ Dhand β€” A combinatorial proof of strict unimodality for q-binomial coefficients, 2014 A combinatorial proof of strict unimodality in large cases. Hard, but closer in spirit to the combinatorial nature of our problem.

Sources connecting this to ROC AUC

πŸ‘‰ Donald Bamber β€” The area above the ordinal dominance graph and the area below the receiver operating characteristic graph, 1975 A very important bridge between ROC AUC and the Mann–Whitney U statistic. A good reference for the claim that the area under the ROC curve is a pairwise ranking statistic.
πŸ‘‰ Hanley, McNeil β€” The meaning and use of the area under a receiver operating characteristic curve, 1982 A classic applied paper on the meaning of ROC AUC. Useful for the interpretation of AUC as the probability that a randomly chosen positive example receives a higher score than a randomly chosen negative example.
πŸ‘‰ Green, Swets β€” Signal Detection Theory and Psychophysics, 1966 Classic background on signal detection theory and ROC curves. Less about discrete tied score blocks, more about the historical and conceptual origins of ROC analysis.

Suggested reading order for the stochastic ROC project

First:
πŸ‘‰ Wikipedia β€” Gaussian binomial coefficient
πŸ‘‰ An Invitation to Enumeration β€” q-analogues

Then:
πŸ‘‰ Andrews, Eriksson β€” Integer Partitions
πŸ‘‰ Bamber β€” area below ROC and the Mann–Whitney connection

Then, for a more serious foundation:
πŸ‘‰ Stanley β€” Enumerative Combinatorics
πŸ‘‰ Mann, Whitney, 1947

And only then, if you want to go deeper into the shape of the distribution:
πŸ‘‰ O’Hara β€” Unimodality of Gaussian coefficients
πŸ‘‰ Pak, Panova β€” Strict unimodality of q-binomial coefficients
I got some feedback

Please don't hesitate to write comments and react to posts. It's my fuel. This small message of support really means a lot to me.
❀3
Friday trash

Be careful, the first photo is really a kind of trash. 100 kilometers north of Moscow, kids are playing with a dead snake. If your toys were wooden, you were lucky.

Near Zvenigorod there is a bunch of identical houses. I don't know why, but it still looks funny to me. I heard that there is a business around some legislative procedures: before signing a contract, you place some dummy structures on your plot and pay less for registration, or something like that. The next year, all these houses were removed.

Round-leaved sundew. Near the artificial lake Sima.
πŸ‘€2