Imagine you're a bartender with ten glasses on the counter and ten coasters at the other end. You need to slide every glass to a coaster — simultaneously, without any glass touching another or falling off the edge. Now imagine the counter has pillars glued to it. You can't just shove everything in straight lines. This paper's trick: treat each glass as a pole of a rational function and each coaster as a zero, then trace the paths those poles follow as you sweep a single gain parameter from 0 to ∞. In control theory, that swept curve is the Generalized Root Locus (GRL). The authors show that for almost every choice of phase angle, the GRL branches give you N disjoint paths that never hit an obstacle — and the robot-goal assignment falls out for free. The pipeline works like this. Take a planar workspace with polygonal obstacles. Use a conformal map (Schwarz–Christoffel or numerical equivalent) to push everything into a canonical circular domain. Starts become poles, goals become zeros, and obstacles become boundary arcs. The logarithmic potential −log R of the resulting rational function R produces a gradient field whose streamlines are exactly the root-locus branches. By choosing a phase outside a finite critical set and a boundary set, the authors prove each branch connects one pole to one zero without touching the boundary. Obstacles are encoded as streamlines through successive Milne–Thomson reflections — a classical technique from fluid dynamics, repurposed here for robotics. The certification story is what lifts this beyond a clever construction. For any finite number of Milne–Thomson reflections, the potential you actually compute differs from the infinite-reflection ideal by a bounded error. The authors show you can certify safety for the truncated potential with a finite test — meaning you don't need to hope your numerical approximation is close enough; you can check. This is rare in potential-field planning, where most methods guarantee nothing about the approximation quality. Synchronization is baked in. Because all robots are the closed-loop roots of the same rational function, sweeping the gain from 0 to some prescribed value K makes every robot arrive at its assigned goal at the same instant. No separate coordination layer, no velocity tuning heuristics. The gain IS the clock. On the ladder: the paper benchmarks against two natural competitors across 100 random instances — independent harmonic-function planning (one potential per robot, no coordination guarantee) and artificial potential fields (the workhorse of the 1980s–90s). GRL paths are shorter on average and always collision-free by construction, whereas independent harmonic plans require post-hoc deconfliction and artificial potentials can trap robots in local minima. The authors also recover reciprocal root-locus planning as a special case, nesting the prior art cleanly. The big demo is a ten-robot, ten-obstacle scene that runs to completion. Limitations are honest and structural. The method is offline — you compute paths ahead of time, not in real-time reaction to moving obstacles. It requires the conformal map to exist and be computable, which currently restricts the pipeline to planar, simply-connected (or finitely-connected) polygonal domains. The paper does not address 3D workspaces, non-polygonal obstacles, or dynamic environments. The 100-instance benchmark uses random placements but does not compare against modern sampling-based planners (PRM, RRT) that dominate practice at larger scales. The deeper significance is methodological. Multi-robot path planning is usually attacked with discrete graph search, optimization, or sampling. This paper says: if you squint at it through complex analysis and control theory, the problem has a closed-form structure that hands you correctness proofs, synchronization, and assignment simultaneously. Whether this lens scales to the messy real world is an open question, but as a theoretical contribution it's genuinely elegant — a bridge between two fields that rarely talk to each other.
