Related papers: Two new proofs of partial Godbersen's Conjecture
We give an alternative proof for discrete Brunn-Minkowski type inequalities, recently obtained by Halikias, Klartag and the author. This proof also implies somewhat stronger weighted versions of these inequalities. Our approach generalizes…
We consider quantitative versions of Helly-type questions, that is, instead of finding a point in the intersection, we bound the volume of the intersection. Our first main geometric result is a quantitative version of the Fractional Helly…
In this note, we report five mathematical discoveries made in collaboration with Grok, all of which have been subsequently verified by the authors. These include an improved lower bound on the maximal Gaussian perimeter of convex sets in…
Based on a geometrical argument introduced by Zukowski, a new multisetting Bell inequality is derived, for the scenario in which many parties make measurements on two-level systems. This generalizes and unifies some previous results.…
We develop a finite KKG-theory of C*-algebras following Arlettaz- H.Inassaridze's approach to finite algebraic K-theory. The Browder- Karoubi-Lambre's theorem on the orders of the elements for finite algebraic K-theory is extended to finite…
We adapt an argument of Tao and Vu to show that if $\lambda_1\le\cdots\le\lambda_d$ are the successive minima of an origin-symmetric convex body $K$ with respect to some lattice $\Lambda<\mathbb{R}^d$, and if we set…
This survey presents recent Helly-type geometric theorems published since the appearance of the last comprehensive survey, more than ten years ago. We discuss how such theorems continue to be influential in computational geometry and in…
We prove polarity duality for covering problems in Hilbert geometry. Let $G$ and $K$ be convex bodies in $\mathbb{R}^d$ where $G \subset \operatorname{int}(K)$ and $\operatorname{int}(G)$ contains the origin. Let $N^H_K(G,\alpha)$ and…
In this paper, we provide a fairly general self-reference-free proof of the Second Incompleteness Theorem from Tarski's Theorem of the Undefinability of Truth.
The Einstein-Podolsky-Rosen argument on quantum mechanics incompleteness is formulated in terms of elements of reality inferred from joint (as opposed to alternative) measurements, in two examples involving entangled states of three…
It is shown by Makai, Martini, and \'Odor that a convex body $K\subset\mathbb{R}^n$, all of whose maximal sections pass through the origin, must be origin-symmetric. We prove a stability version of this result. We also discuss a theorem of…
We present an abstract form of the Pr\'ekopa-Leindler inequality that includes several known -and a few new- related functional inequalities on Euclidean spaces. The method of proof and also the formulation of the new inequalities are based…
The singlet state of two spin-3/2 particles allows a proof of Bell's theorem without inequalities with two distinguishing features: any local observable can be regarded as an Einstein-Podolsky-Rosen element of reality, and the contradiction…
We show analogues of the classical Krein-Milman theorem for several ordered algebraic structures, especially in a semilattice (non-linear) framework. In that case, subsemilattices are seen as convex subsets, and for our proofs we use…
Minkowski's classical existence theorem provides necessary and sufficient conditions for a Borel measure on the unit sphere of Euclidean space to be the surface area measure of a convex body. The solution is unique up to a translation. We…
In this paper, we give three different new proofs of the validity of the geometry conjecture about cycles of projections onto nonempty closed, convex subsets of a Hilbert space. The first uses a simple minimax theorem, which depends on the…
The Brunn-Minkowski theory in convex geometry concerns, among other things, the volumes, mixed volumes, and surface area measures of convex bodies. We study generalizations of these concepts to Borel measures with density in…
In 2015, I. Soprunov and A. Zvavitch have shown how to use the Bernstein-Khovanskii-Kushnirenko theorem to derive non-negativity of a certain bilinear form $F_{\Delta}$, defined on (pairs of) convex bodies. Together with C. Saroglou, they…
Bell's inequality plays an important role with respect to the Einsteinian question about the physical reality of quantum theory. While Bell's inequality is usually viewed within the geometric framework of a Hilbert space quantum model, the…
We extend Prekopa's Theorem and the Brunn-Minkowski Theorem from convexity to $F$-subharmonicity. We apply this to the interpolation problem of convex functions and convex sets introducing a new notion of "harmonic interpolation" that we…