arXiv++ Combinatorics

The lattice of integer flows of a graph is known to determine the graph up to 2-isomorphism (work of Su--Wagner and Caporaso--Viviani). In this paper we give an algorithmic construction of the graphic matroid $\calM(G)$ of a graph $G$, given its lattice of integer flows $\calF(G)$. The algorithm can then be applied to compute any other 2-isomorphism invariants (that is, matroid invariants) of $G$ from $\calF(G)$. Our method is based on a result of Amini which describes the relationship between the geometry of the Voronoi cell of $\calF(G)$ and the structure of $G$.

We give a survey of basic facts of $q$-holonomic functions of one or several variables, following Zeilberger and Sabbah. We provide detailed proofs and examples.

We study the structure of the stable coefficients of the Jones polynomial of an alternating link. We start by identifying the first four stable coefficients with polynomial invariants of a (reduced) Tait graph of the link projection. This leads us to introduce a free polynomial algebra of invariants of graphs whose elements give invariants of alternating links which strictly refine the first four stable coefficients. We conjecture that all stable coefficients are elements of this algebra, and give experimental evidence for the fifth and sixth stable coefficient. We illustrate our results in tables of all alternating links with at most 10 crossings and all irreducible planar graphs with at most 6 vertices.

Recent advances in Quantum Topology assign $q$-series to knots in at least three different ways. The $q$-series are given by generalized Nahm sums (i.e., special $q$-hypergeometric sums) and have unknown modular and asymptotic properties. We give an efficient method to compute those $q$-series that come from planar graphs (i.e., reduced Tait graphs of alternating links) and compute several terms of those series for all graphs with at most 8 edges drawing several conclusions. In addition, we give a graph-theory proof of a theorem of Dasbach-Lin which identifies the coefficient of $q^k$ in those series for $k=0,1,2$ in terms of polynomials on the number of vertices, edges and triangles of the graph. Updated tables of data.

Our goal is to compute the minimal-order recurrence of the colored Jones polynomial of the 7_4 knot, as well as for the first four double twist knots. As a corollary, we verify the AJ Conjecture for the simplest knot 7_4 with reducible non-abelian SL(2,C) character variety. To achieve our goal, we use symbolic summation techniques of Zeilberger's holonomic systems approach and an irreducibility criterion for q-difference operators. For the latter we use an improved version of the qHyper algorithm of Abramov-Paule-Petkovsek to show that a given q-difference operator has no linear right factors. En route, we introduce exterior power Adams operations on the ring of bivariate polynomials and on the corresponding affine curves.

A sequence $f_n(q)$ is $q$-holonomic if it satisfies a nontrivial linear recurrence with coefficients polynomials in $q$ and $q^n$. Our main theorems state that $q$-holonomicity is preserved under twisting, i.e., replacing $q$ by $ωq$ where $ω$ is a complex root of unity, and under the substitution $q \to q^α$ where $α$ is a rational number. Our proofs are constructive, work in the multivariate setting of $\partial$-finite sequences and are implemented in the Mathematica package HolonomicFunctions. Our results are illustrated by twisting natural $q$-holonomic sequences which appear in quantum topology, namely the colored Jones polynomial of pretzel knots and twist knots. The recurrence of the twisted colored Jones polynomial can be used to compute the asymptotics of the Kashaev invariant of a knot at an arbitrary complex root of unity.

The paper contains a combinatorial theorem (the sequence of Newton polygons of a reccurent sequence of polynomials is quasi-linear) and two applications of it in classical and quantum topology, namely in the behavior of the $A$-polynomial and a fixed quantum invariant (such as the Jones polynomial) under filling. Our combinatorial theorem, which complements results of Calegari-Walker \cite{CW} and the author \cite{Ga4}, occupies the bulk of the paper and its proof requires the Lech-Mahler-Skolem theorem of $p$-adic analytic number theory combined with basic principles in polyhedral and tropical geometry.

We study q-holonomic sequences that arise as the colored Jones polynomial of knots in 3-space. The minimal-order recurrence for such a sequence is called the (non-commutative) A-polynomial of a knot. Using the "method of guessing", we obtain this polynomial explicitly for the K_p = (-2, 3, 3+2p) pretzel knots for p = -5, ..., 5. This is a particularly interesting family since the pairs (K_p, -K_{-p}) are geometrically similar (in particular, scissors congruent) with similar character varieties. Our computation of the non-commutative A-polynomial (a) complements the computation of the A-polynomial of the pretzel knots done by the first author and Mattman, (b) supports the AJ Conjecture for knots with reducible A-polynomial and (c) numerically computes the Kashaev invariant of pretzel knots in linear time. In a later publication, we will use the numerical computation of the Kashaev invariant to numerically verify the Volume Conjecture for the above mentioned pretzel knots.

The SL_3 colored Jones polynomial of the trefoil knot is a $q$-holonomic sequence of two variables with natural origin, namely quantum topology. The paper presents an explicit set of generators for the annihilator ideal of this $q$-holonomic sequence as a case study. On the one hand, our results are new and useful to quantum topology: this is the first example of a rank 2 Lie algebra computation concerning the colored Jones polynomial of a knot. On the other hand, this work illustrates the applicability and computational power of the employed computer algebra methods.

A sequence of rational functions in a variable $q$ is $q$-holonomic if it satisfies a linear recursion with coefficients polynomials in $q$ and $q^n$. We prove that the degree of a $q$-holonomic sequence is eventually a quadratic quasi-polynomial. Our proof uses differential Galois theory (adapting proofs regarding holonomic $D$-modules to the case of $q$-holonomic $D$-modules) combined with the Lech-Mahler-Skolem theorem from number theory. En route, we use the Newton polygon of a linear $q$-difference equation, and introduce the notion of regular-singular $q$-difference equation and a WKB basis of solutions of a linear $q$-difference equation at $q=0$. We then use the Lech-Mahler-Skolem theorem to study the vanishing of their leading term. Unlike the case of $q=1$, there are no analytic problems regarding convergence of the WKB solutions.Our proofs are constructive, and they are illustrated by an explicit example.

A local lattice point counting formula, and more generally a local Euler-Maclaurin formula follow by comparing two natural families of meromorphic functions on the dual of a rational vector space $V$, namely the family of exponential sums (S) and the family of exponential integrals (I) parametrized by the set of rational polytopes in $V$. The paper introduces the notion of an interpolator between these two families of meromorphic functions. We prove that every rigid complement map in $V$ gives rise to an effectively computable \SI-interpolator (and a local Euler-MacLaurin formula), an \IS-interpolator (and a reverse local Euler-MacLaurin formula) and an \ISo-interpolator. Rigid complement maps can be constructed by choosing an inner product on $V$ or by choosing a complete flag in $V$. The corresponding interpolators generalize and unify the work of Berline-Vergne, Pommersheim-Thomas, and Morelli.

Bender-Canfield showed that a plethora of graph counting problems in oriented/unoriented surfaces involve two constants $t_g$ and $p_g$ for the oriented and the unoriented case respectively. T.T.Q. Le and the authors recently discovered a hidden relation between the sequence $t_g$ and a formal power series solution $u(z)$ of the Painlevé I equation which, among other things, allows to give exact asymptotic expansion of $t_g$ to all orders in $1/g$ for large $g$. The paper introduces a formal power series solution $v(z)$ of a Riccati equation, gives a nonlinear recursion for its coefficients and an exact asymptotic expansion to all orders in $g$ for large $g$, using the theory of Borel transforms. In addition, we conjecture a precise relation between the sequence $p_g$ and $v(z)$. Our conjecture is motivated by the enumerative aspects of a quartic matrix model for real symmetric matrices, and the analytic properties of its double scaling limit. In particular, the matrix model provides a computation of the number of rooted quadrangulations in the 2-dimensional projective plane. Our conjecture implies analyticity of the $\mathrm{O}(N)$ and $\mathrm{Sp}(N)$-types of free energy of an arbitrary closed 3-manifold in a neighborhood of zero. Finally, we give a matrix model calculation of the Stokes constants, pose several problems that can be answered by the Riemann-Hilbert approach, and provide ample numerical evidence for our results.

The purpose of the paper is to introduce two new algorithms. The first one computes a linear recursion for proper hypergeometric multisums, by treating one summation variable at a time, and provides rational certificates along the way. A key part in the search of a linear recursion is an improved universal denominator algorithm that constructs all rational solutions $x(n)$ of the equation $$ \frac{a_m(n)}{b_m(n)}x(n+m)+...+\frac{a_0(n)}{b_0(n)}x(n)= c(n),$$ where $a_i(n), b_i(n), c(n)$ are polynomials. Our algorithm improves Abramov's universal denominator.

The purpose of the paper is two-fold: to introduce a multivariable creative telescoping method, and to apply it in a problem of Quantum Topology: namely the computation of the non-commutative $A$-polynomial of twist knots. Our multivariable creative telescoping method allows us to compute linear recursions for sums of the form $J(n)=\sum_k c(n,k) \hatJ (k)$ given a recursion relation for $(\hatJ(n))$ a the hypergeometric kernel $c(n,k)$. As an application of our method, we explicitly compute the non-commutative $A$-polynomial for twist knots with -8 and 11 crossings. The non-commutative $A$-polynomial of a knot encodes the monic, linear, minimal order $q$-difference equation satisfied by the sequence of colored Jones polynomials of the knot. Its specialization to $q=1$ is conjectured to be the better-known $A$-polynomial of a knot, which encodes important information about the geometry and topology of the knot complement. Unlike the case of the Jones polynomial, which is easily computable for knots with 50 crossings, the $A$-polynomial is harder to compute and already unknown for some knots with 12 crossings.

The purpose of the paper is three-fold: (a) we prove that every sequence which is a multidimensional sum of a balanced hypergeometric term has an asymptotic expansion of Gevrey type-1 with rational exponents, (b) we construct a class of $G$-functions that come from enumerative combinatorics, and (c) we give a counterexample to a question of Zeilberger that asks whether holonomic sequences can be written as multisums of balanced hypergeometric terms. The proofs utilize the notion of a $G$-function, introduced by Siegel, and its analytic/arithmetic properties shown recently by André.

Given a square matrix with elements in the group-ring of a group, one can consider the sequence formed by the trace (in the sense of the group-ring) of its powers. We prove that the corresponding generating series is an algebraic $G$-function (in the sense of Siegel) when the group is free of finite rank. Consequently, it follows that the norm of such elements is an exactly computable algebraic number, and their Green function is algebraic. Our proof uses the notion of rational and algebraic power series in non-commuting variables and is an easy application of a theorem of Haiman. Haiman's theorem uses results of linguistics regarding regular and context-free language. On the other hand, when the group is free abelian of finite rank, then the corresponding generating series is a $G$-function. We ask whether the latter holds for general hyperbolic groups. This version has an expanded introduction following suggestions from Lehner, Voiculescu and others.

Sequences that are defined by multisums of hypergeometric terms with compact support occur frequently in enumeration problems of combinatorics, algebraic geometry and perturbative quantum field theory. The standard recipe to study the asymptotic expansion of such sequences is to find a recurrence satisfied by them, convert it into a differential equation satisfied by their generating series, and analyze the singulatiries in the complex plane. We propose a shortcut by constructing directly from the structure of the hypergeometric term a finite set, for which we conjecture (and in some cases prove) that it contains all the singularities of the generating series. Our construction of this finite set is given by the solution set of a balanced system of polynomial equations of a rather special form, reminiscent of the Bethe ansatz. The finite set can also be identified with the set of critical values of a potential function, as well as with the evaluation of elements of an additive $K$-theory group by a regulator function. We give a proof of our conjecture in some special cases, and we illustrate our results with numerous examples.

The Euler-MacLaurin summation formula relates a sum of a function to a corresponding integral, with a remainder term. The remainder term has an asymptotic expansion, and for a typical analytic function, it is a divergent (Gevrey-1) series. Under some decay assumptions of the function in a half-plane (resp. in the vertical strip containing the summation interval), Hardy (resp. Abel-Plana) prove that the asymptotic expansion is a Borel summable series, and give an exact Euler-MacLaurin summation formula. Using a mild resurgence hypothesis for the function to be summed, we give a Borel summable transseries expression for the remainder term, as well as a Laplace integral formula, with an explicit integrand which is a resurgent function itself. In particular, our summation formula allows for resurgent functions with singularities in the vertical strip containing the summation interval. Finally, we give two applications of our results. One concerns the construction of solutions of linear difference equations with a small parameter. And another concerns the problem of proving resurgence of formal power series associated to knotted objects.

In an earlier paper the first author defined a non-commutative A-polynomial for knots in 3-space, using the colored Jones function. The idea is that the colored Jones function of a knot satisfies a non-trivial linear q-difference equation. Said differently, the colored Jones function of a knot is annihilated by a non-zero ideal of the Weyl algebra which is generalted (after localization) by the non-commutative A-polynomial of a knot. In that paper, it was conjectured that this polynomial (which has to do with representations of the quantum group U_q(SL_2)) specializes at q=1 to the better known A-polynomial of a knot, which has to do with genuine SL_2(C) representations of the knot complement. Computing the non-commutative A-polynomial of a knot is a difficult task which so far has been achieved for the two simplest knots. In the present paper, we introduce the C-polynomial of a knot, along with its non-commutative version, and give an explicit computation for all twist knots. In a forthcoming paper, we will use this information to compute the non-commutative A-polynomial of twist knots. Finally, we formulate a number of conjectures relating the A, the C-polynomial and the Alexander polynomial, all confirmed for the class of twist knots.

We state and prove a quantum-generalization of MacMahon's celebrated Master Theorem, and relate it to a quantum-generalization of the boson-fermion correspondence of Physics.