Why ket and bra notation?

Indeed, I agree with you, standard notation is, in my personal view, already sufficiently clear and bra-ket notation should be used when it is really useful. A typical case in QM is when a state vector is determined by a set of quantum numbers like this $$\left|l m s \right\rangle$$ Another case concerns the use of the so-called occupation numbers $$\left|n_{k_1} n_{k_2}\right\rangle$$ in QFT. Also q-bits notation for states $\left|0\right\rangle$, $\left|1\right\rangle$ in quantum information theory is meaningful... Finally the use of bra ket notation permits one to denote orthogonal projectors onto subspaces in a very effective manner $$\sum_{|m|\leq l}\left|l m \right\rangle \left\langle l m\right|\:.$$

A reason for its, in my view, nowadays not completely justified use is historical and due to the famous P.A.M. Dirac's textbook. In the 1930s, mathematical objects like Hilbert spaces and dual spaces, self-adjoint operators, were not very familiar mathematical tools to physicists. (The modern notion of Hilbert space was invented in 1932 by J. von Neumann in his less famous textbook on mathematical foundations of QM.) Dirac proposed a very nice notation which embodied a fundamental part of the formalism. However it also includes some drawbacks. In particular, manipulating non-self adjoint operators, e.g., symmetries, turns out to be very cumbersome within bra-ket formalism. If $A$ is self-adjoint, in $\left\langle \psi\right| A\left| \phi\right\rangle$ the operator can be viewed, indifferently, as acting on the left or on the right preserving the final result. If the operator is not self-adjoint this is false.

I think bra-ket notation is a very useful tool, but should be used "cum grano salis" in QM. In my view $\left|\psi\right\rangle$ where $\psi$ is a qunatum mechanics wavefunction, may be a dangerous notation, especially for students, as it generates misleading questions like this, $A\left|\psi\right\rangle = \left|A\psi \right\rangle$?

ADDENDUM. I understand that I interpreted the question into a broader view, regarding the use of bra-ket notation in QM rather than the restricted field of quantum information theory.


What is "normal vector notation"? I've seen angle brackets with commas, parentheses, square brackets, $\hat{x}$, $\hat{i}$, column matrices, row matrices ... which of those is "normal", $(x|y)$, ...?

Bras and kets are just another, with the particular benefit that it distinguishes the vector space from its dual space.

edit after comment

Note that some of these are component notations, which do not work for quantum mechanics as the number of dimensions can be large or infinite.


I think there is a practical reason for ket notation in quantum computing, which is just that it minimises the use of subscripts, which can make things more readable sometimes.

If I have a single qubit, I can write its canonical basis vectors as $\mid 0 \rangle$ and $\mid 1 \rangle$ or as $\mathbf{e}_0$ and $\mathbf{e}_1$, it doesn't really make much difference. However, now suppose I have a system with four qubits. Now in "normal" vector notation the basis vectors would have to be something like $\mathbf{e}_{0000}$, $\mathbf{e}_{1011}$, etc. Having those long strings of digits typeset as tiny subscripts makes them kind of hard to read and doesn't look so great. With ket notation they're $\mid 0000\rangle$ and $\mid 1011\rangle$ etc., which improves this situation a bit. You could compare also $\mid\uparrow\rangle$, $\mid\to\rangle$, $\mid\uparrow\uparrow\downarrow\downarrow\rangle$, etc. with $\mathbf{e}_{\uparrow}$, $\mathbf{e}_{\to}$, $\mathbf{e}_{\uparrow\uparrow\downarrow\downarrow}\,\,$ for a similar issue.