The paper studies polynomials with coefficients in the simplest possible number system, where the only values are 0 and 1 and arithmetic is done modulo 2. For each such polynomial, the authors define a quantity called the "orthogonal multiplicity," which counts how many other polynomials of smaller degree satisfy a specific divisibility-style condition related to a mathematical object called a differential form. A polynomial has "positive orthogonal multiplicity" if at least one such partner exists. The central question is: as the degree of the polynomial grows, what fraction of all polynomials of that degree have positive orthogonal multiplicity?
To answer this, the authors attach a simple binary label (either 0 or 1) to each prime factor of the polynomial, derived from a differential expression. They prove two clean facts about these labels: first, they always sum to zero when the polynomial avoids two special cases, and second, each label independently follows a precise probability distribution depending on how many times that prime factor divides the polynomial. These results characterize local behavior, meaning they describe what happens one prime factor at a time.
Assuming these local conditions behave independently across different prime factors, the authors derive that the proportion of degree-d polynomials with positive orthogonal multiplicity shrinks roughly like a constant divided by the square root of d. The constant is computed as an explicit infinite product over all irreducible polynomials of degree two or higher, and evaluates to approximately 1.21. The authors verify the formula by computing exact counts for all degrees up to 33, finding agreement to better than five parts in one hundred thousand for the largest degrees checked. This is a clean result in the arithmetic of function fields, blending local-global principles with analytic number theory in a setting where precise computation is tractable.