Related papers: Decartes' Perfect Lens
We prove that order convergence on a Boolean algebra turns it into a compact convergence space if and only if this Boolean algebra is complete and atomic. We also show that on an Archimedean vector lattice, order intervals are compact with…
Progressive addition lenses contain a surface of spatially-varying curvature, which provides variable optical power for different viewing areas over the lens. We derive complete compatibility equations that provide the exact magnitude of…
The space ${\Bbb{L}}$ of oriented lines, or rays, in ${\Bbb{R}}^3$ is a 4-dimensional space with an abundance of natural geometric structure. In particular, it boasts a neutral K\"ahler metric which is closely related to the Euclidean…
We generalize Iskovskih's theorem about surfaces without irregularity and bigenus from the smooth case to regular surfaces over arbitrary fields, with special focus on the case of imperfect fields. This includes surfaces that are…
The theory of surfaces in Euclidean space can be naturally formulated in the more general context of Legendre surfaces into the space of contact elements. We address the question of deformability of Legendre surfaces with respect to the…
The promise of perfect imaging in the optical domain, where light can be imaged without aberrations and with ultra-high resolution, could revolutionize technology and nanofabrication [1, 2, 3, 4, 5, 6]. Recently it has been shown…
We show that any surface of infinite type admits an ideal triangulation. Furthermore, we show that a set of disjoint arcs can be completed into a triangulation if and only if, as a set, they intersect every simple closed curve a finite…
With the help of hyper-ideal circle pattern theory, we have developed a discrete version of the classical uniformization theorems for surfaces represented as finite branched covers over the Riemann sphere as well as compact polyhedral…
We introduce the notion of integrable connections for a sheaf of differential graded algebras on a topological space. We then describe them in the finite locally projective setting, when the sheaf is either the de Rham complex of a formal…
The goal of this study is to provide a method for computing the following: Given a network of curves in 3d (satisfying a condition at the intersection points), compute efficiently a smooth surface such that the curves are geodesics on it.…
A theorem of Mumford states that, on complex surfaces, any normal isolated singularity whose link is diffeomorphic to a sphere is actually a smooth point. While this property fails in higher dimensions, McLean asks whether the contact…
We give a differentially closed description of the uniformizing representation to the analytical apparatus on Riemann surfaces and orbifolds of finite analytic type. Apart from well-known automorphic functions and Abelian differentials it…
We show that an arbitrary body or aggregate can be made perfectly absorbing at discrete frequencies if a precise amount of dissipation is added under specific conditions of coherent monochromatic illumination. This effect arises from the…
An affine manifold is said to be geodesically complete if all affine geodesics extend for all time. It is said to be affine Killing complete if the integral curves for any affine Killing vector field extend for all time. We use the solution…
We study symmetric affine surfaces which have non-vanishing torsion tensor. We give a complete classification of the local geometries possible if the torsion is assumed parallel. This generalizes a previous result of Opozda in the torsion…
By studying the theory of rational curves, we introduce a notion of rational simple connectedness for projective homogeneous spaces. As an application, we prove that over a function field of an algebraic surface, a projective homogeneous…
Erd\"os proved in 1946 that if a set $E\subset\mathbb{R}^n$ is closed and non-empty, then the set, called ambiguous locus or medial axis, of points in $\mathbb{R}^n$ with the property that the nearest point in $E$ is not unique, can be…
An embedded twisted paper cylinder of aspect ratio $\lambda$ is a smooth isometric embedding of a flat $\lambda \times 1$ cylinder into $\R^3$ such that the images of the boundary components are linked. We prove that for such an object to…
The response of the ``perfect lens'', consisting of a slab of lossless material of thickness $d$ with $\epsilon=\mu=-1$ at one frequency $\omega_0$ is investigated. It is shown that as time progresses the lens becomes increasingly opaque to…
It is shown that the one-lens system in para-axial optics can serve as an optical computer for contraction of Wigner's little groups and an analogue computer which transforms analytically computations on a spherical surface to those on a…