arXiv++ Combinatorics

We evaluate four families of determinants of matrices, where the entries are sums or differences of generating functions for paths consisting of up-steps, down-steps and level steps. By specialisation, these determinant evaluations have numerous corollaries. In particular, they cover numerous determinant evaluations of combinatorial numbers - most notably of Catalan, ballot, and of Motzkin numbers - that appeared previously in the literature.

Recently I. Mezo studied a simple but interesting generalization of the exponential polynomials. In this note I consider two q-analogues of these polynomials and compute their Hankel determinants.

We study the set of all determinants of adjacency matrices of graphs with a given number of vertices.

Kirchhoff's matrix-tree theorem states that the number of spanning trees of a graph G is equal to the value of the determinant of the reduced Laplacian of $G$. We outline an efficient bijective proof of this theorem, by studying a canonical finite abelian group attached to $G$ whose order is equal to the value of same matrix determinant. More specifically, we show how one can efficiently compute a bijection between the group elements and the spanning trees of the graph. The main ingredient for computing the bijection is an efficient algorithm for finding the unique $G$-parking function (reduced divisor) in a linear equivalence class defined by a chip-firing game. We also give applications, including a new and completely algebraic algorithm for generating random spanning trees. Other applications include algorithms related to chip-firing games and sandpile group law, as well as certain algorithmic problems about the Riemann-Roch theory on graphs.

Using the polynomial method in additive number theory, this article establishes a new addition theorem for the set of subsums of a set satisfying $A\cap(-A)=\emptyset$ in $\mathbb{Z}/p\mathbb{Z}$: \[|Σ(A)|\geqslant\min{p,1+\frac{|A|(|A|+1)}{2}}.\] The proof is similar in nature to Alon, Nathanson and Ruzsa's proof of the Erdös-Heilbronn conjecture (proved initially by Dias da Silva and Hamidoune \cite{DH}). A key point in the proof of this theorem is the evaluation of some binomial determinants that have been studied in the work of Gessel and Viennot. A generalization to the set of subsums of a sequence is derived, leading to a structural result on zero-sum free sequences. As another application, it is established that for any prime number $p$, a maximal zero-sum free set in $\mathbb{Z}/p\mathbb{Z}$ has cardinality the greatest integer $k$ such that \[\frac{k(k+1)}{2}<p,\] proving a conjecture of Selfridge from 1976.

In this paper we give the absolutely new proof of a conjecture of R.F.Scott(1881) on the permanent of a Cauchy matrix $\ls \frac{1}{x_i-y_j} \rs_{1 \leqslant i,j \leqslant n},$ where $x_1, ..., x_n$ and $y_1, ..., y_n$ are the distinct roots of the polynomials $x^n-1$ and $y^n +1,$ respectively. The simple formula is given for the permanent of the Cauchy matrix $A= \ls \frac{1}{x_i-y_j} \rs_{1 \leqslant i,j \leqslant n},$ where $x_1, ..., x_n$ and $y_1, ..., y_n$ are the distinct roots of the polynomials $x^n+a$ and $y^n +b$, respectively: \begin{gather*} \per (A) =\frac{n}{(b-a)^n} \prod_{k=1}^{n-1}[nb-k(b-a)] = =\begin{cases} %\begin{eqnarray} (-1)^{\frac{n-1}{2}} \cfrac{n}{(b-a)^n} \prod\limits_{k=1}^{\frac{n-1}{2}}[-na-k(b-a)][nb-k(b-a)], \mbox{if $n \equiv 1 (\mod 2)$,} \cfrac{n}{2} \cdot \cfrac{n(a+b)}{(b-a)^n} \prod\limits_{k=1}^{\frac{n}{2}-1}[na+k(b-a)][nb+k(a-b)], \mbox{if $n\equiv 0(\mod 2)$}. %\end{eqnarray} \end{cases} \end{gather*} from which the corrected formula of R.F.Scott follows instantly. Proof follows from obtained by the author a formula for the determinant of an arbitrary of the Hadamard degree $m$ of a Cauchy matrix $A$ and Borchard's theorem.

A class of determinants is introduced. Different kind of mathematical objects, such as Fibonacci, Lucas, Tchebychev, Hermite, Laguerre, Legendre polynomials, sums and covergents are represented as determinants from this class. A closed formula in which arbitrary term of a homogenous linear recurrence equation is expressed in terms of the initial conditions and the coefficients is proved.

Resorting to the recursions satisfied by the polynomials which converge to the right hand sides of the Rogers-Ramanujan type identities given by Sills and a determinant method presented in a paper by Ismail-Prodinger-Stanton, we obtain many new one-parameter generalizations of the Rogers-Ramanujan type identities, such as a generalization of the analytic versions of the first and second Göllnitz-Gordon partition identities, and generalizations of the first, second, and third Rogers-Selberg identities.

Dodgson's method of computing determinants was recently revisited in a paper that appeared in the College Math Journal. The method is attractive, but fails if an interior entry of an intermediate matrix has the value zero. This paper reviews the structure of Dodgson's method and introduces a generalization, called a "double-crossing" method, that provides a workaround to the failure for many interesting cases.

We introduce the notion of sofic measurable equivalence relations. Using them we prove that Connes' Embedding Conjecture as well as the Measurable Determinant Conjecture of Lück, Sauer and Wegner hold for treeable equivalence relations.

Each acyclic graph, and more generally, each acyclic orientation of the graph associated to a Cartan matrix, allows to define a so-called frise; this is a collection of sequences over the positive natural numbers, one for each vertex of the graph. We prove that if these sequences satisfy a linear recurrence, then the Cartan matrix is of Dynkin type (if the sequences are bounded) or of Euclidean type (if the sequences are unbounded). We prove the converse in all cases, except for the exceptional Euclidean Cartan matrices; we show even that the sequences are rational over the positive natural numbers. We generalize these results by considering frises with variables; as a byproduct we obtain, for the Dynkin and Euclidean type A cases, explicit formulas for the cluster variables, over the semiring of Laurent polynomials over the positive natural numbers generated by the initial variables (which explains simultaneously positivity and the Laurent phenomenon). The general tool are the so-called SL_2-tilings of the plane; these are fillings of the whole discrete plane by elements of a ring, in such a way that each 2 by 2 connected submatrix is of determinant 1.

Celebrated work of Jerrum, Sinclair, and Vigoda has established that the permanent of a {0,1} matrix can be approximated in randomized polynomial time by using a rapidly mixing Markov chain. A separate strand of the literature has pursued the possibility of an alternate, purely algebraic, polynomial-time approximation scheme. These schemes work by replacing each 1 with a random element of an algebra A, and considering the determinant of the resulting matrix. When A is noncommutative, this determinant can be defined in several ways. We show that for estimators based on the conventional determinant, the critical ratio of the second moment to the square of the first--and therefore the number of trials we need to obtain a good estimate of the permanent--is (1 + O(1/d))^n when A is the algebra of d by d matrices. These results can be extended to group algebras, and semi-simple algebras in general. We also study the symmetrized determinant of Barvinok, showing that the resulting estimator has small variance when d is large enough. However, for constant d--the only case in which an efficient algorithm is known--we show that the critical ratio exceeds 2^{n} / n^{O(d)}. Thus our results do not provide a new polynomial-time approximation scheme for the permanent. Indeed, they suggest that the algebraic approach to approximating the permanent faces significant obstacles. We obtain these results using diagrammatic techniques in which we express matrix products as contractions of tensor products. When these matrices are random, in either the Haar measure or the Gaussian measure, we can evaluate the trace of these products in terms of the cycle structure of a suitably random permutation. In the symmetrized case, our estimates are then derived by a connection with the character theory of the symmetric group.

Given a barrier $0 \leq b_0 \leq b_1 \leq ...$, let $f(n)$ be the number of nondecreasing integer sequences $0 \leq a_0 \leq a_1 \leq ... \leq a_n$ for which $a_j \leq b_j$ for all $0 \leq j \leq n$. Known formulæfor $f(n)$ include an $n \times n$ determinant whose entries are binomial coefficients (Kreweras, 1965) and, in the special case of $b_j = rj+s$, a short explicit formula (Proctor, 1988, p.320). A relatively easy bivariate recursion, decomposing all sequences according to $n$ and $a_n$, leads to a bivariate generating function, then a univariate generating function, then a linear recursion for $\{f(n) \}$. Moreover, the coefficients of the bivariate generating function have a probabilistic interpretation, leading to an analytic inequality which is an identity for certain values of its argument.

We present a new view of Gaussian belief propagation (GaBP) based on a representation of the determinant as a product over orbits of a graph. We show that the GaBP determinant estimate captures totally backtracking orbits of the graph and consider how to correct this estimate. We show that the missing orbits may be grouped into equivalence classes corresponding to backtrackless orbits and the contribution of each equivalence class is easily determined from the GaBP solution. Furthermore, we demonstrate that this multiplicative correction factor can be interpreted as the determinant of a backtrackless adjacency matrix of the graph with edge weights based on GaBP. Finally, an efficient method is proposed to compute a truncated correction factor including all backtrackless orbits up to a specified length.

Let SL(2,q) be the group of 2X2 matrices with determinant one over a finite field F of size q. We prove that if q is even, then the product of any two noncentral conjugacy classes of SL(2,q) is the union of at least q-1 distinct conjugacy classes of SL(2,q). On the other hand, if q>3 is odd, then the product of any two noncentral conjugacy classes of SL(2,q) is the union of at least (q+3)/2 distinct conjugacy classes of SL(2,q).

For a prime power $q$, we study the distribution of determinent of matrices with restricted entries over a finite field $\mathbbm{F}_q$ of $q$ elements. More precisely, let $N_d (\mathcal{A}; t)$ be the number of $d \times d$ matrices with entries in $\mathcal{A}$ having determinant $t$. We show that \[ N_d (\mathcal{A}; t) = (1 + o (1)) \frac{|\mathcal{A}|^{d^2}}{q}, \] if $|\mathcal{A}| = ω(q^{\frac{d}{2d-1}})$, $d\geqslant 4$. When $q$ is a prime and $\mathcal{A}$ is a symmetric interval $[-H,H]$, we get the same result for $d\geqslant 3$. This improves a result of Ahmadi and Shparlinski (2007).

Trace diagrams are structured graphs with edges labeled by matrices. Each diagram has an interpretation as a particular multilinear function. We provide a rigorous combinatorial definition of these diagrams using a notion of signed graph coloring, and prove that they may be efficiently represented in terms of matrix minors. Using this viewpoint, we provide new proofs of several standard determinant formulas and a new generalization of the Jacobi determinant theorem.

We study the distribution of singular and unimodular matrices in sumsets in matrix rings over finite fields. We apply these results to estimate the largest prime divisor of the determinants in sumsets in matrix rings over the integers.

I give simple elementary proofs for some well-known Hankel determinants and their q-analogues.

After a short survey about Schroeder numbers and some generalizations which I call Schroeder-like numbers I study some q-analogues which have simple Hankel determinants.