{"id":4911,"date":"2021-10-23T07:03:40","date_gmt":"2021-10-23T11:03:40","guid":{"rendered":"https:\/\/blogs.mathworks.com\/loren\/?p=4911"},"modified":"2021-10-28T13:45:43","modified_gmt":"2021-10-28T17:45:43","slug":"symmetry-tessellations-golden-mean-17-and-patterns-2","status":"publish","type":"post","link":"https:\/\/blogs.mathworks.com\/loren\/2021\/10\/23\/symmetry-tessellations-golden-mean-17-and-patterns-2\/","title":{"rendered":"Symmetry, tessellations, golden mean, 17, and patterns"},"content":{"rendered":"
Seventeen? Why 17? Well, as a high school student, I attended <\/span>HCSSIM<\/span><\/a>, a summer program for students interested in math. There we learned all kinds of math you don't typically learn about until much later in your studies. One of the reference books was <\/span>Calculus on Manifolds<\/span><\/a> by Michael Spivak. Inside, you learn some of the mysteries of algebra, and, if you read carefully, you will find references to both yellow pigs and the number 17. I leave it as a challenge to you to learn more about either or both if you are interested.<\/span><\/div>
\"\"<\/img><\/div>
As I went to college, the number 17 was a part of my life. Looking through the course catalogue before my first semester, I saw an offering something like \"<\/span>the seventeen regular tilings of the plane<\/span><\/a>\", and I signed up. And isn't cool that all of these patterns are displayed in tiles within the Alhambra! I leave you to search the many sites with pictures and drawings of these.<\/span><\/div>
I enjoy the <\/span>artwork of Rafael Araujo<\/span><\/a>. If you have watched <\/span>any webinars<\/span><\/a> I have delivered during 2020-2021, you may notice a piece of Araujo's hanging in the background. The basis for much of his work is the <\/span>golden mean<\/span><\/a> (or golden ratio). <\/span>Here<\/span><\/a>'s a place where you can explore the influence of math on art. <\/span><\/div>

So what is the golden mean?<\/span><\/h2>
It's defined as the solution to <\/span><\/div>
<\/span><\/div>
And the value, typically denoted by the Greek letter<\/span><\/div>
\u03d5<\/mi>\u2009<\/mtext>=<\/mo>1<\/mn>+<\/mo>5<\/mn><\/mrow><\/msqrt><\/mrow>2<\/mn><\/mrow><\/mfrac>\u2009<\/mtext><\/mrow><\/math><\/span><\/div>
or approximately <\/span><\/div>
phi = (1+sqrt(5))\/2<\/span><\/span><\/div>
phi = 1.6180<\/div><\/div><\/div><\/div>
And there are claims that this ratio is universally(?) pleasing. You can see approximations to it show up in everyday life. In the US, we use note cards that are 5x3\".<\/span><\/div>
ratio5to3 = 5\/3<\/span><\/span><\/div>
ratio5to3 = 1.6667<\/div><\/div><\/div><\/div>
So, close.<\/span><\/div>
plot(0:(5\/3):5,0:3,<\/span>'.'<\/span>)<\/span><\/span><\/div><\/div>
title(<\/span>\"Not quite the golden ratio: \" <\/span>+ ratio5to3)<\/span><\/span><\/div><\/div>
axis <\/span>equal<\/span><\/span><\/div><\/div>
axis <\/span>tight<\/span><\/span><\/div>
<\/div><\/div><\/div><\/div><\/div>
I have written several blogs that show ways to <\/span>compute Fibonacci number<\/span><\/a>s, also related to the golden mean. Why? Because ratios of successive Fibonacci numbers converge to the golden mean<\/span><\/div>
lim<\/mi><\/mrow>n<\/mi>\u2192<\/mo>\u221e<\/mo><\/mrow><\/munder>F<\/mi><\/mrow>n<\/mi>+<\/mo>1<\/mn><\/mrow><\/msub><\/mrow>F<\/mi><\/mrow>n<\/mi><\/mrow><\/msub><\/mrow><\/mfrac><\/mrow><\/mrow>=<\/mo>\u03d5<\/mi>\u2009<\/mtext><\/mrow><\/math><\/span><\/div>

History<\/span><\/h2>
In the 1990s, we held several MATLAB User Conferences. In 1997, I gave a talk on Programming Patterns in MATLAB. I had 17 of them available, but time to only discuss 6 of them. The regular tilings of the plane seemed like a cool way to categorize and clump together some of programming patterns I wanted to talk about. I thought it would be interesting to revisit many of these and see how well they held up over time. So that's my plan for some of the upcoming posts though I feel no compulsion to do all of them or in the order they showed up in my original talk.<\/span><\/div>

First pattern - data duplication in service of mathematical operations<\/span><\/h2>
Steve Eddins<\/span><\/a> wrote two posts on this topic in 2016: <\/span>one<\/span><\/a> and <\/span>two<\/span><\/a>. And I wrote one as well, on <\/span>performance implications<\/span><\/a>.<\/span><\/div>

Part 1<\/span><\/h3>
When I first started at MathWorks (1987), MATLAB had only double matrices and no other data types or dimensions. If I wanted to remove the mean of each column of data in a matrix, I would do something like this.<\/span><\/div>
A(4,4) = 0;<\/span><\/span><\/div><\/div>
A(:) = randperm(16)<\/span><\/span><\/div>
A = <\/span>4\u00d74<\/span><\/div><\/div>
7 3 11 1\r\n 6 10 5 13\r\n 12 8 4 2\r\n 14 15 16 9\r\n<\/div>
<\/div>
<\/div><\/div><\/div><\/div><\/div><\/div><\/div>
Here I'll calculate the mean of each column.<\/span><\/div>
meanAc = mean(A)<\/span><\/span><\/div>
meanAc = <\/span>1\u00d74<\/span><\/div><\/div>
9.7500 9.0000 9.0000 6.2500\r\n<\/div>
<\/div>
<\/div><\/div><\/div><\/div><\/div><\/div><\/div>
and then I needed to create an array from <\/span>meanAc<\/span> that was the same size as <\/span>A<\/span> in order to subtract the means. Originally, we did this by matrix multiplication.<\/span><\/div>
Ameans1 = ones(4,1)*meanAc<\/span><\/span><\/div>
Ameans1 = <\/span>4\u00d74<\/span><\/div><\/div>
9.7500 9.0000 9.0000 6.2500\r\n 9.7500 9.0000 9.0000 6.2500\r\n 9.7500 9.0000 9.0000 6.2500\r\n 9.7500 9.0000 9.0000 6.2500\r\n<\/div>
<\/div>
<\/div><\/div><\/div><\/div><\/div><\/div><\/div>
And now I can do the subtraction.<\/span><\/div>
Ameanless1 = A-Ameans1<\/span><\/span><\/div>
Ameanless1 = <\/span>4\u00d74<\/span><\/div><\/div>
-2.7500 -6.0000 2.0000 -5.2500\r\n -3.7500 1.0000 -4.0000 6.7500\r\n 2.2500 -1.0000 -5.0000 -4.2500\r\n 4.2500 6.0000 7.0000 2.7500\r\n<\/div>
<\/div>
<\/div><\/div><\/div><\/div><\/div><\/div><\/div>
I then met a customer at my first ICASSP conference (in Phoenix, AZ), Tony, and he asked why I was not using indexing instead - because I never thought about it! This is cool because I didn't need to do arithmetic to get my expanded mean matrix.<\/span><\/div>
Ameans2 = meanAc(ones(1,4),:)<\/span><\/span><\/div>
Ameans2 = <\/span>4\u00d74<\/span><\/div><\/div>
9.7500 9.0000 9.0000 6.2500\r\n 9.7500 9.0000 9.0000 6.2500\r\n 9.7500 9.0000 9.0000 6.2500\r\n 9.7500 9.0000 9.0000 6.2500\r\n<\/div>
<\/div>
<\/div><\/div><\/div><\/div><\/div><\/div>
isequal(Ameans1, Ameans2)<\/span><\/span><\/div>
ans = logical<\/span><\/span>\r\n 1<\/div><\/div><\/div><\/div><\/div><\/div>
That was all well and good - but potentially not so easy to remember each time you might need it. <\/span><\/div>

Part 2<\/span><\/h3>
In 1996, we had heard plenty from customers that we were making something simple a little too difficult. And, we were very close to introducing ND arrays, where we wanted to be able to do similar operations in any chosen dimension(s). So we introduced a new function, <\/span>repmat<\/span>.<\/span><\/div>
Now I can find the matrix mean with easier to read code, in my opinion.<\/span><\/div>
Ameanlessr = A - repmat(mean(A),[4,1])<\/span><\/span><\/div>
Ameanlessr = <\/span>4\u00d74<\/span><\/div><\/div>
-2.7500 -6.0000 2.0000 -5.2500\r\n -3.7500 1.0000 -4.0000 6.7500\r\n 2.2500 -1.0000 -5.0000 -4.2500\r\n 4.2500 6.0000 7.0000 2.7500\r\n<\/div>
<\/div>
<\/div><\/div><\/div><\/div><\/div><\/div>
isequal(Ameanless1, Ameanlessr)<\/span><\/span><\/div>
ans = logical<\/span><\/span>\r\n 1<\/div><\/div><\/div><\/div><\/div><\/div>

Part 3<\/span><\/h3>
By 2006, we had a lot of evidence that handling really large data was important for many of our customers, and likely to be an increasing demand. Up until then, we always created an intermediate matrix the same size as our original one, <\/span>A<\/span>, in order to calculate the result. But this wasn't strictly necessary -- we just need some syntax -- a way to express that all the rows (or columns) would be the same. Now, of course we need a matrix the same size as <\/span>A<\/span> for the answer. But how many more arrays of that size did we need along the way? Along came the function, gloriously named <\/span>bsxfun <\/span>(standing for binary singleton expansion), and we could perform the computation without fully forming the <\/span>mxn <\/span>matrix to subtract from the original.<\/span><\/div>
Ameanlessb = bsxfun(@minus, A, mean(A))<\/span><\/span><\/div>
Ameanlessb = <\/span>4\u00d74<\/span><\/div><\/div>
-2.7500 -6.0000 2.0000 -5.2500\r\n -3.7500 1.0000 -4.0000 6.7500\r\n 2.2500 -1.0000 -5.0000 -4.2500\r\n 4.2500 6.0000 7.0000 2.7500\r\n<\/div>
<\/div>
<\/div><\/div><\/div><\/div><\/div><\/div>
isequal(Ameanless1, Ameanlessb)<\/span><\/span><\/div>
ans = logical<\/span><\/span>\r\n 1<\/div><\/div><\/div><\/div><\/div><\/div>

Part 4<\/span><\/h3>
Finally, in 2016, we decided that the meaning was clear even if it wasn't strictly linear algebra, and we now allow many operations to take advantage of implicit expansion of singleton dimensions. What this means for us with this problem is now we can simply say<\/span><\/div>
Ameanless2016 = A - mean(A)<\/span><\/span><\/div>
Ameanless2016 = <\/span>4\u00d74<\/span><\/div><\/div>
-2.7500 -6.0000 2.0000 -5.2500\r\n -3.7500 1.0000 -4.0000 6.7500\r\n 2.2500 -1.0000 -5.0000 -4.2500\r\n 4.2500 6.0000 7.0000 2.7500\r\n<\/div>
<\/div>
<\/div><\/div><\/div><\/div><\/div><\/div>
isequal(Ameanless1, Ameanless2016)<\/span><\/span><\/div>
ans = logical<\/span><\/span>\r\n 1<\/div><\/div><\/div><\/div><\/div><\/div>

Conclusion<\/span><\/h2>
I do not expect a Part 5 to come along in 2026, though of course I could be wrong!<\/span><\/div>
Did any of you attend the conferences in 1993, 1995, and 1997? Share your memories <\/span>here<\/span><\/a>!<\/span><\/div>
<\/span><\/div>
Copyright 2021 The MathWorks, Inc.<\/span><\/div>\r\n