arXiv++ Combinatorics

A $n$-by-$n$ matrix is called totally positive ($TP$) if all its minors are positive and $TP_k$ if all of its $k$-by-$k$ submatrices are $TP$. For an arbitrary totally positive matrix or $TP_k$ matrix, we investigate if the $r$th compound ($1<r<n$) is in turn $TP$ or $TP_k$, and demonstrate a strong negative resolution in general. Focus is then shifted to Dodgson's algorithm for calculating the determinant of a generic matrix, and we analyze whether the associated condensed matrices are possibly totally positive or $TP_k$. We also show that all condensed matrices associated with a $TP$ Hankel matrix are $TP$.

This doctoral thesis covers several topics related to the construction and study of maximal determinant matrices with complex entries. The first three chapters are devoted to number-theoretic tools to prove the non-solvability of Gram matrix equations over certain fields, with a focus on combinatorial applications. Chapter 4 gives a survey on Butson-type Hadamard matrices, and shows an improved lower bound on primes $p$ for the existence of $BH(12p, p)$ matrices. Chapter 5 contains the main contributions of the thesis, where the maximal determinant problem for matrices over the m-th roots of unity is discussed, and where new upper and lower bounds, as well as constructions at small orders, are given. Chapter 6 studies maximal determinant matrices over association schemes. Chapter 7 gives an application of design theory to privacy in communications, and it is connected to the rest of the thesis by the use of the theory of quadratic forms.

Associated to any finite metric space are a large number of objects and quantities which provide some degree of structural or geometric information about the space. In this paper we show that in the setting of subsets of weighted Hamming cubes there are unexpected relationships between many of these quantities. We obtain in particular formulas for the determinant of the distance matrix, the $M$-constant and the cofactor sum for such spaces. In general, these types of results offer valuable insights into the combinatorial optimization of certain constrained quadratic forms on finite metric spaces. A key focus in this context are embedding properties of negative type metrics, which play a prominent role in addressing important questions like the sparsest cut problem in graph theory. The current work extends previous results for unweighted metric trees, and more generally, for subsets of standard Hamming cubes, as well as results for weighted metric trees. Finally we consider polygonal equalities in these spaces, giving a complete description of the nontrivial $1$-polygonal equalities that can arise in weighted Hamming cubes.

In this paper, we study extremal values for the determinant of the weighted graph Laplacian under simple nondegeneracy conditions on the weights. We derive necessary and sufficient conditions for the determinant of the Laplacian to be bounded away from zero and for the existence of a minimizing set of weights. These conditions are given both in terms of properties of random spanning trees and in terms of a type of density on graphs. These results generalize and extend the work of [7].

This note presents some results about Hankel determinants of backwards shifted Catalan-like numbers and related sequences.

Complete non-ambiguous trees have been studied in various contexts. Recently, a conjecture was made about their determinants, and subsequently proved by Aval. An alternative proof is given here.

We prove Fredholm determinants build out from generalizations of Schur measures, or equivalently, arbitrary multiplicative statistics of the original Schur measures are tau-functions of the 2D Toda lattice hierarchy. Our result apply to finite temperature Schur measures, and extends both the result of Okounkov in \cite{okounkovschurmeasures} and of Cafasso-Ruzza in \cite{cafassoruzza} concerning the finite-temperature Plancherel measure. Our proof lies on the semi-infinite wedge formalism and the Boson-Fermion correspondance.

Using a slightly generalized result of George Andrews and Jet Wimp this note gives a simple computational proof of some Hankel determinants of backwards shifts of convolution powers of Catalan numbers and obtains analogous results for Narayana polynomials.

The Steiner distance of a set of vertices in a graph is the fewest number of edges in any connected subgraph containing those vertices. The order-$k$ Steiner distance hypermatrix of an $n$-vertex graph is the $n \times \cdots \times n$ ($k$ terms) array indexed by vertices, whose entries are the Steiner distances of their corresponding indices. In the case of $k=2$, this reduces to the classical distance matrix of a graph. Graham and Pollak showed in 1971 that the determinant of the distance matrix of a tree only depends on its number $n$ of vertices. Here, we show that the hyperdeterminant of the Steiner distance hypermatrix of a tree vanishes if and only if (a) $n \geq 3$ and $k$ is odd, (b) $n=1$, or (c) $n=2$ and $k \equiv 1 \pmod{6}$. Two proofs are presented of the $n=2$ case -- the other situations were handled previously -- and we use the argument further to show that the distance spectral radius for $n=2$ is equal to $2^{k-1}-1$. Some related open questions are also discussed.

In recent preprints, Cigler considered certain Hankel determinants of convoluted Catalan numbers and conjectured identities for these determinants. In this note, we shall give a bijective proof of Cigler's Conjecture by interpreting determinants as generating functions of nonintersecting lattice paths: this proof employs the reflection principle, the Lindström-Gessel-Viennot-method and a certain construction involving reflections and overlays of nonintersecting lattice paths. Shortly after this bijective proof was presented here, Cigler provided a shorter proof based on earlier results.

In this article, we study permanental varieties, i.e. varieties defined by the vanishing of permanents of fixed size of a generic matrix. Permanents and their varieties play an important, and sometimes poorly understood, role in combinatorics. However, there are essentially no geometric results about them in the literature, in very sharp contrast to the well-behaved and ubiquitous case of determinants and minors. Motivated by the study of the singular locus of the permanental hypersurface, we focus on the codimension of these varieties. We introduce a $\mathbb C^{*}$-action on matrices and prove a number of results. In particular, we improve a lower bound on the codimension of the aforementioned singular locus established by von zur Gathen in 1987.

This paper sets out to introduce the generalized derangement polynomials of order $r $. It then proceeds to establish various identities associated with these polynomials, along with providing recurrence relations for derangement polynomials of order $ r$. Additionally, the paper offers a probabilistic approach for the generalized derangement polynomials of order $r $. Furthermore, it furnishes a clear expression for the Hankel determinants pertaining to these generalized derangement polynomials of order $r$, and subsequently infers the Hankel determinants for derangement polynomials of the same order, as well as for the count of cyclic derangements.

Graham and Pollak showed in 1971 that the determinant of a tree's distance matrix depends only on its number of vertices, and, in particular, it is always nonzero. The Steiner distance of a collection of $k$ vertices in a graph is the fewest number of edges in any connected subgraph containing those vertices; for $k=2$, this reduces to the ordinary definition of graphical distance. Here, we show that the hyperdeterminant of the $k$-th order Steiner distance hypermatrix is always nonzero if $k$ is even, extending their result beyond $k=2$. Previously, the authors showed that the $k$-Steiner distance hyperdeterminant is always zero for $k$ odd, so together this provides a generalization to all $k$. We conjecture that not just the vanishing, but the value itself, of the $k$-Steiner distance hyperdeterminant of an $n$-vertex tree depends only on $k$ and $n$.

Two formulas for the classical number $C_n$ of lines on a generic hypersurface of degree $2n-3$ in $\mathbb{CP}^n$ are obtained which differ from the formulas by Dominici, Harris, Libgober, and van der Waerden-Zagier. We review the splitting principle computation by Harris obtaining a similar general closed-form formula in terms of the Catalan numbers and elementary symmetric polynomials. This in turn yields $C_n$ as a linear difference recursion relation of unbounded order. Thus, for the sequence of certain linear combinations of $C_n$, a simple generating function is found. Then, a result from random algebraic geometry by Basu, Lerario, Lundberg, and Peterson, that expresses these classical enumerative invariants as proportional to the Bombieri norm of particular polynomial determinants, yields another combinatorial expansion in terms of certain set compositions and block labeling counting. As an example, we compute this combinatorial interpretation for the cases of 27 lines on a cubic surface and 2875 lines on a quintic threefold. As an application, we reobtain the parity and asymptotic upper bound of the sequence. In an appendix, we generalize the splitting principle calculation to obtain a formula for the number of lines on a generic complete intersection.

It is a standard result that the Hankel determinants for a sequence stay invariant after performing the binomial transform on this sequence. In this work, we extend the scenario to $q$-binomial transforms and study the behavior of the leading coefficient in such Hankel determinants. We also investigate the leading coefficient in the Hankel determinants for even-indexed Bernoulli polynomials with recourse to a curious binomial transform. In particular, the degrees of these Hankel determinants share the same nature as those in one of the $q$-binomial cases.

Recently, Banderier et. al. considered Young tableaux with walls, which are similar to standard Young tableaux, except that local decreases are allowed at some walls. We count the numbers $\overline{f}_m(n)$ of Young tableaux of shape $2\times mn$ with walls, that allow local decreases at the $(jm+i)$-th columns for all $j=0,\dots, n-1$ and $i=2,\dots, m$. We find that they have nice generating functions (thanks to the OEIS) as follows. $$\overline{F}_m(x)=\sum_{n\geq 0}\overline{f}_m(n)x^n=\prod_{k=1}^{m}C(e^{k\frac{2πi}{m}} x^\frac{1}{m})=\exp \left(\sum_{n\geq 1}\binom{2mn-1}{mn-1}\frac{x^n}{n}\right),$$ where $C(x)=\frac{1-\sqrt{1-4x}}{2x}$ is the well-known Catalan generating function. We prove generalizations of this result. Firstly, we use the Yamanouchi word to transform Young tableaux with horizontal walls into lattice paths. This results in a determinant formula. Then by lattice path counting theory, we obtain the generating functions $F_r(x)$ for the number of lattice paths from $(0,0)$ to $(\ell n-r,kn)$ that never go above the path $(N^kE^{\ell})^{n-1}N^kE^{\ell-r}$, where $N,E$ stand for north and east steps, respectively. We also obtain exponential formulas for $F_1(x)$ and $F_\ell(x)$. The formula for $\overline{F}_m(x)$ is thus proved since it is just $F_1(x)$ specializes at $k=\ell=m$.

We study heaps of pieces for lattice paths, which give a combinatorial visualization of lattice paths. We introduce two types of heaps: type $I$ and type $II$. A heap of type $I$ is characterized by peaks of a lattice path. We have a duality between a lattice path $μ$ and its dual $\overlineμ$ on heaps of type $I$. A heap of type $II$ for $μ$ is characterized by the skew shape between the lowest path and $μ$. We give a determinant expression for the generating function of heaps for general lattice paths, and an explicit formula for rational $(1,k)$-Dyck paths by using the inversion lemma. We introduce and study heaps in $k+1$-dimensions which are bijective to heaps of type $II$ for $(1,k)$-Dyck paths. Further, we show a bijective correspondence between type $I$ and type $II$ in the case of rational $(1,k)$-Dyck paths. As another application of heaps, we give two explicit formulae for the generating function of heaps for symmetric Dyck paths in terms of statistics on Dyck paths and on symmetric Dyck paths respectively.

In his work on the twenty vertex model, Di Francesco [Electron. J. Combin. 28(4) (2021), Paper No. 4.38] found a determinant formula for the number of configurations in a specific such model, and he conjectured a closed form product formula for the evaluation of this determinant. We prove this conjecture here. Moreover, we actually generalize this determinant evaluation to a one-parameter family of determinant evaluations, and we present many more determinant evaluations of similar type - some proved, some left open as conjectures.

In the total matching problem, one is given a graph $G$ with weights on the vertices and edges. The goal is to find a maximum weight set of vertices and edges that is the non-incident union of a stable set and a matching. We consider the natural formulation of the problem as an integer program (IP), with variables corresponding to vertices and edges. Let $M = M(G)$ denote the constraint matrix of this IP. We define $Δ(G)$ as the maximum absolute value of the determinant of a square submatrix of $M$. We show that the total matching problem can be solved in strongly polynomial time provided $Δ(G) \leq Δ$ for some constant $Δ\in \mathbb{Z}_{\ge 1}$. We also show that the problem of computing $Δ(G)$ admits an FPT algorithm. We also establish further results on $Δ(G)$ when $G$ is a forest.

Bosonic and fermionic statistics are well known to give rise to antinomic behaviors, most notably boson bunching vs. fermion antibunching. Here, we establish a fundamental relation that combines bosonic and fermionic multiparticle interferences in an arbitrary linear interferometer. The bosonic and fermionic transition probabilities appear together in a same equation which constrains their values, hence expressing a boson-fermion complementarity that is independent of the details of the interaction. For two particles in any interferometer, for example, it implies that the average of the bosonic and fermionic probabilities must coincide with the probability obeyed by classical particles. Incidentally, this fundamental relation also provides a heretofore unknown mathematical identity connecting the squared moduli of the permanent and determinant of arbitrary complex matrices.