Thinking outside the 10-dimensional box
3Blue1Brown6 HN recommenders · recommended in 6 months, 2017-2025
3.2M views · 9 years ago · explainer · evergreen
3Blue1Brown visualizes high-dimensional spheres to explain a surprising puzzle about how a sphere fits in a box as dimensions grow. It builds geometric intuition for counterintuitive properties of high-dimensional space.
HN recommends it as the go-to intuitive visualization of high-dimensional geometry, relevant to machine learning, optimization and sphere packing.
31:51Visualizing the 4d numbers Quaternions
3Blue1Brown
5.6M views • 8 years ago
10:33Strange Spheres in Higher Dimensions - Numberphile
Numberphile
767K views • 9 years ago
50:27Hamming, "n-Dimensional Space" (April 14, 1995)
securitylectures
14K views • 14 years ago
32:11Darts in Higher Dimensions (with 3blue1brown) - Numberphile
Numberphile
2.1M views • 6 years ago
5:09Essence of linear algebra preview
3Blue1Brown
2.8M views • 10 years ago
9:52Vectors | Chapter 1, Essence of linear algebra
3Blue1Brown
13M views • 10 years ago
1:01:40Four Dimensional Maths: Things to See and Hear in the Fourth Dimension - with Matt Parker
The Royal Institution
3.1M views • 11 years ago
11:15The hardest problem on the hardest test
3Blue1Brown
16.5M views • 8 years ago
10:03The determinant | Chapter 6, Essence of linear algebra
3Blue1Brown
5M views • 10 years ago
18:18Hilbert's Curve: Is infinite math useful?
3Blue1Brown
2.4M views • 9 years ago
21:25Outside In
ssgelm
11.7M views • 15 years ago
4:01Spherical Geometry Is Stranger Than Hyperbolic - Hyperbolica Devlog #2
CodeParade
1.8M views • 6 years ago
15:11Bayes theorem, the geometry of changing beliefs
3Blue1Brown
6M views • 6 years ago
17:05The essence of calculus
3Blue1Brown
11.9M views • 9 years ago
30:55[JSConfUS 2013] Steven Wittens: Making WebGL Dance
JSConf
56K views • 13 years ago
22:11But what is the Riemann zeta function? Visualizing analytic continuation
3Blue1Brown
5.4M views • 9 years ago
44:23A Swift Introduction to Geometric Algebra
sudgylacmoe
1.1M views • 6 years ago
57:03HACKENBUSH: a window to a new world of math
Owen Maitzen
562K views • 5 years ago
17:16Eigenvectors and eigenvalues | Chapter 14, Essence of linear algebra
3Blue1Brown
6.4M views • 10 years ago
1:11:48Math Encounters -- Five Balls, Two Hands: The Patterns of Juggling -- Colin Wright (Presentation)
National Museum of Mathematics
33K views • 14 years ago
9 comments from Hacker News
There's a great 3blue1brown video that demonstrates this unintuitive result in a relatively intuitive way: ▶ this video
Three Blue, One Brown has a decent video which perhaps helps get a handle on how one can use higher-dimensional spaces, without needing to wrap you head around trying to envision a four-dimensional cube, or similar. ▶ this video
Not an expert in this field, but I'm guessing this is related to unintuitive nature of geometry in high-dimensional spaces. One rough example I can think of is the fact that the number of ways to move away from the origin increases exponentially (or even faster?) as the dimensionality goes up. There is _way_ more volume away from the origin than near it, I've seen this explained as something like "most of the volume of a high-dimensional orange is in the peel". One result of this is the fact that samples of a standard gaussian end up forming a "shell" as opposed to a "ball" that you would expect (this phenomenon is called the concentration of measure in general). Also, very roughly, high-dimensional objects have lots of corners, and these corners are also very sharp. I would guess that gradient descent would get stuck in these corners and have a hard time getting out. Some links related to this: - Spikey Spheres: link - Thinking outside the 10-dimensional box - 3blue1brown: ▶ this video - This is a fairly long talk about HMC, but it does talk about some problems that come up when sampling high-dimensional distributions: link
As you increase the dimensionality of a sphere, an ever-increasing proportion of the sphere is within epsilon of the surface. This 3Blue1Brown video addresses enough related stuff that the rest should become reasonably comprehensible: ▶ this video This particular result is tossed in as a side note around 23:25, so it's not addressed directly, but it'll help.
Yeah, I see now. “times i” is discrete 90 degree rotation itself, not just ‘i’, nor ‘b’. Thanks everyone for making that clear. This though shows that explanations via analogies or non-strict wording may confuse one rather than enlighten. I’m not good at math, but once understood to not search analogies or geometry in things. Instead it is better to “shut up and calculate”. Not sure if imagining something is required to manage it. It’s only our brain’s faulty quirk. ▶ this video
Don't forget 3Blue1Brown's incredible video about visualizing higher dimensions[1]. He's getting to xkcd levels of "Of course there's a relevant video" [1]: ▶ this video
Great article! I've been thinking about this on and off recently, as I wonder if we might be having intuitive issues when it comes to gradient descent optimization. 3 Blue,1 Brown had a video recently that kicked off my head scratching and is a great complement to your article: ▶ this video
I would reiterate that simply because there are problems with naive visualization, we shouldn't discredit visual thinking. There are several key elements to effective visual thinking. The primary importance is to keep it grounded in proofs and theorems, so you know exactly what are your limitations. Often you can use a geometric argument on top of a few theorems and you get a very strong result intuitively, and then use this intuition with a tiny amount of algebra to prove it (which might take you forever to arrive from a purely algebraic perspective). Another key is that there are several ways of visualizing things. You can almost always transform a problem into an equivalent one that is easy to visualize (just need a little bit of care with the transformation, etc). --- For example, you can show functions form a vector space, visualizing some interesting algebraic properties about them, even if it constitutes an infinite-dimensional space. You can show several operators (such as d/dx) are linear, you can give it a norm, internal product, etc. This trick lets you use visual tools (and linear algebra tools) with arbitrary functions. You can visualize projection of a function into a subspace, or into some non-canonical basis -- yielding useful applications -- such as Fourier analysis. Fourier analysis itself is a fertile ground for visual thinking. You'll be finding trivial arguments for seemingly difficult decisions such as "Does this linear system have a bounded output for a
A trick for visualizing higher dimensions: ▶ this video Only 383k subscribers. Hmm. Remember to subscribe, comment, and smash that like button. Real Engineering is another great channel. And of course Veritasium and Numberphile.