Pub Date : 2024-04-28DOI: 10.1007/s44146-023-00106-6
Rupert Lasser, Josef Obermaier
The basis for our studies is a large class of orthogonal polynomial sequences ((P_n)_{nin {{mathbb {N}}}_0}), which is normalized by (P_n(x_0)=1) for all (nin {mathbb {N}}_0) where the coefficients in the three-term recurrence relation are bounded. The goal is to check if (x_0 in {mathbb {R}}) is in the support of the orthogonalization measure (mu ). For this purpose, we use, among other things, a result of G. H. Hardy concerning Cesàro operators on weighted (l^2)-spaces. These investigations generalize ideas from Lasser et al. (Arch Math 100:289–299, 2013).
我们研究的基础是一个大的正交多项式序列((P_n)_{nin {{mathbb {N}}}_0}),它被归一化为(P_n(x_0)=1),对于所有(nin {mathbb {N}}_0),其中三项递归关系中的系数是有界的。目的是检查(x_0 in {mathbb {R}})是否支持正交度量(mu )。为此,我们使用了g.h. Hardy关于(l^2) -空间上Cesàro算子的一个结果。这些调查概括了Lasser等人的观点(Arch Math 100:289-299, 2013)。
{"title":"On the spectrum of tridiagonal operators in the context of orthogonal polynomials","authors":"Rupert Lasser, Josef Obermaier","doi":"10.1007/s44146-023-00106-6","DOIUrl":"10.1007/s44146-023-00106-6","url":null,"abstract":"<div><p>The basis for our studies is a large class of orthogonal polynomial sequences <span>((P_n)_{nin {{mathbb {N}}}_0})</span>, which is normalized by <span>(P_n(x_0)=1)</span> for all <span>(nin {mathbb {N}}_0)</span> where the coefficients in the three-term recurrence relation are bounded. The goal is to check if <span>(x_0 in {mathbb {R}})</span> is in the support of the orthogonalization measure <span>(mu )</span>. For this purpose, we use, among other things, a result of G. H. Hardy concerning Cesàro operators on weighted <span>(l^2)</span>-spaces. These investigations generalize ideas from Lasser et al. (Arch Math 100:289–299, 2013).</p></div>","PeriodicalId":46939,"journal":{"name":"ACTA SCIENTIARUM MATHEMATICARUM","volume":"91 1-2","pages":"95 - 108"},"PeriodicalIF":0.5,"publicationDate":"2024-04-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s44146-023-00106-6.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143938693","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-04-24DOI: 10.1007/s44146-024-00131-z
Hideki Kosaki
Power difference means and Heron means are well-known numerical means with parameters. Their comparison in the positive definite sense is studied. More precisely, for a power difference mean M with each fixed parameter we try to determine the exact parameter range for Heron means majorizing M (in the positive definite sense). Since this order is known to determine validity of (unitarily invariant) norm inequalities between corresponding matrix power difference means and matrix Heron means, we obtain an abundance of very precise norm inequalities between these two matrix means.
{"title":"Comparison between power difference means and Heron means","authors":"Hideki Kosaki","doi":"10.1007/s44146-024-00131-z","DOIUrl":"10.1007/s44146-024-00131-z","url":null,"abstract":"<div><p>Power difference means and Heron means are well-known numerical means with parameters. Their comparison in the positive definite sense is studied. More precisely, for a power difference mean <i>M</i> with each fixed parameter we try to determine the exact parameter range for Heron means majorizing <i>M</i> (in the positive definite sense). Since this order is known to determine validity of (unitarily invariant) norm inequalities between corresponding matrix power difference means and matrix Heron means, we obtain an abundance of very precise norm inequalities between these two matrix means.</p></div>","PeriodicalId":46939,"journal":{"name":"ACTA SCIENTIARUM MATHEMATICARUM","volume":"90 3-4","pages":"441 - 489"},"PeriodicalIF":0.5,"publicationDate":"2024-04-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140662395","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-04-15DOI: 10.1007/s44146-024-00130-0
Somayya Moulaharabbi, Mohamed Barraa
In this paper, we establish and study some properties of the spatial numerical range of right linear bounded operators on a right quaternionic Banach space. To be more specific, we show that the spatial numerical range is circular and we give the relation between the spatial numerical range, the point S-spectrum and the approximate S-spectrum of an operator on a right quaternionic Banach space. We prove also that the S-spectrum of a quaternionic bounded operator is included in the closure of its spatial numerical range. To show this, we generalize the Bishop-Phelps theorem for quaternionic Banach spaces.
{"title":"Spatial Numerical range of bounded operators on right quaternionic Banach spaces","authors":"Somayya Moulaharabbi, Mohamed Barraa","doi":"10.1007/s44146-024-00130-0","DOIUrl":"10.1007/s44146-024-00130-0","url":null,"abstract":"<div><p>In this paper, we establish and study some properties of the spatial numerical range of right linear bounded operators on a right quaternionic Banach space. To be more specific, we show that the spatial numerical range is circular and we give the relation between the spatial numerical range, the point S-spectrum and the approximate S-spectrum of an operator on a right quaternionic Banach space. We prove also that the S-spectrum of a quaternionic bounded operator is included in the closure of its spatial numerical range. To show this, we generalize the Bishop-Phelps theorem for quaternionic Banach spaces.</p></div>","PeriodicalId":46939,"journal":{"name":"ACTA SCIENTIARUM MATHEMATICARUM","volume":"91 1-2","pages":"109 - 119"},"PeriodicalIF":0.5,"publicationDate":"2024-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140702138","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-04-09DOI: 10.1007/s44146-024-00126-w
R. P. Pant, Vladimir Rakočević
We introduce a weaker form of continuity which is a necessary and sufficient condition for the existence of fixed points. The obtained theorems exhibit interesting fixed point – eventual fixed point patterns. If we slightly weaken the conditions then the mappings admit periodic points besides fixed points and such mappings possess interesting combinations of fixed and periodic points. Our results are applicable to contractive type as well as non-expansive type mappings. Our theorems are independent of almost all the existing results for contractive type mappings. The last theorem of Sect. 2 is applicable to mappings having various geometric patterns as their domain and is perhaps the first result of its type that also opens up scope for the study of periodic points and periodic point structures. We also give an application of our theorem to obtain the solutions of a nonlinear Diophantine equation; and also show that various well-known fixed point theorems are not applicable in solving this equation.
{"title":"Fixed point and periodic point theorems","authors":"R. P. Pant, Vladimir Rakočević","doi":"10.1007/s44146-024-00126-w","DOIUrl":"10.1007/s44146-024-00126-w","url":null,"abstract":"<div><p>We introduce a weaker form of continuity which is a necessary and sufficient condition for the existence of fixed points. The obtained theorems exhibit interesting fixed point – eventual fixed point patterns. If we slightly weaken the conditions then the mappings admit periodic points besides fixed points and such mappings possess interesting combinations of fixed and periodic points. Our results are applicable to contractive type as well as non-expansive type mappings. Our theorems are independent of almost all the existing results for contractive type mappings. The last theorem of Sect. 2 is applicable to mappings having various geometric patterns as their domain and is perhaps the first result of its type that also opens up scope for the study of periodic points and periodic point structures. We also give an application of our theorem to obtain the solutions of a nonlinear Diophantine equation; and also show that various well-known fixed point theorems are not applicable in solving this equation.</p></div>","PeriodicalId":46939,"journal":{"name":"ACTA SCIENTIARUM MATHEMATICARUM","volume":"90 1-2","pages":"175 - 192"},"PeriodicalIF":0.5,"publicationDate":"2024-04-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140723201","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-04-08DOI: 10.1007/s44146-024-00129-7
Somayeh Hazrati, Kazem Haghnejad Azar
In this paper, we introduce and investigate a new class of operators known as almost unbounded L-weakly compact (in shortly, (_{au}L)-weakly compact) and almost unbounded M-weakly compact (in shortly, (_{au}M)-weakly compact) operators. We explore the lattice properties related to this class and examine their relationships with other established operator classes, such as L-weakly compact operators and almost L-weakly compact operators. We demonstrate that every L-weakly compact operator is an (_{au}L)-weakly compact operator, but the reverse implication does not necessarily hold in all cases.
{"title":"Almost unbounded L and M-weakly compact operators","authors":"Somayeh Hazrati, Kazem Haghnejad Azar","doi":"10.1007/s44146-024-00129-7","DOIUrl":"10.1007/s44146-024-00129-7","url":null,"abstract":"<div><p>In this paper, we introduce and investigate a new class of operators known as almost unbounded <i>L</i>-weakly compact (in shortly, <span>(_{au}L)</span>-weakly compact) and almost unbounded <i>M</i>-weakly compact (in shortly, <span>(_{au}M)</span>-weakly compact) operators. We explore the lattice properties related to this class and examine their relationships with other established operator classes, such as <i>L</i>-weakly compact operators and almost <i>L</i>-weakly compact operators. We demonstrate that every <i>L</i>-weakly compact operator is an <span>(_{au}L)</span>-weakly compact operator, but the reverse implication does not necessarily hold in all cases.</p></div>","PeriodicalId":46939,"journal":{"name":"ACTA SCIENTIARUM MATHEMATICARUM","volume":"90 1-2","pages":"251 - 267"},"PeriodicalIF":0.5,"publicationDate":"2024-04-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140730844","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-04-08DOI: 10.1007/s44146-024-00125-x
Kamilla Kátai-Urbán, András Pongrácz, Csaba Szabó
Let (G=(V,E)) be a finite graph together with an initial assignment (Vrightarrow {0,1}) that represents the opinion of each vertex. Then discordant push voting is a discrete, non-deterministic protocol that alters the opinion of one vertex at a time until a consensus is reached. More precisely, at each round a discordant vertex u (i.e., one that has a neighbor with a different opinion) is chosen uniformly at random, and then we choose a neighbor v with different vote uniformly at random, and force v to change its opinion to that of u. In case of the discordant pull protocol we simply choose a discordant vertex uniformly at random and change its opinion. In this paper, we give asymptotically sharp estimations for the worst expected runtime of the discordant push and pull protocols on the star graph.
让(G=(V,E))是一个有限图,同时还有一个代表每个顶点意见的初始赋值(Vrightarrow {0,1})。那么不和谐推动投票就是一个离散的、非确定的协议,它每次改变一个顶点的意见,直到达成共识。更确切地说,在每一轮中,我们都会均匀随机地选择一个不和谐的顶点 u(即有一个邻居持有不同意见),然后均匀随机地选择一个持有不同投票的邻居 v,并迫使 v 将其意见改为 u 的意见。在本文中,我们给出了星形图上不和谐推协议和拉协议的最差预期运行时间的渐近尖锐估计值。
{"title":"Voting protocols on the star graph","authors":"Kamilla Kátai-Urbán, András Pongrácz, Csaba Szabó","doi":"10.1007/s44146-024-00125-x","DOIUrl":"10.1007/s44146-024-00125-x","url":null,"abstract":"<div><p>Let <span>(G=(V,E))</span> be a finite graph together with an initial assignment <span>(Vrightarrow {0,1})</span> that represents the opinion of each vertex. Then discordant push voting is a discrete, non-deterministic protocol that alters the opinion of one vertex at a time until a consensus is reached. More precisely, at each round a discordant vertex <i>u</i> (i.e., one that has a neighbor with a different opinion) is chosen uniformly at random, and then we choose a neighbor <i>v</i> with different vote uniformly at random, and force <i>v</i> to change its opinion to that of <i>u</i>. In case of the discordant pull protocol we simply choose a discordant vertex uniformly at random and change its opinion. In this paper, we give asymptotically sharp estimations for the worst expected runtime of the discordant push and pull protocols on the star graph.\u0000</p></div>","PeriodicalId":46939,"journal":{"name":"ACTA SCIENTIARUM MATHEMATICARUM","volume":"90 1-2","pages":"41 - 51"},"PeriodicalIF":0.5,"publicationDate":"2024-04-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s44146-024-00125-x.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140731535","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-04-06DOI: 10.1007/s44146-024-00128-8
Raluca Dumitru, Jose A. Franco
In this article we study log-majorizations related to the spectral geometric and Rényi means. Our goal is to establish certain geometric properties for them with respect to the Thompson metric and Kim’s semi-metric on the cone of positive definite matrices. We also study geodesic in-betweenness type results for these two means and some Audenaert-type in-betweenness inequalities.
{"title":"Log-majorizations related to the spectral geometric and Rényi means","authors":"Raluca Dumitru, Jose A. Franco","doi":"10.1007/s44146-024-00128-8","DOIUrl":"10.1007/s44146-024-00128-8","url":null,"abstract":"<div><p>In this article we study log-majorizations related to the spectral geometric and Rényi means. Our goal is to establish certain geometric properties for them with respect to the Thompson metric and Kim’s semi-metric on the cone of positive definite matrices. We also study geodesic in-betweenness type results for these two means and some Audenaert-type in-betweenness inequalities.</p></div>","PeriodicalId":46939,"journal":{"name":"ACTA SCIENTIARUM MATHEMATICARUM","volume":"90 3-4","pages":"551 - 563"},"PeriodicalIF":0.5,"publicationDate":"2024-04-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140735204","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-04-03DOI: 10.1007/s44146-024-00127-9
Michihiro Hirayama, Davit Karagulyan
The Lebesgue differentiation theorem claims that the integral averages of (fin L^{1}([0,1)^2)) with respect to the family of axis-parallel squares converge almost everywhere on ([0,1)^2). On the other hand, it is a well known result by Saks that there exist a function (f in L^{1}([0,1)^2)) such that its integral averages with respect to the family of axis-parallel rectangles diverge everywhere on ([0,1)^2). In this paper, we address the following question: assume we have two different collections of rectangles; under which conditions does there exist a function (f in L^{1}([0,1)^2)) so that its integral averages converge with respect to one collection and diverge with respect to another? More specifically, let ({varvec{C}}, {varvec{D}} subset (0,1]) and consider rectangles with side lengths respectively in ({varvec{C}}) and ({varvec{D}}). We show that if the sets ({varvec{C}}) and ({varvec{D}}) occasionally become sufficiently “far” from each other, then such a function can be constructed. We also show that in the class of positive functions our condition is necessary for such a function to exist.
勒贝格微分定理声称(fin L^{1}([0,1)^2))对平行轴的正方形族的积分平均几乎在([0,1)^2)上处处收敛。另一方面,Saks的一个众所周知的结果是,存在一个函数(f in L^{1}([0,1)^2)),使得它对轴平行矩形族的积分平均值在([0,1)^2)上处处发散。在本文中,我们解决以下问题:假设我们有两个不同的矩形集合;在什么条件下存在一个函数(f in L^{1}([0,1)^2))使得它的积分平均值相对于一个集合收敛而相对于另一个集合发散?更具体地说,让({varvec{C}}, {varvec{D}} subset (0,1])和考虑边长分别为({varvec{C}})和({varvec{D}})的矩形。我们证明,如果集合({varvec{C}})和({varvec{D}})偶尔变得彼此足够“远”,则可以构造这样的函数。我们还证明了在正函数类中,我们的条件是这样一个函数存在的必要条件。
{"title":"Differentiation properties of class (L^{1}([0,1)^{2})) with respect to two different bases of rectangles","authors":"Michihiro Hirayama, Davit Karagulyan","doi":"10.1007/s44146-024-00127-9","DOIUrl":"10.1007/s44146-024-00127-9","url":null,"abstract":"<div><p>The Lebesgue differentiation theorem claims that the integral averages of <span>(fin L^{1}([0,1)^2))</span> with respect to the family of axis-parallel <i>squares</i> converge almost everywhere on <span>([0,1)^2)</span>. On the other hand, it is a well known result by Saks that there exist a function <span>(f in L^{1}([0,1)^2))</span> such that its integral averages with respect to the family of axis-parallel <i>rectangles</i> diverge everywhere on <span>([0,1)^2)</span>. In this paper, we address the following question: assume we have two different collections of rectangles; under which conditions does there exist a function <span>(f in L^{1}([0,1)^2))</span> so that its integral averages converge with respect to one collection and diverge with respect to another? More specifically, let <span>({varvec{C}}, {varvec{D}} subset (0,1])</span> and consider rectangles with side lengths respectively in <span>({varvec{C}})</span> and <span>({varvec{D}})</span>. We show that if the sets <span>({varvec{C}})</span> and <span>({varvec{D}})</span> occasionally become sufficiently “far” from each other, then such a function can be constructed. We also show that in the class of positive functions our condition is necessary for such a function to exist.</p></div>","PeriodicalId":46939,"journal":{"name":"ACTA SCIENTIARUM MATHEMATICARUM","volume":"91 1-2","pages":"121 - 152"},"PeriodicalIF":0.5,"publicationDate":"2024-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140749144","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-03-26DOI: 10.1007/s44146-024-00124-y
Taja Yaying, Feyzi Başar
This paper delves into the examination of algebraic and topological attributes associated with the domains (c_0(G,q)), c(G, q), and (ell _infty (G,q)) pertaining to the Lambda–Pascal matrix G in Maddox’s spaces (c_0(q)), c(q), and (ell _infty (q)), respectively. The determination of the Schauder basis and the computation of (alpha )-, (beta )-, and (gamma )-duals for these Lambda–Pascal paranormed spaces are carried out. The ultimate section is dedicated to elucidating the classification of the matrix classes ((ell _{infty }(G,q),ell _{infty })), ((ell _{infty }(G,q),f)), and ((ell _{infty }(G,q),c)), concurrently presenting the characterization of specific other sets of matrix transformations in the space (ell _{infty }(G,q)) as corollaries derived from the primary outcomes.
{"title":"A study on some paranormed sequence spaces due to Lambda–Pascal matrix","authors":"Taja Yaying, Feyzi Başar","doi":"10.1007/s44146-024-00124-y","DOIUrl":"10.1007/s44146-024-00124-y","url":null,"abstract":"<div><p>This paper delves into the examination of algebraic and topological attributes associated with the domains <span>(c_0(G,q))</span>, <i>c</i>(<i>G</i>, <i>q</i>), and <span>(ell _infty (G,q))</span> pertaining to the Lambda–Pascal matrix <i>G</i> in Maddox’s spaces <span>(c_0(q))</span>, <i>c</i>(<i>q</i>), and <span>(ell _infty (q))</span>, respectively. The determination of the Schauder basis and the computation of <span>(alpha )</span>-, <span>(beta )</span>-, and <span>(gamma )</span>-duals for these Lambda–Pascal paranormed spaces are carried out. The ultimate section is dedicated to elucidating the classification of the matrix classes <span>((ell _{infty }(G,q),ell _{infty }))</span>, <span>((ell _{infty }(G,q),f))</span>, and <span>((ell _{infty }(G,q),c))</span>, concurrently presenting the characterization of specific other sets of matrix transformations in the space <span>(ell _{infty }(G,q))</span> as corollaries derived from the primary outcomes.</p></div>","PeriodicalId":46939,"journal":{"name":"ACTA SCIENTIARUM MATHEMATICARUM","volume":"91 1-2","pages":"161 - 180"},"PeriodicalIF":0.5,"publicationDate":"2024-03-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140379456","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-03-25DOI: 10.1007/s44146-024-00112-2
Kira Adaricheva, Evan Daisy, Ayush Garg, Grace Ma, Michelle Olson, Cat Raanes, James Thompson
A convex geometry is a closure system satisfying the anti-exchange property. This paper, following the work of Adaricheva and Bolat (Discrete Math 342(N3):726–746, 2019) and the Polymath REU 2020 team (Convex geometries representable by at most 5 circles on the plane. arXiv:2008.13077), continues to investigate representations of convex geometries on a 5-element base set. It introduces several properties: the opposite property, nested triangle property, area Q property, and separation property, of convex geometries of circles on a plane, preventing this representation for numerous convex geometries on a 5-element base set. It also demonstrates that all 672 convex geometries on a 5-element base set have a representation by ellipses, as given in the appendix for those without a known representation by circles, and introduces a method of expanding representation with circles by defining unary predicates, shown as colors.
{"title":"Convex geometries representable with colors, by ellipses on the plane, and impossible by circles","authors":"Kira Adaricheva, Evan Daisy, Ayush Garg, Grace Ma, Michelle Olson, Cat Raanes, James Thompson","doi":"10.1007/s44146-024-00112-2","DOIUrl":"10.1007/s44146-024-00112-2","url":null,"abstract":"<div><p>A convex geometry is a closure system satisfying the anti-exchange property. This paper, following the work of Adaricheva and Bolat (Discrete Math 342(N3):726–746, 2019) and the Polymath REU 2020 team (Convex geometries representable by at most 5 circles on the plane. arXiv:2008.13077), continues to investigate representations of convex geometries on a 5-element base set. It introduces several properties: the opposite property, nested triangle property, area Q property, and separation property, of convex geometries of circles on a plane, preventing this representation for numerous convex geometries on a 5-element base set. It also demonstrates that all 672 convex geometries on a 5-element base set have a representation by ellipses, as given in the appendix for those without a known representation by circles, and introduces a method of expanding representation with circles by defining unary predicates, shown as colors.</p></div>","PeriodicalId":46939,"journal":{"name":"ACTA SCIENTIARUM MATHEMATICARUM","volume":"90 1-2","pages":"269 - 322"},"PeriodicalIF":0.5,"publicationDate":"2024-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s44146-024-00112-2.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142413676","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}