Log inSign up
Harris Chan profile banner
user avatar

Harris Chan

@SirrahChan
Research Scientist at @GoogleDeepMind, ML PhD @UofT/@VectorInst. EngSci Grad. Former Canadian Rubik's Cube Champion.
Toronto, Ontario
Joined January 2013
1,637
Following
3,624
Followers
RepliesMedia
  • user avatar
    Harris Chan
    @SirrahChan
    Jul 22
    Classical reductions already guarantee a Yagzhev-form counterexample in some higher dimension. This note makes that consequence fully explicit in dimension 19. Explicit map + two independent exact verifiers (SymPy + Python std library): harrischan.com/docs/yagzhev-1…
    Consequence diagram for the explicit three-variable Jacobian counterexample. It yields explicit counterexamples to the Jacobian, Dixmier, and Poisson conjectures in every dimension at least three. The Yagzhev-form box is now marked explicit in dimension 19; symmetric or gradient and Druzkowski-form extractions remain open. Other open boxes include the dimension-two Jacobian conjecture and the Kontsevich-BKK automorphism conjecture.
    Sparse Segre-Yagzhev lift. The posted 11-variable degree-three map is normalized as Phi prime equals X plus Q plus C. Only seven components of the cubic part are nonzero. The displayed lift uses seven auxiliary coordinates and one Segre variable, giving 11 plus 7 plus 1 equals 19.
    user avatar
    levent
    @__alpoge__
    Jul 20
    hello there the jacobian conjecture is false thanx to my close friend akhil for asking about it and my other close friend fable for working during the world cup final ((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x - 3 x^2 y - x^3 z): \C^3\to \C^3,
  • user avatar
    Harris Chan
    @SirrahChan
    Jul 21
    This note makes the Dixmier & Poisson consequences explicit and fully checkable: the inverse-Jacobian Weyl lift and cotangent Poisson lift, direct proofs of injectivity + non-surjectivity for every rank n≥3, and two verifiers. harrischan.com/docs/weyl-pois…
    Image
    Image
    Image
    user avatar
    levent
    @__alpoge__
    Jul 20
    hello there the jacobian conjecture is false thanx to my close friend akhil for asking about it and my other close friend fable for working during the world cup final ((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x - 3 x^2 y - x^3 z): \C^3\to \C^3,
  • user avatar
    Harris Chan
    @SirrahChan
    Jul 20
    Jacobian-Vector Products been real quiet since this dropped.
    user avatar
    levent
    @__alpoge__
    Jul 20
    hello there the jacobian conjecture is false thanx to my close friend akhil for asking about it and my other close friend fable for working during the world cup final ((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x - 3 x^2 y - x^3 z): \C^3\to \C^3,
  • user avatar
    Harris Chan
    @SirrahChan
    Jul 7
    Huge congratulations to Vlad Mnih & co-authors on the ICML 2026 Test of Time Award for A3C! From using A3C on my very first paper to later interning for Vlad, joining his team, and collaborating with @_timharley on SIMA 2, so grateful to work with such inspiring researchers 🙏