Dissipative measure-valued solutions and weak-strong uniqueness for the Euler alignment system

We introduce the concept of a dissipative measure-valued solution to the Euler alignment system. This approach incorporates a modified total energy balance, utilizing a binary tensor Young measure. The central finding is a weak (measure-valued)--strong uniqueness principle: if both a dissipative measure-valued solution and a classical smooth solution originate from the same initial data, they will be identical as long as the classical solution exists.