arXiv++ Combinatorics

The Hankel determinants $\left(\frac{r}{2(i+j)+r}\binom{2(i+j)+r}{i+j}\right)_{0\leq i,j \leq n-1}$ of the convolution powers of Catalan numbers were considered by Cigler and by Cigler and Krattenthaler. We evaluate these determinants for $r\le 31$ by finding shifted periodic continued fractions, which arose in application of Sulanke and Xin's continued fraction method. These include some of the conjectures of Cigler as special cases. We also conjectured a polynomial characterization of these determinants. The same technique is used to evaluate the Hankel determinants $\left(\binom{2(i+j)+r}{i+j}\right)_{0\leq i,j \leq n-1} $. Similar results are obtained.

In this article, we construct SL$_k$-friezes using Plücker coordinates, making use of the cluster structure on the homogeneous coordinate ring of the Grassmannian of $k$-spaces in $n$-space via the Plücker embedding. When this cluster algebra is of finite type, the SL$_k$-friezes are in bijection with the so-called mesh friezes of the corresponding Grassmannian cluster category. These are collections of positive integers on the AR-quiver of the category with relations inherited from the mesh relations on the category. In these finite type cases, many of the SL$_k$-friezes arise from specialising a cluster to 1. These are called unitary. We use Iyama-Yoshino reduction to analyse the non-unitary friezes. With this, we provide an explanation for all known friezes of this kind. An appendix by Cuntz and Plamondon proves that there are 868 friezes of type $E_6$.

Fischer provided a new type of binomial determinant 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 indeterminate $q$, is actually the $(2+q+q^{-1})$-enumeration of alternating sign matrices. By evaluating a generalisation of this determinant 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 determinant in the 0-,1- 2- and 3-enumeration case, leading to a new proof of the $1$-,$2$- and $3$-enumeration of alternating sign matrices, and a factorisation in the $4$-enumeration case. Finally we relate the $1$-enumeration of our generalised determinant to the determinant 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.

Using the description of multiline queues as functions on words, we introduce the notion of a spectral weight of a word by defining a new weighting on multiline queues. We show that the spectral weight of a word is invariant under a natural action of the symmetric group, giving a proof of the commutativity conjecture of Arita, Ayyer, Mallick, and Prolhac. We give a determinant formula for the spectral weight of a word, which gives a proof of a conjecture of the first author and Linusson.

Let $T$ be a tree with vertex set $\{1, \ldots, n\}$ such that each edge is assigned a nonzero weight. The squared distance matrix of $T,$ denoted by $Δ,$ is the $n \times n$ matrix with $(i,j)$-element $d(i,j)^2,$ where $d(i,j)$ is the sum of the weights of the edges on the $(ij)$-path. We obtain a formula for the determinant of $Δ.$ A formula for $Δ^{-1}$ is also obtained, under certain conditions. The results generalize known formulas for the unweighted case.

This thesis deals with some $(1+1)$-dimensional lattice path models from the KPZ universality class: the directed random polymer with inverse-gamma weights (known as log-gamma polymer) and its zero temperature degeneration, i.e. the last passage percolation model, with geometric or exponential waiting times. We consider three path geometries: point-to-line, point-to-half-line, and point-to-line with paths restricted to stay in a half-plane. Through exact formulas, we establish new connections between integrable probabilistic models and the ubiquitous Whittaker and Schur functions. More in detail, via the use of A. N. Kirillov's geometric Robinson-Schensted-Knuth (RSK) correspondence, we compute the Laplace transform of the polymer partition functions in the above geometries in terms of orthogonal Whittaker functions. In the case of the first two geometries we also provide multiple contour integral formulas. For the corresponding last passage percolation problems, we obtain new formulas in terms of symplectic Schur functions, both directly via RSK on polygonal arrays and via zero temperature limit from the log-gamma polymer formulas. As scaling limits of the point-to-line and point-to-half-line models with exponential waiting times, we derive Sasamoto's Fredholm determinant formula for the GOE Tracy-Widom distribution, as well as the one-point marginal distribution of the ${\rm Airy}_{2\to1}$ process.

This paper is devoted to the analysis of a false generalization of the rule of Sarrus and its properties that can be derived with the help of dihedral groups. Further, we discuss a Sarrus-like scheme that could be helpful for students to memorize the calculation of a $4\times 4$ determinant.

A special case of a fundamental result of Loewner and Horn [Trans. Amer. Math. Soc. 1969] says that given an integer $n \geq 1$, if the entrywise application of a smooth function $f : (0,\infty) \to \mathbb{R}$ preserves the set of $n \times n$ positive semidefinite matrices with positive entries, then $f$ and its first $n-1$ derivatives are non-negative on $(0,\infty)$. In a recent joint work with Belton-Guillot-Putinar [J. Eur. Math. Soc., in press], we proved a stronger version, and used it to strengthen the Schoenberg-Rudin characterization of dimension-free positivity preservers [Duke Math. J. 1942, 1959]. In recent works with Belton-Guillot-Putinar [Adv. Math. 2016] and with Tao [Amer. J. Math., in press] we used local, real-analytic versions at the origin of the Horn-Loewner condition, and discovered unexpected connections between entrywise polynomials preserving positivity and Schur polynomials. In this paper, we unify these two stories via a Master Theorem (Theorem A) which (i) simultaneously unifies and extends all of the aforementioned variants; and (ii) proves the positivity of the first $n$ nonzero Taylor coefficients at individual points rather than on all of $(0,\infty)$. A key step in the proof is a new determinantal / symmetric function calculation (Theorem B), which shows that Schur polynomials arise naturally from considering arbitrary entrywise maps that are sufficiently differentiable. Of independent interest may be the following application to symmetric function theory: we extend the Schur function expansion of Cauchy's (1841) determinant (whose matrix entries are geometric series $1 / (1 - u_j v_k)$), as well as of a determinant of Frobenius [J. reine angew. Math. 1882] (whose matrix entries are a sum of two geometric series), to arbitrary power series, and over all commutative rings.

The determinant method of Kasteleyn gives a method of computing the number of perfect matchings of a planar bipartite graph. In addition, results of Bernardi exhibit a bijection between spanning trees of a planar bipartite graph and elements of its Jacobian. In this paper, we explore an analogue of Bernardi's results, providing a canonical simply transitive group action of the Kasteleyn cokernel of a planar bipartite graph on its set of perfect matchings, when the planar bipartite graph in question is of the form $G^+$, as defined by Kenyon, Propp and Wilson.

The goal of this article is to compare the coefficients in the expansion of the permanent with those in the expansion of the determinant of a three-lines circulant matrix. As an application we prove a conjecture concerning the minimality of Galois-Togliatti systems.

The LU-decomposition of Lehmer's tridiagonal matrix is first guessed, then proved, which leads to an evaluation of the determinant.

We use a "reverse engineering" method, pioneered by George Andrews, to discover an explicit expression for the determinant of a certain tridiagonal matrix discussed by Derrick Henry Lehmer in 1974, that lead to OEIS sequence A039924. Lehmer only did the infinite case, and here we also do the finite case, that immediately implies the former by taking the limit as n goes to infinity

In this paper we use well-known results from linear algebra as tools to explore some properties of products of Fibonacci numbers. Specifically, we explore the behavior of the eigenvalues, eigenvectors, characteristic polynomials, determinants, and the norm of non-symmetric matrices embedded in the Hosoya triangle. We discovered that most of these objects either embed again in the Hosoya triangle or they give rise to Fibonacci identities. We also study the nature of these matrices when their entries are taken $\bmod$ $2$. As a result, we found an infinite family of non-connected graphs. Each graph in this family has a complete graph with loops attached to each of its vertices as a component and the other components are isolated vertices. The Hosoya triangle allowed us to show the beauty of both, the algebra and geometry.

We present a new procedure to determine the growth function of a homogeneous Garside monoid, with respect to the finite generating set formed by the atoms. In particular, we present a formula for the growth function of each Artin--Tits monoid of spherical type (hence of each braid monoid) with respect to the standard generators, as the inverse of the determinant of a very simple matrix. Using this approach, we show that the exponential growth rates of the Artin--Tits monoids of type $A_n$ (positive braid monoids) tend to $3.233636\ldots$ as $n$ tends to infinity. This number is well-known, as it is the growth rate of the coefficients of the only solution $x_0(y)=-(1+y+2y^2+4y^3+9y^4+\cdots)$ to the classical partial theta function. We also describe the sequence $1,1,2,4,9,\ldots$ formed by the coefficients of $-x_0(y)$, by showing that its $k$th term (the coefficient of $y^k$) is equal to the number of braids of length $k$, in the positive braid monoid $A_{\infty}$ on an infinite number of strands, whose maximal lexicographic representative starts with the first generator $a_1$. This is an unexpected connection between the partial theta function and the theory of braids.

In this paper we give combinatorial proofs of some well known identities and obtain some generalizations. We give a visual proof of a result of Chapman and Costas-Santos regarding the determinant of sum of matrices. Also we find a new identity expressing permanent of sum of matrices. Besides, we give a graphical interpretation of Newton-Girard identity.

We propose a new approach to a unified study of determinants, permanents, immanants, (determinantal) bitableaux and symmetrized bitableaux in the polynomial algebra $C[M_{n, n}]$ as well as of their Lie analogues in the enveloping algebra $U(gl(n))$. This leads to new relevant classes of elements in $U(gl(n))$: Capelli bitableaux, right Young-Capelli bitableaux and Capelli immanants. The set of standard Capelli bitableaux and the set of standard right Young-Capelli bitableaux are bases of $U(gl(n))$, whose action on the Gordan-Capelli basis of $C[M_{n, n}]$ have remarkable properties. Capelli immanants can be efficiently computed and provide a system of generators of $U(gl(n))$. The Okounkov quantum immanants are proved to be simple linear combinations of Capelli immanants. Several examples are provided throughout the paper.

Many combinatorial matrices --- such as those of binomial coefficients, Stirling numbers of both kinds, and Lah numbers --- are known to be totally non-negative, meaning that all minors (determinants of square submatrices) are non-negative. The examples noted above can be placed in a common framework: for each one there is a non-decreasing sequence $(a_1, a_2, \ldots)$, and a sequence $(e_1, e_2, \ldots)$, such that the $(m,k)$-entry of the matrix is the coefficient of the polynomial $(x-a_1)\cdots(x-a_k)$ in the expansion of $(x-e_1)\cdots(x-e_m)$ as a linear combination of the polynomials $1, x-a_1, \ldots, (x-a_1)\cdots(x-a_m)$. We consider this general framework. For a non-decreasing sequence $(a_1, a_2, \ldots)$ we establish necessary and sufficient conditions on the sequence $(e_1, e_2, \ldots)$ for the corresponding matrix to be totally non-negative. As corollaries we obtain totally non-negativity of matrices of rook numbers of Ferrers boards, and of graph Stirling numbers of chordal graphs.

For small $r$ the Hankel determinants $d_r(n)$ of the sequence $\left({2n+r\choose n}\right)_{n\ge 0}$ are easy to guess and show an interesting modular pattern. For arbitrary $r$ and $n$ no closed formulae are known, but for each positive integer $r$ the special values $d_r(rn)$, $d_r(rn+1)$, and $d_r(rn+\lfloor\frac{r+1}{2}\rfloor)$ have nice values which will be proved in this paper.

We develop a Borel-de Siebenthal theory for affine reflection systems by classifying their maximal closed subroot systems. Affine reflection systems (introduced by Loos and Neher) provide a unifying framework for root systems of finite-dimensional semi-simple Lie algebras, affine and toroidal Lie algebras, and extended affine Lie algebras. In the special case of nullity $k$ toroidal Lie algebras, we obtain a one-to-one correspondence between maximal closed subroot systems with full gradient and triples $(q,(b_i),H)$, where $q$ is a prime number, $(b_i)$ is a $n$-tuple of integers in the interval $[0,q-1]$ and $H$ is a $(k\times k)$ Hermite normal form matrix with determinant $q$. This generalizes the $k=1$ result of Dyer and Lehrer in the setting of affine Lie algebras.

We give some necessary conditions for maximality of $0/1$-determinant. Let ${\bf M}$ be a nondegenerate $0/1$-matrix of order $n$. Denote by $\bf A$ the matrix of order $n+1$ which appears from ${\bf M}$ after adding the $(n+1)$th row $(0,0,\ldots,0,1)$ and the $(n+1)$th column consisting of $1$'s. Suppose ${\bf A}^{-1}=(l_{ij}),$ then for all $i=1,\ldots,n$ we have $\sum_{j=1}^{n+1} |l_{ij}|\geq 2.$ Moreover, if $|\det({\bf M})|$ is equal to the maximum value of a $0/1$-determinant of order $n$, then $\sum_{j=1}^{n+1} |l_{ij}|= 2$ for all $i=1,\ldots,n$. Keywords: maximum 0/1-deteminant, simplex, cube, axial diameter