Publications

Symmetries of equivariant Khovanov homology, Mikhail Khovanov, Taketo Sano, https://arxiv.org/abs/2509.03785

Annular SL(2) and SL(3) web algebras, Rostislav Akhmechet, Mikhail Khovanov, Melissa Zhang, https://arxiv.org/abs/2508.05605

Lectures on SL(3) foams and link homology, Mikhail Khovanov, Dmitry Solovyev, https://arxiv.org/abs/2507.17119

Distinguishing closed 4-manifolds by slicing, Tye Lidman, Lisa Piccirillo, https://arxiv.org/abs/2505.14387v1

Knots that share four surgeries, Marc Kegel, Lisa Piccirillo, https://arxiv.org/abs/2505.13168v2

Real Heegaard Floer Homology, Gary Guth, Ciprian Manolescu, https://arxiv.org/abs/2504.09034v1

Stably irreducible non-orientable knotted surfaces, Tye Lidman, Lisa Piccirillo, https://arxiv.org/abs/2504.03086v1

Two-dimensional topological quantum field theories of rank two over Dedekind domains, Fabian Espinoza, Mee Seong Im, Mikhail Khovanov, https://arxiv.org/abs/2502.04502

A quantum algorithm for Khovanov homology, Alexander Schmidhuber, Michele Reilly, Paolo Zanardi, Seth Lloyd, Aaron Lauda, https://arxiv.org/abs/2501.12378

Humanity’s Last Exam, Long Phan, Alice Gatti, Ziwen Han, Nathaniel Li, et. al. https://arxiv.org/pdf/2501.14249v1

Universal quantum computation using Ising anyons from a non-semisimple Topological Quantum Field Theory, Filippo Iulianelli, Sung Kim, Joshua Sussan, Aaron D. Lauda, https://arxiv.org/abs/2410.14860v1

Entropy, cocycles, and their diagrammatics, Mee Seong Im, Mikhail Khovanov, arXiv:2409.08462

What makes math problems hard for reinforcement learning: a case study, Ali Shehper, Anibal M. Medina-Mardones, Bartłomiej Lewandowski, Angus Gruen, Piotr Kucharski, Sergei Gukov, arXiv:2408.15332

Foams and KZ-equations in Rozansky-Witten theories, Sergei Gukov, Babak Haghighat, Nicolai Reshetikhin, arXiv:2407.19757

Smooth structures on four-manifolds with finite cyclic fundamental groups, R. Inanc Baykur, Andras I. Stipsicz, Zoltan Szabo, arXiv:2406.09007

Bounding the Dehn surgery number by 10/8, Beibei Liu, Lisa Piccirillo, arXiv:2405.16904

Foams with flat connections and algebraic K-theory, David Gepner, Mee Seong Im, Mikhail Khovanov, Nitu Kitchloo, arXiv:2405.14465

Learning BPS Spectra and the Gap Conjecture, Sergei Gukov, Rak-Kyeong Seong, arXiv:2405.09993

On categorification of Stokes coefficients in Chern-Simons theory, Sergei Gukov, Pavel Putrov, arXiv:2403.12128

Foam cobordism and the Sah-Arnoux-Fathi invariant, Mee Seong Im, Mikhail Khovanov, arXiv:2403.06030

Rigor with Machine Learning from Field Theory to the Poincaré Conjecture, Sergei Gukov, James Halverson, Fabian Ruehle, arXiv:2402.13321

Density and unitarity of the Burau representation from a non-semisimple TQFT, Nathan Geer, Aaron D. Lauda, Bertrand Patureau-Mirand, Joshua Sussan, arXiv:2402.13242

Spectral 2-actions, foams, and frames in the spectrification of Khovanov arc algebras, Anne Dranowski, Meng Guo, Aaron Lauda, Andrew Manion, arXiv:2402.11368

The Automorphism Equivariant Hitchin Index, Jørgen Ellegaard Andersen, William Elbæk Mistegård, arXiv:2401.13289

Boolean TQFTs with accumulating defects, sofic systems, and automata for infinite words, Paul Gustafson, Mee Seong Im, Mikhail Khovanov, arXiv:2312.17033

On Algebraization in Low-Dimensional Topology, Anna Beliakova, Ivelina Bobtcheva, Marco De Renzi, Riccardo Piergallini, arXiv:2312.15986

On the universal pairing for 2-complexes, M.Khovanov and V.Krushkal, arXiv:2312.07429

Quantum Frobenius and modularity for quantum groups at arbitrary roots of 1, Cris Negron, arXiv:2311.13797

Planar graphs deformations of bordered knot algebras, Peter Ozsvath, Zoltan Szabo, arXiv:2311.07503

Definite four-manifolds with exotic smooth structures, András I. Stipsicz, Zoltán Szabó, arXiv:2310.16156

Going to the Other Side via the Resurgent Bridge, Ovidiu Costin, Gerald V. Dunne, Angus Gruen, Sergei Gukov, arXiv:2310.12317

From finite state automata to tangle cobordisms: a TQFT journey from one to four dimensions, Mee Seong Im, Mikhail Khovanov, arXiv:2309.00708

Exotic definite four-manifolds with non-trivial fundamental group, Andras I. Stipsicz, Zoltan Szabo, arXiv:2308.08388

$c_{eff}$ for 3d N=2 theories, Sergei Gukov, Mrunmay Jagadale, arXiv:2308.05360

Floer homology beyond borders, Robert Lipshitz, Peter Ozsváth, Dylan Thurston, arXiv:2307.16330

New constructions and invariants of closed exotic 4-manifolds, Adam Simon Levine, Tye Lidman, Lisa Piccirillo, arXiv:2307.08130

On the minimal genus problem in four-manifolds, András I. Stipsicz, Zoltán Szabó, arXiv:2307.04202

A topological theory of unoriented SL(4) foams, Mikhail Khovanov, Jozef H. Przytycki, Louis-Hadrien Robert, Marithania Silvero, arXiv:2307.00674

Revisiting the Steinberg representation at arbitrary roots of 1, Cris Negron, arXiv:2306.14453

Abelian TQFTS and Schrödinger local systems, Anna Beliakova, Christian Blanchet, arXiv:2306.10725

Small symplectic caps and embeddings of homology balls in the complex projective plane, John B. Etnyre, Hyunki Min, Lisa Piccirillo, Agniva Roy, arXiv:2305.16207

Bordered HF- for three-manifolds with torus boundary, Robert Lipshitz, Peter Ozsváth, Dylan Thurston, arXiv:2305.07754

On unification of colored annular sl(2) knot homology, Anna Beliakova, Matthew Hogancamp, Krzysztof Karol Putyra, Stephan Martin Wehrli, arXiv:2305.02977

Searching for ribbons with machine learning, Sergei Gukov, James Halverson, Ciprian Manolescu, Fabian Ruehle, arXiv:2304.09304

$\hat Z_b$ for plumbed manifolds and splice diagrams, Sergei Gukov, Ludmil Katzarkov, Josef Svoboda, arXiv:2304.00699

Universal construction in monoidal and non-monoidal settings, the Brauer envelope, and pseudocharacters, Mee Seong Im, Mikhail Khovanov, Victor Ostrik, arXiv:2303.02696

A Rasmussen invariant for links in RP3, Ciprian Manolescu, Michael Willis, arXiv:2301.09764

2-Representations of sl2 from Quasi-Maps, Raphael Rouquier, arXiv:2301.02644

Automata and one-dimensional TQFTs with defects, Paul Gustafson, Mee Seong Im, Remy Kaldawy, Mikhail Khovanov, Zachary Lihn, arXiv:2301.00700

The pong algebra and the wrapped Fukaya category, Peter Ozsvath, Zoltan Szabo, arXiv:2212.14420

The half-quantum flag variety and representations for small quantum groups, Cris Negron, Julia Pevtsova, arXiv:2212.12198

The pong algebra, Peter S. Ozsvath, Zoltan Szabo, arXiv:2212.11885

Matrix factorizations and gl(m|k)-quantum invariants, Alexei Oblomkov, Lev Rozansky, arXiv:2212.02665

Relations in singular instanton homology, Peter B. Kronheimer, Tomasz S. Mrowka, arXiv:2210.07059

A proof of Dunfield-Gukov-Rasmussen Conjecture, Anna Beliakova, Krzysztof K. Putyra, Louis-Hadrien Robert, Emmanuel Wagner, arXiv:2210.00878

One-dimensional topological theories with defects: the linear case, Mee Seong Im, Mikhail Khovanov, arXiv:2210.00371

Non-semisimple Levin-Wen Models and Hermitian TQFTs from quantum (super)groups, Nathan Geer, Aaron D. Lauda, Bertrand Patureau-Mirand, Joshua Sussan, arXiv:2208.14566

3-manifolds and Vafa-Witten theory, Sergei Gukov, Artan Sheshmani, Shing-Tung Yau, arXiv:2207.05775

Skein lasagna modules and handle decompositions, Ciprian Manolescu, Kevin Walker, Paul Wedrich, arXiv:2206.04616

Categorification of the internal braid group action for quantum groups I: 2-functoriality, Michael T. Abram, Laffite Lamberto-Egan, Aaron D. Lauda, David E.V. Rose, arXiv:2205.04598 

Odd two-variable Soergel bimodules and Rouquier complexes, Mikhail Khovanov, Krzysztof Putyra, Pedro Vaz, arXiv:2205.12794

Foams, iterated wreath products, field extensions and Sylvester sums, Mee Seong Im, Mikhail Khovanov, arXiv:2107.07845