arXiv++ Combinatorics

Let ${\mathcal D}(n)$ be the maximal determinant for $n \times n$ $\{\pm 1\}$-matrices, and $\mathcal R(n) = {\mathcal D}(n)/n^{n/2}$ be the ratio of ${\mathcal D}(n)$ to the Hadamard upper bound. Using the probabilistic method, we prove new lower bounds on ${\mathcal D}(n)$ and $\mathcal R(n)$ in terms of $d = n-h$, where $h$ is the order of a Hadamard matrix and $h$ is maximal subject to $h \le n$. For example, $\mathcal R(n) > (πe/2)^{-d/2}$ if $1 \le d \le 3$, and $\mathcal R(n) > (πe/2)^{-d/2}(1 - d^2(π/(2h))^{1/2})$ if $d > 3$. By a recent result of Livinskyi, $d^2/h^{1/2} \to 0$ as $n \to \infty$, so the second bound is close to $(πe/2)^{-d/2}$ for large $n$. Previous lower bounds tended to zero as $n \to \infty$ with $d$ fixed, except in the cases $d \in \{0,1\}$. For $d \ge 2$, our bounds are better for all sufficiently large $n$. If the Hadamard conjecture is true, then $d \le 3$, so the first bound above shows that $\mathcal R(n)$ is bounded below by a positive constant $(πe/2)^{-3/2} > 0.1133$.

In this paper, we study a distribution of labeled particles on a continuous ring. It arises in three different ways, all related to the multi-type TASEP on a ring. We prove formulas for the probability density function for some permutations and give conjectures for a larger class. We give a complete conjecture for the probability of two particles i, j being next to each other on the cycle, for which we prove some cases. We also find that two natural events associated to the process have exactly the same probability expressed as a Vandermonde determinant. It is unclear whether this is just a coincidence or a consequence of a deeper connection.

Many discrete integrable systems exhibit the Laurent phenomenon. In this paper, we investigate three integrable systems: the Somos-4 recurrence, the Somos-5 recurrence and a system related to so-called $A_1$ $Q$-system, whose general solutions are derived in terms of Hankel determinant. As a result, we directly confirm that they satisfy the Laurent property. Additionally, it is shown that the Somos-5 recurrence can be viewed as a specified Bäcklund transformation of the Somos-4 recurrence. The related topics about Somos polynomials are also studied.

We consider the six-vertex model in an L-shaped domain of the square lattice, with domain wall boundary conditions. For free-fermion vertex weights the partition function can be expressed in terms of some Hankel determinant, or equivalently as a Coulomb gas with discrete measure and a non-polynomial potential with two hard walls. We use Coulomb gas methods to study the partition function in the thermodynamic limit. We obtain the free energy of the six-vertex model as a function of the parameters describing the geometry of the scaled L-shaped domain. Under variations of these parameters the system undergoes a third-order phase transition. The result can also be considered in the context of dimer models, for the perfect matchings of the Aztec diamond graph with a cut-off corner.

A systematic study of holomorphic gauge invariant operators in general $\mathcal{N}=1$ quiver gauge theories, with unitary gauge groups and bifundamental matter fields, was recently presented in [1]. For large ranks a simple counting formula in terms of an infinite product was given. We extend this study to quiver gauge theories with fundamental matter fields, deriving an infinite product form for the refined counting in these cases. The infinite products are found to be obtained from substitutions in a simple building block expressed in terms of the weighted adjacency matrix of the quiver. In the case without fundamentals, it is a determinant which itself is found to have a counting interpretation in terms of words formed from partially commuting letters associated with simple closed loops in the quiver. This is a new relation between counting problems in gauge theory and the Cartier-Foata monoid. For finite ranks of the unitary gauge groups, the refined counting is given in terms of expressions involving Littlewood-Richardson coefficients.

The notion of generalized quantum monoids is introduced. It is proved that the quantum coordinate ring of the monoid can be lifted to a quantum hyper-algebra, in which the quantum determinant and quantum Pfaffian are sent to the quantum hyperdeterminant and quantum hyper-Pfaffian respectively. The quantum hyperdeterminant in even dimension is shown to be a $q$-analog of Cayley's first hyperdeterminant.

In this article, dedicated with admiration and gratitude to guru Neil Sloane on his 75-th birthday, we observe that the generating functions for multi-set permutations that do not contain an increasing subsequence of length d, and where every letter appears the same number of times, say r, are always D-finite, (for every d and every r), and we actually crank out the first few terms of quite a few of them, many of whom are not yet in the OEIS. We also state a conjectured asymptotic formula for these sequences, that reduces to Amitai Regev's famous formula when r=1, and pledge a 100 dollar donation to the OEIS in honor of the first one to prove our conjecture. We pledge another 100 dollars for extending Ira Gessel's spectacular Bessel determinant, from the r=1 case to general r.

Conway and Coxeter introduced frieze patterns in 1973 and classified them via triangulated polygons. The determinant of the matrix associated to a frieze table was computed explicitly by Broline, Crowe and Isaacs in 1974, a result generalized 2012 by Baur and Marsh in the context of cluster algebras of type A. Higher angulations of polygons and associated generalized frieze patterns were studied in a joint paper with Holm and Jørgensen. Here we take these results further; we allow arbitrary dissections and introduce polynomially weighted walks around such dissected polygons. The corresponding generalized frieze table satisfies a complementary symmetry condition; its determinant is a multisymmetric multivariate polynomial that is given explicitly. But even more, the frieze matrix may be transformed over a ring of Laurent polynomials to a nice diagonal form generalizing the Smith normal form result given in an earlier joint paper with Holm and Jørgensen. Considering the generalized polynomial frieze in this context it is also shown that the non-zero local determinants are monomials that are given explicitly, depending on the geometry of the dissected polygon.

We compute the distance-dependent two-point function of vertex-bicolored planar maps, i.e., maps whose vertices are colored in black and white so that no adjacent vertices have the same color. By distance-dependent two-point function, we mean the generating function of these maps with both a marked oriented edge and a marked vertex which are at a prescribed distance from each other. As customary, the maps are enumerated with arbitrary degree-dependent face weights, but the novelty here is that we also introduce color-dependent vertex weights. Explicit expressions are given for vertex-bicolored maps with bounded face degrees in the form of ratios of determinants of fixed size. Our approach is based on a slice decomposition of maps which relates the distance-dependent two-point function to the coefficients of the continued fraction expansions of some distance-independent map generating functions. Special attention is paid to the case of vertex-bicolored quadrangulations and hexangulations, whose two-point functions are also obtained in a more direct way involving equivalences with hard dimer statistics. A few consequences of our results, as well as some extension to vertex-tricolored maps, are also discussed.

This work enrols the research line of M. Haiman on the Operator Theorem (the old operator conjecture). This theorem states that the smallest $\mathfrak{S}_n$-module closed under taking partial derivatives and closed under the action of polarization operators that contains the Vandermonde determinant is the space of diagonal harmonics polynomials. We start generalizing the context of this theorem to the context of polynomials in $\ell$ sets of $n$ variables $x_{ij}$ with $1\leq i\leq \ell$ et $1\leq j\leq n$. Given a $\frak{S}_n$-stable family of homogeneous polynomials in the variables $x_{ij}$ the smallest vector space closed under taking partial derivatives and closed under the action of polarization operators that contains $F$ is the polarization module generated by the family $F$. These polarization modules are all representation of the direct product $\mathfrak{S}_n\times{GL}_{\ell}(\mathbb{C})$. In order to study the decomposition into irreducible submodules, we compute the graded Frobenius characteristic of these modules. For several cases of $\mathfrak{S}_n$-stable families of homogeneous polynomials in $n$ variables, for every $n\geq 1$, we show general formulas for this graded characteristic in a global manner, independent of the value of $\ell$.

F. Labourie [arXiv:1212.5015] characterized the Hitchin components for $\operatorname{PSL}(n, \mathbb{R})$ for any $n>1$ by using the swapping algebra, where the swapping algebra should be understood as a ring equipped with a Poisson bracket. We introduce the rank $n$ swapping algebra, which is the quotient of the swapping algebra by the $(n+1)\times(n+1)$ determinant relations. The main results are the well-definedness of the rank $n$ swapping algebra and the "cross-ratio" in its fraction algebra. As a consequence, we use the sub fraction algebra of the rank $n$ swapping algebra generated by these "cross-ratios" to characterize the $\operatorname{PSL}(n, \mathbb{R})$ Hitchin component for a fixed $n>1$. We also show the relation between the rank $2$ swapping algebra and the cluster $\mathcal{X}_{\operatorname{PGL}(2,\mathbb{R}),D_k}$-space.

In 2004, Choe, Oxley, Sokal and Wagner established a tight connection between matroids and multiaffine real stable polynomials. Recently, Branden used this theory and a polynomial coming from the Vamos matroid to disprove the generalized Lax conjecture. Here we present a 10-element extension of the Vamos matroid and prove that its basis generating polynomial is real stable (i.e. that the matroid has the half-plane property). We do this via large sums of squares computations and a criterion for real stability given by Wagner and Wei. Like the Vamos matroid, this matroid is not representable over any field and no power of its basis generating polynomial can be written as the determinant of a linear matrix with positive semidefinite Hermitian forms.

The Varchenko determinant is the determinant of the bilinear form associated to a real hyperplane arrangement. We show that we can obtain the exact value of this determinant for certain hyperplane arrangements if we know the edges which are relevant.

We consider iterations of integer-valued functions $φ$, which have no fixed points in the domain of positive integers. We define a local function $φ_n$, which is a sub-function of $φ$ being restricted to the subdomain $\{0, ..., n \}$. The iterations of $φ_n$ can be described by a certain $n \times n$ sparse matrix $M_n$ and its powers. The determinant of the related $n \times n$ matrix $\hat{M}_n = I - M_n$, where $I$ is the identity matrix, acts as an indicator, whether the iterations of the local function $φ_n$ enter a cycle or not. If $φ_n$ has no cycle, then $\det \hat{M}_n = 1$ and the structure of the inverse $\hat{M}_n^{-1}$ can be characterized. Subsequently, we give applications to compute the inverse $\hat{M}_n^{-1}$ for some special functions. At the end, we discuss the results in connection with the $3x+1$ and related problems.

Let ${\mathcal D}^{k,l}(m,n)$ be the set of all the integer points in the transportation polytope of $kn\times ln$ matrices with row sums $lm$ and column sums $km$. In this paper we find the sharp lower bound on the tropical determinant over the set ${\mathcal D}^{k,l}(m,n)$. This integer piecewise-linear programming problem in arbitrary dimension turns out to be equivalent to an integer non-linear (in fact, quadratic) optimization problem in dimension two. We also compute the sharp upper bound on a modification of the tropical determinant, where the maximum over all the transversals in a matrix is replaced with the minimum.

We put forward the concept of measure graphs. These are (possibly uncountable) graphs equipped with an action of a groupoid and a measure invariant under this action. Examples include finite graphs, periodic graphs, graphings and percolation graphs. Making use of Connes' non-commutative integration theory we construct a Zeta function and present a determinant formula for it. We further introduce a notion of weak convergence of measure graphs and show that our construction is compatible with it. The approximation of the Ihara Zeta function via the normalized version on finite graphs in the sense of Benjamini-Schramm follows as a special case. Our framework not only unifies corresponding earlier results occurring in the literature. It likewise provides extensions to rich new classes of objects such as percolation graphs.

Let $\mathcal{V}=\bigsqcup_{i=0}^n\mathcal{V}_i$ be the lattice of subspaces of the $n$-dimensional vector space over the finite field $\mathbb{F}_q$ and let $\mathcal{A}$ be the graded Gorenstein algebra defined over $\mathbb{Q}$ which has $\mathcal{V}$ as a $\mathbb{Q}$ basis. Let $F$ be the Macaulay dual generator for $\mathcal{A}$. We compute explicitly the Hessian determinant $|\frac{\partial ^2F}{\partial X_i \partial X_j}|$ evaluated at the point $X_1 = X_2 = \cdots = X_N=1$ and relate it to the determinant of the incidence matrix between $\mathcal{V}_1$ and $\mathcal{V}_{n-1}$. Our exploration is motivated by the fact that both of these matrices arise naturally in the study of the Sperner property of the lattice and the Lefschetz property for the graded Artinian Gorenstein algebra associated to it.

Operators are induced on fermion and zeon algebras by the action of adjacency matrices and combinatorial Laplacians on the vector spaces spanned by the graph's vertices. Properties of the algebras automatically give information about the graph's spanning trees and vertex coverings by cycles \& matchings. Combining the properties of operators induced on fermions and zeons gives a fermion-zeon convolution that recovers the number of Hamiltonian cycles in an arbitrary graph. The mathematics underlying the graph-theoretic interpretation of these operators is provided by Kirchhoff's theorem and by the seminal works of Goulden and Jackson and Liu, who established formulas for enumeration of Hamiltonian cycles and paths using determinants and permanents of adjacency matrices.

In the paper, we give the recurrent equations of the Hankel determinants of the Cantor sequence, and show that the Hankel determinants as a double sequence is 3-automatic. With the help of the Hankel determinants, we prove that the irrationality exponent of the Cantor number, i.e. the transcendental number with Cantor sequence as its b-ary expansion, equals 2.

Let $Δ$ be an integer $n \times n$-matrix which satisfies the conditions: $\det Δ\neq 0$, $Δ_{ij}\leq 0\text{ for }i\neq j,$ and there exists a vector ${\bf r}=(r_1,\ldots,r_n)>0$ such that ${\bf r}Δ\geq 0$. Here the notation ${\bf r}> 0$ means that $r_i>0$ for all $i$, and ${\bf r}\geq {\bf r}'$ means that $r_i\geq r'_i$ for every $i$. Let $\mathscr{R}(Δ)$ be the set of vectors ${\bf r}$ such that ${\bf r}>0$ and ${\bf r}Δ\geq 0$. In this paper, $(Δ,{\bf r})$-parking functions are defined for any ${\bf r}\in\mathscr{R}(Δ)$. It is proved that the set of $(Δ,{\bf r})$-parking functions is independent of ${\bf r}$ for any ${\bf r}\in\mathscr{R}(Δ)$. For this reason, $(Δ,{\bf r})$-parking functions are simply called $Δ$-parking functions. It is shown that the number of $Δ$-parking functions is less than or equal to the determinant of $Δ$. Moreover, the definition of $(Δ,{\bf r})$-recurrent configurations are given for any ${\bf r}\in\mathscr{R}(Δ)$. It is proved that the set of $(Δ,{\bf r})$-recurrent configurations is independent of ${\bf r}$ for any ${\bf r}\in\mathscr{R}(Δ)$. Hence, $(Δ,{\bf r})$-recurrent configurations are simply called $Δ$-recurrent configurations. It is obtained that the number of $Δ$-recurrent configurations is larger than or equal to the determinant of $Δ$. A simple bijection from $Δ$-parking functions to $Δ$-recurrent configurations is established. It follows from this bijection that the number of $Δ$-parking functions and the number of $Δ$-recurrent configurations are both equal to the determinant of $Δ$.