Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Gaussian Integral Identity with Grassmann Numbers

  1. Feb 22, 2009 #1
    Hi,
    I read the chapter "Anticommuting Numbers" by Peskin & Schröder (page 299) about Grassmann Numbers and now I would like to prove

    [tex]\int d \bar{\theta}_1 d \theta_1 ... d \bar{\theta}_N d \theta_N e^{-\bar{\theta} A \theta} = det A [/tex]

    [tex]\theta_i [/tex] are complex Grassmann Numbers.

    [tex] \bar{\theta}_i[/tex] are the complex conjugates of [tex] \theta_i [/tex].

    In Peskin & Schröder there is no derivation at all, so I tried to find it via google.

    In lecture notes I found

    24114_grassmann_1.jpg
    24114_grassmann_2.jpg

    But I don't understand, how the author expanded to get the first line. How he used the general ordering result and permutations to get the rest.

    Could anybody explain that or refer to a website, with an explicit example, for maybe N=2 ?

    Regards,
    Mr. Fogg :smile:
     
  2. jcsd
  3. Feb 22, 2009 #2

    CompuChip

    User Avatar
    Science Advisor
    Homework Helper

    At first this calculation may be a bit hard to understand, but it exhibits a lot of features which make calculating with Grassmann numbers very straightforward (and tricks you might want to remember :smile:)

    So first the author is expanding the exponent. As you know,
    [tex]e^x = 1 + x + x^2 / 2 + \cdots + x^n / n! + \cdots[/tex]
    In this case,
    [tex]e^{\theta_i^* A_{ij} \theta_j} = 1 + \theta_i A_{ij} \theta_j + (\theta_i^* A_{ij} \theta_j)^2 / 2 + \cdots + (\theta_i^* A_{ij} \theta_j)^n / n! + \cdots[/tex]

    Note that inside each pair of brackets, there is a summation going on. If I write out the second term:
    [tex](\theta_i^* A_{ij} \theta_j)^2 = \left( \sum_{i, j} \theta_i^* A_{ij} \theta_j \right)^2 = \left( \sum_{i_1, j_1} \theta_{i_1}^* A_{i_1 j_1} \theta_{j_1} \right) \left( \sum_{i_2, j_2} \theta_{i_2}^* A_{i_2j_2} \theta_{j_2} \right) = \sum_{i_1, i_2, j_1, j_2} \left[ \left( \theta_{i_1}^* A_{i_1j_1} \theta_{j_1} \right) \left( \theta_{i_2}^* A_{i_2 j_2} \theta_{j_2} \right) \right][/tex]

    Now note, that when we integrate this term, it vanishes. We have N integrals over a theta, and N over a theta*, but the quadratic term which I wrote out only contains 2 of each. So even if the term doesn't vanish beforehand (because [itex]i_1 = i_2[/itex] for example, so there are two identical Grassmann numbers) we can start calculating the integrals and at some point we will integrate over a theta or theta* which is not in the expression.

    On the other hand, we only have N theta's and theta*'s. So if we take the (N+m)th power (with m > 0) and expand the power, then we will get sums looking like (for m = 1)
    [tex]\theta_{i_1}^* A_{i_1j_1} \theta_{j_1} \theta_{i_2}^* A_{i_2j_2} \theta_{j_2} \cdots \theta_{i_N}^* A_{i_Nj_N} \theta_{j_N} \theta_{i_{N+1}}^* A_{i_{N+1}j_{N+1}} \theta_{j_{N+1}}[/tex]
    in which there must necessarily be two equal theta's and two equal theta^*'s, so it vanishes.

    On the second line, the author is just permuting stuff (pulling each theta through a theta or theta* gives a minus sign, a theta* through a theta or theta* gives a minus sign, and a theta or theta* through an A gives a plus sign - assuming that the matrix is real-valued and not Grassmann-valued) so from line 1 to line 2 you get at most a sign change (which is explained to be + in the text below).
     
  4. Feb 22, 2009 #3
    Thank You very much for the explanation.

    To my better understanding, I try to do the proof for N=2

    [tex] \int d \theta_1^* d \theta_1 d \theta_2^* d \theta_2 (-(1 + \theta_i^* A_{ij} \theta_j + (\theta_i^* A_{ij} \theta_j)^2 / 2 + \cdots + (\theta_i^* A_{ij} \theta_j)^n / n! + \cdots ))[/tex]

    Since the quadratic term and all higher powers vanish, I get

    [tex] \int d \theta_1^* d \theta_1 d \theta_2^* d \theta_2 (-(1 + \sum_{i, j} \theta_i^* A_{ij} \theta_j)) [/tex]

    The Integral over 1 is zero.

    [tex] \int d \theta_1^* d \theta_1 d \theta_2^* d \theta_2 (- \sum_{i, j} \theta_i^* A_{ij} \theta_j)

    = \int d \theta_1^* d \theta_1 d \theta_2^* d \theta_2 (- \theta_1^* A_{11} \theta_1 - \theta_2^* A_{21} \theta_2 - \theta_1^* A_{12} \theta_2 - \theta_2^* A_{22} \theta_2)
    [/tex]

    Is that correct?

    Regards,
    Mr. Fogg
     
  5. Feb 22, 2009 #4

    CompuChip

    User Avatar
    Science Advisor
    Homework Helper

    The quadratic term does not vanish. You can explicitly work out the sum for n = 1:
    [tex]\theta_i^* A_{ij} \theta_j = \theta_1^* A_{11} \theta_1 + \theta_1^* A_{12} \theta 2 + \theta_2^* A_{21} \theta_1 + \theta_2^* A_{22} \theta_2[/tex]

    Now square that, what do you get?

    Also, what happens when you explicitly do your integration
    [tex] \int d \theta_1^* d \theta_1 d \theta_2^* d \theta_2 (- \theta_1^* A_{11} \theta_1 - \theta_2^* A_{21} \theta_2 - \theta_1^* A_{12} \theta_2 - \theta_2^* A_{22} \theta_2)
    [/tex]
     
    Last edited: Feb 22, 2009
  6. Feb 22, 2009 #5
    Using [tex] (\theta_i)^2 = (\theta_i^*)^2 = 0 [/tex]

    I get
    [tex] (\theta_1^* A_{11} \theta_1) (\theta_2^* A_{22} \theta_2) + (\theta_1^* A_{12} \theta_2)(\theta_2^* A_{21} \theta_1) + (\theta_2^* A_{21} \theta_1)(\theta_1^* A_{12} \theta_2) + (\theta_2^* A_{22} \theta_2)(\theta_1^* A_{11} \theta_1)[/tex]

    But isn't this the case N = 2 , because i and j run till 2 ?

    I will do this integration tomorrow morning, because I have to leave now.

    Thanks for your help!

    Mr. Fogg
     
  7. Feb 23, 2009 #6

    CompuChip

    User Avatar
    Science Advisor
    Homework Helper

    Precisely.

    Now observe how you have to be careful with sums. A simple expression like [itex]\theta_1 \theta_2^*[/itex] will vanish when squared, but sums of such terms do not necessarily (although stuff will cancel out).

    It's really easy, you'll see.
    Don't bring out the cigar yet, though... the square term is what you are interested in (see the general proof).

    Welcome.
     
  8. Feb 23, 2009 #7
    The integration
    [tex] \int d \theta_1^* d \theta_1 d \theta_2^* d \theta_2 (- \theta_1^* A_{11} \theta_1 - \theta_2^* A_{21} \theta_2 - \theta_1^* A_{12} \theta_2 - \theta_2^* A_{22} \theta_2)
    [/tex]
    gives
    [tex]- \int d \theta_1^* d \theta_1 (\theta_1^* A_{11} \theta_1) - \int d \theta_2^* d \theta_2 (\theta_2^* A_{21} \theta_2) - \int d \theta_1^* d \theta_2 (\theta_1^* A_{12} \theta_2) - \int d \theta_2^* d \theta_2 (\theta_2^* A_{22} \theta_2) [/tex]

    [tex] A_{11} + A_{21} + A_{12} + A_{22} [/tex]

    There must be a mistake, because I don't see, how this helps me.
    -----------------------------------------------------
    If I work out the quadratic term explicitly, square it and do the integration (like above), I get

    [tex] A_{11} A_{22} - A_{12} A_{21} + A_{21} A_{12} + A_{22} A_{11}[/tex]

    This looks a little more like a determinant, but there are some terms too much in this expression. Where is the mistake here?

    Regards,
    Mr. Fogg
     
  9. Feb 23, 2009 #8
    Remember that you are also integrating over the variables not in the expression. For example, the first term is actually
    [tex]\int d \theta_1^* d \theta_1 d \theta_2^* d \theta_2 (\theta_1^* A_{11} \theta_1) = - A_{11} \int d \theta_1^* \theta_1^* d \theta_1 \theta_1 \int d \theta_2^* d \theta_2 = 0[/tex]
    since
    [tex] \int d \theta_2 = 0 = \int d \theta_2^* [/tex]
    so you get zero for all those terms, and the only contributions to the integral come from the quadratic terms (where you can get terms that include all 4 variables and do not vanish). Higher than quadratic terms, in this case, contain squares and therefore vanish.

    Also, I think your term
    [tex]\theta_2^* A_{21} \theta_2[/tex] should read [tex]\theta_2^* A_{21} \theta_1[/tex]

    For the quadratic term, you should get
    [tex] 2(A_{11} A_{22} - A_{12} A_{21}) = 2 detA [/tex] where the [tex]2[/tex] cancels the factor [tex] \frac{1}{2!} [/tex] brought down with the expansion of the exponential. The sign difference you have on your [tex]A_{21} A_{12}[/tex] could be due to your summation where you have [tex]\theta_2^* A_{21} \theta_2[/tex] instead of [tex]\theta_2^* A_{21} \theta_1[/tex].

    Regards,
    samwise.
     
    Last edited: Feb 23, 2009
  10. Feb 23, 2009 #9

    CompuChip

    User Avatar
    Science Advisor
    Homework Helper

    Note that in doing the integration, you need to re-order the terms. I don't readily see whether you took that into account, but for example:
    [tex]
    \int d \theta_1^* d \theta_1 d \theta_2^* d \theta_2 \theta_1^* A_{12} \theta_2 \theta_2^* A_{21} \theta_1
    =
    A_{12} A_{21} \int d \theta_1^* d \theta_1 d \theta_2^* d \theta_2
    \theta_1^* \theta_2 \theta_2^* \theta_1
    =
    (-1)^{2+1} A_{12} A_{21} \int d \theta_1^* d \theta_1 d \theta_2^* d \theta_2
    \theta_1^* \theta_1\theta_2^*\theta_2
    = - A_{12} A_{21}
    [/tex]
    where the factors of (-1) arise from ordering the theta's.
    Which way you should order them depends on how Grassmann numbers are introduced, you can require that the theta's be in the same order as the integrals, so
    [tex]\int d\theta_1 d\theta_2 \cdots d\theta_n \theta_1 \theta_2 \cdots \theta_n = 1[/tex]
    or that each theta has to be brought to its corresponding integration, so
    [tex]\int d\theta_1 d\theta_2 \cdots d\theta_n \theta_n \theta_{n-1} \cdots \theta_2 \theta_1 = 1[/tex]
    (first do the inner integration, etc).

    This will produce some minus signs. Then the result can be simplified, because the A's are just numbers, so
    [tex]A_{11} A_{22} + A_{22} A_{11} = 2 A_{11} A_{22}[/tex].
     
  11. Feb 24, 2009 #10
    Hello,
    thanks for Your help!

    In the quadratic term, I didn't make the same mistake with the indices.

    To do the integral of the quadratic term, I used

    [tex] \int d \theta^* d \theta \theta^* \theta = -1[/tex]

    Then I get

    [tex] - \frac{1}{2} (A_{11}A_{22} - A_{12}A_{21} - A_{21}A_{12} + A_{22}A_{11})[/tex]

    The minus sign is left from the expansion.

    Is [tex] A_{12}A_{21} = A_{21}A_{12} \; \text{and} \; A_{11}A_{22} = A_{22}A_{11}? [/tex]

    If that was true and I didn't have the minus sign, then it would be Samwise's solution.

    What is right now?

    Regards,
    Mr. Fogg
     
  12. Feb 25, 2009 #11

    Avodyne

    User Avatar
    Science Advisor

    Yes, the elements of the A matrix are assumed to be commuting numbers.
    The overall sign doesn't matter; it depends on the convention for ordering the differentials.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Gaussian Integral Identity with Grassmann Numbers
  1. Gaussian integrals (Replies: 3)

Loading...