From the condition $[A,B]=A$, what can I say about $B$?












2












$begingroup$


I'm struggling in understanding the meaning of this condition that I found in an operator equation:



begin{equation}
[A,B]=A
end{equation}
where both $A$ and $B$ are hermitian operators. What can I say about the operator $B$?










share|cite|improve this question











$endgroup$








  • 1




    $begingroup$
    I think that's for commutator i.e. $[A,B]=AB-BA$.
    $endgroup$
    – user296113
    Feb 15 '18 at 18:53






  • 1




    $begingroup$
    Then I suppose you can assume that $AB - BA = A$.
    $endgroup$
    – Joe Johnson 126
    Feb 15 '18 at 18:59






  • 1




    $begingroup$
    ...and you'll be able, for example, to conclude that tr.$,A=0;$ ...
    $endgroup$
    – DonAntonio
    Feb 15 '18 at 19:04






  • 3




    $begingroup$
    If you are asking what the equation «$[A,B]=A$» means, then it is simply the same as «$AB-BA=A$». If you are asking something else, you should explain...
    $endgroup$
    – Mariano Suárez-Álvarez
    Feb 15 '18 at 19:06






  • 2




    $begingroup$
    Perhaps you meant $[A,B]=iA$ when you say that the operators are hermitian (as the commutator is antihermitian)
    $endgroup$
    – user8268
    Feb 15 '18 at 19:55
















2












$begingroup$


I'm struggling in understanding the meaning of this condition that I found in an operator equation:



begin{equation}
[A,B]=A
end{equation}
where both $A$ and $B$ are hermitian operators. What can I say about the operator $B$?










share|cite|improve this question











$endgroup$








  • 1




    $begingroup$
    I think that's for commutator i.e. $[A,B]=AB-BA$.
    $endgroup$
    – user296113
    Feb 15 '18 at 18:53






  • 1




    $begingroup$
    Then I suppose you can assume that $AB - BA = A$.
    $endgroup$
    – Joe Johnson 126
    Feb 15 '18 at 18:59






  • 1




    $begingroup$
    ...and you'll be able, for example, to conclude that tr.$,A=0;$ ...
    $endgroup$
    – DonAntonio
    Feb 15 '18 at 19:04






  • 3




    $begingroup$
    If you are asking what the equation «$[A,B]=A$» means, then it is simply the same as «$AB-BA=A$». If you are asking something else, you should explain...
    $endgroup$
    – Mariano Suárez-Álvarez
    Feb 15 '18 at 19:06






  • 2




    $begingroup$
    Perhaps you meant $[A,B]=iA$ when you say that the operators are hermitian (as the commutator is antihermitian)
    $endgroup$
    – user8268
    Feb 15 '18 at 19:55














2












2








2





$begingroup$


I'm struggling in understanding the meaning of this condition that I found in an operator equation:



begin{equation}
[A,B]=A
end{equation}
where both $A$ and $B$ are hermitian operators. What can I say about the operator $B$?










share|cite|improve this question











$endgroup$




I'm struggling in understanding the meaning of this condition that I found in an operator equation:



begin{equation}
[A,B]=A
end{equation}
where both $A$ and $B$ are hermitian operators. What can I say about the operator $B$?







abstract-algebra operator-theory quantum-mechanics






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Feb 15 '18 at 19:41







Gbp

















asked Feb 15 '18 at 18:50









GbpGbp

635




635








  • 1




    $begingroup$
    I think that's for commutator i.e. $[A,B]=AB-BA$.
    $endgroup$
    – user296113
    Feb 15 '18 at 18:53






  • 1




    $begingroup$
    Then I suppose you can assume that $AB - BA = A$.
    $endgroup$
    – Joe Johnson 126
    Feb 15 '18 at 18:59






  • 1




    $begingroup$
    ...and you'll be able, for example, to conclude that tr.$,A=0;$ ...
    $endgroup$
    – DonAntonio
    Feb 15 '18 at 19:04






  • 3




    $begingroup$
    If you are asking what the equation «$[A,B]=A$» means, then it is simply the same as «$AB-BA=A$». If you are asking something else, you should explain...
    $endgroup$
    – Mariano Suárez-Álvarez
    Feb 15 '18 at 19:06






  • 2




    $begingroup$
    Perhaps you meant $[A,B]=iA$ when you say that the operators are hermitian (as the commutator is antihermitian)
    $endgroup$
    – user8268
    Feb 15 '18 at 19:55














  • 1




    $begingroup$
    I think that's for commutator i.e. $[A,B]=AB-BA$.
    $endgroup$
    – user296113
    Feb 15 '18 at 18:53






  • 1




    $begingroup$
    Then I suppose you can assume that $AB - BA = A$.
    $endgroup$
    – Joe Johnson 126
    Feb 15 '18 at 18:59






  • 1




    $begingroup$
    ...and you'll be able, for example, to conclude that tr.$,A=0;$ ...
    $endgroup$
    – DonAntonio
    Feb 15 '18 at 19:04






  • 3




    $begingroup$
    If you are asking what the equation «$[A,B]=A$» means, then it is simply the same as «$AB-BA=A$». If you are asking something else, you should explain...
    $endgroup$
    – Mariano Suárez-Álvarez
    Feb 15 '18 at 19:06






  • 2




    $begingroup$
    Perhaps you meant $[A,B]=iA$ when you say that the operators are hermitian (as the commutator is antihermitian)
    $endgroup$
    – user8268
    Feb 15 '18 at 19:55








1




1




$begingroup$
I think that's for commutator i.e. $[A,B]=AB-BA$.
$endgroup$
– user296113
Feb 15 '18 at 18:53




$begingroup$
I think that's for commutator i.e. $[A,B]=AB-BA$.
$endgroup$
– user296113
Feb 15 '18 at 18:53




1




1




$begingroup$
Then I suppose you can assume that $AB - BA = A$.
$endgroup$
– Joe Johnson 126
Feb 15 '18 at 18:59




$begingroup$
Then I suppose you can assume that $AB - BA = A$.
$endgroup$
– Joe Johnson 126
Feb 15 '18 at 18:59




1




1




$begingroup$
...and you'll be able, for example, to conclude that tr.$,A=0;$ ...
$endgroup$
– DonAntonio
Feb 15 '18 at 19:04




$begingroup$
...and you'll be able, for example, to conclude that tr.$,A=0;$ ...
$endgroup$
– DonAntonio
Feb 15 '18 at 19:04




3




3




$begingroup$
If you are asking what the equation «$[A,B]=A$» means, then it is simply the same as «$AB-BA=A$». If you are asking something else, you should explain...
$endgroup$
– Mariano Suárez-Álvarez
Feb 15 '18 at 19:06




$begingroup$
If you are asking what the equation «$[A,B]=A$» means, then it is simply the same as «$AB-BA=A$». If you are asking something else, you should explain...
$endgroup$
– Mariano Suárez-Álvarez
Feb 15 '18 at 19:06




2




2




$begingroup$
Perhaps you meant $[A,B]=iA$ when you say that the operators are hermitian (as the commutator is antihermitian)
$endgroup$
– user8268
Feb 15 '18 at 19:55




$begingroup$
Perhaps you meant $[A,B]=iA$ when you say that the operators are hermitian (as the commutator is antihermitian)
$endgroup$
– user8268
Feb 15 '18 at 19:55










1 Answer
1






active

oldest

votes


















2












$begingroup$

If A and B are hermitian, then you need, instead,
$$
[A,B]= i A ,
$$

for consistency under taking the adjoint. So A is neither hermitian nor antihermitian, even though, conventionally, B is taken to be hermitian in applications. Let's stick with $[A,B]= A$.



These are the prototypes for the shift and counter operators, used routinely in quantum mechanics.



Specifically, for an eigenvector v of B with real eigenvalue λ,
$$
B v = lambda v ,
$$

utilize your simplest nonabelian Lie algebra you specified, to observe
$$
BAv = A(B-1)v,
$$

and hence
$$
B(Av)=(lambda-1)(Av).
$$

That is, A defines new eigenvectors with down-shifted eigenvalues of B, it "ladders" the state v down.



A simple realization of the algebra is $A=x$ and $B=-xpartial_x$. Consider what A does to the eigenvectors $x^{-lambda}$ of B.



Formally, this is the simplest nonabelian Lie algebra there is, with just one commutator, that of the affine group in one dimension . The upper-triangular 2x2 matrix representation thereof is given in the WP link provided.
You probably do not need to dwell on its delightful group structure. In QM, people use number operators for B and lowering operators a for A.






share|cite|improve this answer











$endgroup$













    Your Answer





    StackExchange.ifUsing("editor", function () {
    return StackExchange.using("mathjaxEditing", function () {
    StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
    StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
    });
    });
    }, "mathjax-editing");

    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
    });


    }
    });














    draft saved

    draft discarded


















    StackExchange.ready(
    function () {
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2652054%2ffrom-the-condition-a-b-a-what-can-i-say-about-b%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









    2












    $begingroup$

    If A and B are hermitian, then you need, instead,
    $$
    [A,B]= i A ,
    $$

    for consistency under taking the adjoint. So A is neither hermitian nor antihermitian, even though, conventionally, B is taken to be hermitian in applications. Let's stick with $[A,B]= A$.



    These are the prototypes for the shift and counter operators, used routinely in quantum mechanics.



    Specifically, for an eigenvector v of B with real eigenvalue λ,
    $$
    B v = lambda v ,
    $$

    utilize your simplest nonabelian Lie algebra you specified, to observe
    $$
    BAv = A(B-1)v,
    $$

    and hence
    $$
    B(Av)=(lambda-1)(Av).
    $$

    That is, A defines new eigenvectors with down-shifted eigenvalues of B, it "ladders" the state v down.



    A simple realization of the algebra is $A=x$ and $B=-xpartial_x$. Consider what A does to the eigenvectors $x^{-lambda}$ of B.



    Formally, this is the simplest nonabelian Lie algebra there is, with just one commutator, that of the affine group in one dimension . The upper-triangular 2x2 matrix representation thereof is given in the WP link provided.
    You probably do not need to dwell on its delightful group structure. In QM, people use number operators for B and lowering operators a for A.






    share|cite|improve this answer











    $endgroup$


















      2












      $begingroup$

      If A and B are hermitian, then you need, instead,
      $$
      [A,B]= i A ,
      $$

      for consistency under taking the adjoint. So A is neither hermitian nor antihermitian, even though, conventionally, B is taken to be hermitian in applications. Let's stick with $[A,B]= A$.



      These are the prototypes for the shift and counter operators, used routinely in quantum mechanics.



      Specifically, for an eigenvector v of B with real eigenvalue λ,
      $$
      B v = lambda v ,
      $$

      utilize your simplest nonabelian Lie algebra you specified, to observe
      $$
      BAv = A(B-1)v,
      $$

      and hence
      $$
      B(Av)=(lambda-1)(Av).
      $$

      That is, A defines new eigenvectors with down-shifted eigenvalues of B, it "ladders" the state v down.



      A simple realization of the algebra is $A=x$ and $B=-xpartial_x$. Consider what A does to the eigenvectors $x^{-lambda}$ of B.



      Formally, this is the simplest nonabelian Lie algebra there is, with just one commutator, that of the affine group in one dimension . The upper-triangular 2x2 matrix representation thereof is given in the WP link provided.
      You probably do not need to dwell on its delightful group structure. In QM, people use number operators for B and lowering operators a for A.






      share|cite|improve this answer











      $endgroup$
















        2












        2








        2





        $begingroup$

        If A and B are hermitian, then you need, instead,
        $$
        [A,B]= i A ,
        $$

        for consistency under taking the adjoint. So A is neither hermitian nor antihermitian, even though, conventionally, B is taken to be hermitian in applications. Let's stick with $[A,B]= A$.



        These are the prototypes for the shift and counter operators, used routinely in quantum mechanics.



        Specifically, for an eigenvector v of B with real eigenvalue λ,
        $$
        B v = lambda v ,
        $$

        utilize your simplest nonabelian Lie algebra you specified, to observe
        $$
        BAv = A(B-1)v,
        $$

        and hence
        $$
        B(Av)=(lambda-1)(Av).
        $$

        That is, A defines new eigenvectors with down-shifted eigenvalues of B, it "ladders" the state v down.



        A simple realization of the algebra is $A=x$ and $B=-xpartial_x$. Consider what A does to the eigenvectors $x^{-lambda}$ of B.



        Formally, this is the simplest nonabelian Lie algebra there is, with just one commutator, that of the affine group in one dimension . The upper-triangular 2x2 matrix representation thereof is given in the WP link provided.
        You probably do not need to dwell on its delightful group structure. In QM, people use number operators for B and lowering operators a for A.






        share|cite|improve this answer











        $endgroup$



        If A and B are hermitian, then you need, instead,
        $$
        [A,B]= i A ,
        $$

        for consistency under taking the adjoint. So A is neither hermitian nor antihermitian, even though, conventionally, B is taken to be hermitian in applications. Let's stick with $[A,B]= A$.



        These are the prototypes for the shift and counter operators, used routinely in quantum mechanics.



        Specifically, for an eigenvector v of B with real eigenvalue λ,
        $$
        B v = lambda v ,
        $$

        utilize your simplest nonabelian Lie algebra you specified, to observe
        $$
        BAv = A(B-1)v,
        $$

        and hence
        $$
        B(Av)=(lambda-1)(Av).
        $$

        That is, A defines new eigenvectors with down-shifted eigenvalues of B, it "ladders" the state v down.



        A simple realization of the algebra is $A=x$ and $B=-xpartial_x$. Consider what A does to the eigenvectors $x^{-lambda}$ of B.



        Formally, this is the simplest nonabelian Lie algebra there is, with just one commutator, that of the affine group in one dimension . The upper-triangular 2x2 matrix representation thereof is given in the WP link provided.
        You probably do not need to dwell on its delightful group structure. In QM, people use number operators for B and lowering operators a for A.







        share|cite|improve this answer














        share|cite|improve this answer



        share|cite|improve this answer








        edited Dec 26 '18 at 16:32

























        answered Dec 25 '18 at 16:54









        Cosmas ZachosCosmas Zachos

        1,802522




        1,802522






























            draft saved

            draft discarded




















































            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.




            draft saved


            draft discarded














            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2652054%2ffrom-the-condition-a-b-a-what-can-i-say-about-b%23new-answer', 'question_page');
            }
            );

            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







            Popular posts from this blog

            Probability when a professor distributes a quiz and homework assignment to a class of n students.

            Aardman Animations

            Are they similar matrix