hilbert space - What is quantum entanglement?

What is quantum entanglement?

Please be pedagogical.

Edit: I have updated my background under my profile.

Answer

Entanglement is a quantum correlation between two (or many) objects - a correlation means that these two objects' properties are not independent of each other - which was created in the objects' common past when they were close to one another i.e. when they were two parts of the same physical system.

Quantum mechanics changes the character of possible "properties" that objects may have (the quantities describing objects's properties are usually called "observables" and they are represented by Hermitian operators on the Hilbert space), as well as the way how these properties are measured and predicted (just probabilistically), so it also changes the character and magnitude of correlations that the objects may exhibit.

In particular, quantum correlations may often be stronger - and affecting a large fraction of measurable properties of the objects - than what would be possible according to classical (i.e. non-quantum) physics. In classical physics, correlations have to satisfy e.g. the so-called Bell's inequalities in various situations but quantum mechanics - and the real world - can easily surpass these bounds.

Technically, objects and their properties in quantum mechanics are described by wave functions. To describe the state of two mostly independent objects, one has to take a wave function from the tensor product $H_1\otimes H_2$ of the Hilbert spaces describing the individual objects. The wave function in the tensor product implies probabilistic predictions for any pairs of properties of the first and second object; in general, they're not independent, and for each combination of the objects' properties, quantum mechanics (and the wave function) may remember an independent probability.

Any vector in the tensor product that can't be written as a tensor product of vectors from $H_1$ and $H_2$ (instead, it can only be written as a linear combination of such tensor products of vectors) is called entangled. In other words, it is non-entangled if it is a simple tensor product of two simpler vectors. If it is a simple tensor product, all probabilities of "coupled properties" of the pair of objects simply factorize to the probability of the first object, and probability of the second object, as you know from probabilities of independent phenomena.

The simplest pedagogical example of an entangled state (as well as the entangled state that is most often found in literature) is $$\frac{X_1\otimes Y_1 + X_2\otimes Y_2}{\sqrt{2}}$$ Because there are two terms with four different factors, you can't use the distributive law in any way that would allow you to rewrite it as a simple product. The letters $X,Y$ refer to the two objects and the labels $1,2$ refer to two different states of each of the two objects.

In this state, if the property "1 or 2" is measured on $X$, one obtains the answers 1 or 2 with 50% probability for each: the coefficient of the wave function is $1/\sqrt{2}$ because these complex coefficients have to be squared to obtain the probability. However, because $X_1$ is "coupled" to $Y_1$ and $X_2$ is coupled to $Y_2$, the state and the machinery of quantum mechanics predict that the object $Y$ will be measured to have the same property: if $X$ is in 1, $Y$ is in 1, and the same for the state 2.

Linear algebra - which is crucially important for quantum mechanics - allows one to reinterpret the state above as an "identity operator" so the correlation will exist regardless of the type of measurement that we perform both on $X$ and $Y$. For example, if the two states represent spins, the two particles will be correlated so that you will find out that they're polarized with respect to the same axis, if you measure both particles' polarizations with respect to the same, particular, but arbitrary axis.

This would be kind of impossible for two separated particles in classical physics that could only be perfectly correlated for one choice of the axis - but not another axis rotated by 45 degrees, for example - without a communication in between them. However, quantum mechanics predicts that such a 100% correlation "regardless of the axis" is not only possible but guaranteed by the state above and it requires no communication. Indeed, one can prove that relativistic theories in quantum mechanics - especially quantum field theory - don't allow one to transmit a single bit of information faster than light even though this would be needed in classical physics to guarantee the perfect correlation that quantum mechanics predicts for these experiments (and that the experiments confirm).