arXiv++ Combinatorics

Originally in 1954 the Tutte polynomial was a bivariate polynomial associated to a graph in order to enumerate the colorings of this graph and of its dual graph at the same time. However the Tutte polynomial reveals more of the internal structure of a graph, and contains even other specializations from other sciences like the Jones polynomial in Knot theory, the partition function of the Pott model in statistical physics, and the reliability polynomial in network theory. In this article, we study the Tutte polynomial associated to more general objects which are the arrangements of hyperplanes. Indeed determining the Tutte polynomial of a graph is equivalent to determining the Tutte polynomial of a special hyperplane arrangement called graphic arrangement. In 2007 Ardila computed the Tutte polynomials of the hyperplane arrangements associated to the classical Weyl groups, and the characteristic polynomials of the Catalan arrangements. The charateristic polynomial is also a specialization of the Tutte polynomial. In 2012 Seo computed the characteristic polynomials of the Shi threshold arrangements, and in 2017 Song computed the characteristic polynomials of the $\mathcal{I}_n$ arrangements in the plane and in the space. We aim to bring a more general result by introducing a wider class of hyperplane arrangements which is the set of symmetric hyperplane arrangements. We compute the Tutte polynomial of a symmetric hyperplane arrangement, and, as examples of application, we deduce the Tutte polynomials of the Catalan, the Shi threshold, and the $\mathcal{I}_n$ arrangements.

We give a simple recursion which computes the triply graded Khovanov-Rozansky homology of several infinite families of knots and links, including the $(n,nm\pm 1)$ and $(n,nm)$ torus links for $n,m\geq 1$. We interpret our results in terms of Catalan combinatorics, proving a conjecture of Gorsky's. Our computations agree with predictions coming from Hilbert schemes and rational DAHA, which also proves the Gorsky-Oblomkov-Rasmussen-Shende conjectures in these cases. Additionally, our results suggest a topological interpretation of the symmetric functions which appear in the context of the $m$-shuffle conjecture of Haglund-Haiman-Loehr-Remmel-Ulyanov.

Motivated by the problem of determining unknotted routes for the scaffolding strand in DNA origami self-assembly, we examine existence and knottedness of A-trails in graphs embedded on the torus. We show that any A-trail in a checkerboard-colorable torus graph is unknotted and characterize the existence of A-trails in checkerboard-colorable torus graphs in terms of pairs of quasitrees in associated embeddings. Surface meshes are frequent targets for DNA nanostructure self-assembly, and so we study both triangular and rectangular torus grids. We show that, aside from one exceptional family, a triangular torus grid contains an A-trail if and only if it has an odd number of vertices, and that such an A-trail is necessarily unknotted. On the other hand, while every rectangular torus grid contains an unknotted A-trail, we also show that any torus knot can be realized as an A-trail in some rectangular grid. Lastly, we use a gluing operation to construct infinite families of triangular and rectangular grids containing unknotted A-trails on surfaces of arbitrary genus. We also give infinite families of triangular grids containing no unknotted A-trail on surfaces of arbitrary nonzero genus.

We study the relationship between rational slope Dyck paths and invariant subsets of $\mathbb Z,$ extending the work of the first two authors in the relatively prime case. We also find a bijection between $(dn,dm)$--Dyck paths and $d$-tuples of $(n,m)$-Dyck paths endowed with certain gluing data. These are the first steps towards understanding the relationship between rational slope Catalan combinatorics and the geometry of affine Springer fibers and knot invariants in the non relatively prime case.

We consider intrinsic linking and knotting in the context of directed graphs. We construct an example of a directed graph that contains a consistently oriented knotted cycle in every embedding. We also construct examples of intrinsically 3-linked and 4-linked directed graphs. We introduce two operations, consistent edge contraction and H-cyclic subcontraction, as special cases of minors for digraphs, and show that the property of having a linkless embedding is closed under these operations. We analyze the relationship between the number of distinct knots and links in an undirected graph $G$ and its corresponding symmetric digraph $\overline{DG}$. Finally, we note that the maximum number of edges for a graph that is not intrinsically linked is $O(n)$ in the undirected case, but $O(n^2)$ for directed graphs.

This article is an exposition of a body of existing results, together with an announcement of recent results. We discuss a theory of polytopes associated to bipartite graphs and trinities, developed by Kálmán, Postnikov and others. This theory exhibits a variety of interesting duality and triality relations, and extends into knot theory, 3-manifold topology and Floer homology. In recent joint work with Kálmán, we extend this story into contact topology and contact invariants in sutured Floer homology.

We give a generating set of the generalized Reidemeister moves for oriented singular links. We use it to introduce an algebraic structure arising from the study of oriented singular knots. We give some examples, including some non-isomorphic families of such structures over non-abelian groups. We show that the set of colorings of a singular knot by this new structure is an invariant of oriented singular knots and use it to distinguish some singular links.

We discuss relations between quantum BPS invariants defined in terms of a product decomposition of certain series, and difference equations (quantum A-polynomials) that annihilate such series. We construct combinatorial models whose structure is encoded in the form of such difference equations, and whose generating functions (Hilbert-Poincaré series) are solutions to those equations and reproduce generating series that encode BPS invariants. Furthermore, BPS invariants in question are expressed in terms of Lyndon words in an appropriate language, thereby relating counting of BPS states to the branch of mathematics referred to as combinatorics on words. We illustrate these results in the framework of colored extremal knot polynomials: among others we determine dual quantum extremal A-polynomials for various knots, present associated combinatorial models, find corresponding BPS invariants (extremal Labastida-Mariño-Ooguri-Vafa invariants) and discuss their integrality.

It was proven by González-Meneses, Manchón and Silvero that the extreme Khovanov homology of a link diagram is isomorphic to the reduced (co)homology of the independence simplicial complex obtained from a bipartite circle graph constructed from the diagram. In this paper we conjecture that this simplicial complex is always homotopy equivalent to a wedge of spheres. In particular, its homotopy type, if not contractible, would be a link invariant and it would imply that the extreme Khovanov homology of any link diagram does not contain torsion. We prove the conjecture in many special cases and find it convincing to generalize it to every circle graph (intersection graph of chords in a circle). In particular, we prove it for the families of cactus, outerplanar, permutation and non-nested graphs. Conversely, we also give a method for constructing a permutation graph whose independence simplicial complex is homotopy equivalent to any given finite wedge of spheres. We also present some combinatorial results on the homotopy type of finite simplicial complexes and a theorem generalizing previous results by Csorba, Nagel and Reiner, Jonsson and Barmak. We study the implications of our results to Knot Theory; more precisely, we compute the real-extreme Khovanov homology of torus links $T(3,q)$ and obtain examples of $H$-thick knots whose extreme Khovanov homology groups are separated either by one or two gaps as long as desired.

We study random knotting by considering knot and link diagrams as decorated, (rooted) topological maps on spheres and pulling them uniformly from among sets of a given number of vertices $n$, as first established in recent work with Cantarella and Mastin. The knot diagram model is an exciting new model which captures both the random geometry of space curve models of knotting as well as the ease of computing invariants from diagrams. We prove that unknot diagrams are asymptotically exponentially rare, an analogue of Sumners and Whittington's landmark result for self-avoiding walks. Our proof uses the same key idea: We first show that knot diagrams obey a pattern theorem, which describes their fractal structure. We examine how quickly this behavior occurs in practice. As a consequence, almost all diagrams are asymmetric, simplifying sampling from this model. We conclude with experimental data on knotting in this model. This model of random knotting is similar to those studied by Diao et al., and Dunfield et al.

Wythoff's Game is a game for two players playing alternately on two stacks of tiles. On her turn, a player can either remove a positive number of tiles from one stack, or remove an equal positive number of tiles from both stacks. The last player to move legally wins the game. We propose and study a new extension of this game to more than two stacks, which we call Twyst-off, inspired by the Reidemeister moves of knot theory. From an ordered sequence of stacks of tiles, a player may either remove a positive number of tiles from one of the two end stacks, or remove the same positive number of tiles from two consecutive stacks. Whenever an interior stack is reduced to 0, the two neighboring stacks are combined. In this paper, we prove several results about those Twyst-off positions that can be won by the second player (these are called P-positions). We prove an existence and uniqueness result that makes the visualization of data on three-stack P-positions possible. This shows that many such positions are symmetric, like the easy general examples (a,a,a) and (a,a+1,a). The main result establishes tight bounds on those three-stack P-positions that are not symmetric. We go on to prove one general structural result for positions with an arbitrary number of stacks. We also prove facts about the game when allowing stacks of infinite size, including classifying all positions with only infinite stacks in sequences of up to six stacks.

In this paper we study properties of topological RNA structures, i.e.~RNA contact structures with cross-serial interactions that are filtered by their topological genus. RNA secondary structures within this framework are topological structures having genus zero. We derive a new bivariate generating function whose singular expansion allows us to analyze the distributions of arcs, stacks, hairpin- , interior- and multi-loops. We then extend this analysis to H-type pseudoknots, kissing hairpins as well as $3$-knots and compute their respective expectation values. Finally we discuss our results and put them into context with data obtained by uniform sampling structures of fixed genus.

In a previous work, the first and third authors studied a random knot model for all two-bridge knots using billiard table diagrams. Here we present a closed formula for the distribution of the crossing numbers of such random knots. We also show that the probability of any given knot appearing in this model decays to zero at an exponential rate as the length of the billiard table goes to infinity. This confirms a conjecture from the previous work.

We study Weinstein 4-manifolds which admit Lagrangian skeleta given by attaching disks to a surface along a collection of simple closed curves. In terms of the curves describing one such skeleton, we describe surgeries that preserve the ambient Weinstein manifold, but change the skeleton. The surgeries can be iterated to produce more such skeleta --- in many cases, infinitely many more. Each skeleton is built around a Lagrangian surface. Passing to the Fukaya category, the skeletal surgeries induce cluster transformations on the spaces of rank one local systems on these surfaces, and noncommutative analogues of cluster transformations on the spaces of higher rank local systems. In particular, the problem of producing and distinguishing such Lagrangians maps to a combination of combinatorial-geometric questions about curve configurations on surfaces and algebraic questions about exchange graphs of cluster algebras. Conversely, this expands the dictionary relating the cluster theory of character varieties, positroid strata, and related spaces to the symplectic geometry of Lagrangian fillings of Legendrian knots, by incorporating cluster charts more general than those associated to bicolored surface graphs.

The pioneering work of Jones and Kauffman unveiled a fruitful relationship between statistical mechanics and knot theory. Recently, Jones introduced two subgroups $\vec{F}$ and $\vec{T}$ of the Thompson groups $F$ and $T$, respectively, together with a procedure that associates an oriented link diagram to any element of these subgroups. Moreover, several specializations of some well-known polynomial link invariants can be seen as functions of positive type on the Thompson groups or the Jones-Thompson subgroups. One important example is provided by suitable evaluations of the Jones polynomial, which are thus associated with certain unitary representations of the groups $\vec{F}$ and $\vec{T}$. Within this framework, we discuss an alternative approach that relies on some partition function interpretation of the Jones polynomial, and also exhibit more examples associated with other link invariants, notably the two-variable Kauffman polynomial and the HOMFLY polynomial. In the unoriented case, extending our previous results, we also show by similar methods that certain evaluations of the Tutte polynomial and of the Kauffman bracket, suitably renormalized, yield functions of positive type on $T$.

Vassiliev (finite type) invariants of knots can be described in terms of weight systems. These are functions on chord diagrams satisfying so-called 4-term relations. In the study of the sl2 weight system, it was shown that its value on a chord diagram depends on the intersection graph of the diagram rather than on the diagram itself. Moreover, it was shown that the value of this weight system on an intersection graph depends on the cy- cle matroid of the graph rather than on the graph itself. This result arose the question whether there is a natural way to introduce a 4-term relation on the space spanned by matroids, similar to the one for graphs. It happened however that the answer is negative: there are graphs having isomorphic cycle matroids such that applying the "second Vassiliev move" to a pair of corresponding vertices a;b of the graphs we obtain two graphs with nonisomorphic matroids. The goal of the present paper is to show that the situation is different for binary delta-matroids: one can define both the first and the second Vassiliev moves for binary delta-matroids and introduce a 4-term relation for them in such a way that the mapping taking a chord diagram to its delta-matroid respects the corresponding 4-term relations. Moreover, this mapping admits a natural extension to chord diagrams on several circles, which correspond to singular links. Delta-matroids were introduced by A. Bouchet for the purpose of studying embedded graphs, whence their relationship with (multiloop) chord diagrams is by no means unexpected. Some evidence for the existence of such a relationship can be found, for example, the Tutte polynomial for embedded graphs has been introduced. It was shown that this polynomial depends on the delta-matroid of the embedded graph rather than the graph itself and satises the Vassilev 4-term relation.

We extend the table of Garoufalidis, Le and Zagier concerning conjectural Rogers-Ramanujan type identities for tails of colored Jones polynomials to all alternating knots up to 10 crossings. We then prove these new identities using q-series techniques.

Many interesting spaces --- including all positroid strata and wild character varieties --- are moduli of constructible sheaves on a surface with microsupport in a Legendrian link. We show that the existence of cluster structures on these spaces may be deduced in a uniform, systematic fashion by constructing and taking the sheaf quantizations of a set of exact Lagrangian fillings in correspondence with isotopy representatives whose front projections have crossings with alternating orientations. It follows in turn that results in cluster algebra may be used to construct and distinguish exact Lagrangian fillings of Legendrian links in the standard contact three space.

We describe in this note a new invariant of rooted trees. We argue that the invariant is interesting on it own, and that it has connections to knot theory and homological algebra. However, the real reason that we propose this invariant to readers is that we deal here with an elementary, interesting, new mathematics, and after reading this essay readers can take part in developing the topic, inventing new results and connections to other disciplines of mathematics, and likely, statistical mechanics, and combinatorial biology. We also provide a (free) translation of the paper in Polish.

The tail of the colored Jones polynomial of an alternating link is a $q$-series invariant whose first $n$ terms coincide with the first $n$ terms of the $n$-th colored Jones polynomial. Recently, it has been shown that the tail of the colored Jones polynomial of torus knots give rise to Ramanujan type identities. In this paper, we study $q$-series identities coming from the colored Jones polynomial of pretzel knots. We prove a false theta function identity that goes back to Ramanujan and we give a natural generalization of this identity using the tail of the colored Jones polynomial of Pretzel knots. Furthermore, we compute the tail for an infinite family of Pretzel knots and relate it to false theta function-type identities.