Related papers: Square pegs between two graphs
We prove that given a finite set $E$ in a bordered Riemann surface $\mathcal{R}$, there is a continuous map $h\colon \overline{\mathcal{R}}\setminus E\to\mathbb{C}^n$ ($n\geq 2$) such that $h|_{\mathcal{R}\setminus E} \colon…
In \cite{kamz} the author proved that every quasiconformal harmonic mapping between two Jordan domains with $C^{1,\alpha}$, $0<\alpha\le 1$, boundary is bi-Lipschitz, providing that the domain is convex. In this paper we avoid the…
We give a simple procedure to estimate the smallest Lipshitz constant of a degree 1 map from a Riemannian 2-sphere to the unit 2-sphere, up to a factor of 10. Using this procedure, we are able to prove several inequalities involving this…
Let $X$ be a Banach space or more generally a complete metric space admitting a conical geodesic bicombing. We prove that every closed $L$-Lipschitz curve $\gamma:S^1\rightarrow X$ may be extended to an $L$-Lipschitz map defined on the…
We construct embedded minimal surfaces which are $n$-periodic in $\mathbb{R}^n$. They are new for codimension $n-2\ge 2$. We start with a Jordan curve of edges of the $n$-dimensional cube. It bounds a Plateau minimal disk which Schwarz…
We resolve the periodic square peg problem using a simple Lagrangian Floer homology argument. Inscribed squares are interpreted as intersections between two non-displaceable Lagrangian sub-manifolds of a symplectic 4-torus.
We explicitly construct simple, piecewise minimizing geodesic, arbitrarily fine interpolation of simple and Jordan curves on a Riemannian manifold. In particular, a finite sequence of partition points can be specified in advance to be…
We will show that the number of integers $\leq x$ that can be written as the square of an integer plus the square of a prime equals $\frac{\pi}{2} \cdot \frac {x}{\log x}$ minus a secondary term of size $x/(\log x)^{ 1+\delta+o(1)}$, where…
For every smooth Jordan curve $\gamma$ and cyclic quadrilateral $Q$ in the Euclidean plane, we show that there exists an orientation-preserving similarity taking the vertices of $Q$ to $\gamma$. The proof relies on the theorem of…
For two disjoint rectifiable star-shaped Jordan curves (including round circles) in the asymptotic boundary of hyperbolic 3-space, if the distance (see Definition 1.8) between these two Jordan curves are bounded from above by some constant,…
A shape in the plane is an equivalence class of sufficiently smooth Jordan curves, where two curves are equivalent if one can be obtained from the other by a translation and a scaling. The fingerprint of a shape is an equivalence of…
A Jordan region is a subset of the plane that is homeomorphic to a closed disk. Consider a family $\mathcal{F}$ of Jordan regions whose interiors are pairwise disjoint, and such that any two Jordan regions intersect in at most one point. If…
We prove that for every $\epsilon>0$ there exists $\delta>0$ such that the following holds. Let $\mathcal{C}$ be a collection of $n$ curves in the plane such that there are at most $(\frac{1}{4}-\epsilon)\frac{n^{2}}{2}$ pairs of curves…
A family of closed simple (i.e., Jordan) curves is $m$-intersecting if any pair of its curves have at most $m$ points of common intersection. We say that a pair of such curves touch if they intersect at a single point of common tangency. In…
This paper presents a formalized proof of a discrete form of the Jordan Curve Theorem. It is based on a hypermap model of planar subdivisions, formal specifications and proofs assisted by the Coq system. Fundamental properties are proven by…
Let g be an arbitrary Jordan loop and let G denote the space of rectangles R which are inscribed in g in such a way that the cyclic order of the vertices of R is the same whether it is induced by R or by g. We prove that G contains a…
We consider a family of embedded, mean convex hypersurfaces in a Riemannian manifold which evolve by the mean curvature flow. We show that, given any number $T>0$ and any $\delta>0$, we can find a constant $C_0$ with the following property:…
We prove the existence of immersed closed curves of constant geodesic curvature in an arbitrary Riemannian 2-sphere for almost every prescribed curvature. To achieve this, we develop a min-max scheme for a weighted length functional.
In this paper, a study of topological and algebraic properties of two families of functions from the unit interval $I$ into the plane $\mathbb{R}^2$ is performed. The first family is the collection of all Peano curves, that is, of those…
In this paper we prove that an embedded and simply connected constant mean curvature surface with curvature large at a point contains a multi-valued graph around that point on the scale of $|A|^2$, where $|A|^2$ is the norm squared of the…