Schur-Concavity of Certain Set-Valued Means

Kazimierz Nikodem

DOI: https://doi.org/10.1007/s00025-024-02285-2

2024-09-27

Results in Mathematics

Abstract:The notion of set-valued means is investigated. It is proved that set-valued counterparts of the classical arithmetic, quasi-arithmetic and Lagrangian means are Schur-concave.

mathematics, applied

What problem does this paper attempt to address?

Schur-Convexity of Two Types of One-Parameter Mean Values in Variables

Ning-Guo Zheng,Zhi-Hua Zhang,Xiao-Ming Zhang

DOI: https://doi.org/10.1155/2007/78175

2007-01-01

Journal of Inequalities and Applications

Abstract:We establish Schur-convexities of two types of one-parameter mean values in variables. As applications, Schur-convexities of some well-known functions involving the complete elementary symmetric functions are obtained.
On the Schur Convexity and Schur Geometrical Convexity of a Seiffert Mean

Di He

2011-01-01

Abstract:In this paper,the Schur-convexity and Schur-geometrical convexity of a Seiffert mean is studied,and two corresponding new inequality chains are established.
Monotonicities and Schur-Convexity for a Type of Symmetric Mean Values

Luo Hong-cai,Zhihua Zhang,. Lokesha,Zhigang Wang

2008-01-01

Abstract:In the present paper, we discuss the basic properties of a type of symmetric mean values. Such results as monotonicities, Schur-convexity for some special cases of this type of mean values are established.
Quasi-arithmetic means ad libitum

Paolo Leonetti

2023-08-10

Abstract:Let $\alpha_1, \ldots, \alpha_m$ be two or more positive reals with sum $1$, let $C\subseteq \mathbb{R}^k$ be an open convex set, and $f: C\to \mathbb{R}^k$ be a continuous injection with convex image. For each nonempty set $S\subseteq C$, let $\mathscr{M}(S)$ be the family of quasi-arithmetic means of all $m$-tuples of vectors in $C$ with respect to $f$ and the weights $\alpha_1,\ldots,\alpha_m$, that is, the family $$ \mathscr{M}(S)= \left\{ f^{-1}\left(\alpha_1f(x_1)+\cdots+\alpha_mf(x_m)\right): x_1,\ldots,x_m \in S \right\}. $$ We provide a simple necessary and sufficient condition on $S$ for which the infinite iteration $\bigcup_{n}\mathscr{M}^n(S)$ is relatively dense in the convex hull of $S$.

Classical Analysis and ODEs
Measuring the convexity of compact sumsets with the Schneider non-convexity index

Mark Meyer

2024-05-01

Abstract:In recent work, Franck Barthe and Mokshay Madiman introduced the concept of the Lyusternik region, denoted by $\Lambda_{n}(m)$, to better understand volumes of sumsets. They gave a characterization of $\Lambda_{n}(2)$ (the volumes of compact sets in $\mathbb{R}^n$ when at most $m=2$ sets are added together) and proved that Lebesgue measure satisfies a fractional superadditive property. We attempt to imitate the idea of the Lyusternik region by defining a region based on the Schneider non-convexity index function, which was originally defined by Rolf Schneider in 1975. We call this region the Schneider region, denoted by $S_{n}(m)$. In this paper, we will give an initial characterization of the region $S_{1}(2)$ and in doing so, we will prove that the Schneider non-convexity index of a sumset $c(A_1+A_2)$ has a best lower bound in terms of $c(A_1)$ and $c(A_2)$. We will pose some open questions about extending this lower bound to higher dimensions and large sums. We will also show that, analogous to Lebesgue measure, the Schneider non-convexity index has a fractional subadditive property. Regarding the Lyusternik region, we will show that when the number of sets being added is $m\geq3$, that the region $\Lambda_{n}(m)$ is not closed, proving a new qualitative property for the region.

Metric Geometry,Combinatorics
Sumset estimates in convex geometry

Matthieu Fradelizi,Mokshay Madiman,Artem Zvavitch

DOI: https://doi.org/10.48550/arXiv.2206.01565

2022-06-03

Metric Geometry

Abstract:Sumset estimates, which provide bounds on the cardinality of sumsets of finite sets in a group, form an essential part of the toolkit of additive combinatorics. In recent years, probabilistic or entropic analogs of many of these inequalities were introduced. We study analogues of these sumset estimates in the context of convex geometry and Lebesgue measure on ${\mathbb R}^n$. First, we observe that, with respect to Minkowski summation, volume is supermodular to arbitrary order on the space of convex bodies. Second, we explore sharp constants in the convex geometry analogues of variants of the Pl\"unnecke-Ruzsa inequalities. In the last section of the paper, we provide connections of these inequalities to the classical Rogers-Shephard inequality.
Means of Cauchy's difference type

DOI: https://doi.org/10.1007/s00010-024-01044-6

2024-03-31

Aequationes Mathematicae

Abstract:k -variable means which are the Cauchy differences of additive type generated by a real single variable function f , and denoted by , are examined. It is shown that is an increasing mean in iff f is a convex solution of the (reflexivity) functional equation , and a construction of a large class of such means is presented. The form of a unique homogeneous mean of the form is given. As corollaries, the suitable results for the Cauchy differences of exponential, logarithmic and multiplicative types are obtained. It is shown that there exists a unique continuous and differentiable at 0 function f such that is a bivariable premean in , and its analyticity is proved. Finding the explicit form of f is one of the proposed open questions.

mathematics, applied
Hermite--Hadamard type inequality for certain Schur convex functions

Pál Burai,Judit Makó,Patrícia Szokol

DOI: https://doi.org/10.48550/arXiv.1912.12857

2019-12-30

Abstract:The main goal of this paper is to prove a Hermite-Hadamard type inequality for certain Schur convex functions using, as one of the main tools in the proof, a Korovkin-type approximation theorem.

Classical Analysis and ODEs
Means of infinite sets III

Attila Losonczi

DOI: https://doi.org/10.48550/arXiv.1810.08547

2018-09-26

Abstract:We study various topics, e.g. accumulation points by a mean, two types of derivative by a mean, two new continuity and a boundedness concepts, we construct new means from old ones, finally we investigate the limit of means.

Classical Analysis and ODEs
Equality and comparison of generalized quasiarithmetic means

Zsolt Páles,Paweł Pasteczka

2024-12-10

Abstract:The purpose of this paper is to extend the definition of quasiarithmetic means by taking a strictly monotone generating function instead of a strictly monotone and continuous one. We establish the properties of such means and compare them to the analogous properties of standard quasiarithmetic means. The comparability and equality problems of generalized quasiarithmetic are also solved. We also provide an example of a mean which, depending on the underlying interval or on the number of variables, could be or could not be represented as a generalized quasiarithmetic mean.

Classical Analysis and ODEs
On the $σ$-balancing property of multivariate generalized quasi-arithmetic means

Tibor Kiss,Gergő Nagy

2024-05-14

Abstract:The aim of this paper is to characterize the so-called $\sigma$-balancing property in the class of generalized quasi-arithmetic means. In general, the question is whether those elements of a given family of means that possess this property are quasi-arithmetic.

Classical Analysis and ODEs
Quotient-convergence of Submodular Setfunctions

Kristóf Bérczi,Márton Borbényi,László Lovász,László Márton Tóth

2024-06-14

Abstract:We introduce the concept of quotient-convergence for sequences of submodular set functions, providing, among others, a new framework for the study of convergence of matroids through their rank functions. Extending the limit theory of bounded degree graphs, which analyzes graph sequences via neighborhood sampling, we address the challenge posed by the absence of a neighborhood concept in matroids. We show that any bounded set function can be approximated by a sequence of finite set functions that quotient-converges to it. In addition, we explicitly construct such sequences for increasing, submodular, and upper continuous set functions, and prove the completeness of the space under quotient-convergence.

Combinatorics
The Schwarzian norm estimates for Janowski convex functions

Md Firoz Ali,Sanjit Pal

DOI: https://doi.org/10.1017/s0013091524000014

2024-02-13

Proceedings of the Edinburgh Mathematical Society

Abstract:For , let denote the class of normalized Janowski convex functions defined in the unit disk that satisfy the subordination relation . In the present article, we determine the sharp estimate of the Schwarzian norm for functions in the class . The Dieudonné's lemma which gives the exact region of variability for derivatives at a point of bounded functions, plays the key role in this study, and we also use this lemma to construct the extremal functions for the sharpness by a new method.

mathematics
A note on faces of convex sets

Stephan Weis

2024-10-07

Abstract:The faces of a convex set owe their relevance to an interplay between convexity and topology that is systematically studied in the work of Rockafellar. Infinite-dimensional convex sets are excluded from this theory as their relative interiors may be empty. Shirokov and the present author answered this issue by proving that every point in a convex set lies in the relative algebraic interior of the face it generates. This theorem is proved here in a simpler way, connecting ideas scattered throughout the literature. This article summarizes and develops methods for faces and their relative algebraic interiors and applies them to spaces of probability measures.

Metric Geometry,Probability
A Comprehensive Definition of the Geometric Mean of Convex Bodies Based on Relations Between Their $p$-Means

René Brandenberg,Florian Grundbacher

2024-05-01

Abstract:In light of the log-Brunn-Minkowski conjecture, various attempts have been made to define the geometric mean of convex bodies. Many of these constructions are fairly complex and/or fail to satisfy some natural properties one would expect of such a mean. We remedy this by providing a new geometric mean that is both technically simple and inherits all the natural properties expected. To improve our understanding of potential geometric mean definitions, we first study general $p$-means of convex bodies, with the usual definition extended to two series ranging over all $p$ in the extended reals. We characterize their equality cases and obtain (in almost all instances tight) inequalities that quantify how well these means approximate each other. As a corollary, we establish that every Minkowski centered body is equidistant from all its $p$-symmetrizations with respect to the Banach-Mazur distance. Finally, we show that our geometric mean satisfies all the properties considered in recent literature and extend this list with some properties regarding symmetrization and asymmetry.

Metric Geometry
Non-Archimedean analogue of the space of valuations on convex sets

Semyon Alesker

2024-05-18

Abstract:In the last two decades a number of structures on the classical space of translation invariant valuations on convex bodies were discovered, e.g. product, convolution, a Fourier type transform. In this paper a non-Archimedean analogue of the space of such (even) valuations with similar structures is constructed. It is shown that, like in the classical case, the new space equipped with either product or convolution satisfies Poincaré duality and hard Lefschetz theorem.

Differential Geometry
Generalizations of the Lagrange mean value theorem and applications

Miodrag Mateljevic,Marek Svetlik,Miloljub Albijanic,Nebojsa Savic

DOI: https://doi.org/10.2298/fil1304515m

2013-01-01

Filomat

Abstract:In this paper we give a generalization of the Lagrange mean value theorem via lower and upper derivative, as well as appropriate criteria of monotonicity and convexity for arbitrary function f : (a, b) ( R. Some applications to the neoclassical economic growth model are given (from mathematical point of view).

mathematics, applied
Properties of Mean Value Sets: Angle Conditions, Blowup Solutions, and Nonconvexity

Niles Armstrong

DOI: https://doi.org/10.48550/arXiv.1801.06627

2018-02-02

Abstract:We study the mean values sets of the second order divergence form elliptic operator with principal coefficients defined as $$a^{ij}_k(x):= \begin{cases} \alpha_k \delta^{ij}(x) &x_n>0 \beta_k \delta^{ij}(x) &x_n<0. \end{cases}$$ In particular, we will show that the mean value sets associated to such an operator need not be convex as $\alpha_k$ and $\beta_k$ converge to 1. This example then leads to an example of nonconvex mean value sets for smooth $a^{ij}(x)$.

Analysis of PDEs
A study of convex convex-composite functions via infimal convolution with applications

James V. Burke,Tim Hoheisel,Quang V. Nguyen

DOI: https://doi.org/10.48550/arXiv.1907.08318

2019-08-21

Abstract:In this note we provide a full conjugacy and subdifferential calculus for convex convex-composite functions in finite-dimensional space. Our approach, based on infimal convolution and cone-convexity, is straightforward and yields the desired results under a verifiable Slater-type condition, with relaxed monotonicity and without lower semicontinuity assumptions on the functions in play. The versatility of our findings is illustrated by a series of applications in optimization and matrix analysis, including conic programming, matrix-fractional, variational Gram, and spectral functions.

Optimization and Control
Set-valued convex compositions

Çağın Ararat

DOI: https://doi.org/10.48550/arXiv.2306.15906

2023-06-28

Functional Analysis

Abstract:We study the composition of two set-valued functions defined on locally convex topological linear spaces. We assume that these functions map into certain complete lattices of sets that have been used to establish a conjugation theory for set-valued functions in the literature. Our main result is a formula for the conjugate of the composition in terms of the conjugates of the ingredient functions. As a special case, when the composition is proper and has further regularity, our formula yields a dual representation for the composition. The proof of the main result uses Lagrange duality and minimax theory in a nontrivial way.

Schur-Concavity of Certain Set-Valued Means

Schur-Convexity of Two Types of One-Parameter Mean Values in Variables

On the Schur Convexity and Schur Geometrical Convexity of a Seiffert Mean

Monotonicities and Schur-Convexity for a Type of Symmetric Mean Values

Quasi-arithmetic means ad libitum

Measuring the convexity of compact sumsets with the Schneider non-convexity index

Sumset estimates in convex geometry

Means of Cauchy's difference type

Hermite--Hadamard type inequality for certain Schur convex functions

Means of infinite sets III

Equality and comparison of generalized quasiarithmetic means

On the $σ$-balancing property of multivariate generalized quasi-arithmetic means

Quotient-convergence of Submodular Setfunctions

The Schwarzian norm estimates for Janowski convex functions

A note on faces of convex sets

A Comprehensive Definition of the Geometric Mean of Convex Bodies Based on Relations Between Their $p$-Means

Non-Archimedean analogue of the space of valuations on convex sets

Generalizations of the Lagrange mean value theorem and applications

Properties of Mean Value Sets: Angle Conditions, Blowup Solutions, and Nonconvexity

A study of convex convex-composite functions via infimal convolution with applications

Set-valued convex compositions