Related papers: Remarks on the Bottcher-Wenzel Inequality

A Bernstein-type exponential inequality for (generalized) canonical U-statistics of order 2 is obtained and the Rosenthal and Hoffmann-J{\o}rgensen inequalities for sums of independent random variables are extended to (generalized)…

In this note we revisit the classical geometric-arithmetic mean inequality and find a formula for the difference of the arithmetic and the geometric means of given $n\in\mathbb N$ nonnegative numbers $x_1,x_2,\dots,x_n$. The formula yields…

We study a recent conjecture proposed by Horst Alzer and Janusz Matkowski concerning a bilinearity property of the Cauchy exponential difference for real-to-real functions. The original conjecture was affirmatively resolved by Tomasz…

Chen and Cheung [C.-P. Chen, W.-S. Cheung, Sharpness of Wilker and Huygens type inequalities, J. Inequal. Appl. 2012 (2012) 72, \url{http://dx.doi.org/10.1186/1029-242X-2012-72}] established sharp Wilker and Huygens-type inequalities. These…

Truesdell's empirical inequalities are considered essential in various fields of nonlinear elasticity. However, they are often used merely as a sufficient criterion for semi-invertibility of the isotropic stress strain-relation, even though…

We show that Caratheodory's conjecture, on umbilical points of closed convex surfaces, may be reformulated in terms of the existence of at least one umbilic in the graphs of functions f: R^2-->R whose gradient decays uniformly faster than…

A recent approach to the Beck-Fiala conjecture, a fundamental problem in combinatorics, has been to understand when random integer matrices have constant discrepancy. We give a complete answer to this question for two natural models:…

In this paper, we proved the Normal Scalar Curvature Conjecture and the Bottcher-Wenzel Conjecture. We also established some new pinching theorems for minimal submanifolds in spheres.

We give new characterizations for matrix monotonicity and convexity of fixed order which connects previous characterizations by Loewner, Dobsch, Donoghue, Kraus and Bendat--Sherman. The ideas introduced are then used to characterize matrix…

Let X be a real normed vector space and dim X \ge 2. Let d>0 be a fixed real number. We prove that if x,y \in X and ||x-y||/d is a rational number then there exists a finite set {x,y} \subseteq S(x,y) \subseteq X with the following…

Andrews, Dixit, Schultz, and Yee conjecture the parity of a double Lambert series. In 2026, Amdeberhan, Andrews, and Ballantine offer some ideas that are pointing in the right direction for the proof. In this paper, we complete the rest of…

In this paper we generalize the known DDVV-type inequalities for real (skew-)symmetric and complex (skew-)Hermitian matrices to arbitrary real, complex and quaternionic matrices. Inspired by the Erd\H{o}s-Mordell inequality, we establish…

We show that Lorentz-Finsler geometry offers a powerful tool in obtaining inequalities. With this aim, we first point out that a series of famous inequalities such as: the (weighted) arithmetic-geometric mean inequality, Acz\'el's,…

If a pair of subsets of two-dimensional Euclidean space nearly achieves equality in the Brunn-Minkowski inequality, in the sense that the measure of the associated sumset is nearly equal to the lower bound provided by the inequality, then…

We establish optimal stability estimates in terms of the Fraenkel asymmetry with universal dimensional constants for a Lorentzian isoperimetric inequality due to Bahn and Ehrlich and, as a consequence, for a special version of a Lorentzian…

Landau-Ginzburg mirror symmetry predicts isomorphisms between graded Frobenius algebras (denoted $\mathcal{A}$ and $\mathcal{B}$) that are constructed from a nondegenerate quasihomogeneous polynomial $W$ and a related group of symmetries…

A Fenchel-Moreau type duality for proper convex and lower semi-continuous functions $f\colon X\to \overline{L^0}$ is established where $(X,Y,\langle \cdot,\cdot \rangle)$ is a dual pair of Banach spaces and $\overline{L^0}$ is the set of…

We prove a new lower bound for the Frobenius norm of the inverse of an non-negative matrix. This bound is only a modest improvement over previous results, but is sufficient for fully resolving a conjecture of Harwitz and Sloane, commonly…

We present a mechanical proof of the Cauchy-Schwarz inequality in ACL2(r) and a formalisation of the necessary mathematics to undertake such a proof. This includes the formalisation of $\mathbb{R}^n$ as an inner product space. We also…

It is proven that for any system of n points z_1, ..., z_n on the (complex) unit circle, there exists another point z of norm 1, such that $$\sum 1/|z-z_k|^2 \leq n^2/4.$$ Equality holds iff the point system is a rotated copy of the nth…