Related papers: Formalizing the Classical Isoperimetric Inequality…

It is shown that every even, zonal measure on the Euclidean unit sphere gives rise to an isoperimetric inequality for sets of finite perimeter which directly implies the classical Euclidean isoperimetric inequality. The strongest member of…

Geometric quantization often produces not one Hilbert space to represent the quantum states of a classical system but a whole family $H_s$ of Hilbert spaces, and the question arises if the spaces $H_s$ are canonically isomorphic. [ADW] and…

We define hypergeometric functions using intersection homology valued in a local system. Topology is emphasized; analysis enters only once, via the Hodge decomposition. By a pull-back procedure we construct special subsets S_{pi}, derived…

We define a parametric variant of generalized Euler sums and construct contour integration to give some explicit evaluations of these parametric Euler sums. In particular, we establish several explicit formulas of (Hurwitz) zeta functions,…

We formalize some basic properties of Fourier series in the logic of ACL2(r), which is a variant of ACL2 that supports reasoning about the real and complex numbers by way of non-standard analysis. More specifically, we extend a framework…

In this paper, we apply the classical Perron method to give a proof of the existence and uniqueness/rigidity result of a circle pattern on a closed surface equipped with conical spherical metric when prescribed measures of the angles of…

In the conformal class of the standard metric on the $3$-sphere, we prove a quantitative refinement of the Andrews-De Lellis-Topping inequality in terms of a two-term distance to the set of minimizing conformal factors. This inequality is…

This work is devoted to the development and analysis of a linearization algorithm for microscopic elliptic equations, with scaled degenerate production, posed in a perforated medium and constrained by the homogeneous Neumann-Dirichlet…

We adapt Stein's method to isoperimetric and geometric inequalities. The main challenge is the treatment of boundary terms. We address this by using an elliptic PDE with an oblique boundary condition. We apply our geometric formulation of…

The main aim of this article is to establish a sharp improvement of the classical Bohr inequality for bounded holomorphic mappings in the polydisk $\mathbb{P}\Delta(0;1_n)$. We also prove two other sharp versions of the Bohr inequality in…

We show that every degree $d$ meromorphic function on a smooth connected projective curve $C\subset \mathbb P^2$ of degree $d>4$ is isomorphic to a linear projection from a point $p\in \mathbb {P}^2 \setminus C$ to $\mathbb P^1$. We then…

We consider isoperimetric sets, i.e., sets with minimal vertex boundary for a prescribed volume, of the infinite cluster of supercritical site percolation on the triangular lattice. Let $p$ be the percolation parameter and let $p_c$ be the…

We study the relationship between tropical and classical Hurwitz moduli spaces. Following recent work of Abramovich, Caporaso and Payne, we outline a tropicalization for the moduli space of generalized Hurwitz covers of an arbitrary genus…

To determine the sharp constants for the one dimensional Lieb--Thirring inequalities with exponent gamma in (1/2,3/2) is still an open problem. According to a conjecture by Lieb and Thirring the sharp constant for these exponents should be…

In this paper we prove certain Hurwitz equivalence properties in $B_n$. Our main result is that every two Artin's factorizations of $\Delta_n ^2$ of the form $H_{i_1} ... H_{i_{n(n-1)}}, \quad F_{j_1} ... F_{j_{n(n-1)}}$ (with $i_k, j_k \in…

The discrete isoperimetric inequality states that among all n -gons with a fixed area, the regular n -gon has the least perimeter. We prove analogues of the discrete isoperimetric inequality (involving circumradius or inradius) for cyclic…

A novel perturbative method, proposed by Panda {\it et al.} [1] to solve the Helmholtz equation in two dimensions, is extended to three dimensions for general boundary surfaces. Although a few numerical works are available in the literature…

In this paper we construct a large family of examples of subsets of Euclidean space that support a 1-Poincar\'e inequality yet have empty interior. These examples are formed from an iterative process that involves removing well-behaved…

In this article, under mild constraints on the sectional curvature, we exploit a divergence formula for symmetric endomorphisms to deduce a general Poincar\'e type inequality. We apply such inequality to higher-order mean curvature of…

Using isoperimetry and symmetrization we provide a unified framework to study the classical and logarithmic Sobolev inequalities. In particular, we obtain new Gaussian symmetrization inequalities and connect them with logarithmic Sobolev…