arXiv++ Combinatorics

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 $Δ$.

The aim of the present paper is to generalize the notion of the group determinants for finite groups. For a finite group $G$ of order $kn$ and its subgroup $H$ of order $n$, one may define an $n$ by $kn$ matrix $X=(x_{hg^{-1}})_{h\in H,g\in G}$, where $x_g$ ($g\in G$) are indeterminates indexed by the elements in $G$. Then, we define an invariant $Θ(G,H)$ for a given pair $(G,H)$ by the $k$-wreath determinant of the matrix $X$, where $k$ is the index of $H$ in $G$. The $k$-wreath determinant of $n$ by $kn$ matrix is a relative invariant of the left action by the general linear group of order $k$ and right action by the wreath product of two symmetric groups of order $k$ and $n$. Since the definition of $Θ(G,H)$ is ordering-sensitive, representation theory of symmetric groups are naturally involved. In this paper, we treat abelian groups with a special choice of indeterminates and give various examples of non-abelian group-subgroup pairs.

The Hankel determinants of certain automatic sequences $f$ are evaluated, based on a calculation modulo a prime number. In most cases, the Hankel determinants of automatic sequences do not have any closed-form expressions; the traditional methods, such as $LU$-decompo\-si\-tion and Jacobi continued fraction, cannot be applied directly. Our method is based on a simple idea: the Hankel determinants of each sequence $g$ equal to $f$ modulo $p$ are equal to the Hankel determinants of $f$ modulo $p$. The clue then consists of finding a nice sequence $g$, whose Hankel determinants have closed-form expressions. Several examples are presented, including a result saying that the Hankel determinants of the Thue-Morse sequence are nonzero, first proved by Allouche, Peyrière, Wen and Wen using determinant manipulation. The present approach shortens the proof of the latter result significantly. We also prove that the corresponding Hankel determinants do not vanish when the powers $2^n$ in the infinite product defining the $\pm 1$ Thue--Morse sequence are replaced by $3^n$.

In 1998, Allouche, Peyrière, Wen and Wen established that the Hankel determinants associated with the Thue--Morse sequence on $\{-1, 1\}$ are always nonzero. Their proof depends on a set of sixteen recurrence relations. We present an alternative, purely combinatorial proof of the same result. We also re-prove a recent result of Coons on the non-vanishing of the Hankel determinants associated to two other classical integer sequences.

In 1998, Allouche, Peyrière, Wen and Wen considered the Thue--Morse sequence, and proved that all the Hankel determinants of the period-doubling sequence are odd integral numbers. We speak of $t$-extension when the entries along the diagonal in the Hankel determinant are all multiplied by~$t$. Then we prove that the $t$-extension of each Hankel determinant of the period-doubling sequence is a polynomial in $t$, whose leading coefficient is the {\it only one} to be an odd integral number. Our proof makes use of the combinatorial set-up developed by Bugeaud and Han, which appears to be very suitable for this study, as the parameter $t$ counts the number of fixed points of a permutation. Finally, we prove that all the $t$-extensions of the Hankel determinants of the regular paperfolding sequence are polynomials in $t$ of degree less than or equal to $3$.

The Hankel determinants of a given power series $f$ can be evaluated by using the Jacobi continued fraction expansion of $f$. However the existence of the Jacobi continued fraction needs that all Hankel determinants of $f$ are nonzero. We introduce {\it Hankel continued fraction}, whose existene and unicity are guaranteed without any condition for the power series $f$. The Hankel determinants can also be evaluated by using the Hankel continued fraction. It is well known that the continued fraction expansion of a quadratic irrational number is ultimately periodic. We prove a similar result for power series. If a power series $f$ over a finite field satisfies a quadratic functional equation, then the Hankel continued fraction is ultimately periodic. As an application, we derive the Hankel determinants of several automatic sequences, in particular, the regular paperfolding sequence. Thus we provide an automatic proof of a result obtained by Guo, Wu and Wen, which was conjectured by Coons-Vrbik.

Using Kasteleyn's determinant method, we count perfect matchings of rectangular subgraphs of the square grid.

We show that certain weighted average of the alpha-determinant of a $kn$ by $kn$ matrix of the form $A\otimes1_{1,k}$, the Kronecker product of a $kn$ by $n$ matrix $A$ and $1$ by $k$ all one matrix $1_{1,k}$, over permutations of $kn$ letters is reduced to the $k$-wreath determinant of $A$ up to constant. The constant is exactly given by the modified content polynomial for the Young diagram $(k^n)$. As a corollary, we give a `determinantal' formula for certain functions on the symmetric groups which are invariant under the left and right translation by a Young subgroup, especially the values of the Kostka numbers for rectangular shapes with arbitrary weight. This corollary gives a generalization of the formula of irreducible characters of the symmetric group for rectangular shapes due to Stanley.

Let $D(n)$ be the maximal determinant for $n \times n$ $\{\pm 1\}$-matrices, and ${\mathcal R}(n) = D(n)/n^{n/2}$ be the ratio of $D(n)$ to the Hadamard upper bound. We give several new lower bounds on ${\mathcal R}(n)$ in terms of $d$, where $n = h+d$, $h$ is the order of a Hadamard matrix, and $h$ is maximal subject to $h \le n$. A relatively simple bound is \[{\mathcal R}(n) \ge \left(\frac{2}{πe}\right)^{d/2} \left(1 - d^2\left(\fracπ{2h}\right)^{1/2}\right) \;\text{ for all }\; n \ge 1.\] An asymptotically sharper bound is \[{\mathcal R}(n) \ge \left(\frac{2}{πe}\right)^{d/2} \exp\left(d\left(\fracπ{2h}\right)^{1/2} + \; O\left(\frac{d^{5/3}}{h^{2/3}}\right)\right).\] We also show that \[{\mathcal R}(n) \ge \left(\frac{2}{πe}\right)^{d/2}\] if $n \ge n_0$ and $n_0$ is sufficiently large, the threshold $n_0$ being independent of $d$, or for all $n\ge 1$ if $0 \le d \le 3$ (which would follow from the Hadamard conjecture). The proofs depend on the probabilistic method, and generalise previous results that were restricted to the cases $d=0$ and $d=1$.

The theory of Ihara zeta functions is extended to infinite graphs which are weighted and of finite total weight. In this case one gets meromorphic instead of rational functions and the classical determinant formulas of Bass and Ihara hold true with Fredholm determinants.

In the paper, the author establishes an integral representation for Cauchy numbers of the second kind, finds the complete monotonicity, minimality, and logarithmic convexity of Cauchy numbers of the second kind, and presents some inequalities for determinants and products of Cauchy numbers of the second kind.