Related papers: Two new proofs of partial Godbersen's Conjecture

In this paper, new inequalities connected with the celebrated Steffensen's integral inequality are proved.

In 1999, K. Bezdek posed a conjecture stating that among all convex bodies in $\mathbb R^3$, ellipsoids and bodies of revolution are characterized by the fact that all their planar sections have an axis of reflection. We prove Bezdek's…

Recently, motivated by supersymmetric gauge theory, Cachazo, Douglas, Seiberg, and Witten proposed a conjecture about finite dimensional simple Lie algebras, and checked it in the classical cases. Later V. Kac and the author proposed a…

Motivated by a recent result on finite-dimensional Hilbert spaces, we prove a Jensen's inequality for partial traces in semifinite von Neumann algebras. We also prove a similar inequality in the framework of general (non-tracial) von…

We prove several Sobolev inequalities, which are then used to establish a fractional Hardy-Sobolev- Maz'ya inequality on the upper halfspace.

We introduce a new operation between nonnegative integrable functions on $\mathbb{R} ^n$, that we call geometric combination; it is obtained via a mass transportation approach, playing with inverse distribution functions. The main feature…

Following ideas of Iriyeh and Shibata we give a short proof of the three-dimensional Mahler conjecture {\mf for symmetric convex bodies}. Our contributions include, in particular, simple self-contained proofs of their two key statements.…

Let $G$ be a nontrivial finite subgroup of $\SL_n(\C)$. Suppose that the quotient singularity $\C^n/G$ has a crepant resolution $\pi\colon X\to \C^n/G$ (i.e. $K_X = \shfO_X$). There is a slightly imprecise conjecture, called the McKay…

We present two geometric proofs of the Kochen-Specker theorem. A quite similar argument has been used by Cooke, Keane, and Moran, as well as by Kalmbach in her book to derive the Gleason theorem.

Given an abelian, CM extension K of any totally real number field k, we consider two conjectures `of Stark type'. The `Integrality Conjecture' concerns the image of a p-adic map `\mathfrak{s}_{K/k,S}' determined by the minus-part of the…

Let $A, B$, be finite subsets of an abelian group, and let $G \subset A \times B$ be such that $# A, # B, # \{a+b: (a,b) \in G \} \leq N$. We consider the question of estimating the quantity $# \{a-b: (a,b) \in G \}$. Recently Bourgain…

In this work we prove that if for a pair of convex bodies $K_1, K_2 \subset \mathbb{R}^n$, $n \geq 3$, there exists a hyperplane $H$ and two distinct points $p_1$ and $p_2$ in $\mathbb{R}^n \setminus H$ such that for every $(n-2)$-plane $M…

We prove a refinement of the inequality by Hoffmann-Jorgensen that is significant for three reasons. First, our result improves on the state-of-the-art even for real-valued random variables. Second, the result unifies several versions in…

We derive inequalities for $n$ spin-1/2 systems under the assumption that the hidden-variable theoretical joint probability distribution for any pair of commuting observables is equal to the quantum mechanical one. Fine showed that this…

A formalisation of G\"odel's incompleteness theorems using the Isabelle proof assistant is described. This is apparently the first mechanical verification of the second incompleteness theorem. The work closely follows {\'S}wierczkowski…

This paper describes the theory of Minkowski problems for geometric measures in convex geometric analysis. The theory goes back to Minkowski and Aleksandrov and has been developed extensively in recent years. The paper surveys classical and…

Following N. Elkies ("ABC implies Mordell") we show that the abc conjecture of Masser-Oesterle implies an effective version of Siegel's theorem about integral points on algebraic curves, i.e. an upper bound for the S-integral points where…

In this article we give some improvements and generalizations of the famous Jensen's and Jensen-Mercer inequalities for twice differentiable functions, where convexity property of the target function is not assumed in advance. They…

We present a short proof of the Alexandrov-Fenchel inequalities for mixed volumes of convex bodies.

We prove that an approximated version of the Brunn--Minkowski inequality with volume distortion coefficient implies a Gaussian concentration-of-measure phenomenon. Our main theorem is applicable to discrete spaces.