https://youtu.be/MsIvs_6vC38?si=HhdZTRhaDYA5im-e #LinearAlgebra #MITOCW #providence
@typeswitch
tl;dr solution at bottom
I guess we need to clarify what the allowed operation is.
e.g. if I am allowed to whether any (natural?) linear combination of outcomes is probability 1/2, then I can just ask is 3*P(rolling i) = 1/2.
If the question I'm allowed to ask is
P(rolling i, j, or k) = 1/2, then we are essentially asking for an invertible 6x6 matrix with one row of 1s, and five rows containing a permutation of [1, 1, 1, 0, 0, 0]. In which case, again you are using 5 tests
That is certainly brute forceable by computer (at most (6 choose 3) choose 5 = 15,504 meaningfully different possibilities), but there may be a clever rank argument that it's possible or not.
Okay, I did some more thinking while doing my laundry, and here's a strategy:
If a + b + c = 0.5 and d + b + c = 0.5, then a = d. Repeat with modifications four more times to show that that all are equal to one another.
The problem with that is that doing it naively requires six tests, so seven equations, if we include that they all sum to one, my bad. So you need to take advantage of all the information you've gathered in the first four iterations and choose smartly in the last one.
Here is a solution written as a matrix equation
\(\begin{pmatrix}
1 & 1 & 1 & 1 & 1 & 1 \\
1 & 1 & 1 & 0 & 0 & 0\\
1 & 1 & 0 & 1 & 0 & 0 \\
1 & 1 & 0 & 0 & 1 & 0\\
1 & 1 & 0 & 0 & 0 & 1 \\
0 & 1 & 1 & 1 & 0 & 0\\
\end{pmatrix}
\cdot \begin{pmatrix}
1/6 \\ 1/6 \\ 1/6 \\ 1/6 \\ 1/6 \\ 1/6
\end{pmatrix}
= \begin{pmatrix}
1 \\ 1/2 \\ 1/2 \\ 1/2 \\ 1/2 \\ 1/2
\end{pmatrix}
\)
One final comment, because I can't help myself. It shouldn't be too hard to generalise this pattern to other *even* sizes of dice.
#linearalgebra #probability
When I switched my major in college from physics to mathematics, I met with the undergraduate advisor for the department to sketch out courses, she (Kathy Davis at the University of Texas) said "you can never learn enough linear algebra."
As time has gone on, I keep going back to that as probably the deepest truth I've ever been told.
#mathematics #mathematicseducation #linearalgebra #universityoftexas
Linear Algebra and Optimization for Machine Learning (1 ed)
https://ebokify.com/linear-algebra-and-optimization-for-machine-learning-1-ed
The determinant of transvections (an update). New blog post on Freedom math dance.
In the previous post, I had explained how I could prove a general version of the classic fact that transvections have determinant 1. Here, I show than one can do more with less effort!
https://freedommathdance.blogspot.com/2025/11/the-determinant-of-transvections-update.html
Notes from the 2025 BLIS retreat.
https://www.cs.utexas.edu/~flame/BLISRetreat2025/Talks.html
#blis #hpc #supercomputing #appliedmath #linearalgebra #math #statistics
Ah, the age-old enigma: ๐งโโ๏ธ words that defy #translation. Clearly, the only solution is to whip out some ๐งฎ linear algebra! Because why struggle with #language when you can just slam it on a #matrix and call it a day? ๐
https://aethermug.com/posts/linear-algebra-explains-why-some-words-are-effectively-untranslatable #challenges #linearalgebra #humor #HackerNews #ngated
Linear Algebra Explains Why Some Words Are Effectively Untranslatable
https://aethermug.com/posts/linear-algebra-explains-why-some-words-are-effectively-untranslatable
#HackerNews #LinearAlgebra #UntranslatableWords #LanguageMath #Linguistics #HackerNews
just in case anyone is interested in how to do complex linear algebra, including complex tensor products, without using complex numbers - using real linear operators \(J\) with \(J\circ J=-I\) instead of complex scalars - here are some links.
The TLDR version on a poster:
http://mwaa.math.indianapolis.iu.edu/Slides/coffman.pdf
Using a basis, matrices, and summing over indices - sections 4&5 of this paper:
https://users.pfw.edu/CoffmanA/pdf/basis1.pdf
Without a basis (but still a lot of notation) - Chapter 5 starting on page 195, with tensor products starting with Example 5.74 on page 208:
https://users.pfw.edu/CoffmanA/pdf/book.pdf
#LinearAlgebra #ComplexNumbers #NotASubToot
The determinant of transvections. โ New blog post on Freedom Math Dance
A transvection in a K-vector space V is a linear map T(f,v) of the form xโฆx+f(x)v, where f is a linear form and v is a vector such that f(v)=0. It is known that such a linear map is invertible, with inverse given by f and โv. More precisely, one has T(f,0)=id and T(f,v+w)=T(f,v)โT(f,w). In finite dimension, these maps have determinant 1 and it is known that they generate the special linear group SL(V), the group of linear automorphisms of determinant 1.
When I started formalizing in Lean the theory of the special linear group, the question raised itself of the appropriate generality for such results. In particular, what happens when one replaces the field K with a ring R and the K-vector space V with an R-module?
https://freedommathdance.blogspot.com/2025/11/the-determinant-of-transvections.html
An Illustrated Introduction to Linear Algebra, Chapter 2: The Dot Product
https://www.ducktyped.org/p/linear-algebra-chapter-2-the-dot
#HackerNews #LinearAlgebra #DotProduct #IllustratedIntroduction #MathEducation #DataScience
#APLQuest 2013-05: Write a function that produces an nรn identity matrix (see https://apl.quest/2013/5/ to test your solution and view ours).
๐IronPill 2๐
In the second of our series of short videos ("ironPills") showcasing ironArray's work, we see how Blosc2 can be used to power heavy-duty linear algebra (100GB!) workflows
โก1.5-2x faster than PyTorch + h5py!
๐งฑ automated chunking optimised for your machine's cache hierarchy
๐ simple one-line syntax ๐๐๐๐๐๐ธ.๐๐๐๐๐๐(๐ฐ, ๐ฑ, ๐๐๐๐๐๐๐='๐๐๐.๐๐ธ๐๐')
See blog here: https://ironarray.io/blog/la-blosc
๐จ๐ค Wow, who knew linear algebra needed pictures to explain something as ancient as Gaussian elimination! Let's solve the great mystery of nickels and pennies with some doodles, 'cause algebra just isn't mathy enough without it! ๐ฐ๐
https://www.ducktyped.org/p/an-illustrated-introduction-to-linear #linearalgebra #gaussianelimination #mathdoodles #visuallearning #education #HackerNews #ngated
An Illustrated Introduction to Linear Algebra
https://www.ducktyped.org/p/an-illustrated-introduction-to-linear
#HackerNews #An #Illustrated #Introduction #to #Linear #Algebra #linearalgebra #illustration #math #education #learning
What is the technical way to say that I flatten a matrix into a vector to do an operation? I am doing this to put some terms in a loss function to regularize a matrix.
I compute the vector 1-norm on the elements of the matrix M.
^^ is this sufficient? Or is there a better way to say it?
#math #mathematics #datascience #data #machinelearning #deeplearning #linearalgebra