What is the orbital angular momentum (OAM) of individual photons?

This is an interesting mix of misconceptions:

By definition, a photon is a one-particle state with definite momentum and helicity. In quantum mechanics, the OAM doesn't commute with momentum, and therefore a momentum eigenstate is not an OAM eigenstate. By that logic, individual photons cannot have definite OAM.

No, a correct definition of a photon doesn't need to assign it a definite momentum or helicity, or even a well-defined frequency. The most convenient basis expansions tend to have these properties, but that's not inherent to the definition of a photon.

The short of it is that when you quantize electromagnetism, you start off by finding a suitable basis of vector-valued functions $\mathbf f_n(\mathbf r)$ in which to expand the vector potential as $$ \mathbf A(\mathbf r,t) = \sum_n\bigg[a_n(t)\mathbf f_n(\mathbf r)+a_n(t)^*\mathbf f_n(\mathbf r)^*\bigg], $$ where $a_n(t)$ is the generalized coordinate corresponding to the mode $\mathbf f_n(\mathbf r)$, setting things up so that its Poisson bracket with its conjugate is $\{a_n,a_m^*\}=\delta_{mn}$, and then you quantize by replacing $a_n(t)$ with the annihilation operator of that mode, so that a state with a single photon on that mode is $a_n^\dagger|0⟩$.

Now, here's the important thing: there is no requirement that the mode functions $\mathbf f_n(\mathbf r)$ be plane-wave states with circular polarization. It's a convenient choice, but it's not the only possible choice. Photons are excitations of the classical mode in question. Thus, if the classical mode is a plane wave, the photon will have a well-defined linear momentum, but if it is e.g. a Laguerre-Gauss or a Bessel mode, it will have a well-defined orbital angular momentum.

And, exactly as with the basis mode functions themselves, a photon with well-defined angular momentum can be understood as a superposition of photons with well-defined linear momentum (and vice versa), in the same way that you can expand a plane wave in terms of Bessel functions and vice versa. More importantly, this extends to linear combinations of modes with different frequencies: these give single-photon wavepackets, which evolve in time and are not eigenstates of the field hamiltonian, but are still $N=1$ eigenstates of the photon-number operator and therefore equally valid as single-photon states as the single excitations of a monochromatic plane wave.


OK, thus far for the standard description of how to deal with orbital angular momentum within the larger framework of quantum electrodynamics and quantum field theory, or within the more restrictive subsets of those that are often called quantum optics. However, just because you can describe something in a quantum way doesn't mean that you need to, but unfortunately ruling out alternative possible explanations, as you ask in your second question,

Is there some physical example that cannot be explained without assuming that individual photons carry nonzero OAM in addition to spin (or helicity, to be more precise)?

is a rather hard proposition.

However, OAM in this respect is no different to any other degree of freedom of light, and for any experiment that requires photons and a quantum-mechanical description on a given coordinate, you can produce an working experiment built on OAM, from Mandel dips to Bell-inequality violations to quantum cryptography, for which a good review is

G. Molina-Terriza, J.P. Torres and L. Torner. Twisted photons. Nature Phys. 3, 305 (2007).

Now, if you want a direct mechanical detection of the angular momentum carried by a single-photon excitation of an OAM mode, then that's unlikely to be feasible - in the same way that it's likely to be infeasible for the linear momentum of that state, because both are very small and very hard to measure. In that respect, atomic absorption experiments showing modified selection rules are likely to be conceptually sufficient, but I'm unsure whether the experiment has been done as yet.


Finally, if you want a comprehensive yet readable introduction to the subject of the angular momentum of light, I would recommend

R.P. Cameron. On the angular momentum of light. PhD thesis, University of Glasgow (2014).


If you read the wikipedia article on orbital angular momentum of light you will see that in the first place it is a classical electromagnetic concept, where the light has a vorticity, i.e. a helical motion around the axis of the vortex.

When one goes to the quantum detail of photons one can define an OAM against this classical axis for each photon in this specific classical electromagnetic beam. Thus OAM is not an intrinsic characteristic of photons, but only on photons in special beam distributions, as in the figure:

helical em beam

Different columns show the beam helical structures, phase fronts, and corresponding intensity distributions.

Edit after edit of question:

As far as I understand, in case of a free non-relativistic massive particle moving in a straight line, the value of L=r×p can be made to vanish (for all times) by choosing the origin of coordinates on the trajectory. Therefore, a free particle in classical mechanics need not have a nonzero orbital angular momentum.

This is a misunderstanding. Angular momentum can be defined whenever an axis that can give an $r\times p$ can be defined. It is a mathematical equation. It is when conservation of angular momentum enters the picture that the specific axis defines a specific $L$

As photons do not bind in potential wells, (except black holes by gravitation which is another story), there is no orbital% angular momentum because no orbits.

edit after discussion in comments:

%Definition orbital angular momentum as in this link.