4
$\begingroup$

$\newcommand{\bra}[1]{\left<#1\right|}\newcommand{\ket}[1]{\left|#1\right>}\newcommand{\bk}[2]{\left<#1\middle|#2\right>}\newcommand{\bke}[3]{\left<#1\middle|#2\middle|#3\right>}$ A (p, q) - Tensor can be expressed in a arbitrary basis as $$T=\sum_{(i_1,\dotsb ,i_n)}T^{i_1\dotsb i_{p}}_{\quad\quad i_{p+1}\dotsb i_n}(e_{i_1}\otimes\dotsb \otimes e_{i_p}\otimes e^{i_{p+1}}\otimes\dotsb \otimes e^{i_n})$$ In Dirac-Notation that can be equivalently expressed as $$T=\sum_{(i_1,\dotsb ,i_n)}T^{i_1\dotsb i_{p}}_{\quad\quad i_{p+1}\dotsb i_n}(\ket{e_{i_1}}\otimes\dotsb \otimes \ket{e_{i_p}}\otimes \bra{e_{i_{p+1}}}\otimes\dotsb \otimes \bra{e_{i_n}})$$ However I have often seen a (1, 1) - Tensor be expressed as $$T=T^i_{\;j}\ket{e_i}\bra{e^j}$$ where Einstein summation is being used. My source of confusion is that - according to Riesz's Lemma - $\bra{e_j}$ already constitutes a dual - vector. What exactly is $\bra{e^j}$ then? Both behave differently when a vector is passed as an argument $$\bk{e_i}{e_j}=g_{ij}$$ $$\bk{e^i}{e_j}=\delta^i_j$$ so $\bra{e_i}$ and $\bra{e^i}$ can not be the same object and in calculations they also yield different results. Furthermore, in QM, where Dirac - Notation is most commonly being used, the distinction between co- and contravariant indices is not used at all (as far as I am aware; presumabely because eiganbases of hermitians are orthogonal and hence the metric is just $\delta_{ij}$; please correct me if I'm mistaken). I would be very glad if you could resolve my confusion here. My gut feeling is that some of the definitions I provided might not be entirely correct.

EDIT: I have looked at the related posts to my question and there seems to be a contradiction between the answer provided in Basis and dual basis in the Dirac notations and Ambiguity with Dirac Notation and I am still unsure whether Dirac - Notation is limited to the special case of $g_{ij} = \delta_{ij}$, since I've seen it being used in non orthonormal bases and still yield the correct result. An example would be $$g_{ij}g^{ji}=\bk{b_i}{b_j}\bk{b^j}{b^i}=\bra{b_i}\Bbb{I}\ket{b^i}=\delta^i_i=\mathrm{dim}(\mathcal{V})$$ which is the expected result. That is not the only case where a more general application of dirac-notation works.

$\endgroup$

1 Answer 1

10
$\begingroup$

In Dirac notation, $\langle \psi |$ is a covariant vector, while $| \psi \rangle$ is a contravariant vector. Of course, this nomenclature is hardly ever used, because it is more convenient to call them bras and kets. There is no point in using indices to make this distinction. In particular because the mapping between the vector space and its dual is assumed to be Hermitian conjugation. Notice it is not a Kronecker delta: the vector space is complex, and hence there is a conjugation as well.

To write indices (with positional differences to indicate the dual) and Dirac notation simultaneously is an unnecessary mess. Each of the notations already takes care of denoting dual elements in its own way and each of the notations is better suited for different things. As discussed by Terence Tao on this MathOverflow post, each choice of notation is made to make some aspects of the theory easier. Indices are very useful when making calculations involving tensor fields on a manifold. However, Dirac notation is designed to make calculations on a complex Hilbert space as intuitive as possible.


Q: Can we use Dirac and Einstein notation interchangeably?

A: Yes, but it is not exactly advised. Dirac notation might get ambiguous or difficult to interpret when you're dealing with operators that are not "well-behaved" under Hermitian conjugation (i.e., are not (anti-)Hermitian, unitary, etc), but there is nothing that forbids you from using it in principle. However, do notice that writing high-rank tensors in Dirac notation can get way more difficult than in index notation. One could also use Einstein notation in QM (in fact, this is sometimes done in relativistic settings, such as QFT in curved spacetime) , but it might also get more difficult to do some calculations.

Both notations can be used in other contexts. However, they are designed with the goal of implementing some convenient theorems in useful ways, so that you can write e.g. tensor or inner products in a quite natural way, or exploiting the fact that you won't be dealing too much with high-rank tensors. Some of this convenient theorems or properties might not be valid in a general setting and the notation might become misleading.

As an example, notice that if an operator $\hat{A}$ is not Hermitian, you need to start paying attention that $\langle \phi | \hat{A} | \psi \rangle$ means always that $\hat{A}$ is acting on the right, but being used to working with Hermitian operators might lead you to think incorrectly that $\hat{A}$ is acting either way. Similarly, if $\lbrace|n\rangle\rbrace$ is a non-orthonormal basis, $\mathbb{1} \neq \sum_n |n\rangle\langle n|$, and forgetting this detail might lead you to mistakes. Writing tensors of high ranks in Dirac notation can also get quite confusing, and I won't even attempt at writing something like the Riemann tensor in this formalism.

I think Einstein notation has less drawbacks (but I'm a relativist). However, notice that Dirac notation is remarkably well suited for computations involving only vectors and scalars. Indices implement many results useful for working with large tensors that are not necessary in day-to-day QM, so Dirac notation can exploit better the properties of vectors. This can be seen in the "Lego-like" features of bras and kets, that can simply be connected together in an intuitive way to make inner and outer products naturally.

$\endgroup$
4
  • $\begingroup$ Although Dirac - notation is almost exclusively being used in QM, there is nothing restricting us from using it for describing Tensors in "regular" finite dimensional vector spaces. Or are there some key differences that disallow us from using Dirac - notation and Einstein index notation interchangeably? $\endgroup$
    – Susp1cious
    Nov 17, 2022 at 14:05
  • $\begingroup$ @Susp1cious I edited my answer to address that comment. In short, you can use both in pretty much any vector space. However, notice the question you're asking me is not if you should, but, for the same reason men climb mountains, if you could. $\endgroup$ Nov 17, 2022 at 14:32
  • $\begingroup$ +1. But how would you write higher rank tensor products in Dirac? Is it like $\langle \psi _1|\langle \psi_2|A|\psi_3\rangle |\psi_4\rangle$? But there's nothing indicating the maximum number of inputs that $A$ can take. There's also nothing indicating which vector is contracted with which slot of $A$. If these ambiguities really exist, then Dirac notation is just worthless for higher ranks. $\endgroup$
    – Ryder Rude
    Nov 17, 2022 at 14:55
  • 1
    $\begingroup$ @RyderRude Either you need to define the operator somewhere else and then the first vector goes in the first entry or something like that, or write the operator in terms of tensor products as well. Sometimes, when dealing with composite systems, one finds expressions such as $(\langle \psi_1 | \otimes \langle \psi_2 |) A \otimes B (|\psi_3 \rangle \otimes | \psi_4 \rangle) = \langle \psi_1 | A |\psi_3 \rangle \langle \psi_2 | B |\psi_4 \rangle$. Needless to say, the notation can get quite cumbersome if you are working with even higher ranks. It can be used in theory, but gets really difficult $\endgroup$ Nov 17, 2022 at 16:45

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.