Ramification sequences and Bezoutian forms

We continue our study from [1] on the problem to bound the number of symbols needed to obtain an element of the second K-group of a rational function field with given ramification. Here we focus on the case of Milnor K-groups modulo 2 for fields of characteristic different from 2. To a given ramification sequence, we associate a quadratic form defined over the base field and study its properties. In particular, we relate the Witt index of the quadratic form to the minimal number of symbols necessary to represent the ramification sequence.