arXiv++ Combinatorics

Browse math.CO papers from arXiv

Papers by Xinyu Sun

6 paper(s) by this author · All BibTeX
2009-01-28
The p-adic valuations of sequences counting alternating sign matrices
The p-adic valuations of a sequence of integers T(n) counting alternating sign matrices is examined for p=2 and p=3. Symmetry properties of their graphs produce a new proof of the result that characterizes the indices for which T(n) is odd.
2008-09-26 v3
A new algorithm for the recursion of multisums with improved universal denominator
Published • View PublicationBIB
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.
2008-08-21
A binary tree representation for the 2-adic valuation of a sequence arising from a rational integral
Published • View PublicationBIB
We present a binary tree that describes the 2-adic valuation of a sequence of coefficients arising from the evaluation of a rational integral.
2008-02-27 v2
The non-commutative $A$-polynomial of twist knots
Published • View PublicationBIB
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.
Lattice and Schroder paths with periodic boundaries
Published • View PublicationBIB
We consider paths in the plane with $(1,0),$ $(0,1),$ and $(a,b)$-steps that start at the origin, end at height $n,$ and stay to the left of a given non-decreasing right boundary. We show that if the boundary is periodic and has slope at most $b/a,$ then the ordinary generating function for the number of such paths ending at height $n$ is algebraic. Our argument is in two parts. We use a simple combinatorial decomposition to obtain an Appell relation or ``umbral'' generating function, in which the power $z^n$ is replaced by a power series of the form $z^n φ_n(z),$ where $φ_n(0) = 1.$ Then we convert (in an explicit way) the umbral generating function to an ordinary generating function by solving a system of linear equations and a polynomial equation. This conversion implies that the ordinary generating function is algebraic.
2005-04-14 v2
The C-polynomial of a knot
Published in Algebr. Geom. Topol. 6 (2006) 1623-1653 • View PublicationBIB
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.