Abstract
Analogue gravity is a research programme which investigates analogues of general relativistic gravitational fields within other physical systems, typically but not exclusively condensed matter systems, with the aim of gaining new insights into their corresponding problems. Analogue models of (and for) gravity have a long and distinguished history dating back to the earliest years of general relativity. In this review article we will discuss the history, aims, results, and future prospects for the various analogue models. We start the discussion by presenting a particularly simple example of an analogue model, before exploring the rich history and complex tapestry of models discussed in the literature. The last decade in particular has seen a remarkable and sustained development of analogue gravity ideas, leading to some hundreds of published articles, a workshop, two books, and this review article. Future prospects for the analogue gravity programme also look promising, both on the experimental front (where technology is rapidly advancing) and on the theoretical front (where variants of analogue models can be used as a springboard for radical attacks on the problem of quantum gravity).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
And I cherish more than anything else the Analogies, my most trustworthy masters.
They know all the secrets of Nature, and they ought to be least neglected in Geometry.
— Johannes Kepler
Analogies have played a very important role in physics and mathematics — they provide new ways of looking at problems that permit crossfertilization of ideas among different branches of science. A carefully chosen analogy can be extremely useful in focusing attention on a specific problem, and in suggesting unexpected routes to a possible solution. In this review article we will focus on “analogue gravity”, the development of analogies (typically but not always based on condensed matter physics) to probe aspects of the physics of curved spacetime — and in particular to probe aspects of curved space quantum field theory, and to obtain lessons of potential relevance on the road towards a theory of quantum gravity.
The most wellknown of these analogies is the use of sound waves in a moving fluid as an analogue for light waves in a curved spacetime. Supersonic fluid flow can then generate a “dumb hole”, the acoustic analogue of a “black hole”, and the analogy can be extended all the way to mathematically demonstrating the presence of phononic Hawking radiation from the acoustic horizon. This particular example provides (at least in principle) a concrete laboratory model for curvedspace quantum field theory in a realm that is technologically accessible to experiment.
There are many other “analogue models” that may be useful for this or other reasons — some of the analogue models are interesting for experimental reasons, others are useful for the way they provide new light on perplexing theoretical questions. The information flow is, in principle, bidirectional and sometimes insights developed within the context of general relativity can be used to understand aspects of the analogue model.
Of course, analogy is not identity, and we are in no way claiming that the analogue models we consider are completely equivalent to general relativity — merely that the analogue model (in order to be interesting) should capture and accurately reflect a sufficient number of important features of general relativity (or sometimes special relativity). The list of analogue models is extensive, and in this review we will seek to do justice both to the key models, and to the key features of those models.
1.1 Overview
In the following sections we shall:

Discuss the flowing fluid analogy in some detail.

Summarise the history and motivation for various analogue models.

Discuss the many physics issues various researchers have addressed.

Provide a representative catalogue of extant models.

Discuss the main physics results obtained to date, both on the theoretical and experimental sides.

Outline some of the many possible directions for future research.

Summarise the current state of affairs.
By that stage the interested reader will have had a quite thorough introduction to the ideas, techniques, and hopes of the analogue gravity programme.
1.2 Motivations
The motivation for these investigations (both historical and current) is rather mixed. In modern language, the reasons to investigate analogue models are:

Partly to use condensed matter to gain insight into classical general relativity.

Partly to use condensed matter to gain insight into curvedspace quantum field theory.

Partly to develop an observational window on curvedspace quantum field theory.

Partly to use classical general relativity to gain insight into condensed matter physics.

Partly to gain insight into new and radicallydifferent ways of dealing with “quantum/emergent gravity”.
1.3 Going further
Apart from this present review article, and the references contained herein, there are several key items that stand out as starting points for any deeper investigation:

The book “Artificial Black Holes”, edited by Novello, Visser, and Volovik [470].

The archival website for the “Analogue models” workshop: — http://www.msor.victoria.ac.nz/∼visser/Analog/

The book “The Universe in a Helium Droplet”, by Volovik [660].

The Physics Reports article, “Superfluid analogies of cosmological phenomena”, by Volovik [655].

The review article by Balbinot, Fabbri, Fagnocchi, and Parentani [21] (focussing largely on backreaction and shortdistance effects).

The Lecture Notes in Physics volume on “Quantum Analogies” edited by Unruh and Schützhold [614].
2 The Simplest Example of an Analogue Spacetime
Acoustics in a moving fluid is the simplest and cleanest example of an analogue model [607, 622, 626, 624]. The basic physics is simple, the conceptual framework is simple, and specific computations are often simple (whenever, that is, they are not impossibly hard).^{Footnote 1}
2.1 Background
The basic physics is this: A moving fluid will drag sound waves along with it, and if the speed of the fluid ever becomes supersonic, then in the supersonic region sound waves will never be able to fight their way back upstream [607, 622, 626, 624]. This implies the existence of a “dumb hole”, a region from which sound can not escape.^{Footnote 2} Of course this sounds very similar, at the level of a nonmathematical verbal analogy, to the notion of a “black hole” in general relativity. The real question is whether this verbal analogy can be turned into a precise mathematical and physical statement — it is only after we have a precise mathematical and physical connection between (in this example) the physics of acoustics in a fluid flow and at least some significant features of general relativity that we can claim to have an “analogue model of (some aspects of) gravity”.
Now the features of general relativity that one typically captures in an “analogue model” are the kinematic features that have to do with how fields (classical or quantum) are defined on curved spacetime, and the sine qua non of any analogue model is the existence of some “effective metric” that captures the notion of the curved spacetimes that arise in general relativity. (At the very least, one might wish to capture the notion of the Minkowski geometry of special relativity.) Indeed, the verbal description above (and its generalizations in other physical frameworks) can be converted into a precise mathematical and physical statement, which ultimately is the reason that analogue models are of physical interest. The analogy works at two levels:

Geometrical acoustics.

Physical acoustics.
The advantage of geometrical acoustics is that the derivation of the precise mathematical form of the analogy is so simple as to be almost trivial, and that the derivation is extremely general. The disadvantage is that in the geometrical acoustics limit one can deduce only the causal structure of the spacetime, and does not obtain a unique effective metric. The advantage of physical acoustics is that, while the derivation of the analogy holds in a more restricted regime, the analogy can do more for you in that it can now uniquely determine a specific effective metric and accommodate a wave equation for the sound waves.
2.2 Geometrical acoustics
At the level of geometrical acoustics we need only assume that:

The speed of sound c, relative to the fluid, is well defined.

The velocity of the fluid v, relative to the laboratory, is well defined.
Then, relative to the laboratory, the velocity of a sound ray propagating, with respect to the fluid, along the direction defined by the unit vector n, is
This defines a sound cone in spacetime given by the condition n^{2} = 1, i.e.,
That is
Solving this quadratic equation for dx as a function of dt provides a double cone associated with each point in space and time. This is associated with a conformal class of Lorentzian metrics [607, 622, 626, 624, 470]
where Ω is an unspecified but nonvanishing function.
The virtues of the geometric approach are its extreme simplicity and the fact that the basic structure is dimensionindependent. Moreover, this logic rapidly (and relatively easily) generalises to more complicated physical situations.^{Footnote 3}
2.3 Physical acoustics
It is well known that for a static homogeneous inviscid fluid the propagation of sound waves is governed by the simple wave equation [370, 372, 443, 577]
Generalizing this result to a fluid that is nonhomogeneous, or to a fluid that is in motion, possibly even in nonsteady motion, is more subtle than it at first would appear. To derive a wave equation in this more general situation we shall start by adopting a few simplifying assumptions to allow us to derive the following theorem.
Theorem. If a fluid is barotropic and inviscid, and the flow is irrotational (though possibly time dependent) then the equation of motion for the velocity potential describing an acoustic disturbance is identical to the d’Alembertian equation of motion for a minimallycoupled massless scalar field propagating in a (3+1)dimensional Lorentzian geometry
Under these conditions, the propagation of sound is governed by an acoustic metric — g_{ μν }(t, x). This acoustic metric describes a (3+1)dimensional Lorentzian (pseudoRiemannian) geometry. The metric depends algebraically on the density, velocity of flow, and local speed of sound in the fluid. Specifically
(Here I is the 3 × 3 identity matrix.) In general, when the fluid is nonhomogeneous and flowing, the acoustic Riemann tensor associated with this Lorentzian metric will be nonzero.
Comment. It is quite remarkable that even though the underlying fluid dynamics is Newtonian, nonrelativistic, and takes place in flat spaceplustime, the fluctuations (sound waves) are governed by a curved (3+1)dimensional Lorentzian (pseudoRiemannian) spacetime geometry. For practitioners of general relativity this observation describes a very simple and concrete physical model for certain classes of Lorentzian spacetimes, including (as we shall later see) black holes. On the other hand, this discussion is also potentially of interest to practitioners of continuum mechanics and fluid dynamics in that it provides a simple concrete introduction to Lorentzian differential geometric techniques.
Proof. The fundamental equations of fluid dynamics [370, 372, 443, 577] are the equation of continuity
and Euler’s equation (equivalent to F = ma applied to small lumps of fluid)
Start the analysis by assuming the fluid to be inviscid (zero viscosity), with the only forces present being those due to pressure.^{Footnote 4} Then, for the force density, we have
Via standard manipulations the Euler equation can be rewritten as
Now take the flow to be vorticity free, that is, locally irrotational. Introduce the velocity potential Φ such that v = − ∇Φ at least locally. If one further takes the fluid to be barotropic (this means that ρ is a function of p only), it becomes possible to define
Thus, the specific enthalpy, h(p), is a function of p only. Euler’s equation now reduces to
This is a version of Bernoulli’s equation.
Now linearise these equations of motion around some assumed background (ρ_{0}, p_{0}, Φ_{0}). Set
Sound is defined to be these linearised fluctuations in the dynamical quantities. Note that this is the standard definition of (linear) sound and more generally of acoustical disturbances. In principle, of course, a fluid mechanic might really be interested in solving the complete equations of motion for the fluid variables (ρ, p, Φ). In practice, it is both traditional and extremely useful to separate the exact motion, described by the exact variables, (ρ, p, Φ), into some average bulk motion, (ρ_{0}, p_{0}, Φ_{0}), plus low amplitude acoustic disturbances, (ϵρ_{1}, ϵp_{1}, ϵΦ_{1}). See, for example, [370, 372, 443, 577].
Since this is a subtle issue that we have seen cause considerable confusion in the past, let us be even more explicit by asking the rhetorical question: “How can we tell the difference between a wind gust and a sound wave?” The answer is that the difference is to some extent a matter of convention — sufficiently lowfrequency longwavelength disturbances (wind gusts) are conventionally lumped in with the average bulk motion. Higherfrequency, shorterwavelength disturbances are conventionally described as acoustic disturbances. If you wish to be hypertechnical, we can introduce a highpass filter function to define the bulk motion by suitably averaging the exact fluid motion. There are no deep physical principles at stake here — merely an issue of convention. The place where we are making a specific physical assumption that restricts the validity of our analysis is in the requirement that the amplitude of the highfrequency shortwavelength disturbances be small. This is the assumption underlying the linearization programme, and this is why sufficiently highamplitude sound waves must be treated by direct solution of the full equations of fluid dynamics.
Linearizing the continuity equation results in the pair of equations
Now, the barotropic condition implies
Use this result in linearizing the Euler equation. We obtain the pair
This last equation may be rearranged to yield
Use the barotropic assumption to relate
Now substitute this consequence of the linearised Euler equation into the linearised equation of continuity. We finally obtain, up to an overall sign, the wave equation:
This wave equation describes the propagation of the linearised scalar potential Φ_{1}. Once Φ_{1} is determined, Equation (22) determines p_{1}, and Equation (23) then determines ρ_{1}. Thus this wave equation completely determines the propagation of acoustic disturbances. The background fields p_{0}, ρ_{0} and v_{0} = −∇Φ_{0}, which appear as timedependent and positiondependent coefficients in this wave equation, are constrained to solve the equations of fluid motion for a barotropic, inviscid, and irrotational flow. Apart from these constraints, they are otherwise permitted to have arbitrary temporal and spatial dependencies.
Now, written in this form, the physical import of this wave equation is somewhat less than pellucid. To simplify things algebraically, observe that the local speed of sound is defined by
Now construct the symmetric 4 × 4 matrix
(Greek indices run from 0–3, while Roman indices run from 1–3.) Then, introducing (3+1)dimensional spacetime coordinates, which we write as x^{μ} ≡ (t; x^{i}), the above wave Equation (24) is easily rewritten as
This remarkably compact formulation is completely equivalent to Equation (24) and is a much more promising steppingstone for further manipulations. The remaining steps are a straightforward application of the techniques of curved space (3+1)dimensional Lorentzian geometry.
Now in any Lorentzian (i.e., pseudoRiemannian) manifold the curved space scalar d’Alembertian is given in terms of the metric g_{ μν } (t, x) by
(See, for example, [213, 446, 597, 445, 275, 670].) The inverse metric, g^{μν}(t, x), is pointwise the matrix inverse of g_{ μν }(t, x), while g ≡ det(g_{ μν }). Thus one can rewrite the physically derived wave Equation (24) in terms of the d’Alembertian provided one identifies
This implies, on the one hand,
On the other hand, from the explicit expression (26), expanding the determinant in minors yields
Thus,
Therefore, we can pick off the coefficients of the inverse (contravariant) acoustic metric
We could now determine the metric itself simply by inverting this 4 × 4 matrix (and if the reader is not a general relativist, proceeding in this direct manner is definitely the preferred option). On the other hand, for general relativists it is even easier to recognise that one has in front of one a specific example of the ArnowittDeserMisner split of a (3+1)dimensional Lorentzian spacetime metric into space + time, more commonly used in discussing initial value data in general relativity. (See, for example, [445, pp. 505–508].) The (covariant) acoustic metric is then read off by inspection
Equivalently, the acoustic interval (acoustic lineelement) can be expressed as
This completes the proof of the theorem.□
We have presented the theorem and proof, which closely follows the discussion in [624], in considerable detail because it is a standard template that can be readily generalised in many ways. This discussion can then be used as a starting point to initiate the analysis of numerous and diverse physical models.
2.4 General features of the acoustic metric
A few brief comments should be made before proceeding further:

Observe that the signature of this effective metric is indeed (−, +, +, +), as it should be to be regarded as Lorentzian.

Observe that in physical acoustics it is the inverse metric density,
$${f^{\mu \nu}} = \sqrt { g} {g^{\mu \nu}}$$(36)that is of more fundamental significance for deriving the wave equation than is the metric g_{ μν } itself. (This observation continues to hold in more general situations where it is often significantly easier to calculate the tensor density f^{μν} than it is to calculate the effective metric g_{ μν }.)

It should be emphasised that there are two distinct metrics relevant to the current discussion:

The physical spacetime metric is, in this case, just the usual flat metric of Minkowski space:
$${\eta _{\mu \nu}} \equiv {({\rm{diag}}[  c_{{\rm{light}}}^2,1,1,1])_{\mu \nu}}.$$(37)(Here c_{light} is the speed of light in vacuum.) The fluid particles couple only to the physical metric η_{ μν }. In fact the fluid motion is completely nonrelativistic, so that ‖v_{0}‖ ≪ c_{light}, and it is quite sufficient to consider Galilean relativity for the underlying fluid mechanics.

Sound waves on the other hand, do not “see” the physical metric at all. Acoustic perturbations couple only to the effective acoustic metric g_{ μν }.


It is quite remarkable that (to the best of our knowledge) a version of this acoustic metric was first derived and used in Moncrief’s studies of the relativistic hydrodynamics of accretion flows surrounding black holes [448]. Indeed, Moncrief was working in the more general case of a curved background “physical” metric, in addition to a curved “effective” metric. We shall come back to this work later on, in our historical section. (See also Section 4.1.2.)

However, the geometry determined by the acoustic metric does inherit some key properties from the existence of the underlying flat physical metric. For instance, the topology of the manifold does not depend on the particular metric considered. The acoustic geometry inherits the underlying topology of the physical metric — ordinary \(\mathfrak{R}^4\) — with possibly a few regions excised (due to whatever hardwall boundary conditions one might wish to impose on the fluid). In systems constrained to have effectively less than 3 spacelike dimensions one can reproduce more complicated topologies (consider, for example, an effectively onedimensional flow in a tubular ring).

Furthermore, the acoustic geometry automatically inherits from the underlying Newtonian time parameter, the important property of “stable causality” [275, 670]. Note that
$${g^{\mu \nu}}({\nabla _\mu}t)({\nabla _\nu}t) =  {1 \over {{\rho _0}c}} < 0.$$(38)This precludes some of the more entertaining causalityrelated pathologies that sometimes arise in general relativity. (For a general discussion of causal pathologies in general relativity, see, for example, [275, 272, 273, 125, 274, 630]).

Other concepts that translate immediately are those of “ergoregion”, “trapped surface”, “apparent horizon”, and “event horizon”. These notions will be developed more fully in the following subsection.

The properly normalised fourvelocity of the fluid is
$${V^\mu} = {{(1;v_0^i)} \over {\sqrt {{\rho _0}c}}},$$(39)so that
$${g_{\mu \nu}}{V^\mu}{V^\nu} = g(V,V) =  1{.}$$(40)This fourvelocity is related to the gradient of the natural time parameter by
$${\nabla _\mu}t = (1,0,0,0);\quad {\nabla ^\mu}t =  {{(1;v_0^i)} \over {{\rho _0}c}} =  {{{V^\mu}} \over {\sqrt {{\rho _0}c}}}.$$(41)Thus the integral curves of the fluid velocity field are orthogonal (in the Lorentzian metric) to the constant time surfaces. The acoustic proper time along the fluid flow lines (streamlines) is
$$\tau = \int {\sqrt {{\rho _0}c} {\rm{d}}t,}$$(42)and the integral curves are geodesics of the acoustic metric if and only if ρ_{0} c is position independent.

Observe that in a completely general (3+1)dimensional Lorentzian geometry the metric has 6 degrees of freedom per point in spacetime. (4 × 4 symmetric matrix ⇒ 10 independent components; then subtract 4 coordinate conditions).
In contrast, the acoustic metric is more constrained. Being specified completely by the three scalars Φ_{0}(t, x), ρ_{0}(t, x), and c(t, x), the acoustic metric has, at most, 3 degrees of freedom per point in spacetime. The equation of continuity actually reduces this to 2 degrees of freedom, which can be taken to be Φ_{0}(t, x) and c(t, x).
Thus, the simple acoustic metric of this section can, at best, reproduce some subset of the generic metrics of interest in general relativity.

A point of notation: Where the general relativist uses the word “stationary” the fluid dynamicist uses the phrase “steady flow”. The generalrelativistic word “static” translates to a rather messy constraint on the fluid flow (to be discussed more fully below).

Finally, we should emphasise that in Einstein gravity the spacetime metric is related to the distribution of matter by the nonlinear EinsteinHilbert differential equations. In contrast, in the present context, the acoustic metric is related to the distribution of matter in a simple algebraic fashion.
2.4.1 Horizons and ergoregions
In the next two subsections we shall undertake to more fully explain some of the technical details underlying the acoustic analogy. Concepts and quantities such as horizons, ergoregions and “surface gravity” are important features of standard general relativity, and analogies are useful only insofar as they adequately preserve these notions.
Let us start with the notion of an ergoregion: Consider integral curves of the vector
If the flow is steady, then this is the time translation Killing vector. Even if the flow is not steady the background Minkowski metric provides us with a natural definition of “at rest”. Then^{Footnote 5}
This quantity changes sign when ‖v‖ > c. Thus, any region of supersonic flow is an ergoregion. (And the boundary of the ergoregion may be deemed to be the ergosurface.) The analogue of this behaviour in general relativity is the ergosphere surrounding any spinning black hole — it is a region where space “moves” with superluminal velocity relative to the fixed stars [445, 275, 670].
A trapped surface in acoustics is defined as follows: Take any closed twosurface. If the fluid velocity is everywhere inwardpointing and the normal component of the fluid velocity is everywhere greater than the local speed of sound, then no matter what direction a sound wave propagates, it will be swept inward by the fluid flow and be trapped inside the surface. The surface is then said to be outertrapped. (For comparison with the usual situation in general relativity see [275, pp. 319–323] or [670, pp. 310–311].) Innertrapped surfaces (antitrapped surfaces) can be defined by demanding that the fluid flow is everywhere outwardpointing with supersonic normal component. It is only because of the fact that the background Minkowski metric provides a natural definition of “at rest” that we can adopt such a simple and straightforward definition. In ordinary general relativity we need to develop considerable additional technical machinery, such as the notion of the “expansion” of bundles of ingoing and outgoing null geodesics, before defining trapped surfaces. That the above definition for acoustic geometries is a specialization of the usual one can be seen from the discussion in [275, pp. 262–263]. The acoustic trapped region is now defined as the region containing outer trapped surfaces, and the acoustic (future) apparent horizon as the boundary of the trapped region. That is, the acoustic apparent horizon is the twosurface for which the normal component of the fluid velocity is everywhere equal to the local speed of sound. (We can also define antitrapped regions and past apparent horizons but these notions are of limited utility in general relativity.)^{Footnote 6}
The fact that the apparent horizon seems to be fixed in a foliationindependent manner is only an illusion due to the way in which the analogies work. A particular fluid flow reproduces a specific “metric”, (a matrix of coefficients in a specific coordinate system, not a “geometry”), and, in particular, a specific foliation of spacetime. (Only “internal” observers see a “geometry”; see the discussion in Section 7.4). The same “geometry” written in different coordinates would give rise to a different fluid flow (if at all possible, as not all coordinate representations of a fixed geometry give rise to acoustic metrics) and, therefore, to a different apparent horizon.
The event horizon (absolute horizon) is defined, as in general relativity, by demanding that it be the boundary of the region from which null geodesics (phonons) cannot escape. This is actually the future event horizon. A past event horizon can be defined in terms of the boundary of the region that cannot be reached by incoming phonons — strictly speaking this requires us to define notions of past and future null infinities, but we will simply take all relevant incantations as understood. In particular, the event horizon is a null surface, the generators of which are null geodesics.
In all stationary geometries the apparent and event horizons coincide, and the distinction is immaterial. In timedependent geometries the distinction is often important. When computing the surface gravity, we shall restrict attention to stationary geometries (steady flow). In fluid flows of high symmetry (spherical symmetry, plane symmetry), the ergosphere may coincide with the acoustic apparent horizon, or even the acoustic event horizon. This is the analogue of the result in general relativity that for static (as opposed to stationary) black holes the ergosphere and event horizon coincide. For many more details, including appropriate null coordinates and CarterPenrose diagrams, both in stationary and timedependent situations, see [37].
2.4.2 Surface gravity
Because of the definition of event horizon in terms of phonons (null geodesics) that cannot escape the acoustic black hole, the event horizon is automatically a null surface, and the generators of the event horizon are automatically null geodesics. In the case of acoustics, there is one particular parameterization of these null geodesics that is “most natural”, which is the parameterization in terms of the Newtonian time coordinate of the underlying physical metric. This allows us to unambiguously define a “surface gravity” even for nonstationary (timedependent) acoustic event horizons, by calculating the extent to which this natural time parameter fails to be an affine parameter for the null generators of the horizon. (This part of the construction fails in general relativity where there is no universal natural timecoordinate unless there is a timelike Killing vector — this is why extending the notion of surface gravity to nonstationary geometries in general relativity is so difficult.)
When it comes to explicitly calculating the surface gravity in terms of suitable gradients of the fluid flow, it is nevertheless very useful to limit attention to situations of steady flow (so that the acoustic metric is stationary). This has the added bonus that for stationary geometries the notion of “acoustic surface gravity” in acoustics is unambiguously equivalent to the general relativity definition. It is also useful to take cognizance of the fact that the situation simplifies considerably for static (as opposed to merely stationary) acoustic metrics.
To set up the appropriate framework, write the general stationary acoustic metric in the form
The time translation Killing vector is simply \({K^\mu} = (1;\overrightarrow 0)\), with
The metric can also be written as
2.4.2.1 Static acoustic spacetimes
Now suppose that the vector v/(c^{2} − v^{2}) is integrable, (the gradient of some scalar), then we can define a new time coordinate by
Substituting this back into the acoustic line element gives
In this coordinate system the absence of the timespace crossterms makes manifest that the acoustic geometry is in fact static (there exists a family of spacelike hypersurfaces orthogonal to the timelike Killing vector). The condition that an acoustic geometry be static, rather than merely stationary, is thus seen to be
That is, (since in deriving the existence of the effective metric we have already assumed the fluid to be irrotational),
This requires the fluid flow to be parallel to another vector that is not quite the acceleration but is closely related to it. (Note that, because of the vorticity free assumption, \({1 \over 2}\nabla {\upsilon ^2}\) is just the threeacceleration of the fluid, it is the occurrence of a possibly position dependent speed of sound that complicates the above.) Note that because of the barotropic assumption we have
That is
So (given that the geometry is already stationary) the condition for a static acoustic geometry reduces to
This condition can be satisfied in two ways, either by having v ‖ a, or by having the very specific (and not particularly realistic) equation of state
Note that for this particular barotropic equation of state the conformal factor drops out.
Once we have a static geometry, we can of course directly apply all of the standard tricks [601] for calculating the surface gravity developed in general relativity. We set up a system of fiducial observers (FIDOS) by properly normalizing the timetranslation Killing vector
The fouracceleration of the FIDOS is defined as
and using the fact that K is a Killing vector, it may be computed in the standard manner
That is
The surface gravity is now defined by taking the norm ‖A_{FIDO}‖, multiplying by the lapse function, \(\left\Vert {\rm{K}} \right\Vert = \sqrt {(\rho/c)\,\,[{c^2}  {\upsilon ^2}]}\), and taking the limit as one approaches the horizon: v → c (remember that we are currently dealing with the static case). The net result is
so that the surface gravity is given in terms of a normal derivative by^{Footnote 7}
This is not quite Unruh’s result [607, 608] since he implicitly took the speed of sound to be a positionindependent constant. (This is of course a completely appropriate approximation for water, which was the working fluid he was considering.) The fact that prefactor ρ/c drops out of the final result for the surface gravity can be justified by appeal to the known conformal invariance of the surface gravity [315]. Though derived in a totally different manner, this result is also compatible with the expression for “surfacegravity” obtained in the solidstate black holes of Reznik [523], wherein a position dependent (and singular) refractive index plays a role analogous to the acoustic metric. As a further consistency check, one can go to the spherically symmetric case and check that this reproduces the results for “dirty black holes” enunciated in [621]. Finally, note that we can also write the expression for surface gravity as
demonstrating that (in a static acoustic spacetime) the surface gravity is (up to a dimensionless factor depending on the equation of state) directly related to the acceleration of the fluid as it crosses the horizon. For water p = kρ + C, c^{2} = k, and g_{ H } = ‖a‖; for a BoseEinstein condensate (BEC) we shall later on see that \(p = {1 \over 2}k{\rho ^2} + C\), implying c^{2} = kρ, which then leads to the simple result \({g_H} = {1 \over 2}\left\Vert {\rm{a}} \right\Vert\).
Since this is a static geometry, the relationship between the Hawking temperature and surface gravity may be verified in the usual fasttrack manner — using the Wick rotation trick to analytically continue to Euclidean space [245]. If you don’t like Euclidean signature techniques (which are in any case only applicable to equilibrium situations) you should go back to the original Hawking derivations [270, 271].^{Footnote 8}
We should emphasize that the formula for the Hawking temperature contains both the surface gravity g_{ H } and the speed of sound c_{ H } at the horizon [624]. Specifically
In view of the explicit formula for g_{ H } above, this can also be written as
which is closer to the original form provided by Unruh [607] (which corresponds to c being constant). Purely on dimensional grounds it is a spatial derivative of velocity (which has the same engineering dimension as frequency) that is the determining factor in specifying the physicallynormalised Hawking temperature. (Since there is a strong tendency in classical general relativity to adopt units such that c → 1, and even in these analogue models it is common to adopt units such that c_{ H } → 1, this has the potential to lead to some confusion. If you choose units to measure the surface gravity as a physical acceleration, then it is the quantity g_{ H }/c_{ H }, which has the dimensions of frequency that governs the Hawking flux [624].)
One final comment to wrap up this section: The coordinate transform we used to put the acoustic metric into the explicitly static form is perfectly good mathematics, and from the general relativity point of view is even a simplification. However, from the point of view of the underlying Newtonian physics of the fluid, this is a rather bizarre way of deliberately desynchronizing your clocks to take a perfectly reasonable region — the boundary of the region of supersonic flow — and push it out to “time” plus infinity. From the fluid dynamics point of view this coordinate transformation is correct but perverse, and it is easier to keep a good grasp on the physics by staying with the original Newtonian time coordinate.
2.4.2.2 Stationary (nonstatic) acoustic spacetimes
If the fluid flow does not satisfy the integrability condition, which allows us to introduce an explicitly static coordinate system, then defining the surface gravity is a little trickier.
Recall that by construction the acoustic apparent horizon is, in general, defined to be a twosurface for which the normal component of the fluid velocity is everywhere equal to the local speed of sound, whereas the acoustic event horizon (absolute horizon) is characterised by the boundary of those null geodesics (phonons) that do not escape to infinity. In the stationary case these notions coincide, and it is still true that the horizon is a null surface, and that the horizon can be ruled by an appropriate set of null curves. Suppose we have somehow isolated the location of the acoustic horizon, then, in the vicinity of the horizon, we can split up the fluid flow into normal and tangential components
Here (and for the rest of this particular section) it is essential that we use the natural Newtonian time coordinate inherited from the background Newtonian physics of the fluid. In addition \({\rm{\hat n}}\) is a unit vector field that, at the horizon, is perpendicular to it, and away from the horizon is some suitable smooth extension. (For example, take the geodesic distance to the horizon and consider its gradient.) We only need this decomposition to hold in some open set encompassing the horizon and do not need to have a global decomposition of this type available. Furthermore, by definition we know that v_{⊥} = c at the horizon. Now consider the vector field
Since the spatial components of this vector field are by definition tangent to the horizon, the integral curves of this vector field will be generators for the horizon. Furthermore, the norm of this vector (in the acoustic metric) is
In particular, on the acoustic horizon L^{μ} defines a null vector field, the integral curves of which are generators for the acoustic horizon. We shall now verify that these generators are geodesics, though the vector field L is not normalised with an affine parameter, and in this way shall calculate the surface gravity.
Consider the quantity (L · ∇)L and calculate
To calculate the first term note that
Thus,
And so:
On the horizon, where c = v_{⊥}, and additionally assuming v_{‖} · ∇_{ ρ } = 0 so that the density is constant over the horizon, this simplifies tremendously
Similarly, for the second term we have
On the horizon this again simplifies
There is partial cancellation between the two terms, and so
while
Comparing this with the standard definition of surface gravity [670]^{Footnote 9}
we finally have
This is in agreement with the previous calculation for static acoustic black holes, and insofar as there is overlap, is also consistent with results of Unruh [607, 608], Reznik [523], and the results for “dirty black holes” [621]. From the construction it is clear that the surface gravity is a measure of the extent to which the Newtonian time parameter inherited from the underlying fluid dynamics fails to be an affine parameter for the null geodesics on the horizon.^{Footnote 10}
Again, the justification for going into so much detail on this specific model is that this style of argument can be viewed as a template — it will (with suitable modifications) easily generalise to more complicated analogue models.
2.4.3 Example: vortex geometry
As an example of a fluid flow where the distinction between ergosphere and acoustic event horizon is critical, consider the “draining bathtub” fluid flow. We shall model a draining bathtub by a (3+1) dimensional flow with a linear sink along the zaxis. Let us start with the simplifying assumption that the background density ρ is a positionindependent constant throughout the flow (which automatically implies that the background pressure and speed of sound are also constant throughout the fluid flow). The equation of continuity then implies that for the radial component of the fluid velocity we must have
In the tangential direction, the requirement that the flow be vorticity free (apart from a possible deltafunction contribution at the vortex core) implies, via Stokes’ theorem, that
(If these flow velocities are nonzero, then following the discussion of [641] there must be some external force present to set up and maintain the background flow. Fortunately it is easy to see that this external force affects only the background flow and does not influence the linearised fluctuations we are interested in.)
For the background velocity potential we must then have
Note that, as we have previously hinted, the velocity potential is not a true function (because it has a discontinuity on going through 2π radians). The velocity potential must be interpreted as being defined patchwise on overlapping regions surrounding the vortex core at r = 0. The velocity of the fluid flow is
Dropping a positionindependent prefactor, the acoustic metric for a draining bathtub is explicitly given by
Equivalently
A similar metric, restricted to A = 0 (no radial flow), and generalised to an anisotropic speed of sound, has been exhibited by Volovik [646], that metric being a model for the acoustic geometry surrounding physical vortices in superfluid ^{3}He. (For a survey of the many analogies and similarities between the physics of superfluid ^{3}He, see Section 4.2.2 and references therein. For issues specifically connected to the Standard Electroweak Model see [667].) Note that the metric given above is not identical to the metric of a spinning cosmic string, which would instead take the form [623]
In conformity with previous comments, the vortex fluid flow is seen to possess an acoustic metric that is stably causal and which does not involve closed timelike curves. At large distances it is possible to approximate the vortex geometry by a spinning cosmic string [646], but this approximation becomes progressively worse as the core is approached. Trying to force the existence of closed timelike curves leads to the existence of evanescent waves in what would be the achronal region, and therefore to the breakdown of the analogue model description [8].
The ergosphere (ergocircle) forms at
Note that the sign of A is irrelevant in defining the ergosphere and ergoregion: It does not matter if the vortex core is a source or a sink.
The acoustic event horizon forms once the radial component of the fluid velocity exceeds the speed of sound, that is, at
The sign of A now makes a difference. For A < 0 we are dealing with a future acoustic horizon (acoustic black hole), while for A > 0 we are dealing with a past event horizon (acoustic white hole).
2.4.4 Example: slab geometry
A popular model for the investigation of event horizons in the acoustic analogy is the onedimensional slab geometry where the velocity is always along the z direction and the velocity profile depends only on z. The continuity equation then implies that ρ(z) v(z) is a constant, and the acoustic metric becomes
That is
If we set c = 1 and ignore the x, y coordinates and conformal factor, we have the toy model acoustic geometry discussed in many papers. (See for instance the early papers by Unruh [608, p. 2828, Equation (8)], Jacobson [310, p. 7085, Equation (4)], Corley and Jacobson [148], and Corley [145].) Depending on the velocity profile one can simulate black holes, white holes or black holewhite hole pairs, interesting for analyzing the black hole laser effect [150] or aspects of the physics of warpdrives [197].
In this situation one must again invoke an external force to set up and maintain the fluid flow. Since the conformal factor is regular at the event horizon, we know that the surface gravity and Hawking temperature are independent of this conformal factor [315]. In the general case it is important to realise that the flow can go supersonic for either of two reasons: The fluid could speed up, or the speed of sound could decrease. When it comes to calculating the “surface gravity” both of these effects will have to be taken into account.
2.4.5 Example: PainlevéGullstrand geometry
To see how close the acoustic metric can get to reproducing the Schwarzschild geometry it is first useful to introduce one of the more exotic representations of the Schwarzschild geometry: the PainlevéGullstrand line element, which is simply an unusual choice of coordinates on the Schwarzschild spacetime.^{Footnote 11} In modern notation the Schwarzschild geometry in outgoing (+) and ingoing (−) PainlevéGullstrand coordinates may be written as:
Equivalently
This representation of the Schwarzschild geometry was not (until the advent of the analogue models) particularly wellknown, and it has been independently rediscovered several times during the 20th century. See, for instance, Painlevé [484], Gullstrand [264], Lemaître [379], the related discussion by Israel [305], and more recently, the paper by Kraus and Wilczek [364]. The PainlevéGullstrand coordinates are related to the more usual Schwarzschild coordinates by
Or equivalently
With these explicit forms in hand, it becomes an easy exercise to check the equivalence between the PainlevéGullstrand line element and the more usual Schwarzschild form of the line element. It should be noted that the + sign corresponds to a coordinate patch that covers the usual asymptotic region plus the region containing the future singularity of the maximallyextended Schwarzschild spacetime. Thus, it covers the future horizon and the black hole singularity. On the other hand the — sign corresponds to a coordinate patch that covers the usual asymptotic region plus the region containing the past singularity. Thus it covers the past horizon and the white hole singularity.
As emphasised by Kraus and Wilczek, the PainlevéGullstrand line element exhibits a number of features of pedagogical interest. In particular the constanttime spatial slices are completely flat. That is, the curvature of space is zero, and all the spacetime curvature of the Schwarzschild geometry has been pushed into the timetime and timespace components of the metric.
Given the PainlevéGullstrand line element, it might seem trivial to force the acoustic metric into this form: Simply take ρ and c to be constants, and set \(\upsilon = \sqrt {2GM/r}\). While this certainly forces the acoustic metric into the PainlevéGullstrand form, the problem with this is that this assignment is incompatible with the continuity equation ∇ · (ρv) ≠ 0 that was used in deriving the acoustic equations.
The best we can actually do is this: Pick the speed of sound to be a positionindependent constant, which we normalise to unity (c = 1). Now set \(\upsilon = \sqrt {2GM/r}\), and use the continuity equation ∇ · (ρv) = 0 plus spherical symmetry to deduce ρv ∝ 1/r^{2} so that ρ ∝ r^{−3/2}. Since the speed of sound is taken to be constant, we can integrate the relation c^{2} = dp/dρ to deduce that the equation of state must be p = p_{∞} +c^{2}ρ and that the background pressure satisfies p−p_{∞} ∝ c^{2}r^{−3/2}. Overall, the acoustic metric is now
So we see that the net result is conformal to the PainlevéGullstrand form of the Schwarzschild geometry but not identical to it. For many purposes this is good enough. We have an event horizon; we can define surface gravity; we can analyse Hawking radiation.^{Footnote 12} Since surface gravity and Hawking temperature are conformal invariants [315] this is sufficient for analysing basic features of the Hawking radiation process. The only way in which the conformal factor can influence the Hawking radiation is through backscattering off the acoustic metric. (The phonons are minimallycoupled scalars, not conformallycoupled scalars, so there will in general be effects on the frequencydependent greybody factors.) If we focus attention on the region near the event horizon, the conformal factor can simply be taken to be a constant, and we can ignore all these complications.
2.4.6 Causal structure
We can now turn to another aspect of acoustic black holes, i.e., their global causal structure, which we shall illustrate making use of the CarterPenrose conformal diagrams [445, 275]. A systematic study in this sense was performed in [37] for 1+1 geometries (viewed either as a dimensional reduction of a physical 3+1 system, or directly as geometrical acoustic metrics). The basic idea underlying the conformal diagram of any noncompact 1+1 manifold is that its metric can always be conformally mapped to the metric of a compact geometry, with a boundary added to represent events at infinity. Since compact spacetimes are in some sense “finite”, they can then properly be drawn on a sheet of paper, something that is sometimes very useful in capturing the essential features of the geometry at hand.
The basic steps in the acoustic case are the same as in standard general relativity: Starting from the coordinates (t, x) as in Equation (35), one has to introduce appropriate null coordinates (analogous to the EddingtonFinkelstein coordinates) (u, v), then, by exponentiation, null Kruskallike coordinates (U, W), and finally compactify by means of a new coordinate pair \(\mathcal{U},\, \mathcal{W}\) involving a suitable function mapping an infinite range to a finite one (typically the arctan function). We shall explicitly present only the conformal diagrams for an acoustic black hole, and a black holewhite hole pair, as these particular spacetimes will be of some relevance in what follows. We redirect the reader to [37] for other geometries and technical details.
2.4.6.1 Acoustic black hole
For the case of a single isolated blackhole horizon we find the CarterPenrose diagram of Figure 8. (In the figure we have introduced an aspect ratio different from unity for the coordinates \(\mathcal{U}\) and \(\mathcal{W}\), in order to make the various regions of interest graphically more clear.) As we have already commented, in the acoustic spacetimes, with no periodic identifications, there are two clearlydifferentiated notions of asymptotia, “right” and “left”. In all our figures we have used subscripts “right” and “left” to label the different null and spacelike infinities. In addition, we have denoted the different sonicpoint boundaries with \(\Im _{{\rm{right}}}^ \pm\) or \(\Im _{{\rm{left}}}^ \pm\) depending on whether they are the starting point (− sign) or the ending point (+ sign) of the null geodesics in the right or left parts of the diagram.
In contradistinction to the CarterPenrose diagram for the Schwarzschild black hole (which in the current context would have to be an eternal black hole, not one formed via astrophysical stellar collapse) there is no singularity. On reflection, this feature of the conformal diagram should be obvious, since the fluid flow underlying the acoustic geometry is nowhere singular.
Note that the event horizon \(\mathcal{H}\) is the boundary of the causal past of future right null infinity; that is, \({\mathcal H} = {\dot J^ }\left({\Im _{{\rm{right}}}^ \pm} \right)\), with standard notations [445].
2.4.6.2 Acoustic blackholewhitehole pair
The acoustic geometry for a blackholewhitehole combination again has no singularities in the fluid flow, and no singularities in the spacetime curvature. In particular, from Figure 9, we note the complete absence of singularities.
2.5 Cosmological metrics
In a cosmological framework the key items of interest are the FriedmannRobertsonWalker (FRW) geometries, more properly called the FriedmannLemaîtreRobertsonWalker (FLRW) geometries. The simulation of such geometries has been considered in various works such as [46, 47, 105, 106, 194, 195, 196, 328, 403, 674, 675, 676, 683, 677] with a specific view to enhancing our understanding of “cosmological particle production” driven by the expansion of the universe.
Essentially there are two ways to use the acoustic metric, written as
to reproduce cosmological spacetimes. One is based on physical explosion, the other on rapid variations in the “effective speed of light”.
2.5.1 Explosion
We can either let the explosion take place more or less spherically symmetrically, or through a pancakelike configuration, or through a cigarlike configuration.
2.5.1.1 Threedimensional explosion
Following the cosmological ideas of [46, 47, 105, 106, 195, 674, 675, 676], and the BEC technologies described in [126, 336, 337], one can take a homogeneous system ρ(t), c_{s}(t) and a radial profile for the velocity v = (ḃ/b)r, with b a scale factor depending only on t. (This is actually very similar to the situation in models for Newtonian cosmology, where position is simply related to velocity via “time of flight”.) Then, defining a new radial coordinate as r_{ b } = r/b the metric can be expressed as
Introducing a Hubblelike parameter,
the equation of continuity can be written as
with π_{0} constant. Finally, we arrive at the metric of a spatiallyflat FLRW geometry
with
The proper Friedmann time, τ, is related to the laboratory time, t, by
Then,
The “physical” Hubble parameter is
If one now wishes to specifically mimic de Sitter expansion, then we would make
Whether or not this can be arranged (in this explosive model with comoving coordinates) depends on the specific equation of state (which is implicitly hidden in c_{ s }(t)) and the dynamics of the explosion (encoded in b(t)).
2.5.1.2 Twodimensional explosion
By holding the trap constant in the z direction, and allowing the BEC to expand in a pancake in the x and y directions (now best relabeled as r and Φ) one can in principle arrange
2.5.1.3 Onedimensional explosion
An alternative “explosive” route to FLRW cosmology is to take a long thin cigarshaped BEC and let it expand along its axis, while keeping it trapped in the transverse directions [196, 194]. The relevant acoustic metric is now
The virtue of this situation is that one is keeping the condensate under much better control and has a simpler dimensionallyreduced problem to analyze. (Note that the true physics is 3+1 dimensional, albeit squeezed along two directions, so the conformal factor multiplying the acoustic metric is that appropriate to 3+1 dimensions. See also Section 2.7.2.)
2.5.2 Varying the effective speed of light
The other avenue starts from a fluid at rest v = 0 with respect to the laboratory at all times:
Now it is not difficult to imagine a situation in which ρ remains spatially and temporally constant, in a sufficiently large region of space, while the speed of sound decreases with time (e.g., we shall see that this can be made in analogue models based on BoseEinstein condensates by changing with time the value of the scattering length [46, 47, 328, 676, 683, 677]). This again reproduces an expanding spatiallyflat FLRW Universe. The proper Friedmann time, t, is again related to the laboratory time, t, by
Then, defining \({a_s}(t) \equiv \sqrt {\rho/\,{c_{\rm{s}}}}\), we have
If one now specifically wishes to specifically mimic de Sitter expansion then we would wish
Whether or not this can be arranged (now in this nonexplosive model with tunable speed of sound) depends on the specific manner in which one tunes the speed of sound as a function of laboratory time.
2.6 Regaining geometric acoustics
Up to now, we have been developing general machinery to force acoustics into Lorentzian form. This can be justified either with a view to using fluid mechanics to teach us more about general relativity, or to using the techniques of Lorentzian geometry to teach us more about fluid mechanics.
For example, given the machinery developed so far, taking the short wavelength/high frequency limit to obtain geometrical acoustics is now easy. Sound rays (phonons) follow the null geodesics of the acoustic metric. Compare this to general relativity, where in the geometrical optics approximation, light rays (photons) follow null geodesies of the physical spacetime metric. Since null geodesics are insensitive to any overall conformal factor in the metric [445, 275, 670], one might as well simplify life by considering a modified conformallyrelated metric
This immediately implies that, in the geometric acoustics limit, sound propagation is insensitive to the density of the fluid. In this limit, acoustic propagation depends only on the local speed of sound and the velocity of the fluid. It is only for specifically waverelated properties that the density of the medium becomes important.
We can rephrase this in a language more familiar to the acoustics community by invoking the eikonal approximation. Express the linearised velocity potential, Φ_{1}, in terms of an amplitude, a, and phase, φ, by Φ_{1} ∼ ae^{iφ}. Then, neglecting variations in the amplitude a, the wave equation reduces to the eikonal equation
This eikonal equation is blatantly insensitive to any overall multiplicative prefactor (conformal factor). As a sanity check on the formalism, it is useful to rederive some standard results. For example, let the null geodesic be parameterised by x^{μ}(t) ≡ (t; x(t)). Then the null condition implies
Here the norm is taken in the flat physical metric. This has the obvious interpretation that the ray travels at the speed of sound, c, relative to the moving medium.
Furthermore, if the geometry is stationary (steady flow) one can do slightly better. Let x^{μ}(s) ≡ (t(s); x(s)) be some null path from x_{1} to x_{2}, parameterised in terms of physical arc length (i.e., ‖dx/ds‖ ≡ 1). Then the tangent vector to the path is
The condition for the path to be null (though not yet necessarily a null geodesic) is
Using the explicit algebraic form for the metric, this can be expanded to show
Solving this quadratic
Therefore, the total time taken to traverse the path is
If we now recall that extremising the total time taken is Fermat’s principle for sound rays, we see that we have checked the formalism for stationary geometries (steady flow) by reproducing the discussion of Landau and Lifshitz [372, p. 262].^{Footnote 13}
2.7 Generalizing the physical model
There are a large number of ways in which the present particularlysimple analogue model can be generalised. Obvious issues within the current physical framework are:

Adding external forces.

Working in truly (1+1) or (2+1) dimensional systems.

Adding vorticity, to go beyond the irrotational constraint.
Beyond these immediate questions, we could also seek similar effects in other physical or mathematical frameworks.
2.7.1 External forces
Adding external forces is (relatively) easy, an early discussion can be found in [624] and more details are available in [641]. The key point is that with an external force one can to some extent shape the background flow (see for example the discussion in [249]). However, upon linearization, the fluctuations are insensitive to any external force.
2.7.2 The role of dimension
The role of spacetime dimension in these acoustic geometries is sometimes a bit surprising and potentially confusing. This is important because there is a real physical distinction, for instance, between truly (2+1)dimensional systems and effectively (2+1)dimensional systems in the form of (3+1)dimensional systems with cylindrical (pancakelike) symmetry. Similarly, there is a real physical distinction between a truly (1+1)dimensional system and a (3+1)dimensional system with transverse (cigarlike) symmetry. We emphasise that in Cartesian coordinates the wave equation
where
holds independent of the dimensionality of spacetime. It depends only on the Euler equation, the continuity equation, a barotropic equation of state, and the assumption of irrotational flow [607, 622, 626, 624].
Introducing the inverse acoustic metric g^{μν}, defined by
the wave Equation (119) corresponds to the d’Alembertian wave equation in a curved spacetime with contravariant metric tensor:
where is the dimension of space (not spacetime). The covariant acoustic metric is then
d = 3: The acoustic line element for three space and one time dimension reads
d = 2: The acoustic line element for two space and one time dimension reads
This situation would be appropriate, for instance, when dealing with surface waves or excitations confined to a particular substrate.
d = 1: The naive form of the acoustic metric in (1+1) dimensions is illdefined, because the conformal factor is raised to a formally infinite power. This is a side effect of the wellknown conformal invariance of the Laplacian in 2 dimensions. The wave equation in terms of the densitised inverse metric f^{μν} continues to make good sense; it is only the step from f^{μν} to the effective metric that breaks down. Acoustics in intrinsically (1+1) dimensional systems does not reproduce the conformallyinvariant wave equation in (1+1) dimensions.
Note that this issue only presents a difficulty for physical systems that are intrinsically onedimensional. A threedimensional system with plane symmetry, or a twodimensional system with line symmetry, provides a perfectly wellbehaved model for (1+1) dimensions, as in the cases d = 3 and d = 2 above.
2.7.3 Adding vorticity
For the preceding analysis to hold, it is necessary and sufficient that the flow locally be vorticity free, ∇ × v = 0, so that velocity potentials exist on an atlas of open patches. Note that the irrotational condition is automatically satisfied for the superfluid component of physical superfluids. (This point has been emphasised by Comer [143], who has also pointed out that in superfluids there will be multiple acoustic metrics — and multiple acoustic horizons — corresponding to first and second sound.) Even for normal fluids, vorticityfree flows are common, especially in situations of high symmetry. Furthermore, the previous condition enables us to handle vortex filaments, where the vorticity is concentrated into a thin vortex core, provided we do not attempt to probe the vortex core itself. It is not necessary for the velocity potential Φ to be globally defined.
Though physically important, dealing with situations of distributed vorticity is much more difficult, and the relevant wave equation is more complicated in that the velocity scalar is now insufficient to completely characterise the fluid flow.^{Footnote 14} An approach similar to the spirit of the present discussion, but in terms of Clebsch potentials, can be found in [502]. The eikonal approximation (geometrical acoustics) leads to the same conformal class of metrics previously discussed, but in the realm of physical acoustics the wave equation is considerably more complicated than a simple d’Alembertian. (Roughly speaking, the vorticity becomes a source for the d’Alembertian, while the vorticity evolves in response to gradients in a generalised scalar potential. This seems to take us outside the realm of models of direct interest to the general relativity community.)^{Footnote 15}
2.8 Simple Lagrangian metamodel
As a first (and rather broad) example of the very abstract ways in which the notion of an acoustic metric can be generalised, we start from the simple observation that irrotational barotropic fluid mechanics can be described by a Lagrangian, and ask if we can extend the notion of an acoustic metric to all (or at least some wide class of) Lagrangian systems?
Indeed, suppose we have a single scalar field Φ whose dynamics is governed by some generic Lagrangian \(\mathcal{L}\left({{\partial _\mu}\phi, \, \phi} \right)\), which is some arbitrary function of the field and its first derivatives (here we will follow the notation and ideas of [44]). In the general analysis that follows the previous irrotational and inviscid fluid system is included as a particular case; the dynamics of the scalar field Φ is now much more general. We want to consider linearised fluctuations around some background solution Φ_{0}(t, x) of the equations of motion, and to this end we write
Now use this to expand the Lagrangian around the classical solution Φ_{0}(t, x):
It is particularly useful to consider the action
since doing so allows us to integrate by parts. (Note that the Lagrangian \(\mathcal{L}\) is taken to be a scalar density, not a true scalar.) We can now use the EulerLagrange equations for the background field
to discard the linear terms (remember we are linearizing around a solution of the equations of motion) and so we get
Having set things up this way, the equation of motion for the linearised fluctuation is now easily read off as
This is a secondorder differential equation with positiondependent coefficients (these coefficients all being implicit functions of the background field Φ_{0}).
This can be given a nice clean geometrical interpretation in terms of a d’Alembertian wave equation — provided we define the effective spacetime metric by
Note that this is another example of a situation in which calculating the inverse metric density is easier than calculating the metric itself.
Suppressing the Φ_{0} except when necessary for clarity, this implies [in (d+1) dimensions, d space dimensions plus 1 time dimension]
Therefore,
And, taking the inverse,
We can now write the equation of motion for the linearised fluctuations in the geometrical form
where Δ is the d’Alembertian operator associated with the effective metric g(Φ_{0}), and V(Φ_{0}) is the backgroundfielddependent (and so, in general, positiondependent) “mass term”:
That is,
Thus, V(Φ_{0}) is a true scalar (not a density). Note that the differential Equation (136) is automatically formally selfadjoint (with respect to the measure \(\sqrt { g} \,{{\rm{d}}^{d + 1}}x\)).
It is important to realise just how general the result is (and where the limitations are): It works for any Lagrangian depending only on a single scalar field and its first derivatives. The linearised PDE will be hyperbolic (and so the linearised equations will have wavelike solutions) if and only if the effective metric g_{ μν } has Lorentzian signature ±[−, +^{d}]. Observe that if the Lagrangian contains nontrivial second derivatives you should not be too surprised to see terms beyond the d’Alembertian showing up in the linearised equations of motion.
As a specific example of the appearance of effective metrics due to Lagrangian dynamics we reiterate the fact that inviscid irrotational barotropic hydrodynamics naturally falls into this scheme (which is why, with hindsight, the derivation of the acoustic metric presented earlier in this review was so relatively straightforward). In inviscid irrotational barotropic hydrodynamics the lack of viscosity (dissipation) guarantees the existence of a Lagrangian; which a priori could depend on several fields. Since the flow is irrotational v = − ∇Φ is a function only of the velocity potential, and the Lagrangian is a function only of this potential and the density. Finally, the equation of state can be used to eliminate the density leading to a Lagrangian that is a function only of the single field Φ and its derivatives [44].
2.9 Going further
The class of analogue models based on fluid mechanics is now quite large and the literature is extensive. Most of the relevant detailed discussion will be deferred until subsequent sections, so for the time being we shall just mention reasonably immediate generalizations such as:

Working with specific fluids.

Superfluids.

BoseEinstein condensates.


Abstract generalizations.

Normal modes in generic systems.

Multiple signal speeds.

We next turn to a brief historical discussion, seeking to place the work of the last two decades into its proper historical perspective.
3 History
From the point of view of the general relativity community the history of analogue models can reasonably neatly (but superficially) be divided into an “historical” period (essentially pre1981) and a “modern” period (essentially post1981). We shall in the next Section 3.1 focus more precisely on the early history of analogue models, and specifically those that seem to us to have had a direct historical connection with the sustained burst of work carried out in the last 20 years.
3.1 Historical period
Of course, the division into pre1981 and post1981 articles is at a deeper level somewhat deceptive. There have been several analogue models investigated over the years, with different aims, different levels of sophistication, and ultimately different levels of development. Armed with a good library and some hindsight it is possible to find interesting analogues in a number of places.^{Footnote 16}
3.1.1 Optics — the Gordon metric
Perhaps the first paper to seriously discuss analogue models and effective metric techniques was that of Gordon (yes, he of the KleinGordon equation) [258]. Note that Gordon seemed largely interested in trying to describe dielectric media by an “effective metric”. That is: Gordon wanted to use a gravitational field to mimic a dielectric medium. What is now often referred to as the Gordon metric is the expression
where η_{ μν } is the flat Minkowski metric, n is the positiondependent refractive index, and V_{ μ } is the (constant) 4velocity of the medium.
After that, there was sporadic interest in effective metric techniques. An historicallyimportant contribution was one of the problems in the wellknown book “The Classical Theory of Fields” by Landau and Lifshitz [373]. See the end of Chapter 10, Paragraph 90, and the problem immediately thereafter: “Equations of electrodynamics in the presence of a gravitational field”. Note that in contrast to Gordon, here the interest is in using dielectric media to mimic a gravitational field.
In France the idea was taken up by Pham Mau Quan [503], who showed that (under certain conditions) Maxwell’s equations can be expressed directly in terms of the effective metric specified by the coefficients
where g_{ μν } is the ordinary spacetime metric, ϵ and μ are the permeability and permittivity, and V_{ μ } is the 4velocity of the medium. The trajectories of the electromagnetic rays are interpreted in this case as geodesics of null length of this new effective metric.
Three articles that directly used the dielectric analogy to analyse specific physics problems are those of Skrotskii [576], Balazs [18], and Winterberg [689]. The general formalism was more fully developed in articles such as those by Plebański [511, 510], and a good summary of this classical period can be found in the article by de Felice [168]. In summary and with the benefit of hindsight: An arbitrary gravitational field can always be represented as an equivalent optical medium, but subject to the somewhat unphysical restriction that
If an optical medium does not satisfy this constraint (with a position independent proportionality constant) then it is not completely equivalent to a gravitational field. For a position dependent proportionality constant complete equivalence can be established in the geometric optics limit, but for wave optics the equivalence is not complete.
Subsequently, Anderson and Spiegel [7] extended and modified the notion of the Gordon metric to allow the medium to be a flowing fluid — so the 4vector V^{a} is no longer assumed to be a constant. In hindsight, using modern notation and working in full generality, the Gordon metric can be justified as follows: Consider an arbitrary curved spacetime with physical metric g_{ ab } containing a fluid of 4velocity V^{a} and refractive index n. Pick a point in the manifold and adopt Gaussian normal coordinates around that point so that g_{ ab } → η_{ ab }. Now perform a Lorentz transformation to go to to a local inertial frame comoving with the fluid, so that \({V^a} \rightarrow (1;\overrightarrow 0)\) and one is now in Gaussian normal coordinates comoving with the fluid. In this coordinate patch, the light rays, by definition of the refractive index, locally propagate along the light cones
implying in these special coordinates the existence of an optical metric
That is, transforming back to arbitrary coordinates:
Note that in the ray optics limit, because one only has the light cones to work with, one can neither derive nor is it even meaningful to specify the overall conformal factor.
3.1.2 Acoustics
After the pioneering hydrodynamical paper by White in 1973 [687], which studied acoustic ray tracing in nonrelativistic moving fluids, there were several papers in the 1980s using an acoustic analogy to investigate the propagation of shockwaves in astrophysical situations, most notably those of Moncrief [448] and Matarrese [433, 434, 432]. In particular, in Moncrief’s work [448] the linear perturbations of a relativistic perfect fluid on a Schwarzschild background were studied, and it was shown that the wave equation for such perturbations can be expressed as a relativistic wave equation on some effective (acoustic) metric (which can admit acoustic horizons). In this sense [448] can be seen as a precursor to the later works on acoustic geometries and acoustic horizons. Indeed, because they additionally permit a general relativistic Schwarzschild background, the results of Moncrief [448] are, in some sense, more general than those considered in the mainstream acoustic gravity papers that followed.
In spite of these impressive results, we consider these papers to be part of the “historical period” for the main reason that such works are philosophically orthogonal to modern developments in analogue gravity. Indeed the main motivation for such works was the study of perfect fluid dynamics in accretion flows around black holes, or in cosmological expansion, and in this context the description via an acoustic effective background was just a tool in order to derive results concerning conservation laws and stability. This is probably why, even if temporally, [448] predates Unruh’s 1981 paper by one year, and while [433, 434, 432] postdate Unruh’s 1981 paper by a few years, there seems to have not been any crossconnection.
3.1.3 Surface waves
Somewhat ironically, 1983 marked the appearance of some purely experimental results on surface waves in water obtained by Badulin et al. [17]. At the time these results passed unremarked by the relativity community, but they are now of increasing interest, and are seen to be precursors of the theoretical work reported in [560, 531] and the modern experimental work reported in [532, 682].
3.2 Modern period
3.2.1 The years 1981–1999
The key event in the “modern” period (though largely unrecognised at the time) was the 1981 publication of Unruh’s paper “Experimental black hole evaporation” [607], which implemented an analogue model based on fluid flow, and then used the power of that analogy to probe fundamental issues regarding Hawking radiation from “real” generalrelativistic black holes.
We believe that Unruh’s 1981 article represents the first observation of the now widely established fact that Hawking radiation has nothing to do with general relativity per se, but that Hawking radiation is instead a fundamental curvedspace quantum field theory phenomenon that occurs whenever a horizon is present in an effective geometry.^{Footnote 17} Though Unruh’s 1981 paper was seminal in this regard, it lay largely unnoticed for many years.
Some 10 years later Jacobson’s article “Blackhole evaporation and ultrashort distances” [307] used Unruh’s analogy to build a physical model for the “transPlanckian modes” believed to be relevant to the Hawking radiation process. Progress then sped up with the relatively rapid appearance of [308] and [608]. (This period also saw the independent rediscovery of the fluid analogue model by one of the present authors [622], and the first explicit consideration of superfluids in this regard [143].)
The later 1990s then saw continued work by Jacobson and his group [309, 310, 148, 146, 150, 322], with new and rather different contributions coming in the form of the solidstate models considered by Reznik [523, 522]. [285] is an attempt at connecting Hawking evaporation with the physics of collapsing bubbles. This was part of a more general programme aimed at connecting blackhole thermodynamics with perfectfluid thermodynamics [286]. This period also saw the introduction of the more general class of superfluid models considered by Volovik and his collaborators [644, 645, 359, 183, 649, 647, 648, 326, 651, 652], more precise formulations of the notions of horizon, ergosphere, and surface gravity in analogue models [624, 626], and discussions of the implications of analogue models regarding BekensteinHawking entropy [625, 626]. Optical models were considered in [389]. Finally, analogue spacetimes based on special relativistic acoustics were considered in [72].
By the year 2000, articles on one or another aspect of analogue gravity were appearing at the rate of over 20 per year, and it becomes impractical to summarise more than a selection of them.
3.2.2 The year 2000
Key developments in 2000 were the introduction, by Garay and collaborators, of the use of BoseEinstein condensates as a working fluid [231, 232], and the extension of those ideas by the present authors [43]. Further afield, the transPlanckian problem also reared its head in the context of cosmological inflation, and analogue model ideas previously applied to Hawking radiation were reused in that context [341, 457].
That year also marked the appearance of a review article on superfluid analogues [655], more work on “nearhorizon” physics [210], and the transference of the idea of analogueinspired “multiple metric” theories into cosmology, where they can be used as the basis for a precise definition of what is meant by a VSL (“variable speed of light”) cosmology [58]. Models based on nonlinear electrodynamics were investigated in [26], ^{3}HeA based models were reconsidered in [316, 653], and “slow light” models in quantum dielectrics were considered in [390, 391, 382]. The most radical proposal to appear in 2000 was that of Laughlin et al. [131]. Based on taking a superfluid analogy rather literally, they mooted an actual physical breakdown of general relativity at the horizon of a black hole [131].
Additionally, the workshop on “Analogue models of general relativity”, held at CBPF (Rio de Janeiro) gathered some 20 international participants and greatly stimulated the field, leading ultimately to the publication of a book [470] in 2002.
3.2.3 The year 2001
This year saw more applications of analogueinspired ideas to cosmological inflation [179, 441, 440, 343, 459], to neutron star cores [116], and to the cosmological constant [656, 658].
Closer to the heart of the analogue programme were the development of a “normal mode” analysis in [44, 45, 637], the development of dielectric analogues in [557], speculations regarding the possibly emergent nature of Einstein gravity [50, 637], and further developments regarding the use of ^{3}HeA [178] as an analogue for electromagnetism. Experimental proposals were considered in [48, 637, 539]. Vorticity was discussed in [502], and the use of BECs as a model for the breakdown of Lorentz invariance in [636]. Analogue models based on nonlinear electrodynamics were discussed in [169]. Acoustics in an irrotational vortex were investigated in [207].
The excitation spectrum in superfluids, specifically the fermion zero modes, were investigated in [654, 303], while the relationship between rotational friction in superfluids and superradiance in rotating spacetimes was discussed in [104]. More work on “slow light” appeared in [91]. The possible role of Lorentz violations at ultrahigh energy was emphasised in [312].
3.2.4 The year 2002
“What did we learn from studying acoustic black holes?” was the title and theme of Parentani’s article in 2002 [492], while Schützhold and Unruh developed a rather different fluidbased analogy based on gravity waves in shallow water [560, 560]. Superradiance was investigated in [57], while the propagation of phonons and quasiparticles was discussed in [209, 208]. More work on “slow light” appeared in [211, 509]. Applications to inflationary cosmology were developed in [460], while analogue spacetimes relevant to braneworld cosmologies were considered in [28].
The stability of an acoustic white hole was investigated in [386], while further developments regarding analogue models based on nonlinear electrodynamics were presented by Novello and collaborators in [170, 171, 468, 464, 214]. Though analogue models lead naturally to the idea of highenergy violations of Lorentz invariance, it must be stressed that definite observational evidence for violations of Lorentz invariance is lacking — in fact, there are rather strong constraints on how strong any possible Lorentz violating effect might be [318, 317].
3.2.5 The year 2003
This year saw further discussion of analogueinspired models for blackhole entropy and the cosmological constant [661, 668], and the development of analogue models for FRW geometries [195, 194, 46, 177, 403]. There were several further developments regarding the foundations of BECbased models in [47, 196], while analogue spacetimes in superfluid neutron stars were further investigated in [117].
Effective geometry was the theme in [466], while applications of nonlinear electrodynamics (and its effective metric) to cosmology were presented in [467]. Superradiance was further investigated in [56, 54], while the limitations of the “slow light” analogue were explained in [612]. Vachaspati argued for an analogy between phase boundaries and acoustic horizons in [615]. Emergent relativity was again addressed in [378]. The review article by Burgess [98] emphasised the role of general relativity as an effective field theory — the sine qua non for any attempt at interpreting general relativity as an emergent theory. The lecture notes by Jacobson [313] give a nice introduction to Hawking radiation and its connection to analogue spacetimes.
3.2.6 The year 2004
The year 2004 saw the appearance of some 30 articles on (or closely related to) analogue models. Effective geometries in astrophysics were discussed by Perez Bergliaffa [501], while the physical realizability of acoustic Hawking radiation was addressed in [159, 616]. More cosmological issues were raised in [616, 675], while a specifically astrophysical use of the acoustic analogy was invoked in [160, 161, 162]. BECbased horizons were again considered in [249, 247], while backreaction effects were the focus of attention in [25, 23, 344]. More issues relating to the simulation of FRW cosmologies were raised in [204, 206].
Unruh and Schützhold discussed the universality of the Hawking effect [613], and a new proposal for possibly detecting Hawking radiation in an electromagnetic wave guide [562]. The causal structure of analogue spacetimes was considered in [37], while quasinormal modes attracted attention in [69, 392, 112, 452]. Two dimensional analogue models were considered in [101].
There were attempts at modeling the Kerr geometry [641], and generic “rotating” spacetimes [132], a proposal for using analogue models to generate massive phonon modes in BECs [640, 642], and an extension of the usual formalism for representing weakfield gravitational lensing in terms of an analogue refractive index [81]. Finally, we mention the development of yet more strong observational bounds on possible ultrahighenergy Lorentz violation [319, 320].
3.2.7 The year 2005
The year 2005 saw continued and vigorous activity on the analogue model front. More studies of the superresonance phenomenon appeared [55, 193, 347, 578], and a minisurvey was presented in [111]. Quasinormal modes again received attention in [135], while the Magnus force was reanalysed in terms of the acoustic geometry in [699]. Singularities in the acoustic geometry are considered in [102], while backreaction has received more attention in [559].
The original version of this Living Review appeared in May of 2005 [49], and since then activity has, if anything, increased. Work on BECrelated models included [401, 402, 678, 642, 679, 605, 205], while additional work on superradiance [136], the background fluid flow [103], and quasinormal modes [537] also appeared. Dynamical phase transitions were considered in [551], and astrophysical applications to accretion flow in [2, 165]. The connection between white hole horizon and the classical notion of a “hydraulic jump” was explored in [662] and in [572]. A “spacetime condensate” point of view was advocated in [299], and analogue applications to “quantum teleportation” were considered in [243]. A nice survey of analogue ideas and backreaction effects was presented in [21] (and related articles [23, 25]). Finally, we mention the appearance in 2005 of another Living Review, one that summarises and systematises the very stringent bounds that have been developed on possible ultrahighenergy Lorentz violation [435].
3.2.8 The year 2006
A key article, which appeared in 2006, involved the “inverse” use of the acoustic metric to help understand hydrodynamic fluid flow in quarkgluon plasma [123]. The relationship between modified dispersion relations and Finsler spacetimes was discussed in [251]. Backreaction effects were again considered in [20].
Using analogue ideas as backdrop, Markopoulou developed a pregeometric model for quantum gravity in [421]. Analogue implications visavis entanglement entropy were discussed in [226, 225]. A microscopic analysis of the microtheory underlying acoustic Hawking radiation in a “piston” geometry appeared in [248]. Volovik extended and explained his views on quantum hydrodynamics as a model for quantum gravity in [664]. Applications to the cosmological constant were considered in [543]. More BECrelated developments appeared in [680, 38, 39, 29, 24, 188, 189]. An analogue model based on a suspended “shoestring” was explored in [282]. Superresonance was again discussed in [352]. More analogueinspired work on blackhole accretion appeared in [164], while “ripplons” (quantised surface capillary waves) were discussed in [663]. Modified dispersion relations again attracted attention [250], and analogue inspired ideas concerning constrained systems were explored in [357]. Quasinormal frequencies were considered in [134]. Finally, we emphasise particularly the realization that the occurrence of Hawkinglike radiation does not require the presence of an event horizon or even a trapped region [38, 39].
3.2.9 The year 2007
Emergent geometry [16, 14, 15, 618] was an important theme in 2007, as were efforts at moving beyond the semiclassical description [491]. BECbased analogue models were adapted to investigating “signature change events” in [684]. Acoustic crosssections were considered in [156]. “Rimfall” was discussed in [609].
Analogueinspired ideas were adapted to the study of gravitational collapse in [40], while the importance of nonlocal correlations in the Hawking flux was emphasized in [22]. Quantum field theoretic anomalies were considered in [345], while entanglement entropy was investigated in [324]. The specific shape of the de Laval nozzle needed to acoustically reproduce linearised perturbations of the Schwarzschild geometry was discussed in [1], and quasinormal frequencies were investigated in [692]. Superradiance and disclinations were considered in [167]. Theoretical aspects of the circular hydraulic jump were investigated in [519].
The use of analogue spacetimes as “toy models” for quantum gravity was emphasized in [643, 632]. Within the optics community Philbin, Leonhardt, and coworkers initiated the study of “fibreoptic black holes” [505, 504]. Within the fluid dynamics community, wavetank experiments were initiated [532] by Rousseaux and coworkers, who demonstrated the presence of negative phasevelocity waves. Dissipationinduced breakdown of Lorentz invariance was considered by Parentani in [494, 495], and BECbased models continued to attract attention [676, 30, 31, 333]. While analyzing quark matter, acoustic metrics were found to be useful in [419] (see also [418]).
Analogues based on ion traps were considered by Schützhold in [558], while a toy model for backreaction was explored in [414]. Further afield, analogue models were used to motivate a “AbrahamLorentz” interpretation of relativity in terms of a physicallyreal aether and physicallyreal LorentzFitzGerald contraction [36]. In a similar vein analogue models were used to motivate a counterfactual counterhistorical approach to the Bohm versus Copenhagen interpretations of quantum physics [463]. Analogueinspired ideas regarding the possible “localization” of the origin of the Hawking flux were investigated by Unruh in [610]. Additionally, an analogue inspired analysis of accretion appeared in [163], while astrophysical constraints on modified dispersion relations were improved and extended in [409, 394].
3.2.10 The year 2008
This year saw the introduction of “quantum graphity” [358, 356], an analogueinspired model for quantum gravity. The BEC theme continued to generate attention [368], in particular regarding cosmological particle production [677, 683], and Hawking radiation [119]. A minireview appeared in [553]. The theme of “emergence” was also represented in articles such as [255, 252, 329]. Localization of the Hawking radiation was again addressed in [563], while sensitivity of the Hawking flux to the presence of superluminal dispersion was considered in [33]. Astrophysical constraints on modified dispersion relations were again considered in [408, 410], while applications to quark matter were investigated in [415, 417]. Possible applications to hightemperature superconductivity were reported in [444]. Quantum field theoretic anomalies in an acoustic geometry were considered in [60, 691], while (2+1) acoustic blackhole thermodynamics were investigated in [346]. Gravitational collapse was again discussed in [40].
Gibbons and coworkers used analoguebased ideas in their analysis of general stationary spacetimes, demonstrating that the spatial slices of stationary spacetimes are best thought of as a special class of Finsler spaces, in particular, Randers spaces [246]. Attempts at developing a generally useful notion of Finsler spacetime were discussed in [573, 574], with Finslerian applications to the Higgs mechanism being investigated in [569]. Signature change, now not in a BEC context, was again addressed in [686]. Blackhole lasers were considered in [388], and the fluidgravity correspondence in [5]. Backreaction of the Hawking flux was again considered in [556], while the analogue physics of a “photon fluid” was considered in [420]. In [73] analogue ideas were applied to polytrope models of Newtonian stars, while superradiance was considered in [598].
3.2.11 The year 2009
This year saw intriguing and unexpected relations develop between analogue spacetimes and Hořava gravity [584, 585, 634, 666, 570]. These connections seem primarily related to the way Hořava’s projectability condition interleaves with the ADM decomposition of the metric, and to the manner in which Hořava’s distinguished spacetime foliation interleaves with the preferred use of PainlevéGullstrandlike coordinates.
The theme of emergent gravity continues to play a role [300, 395, 571], as does the theme of nontrivial dispersion relations [413, 412, 411, 396, 437]. A variant of quantum graphity was further developed in [268], and a matrix model implementation of analogue spacetime was developed in [220]. Quasinormal modes were considered in [174, 700], with a survey appearing in [70]. Acoustic scattering was considered in [173]. Applications to quark matter were again investigated in [416]. In [340], the universe was interpreted as a “soap film”. Nonlinear electrodynamics was again considered in [260]. A model based on liquid crystals appeared in [500]. Attempts at including backreaction in a cosmological fluid context were investigated in [451, 450]. Possible experimental implementations of acoustic black holes using circulating ion rings are discussed in [290], while ultrashort laser pulses are considered in [187]. Signature change events were again considered in [685], while analogueinspired lessons regarding the fundamental nature of time were investigated in [330] and [254]. Noncanonical quantum fields were considered in [304].
In [217, 218] analogue ideas are implemented in an unusual direction: fluid dynamics is used to model aspects of quantum field theory. That the transPlanckian and information loss problems are linked is argued in [397]. The BEC paradigm for acoustic geometry is again discussed in [331] and [520], while universal aspects of superradiant scattering are considered in [524]. Most remarkably, a BECbased black hole analogue was experimentally realised in [369]. (See Sections 6.2 and 7.13.)
3.2.12 The year 2010
This current year has already (September) seen some 50 articles appear that can legitimately claim to have either direct or tangential relationships to the analogue spacetime programme. Being necessarily very selective, we first mention work related to “entropic” attempts at understanding the “emergence” of general relativity and the spacetime “degrees of freedom” from the quantum regime [483, 482, 130, 590, 355]. The use of correlations as a potential experimental probe has been theoretically investigated in [19, 118, 190, 496, 512, 564, 604], while an analysis of optimality conditions for the detection of HawkingUnruh radiation appeared in [13]. Entanglement issues were explored in [427]. More work on “emergent horizons” has appeared in [552, 554, 555]. Relativistic fluids have been revisited in [639], with specific applications to relativistic BECs being reported in [191]. Possible measurement protocols for Hawking radiation in ionic systems were discussed in [291]. In [34] analogue spacetimes were used to carefully separate the notion of “emergent manifold” from that of “emergent curvature”. Quantum graphity was again considered in [110].
Stepfunction discontinuities in BECs were considered in [186, 438]. (Signature change can be viewed as an extreme case of stepfunction discontinuity [684, 685, 686].) Black holes induced by dielectric effects, and their associated Hawking radiation, were considered in [63]. The acoustic geometry of polytrope rotating Newtonian stars was considered in [74]. Random fluids were investigated in [365]. Finsler spacetime geometries were again considered in [575], while the relationship between analogue spacetimes and foundational mathematical relativity was discussed in [139]. Further afield, analogue spacetimes were used as an aid to understanding “warp drive” spacetimes [32].
Quantum sound in BECs was again investigated in [35], BECbased particle creation in [367], and BECbased black hole lasers in [199]. Optical effective geometries in Kerr media were discussed in [100]. 2+1 dimensional drainingbathtub geometries were probed in [477]. Theoretical and historical analyses of surface waves in a wave tank were presented in [531]. Finally, we mention the stunning experimental verification by Weinfurtner et al. of the existence of classical stimulated Hawking radiation in a wave flume [682], and the experimental detection of photons associated with a phase velocity horizon by Belgiorno et al. [66].
3.2.13 The future?
Interest in analogue models, analogue spacetimes, and analogue gravity is intense and shows no signs of abating. Interest in these ideas now extends far beyond the general relativity community, and there is significant promise for direct laboratorybased experimental input. We particularly wish to encourage the reader to keep an eye out for future developments regarding the possible experimental verification of the existence of Hawking radiation or the closely related Unruh radiation.
3.3 Going further
To further complicate the history, there is large body of work for which analogue spacetime ideas provide part of the background gestalt, even if the specific connection may sometimes be somewhat tenuous. Among such articles, we mention:

Analoguebased “geometrical” interpretations of pseudomomentum, Iordanskii forces, Magnus forces, and the acoustic AharanovBohm effect [227, 592, 593, 594, 595, 650].

An analogueinspired interpretation of the Kerr spacetime [267].

The use of analogies to clarify the Newtonian limit of general relativity [602], to provide heuristics for motivating interest in specific spacetimes [525, 631], and to discuss a simple interpretation of the notion of a horizon [473].

Discrete [583, 281, 436] and noncommutative [140] spacetimes partially influenced and flavoured by analogue ideas.

Analoguebased hints on how to implement “doubly special relativity” (DSR) [361, 362, 363, 599], and a cautionary analysis of why this might be difficult [561].

Possible blackhole phase transitions placed in an analogue context [591].

Attempts at deriving inertia and passive gravity, (though not active gravity), from analogue ideas [442].

Applications of analogue ideas in braneworld [241] and KaluzaKlein [242] settings.

Analogue inspired views on the “mathematical universe” [332].

Cosmological structure formation viewed as noise amplification [568].

Discussions of unusual topology, “acoustic wormholes”, and unusual temporal structure [453, 455, 514, 581, 582, 701, 702].

Abstract quantum field theoretic considerations of the Unruh effect [695].

The interpretation of blackhole entropy in terms of universal “near horizon” behaviour of quantum fields living on spacetime [114, 115].

Numerous suggestions regarding possible transPlanckian physics [12, 59, 121, 128, 129, 284, 440, 528, 600].

Numerous suggestions regarding a minimum length in quantum gravity [71, 78, 93, 144, 230, 293, 294, 295, 361, 362, 363, 405, 407, 406, 579].

Standard quantum field theory physics reformulated in the light of analogue models [9, 10, 203, 215, 393, 398, 399, 400, 422, 471, 472, 486, 485, 487, 493, 515, 695].

Standard general relativity supplemented with analogue viewpoints and insights [354, 376, 422, 456, 325, 475].

The discussion of, and argument for, a possible reassessment of fundamental features of quantum physics and general relativity [11, 259, 342, 377, 400, 488, 535, 544].

Nonstandard viewpoints on quantum physics and general relativity [157, 292, 479, 529, 527, 545, 546, 547, 548].

Soliton physics [497], defect physics [172], and the Fizeau effect [454], presented with an analogue flavour.

Analogueinspired models of blackhole accretion [516, 517, 518].

Cosmological horizons from an analogue spacetime perspective [244].

Analogueinspired insights into renormalization group flow [107].

An analysis of “wave catastrophes” inspired by analogue models [348].

Improved numerical techniques for handling wave equations [688], and analytic techniques for handling wave tails [80], partially based on analogue ideas.
From the above the reader can easily appreciate the broad interest in, and wide applicability of, analogue spacetime models.
There is not much more that we can usefully say here. We have doubtless missed some articles of historical importance, but with a good library or a fast Internet connection the reader will be in as good a position as we are to find any additional historical articles.
4 A Catalogue of Models
In this section, we will attempt to categorise the very many analogue models researchers have investigated. Perhaps the most basic subdivision is into classical models and quantum models, but even then many other levels of refinement are possible. Consider for instance the following list:

Classical models:

Classical sound.

Sound in relativistic hydrodynamics.

Water waves (gravity waves).

Classical refractive index.

Normal modes.


Quantum models:

BoseEinstein condensates (BECs).

The heliocentric universe.
(Helium as an exemplar for just about anything.)

Slow light.

We will now provide a few words on each of these topics.
4.1 Classical models
4.1.1 Classical sound
Sound in a nonrelativistic moving fluid has already been extensively discussed in Section 2, and we will not repeat such discussion here. In contrast, sound in a solid exhibits its own distinct and interesting features, notably in the existence of a generalization of the normal notion of birefringence — longitudinal modes travel at a different speed (typically faster) than do transverse modes. This may be viewed as an example of an analogue model which breaks the “light cone” into two at the classical level; as such this model is not particularly useful if one is trying to simulate special relativistic kinematics with its universal speed of light, though it may be used to gain insight into yet another way of “breaking” Lorentz invariance (and the equivalence principle).
4.1.2 Sound in relativistic hydrodynamics
When dealing with relativistic sound, key historical papers are those of Moncrief [448] and Bilic [72], with astrophysical applications being more fully explored in [162, 161, 160], and with a more recent pedagogical followup in [639]. It is convenient to first quickly motivate the result by working in the limit of relativistic ray acoustics where we can safely ignore the wave properties of sound. In this limit we are interested only in the “sound cones”. Let us pick a curved manifold with physical spacetime metric g_{ μν }, and a point in spacetime where the background fluid 4velocity is V^{μ} while the speed of sound is c_{ s }. Now (in complete direct conformity with our discussion of the generalised optical Gordon metric) adopt Gaussian normal coordinates so that g_{ μν } → η_{ μν }, and go to the local rest frame of the fluid, so that \({V^\mu} \rightarrow (1;\overrightarrow 0)\) and
In the rest frame of the fluid the sound cones are (locally) given by
implying in these special coordinates the existence of an acoustic metric
That is, transforming back to arbitrary coordinates:
Note again that in the ray acoustics limit, because one only has the sound cones to work with, one can neither derive (nor is it even meaningful to specify) the overall conformal factor. When going beyond the ray acoustics limit, seeking to obtain a relativistic wave equation suitable for describing physical acoustics, all the “fuss” is simply over how to determine the overall conformai factor (and to verify that one truly does obtain a d’Alembertian equation using the conformallyfixed acoustic metric).
One proceeds by combining the relativistic Euler equation, the relativistic energy equation, an assumed barotropic equation of state, and assuming a relativistic irrotational flow of the form [639]
In this situation the relativistic Bernoulli equation can be shown to be
where we emphasize that ϱ is now the energy density (not the mass density), and the total particle number density can be shown to be
After linearization around some suitable background [448, 72, 639], the perturbations in the scalar velocity potential Θ can be shown to satisfy a dimensionindependent d’Alembertian equation
which leads to the identification of the relativistic acoustic metric as
The dimensiondependence now comes from solving this equation for \({{\mathcal G}^{\mu \nu}}\). Therefore, we finally have the (contravariant) acoustic metric
and (covariant) acoustic metric
In the nonrelativistic limit p_{0} ≪ ϱ_{0} and \({\varrho _0} \approx \bar {m}\,{n_0}\), where \(\bar{m}\) is the average mass of the particles making up the fluid (which by the barotropic assumption is a timeindependent and positionindependent constant). So in the nonrelativistic limit we recover the standard result for the conformal factor [639]
Under what conditions is the fully general relativistic discussion of this section necessary? (The nonrelativistic analysis is, after all, the basis of the bulk of the work in “analogue spacetimes”, and is perfectly adequate for many purposes.) The current analysis will be needed in three separate situations:

when working in a nontrivial curved general relativistic background;

whenever the fluid is flowing at relativistic speeds;

less obviously, when the internal degrees of freedom of the fluid are relativistic, even if the overall fluid flow is nonrelativistic. (That is, in situations where it is necessary to distinguish the energy density from the mass density ρ; this typically happens in situations where the fluid is strongly selfcoupled — for example in neutron star cores or in relativistic BECs [191]. See Section 4.2.)
4.1.3 Shallow water waves (gravity waves)
A wonderful example of the occurrence of an effective metric in nature is that provided by gravity waves in a shallow basin filled with liquid [560]. (See Figure 10.)^{Footnote 18} If one neglects the viscosity and considers an irrotational flow, v = ∇Φ, one can write Bernoulli’s equation in the presence of Earth’s gravity as
Here ρ is the density of the fluid, p its pressure, g the gravitational acceleration and V_{‖} a potential associated with some external force necessary to establish an horizontal flow in the fluid. We denote that flow by \({\rm{v}}_{\rm{B}}^\parallel\). We must also impose the boundary conditions that the pressure at the surface, and the vertical velocity at the bottom, both vanish. That is, p(z = h_{B}) = 0, and v_{⊥}(z = 0) = 0.
Once a horizontal background flow is established, one can see that the perturbations of the velocity potential satisfy
If we now expand this perturbation potential in a Taylor series
it is not difficult to prove [560] that surface waves with long wavelengths (long compared with the depth of the basin, λ ≫ h_{B}), can be described to a good approximation by δΦ_{0}(x, y) and that this field “sees” an effective metric of the form
where \(c \equiv \sqrt {g{h_{\rm{B}}}}\). The link between small variations of the potential field and small variations of the position of the surface is provided by the following equation
The entire previous analysis can be generalised to the case in which the bottom of the basin is not flat, and the background flow not purely horizontal [560]. Therefore, one can create different effective metrics for gravity waves in a shallow fluid basin by changing (from point to point) the background flow velocity and the depth, h_{B}(x, y).
The main advantage of this model is that the velocity of the surface waves can very easily be modified by changing the depth of the basin. This velocity can be made very slow, and consequently, the creation of ergoregions should be relatively easier than in other models. As described here, this model is completely classical given that the analogy requires long wavelengths and slow propagation speeds for the gravity waves. Although the latter feature is convenient for the practical realization of analogue horizons, it is a disadvantage in trying to detect analogue Hawking radiation as the relative temperature will necessarily be very low. (This is why, in order to have a possibility of experimentally observing (spontaneous) Hawking evaporation and other quantum phenomena, one would need to use ultracold quantum fluids.) However, the gravity wave analogue can certainly serve to investigate the classical phenomena of mode mixing that underlies the quantum processes.
It is this particular analogue model (and its extensions to finite depth and surface tension) that underlies the experimental [532] and theoretical [531] work of Rousseaux et al., the historicallyimportant experimental work of Badulin et al. [17], and the very recent experimental verification by Weinfurtner et al. of the existence of classical stimulated Hawking radiation [682].
4.1.4 More general water waves
If one moves beyond shallowwater surface waves the physics becomes more complicated. In the shallowwater regime (wavelength λ much greater than water depth d) the comoving dispersion relation is a simple linear one ω = c_{ s }k, where the speed of sound can depend on both position and time. Once one moves to finitedepth (λ ∼ d) or deep (λ ≪ d) water, it is a standard result that the comoving dispersion relation becomes
See, for instance, Lamb [370] §228, p. 354, Equation (5). A more modern discussion in an analogue spacetime context is available in [643]. Adding surface tension requires a brief computation based on Lamb [370] §267 p. 459, details can be found in [643]. The net result is
Here K^{2} = gρ/σ is a constant depending on the acceleration due to gravity, the density, and the surface tension [643]. Once one adds the effects of fluid motion, one obtains
All of these features, fluid motion, finite depth, and surface tension (capillarity), seem to be present in the 1983 experimental investigations by Badulin et al. [17]. All of these features should be kept in mind when interpreting the experimental [532] and theoretical [531] work of Rousseaux et al., and the very recent experimental work by Weinfurtner et al. [682].
A feature that is sometimes not remarked on is that the careful derivation we have previously presented of the acoustic metric, or in this particular situation the derivation of the shallowwaterwave effective metric [560], makes technical assumptions tantamount to asserting that one is in the regime where the comoving dispersion relation takes the linear form ω ≈ c_{ s }k. Once the comoving dispersion relation becomes nonlinear, the situation is more subtle, and based on a geometric acoustics approximation to the propagation of signal waves one can introduce several notions of conformal “rainbow” metric (momentumdependent metric). Consider
and the inverse
At a minimum we could think of using the following notions of propagation speed
Brillouin, in his classic paper [92], identified at least six useful notions of propagation speed, and many would argue that the list can be further refined. Each one of these choices for the rainbow metric encodes different physics, and is useful for different purposes. It is still somewhat unclear as to which of these rainbow metrics is “best” for interpreting the experimental results reported in [17, 532, 682].
4.1.5 Classical refractive index
The macroscopic Maxwell equations inside a dielectric take the wellknown form
with the constitutive relations H = μ^{−1} · B and D = ϵ · E. Here, ϵ is the 3 × 3 permittivity tensor and μ the 3 × 3 permeability tensor of the medium. These equations can be written in a condensed way as
where F_{ νβ } = A_{[μ, β]} is the electromagnetic tensor,
and (assuming the medium is at rest) the nonvanishing components of the 4thrank tensor are given by
supplemented by the conditions that Z is antisymmetric on its first pair of indices and antisymmetric on its second pair of indices. Without significant loss of generality we can ask that Z also be symmetric under pairwise interchange of the first pair of indices with the second pair — thus Z exhibits most of the algebraic symmetries of the Riemann tensor, though this appears to merely be accidental, and not fundamental in any way.
If we compare this to the Lagrangian for electromagnetism in curved spacetime
we see that in curved spacetime we can also write the electromagnetic equations of motion in the form (170) where now (for some constant K):
If we consider a static gravitational field we can always rewrite it as a conformal factor multiplying an ultrastatic metric
then
The fact that Z is independent of the conformal factor Ω is simply the reflection of the wellknown fact that the Maxwell equations are conformally invariant in (3+1) dimensions. Thus, if we wish to have the analogy (between a static gravitational field and a dielectric medium at rest) hold at the level of the wave equation (physical optics) we must satisfy the two stringent constraints
The second of these constraints can be written as
In view of the standard formula for 3 × 3 determinants
this now implies
whence
Comparing this with
we now have:
To rearrange this, introduce the matrix square root [μ^{1/2}]^{ij}, which always exists because μ is real positive definite and symmetric. Then
Note that if you are given the static gravitational field (in the form Ω, g_{ ij }) you can always solve it to find an equivalent analogue in terms of permittivity/permeability (albeit an analogue that satisfies the mildly unphysical constraint ϵ ∝ μ).^{Footnote 19} On the other hand, if you are given permeability and permittivity tensors ϵ and μ, then it is only for that subclass of media that satisfy ϵ ∝ μ that one can perfectly mimic all of the electromagnetic effects by an equivalent gravitational field. Of course, this can be done provided one only considers wavelengths that are sufficiently long for the macroscopic description of the medium to be valid. In this respect it is interesting to note that the behaviour of the refractive medium at high frequencies has been used to introduce an effective cutoff for the modes involved in Hawking radiation [523]. We shall encounter this model (which is also known in the literature as a solid state analogue model) later on when we consider the transPlanckian problem for Hawking radiation. Let us stress that if one were able to directly probe the quantum effective photons over a dielectric medium, then one would be dealing with a quantum analogue model instead of a classical one.
4.1.5.1 Eikonal approximation
With a bit more work this discussion can be extended to a medium in motion, leading to an extension of the Gordon metric. Alternatively, one can agree to ask more limited questions by working at the level of geometrical optics (adopting the eikonal approximation), in which case there is no longer any restriction on the permeability and permittivity tensors. To see this, construct the matrix
The dispersion relations for the propagation of photons (and therefore the sought for geometrical properties) can be obtained from the reduced determinant of C (notice that the [full] determinant of C is identically zero as C^{μν}k_{ ν } = 0; the reduced determinant is that associated with the three directions orthogonal to k_{ ν } =0). By choosing the gauge A_{0} = 0 one can see that this reduced determinant can be obtained from the determinant of the 3 × 3 submatrix C^{ij}. This determinant is
or, after making some manipulations,
To simplify this, again introduce the matrix square roots [μ^{1/2}]^{ij} and [μ^{−1/2}]^{ij}, which always exist because the relevant matrices are real positive definite and symmetric. Then define
and
so that
The behaviour of this dispersion relation now depends critically on the way that the eigenvalues of \(\tilde{\epsilon}\) are distributed.
4.1.5.2 3 degenerate eigenvalues
If all eigenvalues are degenerate then \(\tilde{\epsilon} = \tilde{\epsilon} \,{\bf{I}}\), implying ϵ ∝ μ but now with the possibility of a positiondependent proportionality factor (in the case of physical optics the proportionality factor was constrained to be a positionindependent constant). In this case we now easily evaluate
while
That is
with
This last result is compatible with but more general than the result obtained under the more restrictive conditions of physical optics. In the situation where both permittivity and permeability are isotropic, (ϵ^{ij} = ϵ δ^{ij} and μ^{ij} = μ δ^{ij}) this reduces to the perhaps more expected result
4.1.5.3 2 distinct eigenvalues
If \(\tilde{\epsilon}\) has two distinct eigenvalues then the determinant det(C^{ij}) factorises into a trivial factor of ω^{2} and two quadratics. Each quadratic corresponds to a distinct effective metric. This is the physical situation encountered in uniaxial crystals, where the ordinary and extraordinary rays each obey distinct quadratic dispersion relations [82]. From the point of view of analogue models this corresponds to a twometric theory.
4.1.5.4 3 distinct eigenvalues
If \(\tilde{\epsilon}\) has three distinct eigenvalues then the determinant det(C^{ij}) is the product of a trivial factor of ω^{2} and a nonfactorizable quartic. This is the physical situation encountered in biaxial crystals [82, 638], and it seems that no meaningful notion of the effective Riemannian metric can be assigned to this case. (The use of Finsler geometries in this situation is an avenue that may be worth pursuing [306]. But note some of the negative results obtained in [573, 574, 575].)
4.1.5.5 Abstract linear electrodynamics
Hehl and coworkers have championed the idea of using the linear constitutive relations of electrodynamics as the primary quantities, and then treating the spacetime metric (even for flat space) as a derived concept. See [474, 276, 371, 277].
4.1.5.6 Nonlinear electrodynamics
In general, the permittivity and permeability tensors can be modified by applying strong electromagnetic fields (this produces an effectively nonlinear electrodynamics). The entire previous discussion still applies if one considers the photon as the linear perturbation of the electromagnetic field over a background configuration
The background field \(F_{\mu \nu}^{{\rm{bg}}}\) sets the value of ϵ^{ij}(F^{bg}), and μ^{ij}(F^{bg}). Equation (170) then becomes an equation for \(f_{\mu \nu}^{{\rm{ph}}}\). This approach has been extensively investigated by Novello and coworkers [465, 469, 170, 468, 466, 467, 464, 214].
4.1.5.7 Summary
The propagation of photons in a dielectric medium characterised by 3 × 3 permeability and permittivity tensors constrained by ϵ ∝ μ is equivalent (at the level of geometric optics) to the propagation of photons in a curved spacetime manifold characterised by the ultrastatic metric (198), provided one only considers wavelengths that are sufficiently long for the macroscopic description of the medium to be valid. If, in addition, one takes a fluid dielectric, by controlling its flow one can generalise the Gordon metric and again reproduce metrics of the PainlevéGullstrand type, and therefore geometries with ergoregions. If the proportionality constant relating ϵ ∝ μ is position independent, one can make the stronger statement (187) which holds true at the level of physical optics. Recently this topic has been revitalised by the increasing interest in (classical) metamaterials.
4.1.6 Normal mode metamodels
We have already seen how linearizing the EulerLagrange equations for a single scalar field naturally leads to the notion of an effective spacetime metric. If more than one field is involved the situation becomes more complicated, in a manner similar to that of geometrical optics in uniaxial and biaxial crystals. (This should, with hindsight, not be too surprising since electromagnetism, even in the presence of a medium, is definitely a Lagrangian system and definitely involves more than one single scalar field.) A normal mode analysis based on a general Lagrangian (many fields but still first order in derivatives of those fields) leads to a concept of refringence, or more specifically multirefringence, a generalization of the birefringence of geometrical optics. To see how this comes about, consider a straightforward generalization of the onefield case.
We want to consider linearised fluctuations around some background solution of the equations of motion. As in the singlefield case we write (here we will follow the notation and conventions of [45])
Now use this to expand the Lagrangian
Consider the action
Doing so allows us to integrate by parts. As in the singlefield case we can use the EulerLagrange equations to discard the linear terms (since we are linearizing around a solution of the equations of motion) and so get
Because the fields now carry indices (AB) we cannot cast the action into quite as simple a form as was possible in the singlefield case. The equation of motion for the linearised fluctuations are now read off as
This is a linear secondorder system of partial differential equations with positiondependent coefficients. This system of PDEs is automatically selfadjoint (with respect to the trivial “flat” measure d^{d+1}x).
To simplify the notation we introduce a number of definitions. First
This quantity is independently symmetric under interchange of μ, ν and A, B. We will want to interpret this as a generalization of the “densitised metric”, f^{μν}, but the interpretation is not as straightforward as for the singlefield case. Next, define
This quantity is antisymmetric in A, B. One might want to interpret this as some sort of “spin connection”, or possibly as some generalization of the notion of “Dirac matrices”. Finally, define
This quantity is by construction symmetric in (AB). We will want to interpret this as some sort of “potential” or “mass matrix”. Then the crucial point for the following discussion is to realise that Equation (205) can be written in the compact form
Now it is more transparent that this is a formally selfadjoint secondorder linear system of PDEs. Similar considerations can be applied to the linearization of any hyperbolic system of secondorder PDEs.
Consider an eikonal approximation for an arbitrary direction in field space; that is, take
with ϵ^{A}(x) a slowly varying amplitude, and φ(x) a rapidly varying phase. In this eikonal approximation (where we neglect gradients in the amplitude, and gradients in the coefficients of the PDEs, retaining only the gradients of the phase) the linearised system of PDEs (209) becomes
This has a nontrivial solution if and only if ϵ^{A}(x) is a null eigenvector of the matrix
where k_{ μ } = ∂_{ μ }φ(x). Now, the condition for such a null eigenvector to exist is that
with the determinant to be taken on the field space indices AB. This is the natural generalization to the current situation of the Fresnel equation of birefringent optics [82, 375]. Following the analogy with the situation in electrodynamics (either nonlinear electrodynamics, or more prosaically propagation in a birefringent crystal), the null eigenvector ϵ^{A}(x) would correspond to a specific “polarization”. The Fresnel equation then describes how different polarizations can propagate at different velocities (or in more geometrical language, can see different metric structures). In the language of particle physics, this determinant condition F(x,k) = 0 is the natural generalization of the “mass shell” constraint. Indeed, it is useful to define the mass shell as a subset of the cotangent space by
In more mathematical language we are looking at the null space of the determinant of the “symbol” of the system of PDEs. By investigating F(x,k) one can recover part (not all) of the information encoded in the matrices \({f^{\mu \nu}}_{AB},\,{\Gamma ^\mu}_{AB}\), \({f^{\mu \nu}}_{AB}\), and K_{ AB }, or equivalently in the “generalised Fresnel equation” (213). (Note that for the determinant equation to be useful it should be nonvacuous; in particular one should carefully eliminate all gauge and spurious degrees of freedom before constructing this “generalised Fresnel equation”, since otherwise the determinant will be identically zero.) We now want to make this analogy with optics more precise, by carefully considering the notion of characteristics and characteristic surfaces. We will see how to extract from the the highfrequency highmomentum regime described by the eikonal approximation all the information concerning the causal structure of the theory.
One of the key structures that a Lorentzian spacetime metric provides is the notion of causal relationships. This suggests that it may be profitable to try to work backwards from the causal structure to determine a Lorentzian metric. Now the causal structure implicit in the system of secondorder PDEs given in Equation (209) is described in terms of the characteristic surfaces, and it is for this reason that we now focus on characteristics as a way of encoding causal structure, and as a surrogate for some notion of a Lorentzian metric. Note that, via the Hadamard theory of surfaces of discontinuity, the characteristics can be identified with the infinitemomentum limit of the eikonal approximation [265]. That is, when extracting the characteristic surfaces we neglect subdominant terms in the generalised Fresnel equation and focus only on the leading term in the symbol (\({f^{\mu \nu}}_{AB}\)). In the language of particle physics, going to the infinitemomentum limit puts us on the light cone instead of the mass shell; and it is the light cone that is more useful in determining causal structure. The “normal cone” at some specified point x, consisting of the locus of normals to the characteristic surfaces, is defined by
As was the case for the Fresnel Equation (213), the determinant is to be taken on the field indices AB. (Remember to eliminate spurious and gauge degrees of freedom so that this determinant is not identically zero.) We emphasise that the algebraic equation defining the normal cone is the leading term in the Fresnel equation encountered in discussing the eikonal approximation. If there are N fields in total then this “normal cone” will generally consist of N nested sheets each with the topology (not necessarily the geometry) of a cone. Often several of these cones will coincide, which is not particularly troublesome, but unfortunately it is also common for some of these cones to be degenerate, which is more problematic.
It is convenient to define a function Q(x, k) on the cotangent bundle
The function Q(x, k) defines a completelysymmetric spacetime tensor (actually, a tensor density) with 2N indices
(Remember that \({f^{\mu \nu}}_{AB}\) is symmetric in both μν and AB independently.) Explicitly, using the expansion of the determinant in terms of completely antisymmetric fieldspace LeviCivita tensors
In terms of this Q(x,k) function, the normal cone is
In contrast, the “Monge cone” (aka “ray cone”, aka “characteristic cone”, aka “null cone”) is the envelope of the set of characteristic surfaces through the point x. Thus the “Monge cone” is dual to the “normal cone”, its explicit construction is given by (Courant and Hilbert [154, vol. 2, p. 583]):
The structure of the normal and Monge cones encode all the information related with the causal propagation of signals associated with the system of PDEs. We will now see how to relate this causal structure with the existence of effective spacetime metrics, from the experimentally favoured singlemetric theory compatible with the Einstein equivalence principle to the most complicated case of pseudoFinsler geometries [306].

Suppose that \({f^{\mu \nu}}_{AB}\) factorises
$${f^{\mu \nu}}_{AB} = {h_{AB}}\,{f^{\mu \nu}}.$$(221)Then
$$Q(x,k) = \det ({h_{AB}})\,{[{f^{\mu \nu}}\,{k_\mu}\,{k_\nu}]^N}.$$(222)The Monge cones and normal cones are then true geometrical cones (with the N sheets lying directly on top of one another). The normal modes all see the same spacetime metric, defined up to an unspecified conformal factor by g^{μν} ∝ f^{μν}. This situation is the most interesting from the point of view of general relativity. Physically, it corresponds to a singlemetric theory, and mathematically it corresponds to a strict algebraic condition on the \({f^{\mu \nu}}_{AB}\).

The next most useful situation corresponds to the commutativity condition:
$${f^{\mu \nu}}_{AB}\,{f^{\alpha \beta}}_{BC} = {f^{\alpha \beta}}_{AB}\,{f^{\mu \nu}}_{BC};\quad {\rm{that}}\,{\rm{is}}\quad [\,{f^{\mu \nu}},{f^{\alpha \beta}}\,] = 0.$$(223)If this algebraic condition is satisfied, then for all spacetime indices μν and αβ the \(g_A^{\mu \nu} \propto \bar f_A^{\mu \nu}\) can be simultaneously diagonalised in field space leading to
$${\bar f^{\mu \nu}}{\,_{AB}} = {\rm{diag}}\{\bar f_1^{\mu \nu},\bar f_2^{\mu \nu},\bar f_3^{\mu \nu}, \ldots, \bar f_N^{\mu \nu}\}$$(224)and then
$$Q(x,k) = \prod\limits_{A = 1}^N {[\bar f_A^{\mu \nu}\,{k_\mu}\,{k_\nu}]}.$$(225)This case corresponds to an Nmetric theory, where up to an unspecified conformal factor \({f^{\mu \nu}}_{AB}\). This is the natural generalization of the twometric situation in biaxial crystals.

If \({f^{\mu \nu}}_{AB}\) is completely general, satisfying no special algebraic condition, then Q(x,k) does not factorise and is, in general, a polynomial of degree 2N in the wave vector k_{ μ }. This is the natural generalization of the situation in biaxial crystals. (And for any deeper analysis of this situation one will almost certainly need to adopt pseudoFinsler techniques [306]. But note some of the negative results obtained in [573, 574, 575].)
The message to be extracted from this rather formal discussion is that effective metrics are rather general and mathematically robust objects that can arise in quite abstract settings — in the abstract setting discussed here it is the algebraic properties of the object \(\hat{\Psi}\) that eventually leads to monometricity, multimetricity, or worse. The current abstract discussion also serves to illustrate, yet again,

1.
that there is a significant difference between the levels of physical normal modes (wave equations), and geometrical normal modes (dispersion relations), and

2.
that the densitised inverse metric is in many ways more fundamental than the metric itself.
4.2 Quantum models
4.2.1 BoseEinstein condensates
We have seen that one of the main aims of research in analogue models of gravity is the possibility of simulating semiclassical gravity phenomena, such as the Hawking radiation effect or cosmological particle production. In this sense systems characterised by a high degree of quantum coherence, very cold temperatures, and low speeds of sound offer the best test field. One could reasonably hope to manipulate these systems to have Hawking temperatures on the order of the environment temperature (∼ 100 nK) [48]. Hence it is not surprising that in recent years BoseEinstein condensates (BECs) have become the subject of extensive study as possible analogue models of general relativity [231, 232, 45, 48, 47, 195, 194].
Let us start by very briefly reviewing the derivation of the acoustic metric for a BEC system, and show that the equations for the phonons of the condensate closely mimic the dynamics of a scalar field in a curved spacetime. In the dilute gas approximation, one can describe a Bose gas by a quantum field \(\hat{\Psi} = \psi + \hat{\varphi}\) satisfying
Here κ parameterises the strength of the interactions between the different bosons in the gas. It can be reexpressed in terms of the scattering length as
As usual, the quantum field can be separated into a macroscopic (classical) condensate and a fluctuation: \(\langle \hat {\Psi} \rangle = \psi\). Then, by adopting the selfconsistent meanfield approximation (see, for example, [261])
one can arrive at the set of coupled equations:
Here
The equation for the classical wave function of the condensate is closed only when the backreaction effect due to the fluctuations is neglected. (This backreaction is hiding in the parameters \(\tilde{m}\) and ñ.) This is the approximation contemplated by the GrossPitaevskii equation. In general, one will have to solve both equations simultaneously. Adopting the Madelung representation for the wave function of the condensate
and defining an irrotational “velocity field” by v ≡ ∇θ/m, the GrossPitaevskii equation can be rewritten as a continuity equation plus an Euler equation:
These equations are completely equivalent to those of an irrotational and inviscid fluid apart from the existence of the quantum potential
which has the dimensions of an energy. Note that
which justifies the introduction of the quantum stress tensor
This tensor has the dimensions of pressure, and may be viewed as an intrinsically quantum anisotropic pressure contributing to the Euler equation. If we write the mass density of the Madelung fluid as ρ = m n_{ c }, and use the fact that the flow is irrotational, then the Euler equation takes the form
Note that the term V_{ext}/m has the dimensions of specific enthalpy, while κρ^{2}/(2m) represents a bulk pressure. When the gradients in the density of the condensate are small one can neglect the quantum stress term leading to the standard hydrodynamic approximation. Because the flow is irrotational, the Euler equation is often more conveniently written in HamiltonJacobi form:
Apart from the wave function of the condensate itself, we also have to account for the (typically small) quantum perturbations of the system (230). These quantum perturbations can be described in several different ways, here we are interested in the “quantum acoustic representation”
where \({\hat {n}_1},\,\hat {\theta}\) are real quantum fields. By using this representation, Equation (230) can be rewritten as
Here D_{2} represents a secondorder differential operator obtained by linearizing the quantum potential. Explicitly:
The equations we have just written can be obtained easily by linearizing the GrossPitaevskii equation around a classical solution: \({n_c} \rightarrow {n_c} + {\hat n_1},\,\phi \rightarrow \phi + {\hat \phi _1}\). It is important to realise that in those equations the backreaction of the quantum fluctuations on the background solution has been assumed negligible. We also see in Equations (243) and (244) that time variations of V_{ext} and time variations of the scattering length a appear to act in very different ways. Whereas the external potential only influences the background Equation (241) (and hence the acoustic metric in the analogue description), the scattering length directly influences both the perturbation and background equations. From the previous equations for the linearised perturbations it is possible to derive a wave equation for \(\hat {\theta}_1\) (or alternatively, for \(\hat {n}_1\)). All we need is to substitute in Equation (243) the \(\hat {n}_1\) obtained from Equation (244). This leads to a PDE that is secondorder in time derivatives but infiniteorder in space derivatives — to simplify things we can construct the symmetric 4 × 4 matrix
(Greek indices run from 0–3, while Roman indices run from 1–3.) Then, introducing (3+1)dimensional spacetime coordinates,
the wave equation for θ_{1} is easily rewritten as
Where the f^{μν} are differential operators acting on space only:
Now, if we make a spectral decomposition of the field \(\hat {\theta}_1\) we can see that for wavelengths larger than ℏ/mc_{s} (this corresponds to the “healing length”, as we will explain below), the terms coming from the linearization of the quantum potential (the D_{2}) can be neglected in the previous expressions, in which case the f^{μν} can be approximated by (momentum independent) numbers, instead of differential operators. (This is the heart of the acoustic approximation.) Then, by identifying
the equation for the field \(\hat {\theta}_1\) becomes that of a (massless minimally coupled) quantum scalar field over a curved background
with an effective metric of the form
Here, the magnitude c_{s}(n_{ c }, a) represents the speed of the phonons in the medium:
With this effective metric now in hand, the analogy is fully established, and one is now in a position to start asking more specific physics questions.
4.2.1.1 Lorentz breaking in BEC models — the eikonal approximation
It is interesting to consider the case in which the above “hydrodynamical” approximation for BECs does not hold. In order to explore a regime where the contribution of the quantum potential cannot be neglected we can use the eikonal approximation, a highmomentum approximation where the phase fluctuation \(\hat {\theta}_1\) is itself treated as a slowlyvarying amplitude times a rapidly varying phase. This phase will be taken to be the same for both \(\hat {n}_1\) and \(\hat {\theta}_1\) fluctuations. In fact, if one discards the unphysical possibility that the respective phases differ by a timevarying quantity, any timeconstant difference can be safely reabsorbed in the definition of the (complex) amplitudes. Specifically, we shall write
As a consequence of our starting assumptions, gradients of the amplitude, and gradients of the background fields, are systematically ignored relative to gradients of Φ. (Warning: What we are doing here is not quite a “standard” eikonal approximation, in the sense that it is not applied directly on the fluctuations of the field ψ(t, x) but separately on their amplitudes and phases ρ_{1} and Φ_{1}.) We adopt the notation
Then the operator D_{2} can be approximated as
A similar result holds for D_{2} acting on \(\hat {\theta}_1\). That is, under the eikonal approximation we effectively replace the operator D_{2} by the function
For the matrix f^{μν} this effectively results in the (explicitly momentum dependent) replacement
As desired, this has the net effect of making f^{μν} a matrix of (explicitly momentum dependent) numbers, not operators. The physical wave equation (248) now becomes a nonlinear dispersion relation
After substituting the approximate D_{2} into this dispersion relation and rearranging, we see (remember: k^{2}=‖k‖=δ^{ij}k_{ i }k_{ j })
That is:
Introducing the speed of sound c_{s}, this takes the form:
At this stage some observations are in order:

1.
It is interesting to recognize that the dispersion relation (271) is exactly in agreement with that found in 1947 by Bogoliubov [79] (reprinted in [508]; see also [374]) for the collective excitations of a homogeneous Bose gas in the limit T→0 (almost complete condensation). In his derivation Bogoliubov applied a diagonalization procedure for the Hamiltonian describing the system of bosons.

2.
Coincidentally this is the same dispersion relation that one encounters for shallowwater surface waves in the presence of surface tension. See Section 4.1.4.

3.
Because of the explicit momentum dependence of the comoving phase velocity and comoving group velocity, once one goes to high momentum the associated effective metric should be thought of as one of many possible “rainbow metrics” as in Section 4.1.4. See also [643]. (At low momentum one, of course, recovers the hydrodynamic limit with its uniquely specified standard metric.)

4.
It is easy to see that Equation (271) actually interpolates between two different regimes depending on the value of the wavelength λ = 2π/‖k‖ with respect to the “acoustic Compton wavelength” λ_{ c } = h/(mc_{s}). (Remember that c_{s} is the speed of sound; this is not a standard particle physics Compton wavelength.) In particular, if we assume v_{0} = 0 (no background velocity), then, for large wavelengths λ≫λ_{ c }, one gets a standard phonon dispersion relation ω ≈ c‖k‖. For wavelengths λ ≪ λ_{ c } the quasiparticle energy tends to the kinetic energy of an individual gas particle and, in fact, ω ≈ ℏ^{2}k^{2}/(2m).
We would also like to highlight that in relative terms, the approximation by which one neglects the quartic terms in the dispersion relation gets worse as one moves closer to a horizon where v_{0} = −c_{s}. The nondimensional parameter that provides this information is defined by
$$\delta \equiv {{\sqrt {1 + {{\lambda _c^2} \over {4{\lambda ^2}}}}  1} \over {(1  {v_0}/{c_{\rm{s}}})}} \simeq {1 \over {(1  {v_0}/{c_{\rm{s}}})}}{{\lambda _c^2} \over {8{\lambda ^2}}}.$$(272)As we will discuss in Section 5.2, this is the reason why sonic horizons in a BEC can exhibit different features from those in standard general relativity.

5.
The dispersion relation (271) exhibits a contribution due to the background flow \(\upsilon _0^i\,{k_i}\), plus a quartic dispersion at high momenta. The group velocity is
$$v_g^i = {{\partial \omega} \over {\partial {k_i}}} = v_0^i \pm {{\left({{c^2} + {{{\hbar ^2}} \over {2{m^2}}}{k^2}} \right)} \over {\sqrt {{c^2}{k^2} + {{\left({{\hbar \over {2m}}{k^2}} \right)}^2}}}}{k^i}.$$(273)Indeed, with hindsight, the fact that the group velocity goes to infinity for large k was preordained: After all, we started from the generalised nonlinear Schrödinger equation, and we know what its characteristic curves are. Like the diffusion equation the characteristic curves of the Schrödinger equation (linear or nonlinear) move at infinite speed. If we then approximate this generalised nonlinear Schrödinger equation in any manner, for instance by linearization, we cannot change the characteristic curves: For any wellbehaved approximation technique, at high frequency and momentum we should recover the characteristic curves of the system we started with. However, what we certainly do see in this analysis is a suitably large region of momentum space for which the concept of the effective metric both makes sense, and leads to finite propagation speed for mediumfrequency oscillations.
4.2.1.2 Relativistic BEC extension
BoseEinstein condensation can occur not only for nonrelativistic bosons but for relativistic ones as well. The main differences between the thermodynamical properties of these condensates at finite temperature are due both to the different energy spectra and also to the presence, for relativistic bosons, of antibosons. These differences result in different conditions for the occurrence of BoseEinstein condensation, which is possible, e.g., in two spatial dimensions for a homogeneous relativistic Bose gas, but not for its nonrelativistic counterpart — and also, more importantly for our purposes, in the different structure of their excitation spectra.
In [191] an analogue model based on a relativistic BEC was studied. We summarise here the main results. The Lagrangian density for an interacting relativistic scalar Bose field \(\hat {\phi} ({\rm{x}},\,t)\) may be written as
where V(t, x) is an external potential depending both on time and position x, m is the mass of the bosons and c is the light velocity. U is an interaction term and the coupling constant λ_{ i }(t, x) can depend on time and position too (this is possible, for example, by changing the scattering length via a Feshbach resonance [151, 175]). U can be expanded as
where \(\hat \rho = {\hat \phi ^\dagger}\hat \phi\). The usual twoparticle \({\lambda _2}{\hat {\phi}^4}\)interaction corresponds to the first term \(({\lambda _2}/2){\hat \rho ^2}\), while the second term represents the threeparticle interaction and so on.
The field \({\hat {\phi}}\) can be written as a classical field (the condensate) plus perturbation:
It is worth noticing now that the expansion in Equation (276) can be linked straightforwardly to the previously discussed expansion in phase and density perturbations \({\hat {\theta}_1},\,{\hat {\rho}_1}\) by noting that
Setting ψ ∝ exp[i(k · x − ωt)] one then gets from the equation of motion [191]
where, for convenience, we have defined the following quantities as
Here q is the speed of the condensate flow and c is the speed of light. For a condensate at rest (q = 0) one then obtains the following dispersion relation
The dispersion relation (281) is sufficiently complicated to prevent any obvious understanding of the regimes allowed for the excitation of the system. It is much richer than the nonrelativistic case. For example, it allows for both a massless/gapless (phononic) and massive/gapped mode, respectively for the ω_{−} and ω_{+} branches of (281). Nonetheless, it should be evident that different regimes are determined by the relative strength of the the first two terms on the righthand side of Equation (281) (note that the same terms enter in the square root). This can be summarised, in low and high momentum limits respectively, for k much less or much greater than
where b encodes the relativistic nature of the condensate (the larger b the more the condensate is relativistic).
A detailed discussion of the different regimes would be inappropriately long for this review; it can be found in [191]. The results are summarised in Table 1. Note that μ ≡ mcu^{0} plays the role of the chemical potential for the relativistic BEC. One of the most remarkable features of this model is that it is a condensed matter system that interpolates between two different Lorentz symmetries, one at low energy and a different Lorentz symmetry at high energy.
Finally, it is also possible to recover an acoustic metric for the massless (phononic) perturbations of the condensate in the low momentum limit (k ≪ mu^{0}(1 + b)/ℏ):
As should be expected, it is just a version of the acoustic geometry for a relativistic fluid previously discussed, and in fact can be cast in the form of Equation (155) by suitable variable redefinitions [191].
4.2.2 The heliocentric universe
Helium is one of the most fascinating elements provided by nature. Its structural richness confers on helium a paradigmatic character regarding the emergence of many and varied macroscopic properties from the microscopic world (see [660] and references therein). Here, we are interested in the emergence of effective geometries in helium, and their potential use in testing aspects of semiclassical gravity.
Helium four, a bosonic system, becomes superfluid at low temperatures (2.17 K at vapour pressure). This superfluid behaviour is associated with condensation in the vacuum state of a macroscopically large number of atoms. A superfluid is automatically an irrotational and inviscid fluid, so, in particular, one can apply to it the ideas worked out in Section 2. The propagation of classical acoustic waves (scalar waves) over a background fluid flow can be described in terms of an effective Lorentzian geometry: the acoustic geometry. However, in this system one can naturally go considerably further, into the quantum domain. For long wavelengths, the quasiparticles in this system are quantum phonons. One can separate the classical behaviour of a background flow (the effective geometry) from the behaviour of the quantum phonons over this background. In this way one can reproduce, in laboratory settings, different aspects of quantum field theory over curved backgrounds. The speed of sound in the superfluid phase is typically on the order of cm/sec. Therefore, at least in principle, it should not be too difficult to establish configurations with supersonic flows and their associated ergoregions.
Helium three, the fermionic isotope of helium, in contrast, becomes superfluid at much lower temperatures (below 2.5 milliK). The reason behind this rather different behaviour is the pairing of fermions to form effective bosons (Cooper pairing), which are then able to condense. In the ^{3}HeA phase, the structure of the fermionic vacuum is such that it possesses two Fermi points, instead of the more typical Fermi surface. In an equilibrium configuration one can choose the two Fermi points to be located at {p_{ x } = 0, p_{ y } = 0, p_{ z } = ±p_{ F }} (in this way, the zaxis signals the direction of the angular momentum of the pairs). Close to either Fermi point the spectrum of quasiparticles becomes equivalent to that of Weyl fermions. From the point of view of the laboratory, the system is not isotropic, it is axisymmetric. There is a speed for the propagation of quasiparticles along the zaxis, c_{‖} ≃ cm/sec, and a different speed, c_{⊥} ≃ 10^{−5} c_{‖}, for propagation perpendicular to the symmetry axis. However, from an internal observer’s point of view this anisotropy is not “real”, but can be made to disappear by an appropriate rescaling of the coordinates. Therefore, in the equilibrium case, we are reproducing the behaviour of Weyl fermions over Minkowski spacetime. Additionally, the vacuum can suffer collective excitations. These collective excitations will be experienced by the Weyl quasiparticles as the introduction of an effective electromagnetic field and a curved Lorentzian geometry. The control of the form of this geometry provides the sought for gravitational analogy.
Apart from the standard way to provide a curved geometry based on producing nontrivial flows, there is also the possibility of creating topologically nontrivial configurations with a builtin nontrivial geometry. For example, it is possible to create a domainwall configuration [327, 326] (the wall contains the zaxis) such that the transverse velocity c_{⊥} acquires a profile in the perpendicular direction (say along the xaxis) with c_{⊥} passing through zero at the wall (see Figure 11). This particular arrangement could be used to reproduce a blackholewhitehole configuration only if the soliton is set up to move with a certain velocity along the xaxis. This configuration has the advantage that it is dynamically stable, for topological reasons, even when some supersonic regions are created.
A third way in which superfluid helium can be used to create analogues of gravitational configurations is the study of surface waves (or ripplons) on the interface between two different phases of ^{3}He [657, 659]. In particular, if we have a thin layer of ^{3}HeA in contact with another thin layer of ^{3}HeB, the oscillations of the contact surface “see” an effective metric of the form [657, 659]
where
and
(All of this provided that we are looking at wavelengths larger than the layer thickness, kh_{ A } ≪ 1 and kh_{ B } ≪ 1.)
The advantage of using surface waves instead of bulk waves in superfluids is that one could create horizons without reaching supersonic speeds in the bulk fluid. This could alleviate the appearance of dynamical instabilities in the system, that in this case are controlled by the strength of the interaction of the ripplons with bulk degrees of freedom [657, 659].
4.2.3 Slow light in fluids
The geometrical interpretation of the motion of light in dielectric media leads naturally to conjecture that the use of flowing dielectrics might be useful for simulating general relativity metrics with ergoregions and black holes. Unfortunately, these types of geometry require flow speeds comparable to the group velocity of the light. Since typical refractive indexes in nondispersive media are quite close to unity, it is then clear that it is practically impossible to use them to simulate such general relativistic phenomena. However recent technological advances have radically changed this state of affairs. In particular the achievement of controlled slowdown of light, down to velocities of a few meters per second (or even down to complete rest) [617, 338, 96, 353, 506, 603, 565], has opened a whole new set of possibilities regarding the simulation of curvedspace metrics via flowing dielectrics.
But how can light be slowed down to these “snaillike” velocities? The key effect used to achieve this takes the name of Electromagnetically Induced Transparency (EIT). A laser beam is coupled to the excited levels of some atom and used to strongly modify its optical properties. In particular one generally chooses an atom with two longlived metastable (or stable) states, plus a higher energy state that has some decay channels into these two lower states. The coupling of the excited states induced by the laser light can affect the transition from a lower energy state to the higher one, and hence the capability of the atom to absorb light with the required transition energy. The system can then be driven into a state where the transitions between each of the lower energy states and the higher energy state exactly cancel out, due to quantum interference, at some specific resonant frequency. In this way the higherenergy level has null averaged occupation number. This state is hence called a “dark state”. EIT is characterised by a transparency window, centered around the resonance frequency, where the medium is both almost transparent and extremely dispersive (strong dependence on frequency of the refractive index). This in turn implies that the group velocity of any light probe would be characterised by very low real group velocities (with almost vanishing imaginary part) in proximity to the resonant frequency.
Let us review the most common setup envisaged for this kind of analogue model. A more detailed analysis can be found in [383]. One can start by considering a medium in which an EIT window is opened via some control laser beam which is oriented perpendicular to the direction of the flow. One then illuminates this medium, now along the flow direction, with some probe light (which is hence perpendicular to the control beam). This probe beam is usually chosen to be weak with respect to the control beam, so that it does not modify the optical properties of the medium. In the case in which the optical properties of the medium do not vary significantly over several wavelengths of the probe light, one can neglect the polarization and can hence describe the propagation of the latter with a simple scalar dispersion relation [390, 211]
where χ is the susceptibility of the medium, related to the refractive index via the simple relation \(n = \sqrt {1 + \chi}\).
It is easy to see that in this case the group and phase velocities differ
So even for small refractive indexes one can get very low group velocities, due to the large dispersion in the transparency window, and in spite of the fact that the phase velocity remains very near to c. (The phase velocity is exactly at the resonance frequency ω_{0}). In an ideal EIT regime the probe light experiences a vanishing susceptibility χ near the the critical frequency ω_{0}, this allows us to express the susceptibility near the critical frequency via the expansion
where α is sometimes called the “group refractive index”. The parameter α depends on the dipole moments for the transition from the metastable states to the high energy one, and most importantly depends on the ratio between the probelight energy per photon, ℏω_{0}, and the controllight energy per atom [383]. This might appear paradoxical because it seems to suggest that for a dimmer control light the probe light would be further slowed down. However this is just an artificial feature due to the extension of the EIT regime beyond its range of applicability. In particular in order to be effective the EIT requires the control beam energy to dominate all processes and hence it cannot be dimmed at will.
At resonance we have
We can now generalise the above discussion to the case in which our highly dispersive medium flows with a characteristic velocity profile u(x, t). In order to find the dispersion relation of the probe light in this case we just need to transform the dispersion relation (287) from the comoving frame of the medium to the laboratory frame. Let us consider for simplicity a monochromatic probe light (more realistically a pulse with a very narrow range of frequencies ω near ω_{0}). The motion of the dielectric medium creates a local Doppler shift of the frequency
where γ is the usual relativistic factor. Given that k^{2} − ω^{2}/c^{2} is a Lorentz invariant, it is then easy to see that this Doppler detuning affects the dispersion relation (287) only via the susceptibility dependent term. Given further that in any realistic case one would deal with nonrelativistic fluid velocities u ≪ c we can then perform an expansion of the dispersion relation up to second order in u/c. Expressing the susceptibility via Equation (289) we can then rewrite the dispersion relation in the form [390]
where
and
(Note that most of the original articles on this topic adopt the opposite signature (+ − −−).) The inverse of this tensor will be the covariant effective metric experienced by the probe light, whose rays would then be null geodesics of the line element ds^{2} = g_{ μν }dx^{μ}dx^{ν}. In this sense the probe light will propagate as in a curved background. Explicitly one finds the covariant metric to be
where
Several comments are in order concerning the metric (295). First of all, it is clear that, although more complicated than an acoustic metric, it will still be possible to cast it into the ArnowittDeserMisnerlike form [627]
where the effective speed u_{eff} is proportional to the fluid flow speed u and the threespace effective metric g_{eff} is (rather differently from the acoustic case) nontrivial.
In any case, the existence of this ADM form already tells us that an ergoregion will always appear once the norm of the effective velocity exceeds the effective speed of light (which for slow light is approximately c/α, where α can be extremely large due to the huge dispersion in the transparency window around the resonance frequency ω_{0}). However, a trapped surface (and hence an optical black hole) will form only if the inward normal component of the effective flow velocity exceeds the group velocity of light. In the slow light setup so far considered such a velocity turns out to be \(u = c/(2\sqrt {\alpha)}\).
The realization that ergoregions and event horizons can be simulated via slow light may lead one to the (erroneous) conclusion that this is an optimal system for simulating particle creation by gravitational fields. However, as pointed out by Unruh in [470, 612], such a conclusion would turn out to be overenthusiastic. In order to obtain particle creation through “mode mixing”, (mixing between the positive and negative norm modes of the incoming and outgoing states), an inescapable requirement is that there must be regions where the frequency of the quanta as seen by a local comoving observer becomes negative.
In a flowing medium this can, in principle, occur thanks to the tilting of the dispersion relation due to the Doppler effect caused by the velocity of the flow Equation (291); but this also tells us that the negative norm mode must satisfy the condition ω_{0} − u · k < 0, but this can be satisfied only if the velocity of the medium exceeds ω_{0}/k, which is the phase velocity of the probe light, not its group velocity. This observation suggests that the existence of a “phase velocity horizon” is an essential ingredient (but not the only essential ingredient) in obtaining Hawking radiation. A similar argument indicates the necessity for a specific form of “group velocity horizon”, one that lies on the negative norm branch. Since the phase velocity in the slow light setup we are considering is very close to c, the physical speed of light in vacuum, not very much hope is left for realizing analogue particle creation in this particular laboratory setting.
However, it was also noticed by Unruh and Schützhold [612] that a different setup for slow light might deal with this and other issues (see [612] for a detailed summary). In the setup suggested by these authors there are two strongbackground counterpropagating control beams illuminating the atoms. The field describing the beat fluctuations of this electromagnetic background can be shown to satisfy, once the dielectric medium is in motion, the same wave equation as that on a curved background. In this particular situation the phase velocity and the group velocity are approximately the same, and both can be made small, so that the previously discussed obstruction to mode mixing is removed. So in this new setup it is concretely possible to simulate classical particle creation such as, e.g., superradiance in the presence of ergoregions.
Nonetheless, the same authors showed that this does not open the possibility for a simulation of quantum particle production (e.g., Hawking radiation). This is because that effect also requires the commutation relations of the field to generate the appropriate zeropoint energy fluctuations (the vacuum structure) according to the Heisenberg uncertainty principle. This is not the case for the effective field describing the beat fluctuations of the system we have just described, which is equivalent to saying that it does not have a proper vacuum state (i.e., analogue to any physical field). Hence, one has to conclude that any simulation of quantum particle production is precluded.
4.2.4 Slow light in fibre optics
In addition to the studies of slow light in fluids, there has now been a lot of work done on slow light in a fibreoptics setting [505, 504, 64, 63], culminating in recent experimental detection of photons apparently associated with a phasevelocity horizon [66]. The key issue here is that the Kerr effect of nonlinear optics can be used to change the refractive index of an optical fibre, so that a “carrier” pulse of light traveling down the fibre carries with it a region of high refractive index, which acts as a barrier to “probe” photons (typically at a different frequency). If the relative velocities of the “carrier” pulse and “probe” are suitably arranged then the arrangement can be made to mimic a blackholewhitehole pair. This system is described more fully in Section 6.4.
4.2.5 Lattice models
The quantum analogue models described above all have an underlying discrete structure: namely the atoms they are made of. In abstract terms one can also build an analogue model by considering a quantum field on specific lattice structures representing different spacetimes. In [310,