arXiv++ Combinatorics

In this note I prove a~claim on determinants of some special tridiagonal matrices. Together with my result about Fibonacci partitions (arXiv:math/0307150), this claim allows one to prove one (slightly strengthened) Shallit's result about such partitions.

A conjecture of Barrett, Butler and Hall may be stated as follows: If $n \geq 3$ and $A \in \{0,1\}^{n \times n}$ (the family of $n \times n$ 0--1 matrices) is a nonsingular symmetric matrix, then the following two statements are equivalent: (a) All of the principal minors of $A$ of order $n-2$ are zero; and (b) $A^{-1}$ is a matrix all of whose entries have the same modulus and all of whose diagonal entries are equal. We show that this conjecture holds if $A$ does not have both a zero and a nonzero principal minor of order $n-4$ (if $n \geq 5$). The parity of the principal minors of nonsingular symmetric matrices $A \in \{0,1\}^{n \times n}$ whose principal minors of order $n-2$ are all zero is explored, establishing, in particular, that the determinants of such matrices are all even. For an arbitrary (not necessarily symmetric) nonsingular matrix $A \in \{0,1\}^{n \times n}$ with $n\geq 3$, we establish necessary conditions for $A^{-1}$ to be a matrix all of whose entries have the same modulus; examples of such conditions are the following: each row and column of $A$ has an even number of nonzero entries; each entry of $A^{-1}$ is the reciprocal of an even integer; $\det(A)$ is even; the difference between any two rows of $A$, as well as the difference between any two columns of $A$, has an even number of nonzero entries; if $A$ is symmetric, then $A$ has an even number of nonzero diagonal entries; if $A$ is symmetric and $\vec{a}_k$ is the $k$th column of $A$, then $A-\vec{a}_k\vec{a}_k^T$ has an even number of nonzero diagonal entries.

The \emph{determinant Hosoya triangle}, is a triangular array where the entries are the determinants of two-by-two Fibonacci matrices. The determinant Hosoya triangle $\bmod \,2$ gives rise to three infinite families of graphs, that are formed by complete product (join) of (the union of) two complete graphs with an empty graph. We give a necessary and sufficient condition for a graph from these families to be integral. Some features of these graphs are: they are integral cographs, all graphs have at most five distinct eigenvalues, all graphs are either $d$-regular graphs with $d=2,4,6,\dots $ or almost-regular graphs, and some of them are Laplacian integral. Finally we extend some of these results to the Hosoya triangle.

Symmetric polynomials of the roots of a polynomial can be written as polynomials of the coefficients, and by applying this to the characteristic polynomial we can write a symmetric polynomial of the eigenvalues $a_{i}$ of an $n\times n$ matrix $A$ as a polynomial of the entries of the matrix. We give a magic formula for this: symbolically substitute $a\mapsto A$ in the symmetric polynomial and replace multiplication by $\det$. For instance, for a $2\times2$ matrix $A$ with eigenvalues $a_{1},a_{2}$, \begin{align*} a_1 a_2^2 +a_1^2 a_2 & =\det(A_1, A_2^2)+ \det(A_1^2, A_2) \end{align*} where $A_i^k$ is the $i$-th column of $A^k$. One may also take negative powers, allowing us to calculate: \begin{align*} a_1a_2^{-1}+a_1^{-1}a_{2} & =\det(A_{1},A_{2}^{-1})+\det(A_1^{-1},A_{2}) \end{align*} The magic method also works for multivariate symmetric polynomials of the eigenvalues of a set of commuting matrices, e.g. for $2\times2$ matrices $A$ and $B$ with eigenvalues $a_1,a_2$ and $b_{1},b_{2}$, \begin{align*} a_1 b_1 a_2^2 + a_1^2a_2b_2 & = \det(AB_{1},A_2^2) + \det(A_1^2,AB_2) \end{align*}

We extend our investigation of $2$-determinants, which we defined in a previous paper. For a linear homogenous recurrence of the second order, we consider relations between different sequences satisfying the same linear homogeneous recurrence of the second order. After we prove a generalized identity of d'Ocagne, we derive, from a single identity, a number of classical identities (and their generalizations) such as d'Ocagne's, Cassini's, Catalan's and Vajda's. Along the way, the corresponding combinatorial interpretations in terms of restricted words over a finite alphabet are stated for the sequences we investigate.

We look at connection Laplacians L,g defined by a field h:G to K, where G is a finite set of sets and K is a normed division ring which does not need to be commutative, nor associative but has a conjugation leading to the norm as the square root of h^* h. The target space K can be a normed real division algebra like the quaternions or an algebraic number field like a quadratic field. For parts of the results we can even assume K to be a Banach algebra like an operator algebra on a Hilbert space. The K-valued function h on G then defines connection matrices L,g in which the entries are in K. We show that the Dieudonne determinants of L and g are both equal to the abelianization of the product of all the field values on G. If G is a simplicial complex and h takes values in the units U of K, then g^* is the inverse of L and the sum of the energy values is equal to the sum of the Green function entries g(x,y). If K is the field C of complex numbers, we can study the spectrum of L(G,h) in dependence of the field h. The set of matrices with simple spectrum defines a |G|-dimensional non-compact Kaehler manifold that is disconnected in general and for which we can compute the fundamental group of each connected component.

In the previous paper (J. Combin. Theory Ser. A, 120, 2013, 1263--1284) H. Tagawa and the two authors proposed an algebraic method to compute certain Pfaffians whose form resemble to Hankel determinants associated with moment sequences of the classical orthogonal polynomials. At the end of the paper they offered several conjectures. In this work we employ a completely different method to evaluate this type of Pfaffians. The idea is to apply certain de Bruijn type formula and convert the evaluation of the Pfaffians to the certain Selberg type integrals. This approach works not only for Pfaffians but also for hyperpfaffians. Hence it enables us to establish much more generalized identities than those conjectured in the previous paper. We also investigate some Pfaffians related to classical $q$-orthogonal polynomials.

This is a detailed survey -- with rigorous and self-contained proofs -- of some of the basics of elementary combinatorics and algebra, including the properties of finite sums, binomial coefficients, permutations and determinants. It is entirely expository (and written to a large extent as a repository for folklore proofs); no new results (and few, if any, new proofs) appear.

Fully inhomogeneous spin Hall-Littlewood symmetric rational functions $\mathsf{F}_λ$ arise in the context of $\mathfrak{sl}(2)$ higher spin six vertex models, and are multiparameter deformations of the classical Hall-Littlewood symmetric polynomials. We obtain a refined Cauchy identity expressing a weighted sum of the product of two $\mathsf{F}_λ$'s as a determinant. The determinant is of Izergin-Korepin type: it is the partition function of the six vertex model with suitably decorated domain wall boundary conditions. The proof of equality of two partition functions is based on the Yang-Baxter equation. We rewrite our Izergin-Korepin type determinant in a different form which includes one of the sets of variables in a completely symmetric way. This determinantal identity might be of independent interest, and also allows to directly link the spin Hall-Littlewood rational functions with (the Hall-Littlewood particular case of) the interpolation Macdonald polynomials. In a different direction, a Schur expansion of our Izergin-Korepin type determinant yields a deformation of Schur symmetric polynomials. In the spin-$\frac12$ specialization, our refined Cauchy identity leads to a summation identity for eigenfunctions of the ASEP (Asymmetric Simple Exclusion Process), a celebrated stochastic interacting particle system in the Kardar-Parisi-Zhang universality class. This produces explicit integral formulas for certain multitime probabilities in ASEP.

We evaluate the Hankel determinants of various sequences related to Bernoulli and Euler numbers and special values of the corresponding polynomials. Some of these results arise as special cases of Hankel determinants of certain sums and differences of Bernoulli and Euler polynomials, while others are consequences of a method that uses the derivatives of Bernoulli and Euler polynomials. We also obtain Hankel determinants for sequences of sums and differences of powers and for generalized Bernoulli polynomials belonging to certain Dirichlet characters with small conductors. Finally, we collect and organize Hankel determinant identities for numerous sequences, both new and known, containing Bernoulli and Euler numbers and polynomials.

Let $τ$ be the substitution $1\to 101$ and $0\to 1$ on the alphabet $\{0,1\}$. The fixed point of $τ$ leading by 1, denoted by $\mathbf{s}$, is a Sturmian sequence. We first give a characterization of $\mathbf{s}$ using $f$-representation. Then we show that the distribution of zeros in the determinants induces a partition of integer lattices in the first quadrant. Combining those properties, we give the explicit values of the Hankel determinants $H_{m,n}$ of $\mathbf{s}$ for all $m\ge 0$ and $n\ge 1$.

This article computes the Varchenko determinant of dehyperplane arrangements which are generalizations of pseudohyperplane arrangements. But unlike those latter, they are defined on a real manifold, and it is not always possible to obtain a central dehyperplane arrangement by coning. This article also studies the solution space of a linear system defined from a dehyperplane arrangement. That equation system was first introduced by Aguiar and Mahajan for central hyperplane arrangements.

Let $\mathbb Z/d\mathbb Z \wr \mathfrak S_n$ denote the wreath product of the cyclic group $\mathbb Z/d\mathbb Z$ with the symmetric group $\mathfrak S_n$. We define generating functions for monomial (induced one-dimensional) characters of $\mathbb Z/d\mathbb Z \wr \mathfrak S_n$ and express these in terms of determinants and permanents. This extends work of Littlewood ({\em The Theory of Group Characters and Representations of Groups}, 1940) and Merris and Watkins ({\em Linear Algebra Appl.}, {\bf 64}, 1985) on generating functions for the monomial characters of $\mathfrak S_n$.

We construct an integrable colored six-vertex model whose partition function is a double Grothendieck polynomial. This gives an integrable systems interpretation of bumpless pipe dreams and recent results of Weigandt [arXiv:2003.07342] relating double Grothendieck polynomias with bumpless pipe dreams. For vexillary permutations, we then construct a new model that we call the semidual version model. We use our semidual model and the five-vertex model of Motegi and Sakai to given a new proof that double Grothendieck polynomials for vexillary permutations are equal to flagged factorial Grothendieck polynomials. Taking the stable limit of double Grothendieck polynomials, we obtain a new proof that the stable limit is a factorial Grothendieck polynomial as defined by McNamara. The states of our semidual model naturally correspond to families of nonintersecting lattice paths, where we can then use the Lindström-Gessel-Viennot lemma to give a determinant formula for double Schubert polynomials corresponding to vexillary permutations.

The classical hook length formula counts the number of standard tableaux of straight shapes. In 1996, Okounkov and Olshanski found a positive formula for the number of standard Young tableaux of a skew shape. We prove various properties of this formula, including three determinantal formulas for the number of nonzero terms, an equivalence between the Okounkov-Olshanski formula and another skew tableaux formula involving Knutson-Tao puzzles, and two $q$-analogues for reverse plane partitions, which complements work by Stanley and Chen for semistandard tableaux. We also give several reformulations of the formula, including two in terms of the excited diagrams appearing in a more recent skew tableaux formula by Naruse. Lastly, for thick zigzag shapes we show that the number of nonzero terms is given by a determinant of the Genocchi numbers and improve on known upper bounds by Morales-Pak-Panova on the number of standard tableaux of these shapes.

Using a change of basis in the algebra of symmetric functions, we compute the moments of the Hermitian Jacobi process. After a careful arrangement of the terms and the evaluation of the determinant of an `almost upper-triangular' matrix, we end up with a moment formula which is considerably simpler than the one derived in \cite{Del-Dem}. As an application, we propose the Hermitian Jacobi process as a dynamical model for optical fibers MIMO channels and compute its Shannon capacity for small enough power at the transmitter. Moreover, when the size of the Hermitian Jacobi process is larger than the moment order, our moment formula may be written as a linear combination of balanced terminating ${}_4F_3$-series evaluated at unit argument.

This work shows that the smallest natural number $d_n$ that is not the determinant of some $n\times n$ binary matrix is at least $c\,2^n/n$ for $c=1/201$. That same quantity naturally lower bounds the number of distinct integers $D_n$ which can be written as the determinant of some $n\times n$ binary matrix. This asymptotically improves the previous result of $d_n=Ω(1.618^n)$ and slightly improves the previous result of $D_n\ge 2^n/g(n)$ for a particular $g(n)=ω(n^2)$ function.

Let $G$ be a (multi) graph on the vertex set $V=\{0,1,\ldots ,n\}$ with root $0$. The $G$-parking function ideal $\mathcal{M}_G$ is a monomial ideal in the polynomial ring $R=\mathbb{K}[x_1,\ldots ,x_n]$ over a field $\mathbb{K}$ such that $\dim_{\mathbb K}\left(\frac{R}{\mathcal{M}_G}\right)=\det\left(\widetilde{L}_G\right)$, where $\widetilde{L}_G$ is the truncated Laplace matrix of $G$ and $\det\left(\widetilde L_G\right)$ is the determinant of $\widetilde L_G$. In other words, standard monomials of the Artinian quotient $\frac{R}{\mathcal{M}_G}$ correspond bijectively with the spanning trees of $G$. For $0\leq k\leq n-1$, the $k$-skeleton ideal $\mathcal{M}_G^{(k)}$ of $G$ is the monomial subideal $\mathcal{M}_G^{(k)}=\left\langle m_A:\emptyset\neq A\subseteq[n]\text{ and }|A|\leq k+1\right\rangle$ of the $G$-parking function ideal $\mathcal{M}_G=\left\langle m_A : \emptyset \neq A\subseteq[n]\right\rangle\subseteq R$. For a simple graph $G$, Dochtermann conjectured that $\dim_{\mathbb K}\left(\frac{R}{\mathcal{M}_G^{(1)}}\right)\geq\det\left(\widetilde{Q}_G\right)$, where $\widetilde Q_G$ is the truncated signless Laplace matrix of $G$. We show that Dochtermann conjecture holds for any (simple or multi) graph $G$ on $V$.

This article is based upon previous work by Sousa Ramos and his collaborators. They first prove that the existence of only one orbit associated with the Collatz conjecture is equivalent to the determinant of each matrix of a certain sequence of matrices to have the same value. These matrices are called Collatz matrices. The second step in their work would be to calculate this determinant for each of the Collatz matrices. Having calculated this determinant for the first few terms of the sequence of matrices, their plan was to prove the determinant of the current term equals the determinant of the previous one. Unfortunately, they could not prove it for the cases where the dimensions of the matrices are 26+54l or 44+54l, where l is a positive integer. In the current article we improve on these results.

The explicit formula for the elements of the successive intermediate matrices of the Gauss-Jordan elimination procedure for the solution of systems of linear equations is applied to error analysis. Stability conditions in terms of relative uncertainty and size of determinants are given such that the Gauss-Jordan procedure leads to a solution respecting the original imprecisions in the right-hand member. The solution is the same as given by Cramer's Rule. Imprecisions are modelled by scalar neutrices, which are convex groups of (nonstandard) real numbers. The resulting calculation rules extend informal error calculus, and permit to keep track of the errors at every stage.