<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
	<id>https://en.formulasearchengine.com/index.php?action=history&amp;feed=atom&amp;title=Counting_problem_%28complexity%29</id>
	<title>Counting problem (complexity) - Revision history</title>
	<link rel="self" type="application/atom+xml" href="https://en.formulasearchengine.com/index.php?action=history&amp;feed=atom&amp;title=Counting_problem_%28complexity%29"/>
	<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Counting_problem_(complexity)&amp;action=history"/>
	<updated>2026-04-10T06:58:24Z</updated>
	<subtitle>Revision history for this page on the wiki</subtitle>
	<generator>MediaWiki 1.43.0-wmf.28</generator>
	<entry>
		<id>https://en.formulasearchengine.com/index.php?title=Counting_problem_(complexity)&amp;diff=238416&amp;oldid=prev</id>
		<title>en&gt;AnomieBOT: Dating maintenance tags: {{Unreferenced}}</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Counting_problem_(complexity)&amp;diff=238416&amp;oldid=prev"/>
		<updated>2014-10-18T07:15:52Z</updated>

		<summary type="html">&lt;p&gt;Dating maintenance tags: {{Unreferenced}}&lt;/p&gt;
&lt;a href=&quot;https://en.formulasearchengine.com/index.php?title=Counting_problem_(complexity)&amp;amp;diff=238416&amp;amp;oldid=8564&quot;&gt;Show changes&lt;/a&gt;</summary>
		<author><name>en&gt;AnomieBOT</name></author>
	</entry>
	<entry>
		<id>https://en.formulasearchengine.com/index.php?title=Counting_problem_(complexity)&amp;diff=8564&amp;oldid=prev</id>
		<title>en&gt;777sms at 02:57, 14 April 2012</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Counting_problem_(complexity)&amp;diff=8564&amp;oldid=prev"/>
		<updated>2012-04-14T02:57:39Z</updated>

		<summary type="html">&lt;p&gt;&lt;/p&gt;
&lt;p&gt;&lt;b&gt;New page&lt;/b&gt;&lt;/p&gt;&lt;div&gt;In [[quantum field theory]], a &amp;#039;&amp;#039;&amp;#039;nonlinear σ model&amp;#039;&amp;#039;&amp;#039; describes a [[scalar field]] Σ which takes on values in a nonlinear manifold called the [[target manifold]] T. The non-linear σ-model was introduced by {{harvtxt|Gell-Mann|Lévy|1960|loc=section 6}}, who named it after a field corresponding to a spin 0 meson called σ in their model.&lt;br /&gt;
&amp;lt;ref&amp;gt;{{Citation | last2=Lévy | first1=M. | last1=Gell-Mann | first2=M. | title=The axial vector current in beta decay | publisher=Italian Physical Society | doi=10.1007/BF02859738 | year=1960 | journal=Il Nuovo Cimento | issn=1827-6121 | volume=16 | pages=705–726}}&amp;lt;/ref&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==Description==&lt;br /&gt;
&lt;br /&gt;
The target manifold T is equipped with a [[Riemannian metric]] g. Σ is a differentiable map from [[Minkowski space]] M (or some other space) to T. &lt;br /&gt;
&lt;br /&gt;
The [[Lagrangian density]] in contemporary chiral form&amp;lt;ref&amp;gt;{{cite doi|10.1007/BF02860276|noedit}}&amp;lt;/ref&amp;gt; is given by:&lt;br /&gt;
:&amp;lt;math&amp;gt;\mathcal{L}={1\over 2}g(\partial^\mu\Sigma_a,\partial_\mu\Sigma_b)-V(\Sigma)&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
where here, we have used a + - - - [[metric signature]] and the [[partial derivative]] &amp;lt;math&amp;gt;\partial\Sigma&amp;lt;/math&amp;gt; is given by a section of the [[jet bundle]] of T&amp;amp;times;M and V is the potential.&lt;br /&gt;
&lt;br /&gt;
In the coordinate notation, with the coordinates Σ&amp;lt;sup&amp;gt;a&amp;lt;/sup&amp;gt;, a=1,...,n where n is the dimension of T,&lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt;\mathcal{L}={1\over 2}g_{ab}(\Sigma) \partial^\mu \Sigma^{a} \partial_\mu \Sigma^{b} - V(\Sigma)&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
In more than 2 dimensions, nonlinear σ models are nonrenormalizable. This means they can only arise as [[effective field theory|effective field theories]]. New physics is needed at around the distance scale where the two point [[connected correlation function]] is of the same order as the curvature of the target manifold. This is called the [[UV completion]] of the theory.&lt;br /&gt;
&lt;br /&gt;
There is a special class of nonlinear σ models with the [[internal symmetry]] group G *. If G is a [[Lie group]] and H is a [[Lie subgroup]], then the [[quotient space]] G/H is a manifold (subject to certain technical restrictions like H being a closed subset) and is also a [[homogeneous space]] of G or in other words, a [[nonlinear realization]] of G. In many cases, G/H can be equipped with a [[Riemannian metric]] which is G-invariant. This is always the case, for example, if G is [[compact group|compact]]. A nonlinear σ model with G/H as the target manifold with a G-invariant Riemannian metric and a zero potential is called a quotient space (or coset space) nonlinear σ model.&lt;br /&gt;
&lt;br /&gt;
When computing [[functional integration|path integrals]], the functional measure needs to be &amp;quot;weighted&amp;quot; by the square root of the [[determinant]] of g&lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt;\sqrt{\det g}\mathcal{D}\Sigma.&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
This model proved to be relevant in string theory where the two-dimensional manifold is named &amp;#039;&amp;#039;&amp;#039;worldsheet&amp;#039;&amp;#039;&amp;#039;. Proof of renormalizability was given by [[Daniel Friedan]].&amp;lt;ref name=&amp;quot;Frie80&amp;quot;&amp;gt;&lt;br /&gt;
{{cite journal|last=Friedan|first=D.|authorlink=Daniel Friedan|title=Nonlinear models in 2+ε dimensions | journal = PRL | volume = 45 | issue = 13| pages = 1057 |publisher=|location=| year = 1980 | url = http://link.aps.org/doi/10.1103/PhysRevLett.45.1057 |doi= 10.1103/PhysRevLett.45.1057 | bibcode=1980PhRvL..45.1057F}}&amp;lt;/ref&amp;gt; He showed that the theory admits a renormalization group equation, at the leading order of perturbation theory, in the form&lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt;\lambda\frac{\partial g_{\mu\nu}}{\partial\lambda}=\beta_{\mu\nu}(T^{-1}g)=R_{\mu\nu}+O(T^2).&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
being &amp;lt;math&amp;gt;R_{\mu\nu}&amp;lt;/math&amp;gt; the [[Ricci tensor]]. &lt;br /&gt;
&lt;br /&gt;
This represents a [[Ricci flow]] having [[Einstein field equations]] for the target manifold as a fixed point. The existence of such a fixed point is relevant, as it grants, at this order of perturbation theory, that [[conformal field theory|conformal invariance]] is not lost due to quantum corrections and one has a sensible [[quantum field theory]]. Further adding nonlinear interactions representing flavor-chiral anomalies results in the [[Wess–Zumino–Witten model]],&amp;lt;ref&amp;gt;{{cite journal |first=E. |last=Witten |title=Non-abelian bosonization in two dimensions |journal=[[Communications in Mathematical Physics]] |volume= 92| issue= 4 |year=1984 | pages= 455–472 | doi= 10.1007/BF01215276|bibcode = 1984CMaPh..92..455W }}&amp;lt;/ref&amp;gt;  which &lt;br /&gt;
augments the geometry of the flow to include [[Torsion tensor|torsion]], leading to an [[infrared fixed point]] as well, on account of [[teleparallelism]] (&amp;quot;geometrostasis&amp;quot;).&amp;lt;ref&amp;gt;{{cite doi|10.1016/0550-3213(85)90053-7 |noedit}}&amp;lt;/ref&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==O(3) Non-linear Sigma Model==&lt;br /&gt;
&lt;br /&gt;
One of the most famous examples, of particular interest due to its topological properties, is the O(3) nonlinear sigma model in 1 + 1 dimensions, with the Lagrangian density&lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt;\mathcal L= \tfrac{1}{2}\ \partial^\mu \hat n \cdot\partial_\mu \hat n &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
where &amp;lt;math&amp;gt;\hat n=(n_1,n_2,n_3)&amp;lt;/math&amp;gt; with the constraint &amp;lt;math&amp;gt;\hat n\cdot \hat n=1&amp;lt;/math&amp;gt; and &amp;lt;math&amp;gt;\mu=1,2&amp;lt;/math&amp;gt;. This model allows for topological finite action solutions, as at infinite space-time the Lagrangian density must vanish, meaning &amp;lt;math&amp;gt;\hat n=\textrm{const.}&amp;lt;/math&amp;gt; at infinity. Therefore in the class of finite-action solutions we may identify the points at infinity as a single point, i.e. that space-time can be identified with a [[Riemann Sphere]]. Since the &amp;lt;math&amp;gt;\hat n&amp;lt;/math&amp;gt;-field lives on a sphere as well, we have a mapping &amp;lt;math&amp;gt;S^2\rightarrow S^2&amp;lt;/math&amp;gt;, the solutions of which are classified by the Second [[Homotopy group]] of a 2-sphere. These solutions are called the O(3) [[Instantons]].&lt;br /&gt;
&lt;br /&gt;
==See also==&lt;br /&gt;
* [[Sigma model]]&lt;br /&gt;
* [[Chiral model]]&lt;br /&gt;
* [[Little Higgs]]&lt;br /&gt;
* [[Skyrmion]], a soliton in non-linear sigma models&lt;br /&gt;
* [[WZW model]]&lt;br /&gt;
* [[Fubini-Study metric]], a metric often used with non-linear sigma models.&lt;br /&gt;
* [[Ricci flow]]&lt;br /&gt;
* [[Scale invariance]]&lt;br /&gt;
&lt;br /&gt;
==References==&lt;br /&gt;
{{Reflist|1}}&lt;br /&gt;
&lt;br /&gt;
==External links==&lt;br /&gt;
* [http://www.scholarpedia.org/article/Nonlinear_Sigma_model &amp;#039;Nonlinear Sigma model&amp;#039; on Scholarpedia]&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
{{Quantum field theories}}&lt;br /&gt;
&lt;br /&gt;
{{DEFAULTSORT:Non-Linear Sigma Model}}&lt;br /&gt;
[[Category:Quantum field theory]]&lt;/div&gt;</summary>
		<author><name>en&gt;777sms</name></author>
	</entry>
</feed>