<?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/"
	>

<channel>
	<title>Test Blog &#187; Mathematics</title>
	<atom:link href="http://dcostanet.net/wordpress/category/mathematics/feed/" rel="self" type="application/rss+xml" />
	<link>http://dcostanet.net/wordpress</link>
	<description>Just another WordPress weblog</description>
	<lastBuildDate>Fri, 05 May 2006 14:53:14 +0000</lastBuildDate>
	<language>en</language>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
	<generator>http://wordpress.org/?v=3.2.1</generator>
		<item>
		<title>Silly Links</title>
		<link>http://dcostanet.net/wordpress/2006/03/19/silly-links/</link>
		<comments>http://dcostanet.net/wordpress/2006/03/19/silly-links/#comments</comments>
		<pubDate>Sun, 19 Mar 2006 18:13:18 +0000</pubDate>
		<dc:creator>Sameer</dc:creator>
				<category><![CDATA[Mathematics]]></category>
		<category><![CDATA[Misc]]></category>
		<category><![CDATA[Uncategorized]]></category>

		<guid isPermaLink="false">http://dcostanet.net/wordpress/2006/03/19/silly-links/</guid>
		<description><![CDATA[(Via MetaFilter and L. Spice) The Sarong Theorem Archive is the premier online repository for pictures of mathematicans in sarongs proving theorems. There is also a strange webpage with pictures of female mathematicians with teal hair. We have two people from UofC on that page. Got any other wierd math links to share?]]></description>
			<content:encoded><![CDATA[<p><img align="left" alt="Sarong" title="Sarong" src="http://dcostanet.net/blogimages/sarong.jpg" />(Via <a href="http://www.metafilter.com/mefi/49591">MetaFilter</a> and L. Spice) The <a href="http://math.berkeley.edu/~ari/sarong/">Sarong Theorem Archive</a> is the premier online repository for pictures of mathematicans in sarongs proving theorems. There is also a strange webpage with pictures of <a href="http://www.cs.xu.edu/~smbelcas/fmwth.html">female mathematicians with teal hair</a>. We have two people from UofC on that page. Got any other wierd math links to share?</p>
]]></content:encoded>
			<wfw:commentRss>http://dcostanet.net/wordpress/2006/03/19/silly-links/feed/</wfw:commentRss>
		<slash:comments>1</slash:comments>
		</item>
		<item>
		<title>Area of a polygon</title>
		<link>http://dcostanet.net/wordpress/2005/10/29/area-of-a-polygon/</link>
		<comments>http://dcostanet.net/wordpress/2005/10/29/area-of-a-polygon/#comments</comments>
		<pubDate>Sun, 30 Oct 2005 04:01:25 +0000</pubDate>
		<dc:creator>Sameer</dc:creator>
				<category><![CDATA[Mathematics]]></category>

		<guid isPermaLink="false">http://dcostanet.net/wordpress/2005/10/29/area-of-a-polygon/</guid>
		<description><![CDATA[I was recently asked to find an algorithm to calculate the area of a polygon. I was given the co-ordinates of the vertices in order and I was told to assume that the polygon did not intersect itself. I was able to come up with some solution which involved triangulating the polygon, however that solution [...]]]></description>
			<content:encoded><![CDATA[<p>I was recently asked to find an algorithm to calculate the area of a polygon. I was given the co-ordinates of the vertices in order and I was told to assume that the polygon did not intersect itself. I was able to come up with some solution which involved triangulating the polygon, however that solution was no good as it would not work with certain types of polygons. How would you come up with this algorithm? Remember that your solution has to also work for polygons that are wierdly shaped. You cannot assume that the polygon is convex. Here are some examples&#8230;.<br />
<img src="http://dcostanet.net/blogimages/polygons.png" alt="irregular polygons" class="centered" /> </p>
<p>Suppose the vertices of the polygon are given by <img src='/wordpress/latexrender/pictures/8f98bf39f750412d2a84dfa166d66458.gif' title='(x_1, y_1), (x_2, y_2), \ldots, (x_n, y_n)' alt='(x_1, y_1), (x_2, y_2), \ldots, (x_n, y_n)' align=absmiddle> where the n<sup>th</sup> set of co-ordinates is equal to the first, then the area of the polygon is given by the nice formula <center><img src='/wordpress/latexrender/pictures/da6073881fe28d527cc3c965e0a237b5.gif' title='\displaystyle \frac{1}{2} \sum_{i=0}^{n-1} \left( x_i y_{i+1} &amp;#8211; x_{i+1} y_i \right)' alt='\displaystyle \frac{1}{2} \sum_{i=0}^{n-1} \left( x_i y_{i+1} &amp;#8211; x_{i+1} y_i \right)' align=absmiddle>.</center> </p>
<p>A really nice solution to this problem is using <a href="http://en.wikipedia.org/wiki/Green's_theorem">Green&#8217;s Theorem</a>. This theorem equates a line integral around the boundary of a simple region to a double integral. The theorem states that if <strong>C</strong> is a piecewise smooth, simple, closed curve in a plane and it encloses a region <strong>D</strong>, then <center><img src='/wordpress/latexrender/pictures/300424a01b4b957424a304e24fde895d.gif' title='\displaystyle \oint_{C} L\, dx + M\, dy = \int\!\!\!\int_{D} \left(\frac{\partial M}{\partial x} &amp;#8211; \frac{\partial L}{\partial y}\right)\, dA.' alt='\displaystyle \oint_{C} L\, dx + M\, dy = \int\!\!\!\int_{D} \left(\frac{\partial M}{\partial x} &amp;#8211; \frac{\partial L}{\partial y}\right)\, dA.' align=absmiddle></center></p>
<p>If we can choose <strong>L</strong> and <strong>M</strong> such that <img src='/wordpress/latexrender/pictures/b07c776b1581eda75e46af31fb142ff8.gif' title='\displaystyle \left(\frac{\partial M}{\partial x} &amp;#8211; \frac{\partial L}{\partial y}\right) = 1' alt='\displaystyle \left(\frac{\partial M}{\partial x} &amp;#8211; \frac{\partial L}{\partial y}\right) = 1' align=absmiddle>, then the double integral on the right hand side in Green&#8217;s Theorem will just calculate the area of the region <strong>D</strong>. One option is to take <img src='/wordpress/latexrender/pictures/9556fddaafc0687bd2c32317515f44be.gif' title='M = \frac{x}{2}' alt='M = \frac{x}{2}' align=absmiddle> and <img src='/wordpress/latexrender/pictures/02174f830aa993e402caef6f05a74b27.gif' title='L = -\frac{y}{2}' alt='L = -\frac{y}{2}' align=absmiddle>. </p>
<p>If <strong>D</strong> is the polygon and <strong>C</strong> is the boundary, all we need to do to calculate the area of <strong>D</strong> is to calculate the line integral on the left hand side in Green&#8217;s Theorem. Consider the path integral from <img src='/wordpress/latexrender/pictures/1e320272dee87c54a0d0c11f37f010c4.gif' title='(x_i, y_i)' alt='(x_i, y_i)' align=absmiddle> to  <img src='/wordpress/latexrender/pictures/fc74414d41475e425f0119c79aad400f.gif' title='(x_{i+1}, y_{i+1}) ' alt='(x_{i+1}, y_{i+1}) ' align=absmiddle> of <img src='/wordpress/latexrender/pictures/32eb1dd6aee3fedf39cffd6711b08d5a.gif' title=' L\, dx + M\, dy' alt=' L\, dx + M\, dy' align=absmiddle>. The path is parametrized by a function <img src='/wordpress/latexrender/pictures/07710b5c43702a8bb7b9104eacc6ba71.gif' title='\Gamma' alt='\Gamma' align=absmiddle> from <img src='/wordpress/latexrender/pictures/ccfcd347d0bf65dc77afe01a3306a96b.gif' title='[0,1]' alt='[0,1]' align=absmiddle> to the line joining  <img src='/wordpress/latexrender/pictures/1e320272dee87c54a0d0c11f37f010c4.gif' title='(x_i, y_i)' alt='(x_i, y_i)' align=absmiddle> to  <img src='/wordpress/latexrender/pictures/fc74414d41475e425f0119c79aad400f.gif' title='(x_{i+1}, y_{i+1}) ' alt='(x_{i+1}, y_{i+1}) ' align=absmiddle>,  and is given by <center><img src='/wordpress/latexrender/pictures/e048d79d3ff7b14efdd8c192dc8492a9.gif' title='\displaystyle \Gamma(t) = \big( x_i + t(x_{i+1} &amp;#8211; x_i), y_i + t(y_{i+1} &amp;#8211; y_i) \big).' alt='\displaystyle \Gamma(t) = \big( x_i + t(x_{i+1} &amp;#8211; x_i), y_i + t(y_{i+1} &amp;#8211; y_i) \big).' align=absmiddle></center></p>
<p>So the path integral becomes <center><img src='/wordpress/latexrender/pictures/2ce2020473e1ee740fbea212a232330f.gif' title='\displaystyle \int_0^1 \bigg(L\big(\Gamma(t)\big) , M\big(\Gamma(t)\big)\bigg) \cdot \Gamma^{&amp;#8216;} (t) \, dt.  ' alt='\displaystyle \int_0^1 \bigg(L\big(\Gamma(t)\big) , M\big(\Gamma(t)\big)\bigg) \cdot \Gamma^{&amp;#8216;} (t) \, dt.  ' align=absmiddle></center> So we are integrating from 0 to 1, the function<br />
<center>[Unparseable or potentially dangerous latex formula. Error 5 : 544x40]</center></p>
<p>This simplifies to <center><img src='/wordpress/latexrender/pictures/420894bace040c5a4a4a28df998dfefb.gif' title='\displaystyle \frac{1}{2}\int_0^1 -y_i ( x_{i+1} &amp;#8211; x_i) + x_i  (y_{i+1} &amp;#8211; y_i) \, dt' alt='\displaystyle \frac{1}{2}\int_0^1 -y_i ( x_{i+1} &amp;#8211; x_i) + x_i  (y_{i+1} &amp;#8211; y_i) \, dt' align=absmiddle></center> and this is simply <img src='/wordpress/latexrender/pictures/28879a1d4613a4cf869d714cbf6a43cb.gif' title='\frac{1}{2}( x_i y_{i+1} &amp;#8211; x_{i+1} y_i) ' alt='\frac{1}{2}( x_i y_{i+1} &amp;#8211; x_{i+1} y_i) ' align=absmiddle>. So if we take the line integral over the closed path <strong>C</strong>, we get the formula for the area which is written above. Of course, if we get a negative number for the area, this would mean that <strong>C</strong> was not positively oriented and we should take the absolute value to get the area. </p>
<p><small> Source: <a href="http://www.attewode.com/Calculus/AreaMeasurement/area.htm">Area Measurement: Planimeters &#038; Green&#8217;s Theorem</a></small></p>
]]></content:encoded>
			<wfw:commentRss>http://dcostanet.net/wordpress/2005/10/29/area-of-a-polygon/feed/</wfw:commentRss>
		<slash:comments>6</slash:comments>
		</item>
		<item>
		<title>mathematics and imagination</title>
		<link>http://dcostanet.net/wordpress/2005/10/01/mathematics-and-imagination/</link>
		<comments>http://dcostanet.net/wordpress/2005/10/01/mathematics-and-imagination/#comments</comments>
		<pubDate>Sat, 01 Oct 2005 18:19:27 +0000</pubDate>
		<dc:creator>Sameer</dc:creator>
				<category><![CDATA[Mathematics]]></category>

		<guid isPermaLink="false">http://dcostanet.net/wordpress/2005/10/01/mathematics-and-imagination/</guid>
		<description><![CDATA[(via Peter Woit&#8217;s weblog) Barry Mazur had a conversation with Peter Pesic On Mathematics, imagination and and the beauty of numbers that will soon be published. A provisional version of the text is here: Link &#8211; pdf. It is worth reading.]]></description>
			<content:encoded><![CDATA[<p>(via <a href="http://www.math.columbia.edu/~woit/blog/">Peter Woit&#8217;s weblog</a>) <a href="http://www.math.harvard.edu/~mazur/">Barry Mazur</a> had a conversation with Peter Pesic <em>On Mathematics,  imagination and and the beauty of numbers</em> that will soon be published. A provisional version of the text is here: <a href="http://www.math.harvard.edu/~mazur/preprints/MazurXPesicXdialogueXprelim.pdf">Link &#8211; pdf</a>. It is worth reading. </p>
]]></content:encoded>
			<wfw:commentRss>http://dcostanet.net/wordpress/2005/10/01/mathematics-and-imagination/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Serge Lang</title>
		<link>http://dcostanet.net/wordpress/2005/09/16/serge-lang/</link>
		<comments>http://dcostanet.net/wordpress/2005/09/16/serge-lang/#comments</comments>
		<pubDate>Sat, 17 Sep 2005 04:21:06 +0000</pubDate>
		<dc:creator>Sameer</dc:creator>
				<category><![CDATA[Mathematics]]></category>

		<guid isPermaLink="false">http://dcostanet.net/wordpress/2005/09/16/serge-lang/</guid>
		<description><![CDATA[(via Desi Pundit) Serge Lang, passed away this week at Yale. He was 78. The Yale Daily News obituary is here. It was impossible for me to learn Algebra from his book, however I think it is the best reference on the subject and I still refer to it every now and then. I learnt [...]]]></description>
			<content:encoded><![CDATA[<p>(via <a href="http://www.desipundit.com/2005/09/16/rip-serge-lang/">Desi Pundit</a>) Serge Lang, passed away this week at Yale. He was 78.  The Yale Daily News obituary is <a href="http://www.yaledailynews.com/article.asp?AID=29843">here</a>. It was impossible for me to learn Algebra from his book, however I think it is the best reference on the subject and I still refer to it every now and then. I learnt about the Witt vectors while doing Lang&#8217;s exercises on Galois Theory. There is a write-up about Lang <a href="http://locana.blogspot.com/2005/09/serge-lang.html">at Anand&#8217;s blog</a> and another blog has a <a href="http://www.math.columbia.edu/~woit/wordpress/?p=257#comment-4937">comment/anecdote by James Borger</a> (my former second advisor). </p>
]]></content:encoded>
			<wfw:commentRss>http://dcostanet.net/wordpress/2005/09/16/serge-lang/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Kruskal Count</title>
		<link>http://dcostanet.net/wordpress/2005/05/08/30/</link>
		<comments>http://dcostanet.net/wordpress/2005/05/08/30/#comments</comments>
		<pubDate>Mon, 09 May 2005 04:56:32 +0000</pubDate>
		<dc:creator>Sameer</dc:creator>
				<category><![CDATA[Cryptography]]></category>
		<category><![CDATA[Mathematics]]></category>

		<guid isPermaLink="false">http://dcostanet.net/wordpress/?p=30</guid>
		<description><![CDATA[&#x2660;&#x2661;&#x2662;&#x2663;&#x2664;&#x2665;&#x2666;&#x2667; Murali told us about this amazing card trick his professor did in his statistics class. The professor asked a student to shuffle a deck of cards and then lay all the cards face up in a straight line. Every card was given a value between 1 and 10. The value of the numbered cards [...]]]></description>
			<content:encoded><![CDATA[<div align="center">
<font size="7" color="red">&#x2660;</font><font size="7" color="black">&#x2661;</font><font size="7" color="red">&#x2662;</font><font size="7" color="black">&#x2663;</font><font size="7" color="red">&#x2664;</font><font size="7" color="black">&#x2665;</font><font size="7" color="red">&#x2666;</font><font size="7" color="black">&#x2667;</font>
</div>
<p>Murali told us about this <a href="http://www.maa.org/mathland/mathtrek_12_24_01.html">amazing card trick</a> his professor did in his statistics class. The professor asked a student to shuffle a deck of cards and then lay all the cards face up in a straight line. Every card was given a value between 1 and 10. The value of the numbered cards was equal to their number (Aces are given the value 1) and the value of the remaining face cards (Jack, Queen, King) was 2. To start with, the student chooses a secret number <em>n</em> between 1 and 8. He or she then looks at the <em>n</em><sup>th</sup> card and silently figures out its value. If that value is <em>m</em> then the student finds the value of the <em>m</em><sup>th</sup> card after the <em>n</em><sup>th</sup>. This continues till the student reaches the end of the deck.  For example, suppose the secret number is 5 and in the 5<sup>th</sup> place is the 7 of clubs. Then the student has to look at the 12<sup>th</sup> (5 + 7) place and if that is the Jack of Hearts then he or she would have to look at the 14<sup>th</sup> (12 + 2) place. At some point the student runs out of cards and cannot do this process anymore. The card that (s)he had just before this process ended is the &#8220;magic&#8221; card. For example, if the student happens to get to the 47<sup>th</sup> card and that is the 9 of spades, then since 9 + 47 is greater than 52, the 9 of spades is the magic card. The professor does not know what secret number the student has chosen but is still able to figure out what the magic card is. </p>
<p>How is this trick done? Well initially we thought that the magic card depends only on the distribution of the cards and not on the secret number. However it is easy to produce a distribution of the cards where two different secret numbers end up giving two different magic cards. This is very fragile, because if the distribution of the cards is changed even slightly it ends up giving the same magic card no matter what secret number is chosen. So it appears to be a probability game where the magician who performs the trick ends up getting the very same magic card almost all the time no matter what secret number is chosen. In the rare occasion that the magician is wrong, the person doing the counting should be ridiculed for being bad at simple arithmetic. It would help to quickly shuffle the deck while doing the ridiculing so that all evidence is erased and the trick can be performed again <img src='http://dcostanet.net/wordpress/wp-includes/images/smilies/icon_wink.gif' alt=';)' class='wp-smiley' /> </p>
<p>The mathematical idea behind this trick is very simple. It is known as the Kruskal Principle after Martin D. Kruskal. The magician goes through the same procedure using 1 as the starting secret value. After a few steps there is a great probability that the two procedures will &#8220;hit&#8221; the same card and then after that they will be &#8220;in step&#8221;, thus producing the same magic card. I didn&#8217;t realise it at the time but this is principle is very similar to the one used in the <a href="http://mathworld.wolfram.com/PollardRhoFactorizationMethod.html">Rho Pollard Method</a> of factorizing large integers. The idea being to iterate a function till it falls into a cycle. <a href="http://arxiv.org/pdf/math.PR/0110143">Here</a> is an arxiv paper which uses coupling in Markov chains to analyse this card trick. </p>
]]></content:encoded>
			<wfw:commentRss>http://dcostanet.net/wordpress/2005/05/08/30/feed/</wfw:commentRss>
		<slash:comments>2</slash:comments>
		</item>
		<item>
		<title>Computer Aided Proofs</title>
		<link>http://dcostanet.net/wordpress/2005/04/03/26/</link>
		<comments>http://dcostanet.net/wordpress/2005/04/03/26/#comments</comments>
		<pubDate>Wed, 30 Nov -0001 00:00:00 +0000</pubDate>
		<dc:creator>Sameer</dc:creator>
				<category><![CDATA[Mathematics]]></category>

		<guid isPermaLink="false">http://dcostanet.net/wordpress/?p=26</guid>
		<description><![CDATA[The economist has a nice article on what it means to prove something. It talks about the proof of the Kepler conjecture being accepted into the Annals of Mathematics and what this means for the future of mathematics. The conjecture basically states that if you pack spheres into a box the same way oranges are [...]]]></description>
			<content:encoded><![CDATA[<p>The economist has a nice <a href="http://www.economist.com/science/displayStory.cfm?story_id=3809661">article</a> on what it means to prove something. It talks about the proof of the <a href="http://en.wikipedia.org/wiki/Kepler_conjecture">Kepler conjecture</a> being accepted into the<a href="http://www.jstor.org/journals/0003486x.html"> Annals of Mathematics</a> and what this means for the future of mathematics. The conjecture basically states that if you pack spheres into a box the same way <a href="http://www.math.uchicago.edu/%7Esameer/blog/orangestack.jpg">oranges are stacked at a shop</a>, then no other arrangement of spheres would be able to occupy more space. (without squishing the spheres of course!!) More formally it states,<br />
<blockquote>(Kepler Conjecture) No packing of balls of the same radius in three dimensions has density greater than the face-centered cubic packing.</p></blockquote>
<blockquote></blockquote>
<p>It seems very intuitive that the &#8220;shop method&#8221; is the optimal way of stacking oranges to take up the most space, however, proving this statement is another matter altogether. The <a href="http://xxx.lanl.gov/pdf/math.MG/9811071">history of this conjecture</a> is very fascinating however it has recently been &#8220;solved&#8221; by Thomas C. Hales. The only problem is that the &#8220;proof&#8221; uses a computer program to solve about 100,000 linear programming problems and required 250 pages of notes and 3 gigabytes of data. The <a href="http://www.jstor.org/journals/0003486x.html"> Annals of Mathematics</a> agreed to publish the result if a series of 12 referees agreed that the proof was correct. After 4 years Gabor Fejes Tóth, the chief referee, returned a report stating that he was 99% certain of the correctness of the proof, but that the team had been unable to completely certify the proof. However, the annals has decided to publish the theoretical aspects of the proof and mention that they have not verified the computational aspects of the proof.<br /> <br />
<blockquote></blockquote>
]]></content:encoded>
			<wfw:commentRss>http://dcostanet.net/wordpress/2005/04/03/26/feed/</wfw:commentRss>
		<slash:comments>1</slash:comments>
		</item>
	</channel>
</rss>

