Pub Date : 2025-06-10DOI: 10.1007/s00010-025-01178-1
Mustapha Chellali, Stephen T. Hedetniemi, Nacéra Meddah
A set of vertices (Ssubseteq V) in a graph (G=(V,E)) is called an internal minority set if for every vertex (vin S), a minority of the neighbors of v are in S, or equivalently, every vertex (vin S) has strictly more neighbors in (V-S) than it has in S. As we will show, minority sets in graphs are closely related to, but different than, a variety of sets that have been studied, such as defensive and offensive alliances, cost effective and very cost effective sets, unfriendly partitions in graphs, and independent and dominating sets in graphs. Sets similar to minority sets can also be defined by specifying that similar conditions apply to every vertex (win V-S), giving rise to external minority sets, and to all vertices (uin V), giving rise to total minority sets in graphs. In this paper we introduce the study of these types of sets. Various properties and results are obtained, a corollary of which is a new lower bound for the chromatic number of a graph. Moreover, the complexity issues of two minority related problems are addressed.
{"title":"Minority sets in graphs","authors":"Mustapha Chellali, Stephen T. Hedetniemi, Nacéra Meddah","doi":"10.1007/s00010-025-01178-1","DOIUrl":"10.1007/s00010-025-01178-1","url":null,"abstract":"<div><p>A set of vertices <span>(Ssubseteq V)</span> in a graph <span>(G=(V,E))</span> is called an internal minority set if for every vertex <span>(vin S)</span>, a minority of the neighbors of <i>v</i> are in <i>S</i>, or equivalently, every vertex <span>(vin S)</span> has strictly more neighbors in <span>(V-S)</span> than it has in <i>S</i>. As we will show, minority sets in graphs are closely related to, but different than, a variety of sets that have been studied, such as defensive and offensive alliances, cost effective and very cost effective sets, unfriendly partitions in graphs, and independent and dominating sets in graphs. Sets similar to minority sets can also be defined by specifying that similar conditions apply to every vertex <span>(win V-S)</span>, giving rise to external minority sets, and to all vertices <span>(uin V)</span>, giving rise to total minority sets in graphs. In this paper we introduce the study of these types of sets. Various properties and results are obtained, a corollary of which is a new lower bound for the chromatic number of a graph. Moreover, the complexity issues of two minority related problems are addressed.</p></div>","PeriodicalId":55611,"journal":{"name":"Aequationes Mathematicae","volume":"99 4","pages":"1935 - 1954"},"PeriodicalIF":0.7,"publicationDate":"2025-06-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145110494","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-06-09DOI: 10.1007/s00010-025-01174-5
Karol Baron, Rafał Kapica
Assume ( (Omega , {mathcal {A}}, {mathbb {P}}) ) is a probability space, ((X,rho )) is a complete and separable metric space with the ( sigma )–algebra ( {mathcal {B}} ) of all its Borel subsets and ( f: X times Omega rightarrow X ) is measurable for ( {mathcal {B}} otimes {mathcal {A}}) and such that
$$begin{aligned} int _{Omega } rho big (f(x, omega ), f(z, omega )big ) {mathbb {P}}(domega ) le beta big (rho (x, z)big ) quad text {for } x, z in X end{aligned}$$
with a concave (beta : [0,infty ) rightarrow [0,infty )) satisfying (beta (t)<t) for (t in (0,infty )), and (int _{Omega } rho big (f(x_0, omega ), x_0big ) {mathbb {P}}(d omega ) <infty ) for an (x_0 in X.) We consider the weak limit of the sequence of iterates of f and problems of the existence and uniqueness of solutions (varphi ) of the equations
in some classes of continuous functions mapping X into a separable Banach space.
假设 ( (Omega , {mathcal {A}}, {mathbb {P}}) ) 是一个概率空间, ((X,rho )) 完备可分度量空间是 ( sigma )-代数 ( {mathcal {B}} ) 它所有Borel子集的和 ( f: X times Omega rightarrow X ) 是可以测量的 ( {mathcal {B}} otimes {mathcal {A}}) 这样 $$begin{aligned} int _{Omega } rho big (f(x, omega ), f(z, omega )big ) {mathbb {P}}(domega ) le beta big (rho (x, z)big ) quad text {for } x, z in X end{aligned}$$有一个凹 (beta : [0,infty ) rightarrow [0,infty )) 令人满意的 (beta (t)<t) 为了 (t in (0,infty )),和 (int _{Omega } rho big (f(x_0, omega ), x_0big ) {mathbb {P}}(d omega ) <infty ) 举例来说 (x_0 in X.) 考虑f的迭代序列的弱极限及其解的存在唯一性问题 (varphi ) 方程的 $$begin{aligned} & varphi (x)=F(x)+int _{Omega }varphi big (f(x,omega )big ){mathbb {P}}(domega ), & varphi (x)=F(x)-int _{Omega }varphi big (f(x,omega )big ){mathbb {P}}(domega ) end{aligned}$$将X映射到可分巴拿赫空间的连续函数的某些类。
{"title":"Weakly contractive in mean random-valued functions and two linear functional equations","authors":"Karol Baron, Rafał Kapica","doi":"10.1007/s00010-025-01174-5","DOIUrl":"10.1007/s00010-025-01174-5","url":null,"abstract":"<div><p>Assume <span>( (Omega , {mathcal {A}}, {mathbb {P}}) )</span> is a probability space, <span>((X,rho ))</span> is a complete and separable metric space with the <span>( sigma )</span>–algebra <span>( {mathcal {B}} )</span> of all its Borel subsets and <span>( f: X times Omega rightarrow X )</span> is measurable for <span>( {mathcal {B}} otimes {mathcal {A}})</span> and such that </p><div><div><span>$$begin{aligned} int _{Omega } rho big (f(x, omega ), f(z, omega )big ) {mathbb {P}}(domega ) le beta big (rho (x, z)big ) quad text {for } x, z in X end{aligned}$$</span></div></div><p>with a concave <span>(beta : [0,infty ) rightarrow [0,infty ))</span> satisfying <span>(beta (t)<t)</span> for <span>(t in (0,infty ))</span>, and <span>(int _{Omega } rho big (f(x_0, omega ), x_0big ) {mathbb {P}}(d omega ) <infty )</span> for an <span>(x_0 in X.)</span> We consider the weak limit of the sequence of iterates of <i>f</i> and problems of the existence and uniqueness of solutions <span>(varphi )</span> of the equations </p><div><div><span>$$begin{aligned} & varphi (x)=F(x)+int _{Omega }varphi big (f(x,omega )big ){mathbb {P}}(domega ), & varphi (x)=F(x)-int _{Omega }varphi big (f(x,omega )big ){mathbb {P}}(domega ) end{aligned}$$</span></div></div><p>in some classes of continuous functions mapping <i>X</i> into a separable Banach space.</p></div>","PeriodicalId":55611,"journal":{"name":"Aequationes Mathematicae","volume":"99 4","pages":"1923 - 1933"},"PeriodicalIF":0.7,"publicationDate":"2025-06-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00010-025-01174-5.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145110511","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-06-07DOI: 10.1007/s00010-025-01177-2
John M. Campbell
Letting (L_{n}(N, u)) denote a polylogarithm ladder of weight n and index N with u as an algebraic number, there is a rich history surrounding how mathematical objects of this form can be constructed for a given weight or index. This raises questions as to what minimal polynomials for u are permissible in such constructions. Classical relations for the dilogarithm (text {Li}_{2}) provide families of weight-2 ladders in such a way so that the base equations for u consist of a fixed number of terms, and subsequent constructions for dilogarithm ladders rely on sporadic cases whereby u is defined via a cyclotomic equation, as in the supernumary ladders due to Abouzahra and Lewin. This motivates our construction of an infinite family of dilogarithm ladders so as to obtain arbitrarily many terms with nonzero coefficients for the minimal polynomials for u. Our construction relies on a derivation of a dilogarithm identity introduced by Khoi in 2014 via the Seifert volumes of manifolds obtained from the use of Dehn surgery.
{"title":"On the minimal polynomials of the arguments of dilogarithm ladders","authors":"John M. Campbell","doi":"10.1007/s00010-025-01177-2","DOIUrl":"10.1007/s00010-025-01177-2","url":null,"abstract":"<div><p>Letting <span>(L_{n}(N, u))</span> denote a polylogarithm ladder of weight <i>n</i> and index <i>N</i> with <i>u</i> as an algebraic number, there is a rich history surrounding how mathematical objects of this form can be constructed for a given weight or index. This raises questions as to what minimal polynomials for <i>u</i> are permissible in such constructions. Classical relations for the dilogarithm <span>(text {Li}_{2})</span> provide families of weight-2 ladders in such a way so that the base equations for <i>u</i> consist of a fixed number of terms, and subsequent constructions for dilogarithm ladders rely on sporadic cases whereby <i>u</i> is defined via a cyclotomic equation, as in the supernumary ladders due to Abouzahra and Lewin. This motivates our construction of an infinite family of dilogarithm ladders so as to obtain arbitrarily many terms with nonzero coefficients for the minimal polynomials for <i>u</i>. Our construction relies on a derivation of a dilogarithm identity introduced by Khoi in 2014 via the Seifert volumes of manifolds obtained from the use of Dehn surgery.</p></div>","PeriodicalId":55611,"journal":{"name":"Aequationes Mathematicae","volume":"99 4","pages":"1983 - 1993"},"PeriodicalIF":0.7,"publicationDate":"2025-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145110414","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-06-03DOI: 10.1007/s00010-025-01176-3
Hanchao Liu, Xiaowei Xu, Haoran Yu
Let (T_n(mathbb {K})) be the ring of all (ntimes n) upper triangular matrices over a field (mathbb {K}). For fixed positive integers n, s satisfying (frac{n}{2}le s<n), it is proved that (f: T_n(mathbb {K})rightarrow T_n(mathbb {K})) is additive if and only if (f(A+B)=f(A)+f(B)) for all rank-s matrices (A,Bin T_n(mathbb {K})), which has been proved to be true for (M_n(mathbb {K})) the ring of all (ntimes n) full matrices over (mathbb {K}) [Xu X., Liu H., Additive maps on rank-s matrices, Linear Multilinear Algebra 2017; 65: 806-812].
{"title":"Additive maps on rank-s upper triangular matrices","authors":"Hanchao Liu, Xiaowei Xu, Haoran Yu","doi":"10.1007/s00010-025-01176-3","DOIUrl":"10.1007/s00010-025-01176-3","url":null,"abstract":"<div><p>Let <span>(T_n(mathbb {K}))</span> be the ring of all <span>(ntimes n)</span> upper triangular matrices over a field <span>(mathbb {K})</span>. For fixed positive integers <i>n</i>, <i>s</i> satisfying <span>(frac{n}{2}le s<n)</span>, it is proved that <span>(f: T_n(mathbb {K})rightarrow T_n(mathbb {K}))</span> is additive if and only if <span>(f(A+B)=f(A)+f(B))</span> for all rank-<i>s</i> matrices <span>(A,Bin T_n(mathbb {K}))</span>, which has been proved to be true for <span>(M_n(mathbb {K}))</span> the ring of all <span>(ntimes n)</span> full matrices over <span>(mathbb {K})</span> [Xu X., Liu H., Additive maps on rank-s matrices, Linear Multilinear Algebra 2017; 65: 806-812].</p></div>","PeriodicalId":55611,"journal":{"name":"Aequationes Mathematicae","volume":"99 4","pages":"1507 - 1520"},"PeriodicalIF":0.7,"publicationDate":"2025-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145110474","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-06-02DOI: 10.1007/s00010-025-01175-4
Youssef Aserrar
Let S be a semigroup, Z(S) be the center of S and (sigma :Srightarrow S) is an involutive automorphism. In this paper, we describe the complex-valued solutions of one of d’Alembert’s functional equations
where (tau :Srightarrow {mathbb {C}}) is a multiplicative function such that (tau (xsigma (x))=1) for all (xin S). This allows us to solve Van Vleck’s functional equation
$$begin{aligned} displaystyle int _{S} f(xyt)dmu (t)-tau (y)displaystyle int _{S} f(xsigma (y)t)dmu (t)= 2f(x)g(y), x,yin S, end{aligned}$$
where (mu ) is a measure that is a linear combination of Dirac measures ((delta _{z_i})_{iin I}), such that (z_iin Z(S)) for all (iin I), and I is a finite set. Many consequences of these results are presented.
{"title":"New results on d’Alembert’s and Van Vleck’s functional equations","authors":"Youssef Aserrar","doi":"10.1007/s00010-025-01175-4","DOIUrl":"10.1007/s00010-025-01175-4","url":null,"abstract":"<div><p>Let <i>S</i> be a semigroup, <i>Z</i>(<i>S</i>) be the center of <i>S</i> and <span>(sigma :Srightarrow S)</span> is an involutive automorphism. In this paper, we describe the complex-valued solutions of one of d’Alembert’s functional equations </p><div><div><span>$$begin{aligned} f(xy)-tau (y)f(xsigma (y))=2f(x)g(y), x,yin S, end{aligned}$$</span></div></div><p>where <span>(tau :Srightarrow {mathbb {C}})</span> is a multiplicative function such that <span>(tau (xsigma (x))=1)</span> for all <span>(xin S)</span>. This allows us to solve Van Vleck’s functional equation </p><div><div><span>$$begin{aligned} displaystyle int _{S} f(xyt)dmu (t)-tau (y)displaystyle int _{S} f(xsigma (y)t)dmu (t)= 2f(x)g(y), x,yin S, end{aligned}$$</span></div></div><p>where <span>(mu )</span> is a measure that is a linear combination of Dirac measures <span>((delta _{z_i})_{iin I})</span>, such that <span>(z_iin Z(S))</span> for all <span>(iin I)</span>, and <i>I</i> is a finite set. Many consequences of these results are presented.</p></div>","PeriodicalId":55611,"journal":{"name":"Aequationes Mathematicae","volume":"99 4","pages":"1967 - 1981"},"PeriodicalIF":0.7,"publicationDate":"2025-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145110443","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-05-28DOI: 10.1007/s00010-025-01171-8
Mohamed Ayoubi, Driss Zeglami, Ayoub Ouhabi
We study Wilson’s functional equation with an anti-endomorphism on semigroups and derive its optimal links to d’Alembert’s functional equation. As an application, we solve d’Alembert’s functional equation on semigroups with both an involutive endomorphism and an anti-endomorphism.
{"title":"Finer results on Wilson functions with an anti-endomorphism on semigroups","authors":"Mohamed Ayoubi, Driss Zeglami, Ayoub Ouhabi","doi":"10.1007/s00010-025-01171-8","DOIUrl":"10.1007/s00010-025-01171-8","url":null,"abstract":"<div><p>We study Wilson’s functional equation with an anti-endomorphism on semigroups and derive its optimal links to d’Alembert’s functional equation. As an application, we solve d’Alembert’s functional equation on semigroups with both an involutive endomorphism and an anti-endomorphism.</p></div>","PeriodicalId":55611,"journal":{"name":"Aequationes Mathematicae","volume":"99 4","pages":"1819 - 1825"},"PeriodicalIF":0.7,"publicationDate":"2025-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145110585","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-05-28DOI: 10.1007/s00010-025-01172-7
Attila Losonczi
We construct a measure which determines a two variable mean in a very natural way. Using that measure we can extend the mean to infinite sets as well. E.g. we can calculate the geometric mean of any set with positive Lebesgue measure. We also study the properties and behavior of such generalized means that are obtained by a measure, and we provide some applications as well.
{"title":"Measures by means, means by measures","authors":"Attila Losonczi","doi":"10.1007/s00010-025-01172-7","DOIUrl":"10.1007/s00010-025-01172-7","url":null,"abstract":"<div><p>We construct a measure which determines a two variable mean in a very natural way. Using that measure we can extend the mean to infinite sets as well. E.g. we can calculate the geometric mean of any set with positive Lebesgue measure. We also study the properties and behavior of such generalized means that are obtained by a measure, and we provide some applications as well.</p></div>","PeriodicalId":55611,"journal":{"name":"Aequationes Mathematicae","volume":"99 4","pages":"1421 - 1440"},"PeriodicalIF":0.7,"publicationDate":"2025-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00010-025-01172-7.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145110586","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-05-24DOI: 10.1007/s00010-025-01164-7
Aparajita Dasgupta, Michael Ruzhansky, Abhilash Tushir
In this paper we consider a semiclassical version of the fractional Klein-Gordon equation on the lattice (hbar mathbb {Z}^{n}.) Contrary to the Euclidean case that was considered in [2], the discrete fractional Klein-Gordon equation is well-posed in (ell ^{2}left( hbar mathbb {Z}^{n}right) .) However, we also recover the well-posedness results in the certain Sobolev spaces in the limit of the semiclassical parameter (hbar rightarrow 0).
{"title":"Discrete Time-dependent wave equations II. Semiclassical Fractional Klein-Gordon equation","authors":"Aparajita Dasgupta, Michael Ruzhansky, Abhilash Tushir","doi":"10.1007/s00010-025-01164-7","DOIUrl":"10.1007/s00010-025-01164-7","url":null,"abstract":"<div><p>In this paper we consider a semiclassical version of the fractional Klein-Gordon equation on the lattice <span>(hbar mathbb {Z}^{n}.)</span> Contrary to the Euclidean case that was considered in [2], the discrete fractional Klein-Gordon equation is well-posed in <span>(ell ^{2}left( hbar mathbb {Z}^{n}right) .)</span> However, we also recover the well-posedness results in the certain Sobolev spaces in the limit of the semiclassical parameter <span>(hbar rightarrow 0)</span>.</p></div>","PeriodicalId":55611,"journal":{"name":"Aequationes Mathematicae","volume":"99 4","pages":"1491 - 1505"},"PeriodicalIF":0.7,"publicationDate":"2025-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145168763","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-05-21DOI: 10.1007/s00010-025-01170-9
Douglas R. Anderson, Masakazu Onitsuka
In this study, the Ulam stability of quantum equations on time scales that alternate between two quanta is considered. We show that linear equations of first order with constant coefficient or of Euler type are Ulam stable across large regions of the complex plane, and give the best Ulam constants for those regions. We also show, however, that linear equations of first order of period-1 type are not Ulam stable for any parameter value in the complex plane. This is due to the importance of pre-positioning the non-autonomous term for Ulam stability.
{"title":"Discrete time scales with two quanta and Ulam stability","authors":"Douglas R. Anderson, Masakazu Onitsuka","doi":"10.1007/s00010-025-01170-9","DOIUrl":"10.1007/s00010-025-01170-9","url":null,"abstract":"<div><p>In this study, the Ulam stability of quantum equations on time scales that alternate between two quanta is considered. We show that linear equations of first order with constant coefficient or of Euler type are Ulam stable across large regions of the complex plane, and give the best Ulam constants for those regions. We also show, however, that linear equations of first order of period-1 type are not Ulam stable for any parameter value in the complex plane. This is due to the importance of pre-positioning the non-autonomous term for Ulam stability.</p></div>","PeriodicalId":55611,"journal":{"name":"Aequationes Mathematicae","volume":"99 4","pages":"1741 - 1761"},"PeriodicalIF":0.7,"publicationDate":"2025-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145110448","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}