Related papers: Complex Formulation of Lensing Theory and Applicat…
Lens design uses a calculation of the lens' surfaces that permit to obtain an image from a given object. A set of general rules and laws permits to calculate the essential points of the optical system such as distances, thickness, pupils,…
Bidirectional transformation, also called lens, has played important roles in maintaining consistency in many fields of applications. A lens is specified by a pair of forward and backward functions which relate to each other in a consistent…
The mathematical theory of gravitational lensing has revealed many generic and global properties. Beginning with multiple imaging, we review Morse-theoretic image counting formulas and lower bound results, and complex-algebraic upper bounds…
Of order one in 10^3 quasars and high-redshift galaxies appears in the sky as multiple images as a result of gravitational lensing by unrelated galaxies and clusters that happen to be in the foreground. While the basic phenomenon is a…
Optics are a data representation for compositional data access, with lenses as a popular special case. Hedges has presented a diagrammatic calculus for lenses, but in a way that does not generalize to other classes of optic. We present a…
Modern applications of strong gravitational lensing require the ability to use precise and varied observational data to constrain complex lens models. I discuss two sets of computational methods for lensing calculations. The first is a new…
We present a new perspective on gravitational lensing. We describe a new extension of the weak lensing formalism capable of describing strongly lensed images. By integrating the non-linear geodesic deviation equation, the amplification…
We discuss the classic theorem according to which a gravitational lens always produces a total magnification greater than unity. This theorem seems to contradict the conservation of total flux from a lensed source. The standard solution to…
Clusters of galaxies acting as gravitational lenses deform the images of background galaxies. For small galaxies the deformation is determined by the local properties of the lens (shear, convergence). Small circular shaped galaxies are seen…
The computation of the magnification of a finite source by an arbitrary gravitational lens can be reduced from a two-dimensional to a one-dimensional integral using a generalization of Stoke's theorem. For a large source lensed by a…
The linearization of complex ordinary differential equations is studied by extending Lie's criteria for linearizability to complex functions of complex variables. It is shown that the linearization of complex ordinary differential equations…
Traditional treatments of formal logic provide: 1. A syntax for formulas. 2. An inference relation between sets of formulas. 3. A rule for assigning meaning to formulas (semantics) that is sound with respect to the inference relation. First…
We study the general theorem about gravitational lensing which states the relationship between the numbers of images with different parities. Our formulation allows an extension to the nontransparent and singular model.
This is a general work on gravitational lensing. We present new expressions for the optical scalars and the deflection angle in terms of the energy-momentum tensor components of matter distributions. Our work generalizes standard references…
As lensing of coherent astrophysical sources e.g. pulsars, fast radio bursts, and gravitational waves becomes observationally relevant, the mathematical framework of Picard-Lefschetz theory has recently been introduced to fully account for…
We introduce a new complex formalism to describe arclet fields in clusters of galaxies and derive the appropriate inversion techniques to find the related mass distribution of the lensing cluster. Applying the complex formalism to the…
The observables in a strong gravitational lens are usually just the image positions and sometimes the flux ratios. We develop a new and simple algorithm which allows a set of models to be fitted exactly to the observations. Taking our cue…
The optical matrix formalism is applied to find parameters such as focal distance, back and front focal points, principal planes, and the equation relating object and image distances for a thick spherical lens immerse in air. Then, the…
Polynomial functions are a usual choice to model the nonlinearity of lenses. Typically, these models are obtained through physical analysis of the lens system or on purely empirical grounds. The aim of this work is to facilitate an…
Glass-forming liquids have been extensively studied in recent decades, but there is still no theory that fully describes these systems, and the diversity of treatments is in itself a barrier to understanding. Here we introduce a new simple…