Related papers: On the logarithmic epiperimetric inequality for th…

We identify a strong structural obstruction to Uniform Separation in constructive arithmetic. The mechanism is independent of semantic content; it emerges whenever two distinct evaluator predicates are sustained in parallel and inference…

Given two points in the plane, and a set of "obstacles" given as curves through the plane with assigned weights, we consider the point-separation problem, which asks for the minimum-weight subset of the obstacles separating the two points.…

The purpose of this paper is to prove some existence and non-existence theorems for the nonlinear elliptic problems of the form -{\Delta}_{p}u={\lambda}k(x)u^{q}\pmh(x)u^{{\sigma}} if x\in{\Omega}, subject to the Dirichlet conditions…

Let $\exp[x_0,x_1,\dots,x_n]$ denote the divided difference of the exponential function. (i) We prove that exponential divided differences are log-submodular. (ii) We establish the four-point inequality $…

We deal with the obstacle problem for the porous medium equation in the slow diffusion regime $m>1$. Our main interest is to treat fairly irregular obstacles assuming only boundedness and lower semicontinuity. In particular, the considered…

In 2002, it was conjectured that a free divisor satisfying the so-called Logarithmic Comparison Theorem must be strongly Euler-homogeneous and it was proved for the two-dimensional case. Later, in 2006, it was shown that the conjecture is…

We give an alternative, simple method to prove isoperimetric inequalities over the hypercube. In particular, we show: 1. An elementary proof of classical isoperimetric inequalities of Talagrand, as well as a stronger isoperimetric result…

In this paper we analyze iterations of the obstacle problem for two different operators. We solve iteratively the obstacle problem from above or below for two different differential operators with obstacles given by the previous functions…

New Hardy type inequality with double singular kernel and with additional logarithmic term in a ball $B\subset \mathbb{R}^n$ is proved. As an application an estimate from below of the first eigenvalue for Dirichlet problem of p-Laplacian in…

We prove a counterpart of the log-convex density conjecture in the hyperbolic plane.

We establish a family of parametric isoperimetric-type inequalities with multiple geometric quantities for closed convex curves. These inequalities hold under certain parameter conditions. We also prove the equality conditions. Some new…

We study the obstacle problem with an elliptic operator in divergence form. We develop all of the basic theory of existence, uniqueness, optimal regularity, and nondegeneracy of the solutions. These results, in turn, allow us to begin the…

We study the regularity of the solution of the double obstacle problem form for fully non linear parabolic and elliptic operators. We show that when the obstacles are sufficiently regular the solution is $C^{1,\alpha}$ in the interior for…

Linear vector equations and inequalities are considered defined in terms of idempotent mathematics. To solve the equations, we apply an approach that is based on the analysis of distances between vectors in idempotent vector spaces. The…

Assuming Lang's conjectured lower bound on the heights of non-torsion points on an elliptic curve, we show that there exists an absolute constant C such that for any elliptic curve E/Q and non-torsion point P in E(Q), there is at most one…

In this paper two related simplification problems for systems of linear inequalities describing precedence relation systems are considered. Given a precedence relation system, the first problem seeks a minimum subset of the precedence…

We prove a sharp Log-Sobolev inequality for submanifolds of a complete non-compact Riemannian manifold with asymptotic non-negative intermediate Ricci curvature and Euclidean volume growth. Our work extends a result of Dong-Lin-Lu which…

Suppose we are given a pair of points $s, t$ and a set $S$ of $n$ geometric objects in the plane, called obstacles. We show that in polynomial time one can construct an auxiliary (multi-)graph $G$ with vertex set $S$ and every edge labeled…

We establish a direct symmetric (log)-epiperimetric inequality for harmonic maps with analytic target and we leverage on this result to achieve a new proof of Simon's celebrated uniqueness of tangents with isolated singularity for energy…

The classical isoperimetric inequality can be extended to a general normed plane. In the Euclidean plane, the defect in the isoperimetric inequality can be calculated in terms of the signed areas of some singular sets. In this paper we…