Math and Movies (Animation at Pixar)
youtube.com
youtube.com
DeRose doesn't say so explicitly, but the reason is that the position of any given point on the infinitely subdivided surface is only determined by the positions of a handful of points in the control mesh. That's why, for example, the derivation for the final position of B given at the end of the video only depends on its neighbors A and C, and not any other points.
Thus, if you want more control over a portion of a subdivision surface, you can just use a denser control mesh in that portion of the model. You can create arbitrarily hard edges by moving control vertices closer together. At a microscopic scale, the edge is still smooth and blobby, but it looks sharp at a distance.
You can also make creases in subdivision surfaces by using different subdivision weights over the surface of the model, which may be what DeRose is getting at when he answers with "magic numbers". But it's my understanding that most modern CG is done using subdivision with the standard Catmull-Clark weights over the entire model, instead relying on the density of the input mesh to specify detail.
[1/2, 1/2, 0 ] [A^n] [A^n+1]
[1/8, 3/4, 1/8] [B^n] = [B^n+1]
[0, 1/2, 1/2] [C^n] [C^n+1]
\_____ _____/
M
And the question is, given [A^0,B^0,C^0], find [A^∞,B^∞,C^∞], which is equivalent to computing the infinite power of M. Waaaat? Enter the eigendecomposition.The eigenvalues of M are 1/4, 1/2, and 1. If you compute M^∞, the 1/4 and 1/2 "eigenspaces" will disappear, so you're left with the subspace of the eigenvalue 1. http://bit.ly/eigenex001 M^∞ = QL^∞Q.inv(), hence the [1,4,1] appears... very cool.
Sometimes procrastinating by reading HN actually helps with your work---today I'm working on problem sets for book 2 http://gum.co/noBSLA