English
Related papers

Related papers: A Universal Magnification Theorem for Higher-Order…

200 papers

Reynolds' theory of relational parametricity formalizes parametric polymorphism for System F, thus capturing the idea that polymorphically typed System F programs always map related inputs to related results. This paper shows that Reynolds'…

Logic in Computer Science · Computer Science 2017-01-24 Patricia Johann , Kristina Sojakova

An arbitrary surface mass density of gravitational lens can be decomposed into multipole components. We simulate the ray-tracing for the multipolar mass distribution of generalized SIS (Singular Isothermal Sphere) model, based on the…

Cosmology and Nongalactic Astrophysics · Physics 2013-03-04 Z. Chu , W. P. Lin , G. L. Li , X. Kang

Cluster lensing has become an important tool in the search for high redshift galaxies through its ability to magnify sources. In order to determine the intrinsic properties of these galaxies, lensing mass models must be constructed to…

Cosmology and Nongalactic Astrophysics · Physics 2020-01-08 Catie A. Raney , Charles R. Keeton , Sean Brennan

In this paper we establish conditions on the length of the traceless part of the second fundamental form of a complete constant mean curvature hypersurface immersed in a space of constant sectional curvature in order to show that it is…

Differential Geometry · Mathematics 2022-11-07 A. C. Bezerra , F. Manfio

Under suitable conditions on the range of the Gauss map of a complete submanifold of Euclidean space with parallel mean curvature, we construct a strongly subharmonic function and derive a-priori estimates for the harmonic Gauss map. The…

Differential Geometry · Mathematics 2010-09-21 J. Jost , Y. L. Xin , Ling Yang

To investigate the degree $d$ connectedness locus, Thur\-ston studied \emph{$\sigma_d$-invariant laminations}, where $\sigma_d$ is the $d$-tupling map on the unit circle, and built a topological model for the space of quadratic polynomials…

Dynamical Systems · Mathematics 2022-01-28 Alexander Blokh , Lex Oversteegen , Nikita Selinger , Vladlen Timorin , Sandeep Chowdary Vejandla

This paper provides a complete theoretical treatment of the point-mass lens perturbed by constant external shear, often called the Chang-Refsdal lens. We show that simple invariants exist for the products of the (complex) positions of the…

Astrophysics · Physics 2008-11-26 J. An , N. W. Evans

We prove the following result: Let $(X,g_0)$ be a complete, connected 4-manifold with uniformly positive isotropic curvature and with bounded geometry. Then there is a finite collection $\mathcal{F}$ of manifolds of the form $\mathbb{S}^3…

Differential Geometry · Mathematics 2014-02-21 Hong Huang

Under some dimension restrictions, we prove that totally umbilical hypersurfaces of Spin$^c$ manifolds carrying a parallel, real or imaginary Killing spinor are of constant mean curvature. This extends to the Spin$^c$ case the result of O.…

Differential Geometry · Mathematics 2019-11-15 Nadine Große , Roger Nakad

This article is concerned with random holomorphic polynomials and their generalizations to algebraic and symplectic geometry. A natural algebro-geometric generalization studied in our prior work involves random holomorphic sections…

Mathematical Physics · Physics 2007-05-23 Pavel Bleher , Bernard Shiffman , Steve Zelditch

We construct for every connected surface $S$ of finite negative Euler characteristic and every $H \in [0,1)$, a hyperbolic 3-manifold $N(S,H)$ of finite volume and a proper, two-sided, totally umbilic embedding $f\colon S\to N(S,H)$ with…

Differential Geometry · Mathematics 2020-07-10 Colin Adams , William H. Meeks , Alvaro K. Ramos

In this paper we analyze and classify the totally geodesic subspaces of finite volume quaternionic hyperbolic orbifolds and their generalizations, locally symmetric orbifolds arising from irreducible lattices in Lie groups of the form…

Geometric Topology · Mathematics 2015-05-15 Jeffrey S. Meyer

In this paper, we show the fundamental theorems for rotationally symmetric hypersurfaces, and thus, together with the earlier results in [3] and [4], provide a complete classification of umbilic hypersurfaces in the Heisenberg groups…

Differential Geometry · Mathematics 2025-09-08 Hung-Lin Chiu , Sin-Hua Lai , Hsiao-Fan Liu

We show that for a very general class of curvature functions defined in the positive cone, the problem of finding a complete strictly locally convex hypersurface in $H^n+1$ satisfying $f(\kappa)=\sigma\in(0, 1)$ with a prescribed asymptotic…

Differential Geometry · Mathematics 2012-09-21 Bo Guan , Joel Spruck , Ling Xiao

In the framework of heterotic compactifications, we consider the one-loop corrections to the gauge couplings, which were shown to be free of any infra-red ambiguity. For a class of N=2 models, namely those that are obtained by toroidal…

High Energy Physics - Theory · Physics 2009-10-30 E. Kiritsis , C. Kounnas , P. M. Petropoulos , J. Rizos

We study the geometry of the foliation by constant Gaussian curvature surfaces $(\Sigma_k)_k$ of a hyperbolic end, and how it relates to the structures of its boundary at infinity and of its pleated boundary. First, we show that the…

Differential Geometry · Mathematics 2019-10-15 Filippo Mazzoli

A classic theorem of Kazhdan and Margulis states that for any semisimple Lie group without compact factors, there is a positive lower bound on the covolume of lattices. H. C. Wang's subsequent quantitative analysis showed that the…

Geometric Topology · Mathematics 2018-09-25 Ilesanmi Adeboye , McKenzie Wang , Guofang Wei

We investigate perfect matchings and essential spanning forests in planar hyperbolic graphs via circle packings. We prove the existence of nonconstant harmonic Dirichlet functions that vanish in a closed set of the boundary, generalizing a…

Probability · Mathematics 2024-07-02 Zhongyang Li

We give a local parametric description of all holomorphic hypersurfaces in complex Euclidean and projective spaces with constant index of relative nullity, together with applications. This is a complex analogue to the parametrization for…

Differential Geometry · Mathematics 2008-09-08 Marcos Dajczer , Luis A. Florit