arXiv++ Combinatorics

We establish a new formula for the heat kernel on regular trees in terms of classical I-Bessel functions. Although the formula is explicit, and a proof is given through direct computation, we also provide a conceptual viewpoint using the horocyclic transform on regular trees. From periodization, we then obtain a heat kernel expression on any regular graph. From spectral theory, one has another expression for the heat kernel as an integral transform of the spectral measure. By equating these two formulas and taking a certain integral transform, we obtain several generalized versions of the determinant formula for the Ihara zeta function associated to finite or infinite regular graphs. Our approach to the Ihara zeta function and determinant formula through heat kernel analysis follows a similar methodology which exists for quotients of rank one symmetric spaces.

We introduce a generalization of the Stirling numbers via symmetric functions involving two weight functions. The resulting extension unifies previously known Stirling-type sequences with known symmetric function forms, as well as other sequences such as the $p,q$-binomial coefficients. Recurrence relations, generating functions, orthogonality relations, convolution formulas, and determinants of certain matrices involving the obtained sequences are derived. We also give combinatorial interpretations of certain cases in terms of colored partitions and permutations.

In this expository paper we compute Hankel determinants of some sequences whose generating functions are given by C-fractions and derive orthogonality properties for associated polynomials.

Some applications of a result, which is proved recently, is considered. We first prove three determinantal identities concerning the binomial coefficient and Stirling numbers of the first and the second kind. We also easily obtain the inverse of the Vandermonde matrix. Then we derive a recurrence formula for sums of powers, which is similar to the well-known Newton identity. In the last section, we consider some sequences given by a homologous linear recurrence equation. A determinantal identity for the Fibonacci numbers of higher order is proved. We finish with an expression of the generalized Vandermonde determinant in terms of the standard Vandermonde determinant and elementary symmetric polynomials.

Generalized counting constraint satisfaction problems include Holant problems with planarity restrictions; polynomial-time algorithms for such problems include matchgates and matchcircuits, which are based on Pfaffians. In particular, they use gates which are expressible in terms of a vector of sub-Pfaffians of a skew-symmetric matrix. We introduce a new type of circuit based instead on determinants, with seemingly different expressive power. In these determinantal circuits, a gate is represented by the vector of all minors of an arbitrary matrix. Determinantal circuits permit a different class of gates. Applications of these circuits include proofs of theorems from algebraic graph theory including the Chung-Langlands formula for the number of rooted spanning forests of a graph and computing Tutte Polynomials of certain matroids. They also give a strategy for simulating quantum circuits with closed timelike curves. Monoidal category theory provides a useful language for discussing such counting problems, turning combinatorial restrictions into categorical properties. We introduce the counting problem in monoidal categories and count-preserving functors as a way to study FP subclasses of problems in settings which are generally #P-hard. Using this machinery we show that, surprisingly, determinantal circuits can be simulated by Pfaffian circuits at quadratic cost.

We show that the weight enumerator of any binary linear code is equal to the permanent of a 3-dimensional hypermatrix (3-matrix). We also show that each permanent is a determinant of a 3-matrix. As an application we write the dimer partition function of a finite 3-dimensional cubic lattice as the determinant of the vertex-adjacency 3-matrix of a 2-dimensional simplicial complex which preserves the natural embedding of the cubic lattice.

SL_2-tilings were introduced by Assem, Reutenauer, and Smith in connection with frieses and their applications to cluster algebras. An SL_2-tiling is a bi-infinite matrix of positive integers such that each adjacent 2 x 2-submatrix has determinant 1. We construct a large class of new SL_2-tilings which contains the previously known ones. More precisely, we show that there is a bijection between our class of SL_2-tilings and certain combinatorial objects, namely triangulations of the strip.

A new family of asymmetric matrices of Walsh-Hadamard type is introduced. We study their properties and, in particular, compute their determinants and discuss their eigenvalues. The invertibility of these matrices implies that certain character formulas are invertible, yielding expressions for the cardinalities of sets of combinatorial objects with prescribed descent sets in terms of character values of the symmetric group.

Recently, Bieñ [A. Bieñ, The problem of singularity for planar grids, Discrete Math. 311 (2011), 921--931] obtained a recursive formula for the determinant of a grid. Also, recently, Pragel [D. Pragel, Determinants of box products of paths, Discrete Math. 312 (2012), 1844--1847], independently, obtained an explicit formula for this determinant. In this paper, we give a short proof for this problem. Furthermore, applying the same technique, we get explicit formulas for the determinant of a torus, a cylinder, and a Möbius ladder.

Lecture notes for the proceedings of the workshop "Algebraic Combinatorics related to Young diagram and statistical physics", Aug. 6-10 2012, I.I.A.S., Nara, Japan.

We prove a general quadratic formula for basic hypergeometric series, from which simple proofs of several recent determinant and Pfaffian formulas are obtained. A special case of the quadratic formula is actually related to a Gram determinant formula for Askey-Wilson polynomials. We also show how to derive a recent double-sum formula for the moments of Askey-Wilson polynomials from Newton's interpolation formula.

Networks of neurons in the brain encode preferred patterns of neural activity via their synaptic connections. Despite receiving considerable attention, the precise relationship between network connectivity and encoded patterns is still poorly understood. Here we consider this problem for networks of threshold-linear neurons whose computational function is to learn and store a set of binary patterns (e.g., a neural code) as "permitted sets" of the network. We introduce a simple Encoding Rule that selectively turns "on" synapses between neurons that co-appear in one or more patterns. The rule uses synapses that are binary, in the sense of having only two states ("on" or "off"), but also heterogeneous, with weights drawn from an underlying synaptic strength matrix S. Our main results precisely describe the stored patterns that result from the Encoding Rule -- including unintended "spurious" states -- and give an explicit characterization of the dependence on S. In particular, we find that binary patterns are successfully stored in these networks when the excitatory connections between neurons are geometrically balanced -- i.e., they satisfy a set of geometric constraints. Furthermore, we find that certain types of neural codes are "natural" in the context of these networks, meaning that the full code can be accurately learned from a highly undersampled set of patterns. Interestingly, many commonly observed neural codes in cortical and hippocampal areas are natural in this sense. As an application, we construct networks that encode hippocampal place field codes nearly exactly, following presentation of only a small fraction of patterns. To obtain our results, we prove new theorems using classical ideas from convex and distance geometry, such as Cayley-Menger determinants, revealing a novel connection between these areas of mathematics and coding properties of neural networks.

We give a new determinant expression for the characteristic polynomial of the bond scattering matrix of a quantum graph G. Also, we give a decomposition formula for the characteristic polynomial of the bond scattering matrix of a regular covering of G. Furthermore, we define an L-function of G, and give a determinant expression of it. As a corollary, we express the characteristic polynomial of the bond scattering matrix of a regular covering of G by means of its L-functions. As an application, we introduce three types of quantum graph walks, and treat their relation.

Macdonald superpolynomials provide a remarkably rich generalization of the usual Macdonald polynomials. The starting point of this work is the observation of a previously unnoticed stability property of the Macdonald superpolynomials when the fermionic sector m is sufficiently large: their decomposition in the monomial basis is then independent of m. These stable superpolynomials are readily mapped into bisymmetric polynomials, an operation that spoils the ring structure but drastically simplifies the associated vector space. Our main result is a factorization of the (stable) bisymmetric Macdonald polynomials, called double Macdonald polynomials and indexed by pairs of partitions, into a product of Macdonald polynomials (albeit subject to non-trivial plethystic transformations). As an off-shoot, we note that, after multiplication by a t-Vandermonde determinant, this provides explicit formulas for a large class of Macdonald polynomials with prescribed symmetry. The factorization of the double Macdonald polynomials leads immediately to the generalization of basically every elementary properties of the Macdonald polynomials to the double case (norm, kernel, duality, positivity, etc). When lifted back to superspace, this validates various previously formulated conjectures in the stable regime. The q,t-Kostka coefficients associated to the double Macdonald polynomials are shown to be q,t-analogs of the dimensions of the irreducible representations of the hyperoctahedral group B_n. Moreover, a Nabla operator on the double Macdonald polynomials is defined and its action on a certain bisymmetric Schur function can be interpreted as the Frobenius series of a bigraded module of dimension (2n+1)^n, a formula again characteristic of the Coxeter group of type B_n. Finally, as a side result, we obtain a simple identity involving products of four Littlewood-Richardson coefficients.

We show that the maximal determinant D(n) for $n \times n$ ${\pm 1}$-matrices satisfies $R(n) := D(n)/n^{n/2} \ge κ_d > 0$. Here $n^{n/2}$ is the Hadamard upper bound, and $κ_d$ depends only on $d := n-h$, where $h$ is the maximal order of a Hadamard matrix with $h \le n$. Previous lower bounds on R(n) depend on both $d$ and $n$. Our bounds are improvements, for all sufficiently large $n$, if $d > 1$. We give various lower bounds on R(n) that depend only on $d$. For example, $R(n) \ge 0.07 (0.352)^d > 3^{-(d+3)}$. For any fixed $d \ge 0$ we have $R(n) \ge (2/(πe))^{d/2}$ for all sufficiently large $n$ (and conjecturally for all positive $n$). If the Hadamard conjecture is true, then $d \le 3$ and $κ_d \ge (2/(πe))^{d/2} > 1/9$.

We give simple new proofs of some Hankel determinant evaluations by Omer Egecioglu and Aleksandar Cvetkovic, Predrag Rajkovic and Milos Ivkovic and prove analogous results for sums of moments of symmetric orthogonal polynomials.

Motivated by the Gaussian symplectic ensemble, Mehta and Wang evaluated the $n$ by $n$ determinant $\det((a+j-i)Γ(b+j+i))$ in 2000. When $a=0$, Ciucu and Krattenthaler computed the associated Pfaffian $\Pf((j-i)Γ(b+j+i))$ with an application to the two dimensional dimer system in 2011. Recently we have generalized the latter Pfaffian formula with a $q$-analogue by replacing the Gamma function by the moment sequence of the little $q$-Jacobi polynomials. On the other hand, Nishizawa has found a $q$-analogue of the Mehta--Wang formula. Our purpose is to generalize both the Mehta-Wang and Nishizawa formulae by using the moment sequence of the little $q$-Jacobi polynomials. It turns out that the corresponding determinant can be evaluated explicitly in terms of the Askey-Wilson polynomials.

We prove that for arbitrary partitions $\mathbfλ \subseteq \mathbfκ,$ and integers $0\leq c<r\leq n,$ the sequence of Schur polynomials $S_{(\mathbfκ + k\cdot \mathbf{1}^c)/(\mathbfλ + k\cdot \mathbf{1}^r)}(x_1,...,x_n)$ for $k$ sufficiently large, satisfy a linear recurrence. The roots of the characteristic equation are given explicitly. These recurrences are also valid for certain sequences of minors of banded Toeplitz matrices. In addition, we show that Widom's determinant formula from 1958 is a special case of a well-known identity for Schur polynomials.

By an old result of Cohn (1965), a Hadamard matrix of order n has no proper Hadamard submatrices of order m > n/2. We generalise this result to maximal determinant submatrices of Hadamard matrices, and show that an interval of length asymptotically equal to n/2 is excluded from the allowable orders. We make a conjecture regarding a lower bound for sums of squares of minors of maximal determinant matrices, and give evidence in support of the conjecture. We give tables of the values taken by the minors of all maximal determinant matrices of orders up to and including 21 and make some observations on the data. Finally, we describe the algorithms that were used to compute the tables.

We prove an upper bound on sums of squares of minors of {+1, -1} matrices. The bound is sharp for Hadamard matrices, a result due to de Launey and Levin (2009), but our proof is simpler. We give several corollaries relevant to minors of Hadamard matrices, and generalise a result of Turan on determinants of random {+1,-1} matrices.