<?xml version='1.0' encoding='UTF-8'?><?xml-stylesheet href="http://www.blogger.com/styles/atom.css" type="text/css"?><feed xmlns='http://www.w3.org/2005/Atom' xmlns:openSearch='http://a9.com/-/spec/opensearchrss/1.0/'><id>tag:blogger.com,1999:blog-11295132.post2698212297987135360..comments</id><updated>2011-07-21T06:52:07.903-07:00</updated><category term='category theory'/><category term='lawvere theories'/><category term='astronomy'/><category term='optimisation'/><category term='self-reference'/><category term='comonads'/><category term='haskell'/><category term='programming'/><category term='monad'/><category term='mathematics'/><category term='physics'/><category term='probability'/><category term='types'/><category term='quantum'/><title type='text'>Comments on A Neighborhood of Infinity: An elementary way to approach Fourier transforms</title><link rel='http://schemas.google.com/g/2005#feed' type='application/atom+xml' href='http://blog.sigfpe.com/feeds/2698212297987135360/comments/default'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/2698212297987135360/comments/default'/><link rel='alternate' type='text/html' href='http://blog.sigfpe.com/2011/06/another-elementary-way-to-approach.html'/><author><name>sigfpe</name><uri>http://www.blogger.com/profile/08096190433222340957</uri><email>noreply@blogger.com</email><gd:image xmlns:gd='http://schemas.google.com/g/2005' rel='http://schemas.google.com/g/2005#thumbnail' width='32' height='24' src='http://homepage.mac.com/sigfpe/.Pictures/Photo%20Album%20Pictures/2002-12-07%2014.53.40%20-0800/ImageDSC01397_1.jpg'/></author><generator version='7.00' uri='http://www.blogger.com'>Blogger</generator><openSearch:totalResults>9</openSearch:totalResults><openSearch:startIndex>1</openSearch:startIndex><openSearch:itemsPerPage>25</openSearch:itemsPerPage><entry><id>tag:blogger.com,1999:blog-11295132.post-8559595357603393852</id><published>2011-07-21T06:52:07.903-07:00</published><updated>2011-07-21T06:52:07.903-07:00</updated><title type='text'>@m I sold all my books on Fourier transforms a whi...</title><content type='html'>@m I sold all my books on Fourier transforms a while ago so I&amp;#39;m not sure what books to recommend.&lt;br /&gt;&lt;br /&gt;Many of the elementary books tend to harp on about how the Fourier transform decomposes a signal into frequencies. But this gives no intuition for why the important theorems hold. But a web search on &amp;quot;fourier transform diagonalizes translation&amp;quot; will give you lots of useful hits.&lt;br /&gt;&lt;br /&gt;From a pure mathematical perspective, the DFT is a special (in fact, easy) case of representation theory for finite groups: http://en.wikipedia.org/wiki/Representation_theory_of_finite_groups#Discrete_Fourier_transform</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/2698212297987135360/comments/default/8559595357603393852'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/2698212297987135360/comments/default/8559595357603393852'/><link rel='alternate' type='text/html' href='http://blog.sigfpe.com/2011/06/another-elementary-way-to-approach.html?showComment=1311256327903#c8559595357603393852' title=''/><author><name>sigfpe</name><uri>http://www.blogger.com/profile/08096190433222340957</uri><email>noreply@blogger.com</email><gd:image xmlns:gd='http://schemas.google.com/g/2005' rel='http://schemas.google.com/g/2005#thumbnail' width='32' height='24' src='http://homepage.mac.com/sigfpe/.Pictures/Photo%20Album%20Pictures/2002-12-07%2014.53.40%20-0800/ImageDSC01397_1.jpg'/></author><thr:in-reply-to xmlns:thr='http://purl.org/syndication/thread/1.0' href='http://blog.sigfpe.com/2011/06/another-elementary-way-to-approach.html' ref='tag:blogger.com,1999:blog-11295132.post-2698212297987135360' source='http://www.blogger.com/feeds/11295132/posts/default/2698212297987135360' type='text/html'/><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='blogger.itemClass' value='pid-961546855'/></entry><entry><id>tag:blogger.com,1999:blog-11295132.post-5329091386707297638</id><published>2011-07-21T06:18:22.477-07:00</published><updated>2011-07-21T06:18:22.477-07:00</updated><title type='text'>&amp;quot;Approaching Fourier transforms through the p...</title><content type='html'>&amp;quot;Approaching Fourier transforms through the properties I listed is common in the more advanced mathematical literature.&amp;quot; Could you provide some references? Any favorite textbook using this kind of approach?</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/2698212297987135360/comments/default/5329091386707297638'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/2698212297987135360/comments/default/5329091386707297638'/><link rel='alternate' type='text/html' href='http://blog.sigfpe.com/2011/06/another-elementary-way-to-approach.html?showComment=1311254302477#c5329091386707297638' title=''/><author><name>m</name><uri>http://www.blogger.com/profile/06076269543269046558</uri><email>noreply@blogger.com</email><gd:image xmlns:gd='http://schemas.google.com/g/2005' rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='http://img2.blogblog.com/img/b16-rounded.gif'/></author><thr:in-reply-to xmlns:thr='http://purl.org/syndication/thread/1.0' href='http://blog.sigfpe.com/2011/06/another-elementary-way-to-approach.html' ref='tag:blogger.com,1999:blog-11295132.post-2698212297987135360' source='http://www.blogger.com/feeds/11295132/posts/default/2698212297987135360' type='text/html'/><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='blogger.itemClass' value='pid-511401015'/></entry><entry><id>tag:blogger.com,1999:blog-11295132.post-8298380187430754868</id><published>2011-07-05T08:32:53.659-07:00</published><updated>2011-07-05T08:32:53.659-07:00</updated><title type='text'>I&amp;#39;m confused by the use of the word &amp;quot;cons...</title><content type='html'>I&amp;#39;m confused by the use of the word &amp;quot;constant&amp;quot; in this discussion. I didn&amp;#39;t use the word constant and at no point did I talk about images that have the same value for each pixel.&lt;br /&gt;&lt;br /&gt;BTW A shift is convolution with an image that has *one* non-zero pixel, not an image with a row of non-zero pixels. The two coordinates of the pixel give the amount of shift along the two different axes.&lt;br /&gt;&lt;br /&gt;A and B aren&amp;#39;t constant images in the sense you describe. They&amp;#39;re just images. You can see what they are because I give code to compute them (in two different ways). You use Octave to examine them and see they don&amp;#39;t have the same value for each pixel. Given any choice of Fourier transform (eg. Octave&amp;#39;s fft2 function) there is a pair of images, A and B, that have the property I give.&lt;br /&gt;&lt;br /&gt;Once I figure out what the confusion is here I&amp;#39;ll try to go back and edit the original text to try to avoid it in future.</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/2698212297987135360/comments/default/8298380187430754868'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/2698212297987135360/comments/default/8298380187430754868'/><link rel='alternate' type='text/html' href='http://blog.sigfpe.com/2011/06/another-elementary-way-to-approach.html?showComment=1309879973659#c8298380187430754868' title=''/><author><name>sigfpe</name><uri>http://www.blogger.com/profile/08096190433222340957</uri><email>noreply@blogger.com</email><gd:image xmlns:gd='http://schemas.google.com/g/2005' rel='http://schemas.google.com/g/2005#thumbnail' width='32' height='24' src='http://homepage.mac.com/sigfpe/.Pictures/Photo%20Album%20Pictures/2002-12-07%2014.53.40%20-0800/ImageDSC01397_1.jpg'/></author><thr:in-reply-to xmlns:thr='http://purl.org/syndication/thread/1.0' href='http://blog.sigfpe.com/2011/06/another-elementary-way-to-approach.html' ref='tag:blogger.com,1999:blog-11295132.post-2698212297987135360' source='http://www.blogger.com/feeds/11295132/posts/default/2698212297987135360' type='text/html'/><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='blogger.itemClass' value='pid-961546855'/></entry><entry><id>tag:blogger.com,1999:blog-11295132.post-7810699432222100642</id><published>2011-07-05T08:20:11.961-07:00</published><updated>2011-07-05T08:20:11.961-07:00</updated><title type='text'>By a &amp;quot;constant,&amp;quot; here, I mean an array t...</title><content type='html'>By a &amp;quot;constant,&amp;quot; here, I mean an array that has the same value in all its slots. The transform of an array that has all ones in a single row or a single column and zeros is not, in general, a constant. For example, in 1 dimension, Fourier of {1,0,0,0} is {.5,.5,.5,.5}, a constant, but Fourier of {0,1,0,0} is {.5,.5i,-.5,-.5i}, not a constant. So I&amp;#39;m confused about the transform of a shift, which is convolution with {0,1,0,0} or {0,0,1,0}, etc., being the product of a constant with the transform of the original image.</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/2698212297987135360/comments/default/7810699432222100642'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/2698212297987135360/comments/default/7810699432222100642'/><link rel='alternate' type='text/html' href='http://blog.sigfpe.com/2011/06/another-elementary-way-to-approach.html?showComment=1309879211961#c7810699432222100642' title=''/><author><name>A Breaking Change</name><uri>http://www.blogger.com/profile/00115031720080635093</uri><email>noreply@blogger.com</email><gd:image xmlns:gd='http://schemas.google.com/g/2005' rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='http://img2.blogblog.com/img/b16-rounded.gif'/></author><thr:in-reply-to xmlns:thr='http://purl.org/syndication/thread/1.0' href='http://blog.sigfpe.com/2011/06/another-elementary-way-to-approach.html' ref='tag:blogger.com,1999:blog-11295132.post-2698212297987135360' source='http://www.blogger.com/feeds/11295132/posts/default/2698212297987135360' type='text/html'/><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='blogger.itemClass' value='pid-1564917493'/></entry><entry><id>tag:blogger.com,1999:blog-11295132.post-266222299994398596</id><published>2011-07-04T22:34:37.052-07:00</published><updated>2011-07-04T22:34:37.052-07:00</updated><title type='text'>@A Breaking Change: The transform of a constant is...</title><content type='html'>@A Breaking Change: The transform of a constant is obviously a constant. Why do you say &amp;quot;but it&amp;#39;s not&amp;quot;? What definition of &amp;quot;constant&amp;quot; are you using?&lt;br /&gt;&lt;br /&gt;(&amp;quot;Constant&amp;quot; here is the opposite of &amp;quot;variable&amp;quot;. It doesn&amp;#39;t mean a scalar, nor has sigfpe claimed that it&amp;#39;s the &lt;i&gt;same&lt;/i&gt; constant for every shift.)</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/2698212297987135360/comments/default/266222299994398596'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/2698212297987135360/comments/default/266222299994398596'/><link rel='alternate' type='text/html' href='http://blog.sigfpe.com/2011/06/another-elementary-way-to-approach.html?showComment=1309844077052#c266222299994398596' title=''/><author><name>displayname</name><uri>http://www.blogger.com/profile/09068351772472305473</uri><email>noreply@blogger.com</email><gd:image xmlns:gd='http://schemas.google.com/g/2005' rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='http://img2.blogblog.com/img/b16-rounded.gif'/></author><thr:in-reply-to xmlns:thr='http://purl.org/syndication/thread/1.0' href='http://blog.sigfpe.com/2011/06/another-elementary-way-to-approach.html' ref='tag:blogger.com,1999:blog-11295132.post-2698212297987135360' source='http://www.blogger.com/feeds/11295132/posts/default/2698212297987135360' type='text/html'/><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='blogger.itemClass' value='pid-990330490'/></entry><entry><id>tag:blogger.com,1999:blog-11295132.post-7474448025660690456</id><published>2011-06-27T19:36:56.929-07:00</published><updated>2011-06-27T19:36:56.929-07:00</updated><title type='text'>I got really excited for &amp;quot;an elementary appro...</title><content type='html'>I got really excited for &amp;quot;an elementary approach to Fourier transforms&amp;quot;. And then I got really confused, really quickly.&lt;br /&gt;&lt;br /&gt;Seriously... what?&lt;br /&gt;&lt;br /&gt;Can someone please explain this explanation?</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/2698212297987135360/comments/default/7474448025660690456'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/2698212297987135360/comments/default/7474448025660690456'/><link rel='alternate' type='text/html' href='http://blog.sigfpe.com/2011/06/another-elementary-way-to-approach.html?showComment=1309228616929#c7474448025660690456' title=''/><author><name>Anonymous</name><email>noreply@blogger.com</email><gd:image xmlns:gd='http://schemas.google.com/g/2005' rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='http://img1.blogblog.com/img/blank.gif'/></author><thr:in-reply-to xmlns:thr='http://purl.org/syndication/thread/1.0' href='http://blog.sigfpe.com/2011/06/another-elementary-way-to-approach.html' ref='tag:blogger.com,1999:blog-11295132.post-2698212297987135360' source='http://www.blogger.com/feeds/11295132/posts/default/2698212297987135360' type='text/html'/><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='blogger.itemClass' value='pid-1157059339'/></entry><entry><id>tag:blogger.com,1999:blog-11295132.post-3663416017969439536</id><published>2011-06-27T07:05:00.715-07:00</published><updated>2011-06-27T07:05:00.715-07:00</updated><title type='text'>Something seems fishy, here.

The convolution theo...</title><content type='html'>Something seems fishy, here.&lt;br /&gt;&lt;br /&gt;The convolution theorem is that the transform of a convolution is the (pointwise) product of the transforms.&lt;br /&gt;&lt;br /&gt;I think a shift is convolution of image A with a special image B that has all ones in a single row (or column).&lt;br /&gt;&lt;br /&gt;Apply convolution theorem: transform of a shift is Transform(A) .* Transform(B that has all ones in a single row [or column]). If that&amp;#39;s a constant .* Transform(A) (as in your axiom #2) then Transform(B that has all ones in a single row [or column]) should be a constant, but it&amp;#39;s not.&lt;br /&gt;&lt;br /&gt;Where am I going wrong?</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/2698212297987135360/comments/default/3663416017969439536'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/2698212297987135360/comments/default/3663416017969439536'/><link rel='alternate' type='text/html' href='http://blog.sigfpe.com/2011/06/another-elementary-way-to-approach.html?showComment=1309183500715#c3663416017969439536' title=''/><author><name>A Breaking Change</name><uri>http://www.blogger.com/profile/00115031720080635093</uri><email>noreply@blogger.com</email><gd:image xmlns:gd='http://schemas.google.com/g/2005' rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='http://img2.blogblog.com/img/b16-rounded.gif'/></author><thr:in-reply-to xmlns:thr='http://purl.org/syndication/thread/1.0' href='http://blog.sigfpe.com/2011/06/another-elementary-way-to-approach.html' ref='tag:blogger.com,1999:blog-11295132.post-2698212297987135360' source='http://www.blogger.com/feeds/11295132/posts/default/2698212297987135360' type='text/html'/><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='blogger.itemClass' value='pid-1564917493'/></entry><entry><id>tag:blogger.com,1999:blog-11295132.post-8684629725136610770</id><published>2011-06-27T05:04:55.597-07:00</published><updated>2011-06-27T05:04:55.597-07:00</updated><title type='text'>@Anonymous: The post is written in &amp;quot;literate ...</title><content type='html'>@Anonymous: The post is written in &amp;quot;literate Octave&amp;quot;, which means you&amp;#39;re supposed to have Octave/Matlab and actually run the code as you read. You&amp;#39;ll see the image if you do.</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/2698212297987135360/comments/default/8684629725136610770'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/2698212297987135360/comments/default/8684629725136610770'/><link rel='alternate' type='text/html' href='http://blog.sigfpe.com/2011/06/another-elementary-way-to-approach.html?showComment=1309176295597#c8684629725136610770' title=''/><author><name>displayname</name><uri>http://www.blogger.com/profile/09068351772472305473</uri><email>noreply@blogger.com</email><gd:image xmlns:gd='http://schemas.google.com/g/2005' rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='http://img2.blogblog.com/img/b16-rounded.gif'/></author><thr:in-reply-to xmlns:thr='http://purl.org/syndication/thread/1.0' href='http://blog.sigfpe.com/2011/06/another-elementary-way-to-approach.html' ref='tag:blogger.com,1999:blog-11295132.post-2698212297987135360' source='http://www.blogger.com/feeds/11295132/posts/default/2698212297987135360' type='text/html'/><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='blogger.itemClass' value='pid-990330490'/></entry><entry><id>tag:blogger.com,1999:blog-11295132.post-5937087010827825193</id><published>2011-06-26T01:59:46.193-07:00</published><updated>2011-06-26T01:59:46.193-07:00</updated><title type='text'>So what does the test image look like with bokeh a...</title><content type='html'>So what does the test image look like with bokeh applied?</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/2698212297987135360/comments/default/5937087010827825193'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/2698212297987135360/comments/default/5937087010827825193'/><link rel='alternate' type='text/html' href='http://blog.sigfpe.com/2011/06/another-elementary-way-to-approach.html?showComment=1309078786193#c5937087010827825193' title=''/><author><name>Anonymous</name><email>noreply@blogger.com</email><gd:image xmlns:gd='http://schemas.google.com/g/2005' rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='http://img1.blogblog.com/img/blank.gif'/></author><thr:in-reply-to xmlns:thr='http://purl.org/syndication/thread/1.0' href='http://blog.sigfpe.com/2011/06/another-elementary-way-to-approach.html' ref='tag:blogger.com,1999:blog-11295132.post-2698212297987135360' source='http://www.blogger.com/feeds/11295132/posts/default/2698212297987135360' type='text/html'/><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='blogger.itemClass' value='pid-2136419302'/></entry></feed>
