<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:wfw="http://wellformedweb.org/CommentAPI/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
	xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
	xmlns:georss="http://www.georss.org/georss" xmlns:geo="http://www.w3.org/2003/01/geo/wgs84_pos#" xmlns:media="http://search.yahoo.com/mrss/"
	>

<channel>
	<title>mathematical musings</title>
	<atom:link href="http://matthewkahle.wordpress.com/feed/" rel="self" type="application/rss+xml" />
	<link>http://matthewkahle.wordpress.com</link>
	<description></description>
	<lastBuildDate>Tue, 19 Mar 2013 05:13:13 +0000</lastBuildDate>
	<language>en</language>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
	<generator>http://wordpress.com/</generator>
<cloud domain='matthewkahle.wordpress.com' port='80' path='/?rsscloud=notify' registerProcedure='' protocol='http-post' />
<image>
		<url>http://s2.wp.com/i/buttonw-com.png</url>
		<title>mathematical musings</title>
		<link>http://matthewkahle.wordpress.com</link>
	</image>
	<atom:link rel="search" type="application/opensearchdescription+xml" href="http://matthewkahle.wordpress.com/osd.xml" title="mathematical musings" />
	<atom:link rel='hub' href='http://matthewkahle.wordpress.com/?pushpress=hub'/>
		<item>
		<title>Over the top</title>
		<link>http://matthewkahle.wordpress.com/2013/03/18/over-the-top/</link>
		<comments>http://matthewkahle.wordpress.com/2013/03/18/over-the-top/#comments</comments>
		<pubDate>Tue, 19 Mar 2013 05:07:44 +0000</pubDate>
		<dc:creator>matthewkahle</dc:creator>
				<category><![CDATA[art]]></category>
		<category><![CDATA[puzzles]]></category>
		<category><![CDATA[head exploded]]></category>
		<category><![CDATA[Oskar van Deventer]]></category>
		<category><![CDATA[sporadic simple groups]]></category>

		<guid isPermaLink="false">http://matthewkahle.wordpress.com/?p=594</guid>
		<description><![CDATA[I was having fun browsing the 3D Printing marketplace Shapeways, and then I stumbled across this Rubik&#8217;s Cube by Oskar van Deventer and my brain exploded a little bit. Van Deventer has designed an impressive collection of cube-like puzzles which can only be made by 3D printing. I have an older puzzle by him called [...]<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=matthewkahle.wordpress.com&#038;blog=8318200&#038;post=594&#038;subd=matthewkahle&#038;ref=&#038;feed=1" width="1" height="1" />]]></description>
				<content:encoded><![CDATA[<p>I was having fun browsing the <a href="http://www.shapeways.com/">3D Printing marketplace Shapeways</a>, and then I stumbled across this <img src='http://s0.wp.com/latex.php?latex=17+%5Ctimes+17+%5Ctimes+17&amp;bg=eeeae8&amp;fg=4a4a49&amp;s=0' alt='17 &#92;times 17 &#92;times 17' title='17 &#92;times 17 &#92;times 17' class='latex' />  <a href="http://www.shapeways.com/model/64058/over-the-top-17x17x17-read-instructions.html?li=productBox-search">Rubik&#8217;s Cube by Oskar van Deventer</a> and my brain exploded a little bit.</p>
<p><a href="http://matthewkahle.files.wordpress.com/2013/03/over.jpg"><img src="http://matthewkahle.files.wordpress.com/2013/03/over.jpg?w=300&#038;h=222" alt="over" width="300" height="222" class="aligncenter size-medium wp-image-595" /></a></p>
<p>Van Deventer has designed an <a href="http://www.shapeways.com/shops/oskarpuzzles">impressive collection of cube-like puzzles</a> which can only be made by 3D printing.</p>
<p>I have an <a href="https://www.youtube.com/watch?v=H8ZcYvU0sLY">older puzzle by him called Topsy Turvy </a> mounted on the wall in my office.  This one isn&#8217;t 3D printed, but it requires lasers to carefully etch the paths so that the numbered coins can stack perfectly until the very end, and then cascade to make a particular permutation.  To me it is not interesting as a puzzle at all (and frankly neither is the <img src='http://s0.wp.com/latex.php?latex=17%5E3&amp;bg=eeeae8&amp;fg=4a4a49&amp;s=0' alt='17^3' title='17^3' class='latex' /> cube), but I like Topsy Turvy as mathematical art, and especially as a &#8220;faithful embedding&#8221; of the Mathieu group M12 in physical space.</p>
<br />  <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=matthewkahle.wordpress.com&#038;blog=8318200&#038;post=594&#038;subd=matthewkahle&#038;ref=&#038;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://matthewkahle.wordpress.com/2013/03/18/over-the-top/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
	
		<media:content url="http://0.gravatar.com/avatar/3be06f173159fce8f81897ce6c0c5a34?s=96&#38;d=identicon&#38;r=G" medium="image">
			<media:title type="html">matthewkahle</media:title>
		</media:content>

		<media:content url="http://matthewkahle.files.wordpress.com/2013/03/over.jpg?w=300" medium="image">
			<media:title type="html">over</media:title>
		</media:content>
	</item>
		<item>
		<title>Increasing public access to federally funded research</title>
		<link>http://matthewkahle.wordpress.com/2013/02/23/increasing-public-access-to-federally-funded-research/</link>
		<comments>http://matthewkahle.wordpress.com/2013/02/23/increasing-public-access-to-federally-funded-research/#comments</comments>
		<pubDate>Sat, 23 Feb 2013 14:59:48 +0000</pubDate>
		<dc:creator>matthewkahle</dc:creator>
				<category><![CDATA[news]]></category>

		<guid isPermaLink="false">http://matthewkahle.wordpress.com/?p=591</guid>
		<description><![CDATA[65,000 people signed a petition to increase public access to the results of federally funded research, and the White House agreed with them. A memorandum has been issued telling alL the major federal agencies to make plans for making publicly funded research freely available on the internet within 12 months of publication. This seems like [...]<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=matthewkahle.wordpress.com&#038;blog=8318200&#038;post=591&#038;subd=matthewkahle&#038;ref=&#038;feed=1" width="1" height="1" />]]></description>
				<content:encoded><![CDATA[<p>65,000 people signed a petition to increase public access to the results of federally funded research, and the <a href="https://petitions.whitehouse.gov/response/increasing-public-access-results-scientific-research">White House agreed with them</a>.</p>
<p>A memorandum has been issued telling alL the major federal agencies to make plans for making publicly funded research freely available on the internet within 12 months of publication.</p>
<p>This seems like a big step in the right direction.  It will be interesting to see what form the NSF&#8217;s plan takes, and how the big publishers respond.</p>
<br />  <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=matthewkahle.wordpress.com&#038;blog=8318200&#038;post=591&#038;subd=matthewkahle&#038;ref=&#038;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://matthewkahle.wordpress.com/2013/02/23/increasing-public-access-to-federally-funded-research/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
	
		<media:content url="http://0.gravatar.com/avatar/3be06f173159fce8f81897ce6c0c5a34?s=96&#38;d=identicon&#38;r=G" medium="image">
			<media:title type="html">matthewkahle</media:title>
		</media:content>
	</item>
		<item>
		<title>Glimpses of Benoît B. Mandelbrot</title>
		<link>http://matthewkahle.wordpress.com/2012/08/21/glimpses-of-benoit-b-mandelbrot/</link>
		<comments>http://matthewkahle.wordpress.com/2012/08/21/glimpses-of-benoit-b-mandelbrot/#comments</comments>
		<pubDate>Wed, 22 Aug 2012 01:39:31 +0000</pubDate>
		<dc:creator>matthewkahle</dc:creator>
				<category><![CDATA[uncategorized]]></category>

		<guid isPermaLink="false">http://matthewkahle.wordpress.com/?p=564</guid>
		<description><![CDATA[The AMS Notices has an article this month with personal recollections about Mandelbrot; mathematical recollections will be saved for another article. He comes across as deeply curious and knowledgeable about almost every subject imaginable. He was sometimes known for being &#8220;strangely vain&#8221;, but it is hard to not have the impression that this was the [...]<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=matthewkahle.wordpress.com&#038;blog=8318200&#038;post=564&#038;subd=matthewkahle&#038;ref=&#038;feed=1" width="1" height="1" />]]></description>
				<content:encoded><![CDATA[<p>The AMS Notices has <a href="http://www.ams.org/notices/201208/rtx120801056p.pdf">an article this month</a> with personal recollections about Mandelbrot; mathematical recollections will be saved for another article. He comes across as deeply curious and knowledgeable about almost every subject imaginable.</p>
<p>He was sometimes known for being &#8220;strangely vain&#8221;, but it is hard to not have the impression that this was the defense mechanism of someone who worked in solitude and obscurity for so many years before his ideas were finally recognized as important.</p>
<p>Mandelbrot gave the closing address of the 2006 International Congress of Mathematicians. He congratulated <a href="http://en.wikipedia.org/wiki/Wendelin_Werner">Werner</a> on his Fields Medal, and suggested that this was the third time a mathematician had won a Fields Medal for proving one of his conjectures.</p>
<p><a href="http://en.wikipedia.org/wiki/Jean-Christophe_Yoccoz">Yoccoz</a> won a Fields Medal, I believe in part for proving a big piece of the conjecture that <a href="http://en.wikipedia.org/wiki/Mandelbrot_set#Local_connectivity">the Mandelbrot set is locally connected</a>. Apparently the full conjecture is still open. I don&#8217;t know enough about the subject to know if this was something that Mandelbrot originally conjectured though.</p>
<p>Also I wonder who he had in mind as the third Fields Medalist? Does anyone know?</p>
<p>A poetic quote from the article, by Michael Frame:</p>
<blockquote><p> Years ago, when asked if he was a mathematician, a physicist, or an economist, Benoît replied that he was a storyteller. After Benoît died, I saw another interpretation of his answer. By emphasizing how an object grows, a fractal description of the object is a story.  Twists and turns of a snowflake in a cloud, rough waves sculpting a jagged coastline, my lungs growing before I was born, the spread of galaxies throughout the deep dark of space. These share something? Benoît told us they have similar stories. Benoît told us science should tell more stories.</p></blockquote>
<br />  <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=matthewkahle.wordpress.com&#038;blog=8318200&#038;post=564&#038;subd=matthewkahle&#038;ref=&#038;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://matthewkahle.wordpress.com/2012/08/21/glimpses-of-benoit-b-mandelbrot/feed/</wfw:commentRss>
		<slash:comments>1</slash:comments>
	
		<media:content url="http://0.gravatar.com/avatar/3be06f173159fce8f81897ce6c0c5a34?s=96&#38;d=identicon&#38;r=G" medium="image">
			<media:title type="html">matthewkahle</media:title>
		</media:content>
	</item>
		<item>
		<title>Abel prize for Szemerédi</title>
		<link>http://matthewkahle.wordpress.com/2012/03/27/abel-prize-for-szemeredi/</link>
		<comments>http://matthewkahle.wordpress.com/2012/03/27/abel-prize-for-szemeredi/#comments</comments>
		<pubDate>Tue, 27 Mar 2012 20:13:42 +0000</pubDate>
		<dc:creator>matthewkahle</dc:creator>
				<category><![CDATA[uncategorized]]></category>

		<guid isPermaLink="false">http://matthewkahle.wordpress.com/?p=560</guid>
		<description><![CDATA[Hungarian mathematician Endre Szemerédi has been awarded the Abel Prize. Here is a nice interview with him, translated to English by Zsuzsanna Dancso. (Original in Hungarian here.) I think Szemerédi&#8217;s sense of humor comes across well in the interview. Interviewer: In 2008, when you were awarded the Rolf Shock prize, you commented that in your [...]<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=matthewkahle.wordpress.com&#038;blog=8318200&#038;post=560&#038;subd=matthewkahle&#038;ref=&#038;feed=1" width="1" height="1" />]]></description>
				<content:encoded><![CDATA[<p>Hungarian mathematician <a href="http://en.wikipedia.org/wiki/Endre_Szemer%C3%A9di">Endre Szemerédi</a> has been awarded the <a href="http://www.abelprize.no/c54147/seksjon/vis.html?tid=54148"> Abel Prize</a>.</p>
<p><a href="http://www.math.toronto.edu/zsuzsi/research/Szemeredi.pdf">Here is a nice interview with him</a>, translated to English by <a href="http://www.math.toronto.edu/zsuzsi/">Zsuzsanna Dancso</a>.  (<a>Original in Hungarian here</a>.)</p>
<p>I think Szemerédi&#8217;s sense of humor comes across well in the interview.</p>
<blockquote><p><strong>Interviewer</strong>:  In 2008, when you were awarded the Rolf Shock prize, you commented that in your opinion the Fields medal, the Wolf Prize, and the Abel Prize were the three most prestigious prizes in mathematics. Did you expect to get one of these back then?</p>
<p><strong>Szemerédi</strong>: I would like to modify my opinion &#8212; now I only regard the Fields medal and the Wolf prize as the most prestigious.</p></blockquote>
<br />  <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=matthewkahle.wordpress.com&#038;blog=8318200&#038;post=560&#038;subd=matthewkahle&#038;ref=&#038;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://matthewkahle.wordpress.com/2012/03/27/abel-prize-for-szemeredi/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
	
		<media:content url="http://0.gravatar.com/avatar/3be06f173159fce8f81897ce6c0c5a34?s=96&#38;d=identicon&#38;r=G" medium="image">
			<media:title type="html">matthewkahle</media:title>
		</media:content>
	</item>
		<item>
		<title>Sneak preview: art at the Joint Mathematical Meetings</title>
		<link>http://matthewkahle.wordpress.com/2011/12/12/sneak-preview-art-at-the-joint-mathematical-meetings/</link>
		<comments>http://matthewkahle.wordpress.com/2011/12/12/sneak-preview-art-at-the-joint-mathematical-meetings/#comments</comments>
		<pubDate>Mon, 12 Dec 2011 23:59:55 +0000</pubDate>
		<dc:creator>matthewkahle</dc:creator>
				<category><![CDATA[uncategorized]]></category>

		<guid isPermaLink="false">http://matthewkahle.wordpress.com/?p=549</guid>
		<description><![CDATA[Thanks to Mikael Vejdemo-Johansson for pointing me to the online preview of mathematical art which will be shown at the Joint Mathematical Meetings in January 2012. Note in particular Mikael&#8217;s fantastic laser-etched Hyperbolic Coasters. I also really like these by Vladimir Bulatov.<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=matthewkahle.wordpress.com&#038;blog=8318200&#038;post=549&#038;subd=matthewkahle&#038;ref=&#038;feed=1" width="1" height="1" />]]></description>
				<content:encoded><![CDATA[<p>Thanks to Mikael Vejdemo-Johansson for pointing me to the <a href="http://gallery.bridgesmathart.org/">online preview of mathematical art</a> which will be shown at the Joint Mathematical Meetings in January 2012.</p>
<p>Note in particular Mikael&#8217;s fantastic laser-etched <a href="http://gallery.bridgesmathart.org/exhibitions/2012-joint-mathematics-meetings/michiexile">Hyperbolic Coasters</a>.</p>
<p><img src="http://gallery.bridgesmathart.org/sites/default/files/styles/large/public/%5Buser%5D/5479751353_23e3c64ecf_b.jpg" alt="Hyperbolic Coasters" /></p>
<p>I also really like <a href="http://gallery.bridgesmathart.org/exhibitions/2012-joint-mathematics-meetings/bulatov">these by Vladimir Bulatov</a>.</p>
<p><img src="http://gallery.bridgesmathart.org/sites/default/files/styles/large/public/%5Buser%5D/horo_sim7.5_23_1800.jpg" alt="Horosphere tiling I" /></p>
<br />  <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=matthewkahle.wordpress.com&#038;blog=8318200&#038;post=549&#038;subd=matthewkahle&#038;ref=&#038;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://matthewkahle.wordpress.com/2011/12/12/sneak-preview-art-at-the-joint-mathematical-meetings/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
	
		<media:content url="http://0.gravatar.com/avatar/3be06f173159fce8f81897ce6c0c5a34?s=96&#38;d=identicon&#38;r=G" medium="image">
			<media:title type="html">matthewkahle</media:title>
		</media:content>

		<media:content url="http://gallery.bridgesmathart.org/sites/default/files/styles/large/public/%5Buser%5D/5479751353_23e3c64ecf_b.jpg" medium="image">
			<media:title type="html">Hyperbolic Coasters</media:title>
		</media:content>

		<media:content url="http://gallery.bridgesmathart.org/sites/default/files/styles/large/public/%5Buser%5D/horo_sim7.5_23_1800.jpg" medium="image">
			<media:title type="html">Horosphere tiling I</media:title>
		</media:content>
	</item>
		<item>
		<title>Is Benford&#8217;s law really less true now than ever?</title>
		<link>http://matthewkahle.wordpress.com/2011/10/13/is-benfords-law-really-less-true-now-than-ever/</link>
		<comments>http://matthewkahle.wordpress.com/2011/10/13/is-benfords-law-really-less-true-now-than-ever/#comments</comments>
		<pubDate>Thu, 13 Oct 2011 20:47:45 +0000</pubDate>
		<dc:creator>matthewkahle</dc:creator>
				<category><![CDATA[uncategorized]]></category>

		<guid isPermaLink="false">http://matthewkahle.wordpress.com/?p=545</guid>
		<description><![CDATA[Jialan Wang, an assistant professor of finance at Washington University, has posted a fascinating note about the observable departure from Benford&#8217;s law over time. I am trying to imagine any other explanation of this other than widespread fraud (or as she puts it more tactfully, &#8220;decreased reliability of accounting data). Please chime in with your [...]<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=matthewkahle.wordpress.com&#038;blog=8318200&#038;post=545&#038;subd=matthewkahle&#038;ref=&#038;feed=1" width="1" height="1" />]]></description>
				<content:encoded><![CDATA[<p>Jialan Wang, an assistant professor of finance at Washington University, has posted a <a href="http://econerdfood.blogspot.com/2011/10/benfords-law-and-decreasing-reliability.html">fascinating note</a> about the observable departure from <a href="http://en.wikipedia.org/wiki/Benford's_law">Benford&#8217;s law</a> over time.  I am trying to imagine any other explanation of this other than widespread fraud (or as she puts it more tactfully, &#8220;decreased reliability of accounting data).</p>
<p>Please chime in with your own alternate explanations in the comments.</p>
<br />  <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=matthewkahle.wordpress.com&#038;blog=8318200&#038;post=545&#038;subd=matthewkahle&#038;ref=&#038;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://matthewkahle.wordpress.com/2011/10/13/is-benfords-law-really-less-true-now-than-ever/feed/</wfw:commentRss>
		<slash:comments>1</slash:comments>
	
		<media:content url="http://0.gravatar.com/avatar/3be06f173159fce8f81897ce6c0c5a34?s=96&#38;d=identicon&#38;r=G" medium="image">
			<media:title type="html">matthewkahle</media:title>
		</media:content>
	</item>
		<item>
		<title>Computational topology for configuration spaces of hard disks</title>
		<link>http://matthewkahle.wordpress.com/2011/10/03/computational-topology-for-configuration-spaces-of-hard-disks/</link>
		<comments>http://matthewkahle.wordpress.com/2011/10/03/computational-topology-for-configuration-spaces-of-hard-disks/#comments</comments>
		<pubDate>Tue, 04 Oct 2011 01:04:04 +0000</pubDate>
		<dc:creator>matthewkahle</dc:creator>
				<category><![CDATA[uncategorized]]></category>

		<guid isPermaLink="false">http://matthewkahle.wordpress.com/?p=529</guid>
		<description><![CDATA[Here is a nice review by Randy Kamein of some recent work with Carlsson, Gorham, and Mason at the Journal Club for Condensed Matter Physics.<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=matthewkahle.wordpress.com&#038;blog=8318200&#038;post=529&#038;subd=matthewkahle&#038;ref=&#038;feed=1" width="1" height="1" />]]></description>
				<content:encoded><![CDATA[<p><a href="http://www.condmatjournalclub.org/wp-content/uploads/2011/09/JCCM_SEPTEMBER_2011_02.pdf">Here is a </a> <a href="http://www.condmatjournalclub.org/wp-content/uploads/2011/09/JCCM_SEPTEMBER_2011_02.pdf">nice review</a> by <a href="http://www.physics.upenn.edu/people/r.kamien.html">Randy Kamein</a> of some <a href="http://arxiv.org/abs/1108.5719">recent work</a> with Carlsson, Gorham, and Mason at the Journal Club for Condensed Matter Physics. </p>
<p><a href="http://matthewkahle.files.wordpress.com/2011/10/unden5.jpg"><img src="http://matthewkahle.files.wordpress.com/2011/10/unden5.jpg?w=278&#038;h=300" alt="dendrogram" title="unden5" width="278" height="300" class="aligncenter size-medium wp-image-531" /></a></p>
<br />  <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=matthewkahle.wordpress.com&#038;blog=8318200&#038;post=529&#038;subd=matthewkahle&#038;ref=&#038;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://matthewkahle.wordpress.com/2011/10/03/computational-topology-for-configuration-spaces-of-hard-disks/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
	
		<media:content url="http://0.gravatar.com/avatar/3be06f173159fce8f81897ce6c0c5a34?s=96&#38;d=identicon&#38;r=G" medium="image">
			<media:title type="html">matthewkahle</media:title>
		</media:content>

		<media:content url="http://matthewkahle.files.wordpress.com/2011/10/unden5.jpg?w=278" medium="image">
			<media:title type="html">unden5</media:title>
		</media:content>
	</item>
		<item>
		<title>In search of a counterexample to the Lovász conjecture</title>
		<link>http://matthewkahle.wordpress.com/2011/10/03/in-search-of-a-counterexample-to-the-lovasz-conjecture/</link>
		<comments>http://matthewkahle.wordpress.com/2011/10/03/in-search-of-a-counterexample-to-the-lovasz-conjecture/#comments</comments>
		<pubDate>Mon, 03 Oct 2011 20:53:47 +0000</pubDate>
		<dc:creator>matthewkahle</dc:creator>
				<category><![CDATA[research]]></category>
		<category><![CDATA[Cayley graph]]></category>
		<category><![CDATA[Lovasz]]></category>
		<category><![CDATA[probability]]></category>

		<guid isPermaLink="false">http://matthewkahle.wordpress.com/?p=510</guid>
		<description><![CDATA[It is a celebrated result of John Dixon, (The probability of generating the symmetric group, (subscription) Math. Z. 110 (1969), 199–205.) that if one choose two random permutations in the symmetric group , uniformly (i.e. each with probability ), and independently, the probability that the two permutations generate the whole group tends to as . [...]<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=matthewkahle.wordpress.com&#038;blog=8318200&#038;post=510&#038;subd=matthewkahle&#038;ref=&#038;feed=1" width="1" height="1" />]]></description>
				<content:encoded><![CDATA[<p>It is a celebrated result of John Dixon, (<a href="http://www.springerlink.com/content/r4x1444382133111/">The probability of generating the symmetric group,</a> (subscription) Math. Z. 110 (1969), 199–205.) that if one choose two random permutations in the symmetric group <img src='http://s0.wp.com/latex.php?latex=S_n&amp;bg=eeeae8&amp;fg=4a4a49&amp;s=0' alt='S_n' title='S_n' class='latex' />, uniformly (i.e. each with probability <img src='http://s0.wp.com/latex.php?latex=1+%2F+n%21&amp;bg=eeeae8&amp;fg=4a4a49&amp;s=0' alt='1 / n!' title='1 / n!' class='latex' />), and independently, the probability that the two permutations generate the whole group tends to <img src='http://s0.wp.com/latex.php?latex=3%2F4&amp;bg=eeeae8&amp;fg=4a4a49&amp;s=0' alt='3/4' title='3/4' class='latex' /> as <img src='http://s0.wp.com/latex.php?latex=n+%5Cto+%5Cinfty&amp;bg=eeeae8&amp;fg=4a4a49&amp;s=0' alt='n &#92;to &#92;infty' title='n &#92;to &#92;infty' class='latex' />.  It is clear that this probability will never be greater than <img src='http://s0.wp.com/latex.php?latex=3%2F4&amp;bg=eeeae8&amp;fg=4a4a49&amp;s=0' alt='3/4' title='3/4' class='latex' />, since there is a <img src='http://s0.wp.com/latex.php?latex=1%2F4&amp;bg=eeeae8&amp;fg=4a4a49&amp;s=0' alt='1/4' title='1/4' class='latex' /> probability that the two permutations will both be even, in which case you could only generate, at most, the alternating group.  Interestingly enough, Dixon&#8217;s paper covers this possibility, and he actually shows that the probability that two permutations generate the alternating group tends to <img src='http://s0.wp.com/latex.php?latex=1%2F4&amp;bg=eeeae8&amp;fg=4a4a49&amp;s=0' alt='1/4' title='1/4' class='latex' /> as <img src='http://s0.wp.com/latex.php?latex=n+%5Cto+%5Cinfty&amp;bg=eeeae8&amp;fg=4a4a49&amp;s=0' alt='n &#92;to &#92;infty' title='n &#92;to &#92;infty' class='latex' />.</p>
<p>Equivalently, if two random elements <img src='http://s0.wp.com/latex.php?latex=x%2C+y&amp;bg=eeeae8&amp;fg=4a4a49&amp;s=0' alt='x, y' title='x, y' class='latex' /> of the alternating group <img src='http://s0.wp.com/latex.php?latex=A_n&amp;bg=eeeae8&amp;fg=4a4a49&amp;s=0' alt='A_n' title='A_n' class='latex' /> are chosen uniformly and randomly, the probability that they generate the group tends to <img src='http://s0.wp.com/latex.php?latex=1&amp;bg=eeeae8&amp;fg=4a4a49&amp;s=0' alt='1' title='1' class='latex' /> as <img src='http://s0.wp.com/latex.php?latex=n+%5Cto+%5Cinfty&amp;bg=eeeae8&amp;fg=4a4a49&amp;s=0' alt='n &#92;to &#92;infty' title='n &#92;to &#92;infty' class='latex' />.   This leads me to my question &#8212; what is the probability that the <img src='http://s0.wp.com/latex.php?latex=4&amp;bg=eeeae8&amp;fg=4a4a49&amp;s=0' alt='4' title='4' class='latex' />-regular Cayley graph with generators <img src='http://s0.wp.com/latex.php?latex=x%2C+y+%2C+x%5E%7B-1%7D%2C+y%5E%7B-1%7D&amp;bg=eeeae8&amp;fg=4a4a49&amp;s=0' alt='x, y , x^{-1}, y^{-1}' title='x, y , x^{-1}, y^{-1}' class='latex' /> is not Hamiltonian, as <img src='http://s0.wp.com/latex.php?latex=n+%5Cto+%5Cinfty&amp;bg=eeeae8&amp;fg=4a4a49&amp;s=0' alt='n &#92;to &#92;infty' title='n &#92;to &#92;infty' class='latex' />?</p>
<p>Showing that this probability is bounded away from <img src='http://s0.wp.com/latex.php?latex=0&amp;bg=eeeae8&amp;fg=4a4a49&amp;s=0' alt='0' title='0' class='latex' /> would provide a counterexample for a <a href="http://en.wikipedia.org/wiki/Lov%C3%A1sz_conjecture">notorious problem</a> about vertex-transitive graphs.  So we might expect that this is hard.  But is it even possible that it is true, or is there some obvious reason that such graphs will tend to be Hamiltonian?</p>
<p>Another approach in the same spirit would be computational rather than asymptotic.  Suppose we look at thousands of random Cayley graphs on the alternating groups <img src='http://s0.wp.com/latex.php?latex=A_5&amp;bg=eeeae8&amp;fg=4a4a49&amp;s=0' alt='A_5' title='A_5' class='latex' /> and <img src='http://s0.wp.com/latex.php?latex=A_6&amp;bg=eeeae8&amp;fg=4a4a49&amp;s=0' alt='A_6' title='A_6' class='latex' />, for example.  It is straightforward to check that they are connected.  Is it within reach for a cleverly designed algorithm on modern computers to conclusively rule out Hamiltonicity for a <img src='http://s0.wp.com/latex.php?latex=4&amp;bg=eeeae8&amp;fg=4a4a49&amp;s=0' alt='4' title='4' class='latex' />-regular graph on <img src='http://s0.wp.com/latex.php?latex=60&amp;bg=eeeae8&amp;fg=4a4a49&amp;s=0' alt='60' title='60' class='latex' /> or <img src='http://s0.wp.com/latex.php?latex=360&amp;bg=eeeae8&amp;fg=4a4a49&amp;s=0' alt='360' title='360' class='latex' /> vertices?  I would also be happy with a computer-aided proof that the conjecture is false.</p>
<p>Historical note:  It is called the Lovász conjecture, even though he just asked the question (and perhaps conjectured the other way).  I am under the impression that some prominent people in this field have felt that the answer should be no.  In particular Babai <a href="http://www.cs.uchicago.edu/research/publications/techreports/TR-94-10">does not believe it</a>.</p>
<br />  <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=matthewkahle.wordpress.com&#038;blog=8318200&#038;post=510&#038;subd=matthewkahle&#038;ref=&#038;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://matthewkahle.wordpress.com/2011/10/03/in-search-of-a-counterexample-to-the-lovasz-conjecture/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
	
		<media:content url="http://0.gravatar.com/avatar/3be06f173159fce8f81897ce6c0c5a34?s=96&#38;d=identicon&#38;r=G" medium="image">
			<media:title type="html">matthewkahle</media:title>
		</media:content>
	</item>
		<item>
		<title>Analyzing card shuffling machines</title>
		<link>http://matthewkahle.wordpress.com/2011/08/23/analyzing-card-shuffling-machines/</link>
		<comments>http://matthewkahle.wordpress.com/2011/08/23/analyzing-card-shuffling-machines/#comments</comments>
		<pubDate>Tue, 23 Aug 2011 19:52:11 +0000</pubDate>
		<dc:creator>matthewkahle</dc:creator>
				<category><![CDATA[uncategorized]]></category>
		<category><![CDATA[casinos]]></category>
		<category><![CDATA[Persi Diaconis]]></category>
		<category><![CDATA[probability]]></category>

		<guid isPermaLink="false">http://matthewkahle.wordpress.com/?p=492</guid>
		<description><![CDATA[Diaconis, Fulman, and Holmes have uploaded a preprint titled, &#8220;Analysis of Casino Shelf Shuffling Machines.&#8221; The paper provides a brief overview of the venerable history of mixing time of card shuffling, all the way back to early results by Markov and Poincaré, and their main point is to analyze a model of shuffle that had [...]<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=matthewkahle.wordpress.com&#038;blog=8318200&#038;post=492&#038;subd=matthewkahle&#038;ref=&#038;feed=1" width="1" height="1" />]]></description>
				<content:encoded><![CDATA[<p>Diaconis, Fulman, and Holmes have uploaded a preprint titled, &#8220;<a href="http://front.math.ucdavis.edu/1107.2961" title="Analysis of Casino Shelf Shuffling Machines">Analysis of Casino Shelf Shuffling Machines</a>.&#8221;  The paper provides a brief overview of the venerable history of <a href="http://en.wikipedia.org/wiki/Markov_chain_mixing_time">mixing time</a> of card shuffling, all the way back to early results by <a href="http://en.wikipedia.org/wiki/Andrey_Markov">Markov</a> and <a href="http://en.wikipedia.org/wiki/Henri_Poincar%C3%A9">Poincaré</a>, and their main point is to analyze a model of shuffle that had not been studied previously.  What I found most interesting, though, was their account of successfully convincing people in the business of making card shuffling machines that their machines weren&#8217;t adequately mixing up the cards.  They gave the manufacturers one mathematical argument, based on <a href="http://en.wikipedia.org/wiki/Total_variation_distance_of_probability_measures">total variation distance</a>, that they didn&#8217;t accept, and then another argument, based on a card guessing game, that they did.</p>
<p>I&#8217;ll describe the card guessing game. I flip through a deck of 52 cards, one card at a time, and before I flip a card you try to guess what it will be.  Let&#8217;s say you have a perfect memory for every card that&#8217;s already been flipped, so you obviously won&#8217;t guess those.  On the other hand, if the cards are in a truly random order to start out, you obviously don&#8217;t have any better strategy than to guess uniformly among the remaining cards.  An easy analysis gives that your best possible expected number of correct guesses is <img src='http://s0.wp.com/latex.php?latex=%7B1+%5Cover+52%7D+%2B+%7B1+%5Cover+51%7D+%2B+%5Cdots+%2B+%7B+1+%5Cover+1%7D+%5Capprox+4.5&amp;bg=eeeae8&amp;fg=4a4a49&amp;s=0' alt='{1 &#92;over 52} + {1 &#92;over 51} + &#92;dots + { 1 &#92;over 1} &#92;approx 4.5' title='{1 &#92;over 52} + {1 &#92;over 51} + &#92;dots + { 1 &#92;over 1} &#92;approx 4.5' class='latex' />.  On the other hand, the authors described a strategy (conjectured to be best possible) that allows one to guess an average of <img src='http://s0.wp.com/latex.php?latex=9.5&amp;bg=eeeae8&amp;fg=4a4a49&amp;s=0' alt='9.5' title='9.5' class='latex' /> cards correctly, on a totally ordered deck run through the shelf shuffling machine only once. This suggests strongly that the cards are not sufficiently random. </p>
<p>This analysis convinced the company to have the shelf shuffling machine make two passes through the deck, rather than one as they had initially hoped.  The president of the company told them that “We are not pleased with your conclusions, but we believe them and that’s what we hired you for.”</p>
<br />  <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=matthewkahle.wordpress.com&#038;blog=8318200&#038;post=492&#038;subd=matthewkahle&#038;ref=&#038;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://matthewkahle.wordpress.com/2011/08/23/analyzing-card-shuffling-machines/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
	
		<media:content url="http://0.gravatar.com/avatar/3be06f173159fce8f81897ce6c0c5a34?s=96&#38;d=identicon&#38;r=G" medium="image">
			<media:title type="html">matthewkahle</media:title>
		</media:content>
	</item>
		<item>
		<title>Mathematical Zen</title>
		<link>http://matthewkahle.wordpress.com/2011/05/12/mathematical-zen/</link>
		<comments>http://matthewkahle.wordpress.com/2011/05/12/mathematical-zen/#comments</comments>
		<pubDate>Thu, 12 May 2011 13:40:20 +0000</pubDate>
		<dc:creator>matthewkahle</dc:creator>
				<category><![CDATA[uncategorized]]></category>

		<guid isPermaLink="false">http://matthewkahle.wordpress.com/?p=487</guid>
		<description><![CDATA[In 1974 Frank Harary and Ronald C. Read published a paper with the incredible title, &#8220;Is the null-graph a pointless concept?&#8220; The abstract reads as follows. The graph with no points and no lines is discussed critically. Arguments for and against its official admittance as a graph are presented. This is accompanied by an extensive [...]<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=matthewkahle.wordpress.com&#038;blog=8318200&#038;post=487&#038;subd=matthewkahle&#038;ref=&#038;feed=1" width="1" height="1" />]]></description>
				<content:encoded><![CDATA[<p>In 1974 Frank Harary and Ronald C. Read published a paper with the incredible title, &#8220;<a href="http://www.springerlink.com/content/x720016268q5l24x/" title="http://www.springerlink.com/content/x720016268q5l24x/" target="_blank">Is the null-graph a pointless concept?</a>&#8220;</p>
<p>The abstract reads as follows.</p>
<blockquote><p>
The graph with no points and no lines is discussed critically. Arguments for and against its official admittance as a graph are presented. This is accompanied by an extensive survey of the literature. Paradoxical properties of the null-graph are noted. No conclusion is reached.</p></blockquote>
<br />  <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=matthewkahle.wordpress.com&#038;blog=8318200&#038;post=487&#038;subd=matthewkahle&#038;ref=&#038;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://matthewkahle.wordpress.com/2011/05/12/mathematical-zen/feed/</wfw:commentRss>
		<slash:comments>1</slash:comments>
	
		<media:content url="http://0.gravatar.com/avatar/3be06f173159fce8f81897ce6c0c5a34?s=96&#38;d=identicon&#38;r=G" medium="image">
			<media:title type="html">matthewkahle</media:title>
		</media:content>
	</item>
	</channel>
</rss>
