Friday shitposting.
My own photos. The first one demonstrates that it is not always a good idea to show users a randomly generated sequence of letters. The second... Basically, I have no clue. Probably a secret training site for ninjas?
My own photos. The first one demonstrates that it is not always a good idea to show users a randomly generated sequence of letters. The second... Basically, I have no clue. Probably a secret training site for ninjas?
β€4π2
What should the next post be?
Anonymous Poll
27%
List of references for stochastic wandering: wiki, articles, schoolbooks
30%
3D-printed model which proves the formula for the sum of the first x squares
61%
My humble introduction of myself: creepy self-portrait plus creepy description of my (creepy?)person
21%
Tuesday memes
18%
Whatever
Self-portrait
To generate such a magnificent picture, say: "Redraw my photo in MS Paint style, with some likeness, but also off in a confusing way..." I'll try to write about myself under a similar prompt.
The beginning
Trushin Arseniy. Born in the USSR. Rotary phone, 3 Soviet kopecks per bun, 5 per metro ride, 48 for a big chunk of ice cream. Favorite reading - Soviet encyclopedia for youngsters, sister's schoolbooks. Tons of DIY stuff, small "Quantum" magazines. Father - radio amateur. Diodes, LEDs, batteries and lamps - favorite toys.
Science
Ordinary school, special class in the same school, phys-math brilliant macabre: school 54 between Frunzenskaya and Sportivnaya. First own computer - Soviet, 1992. Sura PK 8500. Now I wouldn't dare solve the problems I solved on that computer. Like prove that (1+e) creates a ring if e is a 17th root of 1. I vaguely recall this task, but I can recall that I solved it numerically, and the key point was a page from a student notebook, covered with digits and letters.
PhD in laser physics, 14 articles. Then - change of course. First interview - as a C++ developer. Then: Cadence, Yandex, Equifax, HeadHunter, App in the Air, Yandex again.
The best feedback on my educational activities: "Arseniy Sergeevich, when you explained physics to us, everything was unclear, but very interesting. With our current teacher it is unclear as well, but not interesting anymore."
9 students: MSU, MIPT, RAO. +1 article on ML.
MISC
English - my curse. Always B in school. This blog helps me maintain my current level. I write it from my head, then polish with ChatGPT.
This blog. You know, just working kills me. Even when I implemented my own idea, it was a fascinating year, but it was hard to push it 8x5. For me the panacea is to have something I'm thinking about just for fun. Because we can. This channel is a spaghetti of such thoughts. You can see that there are threads: about TFWR, GBDTE, agents... Some are moving, some are on pause.
Pelevin? Can't say that I'm a fan, but I read everything I have heard about. Of course, Strugatskie. "Monday...", "The Tale...", "A Billion Years..." - my moral DNA. "M&M" by Bulgakov. As the Master put it in "Nine Princes in Amber":
Goodbye and hello, as always.
To generate such a magnificent picture, say: "Redraw my photo in MS Paint style, with some likeness, but also off in a confusing way..." I'll try to write about myself under a similar prompt.
The beginning
Trushin Arseniy. Born in the USSR. Rotary phone, 3 Soviet kopecks per bun, 5 per metro ride, 48 for a big chunk of ice cream. Favorite reading - Soviet encyclopedia for youngsters, sister's schoolbooks. Tons of DIY stuff, small "Quantum" magazines. Father - radio amateur. Diodes, LEDs, batteries and lamps - favorite toys.
Science
Ordinary school, special class in the same school, phys-math brilliant macabre: school 54 between Frunzenskaya and Sportivnaya. First own computer - Soviet, 1992. Sura PK 8500. Now I wouldn't dare solve the problems I solved on that computer. Like prove that (1+e) creates a ring if e is a 17th root of 1. I vaguely recall this task, but I can recall that I solved it numerically, and the key point was a page from a student notebook, covered with digits and letters.
PhD in laser physics, 14 articles. Then - change of course. First interview - as a C++ developer. Then: Cadence, Yandex, Equifax, HeadHunter, App in the Air, Yandex again.
The best feedback on my educational activities: "Arseniy Sergeevich, when you explained physics to us, everything was unclear, but very interesting. With our current teacher it is unclear as well, but not interesting anymore."
9 students: MSU, MIPT, RAO. +1 article on ML.
MISC
English - my curse. Always B in school. This blog helps me maintain my current level. I write it from my head, then polish with ChatGPT.
This blog. You know, just working kills me. Even when I implemented my own idea, it was a fascinating year, but it was hard to push it 8x5. For me the panacea is to have something I'm thinking about just for fun. Because we can. This channel is a spaghetti of such thoughts. You can see that there are threads: about TFWR, GBDTE, agents... Some are moving, some are on pause.
Pelevin? Can't say that I'm a fan, but I read everything I have heard about. Of course, Strugatskie. "Monday...", "The Tale...", "A Billion Years..." - my moral DNA. "M&M" by Bulgakov. As the Master put it in "Nine Princes in Amber":
Goodbye and hello, as always.
π7β€2
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.
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.
π₯2π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.
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 | 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
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