arXiv++ Combinatorics

We show that the existence of $\{\pm 1\}$-matrices having largest possible determinant is equivalent to the existence of certain tournament matrices. In particular, we prove a recent conjecture of Armario. We also show that large submatrices of conference matrices are determined by their spectrum.

For integer $p$, $|p|>1$, and generic rational $x$ and $z$, we establish the irrationality of the series $$\ell_p(x,z)=x\sum_{n=1}^\infty\frac{z^n}{p^n-x}.$$ It is a symmetric ($\ell_p(x,z)=\ell_p(z,x)$) generalization of the $q$-logarithmic function ($x=1$ and $p=1/q$ where $|q|<1$), which in turn generalizes the $q$-harmonic series ($x=z=1$). Our proof makes use of the Hankel determinants built on the Padé approximations to $\ell_p(x,z)$.

The nineteen-vertex model on a periodic lattice with an anti-diagonal twist is investigated. Its inhomogeneous transfer matrix is shown to have a simple eigenvalue, with the corresponding eigenstate displaying intriguing combinatorial features. Similar results were previously found for the same model with a diagonal twist. The eigenstate for the anti-diagonal twist is explicitly constructed using the quantum separation of variables technique. A number of sum rules and special components are computed and expressed in terms of Kuperberg's determinants for partition functions of the inhomogeneous six-vertex model. The computations of some components of the special eigenstate for the diagonal twist are also presented. In the homogeneous limit, the special eigenstates become eigenvectors of the Hamiltonians of the integrable spin-one XXZ chain with twisted boundary conditions. Their sum rules and special components for both twists are expressed in terms of generating functions arising in the weighted enumeration of various symmetry classes of alternating sign matrices (ASMs). These include half-turn symmetric ASMs, quarter-turn symmetric ASMs, vertically symmetric ASMs, vertically and horizontally perverse ASMs and double U-turn ASMs. As side results, new determinant and pfaffian formulas for the weighted enumeration of various symmetry classes of alternating sign matrices are obtained.

We consider the ensemble of $N\times N$ real random symmetric matrices $H_N^{(R)}$ obtained from the determinant form of the Ihara zeta function associated to random graphs $Γ_N^{(R)}$ of the long-range percolation radius model with the edge probability determined by a function $φ(t)$. We show that the normalized eigenvalue counting function of $H_N^{( R)}$ weakly converges in average as $N,R\to\infty$, $R=o(N)$ to a unique measure that depends on the limiting average vertex degree of $Γ_N^{(R)}$ given by $φ_1 = \int φ(t) dt$. This measure converges in the limit of infinite $φ_1$ to a shift of the Wigner semi-circle distribution. We discuss relations of these results with the properties of the Ihara zeta function and weak versions of the graph theory Riemann Hypothesis.

We study determinants of matrices whose entries are powers of Fibonacci numbers. We then extend the results to include entries that are powers of generalized Fibonacci numbers defined as a second-order linear recurrence relation. These studies have led us to discover a fundamental identity of determinant involving powers of linear polynomials. Finally, we discuss the determinants of matrices whose entries are products of the generalized Fibonacci numbers.

We give an explicit evaluation, in terms of products of Jacobsthal numbers, of the Hankel determinants of order a power of two for the period-doubling sequence. We also explicitly give the eigenvalues and eigenvectors of the corresponding Hankel matrices. Similar considerations give the Hankel determinants for other orders.

Varchenko defined the Varchenko matrix associated to any real hyperplane arrangement and computed its determinant. In this paper, we show that the Varchenko matrix of a hyperplane arrangement has a diagonal form if and only if it is semigeneral, i.e., without degeneracy. In the case of semigeneral arrangement, we present an explicit computation of the diagonal form via combinatorial arguments and matrix operations, thus giving a combinatorial interpretation of the diagonal entries.

We compute the number of equivalence classes of nonperiodic covering cycles of given length in a non oriented connected graph. A covering cycle is a closed path that traverses each edge of the graph at least once. A special case is the number of Euler cycles in the non oriented graph. An identity relating the numbers of covering cycles of any length in a graph to a product of determinants is obtained.

The normalized incomplete beta function can be defined either as cumulative distribution function of beta density or as the Gauss hypergeometric function with one of the upper parameters equal to unity. Logarithmic concavity/convexity of this function in parameters was established by Finner and Roters in 1997. Their proof is indirect and rather difficult; it is based on generalized reproductive property of certain more general distributions. These authors remark that these results "seems to be very hard to obtain by usual analytic methods". In the first part of this paper we provide such proof based on standard tools of analysis. In the second part we go one step further and investigate the sign of generalized Turán determinants formed by shifts of the normalized incomplete beta function. Under some additional restrictions we demonstrate that these coefficients are of the same sign. We further conjecture that such restrictions can be removed without altering the results. Our method of proof also leads to various companion results which may be of independent interest. In particular, we establish linearization formulas and two-sided bounds for the above mentioned Turán determinants. Further, we find two combinatorial style identities for finite sums which we believe to be new.

From a transfer formula in multivariate finite operator calculus, comes an expansion for the determinant similar to Ryser's formula for the permanent. Although this one contains many more terms than the usual determinant formula. To prove it, we consider the poset of ordered partitions, properties of the permutahedron, and some good old fashioned combinatorial techniques.

In this paper we extend a notion of Cassini determinant to recently introduced hyperfibonacci sequences. We find $Q$-matrix for the $r$-th generation hyperfibonacci numbers and prove an explicit expression of the Cassini determinant for these sequences.

The distance matrix of a graph $G$ is the matrix containing the pairwise distances between vertices. The distance eigenvalues of $G$ are the eigenvalues of its distance matrix and they form the distance spectrum of $G$. We determine the distance spectra of halved cubes, double odd graphs, and Doob graphs, completing the determination of distance spectra of distance regular graphs having exactly one positive distance eigenvalue. We characterize strongly regular graphs having more positive than negative distance eigenvalues. We give examples of graphs with few distinct distance eigenvalues but lacking regularity properties. We also determine the determinant and inertia of the distance matrices of lollipop and barbell graphs.

We consider the ensemble of real symmetric random matrices $H^{(n,ρ)}$ obtained from the determinant form of the Ihara zeta function of random graphs that have $n$ vertices with the edge probability $ρ/n$. We prove that the normalized eigenvalue counting function of $H^{(n,ρ)}$ weakly converges in average as $n,ρ\to\infty$ and $ρ=o(n^α)$ for any $α>0$ to a shift of the Wigner semi-circle distribution. Our results support a conjecture that the large Erdos-Rényi random graphs satisfy in average the weak graph theory Riemann Hypothesis.

Over the past few years, a family of interesting new inequalities for the entropies of sums and differences of random variables has been developed by Ruzsa, Tao and others, motivated by analogous results in additive combinatorics. The present work extends these earlier results to the case of random variables taking values in $\mathbb{R}^n$ or, more generally, in arbitrary locally compact and Polish abelian groups. We isolate and study a key quantity, the Ruzsa divergence between two probability distributions, and we show that its properties can be used to extend the earlier inequalities to the present general setting. The new results established include several variations on the theme that the entropies of the sum and the difference of two independent random variables severely constrain each other. Although the setting is quite general, the result are already of interest (and new) for random vectors in $\mathbb{R}^n$. In that special case, quantitative bounds are provided for the stability of the equality conditions in the entropy power inequality; a reverse entropy power inequality for log-concave random vectors is proved; an information-theoretic analog of the Rogers-Shephard inequality for convex bodies is established; and it is observed that some of these results lead to new inequalities for the determinants of positive-definite matrices. Moreover, by considering the multiplicative subgroups of the complex plane, one obtains new inequalities for the differential entropies of products and ratios of nonzero, complex-valued random variables.

The classical matrix-tree theorem was discovered by G.~Kirchhoff in 1847. It relates the principal minor of the Laplace (nxn)-matrix to a particular sum of monomials indexed by the set of trees with n vertices. The aim of this paper is to present a generalization of the (nonsymmetric) matrix-tree theorem containing no trees and essentially no matrices. Instead of trees we consider acyclic directed graphs with a prescribed set of sinks, and instead of determinant, a polynomial invariant of the matrix determined by directed graph such that any two vertices of the same connected component are mutually reacheable.

In this paper, we compute asymptotics for the determinant of the combinatorial Laplacian on a sequence of $d$-dimensional orthotope square lattices as the number of vertices in each dimension grows at the same rate. It is related to the number of spanning trees by the well-known matrix tree theorem. Asymptotics for $2$ and $3$ component rooted spanning forests in these graphs are also derived. Moreover, we express the number of spanning trees in a $2$-dimensional square lattice in terms of the one in a $2$-dimensional discrete torus and also in the quartered Aztec diamond. As a consequence, we find an asymptotic expansion of the number of spanning trees in a subgraph of $\mathbb{Z}^2$ with a triangular boundary.

We establish the quaternionic weighted zeta function of a graph and its Study determinant expressions. For a graph with quaternionic weights on arcs, we define a zeta function by using an infinite product which is regarded as the Euler product. This is a quaternionic extension of the square of the Ihara zeta function. We show that the new zeta function can be expressed as the exponential of a generating function and that it has two Study determinant expressions, which are crucial for the theory of zeta functions of graphs.

It is well-known that plane partitions, lozenge tilings of a hexagon, perfect matchings on a honeycomb graph, and families of non-intersecting lattice paths in a hexagon are all in bijection. In this work we consider regions that are more general than hexagons. They are obtained by further removing upward-pointing triangles. We call the resulting shapes triangular regions. We establish signed versions of the latter three bijections for triangular regions. We first investigate the tileability of triangular regions by lozenges. Then we use perfect matchings and families of non-intersecting lattice paths to define two signs of a lozenge tiling. Using a new method that we call resolution of a puncture, we show that the two signs are in fact equivalent. As a consequence, we obtain the equality of determinants, up to sign, that enumerate signed perfect matchings and signed families of lattice paths of a triangular region, respectively. We also describe triangular regions, for which the signed enumerations agree with the unsigned enumerations.

In the paper, the authors find two closed forms involving the Stirling numbers of the second kind and in terms of a determinant of combinatorial numbers for the Bernoulli polynomials and numbers.

A $(v,k,λ)$-covering is a pair $(V, \mathcal{B})$, where $V$ is a $v$-set of points and $\mathcal{B}$ is a collection of $k$-subsets of $V$ (called blocks), such that every unordered pair of points in $V$ is contained in at least $λ$ blocks in $\mathcal{B}$. The excess of such a covering is the multigraph on vertex set $V$ in which the edge between vertices $x$ and $y$ has multiplicity $r_{xy}-λ$, where $r_{xy}$ is the number of blocks which contain the pair $\{x,y\}$. A covering is symmetric if it has the same number of blocks as points. Bryant et al.(2011) adapted the determinant related arguments used in the proof of the Bruck-Ryser-Chowla theorem to establish the nonexistence of certain symmetric coverings with $2$-regular excesses. Here, we adapt the arguments related to rational congruence of matrices and show that they imply the nonexistence of some cyclic symmetric coverings and of various symmetric coverings with specified excesses.