Mathematicians use a tool called Scott analysis to study infinite mathematical structures (like graphs, groups, or orderings) by writing formal descriptions that uniquely identify them. These descriptions come in layers of increasing complexity, and there is a well-known frustrating gap in the theory: when you try to make these descriptions computable (explicitly calculable by an algorithm), the complexity seems to roughly double. For example, a description that sits at complexity level 5 in the abstract setting tends to require complexity level 10 when you demand it be computable. This doubling phenomenon has been observed repeatedly but lacked a unified explanation or sharp results about exactly when it is unavoidable.
The paper introduces new technical tools called the Belligerent Pairs Theorem and the Belligerent Jump Inversion Theorem, which let you carefully encode complex information into computable structures while controlling exactly what level of complexity is needed to detect that information. Using these tools, the authors pin down the exact computational resources needed to produce computable descriptions of structures at every level of the hierarchy, proving that the doubling phenomenon is real and unavoidable in a precise, quantified sense. They show, for instance, that a computable structure with an abstract description at complexity level alpha always has a fully computable description at level 2-alpha, and that you cannot do better in general. These sharp results resolve several open problems and give the field a much cle