arXiv++ Combinatorics

Okada and Stembridge's Pfaffian formula for the enumeration of families of nonintersecting paths with fixed starting points and unfixed ending points has been widely used to resolve many challenging problems in enumerative combinatorics. In this paper, we present a new formula that complements Okada and Stembridge's Pfaffian formula. The proof is based on a formula for the square of the sum of maximum minors of matrices obtained from Okada's formula. The combinatorial interpretation of the new formula gives a reflection principle for nonintersecting paths. It implies that the enumeration of families of nonintersecting paths with unfixed ending points can be resolved by enumerating families of nonintersecting paths with fixed ending points instead. Using this formula, we also show that the enumeration of lozenge tilings of a large family of regions with free boundaries can be deduced from those without free boundaries. We then provide several applications of this result, including 1) a new family of regions whose tiling generating function is given by a simple product formula, 2) a simpler proof of a factorization theorem for lozenge tilings of hexagons with holes, and 3) new determinant formulas for the volume generating functions of shifted plane partitions of a shifted shape and symmetric plane partitions of a symmetric shape.

The determinant of a tournament $T$ is defined as the determinant of the skew-adjacency matrix of $T$. For a positive odd integer $k$, let $\mathcal{D}_k$ be the set of tournaments whose all subtournaments have determinant at most $k^2$. Some existing results show that, for $k \in \{1,3,5\}$, a tournament $T \in \mathcal{D}_k \backslash \mathcal{D}_{k-2}$ ($T \in \mathcal{D}_1$ when $k=1$) if and only if $T$ is switching equivalent to a transitive blowup of $L_{k+1}$, where $L_{k+1}$ is a tournament of order $k+1$ with a specific structure. There exist some tournaments with the special property that adding any vertex that does not conform to their structure increases the maximum value of determinants among their subtournaments. We define these tournaments as CR tournaments. In this paper, we introduce CR tournaments, strong CR tournaments and basic tournaments, and show some properties and conclusions on these tournaments. For a basic strong CR tournament $H \in \mathcal{D}_{k} \backslash \mathcal{D}_{k-2}$, we show that if $T$ contains a subtournament which is switching isomorphic to $H$, then $T \in \mathcal{D}_{k} \backslash \mathcal{D}_{k-2}$ if and only if $T$ is switching equivalent to a transitive blowup of $H$. Moreover, we demonstrate that all $L_n$ are strong CR tournaments, and based on this conclusion, we answer a question posed in [J. Zeng, L. You, On determinants of tournaments and $\mathcal{D}_k$, arXiv:2408.06992, 2024.], and propose some questions for further research.

Macdonald's ninth variation of Schur functions is a broad generalization of the classical Schur function and its variants, defined via the Jacobi-Trudi determinant formula. In this paper, we establish various algebraic relations for $S^{(r)}_{λ/μ}(X)$, a class of the ninth variation introduced by Nakagawa, Noumi, Shirakawa, and Yamada, by combining the Jacobi-Trudi formula with determinant formulas such as the Desnanot-Jacobi adjoint matrix theorem and the Plücker relations, which generalize the corresponding relations for Schur functions. As an application, we investigate algebraic relations for "diagonally constant" Schur multiple zeta functions and examine their specific special values when the shape is rectangular.

One important question in the theory of lattices is to detect a shortest vector: given a norm and a lattice, what is the smallest norm attained by a non-zero vector contained in the lattice? We focus on the infinity norm and work with lattices of the form $A\mathbb{Z}^n$, where $A$ has integer entries and is of full column rank. Finding a shortest vector is NP-hard. We show that this task is fixed parameter tractable in the parameter $Δ$, the largest absolute value of the determinant of a full rank submatrix of $A$. The algorithm is based on a structural result that can be interpreted as a threshold phenomenon: whenever the dimension $n$ exceeds a certain value determined only by $Δ$, then a shortest lattice vector attains an infinity norm value of one. This threshold phenomenon has several applications. In particular, it reveals that integer optimal solutions lie on faces of the given polyhedron whose dimensions are bounded only in terms of $Δ$.

In earlier papers, we showed a decomposition of 2-diregular digraphs (2-dds) and used it to provide some sufficient conditions for these graphs to be non-Hamiltonian; we also showed a close connection between the permanent and determinant of the adjacency matrices of these digraphs and gave some enumeration and generation results. In the present paper we extend the discussion to a larger class of digraphs, introduce the notions of routes and quotients and use them to provide additional criteria for 2-dds to be non-Hamiltonian. Though individual non-Hamiltonian regular connected graphs of low degree are known (e.g. Tutte and Meredith graphs), families of such graphs are not common in the literature; even scarcer are families of such digraphs. Our results identify a few such families.

Koutschan, Krattenthaler and Schlosser recently considered a family of binomial determinants. In this work, we give combinatorial interpretations of two subclasses of these determinants in terms of domino tilings and nonintersecting lattice paths, thereby partially answering a question of theirs. Furthermore, the determinant evaluations established by Koutschan, Krattenthaler and Schlosser produce many product formulas for our weighted enumerations of domino tilings and nonintersecting lattice paths. However, there are still two enumerations left corresponding to conjectural formulas made by the three. We hereby prove the two conjectures using the principle of holonomic Ansatz plus the approach of modular reduction for creative telescoping, and hence fill the gap.

Diagrammatic Monte Carlo methods provide robust routines for accurate computations of correlated electronic systems in the thermodynamical limit. Recently, its versatility was extended to SU(N) Hubbard model, where the core is a novel dynamical programming approach to the summation of all connected Feynman diagrams. We present several generalizations of it with more interaction vertices and symmetry broken terms. The framework treats SU(N) symmetry breaking both from nonuniform, flavor-dependent chemical potentials and from spontaneously broken phases induced by shift parameters. We also provide an end-to-end GPU acceleration path with dedicated CUDA C++ optimizations independent of a previous CUDA acceleration approach, where the parallelization strategy is different. We performed detailed numerical study of new algorithms involved in this article and exposed numerical instabilities of connected determinant formalism, which we solved in multiple ways. Together, these advances establish a scalable, high-performance DiagMC toolbox for multi-flavor correlated systems with and without symmetry breaking.

The problem of characterizing graphs determined by their spectrum (DS) or generalized spectrum (DGS) has been a longstanding topic of interest in spectral graph theory, originating from questions in chemistry and mathematical physics. While previous studies primarily focus on identifying whether a graph is DGS, we address a related yet distinct question: how many non-isomorphic generalized cospectral mates a graph can have? Building upon recent advances that connect this question to the properties of the walk matrix, we introduce a broad family of graphs and establish an explicit upper bound on the number of non-isomorphic generalized cospectral mates they can have. This bound is determined by the arithmetic structure of the determinant of the walk matrix, offering a refined criterion for quantifying the multiplicity of generalized cospectral graphs. This result sheds new light on the structure of generalized cospectral graphs and provides a refined arithmetic criterion for bounding their multiplicity.

Using the theoretical basis developed by Yao and Zeilberger, we consider certain graph families whose structure results in a rational generating function for sequences related to spanning tree enumeration. Said families are Powers of Cycles and Powers of Path; later, we briefly discuss Torus graphs and Grid graphs. In each case we know, a priori, that the set of spanning trees of the family of graphs can be described in terms of a finite-state-machine, and hence there is a finite transfer-matrix that guarantees the generating function is rational. Finding this ``grammar'', and hence the transfer-matrix is very tedious, so a much more efficient approach is to use experimental mathematics. Since computing numerical determinants is so fast, one can use the matrix tree theorem to generate sufficiently many terms, then fit the data to a rational function. The whole procedure can be done rigorously a posteriori.

We consider the following natural question. Given a matrix $A$ with i.i.d. random entries, what are the moments of the determinant of $A$? In other words, what is $\mathbb{E}[\det(A)^k]$? While there is a general expression for $\mathbb{E}[\det(A)^k]$ when the entries of $A$ are Gaussian, much less is known when the entries of $A$ have some other distribution. In two recent papers, we answered this question for $k = 4$ when the entries of $A$ are drawn from an arbitrary distribution and for $k = 6$ when the entries of $A$ are drawn from a distribution which has mean $0$. These analyses used recurrence relations and were highly intricate. In this paper, we show how these analyses can be simplified considerably by using analytic combinatorics on permutation tables.

The rank of an n x n matrix A is equal to the size of its largest square submatrix with a nonzero determinant, and it can be computed in O(n^2.37) time. Analogously, the size of the largest square submatrix with nonzero permanent is defined as the permanental rank. Computing the permanent or the coefficients of the permanental polynomial is #P-complete. The permanental nullity is defined as the multiplicity of zero as a root of the permanental polynomial. We establish a permanental analog of the rank-nullity theorem, showing that the sum of the permanental rank and the permanental nullity equals n for symmetric nonnegative matrices, positive semidefinite matrices, and adjacency matrices of balanced signed graphs. Using this theorem, we can compute the permanental nullity for symmetric nonnegative matrices and adjacency matrices of balanced signed graphs in polynomial time. For symmetric matrices with entries in {0, plus or minus 1}, we also provide a complete characterization of when the permanental rank-nullity identity holds.

In this article we study determinantal representations of adjoint hypersurfaces of polytopes. We prove that adjoint polynomials of all polygons can be represented as determinants of tridiagonal symmetric matrices of linear forms with the matrix size being equal to the degree of the adjoint. We prove a sufficient combinatorial condition for a surface in the projective three-space to have a determinantal representation and use it to show that adjoints of all three-dimensional polytopes with at most eight facets and a simple facet hyperplane arrangement admit a determinantal representation. This includes all such polytopes with a smooth adjoint. We demonstrate that, starting from four dimensions, adjoint hypersurfaces may not admit linear determinantal representations. Along the way we prove that, starting from three dimensions, adjoint hypersurfaces are typically singular, in contrast to the two-dimensional case. We also consider a special case of interest to physics, the ABHY associahedron. We construct a determinantal representation of its universal adjoint in three dimensions and show that in higher dimensions a similarly structured representation does not exist.

A colored Gaussian graphical model is a linear concentration model in which equalities among the concentrations are specified by a coloring of an underlying graph. Marigliano and Davies conjectured that every linear binomial that appears in the vanishing ideal of an undirected colored cycle corresponds to a graph symmetry. We prove this conjecture for 3,5, and 7 cycles and disprove it for colored cycles of any other length. We construct the counterexamples by proving the fact that the determinant of the concentration matrices of two colored paths can be equal even when they are not identical or reflection of each other. We also explore the potential strengthening of the conjecture and prove a revised version of the conjecture.

We establish a bijection between the set of finite topological $T_0$-spaces (or partially ordered sets) and equivalence classes of square matrices. The absolute value of the determinant or the rank of these matrices serve as simple homotopy invariants for the corresponding topological spaces, and consequently, for finite simplicial complexes. To conclude, we explore further relationships and problems concerning finite posets within the context of these matrices.

Let $TCG_n$ denote the coprime graph having vertex set $\{1,2,\ldots,n\}$ with any two vertices $i,j$ being adjacent if and only if $\gcd(i,j)=1$. In this article, we first study some structural properties of $TCG_n$. We study the vertex connectivity and crossing number of the coprime graph of integers. We discover a lower constraint on the multiplicity of $-1$, which appears as an eigenvalue in the adjacency matrix of $TCG_n$. We demonstrate our findings with a variety of cases. We also show that the adjacency matrix of $TCG_n$ is singular, i.e. has determinant $0$. Furthermore, we give a lower bound on the multiplicity of $0$, which appears as an eigenvalue in the adjacency matrix of $TCG_n$. Finally, we establish that the greatest eigenvalue of the adjacency matrix of $TCG_n$ is always above $2.$

We study discrete period matrices associated with graphs cellularly embedded on closed surfaces, resembling classical period matrices of Riemann surfaces. Defined via integrals of discrete harmonic 1-forms, these period matrices are known to encode discrete conformal structure in the sense of circle patterns. We obtain a combinatorial interpretation of the discrete period matrix, where its minors are expressed as weighted sums over certain spanning subgraphs, which we call homological quasi-trees. Furthermore, we relate the period matrix to the determinant of the Laplacian for a flat complex line bundle. We derive a combinatorial analogue of the Weil-Petersson potential on the Teichmüller space, expressed as a weighted sum over homological quasi-trees. Finally, we study the collection of homological quasi-trees from a (delta-)matroidal perspective. The discrete period matrix plays a role similar to that of the response matrix in circular planar networks, thereby addressing a question posed by Richard Kenyon.

This is an introduction to algebraic combinatorics, written for a quarter-long graduate course. It starts with a rigorous introduction to formal power series with some combinatorial applications, then discusses integer partitions (proving Jacobi's triple product identity), permutations (Lehmer codes, cycles) and subtractive methods (alternating sums, cancellations and inclusion-exclusion principles, with a particular focus on sign-reversing involutions and determinants). The last chapter introduces symmetric polynomials and proves the Littlewood--Richardson rule using Bender--Knuth involutions (a la Stembridge). The appendix contains over 200 exercises (without solutions).

Barret, Evans, and Francis conjectured that if $G$ is the straight linear 3-tree with $n$ vertices and $H$ is the straight linear 3-tree with $n+1$ vertices then \[\lim_{n\rightarrow \infty} r_{H} (1, n+1) - r_G(1,n) = \frac{1}{14},\] where $r_G(u,v)$ and $r_H(u,v)$ are the resistance distance between vertices $u$ and $v$ in graphs $G$ and $H$ respectively. In this paper, we prove the conjecture by looking at the determinants of deleted Laplacian matrices. The proof uses a Laplace expansion method on a family of determinants to determine the underlying recursion this family satisfies and then uses routine linear algebra methods to obtain an exact Binet formula for the $n$-th term.

The Varchenko matrix is known to have a well-structured determinant for complexes of oriented matroids (COMs). COMs can be characterized as partial cubes that do not have certain forbidden pc-minors. In this work, we generalize the Varchenko matrix and its determinant to partial cubes. We identify examples of partial cubes whose Varchenko determinants lack a clean factorization, as well as those that exhibit such a structure. These findings open the door for further research into the properties and potential characterizations of partial cubes with well-behaved Varchenko determinants.

In this paper, we show some expressions of certain $q$-multiple zeta-star values at roots of unity. These explicit formulas are expressed by using the determinants or Bell polynomials. Explicit formulas for other types of values can be found from recurrence relations obtained using generating functions.