<?xml version="1.0" encoding="UTF-8"?><rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	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: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>Comments on: Physics is hard</title>
	<atom:link href="http://hwasungmars.wordpress.com/2007/12/21/physics-is-hard/feed/" rel="self" type="application/rss+xml" />
	<link>http://hwasungmars.wordpress.com/2007/12/21/physics-is-hard/</link>
	<description>reviews, squash, and technology</description>
	<lastBuildDate>Sat, 14 Nov 2009 16:26:38 +0000</lastBuildDate>
	<generator>http://wordpress.com/</generator>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
		<item>
		<title>By: hwasungmars</title>
		<link>http://hwasungmars.wordpress.com/2007/12/21/physics-is-hard/#comment-9705</link>
		<dc:creator>hwasungmars</dc:creator>
		<pubDate>Wed, 16 Jul 2008 09:02:46 +0000</pubDate>
		<guid isPermaLink="false">http://hwasungmars.wordpress.com/2007/12/21/physics-is-hard/#comment-9705</guid>
		<description>A.J, actually that is a very good point. Thanks for sharing your insight.</description>
		<content:encoded><![CDATA[<p>A.J, actually that is a very good point. Thanks for sharing your insight.</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: A.J. Tolland</title>
		<link>http://hwasungmars.wordpress.com/2007/12/21/physics-is-hard/#comment-9704</link>
		<dc:creator>A.J. Tolland</dc:creator>
		<pubDate>Tue, 15 Jul 2008 18:23:00 +0000</pubDate>
		<guid isPermaLink="false">http://hwasungmars.wordpress.com/2007/12/21/physics-is-hard/#comment-9704</guid>
		<description>So... I spend a lot of time talking with mathematicians about QFT, and I think many physicists misunderstand what makes physics difficult for mathematics.   The lack of rigor isn&#039;t really a problem.  No one cares that the naive path integral measure doesn&#039;t actually exist.  The problem is that physicists don&#039;t usually define their terms clearly enough for mathematicians to follow the story.  

Consider, for example, the path integral definition of the expectation value of a scalar field.  If you give a mathematician the expression
$latex \langle \phi(x) \rangle = \int_F d\phi e^{i S(\phi)} \phi(x)$
he&#039;s going to be confused.  Too many $latex \phi$&#039;s.  But if you tell him that there&#039;s a function $latex ev_x$ on the space of classical fields, which sends $latex f$ to $latex f(x)$, and that the expectation value of the operator $latex \phi(x)$ can be computed as 
$latex \langle \phi(x) \rangle = \int d\mu(f) exp(i S(f)) ev_x(f)$
for some measure $latex d\mu$, your mathematician will understand perfectly well what you mean.

Of course, your mathematician might get curious about what exactly $d\mu$ is.  If you tell him it&#039;s Lebesgue measure on the space of functions, you&#039;re lying, even as far as the physics goes.  The correct definition of $latex d\mu$ is obtained by regularization and renormalization, and does not assign equal weight to arbitrarily jittery fields.</description>
		<content:encoded><![CDATA[<p>So&#8230; I spend a lot of time talking with mathematicians about QFT, and I think many physicists misunderstand what makes physics difficult for mathematics.   The lack of rigor isn&#8217;t really a problem.  No one cares that the naive path integral measure doesn&#8217;t actually exist.  The problem is that physicists don&#8217;t usually define their terms clearly enough for mathematicians to follow the story.  </p>
<p>Consider, for example, the path integral definition of the expectation value of a scalar field.  If you give a mathematician the expression<br />
<img src='http://l.wordpress.com/latex.php?latex=%5Clangle+%5Cphi%28x%29+%5Crangle+%3D+%5Cint_F+d%5Cphi+e%5E%7Bi+S%28%5Cphi%29%7D+%5Cphi%28x%29&#038;bg=161410&#038;fg=999999&#038;s=0' alt='\langle \phi(x) \rangle = \int_F d\phi e^{i S(\phi)} \phi(x)' title='\langle \phi(x) \rangle = \int_F d\phi e^{i S(\phi)} \phi(x)' class='latex' /><br />
he&#8217;s going to be confused.  Too many <img src='http://l.wordpress.com/latex.php?latex=%5Cphi&#038;bg=161410&#038;fg=999999&#038;s=0' alt='\phi' title='\phi' class='latex' />&#8217;s.  But if you tell him that there&#8217;s a function <img src='http://l.wordpress.com/latex.php?latex=ev_x&#038;bg=161410&#038;fg=999999&#038;s=0' alt='ev_x' title='ev_x' class='latex' /> on the space of classical fields, which sends <img src='http://l.wordpress.com/latex.php?latex=f&#038;bg=161410&#038;fg=999999&#038;s=0' alt='f' title='f' class='latex' /> to <img src='http://l.wordpress.com/latex.php?latex=f%28x%29&#038;bg=161410&#038;fg=999999&#038;s=0' alt='f(x)' title='f(x)' class='latex' />, and that the expectation value of the operator <img src='http://l.wordpress.com/latex.php?latex=%5Cphi%28x%29&#038;bg=161410&#038;fg=999999&#038;s=0' alt='\phi(x)' title='\phi(x)' class='latex' /> can be computed as<br />
<img src='http://l.wordpress.com/latex.php?latex=%5Clangle+%5Cphi%28x%29+%5Crangle+%3D+%5Cint+d%5Cmu%28f%29+exp%28i+S%28f%29%29+ev_x%28f%29&#038;bg=161410&#038;fg=999999&#038;s=0' alt='\langle \phi(x) \rangle = \int d\mu(f) exp(i S(f)) ev_x(f)' title='\langle \phi(x) \rangle = \int d\mu(f) exp(i S(f)) ev_x(f)' class='latex' /><br />
for some measure <img src='http://l.wordpress.com/latex.php?latex=d%5Cmu&#038;bg=161410&#038;fg=999999&#038;s=0' alt='d\mu' title='d\mu' class='latex' />, your mathematician will understand perfectly well what you mean.</p>
<p>Of course, your mathematician might get curious about what exactly $d\mu$ is.  If you tell him it&#8217;s Lebesgue measure on the space of functions, you&#8217;re lying, even as far as the physics goes.  The correct definition of <img src='http://l.wordpress.com/latex.php?latex=d%5Cmu&#038;bg=161410&#038;fg=999999&#038;s=0' alt='d\mu' title='d\mu' class='latex' /> is obtained by regularization and renormalization, and does not assign equal weight to arbitrarily jittery fields.</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Review: Srednicki&#8217;s QFT &#171; The Art of Equations</title>
		<link>http://hwasungmars.wordpress.com/2007/12/21/physics-is-hard/#comment-9629</link>
		<dc:creator>Review: Srednicki&#8217;s QFT &#171; The Art of Equations</dc:creator>
		<pubDate>Tue, 11 Mar 2008 21:07:09 +0000</pubDate>
		<guid isPermaLink="false">http://hwasungmars.wordpress.com/2007/12/21/physics-is-hard/#comment-9629</guid>
		<description>[...] QFT. My favorite book and the book that I always consult first is Srednicki. I think if my friend had encountered this book before, he wouldn&#8217;t have ended up being an algebraic topologist! [...]</description>
		<content:encoded><![CDATA[<p>[...] QFT. My favorite book and the book that I always consult first is Srednicki. I think if my friend had encountered this book before, he wouldn&#8217;t have ended up being an algebraic topologist! [...]</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Lecture Notes of 2007 &#171; The Art of Equations</title>
		<link>http://hwasungmars.wordpress.com/2007/12/21/physics-is-hard/#comment-9523</link>
		<dc:creator>Lecture Notes of 2007 &#171; The Art of Equations</dc:creator>
		<pubDate>Mon, 31 Dec 2007 16:30:12 +0000</pubDate>
		<guid isPermaLink="false">http://hwasungmars.wordpress.com/2007/12/21/physics-is-hard/#comment-9523</guid>
		<description>[...] These lecture notes are an excellent introduction for people who want to learn the difficult QFT. [...]</description>
		<content:encoded><![CDATA[<p>[...] These lecture notes are an excellent introduction for people who want to learn the difficult QFT. [...]</p>
]]></content:encoded>
	</item>
</channel>
</rss>
