Two Hornich-Hlawka-type and Gram matrix-based inequalities

Hicham Zoubeir; Nizar El Idrissi

arxiv: 2601.18768 · v3 · submitted 2026-01-26 · 🧮 math.CA

Two Hornich-Hlawka-type and Gram matrix-based inequalities

Nizar El Idrissi , Hicham Zoubeir This is my paper

Pith reviewed 2026-05-16 10:42 UTC · model grok-4.3

classification 🧮 math.CA

keywords Hornich-Hlawka inequalityGram matrixinner product spaceequality casesCauchy-Schwarz inequalitymultiplicative inequalitypositive semidefiniteness

0 comments

The pith

In any real inner product space, ||x|| ||y|| + ||z|| ||x+y+z|| is at least ||x+z|| ||y+z|| for all vectors x, y, z, strengthening the classical Hornich-Hlawka inequality.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves a multiplicative strengthening of the Hornich-Hlawka inequality that holds in every real inner product space. This new bound directly implies the original Hornich-Hlawka inequality while supplying a complete list of equality cases, which occur exactly when the three vectors are linearly dependent. A second family of inequalities is extracted from the positive semidefiniteness of the Gram matrix; optimizing its free parameters produces sharp relations among the norms and pairwise inner products and recovers a strengthened Cauchy-Schwarz inequality as a special case. Together the results create an explicit hierarchy among these vector inequalities and tie equality to the rank of the Gram matrix.

Core claim

For all vectors x, y, z in a real inner product space H the inequality ||x|| ||y|| + ||z|| ||x+y+z|| ≥ ||x+z|| ||y+z|| holds, with equality if and only if x, y, z are linearly dependent (i.e., the configuration is at most two-dimensional). This multiplicative form implies the classical Hornich-Hlawka inequality. In addition, the positive semidefiniteness of the Gram matrix yields the parametric inequality α²||x||²⟨y,z⟩² + β²||y||²⟨x,z⟩² + γ²||z||²⟨x,y⟩² + 2(αβ + αγ + βγ)⟨x,y⟩⟨x,z⟩⟨y,z⟩ ≥ 0 for arbitrary real α, β, γ; optimizing over the parameters gives sharp reverse inequalities to det G ≥ 0.

What carries the argument

The 3×3 Gram matrix of the inner products among x, y, z, whose positive semidefiniteness supplies both the new multiplicative inequality and the parametric family, while its rank determines the equality cases through linear dependence.

If this is right

The classical Hornich-Hlawka inequality follows immediately as a corollary of the new multiplicative version.
Equality holds precisely when x, y, z are linearly dependent, corresponding to at most two-dimensional configurations.
Optimizing the free parameters α, β, γ produces a family of sharp inequalities that relate the three pairwise inner products to the three norms.
A strengthened form of the Cauchy-Schwarz inequality is recovered by a suitable choice of those parameters.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The rank condition on the Gram matrix suggests that the inequality collapses to a planar trigonometric identity whenever the vectors span a two-dimensional subspace.
The parametric Gram-derived family can be specialized further by fixing relations among α, β, γ to obtain additional concrete bounds not listed in the paper.
Because equality occurs only in low-dimensional flats, numerical checks of the inequality reduce to two-dimensional linear algebra.

Load-bearing premise

The vectors must live in a real inner product space so that the Gram matrix is positive semidefinite and equality can be characterized exactly by linear dependence of x, y, z.

What would settle it

Three linearly independent vectors x, y, z in a real inner product space for which ||x|| ||y|| + ||z|| ||x+y+z|| is strictly smaller than ||x+z|| ||y+z|| would falsify the central inequality.

read the original abstract

We establish two inequalities in real inner product spaces. The first is a multiplicative strengthening of the classical Hornich-Hlawka inequality: for all vectors $x, y, z$ in a real inner product space $H$ \[ \|x\|\,\|y\| + \|z\|\,\|x+y+z\| \;\geq\; \|x+z\|\,\|y+z\|. \] We provide a complete characterization of the equality cases in terms of the linear dependence of $x,y,z$, and explicit conditions on their Gram matrix, showing in particular that equality occurs only in flat (at most two-dimensional) configurations. We also show that this inequality implies the classical Hornich-Hlawka inequality, thereby establishing a strict hierarchy between the two. The second result is a parametric inequality derived from the positive semidefiniteness of Gram matrices: for all $x,y,z \in H$ and $\alpha, \beta, \gamma \in \mathbb{R}$, \[ \alpha^2\|x\|^2\langle y,z\rangle^2 + \beta^2\|y\|^2\langle x,z\rangle^2 + \gamma^2\|z\|^2\langle x,y\rangle^2 + 2(\alpha\beta + \alpha\gamma + \beta\gamma)\langle x,y\rangle\langle x,z\rangle\langle y,z\rangle \;\geq\; 0. \] Optimizing over the parameters yields sharp inequalities relating the pairwise inner products and norms of three vectors, which can be viewed as reverse inequalities to the Gram determinant inequality $\det G \geq 0$. As a special case, this recovers and strengthens the classical Cauchy-Schwarz inequality.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper gives a multiplicative strengthening of Hornich-Hlawka with equality cases tied to linear dependence, plus a parametric Gram-matrix inequality that recovers Cauchy-Schwarz.

read the letter

The main points are a multiplicative inequality ||x|| ||y|| + ||z|| ||x+y+z|| ≥ ||x+z|| ||y+z|| that implies the classical Hornich-Hlawka version, with equality only when x, y, z are linearly dependent, and a three-parameter family derived from the Gram matrix being positive semidefinite whose optimization yields sharper relations among the inner products and norms of three vectors. Both results stay within real inner product spaces and use only the standard axioms. The derivations rearrange the target expressions into quadratic forms whose non-negativity follows directly from the Gram matrix conditions, and the equality characterization matches the rank dropping to at most two. This is new material; the multiplicative form and the explicit hierarchy are not simple restatements of prior work, and the parametric family is presented as a general reverse to the Gram determinant inequality. The paper does the algebraic work cleanly and includes the recovery of Cauchy-Schwarz as a special case. The scope stays narrow to three vectors with no extensions or external applications shown, which limits its reach but does not undermine the claims themselves. The parametric family is broad enough that more explicit optimized instances would have helped, yet the core logic holds without circular steps or dimension-specific gaps. This is for analysts working on vector inequalities and inner-product geometry. A reader who follows refinements of classical results like Hornich-Hlawka or Gram-determinant bounds will find the hierarchy and equality cases useful. The work deserves a serious referee because the arguments rest on reproducible algebraic properties and the new inequalities are stated precisely enough to check.

Referee Report

0 major / 3 minor

Summary. The paper establishes two inequalities in real inner product spaces. The first is a multiplicative strengthening of the classical Hornich-Hlawka inequality: for all vectors x, y, z in a real inner product space H, ||x|| ||y|| + ||z|| ||x+y+z|| ≥ ||x+z|| ||y+z||, with a complete characterization of equality cases in terms of linear dependence of x, y, z (equivalently, rank of the Gram matrix at most 2). It shows that this implies the classical Hornich-Hlawka inequality. The second is a parametric inequality α²||x||²⟨y,z⟩² + β²||y||²⟨x,z⟩² + γ²||z||²⟨x,y⟩² + 2(αβ + αγ + βγ)⟨x,y⟩⟨x,z⟩⟨y,z⟩ ≥ 0 derived from positive semidefiniteness of the Gram matrix; optimizing over α, β, γ yields sharp inequalities relating pairwise inner products and norms, recovering and strengthening Cauchy-Schwarz as a special case.

Significance. If the derivations hold, the work provides a strict hierarchy between the new inequality and the classical Hornich-Hlawka inequality, together with a parametric family of reverse-type bounds to the Gram determinant condition. The explicit equality characterization via Gram-matrix rank and the optimization approach constitute useful additions to the literature on inequalities in inner product spaces.

minor comments (3)

[Introduction] The classical Hornich-Hlawka inequality should be recalled explicitly (with reference) in the introduction before stating the strengthening.
[Section 4] In the optimization step for the parametric inequality, the analysis of critical points or boundary values of α, β, γ could be expanded with one or two explicit choices that attain sharpness.
[Section 2] Notation for the Gram matrix G and its entries should be introduced at the first appearance rather than assumed from context.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript and the recommendation for minor revision. No specific major comments were provided in the report, so we have no points to address point-by-point at this stage. We will incorporate any minor editorial adjustments in the revised version.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The derivations rest on the positive-semidefiniteness of the Gram matrix of three vectors in a real inner product space, an independent axiom of the setting. The target expressions are rearranged into quadratic forms whose non-negativity follows immediately from the Gram matrix conditions; equality cases are characterized by rank at most 2, which is equivalent to linear dependence and does not presuppose the inequality. The classical Hornich-Hlawka inequality is recovered by direct substitution that preserves the inequality direction. No fitted parameters, self-citations, or ansatzes are invoked as load-bearing steps, so the claimed results are not equivalent to their inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claims rest on the standard axioms of real inner product spaces and the positive semidefiniteness of Gram matrices; no free parameters or invented entities are introduced.

axioms (2)

standard math Vectors lie in a real inner product space H
All statements are made for x, y, z in H with the usual norm and inner product.
standard math Gram matrix of any three vectors is positive semidefinite
The second inequality is derived directly from this property.

pith-pipeline@v0.9.0 · 5603 in / 1236 out tokens · 24975 ms · 2026-05-16T10:42:19.024672+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

13 extracted references · 13 canonical work pages

[1]

S. S. Dragomir,Refinements of buzano’s and kurepa’s inequalities in inner product spaces, Facta Universitatis. Ser. Math. Inform.20(2005), 65–73

work page 2005
[2]

Fechner,Hlawka’s functional inequality, Aequationes mathematicae87(2014), no

W. Fechner,Hlawka’s functional inequality, Aequationes mathematicae87(2014), no. 1, 71–87

work page 2014
[3]

,Hlawka’s functional inequality on topological groups, Banach J. Math. Anal.11 (2017), no. 1, 130–142

work page 2017
[4]

Fechner and E

W. Fechner and E. Jabłońska,Hlawka’s functional inequality almost everywhere, Aequationes mathematicae (2025), 1–10

work page 2025
[5]

Honda, Y

A. Honda, Y. Okazaki, and Y. Takahashi,Generalizations of the hlawka’s inequality, Bulletin of the Kyushu Institute of Technology. Pure and applied mathematics (1998), no. 45, 9–15

work page 1998
[6]

D. S. Marinescu and C. P. Niculescu,A survey of the hornich-hlawka inequality, arXiv: 2407.03278 (2024)

work page arXiv 2024
[7]

,A new look at the hornich-hlawka inequality, Results in mathematics80(2025), no. 5

work page 2025
[8]

C. P. Niculescu,The integral version of popoviciu’s inequality, J. Math. Inequal3(2009), no. 3, 323–328

work page 2009
[9]

,Functional inequalities in the framework of banach spaces, Results in Mathematics 79(2024), no. 8, 275

work page 2024
[10]

Ressel,The hornich–hlawka inequality and bernstein functions, J

P. Ressel,The hornich–hlawka inequality and bernstein functions, J. Math. Inequal9(2015), no. 3, 883–888

work page 2015
[11]

Sababheh, H

M. Sababheh, H. R. Moradi, and Z. Heydarbeygi,Buzano, kre˘ ın and cauchy–schwarz inequalities, Operators and Matrices16(2022), no. 1, 239–250

work page 2022
[12]

Serre,The reverse hlawka inequality in a minkowski space, Comptes Rendus

D. Serre,The reverse hlawka inequality in a minkowski space, Comptes Rendus. Mathématique 353(2015), no. 7, 629–633

work page 2015
[13]

Takahashi, S

Y. Takahashi, S. E. Takahasi, and S. Wada,A general hlawka inequality and its reverse inequality, Math. Inequal. Appl12(2009), no. 1, 1–10. Nizar El Idrissi. Laboratoire : Equations aux dérivées partielles, Algèbre et Géométrie spectrales. Département de mathématiques, faculté des sciences, université Ibn Tofail, 14000 Kénitra. E-mail address:nizar.elidri...

work page 2009

[1] [1]

S. S. Dragomir,Refinements of buzano’s and kurepa’s inequalities in inner product spaces, Facta Universitatis. Ser. Math. Inform.20(2005), 65–73

work page 2005

[2] [2]

Fechner,Hlawka’s functional inequality, Aequationes mathematicae87(2014), no

W. Fechner,Hlawka’s functional inequality, Aequationes mathematicae87(2014), no. 1, 71–87

work page 2014

[3] [3]

,Hlawka’s functional inequality on topological groups, Banach J. Math. Anal.11 (2017), no. 1, 130–142

work page 2017

[4] [4]

Fechner and E

W. Fechner and E. Jabłońska,Hlawka’s functional inequality almost everywhere, Aequationes mathematicae (2025), 1–10

work page 2025

[5] [5]

Honda, Y

A. Honda, Y. Okazaki, and Y. Takahashi,Generalizations of the hlawka’s inequality, Bulletin of the Kyushu Institute of Technology. Pure and applied mathematics (1998), no. 45, 9–15

work page 1998

[6] [6]

D. S. Marinescu and C. P. Niculescu,A survey of the hornich-hlawka inequality, arXiv: 2407.03278 (2024)

work page arXiv 2024

[7] [7]

,A new look at the hornich-hlawka inequality, Results in mathematics80(2025), no. 5

work page 2025

[8] [8]

C. P. Niculescu,The integral version of popoviciu’s inequality, J. Math. Inequal3(2009), no. 3, 323–328

work page 2009

[9] [9]

,Functional inequalities in the framework of banach spaces, Results in Mathematics 79(2024), no. 8, 275

work page 2024

[10] [10]

Ressel,The hornich–hlawka inequality and bernstein functions, J

P. Ressel,The hornich–hlawka inequality and bernstein functions, J. Math. Inequal9(2015), no. 3, 883–888

work page 2015

[11] [11]

Sababheh, H

M. Sababheh, H. R. Moradi, and Z. Heydarbeygi,Buzano, kre˘ ın and cauchy–schwarz inequalities, Operators and Matrices16(2022), no. 1, 239–250

work page 2022

[12] [12]

Serre,The reverse hlawka inequality in a minkowski space, Comptes Rendus

D. Serre,The reverse hlawka inequality in a minkowski space, Comptes Rendus. Mathématique 353(2015), no. 7, 629–633

work page 2015

[13] [13]

Takahashi, S

Y. Takahashi, S. E. Takahasi, and S. Wada,A general hlawka inequality and its reverse inequality, Math. Inequal. Appl12(2009), no. 1, 1–10. Nizar El Idrissi. Laboratoire : Equations aux dérivées partielles, Algèbre et Géométrie spectrales. Département de mathématiques, faculté des sciences, université Ibn Tofail, 14000 Kénitra. E-mail address:nizar.elidri...

work page 2009