Related papers: The rectifiable rectangular peg problem

We propose interconnections between some problems of PDE, geometry, algebra, calculus and physics. Uniqueness of a solution of the Dirichlet problem and of some other boundary value problems for the string equation inside an arbitrary…

We prove that an analogue of Jordan's theorem on finite subgroups of general linear groups holds for the groups of biregular automorphisms of elliptic ruled surfaces. This gives a positive answer to a question of Vladimir L. Popov.

The Jordan Curve Theorem (JCT) states that a simple closed curve divides the plane into exactly two connected regions. We formalize and prove the theorem in the context of grid graphs, under different input settings, in theories of bounded…

Given a graph $G$ rooted at a vertex $r$ and weight functions, $\gamma, \tau: E(G) \rightarrow \mathbb{R}$, the generalized cable-trench problem (CTP) is to find a single spanning tree that simultaneously minimizes the sum of the total edge…

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…

We present a family of complexes playing the same role, for homogeneous variational problems, that the horizontal parts of the variational bicomplex play for variational problems on a fibred manifold. We show that, modulo certain pullbacks,…

A family of plane oriented continuous paths depending on a fixed real positive number $R$ is considered. For any point $x$ on the path, the previous points lie out of any circle of radius $R$ having at $x$ interior normal in a suitable…

Let $C$ be an irreducible projective plane curve in the complex projective space ${\mathbb{P}}^2$. The classification of such curves, up to the action of the automorphism group $PGL(3,{\mathbb{C}})$ on ${\mathbb{P}}^2$, is a very difficult…

The Plateau-Douglas problem asks to find an area minimizing surface of fixed or bounded genus spanning a given finite collection of Jordan curves in Euclidean space. In the present paper we solve this problem in the setting of proper metric…

It is shown that a simple closed curve in $\mathbb C^n$ that is a uniform limit of rectifiable simple closed curves each of which has nontrivial polynomial hull has itself nontrivial polynomial hull. In case the limit curve is rectifiable,…

In this paper we propose a method of solving the Jacobi inversion problem in terms of multiply periodic $\wp$ functions, also called Kleinian $\wp$ functions. This result is based on the recently developed theory of multivariable sigma…

The fixed-point index of a homeomorphism of Jordan curves measures the number of fixed-points, with multiplicity, of the extension of the homeomorphism to the full Jordan domains in question. The now-classical Circle Index Lemma says that…

We consider hyperbolic toral automorphisms which are reversible with respect to a linear area-preserving involution. We will prove that within this context reversibility is linked to a generalized Pell equation whose solutions we will…

For a given complex projective variety, the existence of entire curves is strongly constrained by the positivity properties of the cotangent bundle. The Green-Griffiths-Lang conjecture stipulates that entire curves drawn on a variety of…

I show that every rectifiable simple closed curve in the plane can be continuously deformed into a convex curve in a motion which preserves arc length and does not decrease the Euclidean distance between any pair of points on the curve.…

The result is established for a Jordan measurable region with rectifiable boundary. The integrand F for the new plane integral to be used is a function of axis-parallel rectangles, finitely additive on non-overlapping ones, hence…

Let E be a plane rational curve defined over complex numbers which has only locally irreducible singularities. The Coolidge-Nagata conjecture states that E is rectifiable, i.e. it can be transformed into a line by a birational automorphism…

We show that if $\gamma$ is a Jordan curve in $\mathbb{R}^2$ which is close to a $C^2$ Jordan curve $\beta$ in $\mathbb{R}^2$, then $\gamma$ contains an inscribed square. In particular, if $\kappa > 0$ is the maximum unsigned curvature of…

Our principal goal is to study the Prescribed Curvature Tensor problem in locally conformally flat manifolds. The solution to this problem is given explicitly for the special cases of the tensor R, including a case where the metric g is…

This paper extends a number of known results on slope-semistable sheaves from the classical case to the setting where polarisations are given by movable curve classes. As applications, we obtain new flatness results for reflexive sheaves on…