arXiv subjects

Daniel Tubbenhauer

Publications and source records attributed to Daniel Tubbenhauer.

At least 19 recordsLinked to original sources

arXiv2026

RL unknotter, hard unknots and unknotting number

We develop a reinforcement learning pipeline for simplifying knot diagrams. A trained agent learns move proposals and a value heuristic for navigating Reidemeister moves. The pipeline applies to arbitrary knots and links; we test it on ``very hard'' unknot diagrams and, using diagram inflation, on $4_1\#9_{10}$ where we investigate the recently established and surprising upper bound of three for the unknotting number. In addition, we explain a self-improving workbook-driven extension of the pipeline that systematically improves unknotting number upper bounds on the prime knots.

math.GT↗

arXiv2026

SL2 tilting modules in the mixed case

Using the non-semisimple Temperley-Lieb calculus, we study the additive and monoidal structure of the category of tilting modules for $\mathrm{SL}_{2}$ in the mixed case. This simultaneously generalizes the semisimple situation, the case of the complex quantum group at a root of unity, and the algebraic group case in positive characteristic. We describe character formulas and give a presentation of the category of tilting modules as an additive category via a quiver with relations. Turning to the monoidal structure, we describe fusion rules and obtain an explicit recursive description of the appropriate analog of Jones-Wenzl projectors.

math.RT↗

arXiv2026

The subregular and submaximal $p$-cells

Cells for the canonical and $p$-canonical bases organise the representation theory and geometry of Hecke categories. We determine the relevant $p$-canonical basis elements and the resulting $p$-cell structure for the subregular and submaximal cells in all classical types.

math.RT↗

arXiv2026

On detection probabilities of link invariants

We prove that, for many standard link invariants, both the proportion of distinct invariant values and the detection probability among prime alternating links with at most n crossings decay exponentially in n, with an explicit universal rate. In fact, almost every such link belongs to an invariant fiber whose size is itself exponential in n. This phenomenon applies broadly, in particular to the Jones and HOMFLYPT polynomials and integral Khovanov homology. The companion website gives a much more detailed view of the data, including complete distributions of fiber sizes, separate alternating and non-alternating data, and topological data analysis.

math.GT↗

arXiv2026

Presentations for categories of crystals

We give generators and relations for the monoidal categories of crystals generated by the fundamental crystals of a simple complex Lie algebra. We also spell out several small-rank examples.

math.RT↗

arXiv2026

Growth in affine Hecke categories

This paper studies the asymptotic growth of tensor powers in affine Hecke categories, or equivalently of powers of Kazhdan--Lusztig basis elements in affine Hecke algebras. We prove general bounds in arbitrary affine type, determine precise asymptotics in affine type A1, and establish corresponding results for several natural families in affine type A2.

math.RT↗

arXiv2026

Big data approach to Kazhdan-Lusztig polynomials

We investigate the structure of Kazhdan-Lusztig polynomials of the symmetric group by leveraging computational approaches from big data, including exploratory and topological data analysis, applied to the polynomials for symmetric groups of up to 11 strands.

math.RT↗

arXiv2026

On Hecke and asymptotic categories for a family of complex reflection groups

Generalizing the dihedral picture for G(M,M,2), we construct Hecke algebras (and present a strategy for constructing Hecke categories) and asymptotic counterparts. We think of these as associated with the complex reflection group G(M,M,N).

math.RT↗

arXiv2026

Minimal presentations of gln-web categories

In this paper we study categories of gln-webs which describe associated representation categories of the quantum group Uq(gln). We give a minimal presentation of the category of gln-webs over a field with generic quantum parameters. We additionally describe an integral presentation which differs from others in the literature because it is "as coefficient-free as possible".

math.QA↗

arXiv2025

Diagrammatics for dicyclic groups

Using that the dicyclic group is the type D subgroup of SU(2), we extend the Temperley-Lieb diagrammatics to give a diagrammatic presentation of the complex representation theory of the dicyclic group.

math.RT↗

arXiv2025

Affine diagram categories, algebras and monoids

We introduce and study several affine (=annular in this paper) versions of the classical diagram algebras such as Temperley-Lieb, partition, Brauer, Motzkin, rook Brauer, rook, planar partition, and planar rook algebras. We give generators and relation presentation for them and their associated categories, study their representation theory, and the asymptotic behavior of tensor products of their representations in the monoid case. Under a mild hypothesis, we also prove a previous conjecture concerning the asymptotic growth of the number of indecomposable summands in the tensor powers of representations for finite monoids.

math.RT↗

arXiv2025

Generalized diagram categories and monoids, and their representations

Classical diagram categories and monoids, including the Temperley--Lieb, Brauer, and partition cases, arise as special instances of the category of two dimensional cobordisms and admit additional twists that produce a large new family of diagram categories and monoids. In this paper we introduce this family and develop a unified approach to their representation theory.

math.RT↗

arXiv2025

Asymptotics in infinite monoidal categories

We discuss formulas for the asymptotic growth rate of the number of summands in tensor powers in certain (finite or infinite) monoidal categories. Our focus is on monoidal categories with infinitely many indecomposable objects, with our main tools being generalized Perron-Frobenius theory alongside techniques from random walks.

math.CT↗

arXiv2025

Verma Howe duality and LKB representations

We establish a version of Howe duality that involves a tensor product of Verma modules. Surprisingly, this duality leaves the realm of lowest and highest weight modules. We quantize this duality, and as an application, we prove that the (colored higher) LKB representations arise from this duality and use this description to show that they are simple as modules for the braid group and for various of its subgroups, including the pure braid group.

math.RT↗

arXiv2025

Growth Problems of Quantum Groups

We study the asymptotic size of decompositions of tensor powers of tilting modules for quantum groups (mostly at a complex root of unity). In type A1 we obtain a sharp result for the number of indecomposable summands, explained by a one dimensional half-line random walk with a periodic congruence constraint. In general type we prove a universal law: the dominant part is governed only by the dimension of the module, while the correction depends only on the root system, so the asymptotic size is largely independent of the specific tilting module.

math.RT↗

arXiv2025

Growth Problems for Representations of Finite Monoids

We give a conjecture for the asymptotic growth rate of the number of indecomposable summands in the tensor powers of representations of finite monoids, expressing it in terms of the (Brauer) character table of the monoid's group of units. We prove it under an additional hypothesis. We also give (exact and asymptotic) formulas for the growth rate of the length of the tensor powers when working over a good characteristic. As examples, we compute the growth rates for the full transformation monoid, the symmetric inverse monoid, and the monoid of 2 by 2 matrices. We also provide code used for our calculation.

math.RT↗

arXiv2025

Cellularity of KLR and weighted KLRW algebras via crystals

We prove that the weighted KLRW algebras of finite type, and their cyclotomic quotients, are cellular algebras. The cellular bases are explicitly described using crystal graphs. As a special case, this proves that the KLR algebras of finite type are cellular. As one application, we give explicit formulas for the graded decomposition numbers of the cyclotomic algebras in level one.

math.RT↗

arXiv2025

On knot detection via picture recognition

Our goal is to one day take a photo of a knot and have a phone automatically recognize it. In this expository work, we explain a strategy to approximate this goal, using a mixture of modern machine learning methods (in particular convolutional neural networks and transformers for image recognition) and traditional algorithms (to compute quantum invariants like the Jones polynomial). We present simple baselines that predict crossing number directly from images, showing that even lightweight CNN and transformer architectures can recover meaningful structural information. The longer-term aim is to combine these perception modules with symbolic reconstruction into planar diagram (PD) codes, enabling downstream invariant computation for robust knot classification. This two-stage approach highlights the complementarity between machine learning, which handles noisy visual data, and invariants, which enforce rigorous topological distinctions.

cs.LG↗