<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
	<id>https://en.formulasearchengine.com/w/index.php?action=history&amp;feed=atom&amp;title=Contraction_hierarchies</id>
	<title>Contraction hierarchies - Revision history</title>
	<link rel="self" type="application/atom+xml" href="https://en.formulasearchengine.com/w/index.php?action=history&amp;feed=atom&amp;title=Contraction_hierarchies"/>
	<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/w/index.php?title=Contraction_hierarchies&amp;action=history"/>
	<updated>2026-08-16T00:58:21Z</updated>
	<subtitle>Revision history for this page on the wiki</subtitle>
	<generator>MediaWiki 1.47.0-wmf.7</generator>
	<entry>
		<id>https://en.formulasearchengine.com/w/index.php?title=Contraction_hierarchies&amp;diff=26236&amp;oldid=prev</id>
		<title>en&gt;Mogism: /* The algorithm */Cleanup/Typo fixing, typos fixed: a hour → an hour, etc) → etc.) using AWB</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/w/index.php?title=Contraction_hierarchies&amp;diff=26236&amp;oldid=prev"/>
		<updated>2013-08-31T21:46:14Z</updated>

		<summary type="html">&lt;p&gt;&lt;span class=&quot;autocomment&quot;&gt;The algorithm: &lt;/span&gt;Cleanup/&lt;a href=&quot;/w/index.php?title=WP:AWB/T&amp;amp;action=edit&amp;amp;redlink=1&quot; class=&quot;new&quot; title=&quot;WP:AWB/T (page does not exist)&quot;&gt;Typo fixing&lt;/a&gt;, &lt;a href=&quot;/w/index.php?title=WP:AWB/T&amp;amp;action=edit&amp;amp;redlink=1&quot; class=&quot;new&quot; title=&quot;WP:AWB/T (page does not exist)&quot;&gt;typos fixed&lt;/a&gt;: a hour → an hour, etc) → etc.) using &lt;a href=&quot;/w/index.php?title=Testwiki:AWB&amp;amp;action=edit&amp;amp;redlink=1&quot; class=&quot;new&quot; title=&quot;Testwiki:AWB (page does not exist)&quot;&gt;AWB&lt;/a&gt;&lt;/p&gt;
&lt;p&gt;&lt;b&gt;New page&lt;/b&gt;&lt;/p&gt;&lt;div&gt;The &amp;#039;&amp;#039;&amp;#039;Callan–Giddings–Harvey–Strominger model&amp;#039;&amp;#039;&amp;#039; or &amp;#039;&amp;#039;&amp;#039;CGHS&amp;#039;&amp;#039;&amp;#039;&amp;lt;ref&amp;gt;&lt;br /&gt;
{{cite journal&lt;br /&gt;
| last1 = Callan | first1 = Curtis | authorlink1 = Curtis Callan&lt;br /&gt;
| last2 = Giddings | first2 = Steven | authorlink2 = Steven Giddings&lt;br /&gt;
| last3 = Harvey | first3 = Jeffrey | authorlink3 = Jeffrey A. Harvey&lt;br /&gt;
| last4 = Strominger | first4 = Andrew | authorlink4 = Andrew Strominger&lt;br /&gt;
| year = 1992&lt;br /&gt;
| title = Evanescent black holes&lt;br /&gt;
| journal = Physical Review D&lt;br /&gt;
| volume = 45 | pages = 1005–1009&lt;br /&gt;
| doi = 10.1103/PhysRevD.45.R1005&lt;br /&gt;
| arxiv = hep-th/9111056&lt;br /&gt;
}}&amp;lt;/ref&amp;gt; in short is a [[toy model]] of [[general relativity]] in 1 spatial and 1 time dimension. General relativity is a highly nonlinear model, and as such, its 3+1D version is usually too complicated to analyze in detail. In 3+1D and higher, propagating [[gravitational wave]]s exist, but not in 2+1D or 1+1D. In 2+1D, general relativity becomes a [[2+1D topological gravity|topological field theory]] with no local degrees of freedom, and all 1+1D models are locally [[Flat (geometry)|flat]]. However, a slightly more complicated generalization of general relativity which includes [[dilaton]]s will turn the 2+1D model into one admitting mixed propagating dilaton-gravity waves, as well as making the 1+1D model geometrically nontrivial locally.&amp;lt;ref&amp;gt;&lt;br /&gt;
{{cite journal&lt;br /&gt;
 | last1 = Grumiller | first1 = Daniel | authorlink1 = Daniel Grumiller&lt;br /&gt;
 | last2 = Kummer | first2 = Wolfgang | authorlink2 = Wolfgang Kummer&lt;br /&gt;
 | last3 = Vassilevich | first3 = Dmitri | authorlink3 = Dmitri Vassilevich&lt;br /&gt;
 | date = October 2002&lt;br /&gt;
 | title = Dilaton Gravity in Two Dimensions&lt;br /&gt;
 | journal = Physics Reports&lt;br /&gt;
 | volume = 369 | issue = 4 | pages = 327&amp;amp;ndash;430&lt;br /&gt;
 | doi = 10.1016/S0370-1573(02)00267-3&lt;br /&gt;
 |arxiv=hep-th/0204253&lt;br /&gt;
}}&amp;lt;/ref&amp;gt;&amp;lt;ref&amp;gt;&lt;br /&gt;
{{cite journal&lt;br /&gt;
 | last1 = Grumiller | first1 = Daniel | authorlink1 = Daniel Grumiller&lt;br /&gt;
 | last2 = Meyer | first2 = Rene | authorlink2 = Rene Meyer&lt;br /&gt;
 | year = 2006&lt;br /&gt;
 | title = Ramifications of Lineland&lt;br /&gt;
 | journal = Turkish Journal of Physics&lt;br /&gt;
 | volume  = 30 | issue = 5 | pages = 349&amp;amp;ndash;378&lt;br /&gt;
 | url = http://mistug.tubitak.gov.tr/bdyim/abs.php?dergi=fiz&amp;amp;rak=0604-8&lt;br /&gt;
 | arxiv = hep-th/0604049&lt;br /&gt;
}}&amp;lt;/ref&amp;gt; The 1+1D model still does not admit any propagating gravitational (or dilaton) degrees of freedom, but with the addition of matter fields, it becomes a simplified, but still nontrivial model. With other numbers of dimensions, a dilaton-gravity coupling can always be rescaled away by a conformal rescaling of the metric, converting the [[Jordan and Einstein frames|Jordan frame]] to the [[Einstein frame]]. But not in two dimensions, because the conformal weight of the dilaton is now 0. The metric in this case is more amenable to analytical solutions than the general 3+1D case. And of course, 0+1D models cannot capture any nontrivial aspect of relativity because there is no space at all.&lt;br /&gt;
&lt;br /&gt;
This class of models retains just enough complexity to include among its solutions [[black hole]]s, their formation, FRW cosmological models, [[gravitational singularities]], etc. In the quantized version of such models with matter fields, [[Hawking radiation]] also shows up, just as in higher dimensional models.&lt;br /&gt;
&lt;br /&gt;
== Action ==&lt;br /&gt;
&lt;br /&gt;
A very specific choice of couplings and interactions leads to the CGHS model.&lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt;S = \frac{1}{2\pi} \int d^2x\, \sqrt{-g}\left\{ e^{-2\phi} \left[ R + 4\left( \nabla\phi \right)^2 + 4\lambda^2 \right] - \sum^N_{i=1} \frac{1}{2}\left( \nabla f_i \right)^2 \right\}&amp;lt;/math&amp;gt;&lt;br /&gt;
where &amp;#039;&amp;#039;g&amp;#039;&amp;#039; is the [[metric tensor]], &amp;#039;&amp;#039;φ&amp;#039;&amp;#039; is the dilaton field, &amp;#039;&amp;#039;f&amp;lt;sub&amp;gt;i&amp;lt;/sub&amp;gt;&amp;#039;&amp;#039; are the matter fields, and &amp;#039;&amp;#039;λ&amp;lt;sup&amp;gt;2&amp;lt;/sup&amp;gt;&amp;#039;&amp;#039; is the [[cosmological constant]]. In particular, the cosmological constant is nonzero, and the matter fields are massless real scalars.&lt;br /&gt;
&lt;br /&gt;
This specific choice is classically [[integrable]], but still not amenable to an exact quantum solution. It is also the action for [[Non-critical string theory]] and [[dimensional reduction]] of higher dimensional model. It also distinguishes it from [[Jackiw&amp;amp;ndash;Teitelboim gravity]] and [[Liouville gravity]], which are entirely different models.&lt;br /&gt;
&lt;br /&gt;
The matter field only couples to the [[causal structure]], and in the light-cone gauge {{nowrap|ds&amp;lt;sup&amp;gt;2&amp;lt;/sup&amp;gt; {{=}} − e&amp;lt;sup&amp;gt;2ρ&amp;lt;/sup&amp;gt; du,dv}}, has the simple generic form&lt;br /&gt;
:&amp;lt;math&amp;gt;f_i\left( u, v \right) = A_i\left( u \right) + B_i \left( v \right)&amp;lt;/math&amp;gt;,&lt;br /&gt;
with a factorization between left- and right-movers.&lt;br /&gt;
&lt;br /&gt;
The Raychaudhuri equations are&lt;br /&gt;
:&amp;lt;math&amp;gt;e^{-2\phi} \left( - 2\phi_{,vv} + 4 \rho_{,v}\phi_{,v} \right) + f_{i,v}f_{i,v}/2= 0&amp;lt;/math&amp;gt; and&lt;br /&gt;
:&amp;lt;math&amp;gt;e^{-2\phi} \left( - 2\phi_{,uu} + 4 \rho_{,u}\phi_{,u} \right) + f_{i,u}f_{i,u}/2= 0&amp;lt;/math&amp;gt;.&lt;br /&gt;
The dilaton evolves according to&lt;br /&gt;
:&amp;lt;math&amp;gt;\left( e^{-2\phi} \right)_{,uv} = - \lambda^2 e^{-2\phi}e^{2\rho}&amp;lt;/math&amp;gt;,&lt;br /&gt;
while the metric evolves according to&lt;br /&gt;
:&amp;lt;math&amp;gt;2\rho_{,uv} - 4\phi_{,uv} + 4\phi_{,u}\phi_{,v} + \lambda^2 e^{2\rho} = 0&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
The [[conformal anomaly]] due to matter induces a [[Liouville term]] in the [[effective action]].&lt;br /&gt;
&lt;br /&gt;
=== Black hole ===&lt;br /&gt;
&lt;br /&gt;
A vacuum black hole solution is given by&lt;br /&gt;
:&amp;lt;math&amp;gt;ds^2 = - \left( \frac{M}{\lambda} - \lambda^2 uv \right)^{-1} du\, dv&amp;lt;/math&amp;gt;&lt;br /&gt;
:&amp;lt;math&amp;gt;e^{-2\phi} = \frac{M}{\lambda} - \lambda^2 uv&amp;lt;/math&amp;gt;,&lt;br /&gt;
where &amp;#039;&amp;#039;M&amp;#039;&amp;#039; is the ADM mass.&lt;br /&gt;
Singularities appear at {{nowrap|uv {{=}} λ&amp;lt;sup&amp;gt;−3&amp;lt;/sup&amp;gt;M}}.&lt;br /&gt;
&lt;br /&gt;
The masslessness of the matter fields allow a black hole to completely evaporate away via [[Hawking radiation]]. In fact, this model was originally studied to shed light upon the [[black hole information paradox]].&lt;br /&gt;
&lt;br /&gt;
== References ==&lt;br /&gt;
&amp;lt;references /&amp;gt;&lt;br /&gt;
&lt;br /&gt;
== See also ==&lt;br /&gt;
&lt;br /&gt;
* [[dilaton]]&lt;br /&gt;
* [[general relativity]]&lt;br /&gt;
* [[quantum gravity]]&lt;br /&gt;
* [[RST model]]&lt;br /&gt;
* [[Jackiw&amp;amp;ndash;Teitelboim gravity]]&lt;br /&gt;
* [[Liouville gravity]]&lt;br /&gt;
&lt;br /&gt;
{{theories of gravitation}}&lt;br /&gt;
{{quantum gravity}}&lt;br /&gt;
&lt;br /&gt;
[[Category:Quantum gravity]]&lt;br /&gt;
[[Category:General relativity]]&lt;/div&gt;</summary>
		<author><name>en&gt;Mogism</name></author>
	</entry>
</feed>