HUANG Yifeng

@Y_F_Huang

Mathematician with a love of puzzling things. Postdoc at USC. Former postdoc at UBC. PhD '22 at U of Michigan.

Katılım Temmuz 2013

9 Takip Edilen57 Takipçiler

HUANG Yifeng@Y_F_Huang·16 Nis

Kudos to the A-team! The story originated from a machine-assisted research involving a series roughly like \sum_n q^{Q(n)} where n are integer vectors. But it won't make sense unless Q is positive definite. I gave a combinatorial proof, but the machine has to understand it.

Carina Hong@CarinaLHong

just finished something very cool ✨ we are also taking autoformalization requests from professional mathematicians - more to come soon 🪐

English

4.5K

HUANG Yifeng@Y_F_Huang·16 Nis

Recent work with @axiommathai @KenOno691 involving a @leanprover autoformalization of a combinatorial proof of a positive definiteness theorem about a quadratic form. This is part of a bigger project in q-series. See arxiv.org/abs/2604.13238

HUANG Yifeng@Y_F_Huang

Exciting theorem in the intersection of the geometry of singular curves and the combinatorics of numerical semigroups and Dyck paths! We prove that an explicit bilinear form on semigroup gaps gives a combinatorial statistic that extends dinv. The proof is autoformulated in Lean.

English

5.4K

HUANG Yifeng@Y_F_Huang·16 Nis