Related papers: Decartes' Perfect Lens
We prove the "End Curve Theorem," which states that a normal surface singularity $(X,o)$ with rational homology sphere link $\Sigma$ is a splice-quotient singularity if and only if it has an end curve function for each leaf of a good…
The elegance and usefulness of a complex formulation of the basic lensing equations is demonstrated with a number of applications. Using standard tools of complex function theory, we present, for instance, a new proof of the fact that the…
We prove that a singular complex surface that admits a complete holomorphic vector field that has no invariant curve through a singular point of the surface is obtained from a Kato surface by contracting some divisor (in particular, it is…
The illumination conjecture is a classical open problem in convex and discrete geometry, asserting that every compact convex body~$K$ in $\mathbb R^n$ can be illuminated by a set of no more than $2^n$ points. If $K$ has smooth boundary, it…
We rigorously show the existence of a rotationally and centrally symmetric "lens-shaped" cluster of three surfaces, meeting at a smooth common circle, forming equal angles of 120 degrees, self-shrinking under the motion by mean curvature.
A complex projective manifold is rationally connected, resp. rationally simply connected, if finite subsets are connected by a rational curve, resp. the spaces parameterizing these connecting rational curves are themselves rationally…
We classify the affine connections on compact orientable surfaces for which the pseudogroup of local isometries acts transitively. We prove that such a connection is either torsion-free and flat, the Levi-Civita connection of a Riemannian…
Lensing in a spherically symmetric and static spacetime is considered, based on the lightlike geodesic equation without approximations. After fixing two radius values r_O and r_S, lensing for an observation event somewhere at r_O and static…
An isotropic three-dimentional perfect lens based on cubic meshes of interconnected transmission lines and bulk loads is proposed. The lens is formed by a slab of a loaded mesh placed in between two similar unloaded meshes. The dispersion…
A bilayer lens is proposed based on transformation optics. It is shown that Pendry's perfect lens, perfect bilayer lens made of indefinite media, and the concept of compensated media are well unified under the scope of the proposed bilayer…
This paper proposes a method for computing the visible occluding contours of subdivision surfaces. The paper first introduces new theory for contour visibility of smooth surfaces. Necessary and sufficient conditions are introduced for when…
By looking at decidable quotients, a sufficient condition is provided to guarantee that (1) the full subcategory of decidable objects of a topos is an exponential ideal and that (2) the classical notion of connectedness for an object $X$…
We describe the most general homogenous, planar, light-ray-direction-changing sheet that performs one-to-one imaging between object space and image space. This is a non-trivial special case (of the sheet being homogenous) of an earlier…
We prove sharp $L^2$ Fourier restriction inequalities for compact, smooth surfaces in $\mathbb{R}^3$ equipped with the affine surface measure or a power thereof. The results are valid for all smooth surfaces and the bounds are uniform for…
A perfect prismatoid is a convex polytope $P$ such that for every its facet $F$ the set $vert(P) \setminus vert(F)$ belongs to a supporting hyperplane $\alpha \parallel F$. We prove that every perfect prismatoid is affinely equivalent to…
The paper is devoted to metric properties of singularities. We investigate the relations among topology, metric properties and smoothness. In particular, we present some higher dimensional analogous of Mumford's theorem on smoothness of…
Let A be a symmetric monoidal closed exact category. This category is a natural framework to define the notions of purity and flatness. We show that an object F in A is flat if and only if any conflation ending in F is pure. Furthermore, we…
We study the perfect matching lattice of a matching covered graph $G$, generated by the incidence vectors of its perfect matchings. Building on results of Lov\'asz and de Carvalho, Lucchesi, and Murty, we give a polynomial-time algorithm…
In the first part of this paper, we give a global description of simply connected maximal Lorentzian surfaces whose group of isometries is of dimension 1 (i.e. with a complete Killing field), in terms of a 1-dimensional generally…
We present a framework that reformulates gravitational lensing as an optical phenomenon governed by an effective refractive index, enabling exploration of modified gravity theories using undergraduate-level mathematics and optics. After…