Related papers: Existence of valuations with smallest normalized v…

We show that the minimal volume of surfaces of log general type, with non-empty non-klt locus on the ample model, is $\frac{1}{825}$. Furthermore, the ample model $V$ achieving the minimal volume is determined uniquely up to isomorphism.…

We introduce an adelic Cartier divisor over a trivially valued field and discuss the bigness of it. For bigness, we give the integral representation of the arithmetic volume and prove the existence of limit of it. Moreover, we show that the…

We study nominal anti-unification, which is concerned with computing least general generalizations for given terms-in-context. In general, the problem does not have a least general solution, but if the set of atoms permitted in…

The existence of minimizers in the fractional isoperimetric problem with multiple volume constraints is proved, together with a partial regularity result.

Though mostly used as a clustering algorithm, k-means are originally designed as a quantization algorithm. Namely, it aims at providing a compression of a probability distribution with k points. Building upon [21, 33], we try to investigate…

We focus on the analysis of local minimizers of the Mahler volume, that is to say the local solutions to the problem $$\min\{ M(K):=|K||K^\circ|\;/\;K\subset\R^d\textrm{ open and convex}, K=-K\}, $$ where $K^\circ:=\{\xi\in\R^d ; \forall…

Among all triangles of given diameter, the equilateral triangle is shown to minimize the sum of the first $n$ eigenvalues of the Dirichlet Laplacian, for each $n \geq 1$. In addition, the first, second and third eigenvalues are each proved…

In this paper, we present a general realizability semantics for the simply typed $\lambda\mu$-calculus. Then, based on this semantics, we derive both weak and strong normalization results for two versions of the $\lambda\mu$-calculus…

We prove the existence of a perimeter-minimizing partition of R^n into regions of unit volume. We conclude with a short tribute to the late Manuel A. Fortes.

Let $K \subset \mathbb R^n$ be a convex body with barycenter at the origin. We show there is a simplex $S \subset K$ having also barycenter at the origin such that $\left(\frac{vol(S)}{vol(K)}\right)^{1/n} \geq \frac{c}{\sqrt{n}},$ where…

This paper presents the first in a series of results that allow us to develop a theory providing finer control over the complexity of normalisation, and in particular of cut elimination. By considering atoms as self-dual non-commutative…

Let $r=r(n)$ be a sequence of integers such that $r\leq n$ and let $X_1,\ldots,X_{r+1}$ be independent random points distributed according to the Gaussian, the Beta or the spherical distribution on $\mathbb{R}^n$. Limit theorems for the…

Let $C$ and $K$ be centrally symmetric convex bodies of volume $1$ in ${\mathbb R}^n$. We provide upper bounds for the multi-integral expression \begin{equation*}\|{\bf…

We introduce a canonical form for reduced bases of integral closures of discrete valuation rings, and we describe an algorithm for computing a basis in reduced normal form. This normal form has the same applications as the Hermite normal…

Very recently J. Kotrbaty has proven general inequalities for translation invariant smooth valuations formally analogous to the Hodge- Riemann bilinear relations in the Kahler geometry. The goal of this note is to apply Kotrbaty's theorem…

The main scope of this paper is to introduce valuation semirings in general and discrete valuation semirings in particular. In order to do that, first we define valuation maps and investigate them. Then we define valuation semirings with…

A conjecture of Bombieri states that the coefficients of a normalized univalent function $f$ should satisfy $$ \liminf_{f\to K} \frac{n-{\rm Re\,}a_n}{m-{\rm Re\,}a_m} = \min_{t\in{\mathbb R}} \, \frac{n\sin t -\sin(nt)}{m\sin t -\sin(mt)},…

We use Papasoglu's method of area-minimizing separating sets to give an alternative proof, and explicit constants, for the following theorem of Guth and Braun--Sauer: If $M$ is a closed, oriented, $n$-dimensional manifold, with a Riemannian…

We show that compact, locally symmetric spaces of non-compact type have positive simplicial volume. This gives a positive answer to a question that was first raised by Gromov in 1982. We provide a summary of results that are known to follow…

Hadwiger's Theorem states that Euclidean-invariant convex-continuous valuations of definable sets are linear combinations of intrinsic volumes. We lift this result from sets to data distributions over sets, specifically, to definable…