Odd number theorem

Last updated

The odd number theorem is a theorem in strong gravitational lensing which comes directly from differential topology.

Contents

The theorem states that the number of multiple images produced by a bounded transparent lens must be odd.

Formulation

The gravitational lensing is a thought to mapped from what's known as image plane to source plane following the formula :

.

Argument

If we use direction cosines describing the bent light rays, we can write a vector field on plane .

However, only in some specific directions , will the bent light rays reach the observer, i.e., the images only form where . Then we can directly apply the Poincaré–Hopf theorem .

The index of sources and sinks is +1, and that of saddle points is 1. So the Euler characteristic equals the difference between the number of positive indices and the number of negative indices . For the far field case, there is only one image, i.e., . So the total number of images is , i.e., odd. The strict proof needs Uhlenbeck's Morse theory of null geodesics.

Related Research Articles

<span class="mw-page-title-main">General relativity</span> Theory of gravitation as curved spacetime

General relativity, also known as the general theory of relativity and Einstein's theory of gravity, is the geometric theory of gravitation published by Albert Einstein in 1915 and is the current description of gravitation in modern physics. General relativity generalizes special relativity and refines Newton's law of universal gravitation, providing a unified description of gravity as a geometric property of space and time or four-dimensional spacetime. In particular, the curvature of spacetime is directly related to the energy and momentum of whatever matter and radiation are present. The relation is specified by the Einstein field equations, a system of second order partial differential equations.

<span class="mw-page-title-main">Gravitational lens</span> Light bending by mass between source and observer

A gravitational lens is a distribution of matter or a point particle between a distant light source and an observer that is capable of bending the light from the source as the light travels toward the observer. This effect is known as gravitational lensing, and the amount of bending is one of the predictions of Albert Einstein's general theory of relativity. Treating light as corpuscles travelling at the speed of light, Newtonian physics also predicts the bending of light, but only half of that predicted by general relativity.

The following is a timeline of gravitational physics and general relativity.

In theoretical physics, twistor theory was proposed by Roger Penrose in 1967 as a possible path to quantum gravity and has evolved into a widely studied branch of theoretical and mathematical physics. Penrose's idea was that twistor space should be the basic arena for physics from which space-time itself should emerge. It has led to powerful mathematical tools that have applications to differential and integral geometry, nonlinear differential equations and representation theory, and in physics to general relativity, quantum field theory, and the theory of scattering amplitudes. Twistor theory arose in the context of the rapidly expanding mathematical developments in Einstein's theory of general relativity in the late 1950s and in the 1960s and carries a number of influences from that period. In particular, Roger Penrose has credited Ivor Robinson as an important early influence in the development of twistor theory, through his construction of so-called Robinson congruences.

The Kerr metric or Kerr geometry describes the geometry of empty spacetime around a rotating uncharged axially symmetric black hole with a quasispherical event horizon. The Kerr metric is an exact solution of the Einstein field equations of general relativity; these equations are highly non-linear, which makes exact solutions very difficult to find.

In theoretical physics, the Einstein–Cartan theory, also known as the Einstein–Cartan–Sciama–Kibble theory, is a classical theory of gravitation similar to general relativity. The theory was first proposed by Élie Cartan in 1922. Einstein–Cartan theory is the simplest Poincaré gauge theory.

In theoretical physics, Euclidean quantum gravity is a version of quantum gravity. It seeks to use the Wick rotation to describe the force of gravity according to the principles of quantum mechanics.

The concept of mass in general relativity (GR) is more subtle to define than the concept of mass in special relativity. In fact, general relativity does not offer a single definition of the term mass, but offers several different definitions that are applicable under different circumstances. Under some circumstances, the mass of a system in general relativity may not even be defined.

In theoretical physics, the Penrose transform, introduced by Roger Penrose, is a complex analogue of the Radon transform that relates massless fields on spacetime, or more precisely the space of solutions to massless field equations to sheaf cohomology groups on complex projective space. The projective space in question is the twistor space, a geometrical space naturally associated to the original spacetime, and the twistor transform is also geometrically natural in the sense of integral geometry. The Penrose transform is a major component of classical twistor theory.

<span class="mw-page-title-main">Jürgen Ehlers</span> German physicist

Jürgen Ehlers was a German physicist who contributed to the understanding of Albert Einstein's theory of general relativity. From graduate and postgraduate work in Pascual Jordan's relativity research group at Hamburg University, he held various posts as a lecturer and, later, as a professor before joining the Max Planck Institute for Astrophysics in Munich as a director. In 1995, he became the founding director of the newly created Max Planck Institute for Gravitational Physics in Potsdam, Germany.

<span class="mw-page-title-main">Strong gravitational lensing</span>

Strong gravitational lensing is a gravitational lensing effect that is strong enough to produce multiple images, arcs, or even Einstein rings. Generally, for strong lensing to occur, the projected lens mass density must be greater than the critical density, that is . For point-like background sources, there will be multiple images; for extended background emissions, there can be arcs or rings. Topologically, multiple image production is governed by the odd number theorem.

<span class="mw-page-title-main">Dyson conjecture</span> Theorem about the constant term of certain Laurent polynomials

In mathematics, the Dyson conjecture is a conjecture about the constant term of certain Laurent polynomials, proved independently in 1962 by Wilson and Gunson. Andrews generalized it to the q-Dyson conjecture, proved by Zeilberger and Bressoud and sometimes called the Zeilberger–Bressoud theorem. Macdonald generalized it further to more general root systems with the Macdonald constant term conjecture, proved by Cherednik.

<span class="mw-page-title-main">Entropic gravity</span> Theory in modern physics that describes gravity as an entropic force

Entropic gravity, also known as emergent gravity, is a theory in modern physics that describes gravity as an entropic force—a force with macro-scale homogeneity but which is subject to quantum-level disorder—and not a fundamental interaction. The theory, based on string theory, black hole physics, and quantum information theory, describes gravity as an emergent phenomenon that springs from the quantum entanglement of small bits of spacetime information. As such, entropic gravity is said to abide by the second law of thermodynamics under which the entropy of a physical system tends to increase over time.

Photon sphere (definition):
A photon sphere of a static spherically symmetric metric is a timelike hypersurface if the deflection angle of a light ray with the closest distance of approach diverges as

Friedrich Kottler was an Austrian theoretical physicist. He was a Privatdozent before he got a professorship in 1923 at the University of Vienna.

<span class="mw-page-title-main">Lovelock theory of gravity</span>

In theoretical physics, Lovelock's theory of gravity (often referred to as Lovelock gravity) is a generalization of Einstein's theory of general relativity introduced by David Lovelock in 1971. It is the most general metric theory of gravity yielding conserved second order equations of motion in an arbitrary number of spacetime dimensions D. In this sense, Lovelock's theory is the natural generalization of Einstein's General Relativity to higher dimensions. In three and four dimensions (D = 3, 4), Lovelock's theory coincides with Einstein's theory, but in higher dimensions the theories are different. In fact, for D > 4 Einstein gravity can be thought of as a particular case of Lovelock gravity since the Einstein–Hilbert action is one of several terms that constitute the Lovelock action.

In mathematics, Bender–Dunne polynomials are a two-parameter family of sequences of orthogonal polynomials studied by Carl M. Bender and Gerald Dunne. They may be defined by the recursion:

In mathematics and mathematical physics, complex spacetime extends the traditional notion of spacetime described by real-valued space and time coordinates to complex-valued space and time coordinates. The notion is entirely mathematical with no physics implied, but should be seen as a tool, for instance, as exemplified by the Wick rotation.

The Ellis wormhole is the special case of the Ellis drainhole in which the 'ether' is not flowing and there is no gravity. What remains is a pure traversable wormhole comprising a pair of identical twin, nonflat, three-dimensional regions joined at a two-sphere, the 'throat' of the wormhole. As seen in the image shown, two-dimensional equatorial cross sections of the wormhole are catenoidal 'collars' that are asymptotically flat far from the throat. There being no gravity in force, an inertial observer can sit forever at rest at any point in space, but if set in motion by some disturbance will follow a geodesic of an equatorial cross section at constant speed, as would also a photon. This phenomenon shows that in space-time the curvature of space has nothing to do with gravity.

Lovelock's theorem of general relativity says that from a local gravitational action which contains only second derivatives of the four-dimensional spacetime metric, then the only possible equations of motion are the Einstein field equations. The theorem was described by British physicist David Lovelock in 1971.

References