<p>Two (real or complex) <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_441_Article_IEq1.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="49" /> </InlineMediaObject> <EquationSource Format="TEX">\(m \times n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>m</mi> <mo>×</mo> <mi>n</mi> </mrow> </math></EquationSource> </InlineEquation> matrices <i>A</i> and <i>B</i> are called <i>parallel</i> (respectively, <i>triangle equality attaining</i>, abbreviated <b>TEA</b>) if <Equation ID="Equ20"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_441_Article_Equ20.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="182" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} \Vert A + \mu B\Vert = \Vert A\Vert + \Vert B\Vert \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mo stretchy="false">‖</mo> <mi>A</mi> <mo>+</mo> <mi>μ</mi> <mi>B</mi> <mo stretchy="false">‖</mo> <mo>=</mo> <mo stretchy="false">‖</mo> <mi>A</mi> <mo stretchy="false">‖</mo> <mo>+</mo> <mo stretchy="false">‖</mo> <mi>B</mi> <mo stretchy="false">‖</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>holds for some scalar <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_441_Article_IEq2.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mu \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>μ</mi> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_441_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="52" /> </InlineMediaObject> <EquationSource Format="TEX">\(|\mu | = 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">|</mo> <mi>μ</mi> <mo stretchy="false">|</mo> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> (respectively, <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_441_Article_IEq4.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mu = 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>μ</mi> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>), where <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_441_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="36" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Vert \cdot \Vert \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">‖</mo> <mo>·</mo> <mo stretchy="false">‖</mo> </mrow> </math></EquationSource> </InlineEquation> denotes the spectral norm. We investigate linear maps <i>T</i> acting on <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_441_Article_IEq1.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="49" /> </InlineMediaObject> <EquationSource Format="TEX">\(m \times n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>m</mi> <mo>×</mo> <mi>n</mi> </mrow> </math></EquationSource> </InlineEquation> matrices that preserve parallel (resp. TEA) pairs, meaning <i>T</i>(<i>A</i>) and <i>T</i>(<i>B</i>) remain parallel (resp. TEA) whenever <i>A</i> and <i>B</i> are parallel (resp. TEA). When <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_441_Article_IEq7.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="65" /> </InlineMediaObject> <EquationSource Format="TEX">\(m,n \ge 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>m</mi> <mo>,</mo> <mi>n</mi> <mo>≥</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_441_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="104" /> </InlineMediaObject> <EquationSource Format="TEX">\((m,n) \ne (2,2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>m</mi> <mo>,</mo> <mi>n</mi> <mo stretchy="false">)</mo> <mo>≠</mo> <mo stretchy="false">(</mo> <mn>2</mn> <mo>,</mo> <mn>2</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, we show that a nonzero linear map <i>T</i> preserves TEA pairs if and only if <i>T</i> is a positive scalar multiple of a linear isometry. Specifically, <i>T</i> must take one of the following forms: <OrderedList> <ListItem> <ItemNumber>(1)</ItemNumber> <ItemContent> <p><InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_441_Article_IEq9.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="89" /> </InlineMediaObject> <EquationSource Format="TEX">\(A \mapsto \gamma UAV\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>A</mi> <mo>↦</mo> <mi>γ</mi> <mi>U</mi> <mi>A</mi> <mi>V</mi> </mrow> </math></EquationSource> </InlineEquation>, &#xa0;&#xa0;&#xa0;or</p> </ItemContent> </ListItem> <ListItem> <ItemNumber>(2)</ItemNumber> <ItemContent> <p><InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_441_Article_IEq10.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="95" /> </InlineMediaObject> <EquationSource Format="TEX">\(A \mapsto \gamma UA^{{\textrm{t}}} V\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>A</mi> <mo>↦</mo> <mi>γ</mi> <mi>U</mi> <msup> <mi>A</mi> <mtext>t</mtext> </msup> <mi>V</mi> </mrow> </math></EquationSource> </InlineEquation> &#xa0;&#xa0;&#xa0;(with <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_441_Article_IEq11.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\(m = n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>m</mi> <mo>=</mo> <mi>n</mi> </mrow> </math></EquationSource> </InlineEquation> in this case),</p> </ItemContent> </ListItem> </OrderedList> where <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_441_Article_IEq12.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(\gamma &gt; 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>γ</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> is a scalar and <i>U</i>, <i>V</i> are unitary (or real orthogonal) matrices of appropriate sizes. For parallel pairs, the preserving maps include the above forms along with <OrderedList> <ListItem> <ItemNumber>(3)</ItemNumber> <ItemContent> <p><InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_441_Article_IEq13.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="91" /> </InlineMediaObject> <EquationSource Format="TEX">\(A \mapsto f(A) Z\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>A</mi> <mo>↦</mo> <mi>f</mi> <mo stretchy="false">(</mo> <mi>A</mi> <mo stretchy="false">)</mo> <mi>Z</mi> </mrow> </math></EquationSource> </InlineEquation>,</p> </ItemContent> </ListItem> </OrderedList> where <i>f</i> is a linear functional and <i>Z</i> is a fixed matrix. The <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_441_Article_IEq14.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="39" /> </InlineMediaObject> <EquationSource Format="TEX">\(2 \times 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>2</mn> <mo>×</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> case exhibits richer structure: there exist linear maps preserving parallel or TEA pairs that do not conform to (1), (2), or (3). A complete classification of such maps is established using intricate matrix-theoretic computations and techniques from matrix group theory.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Linear maps on matrices preserving parallel pairs

  • Chi-Kwong Li,
  • Ming-Cheng Tsai,
  • Ya-Shu Wang,
  • Ngai-Ching Wong

摘要

Two (real or complex) \(m \times n\) m × n matrices A and B are called parallel (respectively, triangle equality attaining, abbreviated TEA) if \(\begin{aligned} \Vert A + \mu B\Vert = \Vert A\Vert + \Vert B\Vert \end{aligned}\) A + μ B = A + B holds for some scalar \(\mu \) μ with \(|\mu | = 1\) | μ | = 1 (respectively, \(\mu = 1\) μ = 1 ), where \(\Vert \cdot \Vert \) · denotes the spectral norm. We investigate linear maps T acting on \(m \times n\) m × n matrices that preserve parallel (resp. TEA) pairs, meaning T(A) and T(B) remain parallel (resp. TEA) whenever A and B are parallel (resp. TEA). When \(m,n \ge 2\) m , n 2 and \((m,n) \ne (2,2)\) ( m , n ) ( 2 , 2 ) , we show that a nonzero linear map T preserves TEA pairs if and only if T is a positive scalar multiple of a linear isometry. Specifically, T must take one of the following forms: (1)

\(A \mapsto \gamma UAV\) A γ U A V ,    or

(2)

\(A \mapsto \gamma UA^{{\textrm{t}}} V\) A γ U A t V    (with \(m = n\) m = n in this case),

where \(\gamma > 0\) γ > 0 is a scalar and U, V are unitary (or real orthogonal) matrices of appropriate sizes. For parallel pairs, the preserving maps include the above forms along with (3)

\(A \mapsto f(A) Z\) A f ( A ) Z ,

where f is a linear functional and Z is a fixed matrix. The \(2 \times 2\) 2 × 2 case exhibits richer structure: there exist linear maps preserving parallel or TEA pairs that do not conform to (1), (2), or (3). A complete classification of such maps is established using intricate matrix-theoretic computations and techniques from matrix group theory.