arXiv++ Combinatorics

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.

$q$-deformed real numbers are power series with integer coefficients. We study Stieltjes and Jacobi type continued fraction expansions of $q$-deformed real numbers and find many new examples of such continued fractions. We also investigate the corresponding sequences of Hankel determinants and find an infinite family of power series for which several of the first sequences of Hankel determinants consist of $-1,0$ and $1$ only. These Hankel sequences satisfy Somos and Gale-Robinson recurrences.

We consider polynomials of the form $\operatorname{s}_λ(y_1^{[\varkappa_1]},\ldots,y_n^{[\varkappa_n]})$, where $λ$ is an integer partition, $\operatorname{s}_λ$ is the Schur polynomial associated to $λ$, and $y_j^{[\varkappa_j]}$ denotes $y_j$ repeated $\varkappa_j$ times. We represent $\operatorname{s}_λ(y_1^{[\varkappa_1]},\ldots,y_n^{[\varkappa_n]})$ as a quotient whose the denominator is the determinant of the confluent Vandermonde matrix, and the numerator is the determinant of some generalized confluent Vandermonde matrix. We give three algebraic proofs of this formula.

We give a concise and accessible introduction to the real-analytic determinant method for counting integral points on algebraic curves, based on the classic 1989 paper of Bombieri and Pila.

Complete non-ambiguous trees (CNATs) are combinatorial objects which appear in various contexts.Recently, Chen and Ohlig studied the notion of permutations associated to these objects, and proposed a series of nice conjectures.Most of them were proved by Selig and Zhu, through a connection with the abelian sandpile model.But one conjecture remained open, about the distribution of a natural statistic named determinant.We prove this conjecture, in a bijective way.

The paper aims to establish the Turán inequalities, the Laguerre inequalities (order $2$), and the determinantal inequalities (order $3$) for $Δp(n)$ and $Δ\bar{p}(n)$, where $Δf(n)$ is the first-order forward difference of a sequence $f(n)$. The functions $p(n)$ and $\bar{p}(n)$ denote the partition function and overpartition function, respectively. Conjectures for thresholds of Laguerre inequalities (order $m$) and positivity of $m$-order determinants are proposed, extending to $Δ^k p(n)$ and $Δ^k \bar{p}(n)$, with $1 \leq m \leq 11$ and $1 \leq k \leq 5$.

The Shannon-Hagelbarger theorem states that the effective resistance across any pair of nodes in a resistive network is a concave function of the edge resistances. We give an information-theoretic proof of this result, building on the theory of the Gaussian free field. This also allows us to prove an extension of the result to determinants of matrices of cross effective resistances.

We study the maximum likelihood (ML) degree of discrete exponential independence models and models defined by the second hypersimplex. For models with two independent variables, we show that the ML degree is an invariant of a matroid associated to the model. We use this description to explore ML degrees via hyperplane arrangements. For independence models with more variables, we investigate the connection between the vanishing of factors of its principal $A$-determinant and its ML degree. Similarly, for models defined by the second hypersimplex, we determine its principal $A$-determinant and give computational evidence towards a conjectured lower bound of its ML degree.

A quaternion unit gain graph is a graph where each orientation of an edge is given a quaternion unit, and the opposite orientation is assigned the inverse of this quaternion unit. In this paper, we provide a combinatorial description of the determinant of the Laplacian matrix of a quaternion unit gain graph by using row-column noncommutative determinants recently introduced by one of the authors. A numerical example is presented for illustrating our results.

Gaussian Boson Samplers aim to demonstrate quantum advantage by performing a sampling task believed to be classically hard. The probabilities of individual outcomes in the sampling experiment are determined by the Hafnian of an appropriately constructed symmetric matrix. For nonnegative matrices, there is a family of randomized estimators of the Hafnian based on generating a particular random matrix and calculating its determinant. While these estimators are unbiased (the mean of the determinant is equal to the Hafnian of interest), their variance may be so high as to prevent an efficient estimation. Here we investigate the performance of two such estimators, which we call the Barvinok and Godsil-Gutman estimators. We find that in general both estimators perform well for adjacency matrices of random graphs, demonstrating a slow growth of variance with the size of the problem. Nonetheless, there are simple examples where both estimators show high variance, requiring an exponential number of samples. In addition, we calculate the asymptotic behavior of the variance for the complete graph. Finally, we simulate the Gaussian Boson Sampling using the Godsil-Gutman estimator and show that this technique can successfully reproduce low-order correlation functions.

Mobiles are a particular class of decorated plane trees which serve as codings for planar maps. Here we address the question of enumerating mobiles in their most general flavor, in correspondence with planar Eulerian (i.e., bicolored) maps. We show that the generating functions for such mobiles satisfy a number of recursive equations which lie in the field of integrable systems, leading us to explicit expressions for these generating functions as ratios of particular determinants. In particular we recover known results for mobiles associated with uncolored maps and prove some conjectured formulas for the generating functions of mobiles associated with $p$-constellations.

We show that exchangeable structures such as Polya urn model and Chinese restaurant process can be constructed from sets with a real number of elements. From this construction, the exchangeability of these structures becomes obvious and the calculations on them become extremely simple. Moreover, the usual calculations on these structures, which involve induction, integrals and Jacobian determinants, now can be done by simple combinatorial calculations.

This paper introduces a framework to study discrete optimization problems which are parametric in the following sense: their constraint matrices correspond to matrices over the ring $\mathbb{Z}[x]$ of polynomials in one variable. We investigate in particular matrices whose subdeterminants all lie in a fixed set $S\subseteq\mathbb{Z}[x]$. Such matrices, which we call totally $S$-modular matrices, are closed with respect to taking submatrices, so it is natural to look at minimally non-totally $S$-modular matrices which we call forbidden minors for $S$. Among other results, we prove that if $S$ is finite, then the set of all determinants attained by a forbidden minor for $S$ is also finite. Specializing to the integers, we subsequently obtain the following positive complexity result: the recognition problem for totally $\pm\{0,1,a,a+1,2a+1\}$-modular matrices with $a\in\mathbb{Z}\backslash\{-3,-2,1,2\}$ and the integer linear optimization problem for totally $\pm\{ 0,a,a+1,2a+1\}$-modular matrices with $a\in\mathbb{Z}\backslash\{ -2,1\}$ can be solved in polynomial time.

We prove that any invariant of a 4-quiver, that is piecewise polynomial, moreover, polynomial for fixed signs of entries, is a function of determinant of a quiver.

The classical hook length formula of enumerative combinatorics expresses the number of standard Young tableaux of a given partition shape as a single fraction. In recent years, two generalizations of this formula have emerged: one by Pak and Postnikov, replacing the number by a (rational) generating function, and one by Naruse, which generalizes the setting from a partition to a skew partition. Both generalizations appear to lie significantly deeper, with no simple proofs known. We combine them into a generating-function identity for skew partitions, and prove it in a fairly elementary way using recursion, determinants and simple combinatorics.

We address the computation of the degrees of minors of a noncommutative symbolic matrix of form \[ A[c] := \sum_{k=1}^m A_k t^{c_k} x_k, \] where $A_k$ are matrices over a field $\mathbb{K}$, $x_i$ are noncommutative variables, $c_k$ are integer weights, and $t$ is a commuting variable specifying the degree. This problem extends noncommutative Edmonds' problem (Ivanyos et al. 2017), and can formulate various combinatorial optimization problems. Extending the study by Hirai 2018, and Hirai, Ikeda 2022, we provide novel duality theorems and polyhedral characterization for the maximum degrees of minors of $A[c]$ of all sizes, and develop a strongly polynomial-time algorithm for computing them. This algorithm is viewed as a unified algebraization of the classical Hungarian method for bipartite matching and the weight-splitting algorithm for linear matroid intersection. As applications, we provide polynomial-time algorithms for weighted fractional linear matroid matching and linear optimization over rank-2 Brascamp-Lieb polytopes.

In the paper, by virtue of the famous formula of Faà di Bruno, with the aid of several identities of partial Bell polynomials, by means of a formula for derivatives of the ratio of two differentiable functions, and with availability of other techniques, the authors establish closed-form formulas in terms of the Bernoulli numbers and the second kind Stirling numbers, present determinantal expressions, derive recursive relations, obtain power series, and compute special values of the function $\frac{v^j}{1-\operatorname{e}^{-v}}$, its derivatives, and related ones used in Clark--Ismail's two conjectures. By these results, the authors also discover a formula for the determinant of a Hessenberg matrix and derive logarithmic convexity of a sequence related to the function and its derivatives.

Martin Aigner introduced Catalan-like numbers as elements of the first column of admissible matrices and studied Hankel determinants of their forward shifts. In this paper we collect some properties of the Hankel determinants of the other columns which are suggested by computer experiments. By prepending zero rows to admissible matrices we also consider Hankel determinants of backward shifts.

Graham showed with Pollak and Hoffman-Hosoya that for any directed graph $G$ with strong blocks $G_e$, the determinant $\det(D_G)$ and cofactor-sum $cof(D_G)$ of the distance matrix $D_G$ can be computed from the same quantities for the blocks $G_e$. This was extended to trees - and in our recent work to any graph - with multiplicative and $q$-distance matrices. For trees, we went further and unified all previous variants with weights in a unital commutative ring, into a distance matrix with additive and multiplicative edge-data. In this work: (1) We introduce the additive-multiplicative distance matrix $D_G$ of every strongly connected graph $G$, using what we term the additive-multiplicative block-datum $\mathcal{G}$. This subsumes the previously studied additive, multiplicative, and $q$-distances for all graphs. (2) We introduce an invariant $κ(D_G)$ that seems novel to date, and use it to show "master" Graham-Hoffman-Hosoya (GHH) identities, which express $\det(D_G), cof(D_G)$ in terms of the blocks $G_e$. We show how these imply all previous variants. (3) We show $\det(.), cof(.), κ(.)$ depend only on the block-data for not just $D_G$, but also several minors of $D_G$. This was not studied in any setting to date; we show it in the "most general" additive-multiplicative setting, hence in all known settings. (4) We compute $D_G^{-1}$ in closed-form; this specializes to all known variants. In particular, we recover our previous formula for $D_T^{-1}$ for additive-multiplicative trees (which itself specializes to a result of Graham-Lovasz and answers a 2006 question of Bapat-Lal-Pati.) (5) We also show that not the Laplacian, but a closely related matrix is the "correct" one to use in $D_G^{-1}$ - for the most general additive-multiplicative matrix $D_G$ of each $G$. As examples, we compute in closed form $\det(D_G), cof(D_G), κ(D_G), D_G^{-1}$ for hypertrees.