arxiv: v1 [math.co] 18 Oct 2018

Transcription

1 A NEW DETERMINANT FOR THE Q-ENUMERATION OF ALTERNATING SIGN MATRICES FLORIAN AIGNER arxiv:80.080v [math.co] 8 Oct 08 Abstract. Fischer provided a new type of binomial erminant for the number of alternating sign matrices involving the third root of unity. In this paper we prove that her formula when replacing the third root of unity by an inerminate q is actually the (+q+q -enumeration of alternating sign matrices. By evaluating a generalisation of this erminant we are able to reprove a conjecture of Mills Robbins and Rumsey stating that the Q-enumeration is a product of two polynomials in Q. Further we provide a closed product formula for the generalised erminant in the and 3-enumeration case leading to a new proof of the -- and 3- enumeration of alternating sign matrices and a factorisation in the 4-enumeration case. Finally we relate the -enumeration of our generalised erminant to the erminant evaluations of Ciucu Eisenkölbl Krattenthaler and Zare which counts weighted cyclically symmetric lozenge tilings of a hexagon with a triangular hole and is a generalisation of a famous result by Andrews.. Introduction An alternating sign matrix (or short ASM of size n is an n n matrix with entries 0 or such that all row and column sums are equal to and the non-zero entries alternate in each row and column see Figure left. These matrices were introduced by Robbins and Rumsey [6] and arose from generalising the erminant to the so-called λ-erminant. Together with Mills [5] they conjectured the enumeration formula for the number of ASMs of size n (3i+! (n+. This was remarkable since there existed already a different family of combinatorial objects descending plane partitions (or DPPs which were proven by Andrews [] to have the same enumaration formula but which are of a very different nature. In [4] Mills Robbins and Rumsey conjectured this very enumeration formula for another family of combinatorial objects namely totally symmetric self complementary plane partitions (or TSSCPP s which was proven by Andrews []. The first proof of the ASM Theorem was found by Zeilberger [7] who related a constant term formula for ASMs to a constant term formula for TSSCPPs. Shortly later Kuperberg [3] presented a proof by using a different approach. He used the fact that there exists an easy bijection between ASMs and the six-vertex model a model in statistical mechanics. This technique was later used as a standard method to prove enumeration formulas of various symmetry classes of ASMs. In [5] Mills Robbins and Rumsey also proved a formula for the -enumeration and conjectured one for the 3-enumeration of ASMs where the Q-enumeration of ASMs is a weighted enumeration of ASMs with each ASM having the weight of Q to the power of the number of its s. Kuperberg [3] could prove with his methods the 3-enumeration and also that the Q-enumeration of ASMs is a product of two polynomials in Q which was also conjectured in [5 Conjecture 4]. Roughly a century later Fischer [6] provided a new proof of the ASM Theorem which was independent of the first two methods. The proof is based on the bijection between ASMs and Key words and phrases. Alternating sign matrices Q-enumeration erminantal formula Andrews erminant erminantal evaluation Desnanot-Jacobi Condensation method. Supported by the Austrian Science Fund FWF START grant Y463 and SFB grant F50.

2 FLORIAN AIGNER Figure. An ASM of size 5 and its corresponding monotone triangle. monotone triangles and the operator formula [5 Theorem ] which enumerates monotone triangles. In 06 Fischer [8] presented a concise version of her original proof which except of relying at one place on the Lindström-Gessel-Viennot Theorem is self-contained. A monotone triangle with n rows is a triangular array (a ij j i n of integers of the following form a a a a a a a n a n a n3 a nn whose entries are weakly increasing along north-east a i+j a ij and south-east diagonals a ij a i+j+ and strictly increasing along rows a ij < a ij+. For an example see Figure right. Given an ASM the i-th row from top of its corresponding monotone triangle records the columns of the ASM with positive partial column-sum of the top i rows. It is easy to see that this yields a bijection between ASMs of size n and monotone triangles with bottom row...n. We assign to a monotone triangle a weight Q Σ where Σ is the number of entries a ij of the triangle such that a i+j < a ij < a i+j+. For ASMs this weight is exactly Q to the power of the number of s. The core of this paper is the following theorem. Theorem. The (+q +q -enumeration of alternating sign matrices is equal to (( x+i+j ( q j i+k d nk (xq := ij n j +q for x = 0 and k =. The above erminant appeared first in [0] for k = and was shown by Fischer to count the number of ASMs for x = 0k = and q being a primitive third root of unity. By introducing the varialbe x which was suggested in [0] and the integer parameter k in the erminant we are able to write d nk (xq as a closed product formula for arbitrary k and q being a primitive second root of unity (Theorem 4 third root of unity (Theorem 5 fourth root of unity (Theorem 7 or sixth root of unity (Theorem 9 which was conjectured for k = in [0]. For q = we provide in Theorem a factorisation of the erminant as a polynomial in x. Contrary to other known erminantal formulas for the Q-enumeration of ASMs for which the evaluation is rather complicated the evaluation of the erminant considered in this paper turns out to be very easy and thus leading immediately to the the known formulas for the 0--- and 3- enumeration of alternating sign matrices by setting x = 0. In Theorem 0 we prove a general factorisation result which states that the erminant d nk (xq factors for arbitrary q into a power of q a polynomial p nk (x Q[x] which factorises into linear factors and a polynomial f nk (xq Q[xq] which is given recursively. Theorem 4 implies further that all linear factors in x of d nk (xq are covered in p nk (x. For k = the above implies that the erminant d nk (xq can be written as a product of two Laurent

3 A NEW DETERMINANT FOR THE Q-ENUMERATION OF ASMS 3 polynomials in q with coefficients in Q[x] which was conjectured in [0]. As a direct consequence we obtain that the generating function of ASMs with respect to the number of is a product of two polynomials in Q = q + + q which was conjectured in [5 Conjecture 4] and first proven in [3]. Surprisingly the erminant d nk (xq is connected to the famous erminant by Andrews [] and its generalisation by Ciucu Eisenkölbl Krattenthaler and Zare [4] in the following way (( x+i+j d n3 k (xq = q n +q k δ ij ( ij n j where q is a sixth root of unity. This fact was first conjectured for k = 4 in [0]. This is remarkable because of two reasons. Firstly in the above cases the evaluation of the erminants have a closed product formula. This fact is very easy to prove for the left hand side of ( by using the Desnanot-Jacobi identity which is also known as the Condensation method. For the right hand side this method is however not applicable and the proof relies on the method of identification of factors. Secondly the erminant by Ciucu et al. is a weighted enumeration of cyclically symmetric lozenge tilings of hexagons with a triangular hole these are a one parameter generalisations of DPPs where q corresponds to the weight and x is the side length of the hole. Very recently Fischer proved in [9] that this erminant also enumerates alternating sign trapezoids which are one parameter generalisations of ASTs. Hence the erminant d nk (xq suggests a one parameter refinement for ASMs and might be of help in finding one. The paper is structured in the following way. In Section we follow the steps of [0 ] and prove Theorem. Section 3 contains a description of the factorisation of the erminant d nk (xq for general q leading to a proof that the( + q + q -enumeration of ASMs is a product of two polynomials. In Section 4 we state the product formulas for d nk (xq for q being a primitive second third fourth or sixth root of unity and present a factorisation if q =. This leadsto newproofsfor the0--- and3-enumeration of ASMs. Finally in Section 5werelate the erminant d nk (xq to the Andrews erminant and its generalisation by Ciucu Eisenkölbl Krattenthaler and Zare. The paper ends by an appendix containing a list of specialisations of d nk (xq which turn out to be known enumeration formulas.. A erminantal formula for the number of ASMs For the rest of this paper we fix the following notations E x (f(x :=f(x+ x :=E x Id x :=Id E x shift operator forward difference backward difference. We denote by AS x...x n f(x...x n the antisymmetriser of f with respect to x...x n which is defined as AS x...x n f(x...x n = sgn(σf(x σ(...x σ(n. σ S n Further we are using at various points the multi-index notion i.e. a bold variable x refers to a vector x = (x...x n and x a is defined as x a := n xa i i. This section is used to deduce the erminantal expression for the Q-enumeration of ASMs. It is a revision of results in [] and generalises results in [0]. The starting point is a weighted version of the operator formula for monotone triangles. Theorem ([7 Theorem ]. The generating function of monotone triangles with bottom row k = (k...k n with respect to the Q-weight is given by evaluating the polynomial M n (x...x n := x j x i (QId+(Q xi + xj + xi xj j i

4 4 FLORIAN AIGNER at x = k. Following [] we can rewrite the operator formula as a constant term expression. Proposition 3 ([ Proposition 0.]. The number of monotone triangles with bottom row k = (k...k n with respect to the Q-weight is the constant term of n (+x i k i (Q+(Q x i +x j +x i x j (x j x i. AS x...x n The following theorem allows us to transfer the antisymmetriser in the above proposition into a erminant; the theorem is a variation by Fischer of Equation (D.3 in []. Theorem 4 ([0 Theorem 6]. Let f(xy = qx q y and h(xy = x y then holds ( AS f(w iw j ij n w...w n i j n h(w jy i f(w i y j = f(w i y j h(w i y j h(y. jy i By setting w i = x i++q x i ++q Q = +q +q and taking the limit of y i for all i n the above theorem becomes ( ( n(n+ AS (Q+(Q x i +x j +x i x j n (x i ++q (q q n(n+3 x...x n n (+x i n+ i = q n lim ( ( (y j y i. y...y n ij n y j x i++q x i ++q y j q x i ++q x i ++q Hence by Proposition 3 the (+q +q -enumeration of ASMs is given by ( n CT x...x n ( n(n+ q n (q q n(n+3 (+x i n+ (x i ++q lim y...y n ij n ( y j x i++q x i ++q ( y j q x i ++q x i ++q (x j x i (y j y i. ( ( Using the partial fraction decomposition (y a(y b = a b y a y b we can rewrite the erminant in ( as n ( q n (x i ++q (x i ++q ij n ( y j (x i ++q (x i ++q y j (x i ++q q (x i ++q. The following lemma allows us to evaluate the limit in (. Lemma 5 ([3 Eq. (43-(47]. Let f(xy = ij 0 c ijx i y j be a formal power series in x and y then holds lim x...x n x y...y n y ij n (f(x i y j (x j x i (y j y i = ( [u i v j ]f(x+uy +v 0 ij where [u i v j ]f(x+uy +v denotes the coefficient of u i v j in f(x+uy +v.

5 A NEW DETERMINANT FOR THE Q-ENUMERATION OF ASMS 5 By the above lemma we need to calculate the coefficient of x i y j in (y +(x++q (x++q (y +(x++q q (x++q. (3 Using the geometric series expansion in x and y of (3 we obtain for the coefficient of x i y j ( j (+q i (q j ( j q j+ i i+j ( ( k ( k j k=i j i k+j (+q k i j ( q j+. Putting the above together it follows that the (+q +q -enumeration of ASMs of size n is given by (+q n q (n 0 ij ( (j i ( j q j+ + ( k+i j k=0 ( j k ( q k+i j Finally we use the following identity which is due to Fischer [0] and can be proven using basic properties of the binomial coefficient ( j ( j q j+ + i ( k +i j k=0 ( j k ( q k+i j Hence the (+q +q -enumeration of ASMs is ( ((i ( i+j j which proves Theorem. 0 ij ( ( i k = ( i (q j+ ( k +q k ( j. k j k=0 (( i+j ( q j i+ j +q 0 ij (( i+j ( q j i+ = (4 ij n j +q. 3. A generalised (+q +q -enumeration We introduce to the erminant in (4 a variable x as suggested in [0] and further a parameter k Z. The erminant of our interest is then d nk (xq := (D nk (xq where D nk (xq is defined by (( x+i+j ( q j i+k D nk (xq := j +q. ij n The evaluation of this erminant will generally follow two steps. The first step is to guess a formula for d nk (xq using a computer algebra system. The second step is to use induction and the Desnanot-Jacobi Theorem which is sometimes also called condensation method. Theorem 6 (Desnanot-Jacobi. Let n be a positive integer A an n n matrix and denote by A i i k j j k the submatrix of A in which the i i k -th rows and j j k -th columns are omitted. Then holds AA n n = A An n An A n.

6 6 FLORIAN AIGNER Deleting the first or last row and the first or last column of the matrix D nk (xq can be expressed as follows ( x+n (D nk (xq = (D k(x+q (5 (D nk (xq n n = (D k(xq ( (D nk (xq n x+ n = (D n k(x+q n (D nk (xq n = (D k+ (x+q ( x+ (D nk (xq n = (D k (x+q. We will prove it in the case of D nk (xq the other cases follow analogously. By definition we have ( q j i+k (D nk (xq = ij n (+i+j j +q (+i+j = ij j ( q j i+k +q Since the i-th row is divisible by (x+i+ we can pull it out for all i. Further we pull out j from the j-th row for j and obtain n (( (D nk (xq (x+i+ x+i+j ( q j i+k = i ij j +q ( x+n = (D k (x+q. By applying (5 to Theorem 6 we obtain (d nk (xqd n k (x+q = (x+nd k (xqd k (x+q (x+d k+ (x+qd k (x+q. (6 We define for the rest of this section a j for j Z as j a j = ( qj ( qi j > 0 = 0 j = 0 +q j ( q i j < 0. The entries of the matrix D nk (xq are polynomials in x and Laurent polynomials in q and hence the same is true for the erminant d nk (xq i.e. d nk (xq Q[qq x]. Lemma 7. Let nk be positive integers then the erminant d nk (xq is as an element in Q[qq x] divisible by n k l=0 (x+k+l +. Proof. Let l be a non-negative integer. The (ij-th entry of D nk (xq is divisible by (x + k + l + if i k + l + and i + j k + l + 3 or if i = j + k. Now choose l with 0 l n k and set x = k l. Then the (ij-th entry of Dnk (xq is equal to 0 for all k + l + i k + l + n and j l +. Therefore the (k + l + -st up to the (k+l +-st row are linear dependent and the erminant is henceforth equal to 0. Lemma 8. Let n k be non-negative integers then the following identity holds d n k (xq = ( n(k q nk d nk (xq..

7 A NEW DETERMINANT FOR THE Q-ENUMERATION OF ASMS 7 Proof. Let σ S n be a permutation then holds n ( x+i+σ(i n (x+i+σ(i! = σ(i (σ(i!(x+ n (x+i+σ(i! = (i!(x+ σ( = n ( x+σ(i+i. i This implies that we can replace the binomial coefficient ( x+i+j j in the erminant dnk (xq with +i+j i without changing the erminant. By using this fact and pulling out the factor ( q j from the j-th column and ( q i k from the i-th row for all rows and columns we obtain (( x+i+j ( q j i k d n k (xq = ij n j +q n n (( x+i+j ( q = ( q i k ( ( q j i+k j + ij n i +q j= = ( n(k q nk ( D nk (xq T = ( n(k q nk d nk (xq. Corollary 9. Let n be an odd positive integer then holds d n0 (xq = 0. With the above two lemmas at hand we can prove the following structural theorem. Theorem 0. The erminant d nk (xq has the form with d nk (xq = q cq(nk p nk (xf nk (xq (7 i! n k p nk (x = (x+ k +i+ 0 k > 0n k c q (nk = nk k < 0n k n k i otherwise and f nk (xq being a polynomial in x and q satisfying for positive k the recursions f n k (xq = ( n(k+ f nk (xq (8 f n0 (xqf n 0 (x+q = f (x+q (9 f n0 (xqf n0 (x+q = f n (x+q (0 f nk (xq = f n k (x+q ( [n N+] ( (x+n [n N\(N+k+] (q(x+n+ [n N+k+] f k (xqf k (x+q (x+f k (x+qf k+ (x+q ( where [statement] is if the statement is true and 0 otherwise. Proof. Since d nk (xq is a polynomial in x and a Laurent polynomial in q we can write d nk (xq as in (7 where f nk (xq is a rational function in x and q. In Lemma 7 we proved that d nk(xq p nk (x is a polynomial in x.

8 8 FLORIAN AIGNER As already stated we write d nk (xq as d nk (xq = n ( x+i+σ(i a σ(i k+σ(i i ( σ S n with j ( qi j > 0 a j = 0 j = 0 j ( q i j < 0. Let σ S n. The exponent of the smallest power of q that appears in the summand associated to σ in ( is (k +σ(i i. (3 i:k+σ(i i<0 It is an easy proof for the reader to show that the minimum of (3 for all σ S n is exactly c q (nk. Hence q cq(nk d nk (xq is a polynomial in q implying that f nk (xq is a polynomial in x and q. Itremainstoprovethatf nk satisfiestheequations(8 ( where(8isadirectconsequence of Lemma8. For theothers we useinduction on n. Setting k = 0andusing (6 andtheinduction hypothesis immediately implies (9 and (0. Now let k. Using the induction hypothesis (6 becomes i! n k 3 n 3 d nk (xqq cq(n k (x+k +i+3f n k (x+q n ( i! = ( n k (x+nq cq(k (x+k +i+(x+k+i+3f k (xqf k (x+q After cancellation we obtain n k (x+q cq(k +cq(k+ (x+k+i+ n k 3 d nk (xqf n k (x+q = qcq(nk p nk (x ( ( (x+k +i+3f k (x+qf k+ (x+q. [n N+] ( (x+n [n N\(N+k+] (x+n+ [n N+k+] q [n N+k+] f k (xqf k (x+q (x+f k (x+qf k+ (x+q. By replacing d nk (xq by q cq(nk p nk (xf nk (xq this implies the last recursion (. Computer experiments suggest that f nk (xq is a polynomial with integer coefficients and that the leading coefficient is either or where we order the monomials x a q b with respect to the lexicographic order of (ab. We can not prove this but we can prove the following related statement.

9 A NEW DETERMINANT FOR THE Q-ENUMERATION OF ASMS 9 Proposition. The leading coefficient of f n (xq is where we order the monomials x a q b with respect to the reverse lexicographic order of (a b. Proof. In order to prove this we first calculate the leading coefficient of the highest power of q in d n (xq which is a polynomial in x and then calculate the leading coefficient of this polynomial. We will need the erminantal evaluations ij n (( x+i+j = a+j = ( +i+j ( i+j ij n a+j n j= n j= (j! (a+j! (j! (a+j! a (x+j i a (x+j i (4 which are variations of the Vandermonde erminant evaluation. As already stated in ( the erminant d n (xq can be written as d n (xq = σ S n n ( x+i+σ(i a σ(i +σ(i i. (5 Let σ S n and i...i l be the rows such that σ(i i < 0 then the following is the exponent of the highest q power that appears in the summand associated to σ in (5 l+ i:σ(i i>0 (σ(i i = l l (i j σ(i j l+l(n l. It is obvious that there exists a σ S n such that the above inequality is sharp. The maximal exponent is reached for l = if n mod or in the two cases l = n or l = n for n 0 mod. First let n mod and hence l =. The maximal q power is reached for all σ S n with i j = j and σ(i j l for all j l. Hence the coefficient of the maximal q power in d n (xq can be written as (( ( ( x+n l+i+j x+i+j +l ( i+j+l. ij l j ij n l l+j By (4 the leading coefficient of the above erminants as polynomials in x is equal to n l j= (i! (l +i!. By simple manipulations and using l = this transforms to which proves the claim for odd n. i! Now let n = a then the maximal q power is obtained for l = a or l = a. Analogously to the above case we can write the coefficient of the highest power of q as ij a + ij a ({ ( ( 0 i = j = a x+i+j +a +a+i+j ( i+j+a j otherwise ij a a+j ( ({ x+a+i+j 0 i = a+ j =. j ij a+ otherwise ( i+j+a +i+j+a 3 a+j

10 0 FLORIAN AIGNER We can rewrite this by using Laplace expansion ( ( ( x+a+i+j x+i+j +a ( i+j+a ij a j ij a a+j ( ( ( ( x+ x+a+i+j x+i+j +a +( a ( i+j+a a ij a j ij a a+j ( ( ( x+a+i+j x+i+j +a 3 + ( i+j+a ij a j ij a+ a+j ( ( ( ( x+ x+a+i+j x+i+j +a ( a ( i+j+a. a ij a j ij a a+j The second and fourth line cancel each other and the degree of x is by (4 in the first line a and for the third line a. Hence the leading coefficient is a (i! (a+i! = i! where the equality is an easy transformation. One could extend the above proof to the calculation of the leading coefficient of f nk (xq for arbitrary positive k where we order the monomials x a q b with respect to the reverse lexicographic order of (ab. However the leading coefficient of f nk (xq will not be equal to ± for k. It seems that the polynomial f nk (xq is for general k irreducible over Q[xq]. While this appears to be impossible to prove Theorem 4 implies that p nk (x is maximal in f nk (xq i.e. there exists no non-trivial polynomial p (x Q[x] dividing f nk (xq. For small values of k on the other side we could prove a closed product formula of f nk (xq which was already suggested to exist in [0]. Proposition. The function f nk (xq has in the special case for k = 0 the form { 0 n mod f n0 (xq = ( n Fn (x+q n 0 mod f n (xq = F n+ (xqf n (x+q where F n (xq is a polynomial in x and q over Q. Proof. Corollary 9 and the equations (9 and (0 imply the statement. For k = computer experiments still suggest a decomposition of f nk (xq into two or three factors depending on the parity of n whereas for k 3 the polynomial f nk (xq seems to be irreducible over Q[xq]. In order to prove the factorisation for k = one would need to show that the rational function q(x+n+(x+n+f n (xqf n (x+4q nf n+ (xqf (x+4q F n (x+q is a polynomial in x and q. Further if one could guess the resulting polynomial one would obtain a recursion for F n (xq. The following corollary is a direct consequence of Theorem 0 and the above proposition.

11 A NEW DETERMINANT FOR THE Q-ENUMERATION OF ASMS Corollary 3. Set Q = +q +q and define p n (q as the Laurent polynomial p n (q := q (n F n (0q (i+ i p n+ (q := q (n n (i i F n (q where (x j := x(x + (x +j is the Pochhammer symbol. Then the Q-enumeration of ASMs A n (Q is given by A n (Q = p n (q p n+ (q A n+ (Q = p n+ (q p n+ (q. It is an easy proof to the reader that the Laurent polynomials p n (q are actually polynomials in Q.The above corollary was actually conjectured in [5 Conjecture 4] and was first proven in [3]. 4. The and 4-enumeration of ASMs In the following we prove factorisations of the erminant d nk (xq where q is a primitive first second third fourth or sixth root of unity. As a consequence of these factorisations we obtain the known formulas for the -- and 3-enumeration of ASMs. The following table shows the connection between the specialisation of q and the weighted enumeration of ASMs. 0-enumeration: q = (primitive second root of unity -enumeration: q = ± 3 i (primitive third root of unity -enumeration: q = ±i (primitive fourth root of unity 3-enumeration: q = ± 3 i (primitive sixth root of unity 4-enumeration: q = (primitive first root of unity. The factorisations in the following theorems can be proven (except for q = by induction on n together with (6 and Corollary 9 and cancellation of terms. The case q = however is proven solely by using row manipulations. We remind the reader of the definition of the Pochhammer symbol (x j := x(x+ (x+j. Theorem 4. For q = holds ( n+ d n (x = n!! (x+i. Proof. The limit of d n (xq for q to is (( x+i+j lim d nk(xq = (j i+ q j. ij n The following identity of matrices can be shown by using a variant of the Chu Vandermonde identity. ( ( i ( i+j j = ( ij n δ ij δ ij+ ( j x+j (( x+i+j (j i+ j ij n [j 0(] (( x+j j [i (] ((x+j [i 0(] j i ij n. ij n Theclosed productformulaofd n (x isimpliedbytakingtheerminantonbothsides.

12 FLORIAN AIGNER Theorem 5. Let q be a primitive third root of unity then holds d n6k+ (xq = n n+ i 0 n+ +n i+ d n6k+ (xq = n n+ 3 n ( q n i 0 i 0 +n i +3i+ 3 (i! (n +3i+ i 0 n 4i d n6k+3 (xq =( q n n+ n+ n i 0 i 0 +3i+ n 4i n+ (i! (n +n i n 4i n+ n 4i n + i+ d n6k+4 (xq =q n dn6k+ (xq d n6k+5 (xq =q n d n6k+ (xq d n+6k (xq =0 n d n6k (xq =q n (i! n (n +3i+ i 0 n i n 4i +n i n 4i 3 +3i+ 5 (i! (n +3i+ n 4i + +3i+3 n 4i n 4i n 4i n 4i 3 i+ 3 n 4i 3 +3i+ 7 n (i+ +n i. n i Corollary 6. The number A n of ASMs of size n is given by A n = (3i+! (n+. Proof. Reorder the terms of the product formula of d n (0q where q is a primitive third root of unity.

13 A NEW DETERMINANT FOR THE Q-ENUMERATION OF ASMS 3 Theorem 7. Let q be a primitive fourth root of unity. Then the following holds d n+4k (xq = 0 d n4k (xq = n d n4k+ (xq = n d n4k+ (xq = 4 i i! n q n 4 i i! n 4 i i! (q n d n4k+3 (xq = ( q n d n4k+ (xq. +i+ n 4i+ +i n n i+ +i+ i Corollary 8. The -enumeration A n ( of ASMs of size n is given by A n ( = (n. +i+ n 4i +i+ i Proof. Reorder the terms of the product formula of d n (0q where q is a primitive fourth root of unity. Theorem 9. Let q be a primitive sixth root of unity and k an integer. Then the following holds with d n+3k (xq = 0 d n3k (xq = c(n (x++3i (x+3i (n i d n3k+ (xq = c(n n d n3k+ (xq = q n d n3k+ (xq c(n = 3 (n n 4! i 3 ( 4 (x++3i i n is even! i otherwise. Corollary 0. The 3-enumeration A n (3 of ASMs of size n is given by A n+ (3 = 3 (n+ n (3i! (n+ A n (3 = 3 (3!(! (! A (3. Proof. Reorder the terms of the product formula of d n (0q where q is a primitive sixth root of unity. Theorem. For q = holds n n d nk+ (x = (i (n+ i (x+ip n (xp (x i= n n d nk (x = ( n (i (n+ i (x+i p n (x d n+k (x = 0 i=

14 4 FLORIAN AIGNER where p n (x is a polynomial in x satisfying the following recursion p (x = p 3 (x = x+5 p n (x = p (x+ p n+ (x = (x+n+(x+n+p (xp (x+4 (x+(x+p (x+. np n 3 (x+4 Computer experiments suggest that the polynomials p n (x are irreducible over Q. 5. Connections to the Andrews erminant In [0] Fischer conjectured that d n (xq is connected to the erminant (+i+j ij n j +qδ ij. (6 It was shown by Andrews [] that for q = the above erminant has a closed product formula and that it counts for x = the number of descending plane partitions (DPPs with parts less than n. In [4] it was shown by Ciucu et al. that the above erminant is equal to the weighted enumeration of cyclically symmetric lozenge tilings of a hexagon with side lengths nn + xnn + xnn + x and a central hole of side length x; these objects generalise DPPs. Further they proved that the evaluation of the erminant can be expressed by a closed product formula if q is a sixth root of unity. Comparing the factorisations of d nk (xq and of the above erminant implies d n3 k (xq = q n ij n (+i+j j +q k δ ij where q is a primitive sixth root of unity. This implies that all factorisations of the erminant in (6 are covered by the erminant d nk (xq where q is a third root of unity. Very recently it was shown in [9] by Fischer that for q = the erminant in (6 also enumerates(n x-alternating sign trapezoids which generalise alternating sign triangles (ASTs. This implies that not only DPPs and ASTs (and hence ASMs are equinumerous but also a one parameter generalisation of DPPs and ASTs. An interpretation of x in d nk (xq e.g. in form of a one parameter generalisation of ASMs would be very interesting and could give important inside on the nature of the equinumerousity between ASMs DPPs and ASTs. Such possible interpretations of x will be studied in a forthcoming work. Appendix A. An overview of enumeration formulas connected to d nk (xq It turns out that some specialisations of xqk in d nk (xq are known enumeration formulas. The following is a summary of the specialisations we found d n (0ζ 3 = ζ 6 d 3 (ζ 3 = #(ASMs of size n (7 ζ 6 d 3 (0ζ 3 = #(cyclic symmetric plane partitions in an n cube = #(half turn symmetric ASMs of size n/#(asms of size n (8 6 d ( (ζ 3 = ζn+ 6 d ( ζ 3 = #(ASMs with two U-turn sides of size 4n (9 3 ζ ζ n+ 6 3 d ( ζ 3 = #(quarter turn symmetric ASMs of size 4n (0

15 A NEW DETERMINANT FOR THE Q-ENUMERATION OF ASMS 5 d n (0ζ 4 = (-enumeration of ASMs of order n = #(perfect matchings of an order natzec diamond = #(Gelfand-Tsetlin patterns with bottom row...n = (n ( ζ n 4 d n(ζ 4 = ζn+ 8 d n+ ( ζ 4 = 4 n ( ζ 8 d (ζ 4 = 4 n(n+ (3 d n (0ζ 6 = #(3-enumeration of ASMs of size n (4 where ζ l denotes the l-th root of unity ζ l = e πi l. References [] G. E. Andrews. Plane partitions (III: The weak Macdonald conjecture. Invent. Math. 53: [] G. E. Andrews. Plane partitions V: The TSSCPP conjecture. J. Combin. Theory Ser. A 66(: [3] R. E. Behrend P. Di Francesco and P. Zinn-Justin. On the weighted enumeration of alternating sign matrices and descending plane partitions. J. Combin. Theory Ser. A 9(: [4] M. Ciucu T. Eisenkölbl C. Krattenthaler and D. Zare. Enumeration of Lozenge Tilings of Hexagons with a Central Triangular Hole. J. Combin. Theory Ser. A 95(: [5] I. Fischer. The number of monotone triangles with prescribed bottom row. Adv. Appl. Math. 37: [6] I. Fischer. A new proof of the refined alternating sign matrix theorem. J. Combin. Theory Ser. A 4(: [7] I. Fischer. The operator formula for monotone triangles - simplified proof and three generalizations. J. Combin. Theory Ser. A 7: [8] I. Fischer. Short proof of the ASM theorem avoiding the six-vertex model. J. Combin. Theory Ser. A 44: [9] I. Fischer. Alternating sign trapezoids and a constant term approach. arxiv: [0] I. Fischer. Constant term formulas for refined enumerations of Gog and Magog trapezoids. J. Combin. Theory Ser. A 58: [] I. Fischer and L. Riegler. Vertically symmetric alternating sign matrices and a multivariate Laurent polynomial identity. Electron. J. Combin. (:P.5 3pp. 05. [] T. Fonseca and P. Zinn-Justin. On the Doubly Refined Enumeration of Alternating Sign Matrices and Totally Symmetric Self-Complementary Plane Partitions. Electron. J. Combin. 5(:R8 35pp [3] G. Kuperberg. Another proof of the alternating sign matrix conjecture. Int. Math. Res. Not. (3: [4] W. H. Mills D. P. Robbins and H. Rumsey Jr. Self-complementary totally symmetric plane partitions. J. Combin. Theory Ser. A 4(: [5] W. H. Mills D. P. Robbins and H. C. Rumsey Jr. Alternating Sign Matrices and Descending Plane Partitions. J. Combin. Theory Ser. A 34(3: [6] D. P. Robbins and H. C. Rumsey Jr. Determinants and alternating sign matrices. Adv. Math. 6(: [7] D. Zeilberger. Proof of the Alternating Sign Matrix Conjecture. Electron. J. Combin. 3(:R Florian Aigner Universität Wien Fakultät für Mathematik Oskar-Morgenstern-Platz 090 Wien Austria address: florian.aigner@univie.ac.at