Related papers: Formalizing the Classical Isoperimetric Inequality…

For certain nonlinear elliptic PDE problems in two dimensions, the classical isoperimetric inequality produces a sharp inequality that violates a Pohozaev identity except for radial symmetric, decreasing solutions. A generalized version of…

We establish sufficient conditions for existence of curves minimizing length as measured with respect to a degenerate metric on the plane while enclosing a specified amount of Euclidean area. Non-existence of minimizers can occur and…

A Hurwitz curve is a closed Riemann surface of genus $g \geq 2$ whose group of conformal automorphisms has order $84(g-1)$. In 1895, Wiman proved that for $g=3$ there is, up to isomorphisms, a unique Hurwitz curve; this being Klein's plane…

This paper, motivated by problems in Diophantine analysis which can be formulated as problems of finding rational points on the intersection of two quadrics, presents an explicit construction of a rationally defined isomorphism (biregular…

We establish a new symmetrization procedure for the isoperimetric problem in symmetric spaces of noncompact type. This symmetrization generalizes the well known Steiner symmetrization in euclidean space. In contrast to the classical…

This paper explores multiple closely related themes: bounding the complexity of Diophantine equations over the integers and developing mathematical proofs in parallel with formal theorem provers. Hilbert's Tenth Problem (H10) asks about the…

We prove that the $L_4$ norm of the vertical perimeter of any measurable subset of the $3$-dimensional Heisenberg group $\mathbb{H}$ is at most a universal constant multiple of the (Heisenberg) perimeter of the subset. We show that this…

We prove a relative isoperimetric inequality in the plane, when the perimeter is defined with respect to a convex, positively homogeneous function of degree one, and characterize the minimizers.

The Hausdorff-Young inequality for Euclidean space, in its sharp form due to Beckner, gives an upper bound for the Fourier transform in terms of Lebesgue space norms, with an optimal constant. The extremizers have been identified by Lieb to…

A systematic development of the so-called Palatini formalism is carried out for pseudo-Finsler metrics $L$ of any signature. Substituting in the classical Einstein-Hilbert-Palatini functional the scalar curvature by the Finslerian Ricci…

In this paper, we investigate the parity of three class of Hurwitz-type cyclotomic Euler sums using the methods of contour integration and residue computation, and derive explicit parity formulas for linear, quadratic, and some higher-order…

We will formulate and prove a generalization of the isoperimetric inequality in the plane. Using this inequality we will construct an unitary space - and in consequence - an isomorphic copy of a separable infinite dimensional Hilbert space,…

Jarnik's identity plays a major role in classical simultaneous approximation to two real numbers. O. German [2] has shown a generalization to the weighted setting in which the identity has to be replaced by two inequalities. His methods…

The classical uniformization theorem states that any simply connected Riemann surface is conformally equivalent to the disk, the plane, or the sphere, each equipped with a standard conformal structure. We give a similar uniformization for…

We prove an isoperimetric inequality for the second non-zero eigenvalue of the Laplace-Beltrami operator on the real projective plane. For a metric of the unit area this eigenvalue is not greater than 20\pi. This value is attained in the…

We obtain estimates for the number of integral solutions in large balls, of inequalities of the form $|Q(x, y)| < \epsilon$, where $Q$ is an indefinite binary quadratic form, in terms of the Hurwitz continued fraction expansions of the…

Discovering discrete algebraic rules from data is a fundamental challenge in machine learning. We formalize this problem through Cayley-table completion -- an algebraic counterpart to classical matrix completion -- where the degree of…

We consider the analogue of Hurwitz curves, smooth projective curves $C$ of genus $g \ge 2$ that realize equality in the Hurwitz bound $|\mathrm{Aut}(C)| \le 84 (g - 1)$, to smooth compact quotients $S$ of the unit ball in $\mathbb{C}^2$.…

We give a new proof of the isoperimetric inequality in the plane, based on Steiner's formula for the area of a convex neighborhood. This proof establishes the isoperimetric inequality directly, without requiring that we separately establish…

We prove that the isoperimetric inequalities in the euclidean and hyperbolic plane hold for all euclidean, respectively hyperbolic, cone-metrics on a disk with singularities of negative curvature. This is a discrete analog of the theorems…