1
BLR for general finite fields
▶
1.1
BLR over General Finite Fields
2
Gowers Hatami theorem
▶
2.1
Preliminaries
2.2
Representation theory
2.3
Gowers Hatami Theorem
3
Exponential-length PCP
▶
3.1
Linear PCP for linear equations
3.2
Linear PCP for tensor checks
3.3
Linear PCP to PCP
Dependency graph
the PCP Theorem in Lean
yuxi-zheng
1
BLR for general finite fields
1.1
BLR over General Finite Fields
2
Gowers Hatami theorem
2.1
Preliminaries
2.2
Representation theory
2.3
Gowers Hatami Theorem
3
Exponential-length PCP
3.1
Linear PCP for linear equations
3.2
Linear PCP for tensor checks
3.3
Linear PCP to PCP