Unitarily equivariant, linear, Hermitian maps on matrix algebras Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)The Matrix of a Linear MappingMonotonicity of $log det R(d_i, d_j)$Hermitian Matrix Unitarily DiagonalizableGeneration of rank-$2$ matrices from a dictionary of rank-$1$ matrices.Criterion on diagonally similar unitary matricesLinear maps preserving the determinant and HermiticityIntuition: Example of a transpose matrix representing a dual mapCharacterizing families of $p^2$ orthogonal $p times p$ unitaries?A linear combination of the set $ bf A,bf A^T$Halmos Finite-Dimensional Vector Spaces: Does $mathcalP$ over $mathbbC$ with $x(t) = x(1 - t)$ form a vector space?
Book where humans were engineered with genes from animal species to survive hostile planets
Denied boarding although I have proper visa and documentation. To whom should I make a complaint?
porting install scripts : can rpm replace apt?
Short Story with Cinderella as a Voo-doo Witch
3 doors, three guards, one stone
How do I keep my slimes from escaping their pens?
Overriding an object in memory with placement new
51k Euros annually for a family of 4 in Berlin: Is it enough?
Why was the term "discrete" used in discrete logarithm?
What is the meaning of the new sigil in Game of Thrones Season 8 intro?
What is a non-alternating simple group with big order, but relatively few conjugacy classes?
Generate an RGB colour grid
Why are Kinder Surprise Eggs illegal in the USA?
English words in a non-english sci-fi novel
What does an IRS interview request entail when called in to verify expenses for a sole proprietor small business?
Can an alien society believe that their star system is the universe?
How do I stop a creek from eroding my steep embankment?
Is there a problem creating Diff Backups every hour instead of Logs and DIffs?
What's the meaning of 間時肆拾貳 at a car parking sign
Identifying polygons that intersect with another layer using QGIS?
What is Arya's weapon design?
How to align text above triangle figure
Why do people hide their license plates in the EU?
Is it ethical to give a final exam after the professor has quit before teaching the remaining chapters of the course?
Unitarily equivariant, linear, Hermitian maps on matrix algebras
Announcing the arrival of Valued Associate #679: Cesar Manara
Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)The Matrix of a Linear MappingMonotonicity of $log det R(d_i, d_j)$Hermitian Matrix Unitarily DiagonalizableGeneration of rank-$2$ matrices from a dictionary of rank-$1$ matrices.Criterion on diagonally similar unitary matricesLinear maps preserving the determinant and HermiticityIntuition: Example of a transpose matrix representing a dual mapCharacterizing families of $p^2$ orthogonal $p times p$ unitaries?A linear combination of the set $ bf A,bf A^T$Halmos Finite-Dimensional Vector Spaces: Does $mathcalP$ over $mathbbC$ with $x(t) = x(1 - t)$ form a vector space?
$begingroup$
I realized my question was not well-posed, hence I proceeded to rewrite it from scratch.
Denote by $mathcalM_n(mathbbC)$ the $C^*$-algebra of complex matrices.
Let $LcolonmathcalM_n(mathbbC)longrightarrowmathcalM_n(mathbbC)$ be a linear map such that $L(mathbfA^dagger)=(L(mathbfA))^dagger$ for every $mathbfAinmathcalM_n(mathbbC)$, where $dagger$ is the standard involution on $mathcalM_n(mathbbC)$ given by taking the conjugate transpose.
Now, assume that $L$ is unitarily equivariant, that is, assume that
$$
L(mathbfU,A,U^dagger),=,mathbfU,L(mathbfA),mathbfU^dagger
$$
for all $mathbfAinmathcalM_n(mathbbC)$ and for every unitary matrix $mathbfUinmathcalM_n(mathbbC)$ (i.e., $mathbf,U^dagger=mathbbI$ where $mathbbI$ is the identity matrix).
Clearly, $L(mathbfA)=alphamathbfA$ with $alphainmathbbR$ is a linear map satisfying all these assumptions, but I would like to know if there are other non-trivial maps satisfying all these assumptions.
Any advice/suggestion/comment/solution is highly appreciated.
linear-algebra matrices linear-transformations c-star-algebras
$endgroup$
add a comment |
$begingroup$
I realized my question was not well-posed, hence I proceeded to rewrite it from scratch.
Denote by $mathcalM_n(mathbbC)$ the $C^*$-algebra of complex matrices.
Let $LcolonmathcalM_n(mathbbC)longrightarrowmathcalM_n(mathbbC)$ be a linear map such that $L(mathbfA^dagger)=(L(mathbfA))^dagger$ for every $mathbfAinmathcalM_n(mathbbC)$, where $dagger$ is the standard involution on $mathcalM_n(mathbbC)$ given by taking the conjugate transpose.
Now, assume that $L$ is unitarily equivariant, that is, assume that
$$
L(mathbfU,A,U^dagger),=,mathbfU,L(mathbfA),mathbfU^dagger
$$
for all $mathbfAinmathcalM_n(mathbbC)$ and for every unitary matrix $mathbfUinmathcalM_n(mathbbC)$ (i.e., $mathbf,U^dagger=mathbbI$ where $mathbbI$ is the identity matrix).
Clearly, $L(mathbfA)=alphamathbfA$ with $alphainmathbbR$ is a linear map satisfying all these assumptions, but I would like to know if there are other non-trivial maps satisfying all these assumptions.
Any advice/suggestion/comment/solution is highly appreciated.
linear-algebra matrices linear-transformations c-star-algebras
$endgroup$
$begingroup$
I can't see why $L(A)=alpha A$ is a maps satisfying your assumptions, since even for $alpha=1$, $UAU^*neq A$.
$endgroup$
– Hamza
Mar 26 at 17:03
$begingroup$
@Hamza you are definitely right!!! I will edit the question immediately.
$endgroup$
– SepulzioNori
Mar 26 at 17:07
add a comment |
$begingroup$
I realized my question was not well-posed, hence I proceeded to rewrite it from scratch.
Denote by $mathcalM_n(mathbbC)$ the $C^*$-algebra of complex matrices.
Let $LcolonmathcalM_n(mathbbC)longrightarrowmathcalM_n(mathbbC)$ be a linear map such that $L(mathbfA^dagger)=(L(mathbfA))^dagger$ for every $mathbfAinmathcalM_n(mathbbC)$, where $dagger$ is the standard involution on $mathcalM_n(mathbbC)$ given by taking the conjugate transpose.
Now, assume that $L$ is unitarily equivariant, that is, assume that
$$
L(mathbfU,A,U^dagger),=,mathbfU,L(mathbfA),mathbfU^dagger
$$
for all $mathbfAinmathcalM_n(mathbbC)$ and for every unitary matrix $mathbfUinmathcalM_n(mathbbC)$ (i.e., $mathbf,U^dagger=mathbbI$ where $mathbbI$ is the identity matrix).
Clearly, $L(mathbfA)=alphamathbfA$ with $alphainmathbbR$ is a linear map satisfying all these assumptions, but I would like to know if there are other non-trivial maps satisfying all these assumptions.
Any advice/suggestion/comment/solution is highly appreciated.
linear-algebra matrices linear-transformations c-star-algebras
$endgroup$
I realized my question was not well-posed, hence I proceeded to rewrite it from scratch.
Denote by $mathcalM_n(mathbbC)$ the $C^*$-algebra of complex matrices.
Let $LcolonmathcalM_n(mathbbC)longrightarrowmathcalM_n(mathbbC)$ be a linear map such that $L(mathbfA^dagger)=(L(mathbfA))^dagger$ for every $mathbfAinmathcalM_n(mathbbC)$, where $dagger$ is the standard involution on $mathcalM_n(mathbbC)$ given by taking the conjugate transpose.
Now, assume that $L$ is unitarily equivariant, that is, assume that
$$
L(mathbfU,A,U^dagger),=,mathbfU,L(mathbfA),mathbfU^dagger
$$
for all $mathbfAinmathcalM_n(mathbbC)$ and for every unitary matrix $mathbfUinmathcalM_n(mathbbC)$ (i.e., $mathbf,U^dagger=mathbbI$ where $mathbbI$ is the identity matrix).
Clearly, $L(mathbfA)=alphamathbfA$ with $alphainmathbbR$ is a linear map satisfying all these assumptions, but I would like to know if there are other non-trivial maps satisfying all these assumptions.
Any advice/suggestion/comment/solution is highly appreciated.
linear-algebra matrices linear-transformations c-star-algebras
linear-algebra matrices linear-transformations c-star-algebras
edited Mar 26 at 17:55
SepulzioNori
asked Mar 26 at 16:44
SepulzioNoriSepulzioNori
383217
383217
$begingroup$
I can't see why $L(A)=alpha A$ is a maps satisfying your assumptions, since even for $alpha=1$, $UAU^*neq A$.
$endgroup$
– Hamza
Mar 26 at 17:03
$begingroup$
@Hamza you are definitely right!!! I will edit the question immediately.
$endgroup$
– SepulzioNori
Mar 26 at 17:07
add a comment |
$begingroup$
I can't see why $L(A)=alpha A$ is a maps satisfying your assumptions, since even for $alpha=1$, $UAU^*neq A$.
$endgroup$
– Hamza
Mar 26 at 17:03
$begingroup$
@Hamza you are definitely right!!! I will edit the question immediately.
$endgroup$
– SepulzioNori
Mar 26 at 17:07
$begingroup$
I can't see why $L(A)=alpha A$ is a maps satisfying your assumptions, since even for $alpha=1$, $UAU^*neq A$.
$endgroup$
– Hamza
Mar 26 at 17:03
$begingroup$
I can't see why $L(A)=alpha A$ is a maps satisfying your assumptions, since even for $alpha=1$, $UAU^*neq A$.
$endgroup$
– Hamza
Mar 26 at 17:03
$begingroup$
@Hamza you are definitely right!!! I will edit the question immediately.
$endgroup$
– SepulzioNori
Mar 26 at 17:07
$begingroup$
@Hamza you are definitely right!!! I will edit the question immediately.
$endgroup$
– SepulzioNori
Mar 26 at 17:07
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
Let $E_kj$ be the canonical matrix units.
Let $V$ be a unitary of the form $E_11oplus U$ (i.e., $V=beginbmatrix 1&0\0& Uendbmatrix$). Then $VE_11V^*=E_11$, so
$$
L(E_11)=L(VE_11V^*)=VLE_11V^*.
$$
So $L(E_11)$ commutes with all such $V$. As we are free to choose $U$ to be any $(n-1)times(n-1)$ unitary, we get that
$$
L(E_11)=gamma_1 E_11 +delta_1 (I-E_11).
$$
Now repeat this for each of $E_22,ldots,E_nn$. It follows that, for any $alpha=(alpha_1,ldots,alpha_n)$ there exists $beta$ such that
$$
L(sum_j=1^n alpha_j E_jj)=sum_j=1^n beta_jE_jj.
$$
As $L$ is linear, it follow that the map $beta=Talpha$ is linear. Now let $S$ be a permutation (which is a unitary!). We have
$$
L(sum_j (Salpha)E_jj)=Lleft(S(sum_jalpha_jE_jj)S^*right)
=S,Lleft(sum_jalpha_jE_jjright),S^*=sum_j (Sbeta)_jE_jj.
$$
Looking at the coefficients, we have that $STalpha=Sbeta=TSalpha$. We can do this for any $alphainmathbb C^n$, so we have that $TS=ST$. As this occurs for any permutation $S$, it follows that $T=alpha I$ for some $alphainmathbb C$. Thus
$$
L(sum_j=1^n alpha_j E_jj)=alpha,sum_j=1^n alpha_jE_jj.
$$
Now let $A$ be selfadjoint. Then there exists a unitary $U$ such that $A=Uleft(sum_j alpha_j E_jjright)U^*$. Then
$$
L(A)=Lleft(Uleft(sum_j alpha_j E_jjright)U^*right)=ULleft(sum_j alpha_j E_jjright)U^*=alpha,Uleft(sum_j alpha_j E_jjright)U^*=alpha A.
$$
As $L$ is linear and the selfadjoint matrices span all of $M_n(mathbb C)$, we get that $L(A)=alpha A$ for all $A$.
If you require that $L(A^*)=L(A)^*$, then $alpha I=L(I)=L(I)^*=(alpha I)^*=baralpha I$. That is, $alphainmathbb R$.
$endgroup$
$begingroup$
Very nice, clear, and precise answer. Thank you very much.
$endgroup$
– SepulzioNori
Mar 26 at 22:03
add a comment |
Your Answer
StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);
else
createEditor();
);
function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader:
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
,
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);
);
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3163453%2funitarily-equivariant-linear-hermitian-maps-on-matrix-algebras%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Let $E_kj$ be the canonical matrix units.
Let $V$ be a unitary of the form $E_11oplus U$ (i.e., $V=beginbmatrix 1&0\0& Uendbmatrix$). Then $VE_11V^*=E_11$, so
$$
L(E_11)=L(VE_11V^*)=VLE_11V^*.
$$
So $L(E_11)$ commutes with all such $V$. As we are free to choose $U$ to be any $(n-1)times(n-1)$ unitary, we get that
$$
L(E_11)=gamma_1 E_11 +delta_1 (I-E_11).
$$
Now repeat this for each of $E_22,ldots,E_nn$. It follows that, for any $alpha=(alpha_1,ldots,alpha_n)$ there exists $beta$ such that
$$
L(sum_j=1^n alpha_j E_jj)=sum_j=1^n beta_jE_jj.
$$
As $L$ is linear, it follow that the map $beta=Talpha$ is linear. Now let $S$ be a permutation (which is a unitary!). We have
$$
L(sum_j (Salpha)E_jj)=Lleft(S(sum_jalpha_jE_jj)S^*right)
=S,Lleft(sum_jalpha_jE_jjright),S^*=sum_j (Sbeta)_jE_jj.
$$
Looking at the coefficients, we have that $STalpha=Sbeta=TSalpha$. We can do this for any $alphainmathbb C^n$, so we have that $TS=ST$. As this occurs for any permutation $S$, it follows that $T=alpha I$ for some $alphainmathbb C$. Thus
$$
L(sum_j=1^n alpha_j E_jj)=alpha,sum_j=1^n alpha_jE_jj.
$$
Now let $A$ be selfadjoint. Then there exists a unitary $U$ such that $A=Uleft(sum_j alpha_j E_jjright)U^*$. Then
$$
L(A)=Lleft(Uleft(sum_j alpha_j E_jjright)U^*right)=ULleft(sum_j alpha_j E_jjright)U^*=alpha,Uleft(sum_j alpha_j E_jjright)U^*=alpha A.
$$
As $L$ is linear and the selfadjoint matrices span all of $M_n(mathbb C)$, we get that $L(A)=alpha A$ for all $A$.
If you require that $L(A^*)=L(A)^*$, then $alpha I=L(I)=L(I)^*=(alpha I)^*=baralpha I$. That is, $alphainmathbb R$.
$endgroup$
$begingroup$
Very nice, clear, and precise answer. Thank you very much.
$endgroup$
– SepulzioNori
Mar 26 at 22:03
add a comment |
$begingroup$
Let $E_kj$ be the canonical matrix units.
Let $V$ be a unitary of the form $E_11oplus U$ (i.e., $V=beginbmatrix 1&0\0& Uendbmatrix$). Then $VE_11V^*=E_11$, so
$$
L(E_11)=L(VE_11V^*)=VLE_11V^*.
$$
So $L(E_11)$ commutes with all such $V$. As we are free to choose $U$ to be any $(n-1)times(n-1)$ unitary, we get that
$$
L(E_11)=gamma_1 E_11 +delta_1 (I-E_11).
$$
Now repeat this for each of $E_22,ldots,E_nn$. It follows that, for any $alpha=(alpha_1,ldots,alpha_n)$ there exists $beta$ such that
$$
L(sum_j=1^n alpha_j E_jj)=sum_j=1^n beta_jE_jj.
$$
As $L$ is linear, it follow that the map $beta=Talpha$ is linear. Now let $S$ be a permutation (which is a unitary!). We have
$$
L(sum_j (Salpha)E_jj)=Lleft(S(sum_jalpha_jE_jj)S^*right)
=S,Lleft(sum_jalpha_jE_jjright),S^*=sum_j (Sbeta)_jE_jj.
$$
Looking at the coefficients, we have that $STalpha=Sbeta=TSalpha$. We can do this for any $alphainmathbb C^n$, so we have that $TS=ST$. As this occurs for any permutation $S$, it follows that $T=alpha I$ for some $alphainmathbb C$. Thus
$$
L(sum_j=1^n alpha_j E_jj)=alpha,sum_j=1^n alpha_jE_jj.
$$
Now let $A$ be selfadjoint. Then there exists a unitary $U$ such that $A=Uleft(sum_j alpha_j E_jjright)U^*$. Then
$$
L(A)=Lleft(Uleft(sum_j alpha_j E_jjright)U^*right)=ULleft(sum_j alpha_j E_jjright)U^*=alpha,Uleft(sum_j alpha_j E_jjright)U^*=alpha A.
$$
As $L$ is linear and the selfadjoint matrices span all of $M_n(mathbb C)$, we get that $L(A)=alpha A$ for all $A$.
If you require that $L(A^*)=L(A)^*$, then $alpha I=L(I)=L(I)^*=(alpha I)^*=baralpha I$. That is, $alphainmathbb R$.
$endgroup$
$begingroup$
Very nice, clear, and precise answer. Thank you very much.
$endgroup$
– SepulzioNori
Mar 26 at 22:03
add a comment |
$begingroup$
Let $E_kj$ be the canonical matrix units.
Let $V$ be a unitary of the form $E_11oplus U$ (i.e., $V=beginbmatrix 1&0\0& Uendbmatrix$). Then $VE_11V^*=E_11$, so
$$
L(E_11)=L(VE_11V^*)=VLE_11V^*.
$$
So $L(E_11)$ commutes with all such $V$. As we are free to choose $U$ to be any $(n-1)times(n-1)$ unitary, we get that
$$
L(E_11)=gamma_1 E_11 +delta_1 (I-E_11).
$$
Now repeat this for each of $E_22,ldots,E_nn$. It follows that, for any $alpha=(alpha_1,ldots,alpha_n)$ there exists $beta$ such that
$$
L(sum_j=1^n alpha_j E_jj)=sum_j=1^n beta_jE_jj.
$$
As $L$ is linear, it follow that the map $beta=Talpha$ is linear. Now let $S$ be a permutation (which is a unitary!). We have
$$
L(sum_j (Salpha)E_jj)=Lleft(S(sum_jalpha_jE_jj)S^*right)
=S,Lleft(sum_jalpha_jE_jjright),S^*=sum_j (Sbeta)_jE_jj.
$$
Looking at the coefficients, we have that $STalpha=Sbeta=TSalpha$. We can do this for any $alphainmathbb C^n$, so we have that $TS=ST$. As this occurs for any permutation $S$, it follows that $T=alpha I$ for some $alphainmathbb C$. Thus
$$
L(sum_j=1^n alpha_j E_jj)=alpha,sum_j=1^n alpha_jE_jj.
$$
Now let $A$ be selfadjoint. Then there exists a unitary $U$ such that $A=Uleft(sum_j alpha_j E_jjright)U^*$. Then
$$
L(A)=Lleft(Uleft(sum_j alpha_j E_jjright)U^*right)=ULleft(sum_j alpha_j E_jjright)U^*=alpha,Uleft(sum_j alpha_j E_jjright)U^*=alpha A.
$$
As $L$ is linear and the selfadjoint matrices span all of $M_n(mathbb C)$, we get that $L(A)=alpha A$ for all $A$.
If you require that $L(A^*)=L(A)^*$, then $alpha I=L(I)=L(I)^*=(alpha I)^*=baralpha I$. That is, $alphainmathbb R$.
$endgroup$
Let $E_kj$ be the canonical matrix units.
Let $V$ be a unitary of the form $E_11oplus U$ (i.e., $V=beginbmatrix 1&0\0& Uendbmatrix$). Then $VE_11V^*=E_11$, so
$$
L(E_11)=L(VE_11V^*)=VLE_11V^*.
$$
So $L(E_11)$ commutes with all such $V$. As we are free to choose $U$ to be any $(n-1)times(n-1)$ unitary, we get that
$$
L(E_11)=gamma_1 E_11 +delta_1 (I-E_11).
$$
Now repeat this for each of $E_22,ldots,E_nn$. It follows that, for any $alpha=(alpha_1,ldots,alpha_n)$ there exists $beta$ such that
$$
L(sum_j=1^n alpha_j E_jj)=sum_j=1^n beta_jE_jj.
$$
As $L$ is linear, it follow that the map $beta=Talpha$ is linear. Now let $S$ be a permutation (which is a unitary!). We have
$$
L(sum_j (Salpha)E_jj)=Lleft(S(sum_jalpha_jE_jj)S^*right)
=S,Lleft(sum_jalpha_jE_jjright),S^*=sum_j (Sbeta)_jE_jj.
$$
Looking at the coefficients, we have that $STalpha=Sbeta=TSalpha$. We can do this for any $alphainmathbb C^n$, so we have that $TS=ST$. As this occurs for any permutation $S$, it follows that $T=alpha I$ for some $alphainmathbb C$. Thus
$$
L(sum_j=1^n alpha_j E_jj)=alpha,sum_j=1^n alpha_jE_jj.
$$
Now let $A$ be selfadjoint. Then there exists a unitary $U$ such that $A=Uleft(sum_j alpha_j E_jjright)U^*$. Then
$$
L(A)=Lleft(Uleft(sum_j alpha_j E_jjright)U^*right)=ULleft(sum_j alpha_j E_jjright)U^*=alpha,Uleft(sum_j alpha_j E_jjright)U^*=alpha A.
$$
As $L$ is linear and the selfadjoint matrices span all of $M_n(mathbb C)$, we get that $L(A)=alpha A$ for all $A$.
If you require that $L(A^*)=L(A)^*$, then $alpha I=L(I)=L(I)^*=(alpha I)^*=baralpha I$. That is, $alphainmathbb R$.
answered Mar 26 at 20:01
Martin ArgeramiMartin Argerami
130k1184185
130k1184185
$begingroup$
Very nice, clear, and precise answer. Thank you very much.
$endgroup$
– SepulzioNori
Mar 26 at 22:03
add a comment |
$begingroup$
Very nice, clear, and precise answer. Thank you very much.
$endgroup$
– SepulzioNori
Mar 26 at 22:03
$begingroup$
Very nice, clear, and precise answer. Thank you very much.
$endgroup$
– SepulzioNori
Mar 26 at 22:03
$begingroup$
Very nice, clear, and precise answer. Thank you very much.
$endgroup$
– SepulzioNori
Mar 26 at 22:03
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3163453%2funitarily-equivariant-linear-hermitian-maps-on-matrix-algebras%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
$begingroup$
I can't see why $L(A)=alpha A$ is a maps satisfying your assumptions, since even for $alpha=1$, $UAU^*neq A$.
$endgroup$
– Hamza
Mar 26 at 17:03
$begingroup$
@Hamza you are definitely right!!! I will edit the question immediately.
$endgroup$
– SepulzioNori
Mar 26 at 17:07