arXiv++ Combinatorics

In a recent paper we have presented a method to evaluate certain Hankel determinants as almost products; i.e. as a sum of a small number of products. The technique to find the explicit form of the almost product relies on differential-convolution equations and trace calculations. In the trace calculations a number of intermediate nonlinear terms involving determinants occur, but only to cancel out in the end. In this paper, we introduce a class of multilinear operators γacting on tuples of matrices as an alternative to the trace method. These operators do not produce extraneous nonlinear terms, and can be combined easily with differentiation. The paper is self contained. An example of an almost product evaluation using γ-operators is worked out in detail and tables of the γ-operator values on various forms of matrices are provided. We also present an explicit evaluation of a new class of Hankel determinants and conjectures.

We show that the determinant of a Hankel matrix of odd dimension n whose entries are the enumerators of the Jacobi symbols which depend on the row and the column indices vanishes iff n is composite. If the dimension is a prime p, then the determinant evaluates to a polynomial of degree p-1 which is the product of a power of p and the generating polynomial of the partial sums of Legendre symbols. The sign of the determinant is determined by the quadratic character of -1 modulo p. The proof of the evaluation makes use of elementary properties of Legendre symbols, quadratic Gauss sums and orthogonality of trigonometric functions.

This paper treats two topics: matrices with sign patterns and Jacobians of certain mappings. The main topic is counting the number of plus and minus coefficients in the determinant expansion of sign patterns and of these Jacobians. The paper is motivated by an approach to chemical networks initiated by Craciun and Feinberg. We also give a graph-theoretic test for determining when the Jacobian of a chemical reaction dynamics has a sign pattern.

We present a deterministic way of assigning small (log bit) weights to the edges of a bipartite planar graph so that the minimum weight perfect matching becomes unique. The isolation lemma as described in (Mulmuley et al. 1987) achieves the same for general graphs using a randomized weighting scheme, whereas we can do it deterministically when restricted to bipartite planar graphs. As a consequence, we reduce both decision and construction versions of the matching problem to testing whether a matrix is singular, under the promise that its determinant is 0 or 1, thus obtaining a highly parallel SPL algorithm for bipartite planar graphs. This improves the earlier known bounds of non-uniform SPL by (Allender et al. 1999) and $NC^2$ by (Miller and Naor 1995, Mahajan and Varadarajan 2000). It also rekindles the hope of obtaining a deterministic parallel algorithm for constructing a perfect matching in non-bipartite planar graphs, which has been open for a long time. Our techniques are elementary and simple.

We show connections between a special type of addition formulas and a theorem of Stieltjes and Rogers. We use different techniques to derive the desirable addition formulas. We apply our approach to derive special addition theorems for Bessel functions and confluent hypergeometric functions. We also derive several additions theorems for basic hypergeometric functions. Applications to the evaluation of Hankel determinants are also given .

The notion of tree entropy was introduced by the author as a normalized limit of the number of spanning trees in finite graphs, but is defined on random infinite rooted graphs. We give some new expressions for tree entropy; one uses Fuglede-Kadison determinants, while another uses effective resistance. We use the latter to prove that tree entropy respects stochastic domination. We also prove that tree entropy is non-negative in the unweighted case, a special case of which establishes Lueck's Determinant Conjecture for Cayley-graph Laplacians. We use techniques from the theory of operators affiliated to von Neumann algebras.

By considering the fundamental equation $x=y-y^2=z-z^3$, Somos conjectured that the Hankel determinants for the generating series $y(z)$ are the Somos-4 numbers. We prove this conjecture by using the quadratic transformation for Hankel determinants of Sulanke and Xin.

In this paper we tried to condense the determinant of n square matrix to the determinant of (n - 1) square matrix with the mathematical proof.

In this paper we give a mathematical proof of Dodgson algorithm [1]. Recently Zeilberger [2] gave a bijective proof. Our techniques are based on determinant properties and they are obtained by induction.

The aim of this work is to study some lattice diagram determinants $Δ_L(X,Y)$. We recall that $M_L$ denotes the space of all partial derivatives of $Δ_L$. In this paper, we want to study the space $M^k_{i,j}(X,Y)$ which is defined as the sum of $M_L$ spaces where the lattice diagrams $L$ are obtained by removing $k$ cells from a given partition, these cells being in the ``shadow'' of a given cell $(i,j)$ in a fixed Ferrers diagram. We obtain an upper bound for the dimension of the resulting space $M^k_{i,j}(X,Y)$, that we conjecture to be optimal. This dimension is a multiple of $n!$ and thus we obtain a generalization of the $n!$ conjecture. Moreover, these upper bounds associated to nice properties of some special symmetric differential operators (the ``shift'' operators) allow us to construct explicit bases in the case of one set of variables, i.e. for the subspace $M^k_{i,j}(X)$ consisting of elements of 0 $Y$-degree.

The aim of this work is to study some lattice diagram polynomials $Δ_D(X,Y)$. We recall that $M_D$ denotes the space of all partial derivatives of $Δ_D$. In this paper, we want to study the space $M^k_{i,j}(X,Y)$ which is the sum of $M_D$ spaces where the lattice diagrams $D$ are obtained by removing $k$ cells from a given partition, these cells being in the ``shadow'' of a given cell $(i,j)$ of the Ferrers diagram. We obtain an upper bound for the dimension of the resulting space $M^k_{i,j}(X,Y)$, that we conjecture to be optimal. These upper bounds allow us to construct explicit bases for the subspace $M^k_{i,j}(X)$ consisting of elements of 0 $Y$-degree.

We study the Fox coloring invariants of rational knots. We express the propagation of the colors down the twists of these knots and ultimately the determinant of them with the help of finite increasing sequences whose terms of even order are even and whose terms of odd order are odd.

We show that recent determinant evaluations involving Catalan numbers and generalisations thereof have most convenient explanations by combining the Lindström-Gessel-Viennot theorem on non-intersecting lattice paths with a simple determinant lemma from [Manuscripta Math. 69 (1990), 173-202]. This approach leads also naturally to extensions and generalisations.

Given two positive integers n,r, we define the Gaudin function of level r to be quotient of the numerator of the determinant det(1/ ((x_i-y_j)(x_i-ty_j) ... (x_i-t^r y_j)), i,j=1..n, by the two Vandermonde in x and y. We show that it can be characterized by specializing the x-variables into the y-variables, multiplied by powers of t. This allows us to obtain the Gaudin function of level 1 (due to Korepin and Izergin) as the image of a resultant under the the Euler-Poincaré characteristics of the flag manifold. As a corollary, we recover a result of Warnaar about the generating function of Macdonald polynomials.

In a recent paper Richards and Zheng compute the determinant of a matrix whose entries are given by beta-type integrals, thereby generalising an earlier result by Dixon and Varchenko. They then use their result to obtain a generalisation of the famous Selberg integral. In this note we point out that the Selberg-generalisation of Richards and Zheng is a special case of an integral over Jack polynomials due to Kadell. We then show how an integral formula for Jack polynomials of Okounkov and Olshanski may be applied to prove Kadell's integral along the lines of Richards and Zheng.

We evaluate the Geiss-Leclerc-Schroer $φ$-map for shape modules over the preprojective algebra $Λ$ of type $\hat{A_1}$ in terms of matrix minors arising from the block-Toeplitz representation of the loop group $\SL_2(\mathcal{L})$. Conjecturally these minors are among the cluster variables for coordinate rings of unipotent cells within $\SL_2(\mathcal{L})$. In so doing we compute the Euler characteristic of any generalized flag variety attached to a shape module by counting standard tableaux of requisite shape and parity; alternatively by counting chess tableaux of requisite shape and content.

Some new relations on skew Schur function differences are established both combinatorially using Schützenberger's jeu de taquin, and algebraically using Jacobi-Trudi determinants. These relations lead to the conclusion that certain differences of skew Schur functions are Schur positive. Applying these results to a basis of symmetric functions involving ribbon Schur functions confirms the validity of a Schur positivity conjecture due to McNamara. A further application reveals that certain differences of products of Schubert classes are Schubert positive.

The permanent of a square matrix is defined in a way similar to the determinant, but without using signs. The exact computation of the permanent is hard, but there are Monte-Carlo algorithms that can estimate general permanents. Given a planar diagram of a link L with $n$ crossings, we define a 7n by 7n matrix whose permanent equals to the Jones polynomial of L. This result accompanied with recent work of Freedman, Kitaev, Larson and Wang provides a Monte-Carlo algorithm to any decision problem belonging to the class BQP, i.e. such that it can be computed with bounded error in polynomial time using quantum resources.

The aim of this note is to introduce a compound basis for the space of symmetric functions. Our basis consists of products of Schur functions and $Q$-functions. The basis elements are indexed by the partitions. It is well known that the Schur functions form an orthonormal basis for our space. A natural question arises. How are these two bases connected? In this note we present some numerical results of the transition matrix for these bases. In particular we will see that the determinant of the transition matrix is a power of 2. This is not a surprising fact. However the explicit formula involves an interesting combinatorial feature. Our compound basis comes from the twisted homogeneous realization of the basic representation of the affine Lie algebras. This note is not written in a standard style of mathematical articles. It is more like a draft of a talk. In particular proofs are not given here. Details and proofs will be published elsewhere.

The complexity of a graph can be obtained as a derivative of a variation of the zeta function or a partial derivative of its generalized characteristic polynomial evaluated at a point [\textit{J. Combin. Theory Ser. B}, 74 (1998), pp. 408--410]. A similar result for the weighted complexity of weighted graphs was found using a determinant function [\textit{J. Combin. Theory Ser. B}, 89 (2003), pp. 17--26]. In this paper, we consider the determinant function of two variables and discover a condition that the weighted complexity of a weighted graph is a partial derivative of the determinant function evaluated at a point. Consequently, we simply obtain the previous results and disclose a new formula for the Bartholdi zeta function. We also consider a new weighted complexity, for which the weights of spanning trees are taken as the sum of weights of edges in the tree, and find a similar formula for this new weighted complexity. As an application, we compute the weighted complexities of the product of the complete graphs.