Kai Zheng

Fellow @SimonsInstitute and incoming Member @the_IAS

[Kai Zheng @kaizhengcs]

@houlintai Interesting!

[Kai Zheng @kaizhengcs]

@abasu330 @VVfishtail Thanks Arpon!

[Kai Zheng @kaizhengcs]

Excited to share a joint work with Joshua Brakensiek, Yeyuan Chen, Louie Putterman, and Zihan Zhang (@VVfishtail) on list decoding Reed–Solomon codes up to capacity in the low, but still constant, rate regime!

https://t.co/zlpOruHVy9

1/5

[Kai Zheng @kaizhengcs]

@TomGur @VVfishtail Thank you Tom!

[Kai Zheng @kaizhengcs]

Thanks to Omar Alrabiah (@omaralrabiah99), Venkat Guruswami (@venkatguruswami), and Rohan Goyal for a neat one-liner boosting our low-rate result to all rates.

To list decode at higher rates, pad with 0s until the rate is small enough, then do low-rate LD + pruning.

[Kai Zheng @kaizhengcs]

Excited to share a joint work with Joshua Brakensiek, Yeyuan Chen, Louie Putterman, and Zihan Zhang (@VVfishtail) on list decoding Reed–Solomon codes up to capacity in the low, but still constant, rate regime!

https://t.co/zlpOruHVy9

1/5

[Kai Zheng @kaizhengcs]

@seyoonragavan Thank you Seyoon!

[Kai Zheng @kaizhengcs]

@srishtfateh @VVfishtail Thanks Srisht!

[Kai Zheng @kaizhengcs]

@nasqret Agreed. Super excited for future developments!

[Kai Zheng @kaizhengcs]

@franklyteddy @VVfishtail Thanks!

[Kai Zheng @kaizhengcs]

@vovweb3 @zkDragon @VVfishtail Thanks!

[Kai Zheng @kaizhengcs]

@zkDragon @VVfishtail Thank you!

[Kai Zheng @kaizhengcs]

@zkproofs @VVfishtail Thank you Pratyush!

[Kai Zheng @kaizhengcs]

@AlexGDimakis @VVfishtail Thanks!!

[Kai Zheng @kaizhengcs]

@Pooyahat @VVfishtail Thank you!

[Kai Zheng @kaizhengcs]

For anyone interested in following along: an AI-generated version of the proximity-gaps/MCA paper and a Lean proof of the list-decoding result are here:

https://t.co/7mZjQFxK9E

We’re also working on a Lean proof of the proximity-gaps result.

5/5

[Kai Zheng @kaizhengcs]

Using similar techniques, we can also obtain analogous mutual correlated agreement (MCA) results up to capacity, again in the low but constant rate regime.

We’re working on cleaning this up and hope to post it soon!

4/5