Pub Date : 2024-10-22DOI: 10.1007/s44146-024-00165-3
Hoger Ghahramani
Let (mathcal {U}) be an algebra with center (mathcal {Z(U)}). A mapping (phi :mathcal {U}rightarrow mathcal {U}) is centralizing if (phi (a)a-aphi (a)in mathcal {Z(U)}) for all (ain mathcal {U}). We prove that any continuous centralizing linear map (phi ) on a proper (H^{*})-algebra (mathcal {U}) with (mathcal {U}=ell ^{2}(Gamma , mathcal {U}_{gamma })) ( each (mathcal {U}_{gamma }) is a minimal closed ideal of (mathcal {U})) is of the form (phi (a)=ca+mu (a)), (ain mathcal {U}), where (cin ell ^{infty }(Gamma )) and (mu :mathcal {U}rightarrow mathcal {Z(U)}) is a continuous linear map. Then we examine the automatic continuity of centralizing linear maps on Banach algebras and by using it, a characterization of proper (H^{*})-algebras based on the automatic continuity of centralizing linear maps is given.
{"title":"Centralizing linear maps of an (H^{*})-algebra","authors":"Hoger Ghahramani","doi":"10.1007/s44146-024-00165-3","DOIUrl":"10.1007/s44146-024-00165-3","url":null,"abstract":"<div><p>Let <span>(mathcal {U})</span> be an algebra with center <span>(mathcal {Z(U)})</span>. A mapping <span>(phi :mathcal {U}rightarrow mathcal {U})</span> is centralizing if <span>(phi (a)a-aphi (a)in mathcal {Z(U)})</span> for all <span>(ain mathcal {U})</span>. We prove that any continuous centralizing linear map <span>(phi )</span> on a proper <span>(H^{*})</span>-algebra <span>(mathcal {U})</span> with <span>(mathcal {U}=ell ^{2}(Gamma , mathcal {U}_{gamma }))</span> ( each <span>(mathcal {U}_{gamma })</span> is a minimal closed ideal of <span>(mathcal {U})</span>) is of the form <span>(phi (a)=ca+mu (a))</span>, <span>(ain mathcal {U})</span>, where <span>(cin ell ^{infty }(Gamma ))</span> and <span>(mu :mathcal {U}rightarrow mathcal {Z(U)})</span> is a continuous linear map. Then we examine the automatic continuity of centralizing linear maps on Banach algebras and by using it, a characterization of proper <span>(H^{*})</span>-algebras based on the automatic continuity of centralizing linear maps is given.</p></div>","PeriodicalId":46939,"journal":{"name":"ACTA SCIENTIARUM MATHEMATICARUM","volume":"91 3-4","pages":"591 - 599"},"PeriodicalIF":0.6,"publicationDate":"2024-10-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145675739","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-10-07DOI: 10.1007/s44146-024-00162-6
Maria F. Gamal’
A criterion on the similarity of a (bounded, linear) operator T on a (complex, separable) Hilbert space ({mathcal {H}}) to a contraction of class (C_{cdot 0}) with finite unequal defects is given in terms of shift-type invariant subspaces of T. Namely, T is similar to such a contraction if and only if there exists a finite collection of (closed) invariant subspaces ({mathcal {M}}) of T such that the restriction (T|_{{mathcal {M}}}) of T on (mathcal M) is similar to the simple unilateral shift and the linear span of these subspaces ({mathcal {M}}) is ({mathcal {H}}). A sufficient condition for the similarity of an absolutely continuous polynomially bounded operator T to a contraction of class (C_{cdot 0}) with finite equal defects is given. Namely, T is similar to such a contraction if the (spectral) multiplicity of T is finite and (B(T)=mathbb O), where B is a finite product of Blaschke products with simple zeros satisfying the Carleson interpolating condition (a Carleson–Newman product).
{"title":"On similarity to contractions of class (C_{cdot 0}) with finite defects","authors":"Maria F. Gamal’","doi":"10.1007/s44146-024-00162-6","DOIUrl":"10.1007/s44146-024-00162-6","url":null,"abstract":"<div><p>A criterion on the similarity of a (bounded, linear) operator <i>T</i> on a (complex, separable) Hilbert space <span>({mathcal {H}})</span> to a contraction of class <span>(C_{cdot 0})</span> with finite unequal defects is given in terms of shift-type invariant subspaces of <i>T</i>. Namely, <i>T</i> is similar to such a contraction if and only if there exists a finite collection of (closed) invariant subspaces <span>({mathcal {M}})</span> of <i>T</i> such that the restriction <span>(T|_{{mathcal {M}}})</span> of <i>T</i> on <span>(mathcal M)</span> is similar to the simple unilateral shift and the linear span of these subspaces <span>({mathcal {M}})</span> is <span>({mathcal {H}})</span>. A sufficient condition for the similarity of an absolutely continuous polynomially bounded operator <i>T</i> to a contraction of class <span>(C_{cdot 0})</span> with finite equal defects is given. Namely, <i>T</i> is similar to such a contraction if the (spectral) multiplicity of <i>T</i> is finite and <span>(B(T)=mathbb O)</span>, where <i>B</i> is a finite product of Blaschke products with simple zeros satisfying the Carleson interpolating condition (a Carleson–Newman product).</p></div>","PeriodicalId":46939,"journal":{"name":"ACTA SCIENTIARUM MATHEMATICARUM","volume":"91 3-4","pages":"473 - 487"},"PeriodicalIF":0.6,"publicationDate":"2024-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145675594","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-09-23DOI: 10.1007/s44146-024-00157-3
Kornélia Ficzere, Ágota Figula
We determine systems of the first order ordinary differential equations such that their group of symmetries contains a three-dimensional Lie subgroup G. We represent the basis vectors of the Lie algebra (mathfrak {g}) of G by vector fields in the three-dimensional real space. Two cases are distinguished according to whether the infinitesimal generators of (mathfrak {g}) do not contain any component or contain component with respect to the independent variable of the system.
{"title":"Systems of first order ordinary differential equations allowing a given 3-dimensional Lie group as a subgroup of their symmetry group","authors":"Kornélia Ficzere, Ágota Figula","doi":"10.1007/s44146-024-00157-3","DOIUrl":"10.1007/s44146-024-00157-3","url":null,"abstract":"<div><p>We determine systems of the first order ordinary differential equations such that their group of symmetries contains a three-dimensional Lie subgroup <i>G</i>. We represent the basis vectors of the Lie algebra <span>(mathfrak {g})</span> of <i>G</i> by vector fields in the three-dimensional real space. Two cases are distinguished according to whether the infinitesimal generators of <span>(mathfrak {g})</span> do not contain any component or contain component with respect to the independent variable of the system.</p></div>","PeriodicalId":46939,"journal":{"name":"ACTA SCIENTIARUM MATHEMATICARUM","volume":"91 1-2","pages":"57 - 82"},"PeriodicalIF":0.5,"publicationDate":"2024-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s44146-024-00157-3.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143938674","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-09-23DOI: 10.1007/s44146-024-00161-7
Sami Hamid, Carl Pearcy
This paper is a sequel to Jung (Bull Aust Math Soc 97: 133–140, 2018) that was originally written concurrently with Jung (Bull Aust Math Soc 97: 133–140, 2018). In that paper we transferred the discussions in Androulakis (Int Eq Op Th 65: 473–484, 2009) and Popov (J Funct Anal 265: 257–265, 2013) concerning almost invariant half-spaces for operators on complex Banach spaces to the context of operators on Hilbert space, and we gave slightly simpler proofs of the main results in Androulakis (Int Eq Op Th 65: 473–484, 2009) and Popov (J Funct Anal 265: 257–265, 2013) in that context. In the present paper we discuss a consequence of the main construction in Jung (Bull Aust Math Soc 97: 133–140, 2018) for the restriction to a half-space of a certain large class of operators on Hilbert space.
本文是Jung (Bull Aust Math Soc 97: 133-140, 2018)的续集,最初与Jung (Bull Aust Math Soc 97: 133-140, 2018)同时撰写。在这篇论文中,我们将Androulakis (Int Eq Op Th 65: 473-484, 2009)和Popov (J Funct Anal 265: 257-265, 2013)关于复Banach空间上算子的几乎不变半空间的讨论转移到Hilbert空间上的算子的背景下,并且我们给出了Androulakis (Int Eq Op Th 65: 473-484, 2009)和Popov (J Funct Anal 265: 257-265, 2013)在该背景下的主要结果的稍微简单的证明。在本文中,我们讨论了Jung (Bull Aust Math Soc 97: 133-140, 2018)的主要构造对Hilbert空间上某一大类算子的半空间的限制的一个结果。
{"title":"On restrictions of operators on Hilbert space to a half-space","authors":"Sami Hamid, Carl Pearcy","doi":"10.1007/s44146-024-00161-7","DOIUrl":"10.1007/s44146-024-00161-7","url":null,"abstract":"<div><p>This paper is a sequel to Jung (Bull Aust Math Soc 97: 133–140, 2018) that was originally written concurrently with Jung (Bull Aust Math Soc 97: 133–140, 2018). In that paper we transferred the discussions in Androulakis (Int Eq Op Th 65: 473–484, 2009) and Popov (J Funct Anal 265: 257–265, 2013) concerning almost invariant half-spaces for operators on complex Banach spaces to the context of operators on Hilbert space, and we gave slightly simpler proofs of the main results in Androulakis (Int Eq Op Th 65: 473–484, 2009) and Popov (J Funct Anal 265: 257–265, 2013) in that context. In the present paper we discuss a consequence of the main construction in Jung (Bull Aust Math Soc 97: 133–140, 2018) for the restriction to a half-space of a certain large class of operators on Hilbert space.</p></div>","PeriodicalId":46939,"journal":{"name":"ACTA SCIENTIARUM MATHEMATICARUM","volume":"91 1-2","pages":"219 - 225"},"PeriodicalIF":0.5,"publicationDate":"2024-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143938675","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-09-16DOI: 10.1007/s44146-024-00159-1
Pintu Bhunia
We obtain various upper bounds for the numerical radius w(T) of a bounded linear operator T defined on a complex Hilbert space (mathcal {H}), by developing the upper bounds for the (alpha )-norm of T, which is defined as (Vert TVert _{alpha }= sup left{ sqrt{alpha |langle Tx,x rangle |^2+ (1-alpha )Vert TxVert ^2 }: xin mathcal {H}, Vert xVert =1 right} ) for ( 0le alpha le 1 ). Further, we prove that
$$begin{aligned} w(T)le & sqrt{Big ( left| alpha |T|+(1-alpha )|T^*| right| Big ) Vert TVert } ,,,, le ,, ,, Vert TVert , ,, forall alpha in [0,1]. end{aligned}$$
For (0le alpha le 1 le beta ,) the operator T is called ((alpha ,beta ))-normal if (alpha ^2 T^*Tle TT^*le beta ^2 T^*T) holds. Note that every invertible operator is an ((alpha ,beta ))-normal operator for suitable values of (alpha ) and (beta ). Among other lower bounds for the numerical radius of an ((alpha ,beta ))-normal operator T, we show that
$$begin{aligned} w(T)ge & sqrt{max left{ 1+alpha ^2, 1+frac{1}{beta ^2}right} frac{Vert TVert ^2}{4}+ frac{left| Vert Re (T)Vert ^2-Vert Im (T)Vert ^2 right| }{2}} ge & max left{ sqrt{1+alpha ^2}, sqrt{1+frac{1}{beta ^2}} right} frac{Vert TVert }{2} > frac{Vert TVert }{2}, end{aligned}$$
where (Re (T)) and (Im (T)) are the real part and imaginary part of T, respectively.
通过开发T的(alpha )范数的上界,我们得到了定义在复希尔伯特空间(mathcal {H})上的有界线性算子T的数值半径w(T)的各种上界,它被定义为( 0le alpha le 1 )的(Vert TVert _{alpha }= sup left{ sqrt{alpha |langle Tx,x rangle |^2+ (1-alpha )Vert TxVert ^2 }: xin mathcal {H}, Vert xVert =1 right} )。进一步,我们证明$$begin{aligned} w(T)le & sqrt{Big ( left| alpha |T|+(1-alpha )|T^*| right| Big ) Vert TVert } ,,,, le ,, ,, Vert TVert , ,, forall alpha in [0,1]. end{aligned}$$对于(0le alpha le 1 le beta ,),如果(alpha ^2 T^*Tle TT^*le beta ^2 T^*T)成立,则算子T称为((alpha ,beta )) -正常。注意,对于(alpha )和(beta )的合适值,每个可逆算子都是((alpha ,beta )) -正常算子。在((alpha ,beta )) -正规算子T的数值半径的其他下界中,我们表明$$begin{aligned} w(T)ge & sqrt{max left{ 1+alpha ^2, 1+frac{1}{beta ^2}right} frac{Vert TVert ^2}{4}+ frac{left| Vert Re (T)Vert ^2-Vert Im (T)Vert ^2 right| }{2}} ge & max left{ sqrt{1+alpha ^2}, sqrt{1+frac{1}{beta ^2}} right} frac{Vert TVert }{2} > frac{Vert TVert }{2}, end{aligned}$$,其中(Re (T))和(Im (T))分别是T的实部和虚部。
{"title":"Numerical radius inequalities of bounded linear operators and ((alpha ,beta ))-normal operators","authors":"Pintu Bhunia","doi":"10.1007/s44146-024-00159-1","DOIUrl":"10.1007/s44146-024-00159-1","url":null,"abstract":"<div><p>We obtain various upper bounds for the numerical radius <i>w</i>(<i>T</i>) of a bounded linear operator <i>T</i> defined on a complex Hilbert space <span>(mathcal {H})</span>, by developing the upper bounds for the <span>(alpha )</span>-norm of <i>T</i>, which is defined as <span>(Vert TVert _{alpha }= sup left{ sqrt{alpha |langle Tx,x rangle |^2+ (1-alpha )Vert TxVert ^2 }: xin mathcal {H}, Vert xVert =1 right} )</span> for <span>( 0le alpha le 1 )</span>. Further, we prove that </p><div><div><span>$$begin{aligned} w(T)le & sqrt{Big ( left| alpha |T|+(1-alpha )|T^*| right| Big ) Vert TVert } ,,,, le ,, ,, Vert TVert , ,, forall alpha in [0,1]. end{aligned}$$</span></div></div><p>For <span>(0le alpha le 1 le beta ,)</span> the operator <i>T</i> is called <span>((alpha ,beta ))</span>-normal if <span>(alpha ^2 T^*Tle TT^*le beta ^2 T^*T)</span> holds. Note that every invertible operator is an <span>((alpha ,beta ))</span>-normal operator for suitable values of <span>(alpha )</span> and <span>(beta )</span>. Among other lower bounds for the numerical radius of an <span>((alpha ,beta ))</span>-normal operator <i>T</i>, we show that </p><div><div><span>$$begin{aligned} w(T)ge & sqrt{max left{ 1+alpha ^2, 1+frac{1}{beta ^2}right} frac{Vert TVert ^2}{4}+ frac{left| Vert Re (T)Vert ^2-Vert Im (T)Vert ^2 right| }{2}} ge & max left{ sqrt{1+alpha ^2}, sqrt{1+frac{1}{beta ^2}} right} frac{Vert TVert }{2} > frac{Vert TVert }{2}, end{aligned}$$</span></div></div><p>where <span>(Re (T))</span> and <span>(Im (T))</span> are the real part and imaginary part of <i>T</i>, respectively.</p></div>","PeriodicalId":46939,"journal":{"name":"ACTA SCIENTIARUM MATHEMATICARUM","volume":"91 3-4","pages":"489 - 500"},"PeriodicalIF":0.6,"publicationDate":"2024-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145675656","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-09-04DOI: 10.1007/s44146-024-00155-5
Dario A. Bini, Bruno Iannazzo
Algorithms for the computation of the (weighted) geometric mean G of two positive definite matrices are described and discussed. For large and sparse matrices the problem of computing the product (y=Gb), and of solving the linear system (Gx=b), without forming G, is addressed. An analysis of the conditioning is provided. Substantial numerical experimentation is carried out to test and compare the performances of these algorithms in terms of CPU time, numerical stability, and number of iterative steps.
{"title":"Computational aspects of the geometric mean of two matrices: a survey","authors":"Dario A. Bini, Bruno Iannazzo","doi":"10.1007/s44146-024-00155-5","DOIUrl":"10.1007/s44146-024-00155-5","url":null,"abstract":"<div><p>Algorithms for the computation of the (weighted) geometric mean <i>G</i> of two positive definite matrices are described and discussed. For large and sparse matrices the problem of computing the product <span>(y=Gb)</span>, and of solving the linear system <span>(Gx=b)</span>, without forming <i>G</i>, is addressed. An analysis of the conditioning is provided. Substantial numerical experimentation is carried out to test and compare the performances of these algorithms in terms of CPU time, numerical stability, and number of iterative steps.</p></div>","PeriodicalId":46939,"journal":{"name":"ACTA SCIENTIARUM MATHEMATICARUM","volume":"90 3-4","pages":"349 - 389"},"PeriodicalIF":0.5,"publicationDate":"2024-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s44146-024-00155-5.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142826234","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-08-25DOI: 10.1007/s44146-024-00158-2
Abdellatif Bourhim, Mostafa Mbekhta
Let (mathscr {L}({mathscr {H}})) be the algebra of all bounded linear operators acting on an infinite-dimensional complex Hilbert space ({mathscr {H}}), and denote by (gamma (T)) the reduced minimum modulus of any operator (Tin mathscr {L}({mathscr {H}})). We obtain the form of all bijective linear maps (Phi ) on (mathscr {L}({mathscr {H}})) for which (gamma (Phi (T))=gamma (Phi (S))) whenever (T,~Sin mathscr {L}({mathscr {H}})) are two operators equivalent by unitaries. We also obtain similar results when the reduced minimum modulus is replaced by the minimum modulus or the surjectivity modulus.
{"title":"Unitary equivalence and reduced minimum modulus preservers","authors":"Abdellatif Bourhim, Mostafa Mbekhta","doi":"10.1007/s44146-024-00158-2","DOIUrl":"10.1007/s44146-024-00158-2","url":null,"abstract":"<div><p>Let <span>(mathscr {L}({mathscr {H}}))</span> be the algebra of all bounded linear operators acting on an infinite-dimensional complex Hilbert space <span>({mathscr {H}})</span>, and denote by <span>(gamma (T))</span> the reduced minimum modulus of any operator <span>(Tin mathscr {L}({mathscr {H}}))</span>. We obtain the form of all bijective linear maps <span>(Phi )</span> on <span>(mathscr {L}({mathscr {H}}))</span> for which <span>(gamma (Phi (T))=gamma (Phi (S)))</span> whenever <span>(T,~Sin mathscr {L}({mathscr {H}}))</span> are two operators equivalent by unitaries. We also obtain similar results when the reduced minimum modulus is replaced by the minimum modulus or the surjectivity modulus.</p></div>","PeriodicalId":46939,"journal":{"name":"ACTA SCIENTIARUM MATHEMATICARUM","volume":"91 3-4","pages":"461 - 471"},"PeriodicalIF":0.6,"publicationDate":"2024-08-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145675662","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-08-14DOI: 10.1007/s44146-024-00156-4
S. Sadiq Basha
The purpose of this article is to prove fixed point theorems for new classes of acyclic mappings known as almost acyclic contractions and utmost acyclic contractions in the framework of a uniformly convex Banach space. Further, it is interesting to observe that a best proximity point theorem for cyclic contractions is elicited as an application of one of the fixed point theorems.
{"title":"Fixed point theorems for almost and utmost acyclic contractions","authors":"S. Sadiq Basha","doi":"10.1007/s44146-024-00156-4","DOIUrl":"10.1007/s44146-024-00156-4","url":null,"abstract":"<div><p>The purpose of this article is to prove fixed point theorems for new classes of acyclic mappings known as almost acyclic contractions and utmost acyclic contractions in the framework of a uniformly convex Banach space. Further, it is interesting to observe that a best proximity point theorem for cyclic contractions is elicited as an application of one of the fixed point theorems.</p></div>","PeriodicalId":46939,"journal":{"name":"ACTA SCIENTIARUM MATHEMATICARUM","volume":"91 1-2","pages":"83 - 93"},"PeriodicalIF":0.5,"publicationDate":"2024-08-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143938272","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}
The geometry of the Birkhoff polytope, i.e., the compact convex set of all (n times n) doubly stochastic matrices, has been an active subject of research. While its faces, edges and facets as well as its volume have been intensely studied, other geometric characteristics such as the center and radius were left off, despite their natural uses in some areas of mathematics. In this paper, we completely characterize the Chebyshev center and the Chebyshev radius of the Birkhoff polytope associated with the metrics induced by the operator (ell ^p_n)-norms for the range (1 le p le infty ).
Birkhoff多面体的几何性质,即所有的紧凸集 (n times n) 双随机矩阵,一直是一个活跃的研究课题。尽管人们对它的面、边、面以及体积进行了深入的研究,但其他的几何特征,如中心和半径,却被忽略了,尽管它们在某些数学领域有天然的用途。在本文中,我们完整地刻画了与算子诱导的度量相关的Birkhoff多面体的Chebyshev中心和Chebyshev半径 (ell ^p_n)-范围的规范 (1 le p le infty ).
{"title":"On the geometry of the Birkhoff polytope I: the operator (ell ^p_n)-norms","authors":"Ludovick Bouthat, Javad Mashreghi, Frédéric Morneau-Guérin","doi":"10.1007/s44146-024-00152-8","DOIUrl":"10.1007/s44146-024-00152-8","url":null,"abstract":"<div><p>The geometry of the Birkhoff polytope, i.e., the compact convex set of all <span>(n times n)</span> doubly stochastic matrices, has been an active subject of research. While its faces, edges and facets as well as its volume have been intensely studied, other geometric characteristics such as the center and radius were left off, despite their natural uses in some areas of mathematics. In this paper, we completely characterize the Chebyshev center and the Chebyshev radius of the Birkhoff polytope associated with the metrics induced by the operator <span>(ell ^p_n)</span>-norms for the range <span>(1 le p le infty )</span>.</p></div>","PeriodicalId":46939,"journal":{"name":"ACTA SCIENTIARUM MATHEMATICARUM","volume":"91 1-2","pages":"227 - 245"},"PeriodicalIF":0.5,"publicationDate":"2024-07-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141819366","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}
In the first of this series of two articles, we studied some geometrical aspects of the Birkhoff polytope, the compact convex set of all (n times n) doubly stochastic matrices, namely the Chebyshev center, and the Chebyshev radius of the Birkhoff polytope associated with metrics induced by the operator norms from (ell _n^p) to (ell _n^p) for (1 le p le infty ). In the present paper, we take another look at those very questions, but for a different family of matrix norms, namely the Schatten p-norms, for (1 le p < infty ). While studying these properties, the intrinsic connection to the minimal trace, which naturally appears in the assignment problem, is also established.
在本系列两篇文章的第一篇中,我们研究了Birkhoff多面体的一些几何方面,所有(n times n)双随机矩阵的紧凸集,即Chebyshev中心,以及与(1 le p le infty )从(ell _n^p)到(ell _n^p)的算子范数诱导的度量相关的Birkhoff多面体的Chebyshev半径。在本文中,我们对这些问题进行了另一种审视,但是对于(1 le p < infty )的另一类矩阵范数,即Schatten p-范数。在研究这些性质的同时,也建立了与分配问题中自然出现的最小迹线的内在联系。
{"title":"On the geometry of the Birkhoff polytope II: the Schatten p-norms","authors":"Ludovick Bouthat, Javad Mashreghi, Frédéric Morneau-Guérin","doi":"10.1007/s44146-024-00153-7","DOIUrl":"10.1007/s44146-024-00153-7","url":null,"abstract":"<div><p>In the first of this series of two articles, we studied some geometrical aspects of the Birkhoff polytope, the compact convex set of all <span>(n times n)</span> doubly stochastic matrices, namely the Chebyshev center, and the Chebyshev radius of the Birkhoff polytope associated with metrics induced by the operator norms from <span>(ell _n^p)</span> to <span>(ell _n^p)</span> for <span>(1 le p le infty )</span>. In the present paper, we take another look at those very questions, but for a different family of matrix norms, namely the Schatten <i>p</i>-norms, for <span>(1 le p < infty )</span>. While studying these properties, the intrinsic connection to the minimal trace, which naturally appears in the assignment problem, is also established.</p></div>","PeriodicalId":46939,"journal":{"name":"ACTA SCIENTIARUM MATHEMATICARUM","volume":"91 3-4","pages":"401 - 419"},"PeriodicalIF":0.6,"publicationDate":"2024-07-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141827571","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}