A Brjuno number is an irrational number whose continued
fraction convergents
satisfy
(Marmi et al. 1997, 2001). Brjuno numbers arise in the study of one-dimensional analytic small divisors problems, and Brjuno (1971, 1972) proved that all "germs"
with linear part
are linearizable if
is a Brjuno number. Yoccoz (1995) proved necessity for the quadratic polynomial
. This means that the Brjuno condition
characterizes rotation numbers for which every analytic germ with that multiplier
is linearizable. It does not assert necessity for every analytic germ individually.
For polynomials, the condition is also necessary at every irrational neutral fixed point. Dudko et al. (2026), together with the
reduction of Buff et al. (2026), proved that a polynomial
of polynomial degree at least two with multiplier
has a Siegel
disk at the fixed point iff
is a Brjuno number.