Related papers: Decartes' Perfect Lens
A lattice in Euclidean $d$-space is called well-rounded if it contains $d$ linearly independent vectors of minimal length. This class of lattices is important for various questions, including sphere packing or homology computations. The…
A surface S in R^3 has the central plane oval property (cpo) if (i) S meets at least one affine plane transversally along a strictly convex oval, and (ii) Every such transverse oval on S has central symmetry. We show that a complete,…
In a quadruply imaged lens system the angular distribution of images around the lens center is completely described by three relative angles. We show empirically that in the 3D space of these angles, spanning 180 x 180 x 90 degrees, quads…
Orbits of families of vector fields on a subcartesian space are shown to be smooth manifolds. This allows for a global description of a smooth geometric structure on a family of manifolds in terms of a single object defined on the…
The goal of this paper is to offer a new construction of the de Rham-Witt complex of smooth varieties over perfect fields of characteristic $p>0$. We introduce a category of cochain complexes equipped with an endomorphism $F$ of underlying…
It is proved that the derivation algebra of a centerless perfect Lie algebra of arbitrary dimension over any field of arbitrary characteristic is complete and that the holomorph of a centerless perfect Lie algebra is complete if and only if…
This note proves orbifold versions of Kobayashi's theorem. The main result asserts that a compact K\"ahler orbifold with non-negative Ricci curvature, along with certain conditions regarding singularities, is simply connected.
We consider distributed optimization with smooth convex objective functions defined on an undirected connected graph. Inspired by mirror descent mehod and RLC circuits, we propose a novel distributed mirror descent method. Compared with…
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…
A smooth family $\varphi:\mathcal V\to S$ of surfaces will be called {\em completable} if there is a logarithmic deformation $(\bar {\mathcal V},{\mathcal D})$ over $S$ so that ${\mathcal V}=\bar{\mathcal V}\backslash {\mathcal D}$. Two…
We show that an appropriate generalization of the oriented area function is a perfect Morse function on the space of three-dimensional configurations of an equilateral polygonal linkage with odd number of edges. Therefore cyclic equilateral…
We show that any hyperplane section of a variety which is the inverse image of a smooth variety of dimension at least 2 by an endomorphism (wich is not an automorphism) of the projective space, is linearly complete. We stress the case of…
Gravitational lensing constitutes one of the most direct observational manifestations of spacetime curvature and provides a powerful probe of compact astrophysical objects. In this work, we present a comprehensive analysis of the bending of…
Based on the non-Euclidean transformation optics, we design a thin metamaterial lens that can achieve wide-beam radiation by embedding a simple source (a point source in three-dimensional case or a line current source in two-dimensional…
We prove that the dg category of perfect complexes on a smooth, proper Deligne-Mumford stack over a field of characteristic zero is geometric in the sense of Orlov, and in particular smooth and proper. On the level of triangulated…
In the previous work, we study the moment polytope of the closure of the complex subtorus orbit in a symplectic toric manifold associated to an affine subspace when the closure is a smooth complex submanifold. In this paper, we clarify the…
We prove that in any spacetime dimension and under the null energy condition, every totally geodesic connected smooth compact null hypersurface (hence every compact Cauchy horizon) admits a smooth lightlike tangent vector field of constant…
In this work we introduced a new proposal to study the gravitational lensing theory by spherical lenses, starting from its surface mass density $\Sigma(x)$ written in terms of a decreasing function $f$ of a dimensionless coordinate $x$ on…
We prove that every complete connected immersed surface with positive extrinsic curvature $K$ in $H^2\times R$ must be properly embedded, homeomorphic to a sphere or a plane and, in the latter case, study the behavior of the end. Then, we…
We consider cylinders in ${\cal H}^2\times R$ (see definitions in the introduction) and prove that a complete and connected surface in ${\cal H}^2\times R$ with the vanishing of the Gauss and extrinsic curvatures is a cylinder.