arXiv research

Recent advances in twistor theory are applied to geometric optics in ${\Bbb{R}}^3$. The general formulae for reflection of a wavefront in a surface are derived and in three special cases explicit descriptions are provided: when the reflecting surface is a plane, when the incoming wave is a plane and when the incoming w…

Study rationality of meromorphic functions between real algebraic sets in the plane.

Paper proves surfaces with specific symmetries have the first Steklov eigenvalue.

In this paper, it is shown that a Fuchsian group, acting on the upper half-plane model for $\mathbb{H}^2$, admits a Ford domain which is also a Dirichlet domain, for some center, if and only if it is an index 2 subgroup of a reflection group. This is used to exhibit an example of a maximal arithmetic hyperbolic reflect…

We study immersed surfaces in $\mathbb{R}^3$ which are critical points of the Willmore functional under boundary constraints. The two cases considered are when the surface meets a plane orthogonally along the boundary, and when the boundary is contained in a line. In both cases we derive weak forms of the resulting fre…

After establishing the uniqueness of the continuation of local Cauchy data for harmonic maps between two Riemannian manifolds M and N, we prove (i) a reflection principle for a smooth minimal submanifold Y of a Riemannian manifold M that contains a reflective submanifold of M as a hypersurface and (ii) the reflection p…

Given any smooth plane curve α(s)representing a mirror that reflects light the usual way and any radiant light source at a point in the plane, the reflected light will produce a caustic envelope. For such an envelope, we show that there is an associated curve \b{eta}(s) and a family of circles C(s) that roll on \b{eta}…

Study geometric properties of a complex hyperbolic group action.

We prove that the focal set generated by the reflection of a point source off a translation invariant surface consists of two sets: a curve and a surface. The focal curve lies in the plane orthogonal to the symmetry direction containing the source, while the focal surface is translation invariant. This is done by const…

For any sequence of properly convex domains in the real projective plane such that the zeros of Pick differentials have bounded multiplicity and get further and further apart, we determined all Hausdorff limit domains that one can obtain after normalizing each member of the sequence by a projective transformation. We t…

We consider embedded ring-type surfaces (that is, compact, connected, orientable surfaces with two boundary components and Euler-Poincaré characteristic zero) in ${\bold R}^3$ of constant mean curvature which meet planes $Π_1$ and $Π_2$ in constant contact angles $γ_1$ and $γ_2$ and bound, together with those planes, a…

Light pillars over rippled water appear parallel due to projection geometry.

New method characterizes minimal surfaces in 3D space.

The transition constant was introduced in our 1981 paper and denoted as N(14). It is equal to the maximal degree of the ground fields of V-arithmetic connected edge graphs with 4 vertices and of the minimality 14. This constant is fundamental since if the degree of the ground field of an arithmetic hyperbolic reflectio…

Study complex reflections in 3D hyperbolic geometry, finding new representations.

Study symmetry of cross-cap surfaces with folding maps.

We consider here a generalization of a well known discrete dynamical system produced by the bisection of reflection angles that are constructed recursively between two lines in the Euclidean plane. It is shown that similar properties of such systems are observed when the plane is replaced by a regular surface in ${\mat…

Study on hyperbolic polyhedra and their volume, proving finiteness of arithmetic groups.

The paper shows caustics by reflection in projective Finsler metrics have at least four cusps.

We show that an embedded minimal annulus $Σ^2 \subset B^3$ which intersects $\partial B^3$ orthogonally and is invariant under reflection through the coordinate planes is the critical catenoid. The proof uses nodal domain arguments and a characterization, due to Fraser and Schoen, of the critical catenoid as the unique…

We consider the following problem: given two parallel and identically oriented bundles of light rays in n-dimensional Euclidean space and given a diffeomorphism between the rays of the former bundle and the rays of the latter one, is it possible to realize this diffeomorphism by means of several mirror reflections? We …

Deep neural networks favor symmetric structures, enabling multilevel symmetries.

The paper creates a deformation retraction for homeomorphisms of the projective plane.

Researchers create annular translators for mean curvature flow.

In this note we prove that a complex hyperbolic triangle group of type (m,m,infinity), i.e. a group of isometries of the complex hyperbolic plane, generated by complex reflections in three complex geodesics meeting at angles Pi/m, Pi/m and 0, is not discrete if the product of the three generators is regular elliptic.

We study relations between reflections in (positive or negative) points in the complex hyperbolic plane. It is easy to see that the reflections in the points q_1,q_2 obtained from p_1,p_2 by moving p_1,p_2 along the geodesic generated by p_1,p_2 and keeping the (dis)tance between p_1,p_2 satisfy the bending relation R(…

Study of algebraic dynamics on Markov cubics in tropical geometry.

Researchers create new triply periodic minimal surfaces by gluing saddle towers.

The study determines discreteness of complex hyperbolic triangle groups.

In this paper, we classify all of the five-sided three-dimensional hyperbolic polyhedra with one ideal vertex, which have the shape of a triangular prism. We show how to find each such polyhedron in the upper half-space model by considering lines and circles in the plane. Finally, we give matrix generators in $\mathrm{…

We generalize arc coordinates for maximal representations on a pair of pants.

Study complex hyperbolic structures on a disc orbibundle with 5 cone points.

We present several formulas for the traces of elements in complex hyperbolic triangle groups generated by complex reflections. The space of such groups of fixed signature is of real dimension one. We parameterise this space by a real invariant alpha of triangles in the complex hyperbolic plane. The main result of the p…

New method constructs tilings of the plane using directed edges and alignments.

In this note we give a construction of a smooth Riemannian metric on R^n which is standard Euclidean outside a compact set K and such that it has N = n(n + 1)=2 invisible directions, meaning that all geodesics lines passing through the set K in these directions remain the same straight lines on exit. For example in the…

In this paper we investigate constant mean curvature surfaces with nonempty boundary in Euclidean space that meet a right cylinder at a constant angle along the boundary. If the surface lies inside of the cylinder, we obtain some results of symmetry by using the Alexandrov reflection method. When the mean curvature is …

We prove an explicit characterization of the points in Thurston's Master Teapot. This description can be implemented algorithmically to test whether a point in $\mathbb{C} \times \mathbb{R}$ belongs to the complement of the Master Teapot. As an application, we show that the intersection of the Master Teapot with the un…

Supercyclides are surfaces with a characteristic conjugate parametrization consisting of two families of conics. Patches of supercyclides can be adapted to a Q-net (a discrete quadrilateral net with planar faces) such that neighboring surface patches share tangent planes along common boundary curves. We call the result…

In this paper we consider ultra-parallel complex hyperbolic triangle groups of type $[m_1,m_2,0]$, i.e. groups of isometries of the complex hyperbolic plane, generated by complex reflections in three ultra-parallel complex geodesics two of which intersect on the boundary. We prove some discreteness and non-discreteness…

Study knot groups from disc patterns in 3D space.

We interpret magnetic billiards as Finsler ones and describe an analog of the string construction for magnetic billiards. Finsler billiards for which the law "angle of incidence equals angle of reflection" are described. We characterize the Finsler metrics in the plane whose geodesics are circles of a fixed radius. Thi…

In this paper we study discreteness of complex hyperbolic triangle groups of type $[m,m,0;3,3,2]$, i.e. groups of isometries of the complex hyperbolic plane generated by three complex reflections of orders $3,3,2$ in complex geodesics with pairwise distances $m,m,0$. For fixed $m,$ the parameter space of such groups is…

We discuss generalizations of the well-known theorem of Hilbert that there is no complete isometric immersion of the hyperbolic plane into Euclidean 3-space. We show that this problem is expressed very naturally as the question of the existence of certain homotheties of reflective submanifolds of a symmetric space. As …

Origami patterns are classified based on their symmetry groups.

Enneper's wire, the image of the circle of radius $R$ under Enneper's surface, bounds exactly three minimal surfaces for $R$ between 1 and $\sqrt 3$, and these three surfaces depend continuously on $R$. The other two surfaces (besides Enneper's surface) are absolute minima of area among disk-type surfaces bounded by En…

Humans take advantage of real world symmetries for various tasks, yet capturing their superb symmetry perception mechanism with a computational model remains elusive. Motivated by a new study demonstrating the extremely high inter-person accuracy of human perceived symmetries in the wild, we have constructed the first …

While conformal transformations of the plane preserve Laplace's equation, Lorentz-conformal mappings preserve the wave equation. We discover how simple geometric objects, such as quadrilaterals and pairs of crossing curves, are transformed under nonlinear Lorentz-conformal mappings. Squares are transformed into curvili…

The study examines special domains in S^2 supporting specific solutions to a PDE.