arxiv: 2605.00046 · v1 · submitted 2026-04-29 · 🧮 math.GM

Recognition: unknown

Lattice-like property of quasi-arithmetic means: revisited

Tibor Kiss , Pawe{\l} Pasteczka

Authors on Pith no claims yet

Pith reviewed 2026-05-09 21:07 UTC · model grok-4.3

classification 🧮 math.GM

keywords quasi-arithmetic meanslattice propertybounded familiesC1 generating functionsmean inequalitiessupremum and infimum of meansclosure properties

0 comments

The pith

Families of quasi-arithmetic means bounded by one member from the family have their best bounds also generated by a function in that family.

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

The paper shows that any collection of quasi-arithmetic means coming from a set of continuously differentiable generating functions with non-zero derivatives, if bounded above or below by one such mean, has its sharpest possible bound also realized as a quasi-arithmetic mean from the same set of generators. A reader would care because this establishes a closure property that turns the family into a lattice under the natural ordering of means, so maximal and minimal elements stay inside the original class. The result revisits and extends earlier work by confirming that the envelope of the family can always be captured by a single generator still drawn from the given set.

Core claim

Every family of quasi-arithmetic means generated by a subset of C¹ functions with nonvanishing derivative which is bounded from below or above by a quasi-arithmetic mean possesses the best lower or upper bound which is itself a quasi-arithmetic mean generated by a function belonging to the same family.

What carries the argument

The pointwise supremum or infimum operation on the family of means, which under the C¹ nonvanishing-derivative assumption coincides with the quasi-arithmetic mean generated by the corresponding pointwise supremum or infimum of the generating functions.

If this is right

The collection of all such quasi-arithmetic means is closed under taking greatest lower bounds and least upper bounds whenever those bounds exist.
One can always select the optimal bounding mean without leaving the original family of generators.
Comparison inequalities between means in the family can be sharpened using only means from within the family.
The ordering on the family admits lattice operations that remain inside the class.

Where Pith is reading between the lines

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

The same closure might hold for larger classes of means whose generators satisfy weaker regularity than C¹.
It could be used to construct complete lattices of means for specific applications such as inequality sharpening.
Explicit examples like power means or other standard families could be checked to verify the envelope stays inside the class.
The result suggests that optimization problems over bounded families of means can be solved by searching only within the given generators.

Load-bearing premise

The generating functions are continuously differentiable with derivatives that never vanish, and the family of means is bounded above or below by at least one mean already produced by a function in the generating set.

What would settle it

Exhibit a concrete family of quasi-arithmetic means generated by C¹ functions with nonvanishing derivatives, bounded above by one member of the family, whose pointwise supremum cannot be recovered as the quasi-arithmetic mean of any single generator from the same family.

read the original abstract

We show that every family of quasi-arithmetic means generated by (a subset of) $\mathcal{C}^1$ functions with nonvanishing derivative which is bounded (from below or from above) by a quasi-arithmetic mean, possesses the best (lower or upper) bound which is a quasi-arithmetic mean generated by a function belonging to the same family.

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 proves the lattice closure for bounded C¹ families of quasi-arithmetic means via explicit construction of the extremal generator.

read the letter

The main takeaway is that the authors establish a lattice-like closure for families of quasi-arithmetic means. Specifically, when the family comes from C1 functions with nonvanishing derivatives and is bounded from above or below by one of its own members, the best bound is also a quasi-arithmetic mean from the family. They do this by building the extremal generator directly from the partial order on the means. The comparison of means translates to convexity conditions on the compositions of the generators, and the envelope operation stays within the C1 class with the derivative condition preserved. This explicit approach is a strength because it makes the result constructive rather than existential. The paper does well in handling the case where the family is generated by a subset, not necessarily the full set of such functions. It revisits earlier ideas on lattice properties and provides a clean statement under these hypotheses. The argument appears free of circularity since it relies on the order induced by the means themselves. There are a couple of soft spots, but they are not central. The result depends heavily on the C1 regularity, so it does not extend immediately to less smooth cases. Also, the paper focuses purely on the theoretical closure without discussing potential uses in proving inequalities or any computational verification. That keeps the scope narrow, which is fine for a specialized note but limits broader appeal. This work is aimed at mathematicians interested in the structure of quasi-arithmetic means and related functional inequalities. A reader who already works in this area will appreciate the additional property as a tool for analyzing bounded families. The thinking is clear and engages honestly with the definitions and prior concepts in the field. I would send this to peer review because the theorem is precise and the supporting construction looks solid enough to warrant referee input.

Referee Report

0 major / 2 minor

Summary. The manuscript proves that every family of quasi-arithmetic means generated by a subset of C¹ functions with nonvanishing derivative, when bounded from below or above by one member of the family, admits a best lower or upper bound that is itself a quasi-arithmetic mean generated by a function from the same subset. The argument proceeds by constructing the extremal generator explicitly using the order induced by the means comparison criterion (convexity of compositions), showing that C¹ regularity and nonvanishing derivative are preserved under the envelope operation.

Significance. If the result holds, it establishes a lattice-like closure property for such families of quasi-arithmetic means, which may facilitate the study of extremal inequalities and functional inequalities involving means. The explicit construction of the bounding generator and the verification that it remains within the original indexed subset are strengths, as is the preservation of the regularity hypotheses.

minor comments (2)

The abstract states the main theorem cleanly but does not indicate the proof strategy (explicit envelope construction via convexity); adding one sentence on the method would improve accessibility without lengthening the abstract unduly.
Notation for the family of generating functions and the induced order on means should be introduced with a short dedicated paragraph early in the introduction to aid readers unfamiliar with the comparison criterion.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive and accurate summary of our manuscript. The recommendation to accept is appreciated, as the result establishes the desired lattice-like closure property for bounded families of quasi-arithmetic means under the stated regularity conditions.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The manuscript establishes the lattice closure property for families of quasi-arithmetic means by explicitly constructing the pointwise sup/inf generator via the convexity order on compositions, under the given C¹ and non-vanishing derivative hypotheses. This construction stays inside the original family by the indexing and boundedness assumptions, without reducing any prediction or bound to a fitted parameter, self-citation chain, or definitional tautology. All load-bearing steps rely on standard envelope preservation and comparison criteria that are independent of the target result.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on standard definitions and properties of quasi-arithmetic means and C1 functions; no free parameters or new entities are introduced in the abstract.

axioms (2)

standard math Quasi-arithmetic means are generated by strictly monotone continuous functions via the Kolmogorov-Nagumo representation
This is the standard definition invoked implicitly by the abstract's use of 'quasi-arithmetic means generated by functions'.
standard math C1 functions with nonvanishing derivative are strictly monotone and invertible on intervals
Required for the inverse to exist and for the mean to be well-defined.

pith-pipeline@v0.9.0 · 5343 in / 1348 out tokens · 27553 ms · 2026-05-09T21:07:14.314356+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

46 extracted references

[1]

Anderson and T.H

M.E. Anderson and T.H. Feil.Lattice-Ordered Groups: An Introduction. Reidel Texts in the Mathematical Sciences. Springer Netherlands, 1988

1988
[2]

Baják and Zs

Sz. Baják and Zs. Páles. Invariance equation for generalized quasi-arithmetic means.Aequationes Math., 77:133–145, 2009

2009
[3]

P. Burai. Matkowski–Sutô type equation on symmetrized weighted quasi-arithmetic means.Results Math., 63(1-2):397–408, 2013

2013
[4]

Burai, G

P. Burai, G. Kiss, and P. Szokol. Characterization of quasi-arithmetic means without regularity condition. Acta Math. Hungar., 165(2):474–485, 2021

2021
[5]

Burai, G

P. Burai, G. Kiss, and P. Szokol. A dichotomy result for strictly increasing bisymmetric maps.Journal of Mathematical Analysis and Applications, 526(2):127269, 2023

2023
[6]

G. T. Cargo and O. Shisha. On comparable means.Pacific J. Math., 14:1053–1058, 1964

1964
[7]

G. T. Cargo and O. Shisha. A metric space connected with generalized means.J. Approximation Theory, 2:207–222, 1969

1969
[8]

Z. Daróczy. Quasi-arithmetic elements of a given class of means.Publ. Math. Debrecen, 65(3-4):317–322, 2004

2004
[9]

Z. Daróczy. Functional equations involving quasi-arithmetic means and their Gauss composition.Ann. Univ. Sci. Budapest. Sect. Comput., 27:45–55, 2007

2007
[10]

Daróczy and G

Z. Daróczy and G. Hajdu. On linear combinations of weighted quasi-arithmetic means.Aequationes Math., 69(1-2):58–67, 2005

2005
[11]

Daróczy and Gy

Z. Daróczy and Gy. Maksa. A functional equation involving comparable weighted quasi-arithmetic means. Acta Math. Hungar., 138(1-2):147–155, 2013

2013
[12]

Daróczy and Zs

Z. Daróczy and Zs. Páles. On means that are both quasi-arithmetic and conjugate arithmetic.Acta Math. Hungar., 90(4):271–282, 2001

2001
[13]

Daróczy and Zs

Z. Daróczy and Zs. Páles. A Matkowski–Sutô type problem for quasi-arithmetic means of orderα. In Z. Daróczy and Zs. Páles, editors,Functional Equations — Results and Advances, volume 3 ofAdv. Math. (Dordr.), page 189–200. Kluwer Acad. Publ., Dordrecht, 2002

2002
[14]

Daróczy and Zs

Z. Daróczy and Zs. Páles. A Matkowski–Sutô-type problem for weighted quasi-arithmetic means.Ann. Univ. Sci. Budapest. Sect. Comput., 22:69–81, 2003

2003
[15]

Daróczy and Zs

Z. Daróczy and Zs. Páles. The Matkowski–Sutô problem for weighted quasi-arithmetic means.Acta Math. Hungar., 100(3):237–243, 2003

2003
[16]

Daróczy and Zs

Z. Daróczy and Zs. Páles. A characterization of nonconvexity and its applications in the theory of quasi- arithmetic means. In C. Bandle, A. Gilányi, L. Losonczi, M. Plum, and Zs. Páles, editors,Inequalities LATTICE-LIKE PROPERTY OF QUASI-ARITHMETIC MEANS: REVISITED 11 and Applications (Noszvaj, 2007), volume 157 ofInternat. Ser. Numer. Math., page 251–26...

2007
[17]

Daróczy and Zs

Z. Daróczy and Zs. Páles. On an elementary inclusion problem and generalized weighted quasi-arithmetic means. InRecent developments in functional equations and inequalities, volume 99 ofBanach Center Publ., page 45–54. Polish Acad. Sci. Inst. Math., Warsaw, 2013

2013
[18]

B. A. Davey and H. A. Priestley.Introduction to lattices and order. Cambridge university press, 2002

2002
[19]

de Finetti

B. de Finetti. Sul concetto di media.Giornale dell’ Instituto, Italiano degli Attuarii, 2:369–396, 1931

1931
[20]

W. Feldman. Lattice preserving maps on lattices of continuous functions.J. Math. Anal. Appl., 404(2):310– 316, 2013

2013
[21]

Głazowska, W

D. Głazowska, W. Jarczyk, and J. Matkowski. Arithmetic mean as a linear combination of two quasi- arithmetic means.Publ. Math. Debrecen, 61(3-4):455–467, 2002

2002
[22]

G. H. Hardy, J. E. Littlewood, and G. Pólya.Inequalities. Cambridge University Press, Cambridge, 1934. (first edition), 1952 (second edition)

1934
[23]

Ito and C

T. Ito and C. Nara. Quasi-arithmetic means of continuous functions.J. Math. Soc. Japan, 38(4):697–720, 1986

1986
[24]

J. Jarczyk. Invariance of weighted quasi-arithmetic means with continuous generators.Publ. Math. Debre- cen, 71(3-4):279–294, 2007

2007
[25]

J. Jarczyk. When Lagrangean and quasi-arithmetic means coincide.JIPAM. J. Inequal. Pure Appl. Math., 8(3):Article 71, 5, 2007

2007
[26]

J. Jarczyk. Invariance of quasi-arithmetic means with function weights.J. Math. Anal. Appl., 353(1):134–140, 2009

2009
[27]

Jarczyk and J

J. Jarczyk and J. Matkowski. Invariance in the class of weighted quasi-arithmetic means.Ann. Polon. Math., 88(1):39–51, 2006

2006
[28]

Jarczyk and J

W. Jarczyk and J. Matkowski. Remarks on quasi-arithmetic means.Rocznik Nauk.-Dydakt. Prace Mat., (17):125–141, 2000

2000
[29]

Kahlig and J

P. Kahlig and J. Matkowski. On the composition of homogeneous quasi-arithmetic means.J. Math. Anal. Appl., 216(1):69–85, 1997

1997
[30]

K. Knopp. Über Reihen mit positiven Gliedern.J. London Math. Soc., 3:205–211, 1928

1928
[31]

A. N. Kolmogorov. Sur la notion de la moyenne.Rend. Accad. dei Lincei (6), 12:388–391, 1930

1930
[32]

Maksa and Zs

Gy. Maksa and Zs. Páles. Remarks on the comparison of weighted quasi-arithmetic means.Colloq. Math., 120(1):77–84, 2010

2010
[33]

Makó and Zs

Z. Makó and Zs. Páles. The invariance of the arithmetic mean with respect to generalized quasi-arithmetic means.J. Math. Anal. Appl., 353:8–23, 2009

2009
[34]

Marichal

J.-L. Marichal. On an axiomatization of the quasi-arithmetic mean values without the symmetry axiom. Aequationes Math., 59(1-2):74–83, 2000

2000
[35]

Matkowski

J. Matkowski. Invariant and complementary quasi-arithmetic means.Aequationes Math., 57(1):87–107, 1999

1999
[36]

Matkowski

J. Matkowski. Convex functions with respect to a mean and a characterization of quasi-arithmetic means. Real Anal. Exchange, 29(1):229–246, 2003

2003
[37]

Matkowski

J. Matkowski. Generalized weighted and quasi-arithmetic means.Aequationes Math., 79(3):203–212, 2010

2010
[38]

Matkowski and Zs

J. Matkowski and Zs. Páles. Characterization of generalized quasi-arithmetic means.Acta Sci. Math. (Szeged), 81(3-4):447–456, 2015

2015
[39]

M. Nagumo. Über eine Klasse der Mittelwerte.Japanese J. Math., 7:71–79, 1930

1930
[40]

Pasteczka

P. Pasteczka. Interval-type theorems concerning quasi-arithmetic means.Math. Inequal. Appl., 22(2):509–518, 2019

2019
[41]

Pasteczka

P. Pasteczka. On a lattice-like property of quasi-arithmetic means.J. Math. Anal. Appl., 486(1):123892, 11, 2020

2020
[42]

Zs. Páles. On the generalization of quasi-arithmetic means with weight function.Aequationes Math., 31(2- 3):324–325, 1986

1986
[43]

Zs. Páles. On the characterization of quasi-arithmetic means with weight function.Aequationes Math., 32(2-3):171–194, 1987

1987
[44]

Zs. Páles. On the convergence of means.J. Math. Anal. Appl., 156(1):52–60, 1991. LATTICE-LIKE PROPERTY OF QUASI-ARITHMETIC MEANS: REVISITED 12

1991
[45]

Zs. Páles. On the equality of quasi-arithmetic and Lagrangian means.J. Math. Anal. Appl., 382(1):86–96, 2011

2011
[46]

Páles and P

Zs. Páles and P. Pasteczka. Equality and comparison of generalized quasi-arithmetic means.Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. RACSAM, 120(1):Paper No. 19, 2026. Institute of Mathematics, University of Debrecen, Pf. 400, 4002 Debrecen, Hungary Email address:kiss.tibor@science.unideb.hu Institute of Mathematics, University of Rzeszów, Pigonia...

2026