arXiv++ Combinatorics

The magnetic Laplacian (also called the line bundle Laplacian) on a connected weighted graph is a self-adjoint operator wherein the real-valued adjacency weights are replaced by unit complex-valued weights $\{ω_{xy}\}_{xy\in E}$, satisfying the condition that $ω_{xy}=\overline{ω_{yx}}$ for every directed edge $xy$. When properly interpreted, these complex weights give rise to magnetic fluxes through cycles in the graph. In this paper we establish the spectrum of the magnetic Laplacian, as a set of real numbers with multiplicities, on the Sierpinski gasket graph ($SG$) where the magnetic fluxes equal $α$ through the upright triangles, and $β$ through the downright triangles. This is achieved upon showing the spectral self-similarity of the magnetic Laplacian via a 3-parameter map $\mathcal{U}$ involving non-rational functions, which takes into account $α$, $β$, and the spectral parameter $λ$. In doing so we provide a quantitative answer to a question of Bellissard [Renormalization Group Analysis and Quasicrystals (1992)] on the relationship between the dynamical spectrum and the actual magnetic spectrum. Our main theorems lead to two applications. In the case $α=β$, we demonstrate the approximation of the magnetic spectrum by the filled Julia set of $\mathcal{U}$, the Sierpinski gasket counterpart to Hofstadter's butterfly. Meanwhile, in the case $α,β\in \{0,\frac{1}{2}\}$, we can compute the determinant of the magnetic Laplacian determinant and the corresponding asymptotic complexity.

In this paper, firstly, by a determinant of deformed Pascal's triangle, namely the normalized Hessenberg matrix determinant, to count Dyck paths, we give another combinatorial proof of the theorems which are of Catalan numbers determinant representations and the recurrence formula. Secondly, a determinant of normalized Toeplitz-Hessenberg matrix, whose entries are binomials, arising in power series, we derive new four properties of Pascal's triangle.

Given any n-tuple of complex numbers, one can canonically define a polynomial of degree n+1 that has the entries of this n-tuple as its critical points. In 2002, Beardon, Carne, and Ng studied a map $θ\colon \mathbb{C}^n\to \mathbb{C}^n$ which outputs the critical values of the canonical polynomial constructed from the input, and they proved that this map is onto. Along the way, they showed that $θ$ is a local homeomorphism whenever the entries of the input are distinct and nonzero, and, implicitly, they produced a polynomial expression for the Jacobian determinant of $θ$. In this article we extend and generalize both the local homeomorphism result and the elegant determinant identity to analogous situations where the critical points occur with multiplicities. This involves stratifying $\mathbb{C}^n$ according to which coordinates are equal and generalizing $θ$ to a similar map $\mathbb{C}^\ell \to \mathbb{C}^\ell$ where $\ell$ is the number of distinct critical points. The more complicated determinant identity that we establish is closely connected to the multinomial identity known as Dyson's conjecture.

We present new determinant expressions for regularized Schur multiple zeta values. These generalize the known Jacobi-Trudi formulae and can be used to quickly evaluate certain types of Schur multiple zeta values. Using these formulae we prove that every Schur multiple zeta value with alternating entries in 1 and 3 can be written as a polynomial in Riemann zeta values. Furthermore, we give conditions on the shape, which determine when such Schur multiple zetas are polynomials purely in odd or in even Riemann zeta values.

In this paper, we discuss tensegrity from the perspective of nonlinear algebra in a manner accessible to undergraduates. We compute explicit examples and include the SAGE and Julia code so that readers can continue their own experiments and computations. The entire framework is a natural extension of linear equations of equilibrium, but to describe the space of solutions will require (nonlinear) polynomials. In our examples, minors of a structured matrix determine the singular locus of the algebraic variety of interest. At these singular points, more interesting phenomena can occur, which we investigate in the context of the tensegrity 3-prism, our running example. Tools from algebraic geometry, commutative algebra, semidefinite programming, and numerical algebraic geometry will be used. Although at first it is all linear algebra, the examples will motivate the study of systems of polynomial equations. In particular, we will see the importance of varieties cut out by determinants of matrices.

Continued fraction expansions and Hankel determinants of automatic sequences are extensively studied during the last two decades. These studies found applications in number theory in evaluating irrationality exponents. The present paper is motivated by the converse problem: to study continued fractions of which the elements form an automatic sequence. We consider two such continued fractions defined by the Thue-Morse and period-doubling sequences respectively, and prove that they are congruent to algebraic series in $\mathbb{Z}[[x]]$ modulo $4$. Consequently, the sequences of the coefficients of the power series expansions of the two continued fractions modulo $4$ are $2$-automatic. Our approach is to first guess the explicit formulas of certain subsequences of $(P_n(x))$ and $(Q_n(x))$, where $P_n(x)/Q_n(x)$ is the canonical representation of the truncated continued fractions, then prove these formulas by an intricate induction involving eight subsequences while exploiting the relations between these subsequences.

Let $n$ be a positive integer and $I$ a $k$-subset of integers in $[0,n-1]$. Given a $k$-tuple $A=(α_0, \cdots, α_{k-1})\in \mathbb{F}^k_{q^n}$, let $M_{A,I}$ denote the matrix $(α_i^{q^j})$ with $0\leq i\leq k-1$ and $j\in I$. When $I=\{0,1,\cdots, k-1\}$, $M_{A,I}$ is called a Moore matrix which was introduced by E. H. Moore in 1896. It is well known that the determinant of a Moore matrix equals $0$ if and only if $α_0,\cdots, α_{k-1}$ are $\mathbb{F}_q$-linearly dependent. We call $I$ that satisfies this property a Moore exponent set. In fact, Moore exponent sets are equivalent to maximum rank-distance (MRD) code with maximum left and right idealisers over finite fields. It is already known that $I=\{0,\cdots, k-1\}$ is not the unique Moore exponent set, for instance, (generalized) Delsarte-Gabidulin codes and the MRD codes recently discovered by Csajbók, Marino, Polverino and the second author both give rise to new Moore exponent sets. By using algebraic geometry approach, we obtain an asymptotic classification result: for $q>5$, if $I$ is not an arithmetic progression, then there exist an integer $N$ depending on $I$ such that $I$ is not a Moore exponent set provided that $n>N$.

In this paper, we are going to calculate the determinant of a certain type of square matrices, which are related to the well-known Cauchy and Toeplitz matrices. Then, we will use the results to determine the rank of special non-square matrices.

$τ$-functions of certain Painlevé equations (PVI,PV,PIII) can be expressed as a Fredholm determinant. Further, the minor expansion of these determinants provide an interesting connection to Random partitions. This paper is a step towards understanding whether the $τ$-function of Painlevé II has a Fredholm determinant representation. The Ablowitz-Segur family of solutions are special one parameter solutions of Painlevé II and the corresponding $τ$-function is known to be the Fredholm determinant of the Airy Kernel. We develop a formalism for open contour in parallel to the one formulated in \cite{CGL} in terms of the Widom constant and verify that the Widom constant for Ablowitz-Segur family of solutions is indeed the determinant of the Airy Kernel. Finally, we construct a suitable basis and obtain the minor expansion of the Ablowitz-Segur $τ$-function.

Given a suitable collection of partitions of sets, there exists a connection to easy quantum groups via intertwiner maps. A sufficient condition for this correspondence to be one-to-one are particular linear independences on the level of those maps. In the case of non-crossing partitions, a proof of this linear independence can be traced back to a matrix determinant formula, developed by W. Tutte. We present a revised and adapted version of Tutte's work and the link to the problem above, believing that this self-contained article will assist others in the field of easy quantum groups. In particular, we fixed some errors in the original work and adapted notations, definitions, statements and proofs.

Leibniz' combinatorial formula for determinants is modified to establish a condensed and easily handled compact representation for Hessenbergians, referred to here as Leibnizian representation. Alongside, the elements of a fundamental solution set associated with linear difference equations with variable coefficients of order $p$ are explicitly represented by $p$ banded Hessenbergian solutions, built up solely of the variable coefficients. This yields banded Hessenbergian representations for the elements both of the product of companion matrices and of the determinant ratio formula of the one-sided Green's function (Green's function for short). Combining the above results, the elements of the foregoing notions are endowed with compact representations formulated here by Leibnizian and nested sum representations. We show that the elements of the fundamental solution set can be expressed in terms of the first banded Hessenbergian fundamental solution, called principal determinant function. We also show that the Green's function coincides with the principal determinant function, when both functions are restricted to a fairly large domain. These results yield, an explicit and compact representation of the Green's function restriction along with an explicit and compact solution representation of the previously stated type of difference equations in terms of the variable coefficients, the initial conditions and the forcing term. The equivalence of the Green's function solution representation and the well known single determinant solution representation is derived from first principles. Algorithms and automated software are employed to illustrate the main results of this paper.

In this note, we show how to obtain a "characteristic power series" of graphons -- infinite limits of dense graphs -- as the limit of normalized reciprocal characteristic polynomials. This leads to a new characterization of graph quasi-randomness and another perspective on spectral theory for graphons, a complete description of the function in terms of the spectrum of the graphon as a self-adjoint kernel operator. Interestingly, while we apply a standard regularization to classical determinants, it is unclear how necessary this is.

A real symmetric matrix $A$ is said to be completely positive if it can be written as $BB^t$ for some (not necessarily square) nonnegative matrix $B$. A simple graph $G$ is called a completely positive graph if every doubly nonnegative matrix realization of $G$ is a completely positive matrix. Our aim in this manuscript is to compute the determinant and inverse (when it exists) of the distance matrix of a class of completely positive graphs. Similar to trees, we obtain a relation for the inverse of the distance matrix of a class of completely positive graphs involving the Laplacian matrix, a rank one matrix and a matrix $\mathcal{R}$. We also determine the eigenvalues of some principal submatrices of matrix $\mathcal{R}$.

Superspace of rank $n$ is a $\mathbb{Q}$-algebra with $n$ commuting generators $x_1, \dots, x_n$ and $n$ anticommuting generators $θ_1, \dots, θ_n$. We present an extension of the Vandermonde determinant to superspace which depends on a sequence $\mathbf{a} = (a_1, \dots, a_r)$ of nonnegative integers of length $r \leq n$. We use superspace Vandermondes to construct graded representations of the symmetric group. This construction recovers hook-shaped Tanisaki quotients, the coinvariant ring for the Delta Conjecture constructed by Haglund, Rhoades, and Shimozono, and a superspace quotient related to positroids and Chern plethysm constructed by Billey, Rhoades, and Tewari. We define a notion of partial differentiation with respect to anticommuting variables to construct doubly graded modules from superspace Vandermondes. These doubly graded modules carry a natural ring structure which satisfies a 2-dimensional version of Poincaré duality. The application of polarization operators gives rise to other bigraded modules which give a conjectural module for the symmetric function $Δ'_{e_{k-1}} e_n$ appearing in the Delta Conjecture of Haglund, Remmel, and Wilson.

The Euler numbers occur in the Taylor expansion of $\tan(x)+\sec(x)$. Since Stieltjes, continued fractions and Hankel determinants of the even Euler numbers, on the one hand, of the odd Euler numbers, on the other hand, have been widely studied separately. However, no Hankel determinants of the (mixed) Euler numbers have been obtained and explicitly calculated. The reason for that is that some Hankel determinants of the Euler numbers are null. This implies that the Jacobi continued fraction of the Euler numbers does not exist. In the present paper, this obstacle is bypassed by using the Hankel continued fraction, instead of the $J$-fraction. Consequently, an explicit formula for the Hankel determinants of the Euler numbers is being derived, as well as a full list of Hankel continued fractions and Hankel determinants involving Euler numbers. Finally, a new $q$-analog of the Euler numbers $E_n(q)$ based on our continued fraction is proposed. We obtain an explicit formula for $E_n(-1)$ and prove a conjecture by R. J. Mathar on these numbers.

We consider the second weighted Bartholdi zeta function of a graph $G$, and present weighted versions for the result of Li and Hou's on the partial derivatives of the determinant part in the determinant expression of the Bartholdi zeta function of $G$. Furthermore, we give a formula for the weighted Kirchhoff index of a regular covering of $G$ in terms of that of $G$.

We study the combinatorial structure of the irreducible characters of the classical groups ${\rm GL}_n(\mathbb{C})$, ${\rm SO}_{2n+1}(\mathbb{C})$, ${\rm Sp}_{2n}(\mathbb{C})$, ${\rm SO}_{2n}(\mathbb{C})$ and the "non-classical" odd symplectic group ${\rm Sp}_{2n+1}(\mathbb{C})$, finding new connections to the probabilistic model of Last Passage Percolation (LPP). Perturbing the expressions of these characters as generating functions of Gelfand-Tsetlin patterns, we produce two families of symmetric polynomials that interpolate between characters of ${\rm Sp}_{2n}(\mathbb{C})$ and ${\rm SO}_{2n+1}(\mathbb{C})$ and between characters of ${\rm SO}_{2n}(\mathbb{C})$ and ${\rm SO}_{2n+1}(\mathbb{C})$. We identify the first family as a one-parameter specialization of Koornwinder polynomials, for which we thus provide a novel combinatorial structure; on the other hand, the second family appears to be new. We next develop a method of Gelfand-Tsetlin pattern decomposition to establish identities between all these polynomials that, in the case of irreducible characters, can be viewed as branching rules. Through these formulas we connect orthogonal and symplectic characters, and more generally the interpolating polynomials, to LPP models with various symmetries, thus going beyond the link with classical Schur polynomials originally found by Baik and Rains (Duke Math. J., 2001). Taking the scaling limit of the LPP models, we finally provide an explanation of why the Tracy-Widom GOE and GSE distributions from random matrix theory admit formulations in terms of both Fredholm determinants and Fredholm Pfaffians.

The Gram determinant of type $A$ was introduced by Lickorish in his work on invariants of 3 - manifolds. We generalize the theory of the Gram determinant of type $A$ by evaluating, in the annulus, a bilinear form of non-intersecting connections in the disc. The main result provides a closed formula for this Gram determinant. We conclude the paper by discussing Chen's conjecture about the Gram determinant of type $Mb$ evaluated in the Klein bottle.

In a recent paper, Ayyer and Behrend present for a wide class of partitions factorizations of Schur polynomials with an even number of variables where half of the variables are the reciprocals of the others into symplectic and/or orthogonal group characters, thereby generalizing results of Ciucu and Krattenthaler for rectangular shapes. Their proofs proceed by manipulations of determinants underlying the characters. The purpose of the current paper is to provide bijective proofs of such factorizations. The quantities involved have known combinatorial interpretations in terms of Gelfand-Tsetlin patterns of various types or half Gelfand-Tsetlin patterns, which can in turn be transformed into perfect matchings of weighted trapezoidal honeycomb graphs. An important ingredient is then Ciucu's theorem for graphs with reflective symmetry. However, before being able to apply it, we need to employ a certain averaging procedure in order to achieve symmetric edge weights. This procedure is based on a "randomized" bijection, which can however also be turned into a classical bijection. For one type of Schur polynomial factorization, we also need an additional graph operation that almost doubles the underlying graph. Finally, our combinatorial proofs reveal that the factorizations under consideration can in fact also be generalized to skew shapes as discussed at the end of the paper.

We prove a conjecture of Johann Cigler on shifted Hankel determinants.