The paper tackles a classical problem in fluid mechanics: given a starting arrangement of an ideal (frictionless) fluid and a desired ending arrangement, can the fluid actually flow between them in a physically realistic way? Specifically, "physically realistic" here means the flow follows Euler's equations, which govern ideal fluid motion. This is called the hydrodynamical Hopf-Rinow problem, named by analogy with a famous theorem in geometry that tells you when you can connect two points on a curved surface with a shortest path. The "strong" version of the problem asks not just whether such a flow exists, but whether it can be achieved with the least possible energy expenditure.
The authors reframe this question using ideas from distance geometry, particularly a concept called "metric betweenness." A point is "between" two others if its distances to each of them add up exactly to the distance between those two endpoints, like a point sitting precisely on a shortest path. The key mathematical object is the group of volume-preserving diffeomorphisms, which encodes all the ways a fluid can rearrange itself while keeping density constant. This group has a natural notion of distance coming from kinetic energy. The authors prove that small neighborhoods within this group are "geodesically convex," meaning shortest paths between nearby fluid configurations stay within the neighborhood. They also show that the natural geometric distance within this group is mathematically equivalent, in a precise technical sense, to a simpler external distance measure.
One of the paper's notable technical achievements is showing that the squared distance function from the identity configuration extends smoothly (in a specific regularity class) from a small neighborhood out to the full ambient space. This kind of regularity result matters because it underpins the geometric analysis and helps make the betweenness criterion rigorous. Taken together, the results give a complete local answer to the strong hydrodynamical Hopf-Rinow problem on a flat two-dimensional torus: a fluid reconfiguration is achievable via a least-energy Euler flow if and only if the identity transformation lies "between" the start and end configurations in the metric betweenness sense.