New PFR papers

Stream: Polynomial Freiman-Ruzsa conjecture

[Terence Tao]

Dear all,

There are two new papers on PFR that could potentially be formalized as an additional extension to this project:

• "Marton's Conjecture in abelian groups with bounded torsion", W. T. Gowers, Ben Green, Freddie Manners, Terence Tao - extends PFR to odd characteristic
• "Improved Exponent for Marton's Conjecture in Fn2, Jyun-Jie Liao - improves the PFR exponent in characteristic 2 further, from 11 to 9.

Jyun-Jie Liao and I have agreed to try working on formalizing these results, possibly starting in a month or so with an update of the blueprint. Stay tuned!