Brauer configuration for a one-row zero-sum equation

ID: brauer-configuration-for-a-one-row-zero-sum-equation

Suppose nonzero integer coefficients have a nonempty zero-sum subset , and fix . Put and . A Brauer progression theorem configuration containing a sufficiently long monochromatic progression of step and the point gives a positive solution: take every outside variable equal to , and the inside variables from the progression with offsets , where and the other offsets are zero. Shifting all inside offsets by the same integer keeps their weighted sum unchanged, because . This removes negative offsets while preserving the equation.

New to topics? Read the docs here!