Pub Date : 2024-06-18DOI: 10.1007/s40840-024-01719-y
Xiaojun Huang, Qin Zhang
The Garden of Eden theorem is a fundamental result in the theory of cellular automata, which establishes a necessary and sufficient condition for the surjectivity of a cellular automaton with a finite alphabet over an amenable group. Specifically, the theorem states that such an automaton is surjective if and only if it is pre-injective, where pre-injectivity requires that any two almost equal configurations with the same image under the automaton must be equal. This paper focuses on establishing the Garden of Eden theorem over a (varphi )-cellular automaton by demonstrating both Moore theorem and Myhill theorem over (varphi )-cellular automata are true. These results have significant implications for the theoretical framework of the Garden of Eden theorem and its applicability across diverse groups or altered versions of the same group. Overall, this paper provides a more comprehensive study of (varphi )-cellular automata and extends the Garden of Eden theorem to a broader class of automata.
{"title":"The Garden of Eden Theorem over Generalized Cellular Automata","authors":"Xiaojun Huang, Qin Zhang","doi":"10.1007/s40840-024-01719-y","DOIUrl":"https://doi.org/10.1007/s40840-024-01719-y","url":null,"abstract":"<p>The Garden of Eden theorem is a fundamental result in the theory of cellular automata, which establishes a necessary and sufficient condition for the surjectivity of a cellular automaton with a finite alphabet over an amenable group. Specifically, the theorem states that such an automaton is surjective if and only if it is pre-injective, where pre-injectivity requires that any two almost equal configurations with the same image under the automaton must be equal. This paper focuses on establishing the Garden of Eden theorem over a <span>(varphi )</span>-cellular automaton by demonstrating both Moore theorem and Myhill theorem over <span>(varphi )</span>-cellular automata are true. These results have significant implications for the theoretical framework of the Garden of Eden theorem and its applicability across diverse groups or altered versions of the same group. Overall, this paper provides a more comprehensive study of <span>(varphi )</span>-cellular automata and extends the Garden of Eden theorem to a broader class of automata.</p>","PeriodicalId":50718,"journal":{"name":"Bulletin of the Malaysian Mathematical Sciences Society","volume":null,"pages":null},"PeriodicalIF":1.2,"publicationDate":"2024-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141505866","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 : 2024-06-18DOI: 10.1007/s40840-024-01717-0
Lixin Mao
Let (T=biggl (begin{matrix} R&{}0 C&{}S end{matrix}biggr )) be a formal triangular matrix ring with C a semidualizing (S, R)-bimodule. It is proven that (1) A left S-module M in Bass class is C-torsionless (resp. C-reflexive) if and only if (biggl (begin{array}{c} textrm{Hom}_{S}(C,M) M end{array}biggr )) is a torsionless (resp. reflexive) left T-module; (2) A left S-module M in Bass class is C-Gorenstein projective if and only if (biggl (begin{array}{c} textrm{Hom}_{S}(C,M) Mend{array}biggr )) is a Gorenstein projective left T-module; (3) If C is a faithfully semidualizing (S, R)-bimodule, then a left S-module M is C-n-tilting if and only if (biggl (begin{array}{c}textrm{Hom}_{S}(C,M) Soplus Mend{array}biggr )) is an n-tilting left T-module.
让(T=biggl (begin{matrix} R&{}0 C&{}S end{matrix}biggr ))是一个形式化三角形矩阵环,其中 C 是一个半双化(S,R)-二元模块。证明了 (1) 当且仅当(biggl (begin{array}{c})(2) Bass 类中的左 S 模块 M 是 C-Gorenstein 投射的,当且仅当(biggl (begin{array}{c} )是一个无扭(或者说反向)左 T 模块;(2)当且仅当(biggl (begin{array}{c} )是一个无扭(或者说反向)左 T 模块时,Bass 类中的左 S 模块 M 是 C-Gorenstein 投射的。Mend{array}biggr )是一个戈伦斯坦投影左 T 模块;(3) 如果 C 是一个忠实的半偶化(S,R)-二元模块,那么当且仅当(biggl (begin{array}{c}textrm{Hom}_{S}(C,M) Soplus Mend{array}biggr ))是一个 n-tilting 左 T 模块时,左 S 模块 M 是 C-n-tilting 的。
{"title":"A class of special formal triangular matrix rings","authors":"Lixin Mao","doi":"10.1007/s40840-024-01717-0","DOIUrl":"https://doi.org/10.1007/s40840-024-01717-0","url":null,"abstract":"<p>Let <span>(T=biggl (begin{matrix} R&{}0 C&{}S end{matrix}biggr ))</span> be a formal triangular matrix ring with <i>C</i> a semidualizing (<i>S</i>, <i>R</i>)-bimodule. It is proven that (1) A left <i>S</i>-module <i>M</i> in Bass class is <i>C</i>-torsionless (resp. <i>C</i>-reflexive) if and only if <span>(biggl (begin{array}{c} textrm{Hom}_{S}(C,M) M end{array}biggr ))</span> is a torsionless (resp. reflexive) left <i>T</i>-module; (2) A left <i>S</i>-module <i>M</i> in Bass class is <i>C</i>-Gorenstein projective if and only if <span>(biggl (begin{array}{c} textrm{Hom}_{S}(C,M) Mend{array}biggr ))</span> is a Gorenstein projective left <i>T</i>-module; (3) If <i>C</i> is a faithfully semidualizing (<i>S</i>, <i>R</i>)-bimodule, then a left <i>S</i>-module <i>M</i> is <i>C</i>-<i>n</i>-tilting if and only if <span>(biggl (begin{array}{c}textrm{Hom}_{S}(C,M) Soplus Mend{array}biggr ))</span> is an <i>n</i>-tilting left <i>T</i>-module.</p>","PeriodicalId":50718,"journal":{"name":"Bulletin of the Malaysian Mathematical Sciences Society","volume":null,"pages":null},"PeriodicalIF":1.2,"publicationDate":"2024-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141518571","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 : 2024-06-18DOI: 10.1007/s40840-024-01720-5
Yong-Shen Cao, Qi-Rong Deng, Ming-Tian Li, Sha Wu
Let ({p_n}_{nge 1}) and ({ d_n}_{nge 1}) be two sequences of integers such that (|p_n|>|d_n|>0) and ({d_n}_{nge 1}) is bounded. It is proven by Deng and Li that the Moran-type Bernoulli convolution
is a spectral measure if and only if the numbers of factor 2 in the sequence (big {frac{p_1p_2dots p_n}{2d_n}big }_{nge 1}) are different from each other. Unfortunately, there is a gap in the proof of the sufficiency. Here we give a new proof to close the gap.
{"title":"A Note on the Spectrality of Moran-Type Bernoulli Convolutions by Deng and Li","authors":"Yong-Shen Cao, Qi-Rong Deng, Ming-Tian Li, Sha Wu","doi":"10.1007/s40840-024-01720-5","DOIUrl":"https://doi.org/10.1007/s40840-024-01720-5","url":null,"abstract":"<p>Let <span>({p_n}_{nge 1})</span> and <span>({ d_n}_{nge 1})</span> be two sequences of integers such that <span>(|p_n|>|d_n|>0)</span> and <span>({d_n}_{nge 1})</span> is bounded. It is proven by Deng and Li that the Moran-type Bernoulli convolution </p><span>$$begin{aligned}mu :=delta _{p_1^{-1}{0,d_1}}*delta _{p_1^{-1}p_2^{-1}{0,d_2}}*dots *delta _{p_1^{-1}dots p_n^{-1}{0,d_n}}*dots end{aligned}$$</span><p>is a spectral measure if and only if the numbers of factor 2 in the sequence <span>(big {frac{p_1p_2dots p_n}{2d_n}big }_{nge 1})</span> are different from each other. Unfortunately, there is a gap in the proof of the sufficiency. Here we give a new proof to close the gap.</p>","PeriodicalId":50718,"journal":{"name":"Bulletin of the Malaysian Mathematical Sciences Society","volume":null,"pages":null},"PeriodicalIF":1.2,"publicationDate":"2024-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141529262","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 : 2024-06-18DOI: 10.1007/s40840-024-01724-1
Hamed Ahmed
Let (Asubseteq B) be an extension of integral domains, (B[![X]!]) be the power series ring over B, and (R=A + XB[![X]!]) be a subring of (B[![X]!].) In this paper, we give a complete description of v-invertible v-ideals (with nonzero trace in A) of R. We show that if B is a completely integrally closed domain and I is a fractional divisorial v-invertible ideal of R with nonzero trace over A, then (I = u(J_1 + XJ_2[![X]!])) for some (uin qf(R),)(J_2) an integral divisorial v-invertible ideal of B and (J_1subseteq J_2) a nonzero ideal of A.
让 (Asubseteq B) 是一个积分域的扩展,(B[![X]!]) 是关于 B 的幂级数环,并且 (R=A + XB[![X]!])是(B[![X]!].) 在本文中,我们给出了关于 R 的 v-invertible v-ideals (在 A 中的迹不为零)的完整描述。我们证明了,如果 B 是一个完全整闭域,并且 I 是 R 的一个在 A 上有非零迹线的分数可分 v-invertible 理想,那么 (I = u(J_1 + XJ_2[![X]!])) for some (uin qf(R),)(J_2/)是B的一个整除v-可逆理想,而(J_1/subseteq J_2/)是A的一个非零理想。
{"title":"Divisorial Ideals in the Power Series Ring $$A+XB[![X]!]$$","authors":"Hamed Ahmed","doi":"10.1007/s40840-024-01724-1","DOIUrl":"https://doi.org/10.1007/s40840-024-01724-1","url":null,"abstract":"<p>Let <span>(Asubseteq B)</span> be an extension of integral domains, <span>(B[![X]!])</span> be the power series ring over <i>B</i>, and <span>(R=A + XB[![X]!])</span> be a subring of <span>(B[![X]!].)</span> In this paper, we give a complete description of <i>v</i>-invertible <i>v</i>-ideals (with nonzero trace in <i>A</i>) of <i>R</i>. We show that if <i>B</i> is a completely integrally closed domain and <i>I</i> is a fractional divisorial <i>v</i>-invertible ideal of <i>R</i> with nonzero trace over <i>A</i>, then <span>(I = u(J_1 + XJ_2[![X]!]))</span> for some <span>(uin qf(R),)</span> <span>(J_2)</span> an integral divisorial <i>v</i>-invertible ideal of <i>B</i> and <span>(J_1subseteq J_2)</span> a nonzero ideal of <i>A</i>.</p>","PeriodicalId":50718,"journal":{"name":"Bulletin of the Malaysian Mathematical Sciences Society","volume":null,"pages":null},"PeriodicalIF":1.2,"publicationDate":"2024-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141518572","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 : 2024-06-18DOI: 10.1007/s40840-024-01725-0
Huihui Zhang, Hui Li
A family (Delta ) of subsets of ({1,2,ldots ,n}) is a simplicial complex if all subsets of F are in (Delta ) for any (Fin Delta ,) and the element of (Delta ) is called the face of (Delta .) Let (V(Delta )=bigcup _{Fin Delta } F.) A simplicial complex (Delta ) is a near-cone with respect to an apex vertex (vin V(Delta )) if for every face (Fin Delta ,) the set ((Fbackslash {w})cup {v}) is also a face of (Delta ) for every (win F.) Denote by (f_{i}(Delta )=|{Ain Delta :|A|=i+1}|) and (h_{i}(Delta )=|{Ain Delta :|A|=i+1,nnot in A}|) for every i, and let (text {link}_{Delta }(v)={E:Ecup {v}in Delta , vnot in E}) for every (vin V(Delta ).) Assume that p is a prime and (kgeqslant 2) is an integer. In this paper, some extremal problems on k-wise L-intersecting families for simplicial complexes are considered. (i) Let (L={l_1,l_2,ldots ,l_s}) be a subset of s nonnegative integers. If (mathscr {F}={F_1, F_2,ldots , F_m}) is a family of faces of the simplicial complex (Delta ) such that (|F_{i_1}cap F_{i_2}cap cdots cap F_{i_k}|in L) for any collection of k distinct sets from (mathscr {F},) then (mleqslant (k-1)sum _{i=-1}^{s-1}f_i(Delta ).) In addition, if the size of every member of (mathscr {F}) belongs to the set (K:={k_1,k_2,ldots ,k_r}) with (min K>s-r,) then (mleqslant (k-1)sum _{i=s-r}^{s-1}f_i(Delta ).) (ii) Let (L={l_1,l_2,ldots ,l_s}) and (K={k_1,k_2,ldots ,k_r}) be two disjoint subsets of ({0,1,ldots ,p-1}) such that (min K>s-2r+1.) Assume that (Delta ) is a simplicial complex with (nin V(Delta )) and (mathscr {F}={F_1, F_2,ldots , F_m}) is a family of faces of (Delta ) such that (|F_j|pmod {p}in K) for every j and (|F_{i_1}cap F_{i_2}cap cdots cap F_{i_k}|pmod {p}in L) for any collection of k distinct sets from (mathscr {F}.) Then (mleqslant (k-1)sum _{i=s-2r}^{s-1}h_i(Delta ).) (iii) Let (L={l_1,l_2,ldots ,l_s}) be a subset of ({0,1,ldots ,p-1}.) Assume that (Delta ) is a near-cone with apex vertex v and (mathscr {F}={F_1, F_2,ldots , F_m}) is a family of faces of (Delta ) such that (|F_j|pmod {p}not in L) for every j and (|F_{i_1}cap F_{i_2}cap cdots cap F_{i_k}|pmod {p}in L) for any collection of k distinct sets from (mathscr {F}.) Then ( mleqslant (k-1)sum _{i=-1}^{s-1}f_i(text {link}_Delta (v)).)
如果 F 的所有子集都在 (Delta )中,且 (Delta )的元素被称为 (Delta )的面,那么由 (Delta )的子集组成的族 (Delta )就是一个简单复合物。让 (V(Delta )=bigcup _{Fin Delta }.F.)如果对于每个面 (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (FDenote by (f_{i}(Delta )=|{Ain Delta :|A|=i+1/}|)和 (h_{i}(Delta )=|{Ain Delta :|A|=i+1,n notin A}||) for every i, and let (text {link}_{Delta }(v)={E:Ecup {v}in Delta , vnot in E}) for every (vin V(Delta ).)假设p是一个质数,并且(k/geqslant 2)是一个整数。本文将考虑一些关于简单复数的 k-wise L-intersecting families 的极值问题。(i) 让 (L={l_1,l_2,ldots ,l_s}) 是 s 个非负整数的子集。如果 (mathscr {F}={F_1, F_2,ldots , F_m}) 是简单复数 (Delta )的面的族,使得 (|F_{i_1}cap F_{i_2}cap cdots cap F_{i_k}|in L) 对于来自 (mathscr {F}. ) 的 k 个不同集合的任意集合、then (mleqslant (k-1)sum _{i=-1}^{s-1}f_i(Delta ).)此外,如果(mathscr {F})的每个成员的大小都属于集合(K:={k_1,k_2,ldots ,k_r})中的(min K>s-r,) 那么(mleqslant (k-1)sum _{i=s-r}^{s-1}f_i(Delta ).(ii) 让(L={l_1,l_2,ldots ,l_s})和(K={k_1,k_2,ldots ,k_r})是({0,1,ldots ,p-1})的两个不相交的子集,使得(min K>s-2r+1.假定((Delta)是一个具有(nin V((Delta))的简单复数,并且((mathscr {F}={F_1, F_2,ldots 、F_m}) 是 (Delta )的面的一个系列,使得 (|F_j|pmod {p}in K) 对于每一个 j 和 (|F_{i_1}cap F_{i_2}cap cdots cap F_{i_k}|pmod {p}in L) 对于来自 (mathscr {F} 的任何 k 个不同集合。Then (mleqslant (k-1)sum _{i=s-2r}^{s-1}h_i(Delta ).) (iii) 让 (L={l_1,l_2,ldots ,l_s}) 是 ({0,1,ldots ,p-1}.) 的一个子集。假定(△)是一个有顶点顶点 v 的近圆锥,并且({F}={F_1, F_2,ldots 、F_m}) 是 (Delta )的面的族,使得 (|F_j|pmod {p}notin L) for every j and (|F_{i_1}cap F_{i_2}cap cdots cap F_{i_k}|pmod {p}in L) for any collection of k distinct sets from (mathscr {F}.Then( mleqslant (k-1)sum _{i=-1}^{s-1}f_i(text {link}_Delta (v)).)
{"title":"On k-Wise L-Intersecting Families for Simplicial Complexes","authors":"Huihui Zhang, Hui Li","doi":"10.1007/s40840-024-01725-0","DOIUrl":"https://doi.org/10.1007/s40840-024-01725-0","url":null,"abstract":"<p>A family <span>(Delta )</span> of subsets of <span>({1,2,ldots ,n})</span> is a simplicial complex if all subsets of <i>F</i> are in <span>(Delta )</span> for any <span>(Fin Delta ,)</span> and the element of <span>(Delta )</span> is called the face of <span>(Delta .)</span> Let <span>(V(Delta )=bigcup _{Fin Delta } F.)</span> A simplicial complex <span>(Delta )</span> is a near-cone with respect to an apex vertex <span>(vin V(Delta ))</span> if for every face <span>(Fin Delta ,)</span> the set <span>((Fbackslash {w})cup {v})</span> is also a face of <span>(Delta )</span> for every <span>(win F.)</span> Denote by <span>(f_{i}(Delta )=|{Ain Delta :|A|=i+1}|)</span> and <span>(h_{i}(Delta )=|{Ain Delta :|A|=i+1,nnot in A}|)</span> for every <i>i</i>, and let <span>(text {link}_{Delta }(v)={E:Ecup {v}in Delta , vnot in E})</span> for every <span>(vin V(Delta ).)</span> Assume that <i>p</i> is a prime and <span>(kgeqslant 2)</span> is an integer. In this paper, some extremal problems on <i>k</i>-wise <i>L</i>-intersecting families for simplicial complexes are considered. (i) Let <span>(L={l_1,l_2,ldots ,l_s})</span> be a subset of <i>s</i> nonnegative integers. If <span>(mathscr {F}={F_1, F_2,ldots , F_m})</span> is a family of faces of the simplicial complex <span>(Delta )</span> such that <span>(|F_{i_1}cap F_{i_2}cap cdots cap F_{i_k}|in L)</span> for any collection of <i>k</i> distinct sets from <span>(mathscr {F},)</span> then <span>(mleqslant (k-1)sum _{i=-1}^{s-1}f_i(Delta ).)</span> In addition, if the size of every member of <span>(mathscr {F})</span> belongs to the set <span>(K:={k_1,k_2,ldots ,k_r})</span> with <span>(min K>s-r,)</span> then <span>(mleqslant (k-1)sum _{i=s-r}^{s-1}f_i(Delta ).)</span> (ii) Let <span>(L={l_1,l_2,ldots ,l_s})</span> and <span>(K={k_1,k_2,ldots ,k_r})</span> be two disjoint subsets of <span>({0,1,ldots ,p-1})</span> such that <span>(min K>s-2r+1.)</span> Assume that <span>(Delta )</span> is a simplicial complex with <span>(nin V(Delta ))</span> and <span>(mathscr {F}={F_1, F_2,ldots , F_m})</span> is a family of faces of <span>(Delta )</span> such that <span>(|F_j|pmod {p}in K)</span> for every <i>j</i> and <span>(|F_{i_1}cap F_{i_2}cap cdots cap F_{i_k}|pmod {p}in L)</span> for any collection of <i>k</i> distinct sets from <span>(mathscr {F}.)</span> Then <span>(mleqslant (k-1)sum _{i=s-2r}^{s-1}h_i(Delta ).)</span> (iii) Let <span>(L={l_1,l_2,ldots ,l_s})</span> be a subset of <span>({0,1,ldots ,p-1}.)</span> Assume that <span>(Delta )</span> is a near-cone with apex vertex <i>v</i> and <span>(mathscr {F}={F_1, F_2,ldots , F_m})</span> is a family of faces of <span>(Delta )</span> such that <span>(|F_j|pmod {p}not in L)</span> for every <i>j</i> and <span>(|F_{i_1}cap F_{i_2}cap cdots cap F_{i_k}|pmod {p}in L)</span> for any collection of <i>k</i> distinct sets from <span>(mathscr {F}.)</span> Then <span>( mleqslant (k-1)sum _{i=-1}^{s-1}f_i(text {link}_Delta (v)).)</span></p>","PeriodicalId":50718,"journal":{"name":"Bulletin of the Malaysian Mathematical Sciences Society","volume":null,"pages":null},"PeriodicalIF":1.2,"publicationDate":"2024-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141505867","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 : 2024-06-07DOI: 10.1007/s40840-024-01726-z
B. Bhowmik, Santana Majee
{"title":"Neighborhoods of Harmonic and Stable Harmonic Mappings","authors":"B. Bhowmik, Santana Majee","doi":"10.1007/s40840-024-01726-z","DOIUrl":"https://doi.org/10.1007/s40840-024-01726-z","url":null,"abstract":"","PeriodicalId":50718,"journal":{"name":"Bulletin of the Malaysian Mathematical Sciences Society","volume":null,"pages":null},"PeriodicalIF":1.2,"publicationDate":"2024-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141375625","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 : 2024-06-03DOI: 10.1007/s40840-024-01708-1
Guang-Liang Zhou, Yingchun Cai
{"title":"On a Conjecture of Petrov and Tolev Related to Chen’s Theorem","authors":"Guang-Liang Zhou, Yingchun Cai","doi":"10.1007/s40840-024-01708-1","DOIUrl":"https://doi.org/10.1007/s40840-024-01708-1","url":null,"abstract":"","PeriodicalId":50718,"journal":{"name":"Bulletin of the Malaysian Mathematical Sciences Society","volume":null,"pages":null},"PeriodicalIF":1.2,"publicationDate":"2024-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141270401","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 : 2024-05-31DOI: 10.1007/s40840-024-01721-4
Krishna Kummari, Rekha R. Jaichander, Izhar Ahmad
This manuscript demonstrates robust optimality conditions, Wolfe and Mond–Weir type robust dual models for a robust mathematical programming problem involving vanishing constraints (RMPVC). Further, the theorems of duality are examined based on the concept of generalized higher order invexity and strict invexity that establish relations between the primal and the Wolfe type robust dual problems. In addition, the duality results for a Mond–Weir type robust dual problem based on the concept of generalized higher order pseudoinvex, strict pseudoinvex and quasiinvex functions are also studied. Furthermore, numerical examples are provided to validate robust optimality conditions and duality theorems of Wolfe and Mond–Weir type dual problems.
{"title":"Robust Mathematical Programming Problems Involving Vanishing Constraints via Strongly Invex Functions","authors":"Krishna Kummari, Rekha R. Jaichander, Izhar Ahmad","doi":"10.1007/s40840-024-01721-4","DOIUrl":"https://doi.org/10.1007/s40840-024-01721-4","url":null,"abstract":"<p>This manuscript demonstrates robust optimality conditions, Wolfe and Mond–Weir type robust dual models for a robust mathematical programming problem involving vanishing constraints (RMPVC). Further, the theorems of duality are examined based on the concept of generalized higher order invexity and strict invexity that establish relations between the primal and the Wolfe type robust dual problems. In addition, the duality results for a Mond–Weir type robust dual problem based on the concept of generalized higher order pseudoinvex, strict pseudoinvex and quasiinvex functions are also studied. Furthermore, numerical examples are provided to validate robust optimality conditions and duality theorems of Wolfe and Mond–Weir type dual problems.</p>","PeriodicalId":50718,"journal":{"name":"Bulletin of the Malaysian Mathematical Sciences Society","volume":null,"pages":null},"PeriodicalIF":1.2,"publicationDate":"2024-05-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141196332","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 : 2024-05-30DOI: 10.1007/s40840-024-01698-0
Xifu Liu, Jianxing Zhao
The smallest M-eigenvalue (tau _M ({mathcal {A}})) of a fourth-order partial symmetric tensor ({mathcal {A}}) plays an important role in judging the strong ellipticity condition (abbr. SE-condition) in elastic mechanics. Specifically, if (tau _M ({mathcal {A}})>0), then the SE-condition of ({mathcal {A}}) holds. In this paper, we establish lower and upper bounds of (tau _M ({mathcal {A}})) via extreme eigenvalues of symmetric matrices and tensors constructed by the entries of ({mathcal {A}}). In addition, when ({mathcal {A}}) is an elasticity Z-tensor, we establish lower bounds for (tau _M ({mathcal {A}})) via the extreme C-eigenvalues of piezoelectric-type tensors. Finally, numerical examples show the efficiency of our proposed bounds in judging the SE-condition of ({mathcal {A}}).
四阶偏对称张量({mathcal {A}})的最小M特征值((tau _M ({mathcal {A}})>0)在判断弹性力学中的强椭圆性条件(SE-condition)时起着重要作用。具体来说,如果(tau _M ({mathcal {A}})>0),那么({mathcal {A}})的SE条件成立。在本文中,我们通过对称矩阵的极值特征值和由({mathcal {A}})条目构造的张量,建立了(tau _M ({mathcal {A}})的下界和上界。)此外,当 ({mathcal {A}}) 是弹性 Z 张量时,我们通过压电型张量的极 C 特征值建立了 (tau _M ({mathcal {A}})) 的下限。最后,数值示例显示了我们提出的边界在判断 ({mathcal {A}}) 的 SE 条件时的效率。
{"title":"Sharp Bounds for the Smallest M-eigenvalue of an Elasticity Z-tensor and Its Application","authors":"Xifu Liu, Jianxing Zhao","doi":"10.1007/s40840-024-01698-0","DOIUrl":"https://doi.org/10.1007/s40840-024-01698-0","url":null,"abstract":"<p>The smallest <i>M</i>-eigenvalue <span>(tau _M ({mathcal {A}}))</span> of a fourth-order partial symmetric tensor <span>({mathcal {A}})</span> plays an important role in judging the strong ellipticity condition (abbr. SE-condition) in elastic mechanics. Specifically, if <span>(tau _M ({mathcal {A}})>0)</span>, then the SE-condition of <span>({mathcal {A}})</span> holds. In this paper, we establish lower and upper bounds of <span>(tau _M ({mathcal {A}}))</span> via extreme eigenvalues of symmetric matrices and tensors constructed by the entries of <span>({mathcal {A}})</span>. In addition, when <span>({mathcal {A}})</span> is an elasticity <i>Z</i>-tensor, we establish lower bounds for <span>(tau _M ({mathcal {A}}))</span> via the extreme <i>C</i>-eigenvalues of piezoelectric-type tensors. Finally, numerical examples show the efficiency of our proposed bounds in judging the SE-condition of <span>({mathcal {A}})</span>.</p>","PeriodicalId":50718,"journal":{"name":"Bulletin of the Malaysian Mathematical Sciences Society","volume":null,"pages":null},"PeriodicalIF":1.2,"publicationDate":"2024-05-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141196404","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 : 2024-05-30DOI: 10.1007/s40840-024-01716-1
Ying Zhang, Lining Jiang
For (1le p<infty ), let (L_p({mathcal {M}},tau )) be the non-commutative (L_p)-space associated with a von Neumann algebra ({mathcal {M}}), where ({mathcal {M}}) admits a normal semifinite faithful trace (tau ). Using the trace (tau ), Banach duality formula and Gâteaux derivative, this paper characterizes an element (ain L_p({mathcal {M}},tau )) such that
$$begin{aligned} Vert aVert _p=inf {Vert a+bVert _p: bin {mathcal {B}}_p}, end{aligned}$$
where ({mathcal {B}}_p) is a closed linear subspace of (L_p({mathcal {M}},tau )) and (Vert cdot Vert _p) is the norm on (L_p({mathcal {M}},tau )). Such an a is called ({mathcal {B}}_p)-minimal. In particular, minimal elements related to the finite-diagonal-block type closed linear subspaces
(converging with respect to (Vert cdot Vert _p)) are considered, where ({e_i}_{i=1}^{infty }) is a sequence of mutually orthogonal and (tau )-finite projections in a (sigma )-finite von Neumann algebra ({mathcal {M}}), and ({mathcal {S}}) is the set of elements in ({mathcal {M}}) with (tau )-finite supports.
{"title":"Characterizations of Minimal Elements in a Non-commutative $$L_p$$ -Space","authors":"Ying Zhang, Lining Jiang","doi":"10.1007/s40840-024-01716-1","DOIUrl":"https://doi.org/10.1007/s40840-024-01716-1","url":null,"abstract":"<p>For <span>(1le p<infty )</span>, let <span>(L_p({mathcal {M}},tau ))</span> be the non-commutative <span>(L_p)</span>-space associated with a von Neumann algebra <span>({mathcal {M}})</span>, where <span>({mathcal {M}})</span> admits a normal semifinite faithful trace <span>(tau )</span>. Using the trace <span>(tau )</span>, Banach duality formula and Gâteaux derivative, this paper characterizes an element <span>(ain L_p({mathcal {M}},tau ))</span> such that </p><span>$$begin{aligned} Vert aVert _p=inf {Vert a+bVert _p: bin {mathcal {B}}_p}, end{aligned}$$</span><p>where <span>({mathcal {B}}_p)</span> is a closed linear subspace of <span>(L_p({mathcal {M}},tau ))</span> and <span>(Vert cdot Vert _p)</span> is the norm on <span>(L_p({mathcal {M}},tau ))</span>. Such an <i>a</i> is called <span>({mathcal {B}}_p)</span>-minimal. In particular, minimal elements related to the finite-diagonal-block type closed linear subspaces </p><span>$$begin{aligned} {mathcal {B}}_p=bigoplus limits _{i=1}^{infty } e_i {mathcal {S}} e_i end{aligned}$$</span><p>(converging with respect to <span>(Vert cdot Vert _p)</span>) are considered, where <span>({e_i}_{i=1}^{infty })</span> is a sequence of mutually orthogonal and <span>(tau )</span>-finite projections in a <span>(sigma )</span>-finite von Neumann algebra <span>({mathcal {M}})</span>, and <span>({mathcal {S}})</span> is the set of elements in <span>({mathcal {M}})</span> with <span>(tau )</span>-finite supports.</p>","PeriodicalId":50718,"journal":{"name":"Bulletin of the Malaysian Mathematical Sciences Society","volume":null,"pages":null},"PeriodicalIF":1.2,"publicationDate":"2024-05-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141196403","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}