arXiv++ Combinatorics

In Evan and Hendel's recent proof of an outstanding conjecture on the resistance distances of a family of linear 3-trees, a key technique in the proof was calculating the recursion satisfied by a family of determinants. The underlying algorithm employed to prove the conjecture converged (i.e. terminated) in the particular case studied, and the paper presented an open question on when such a procedure converges in general. This paper proves convergence of the procedure for an arbitrary family of determinants of banded, square, Toeplitz matrices. Moreover, the algorithm in this paper improves several aspects of the algorithm of Evans and Hendel.

This paper presents an introduction and expository account of a beautiful, current, and active application of recursions to the computation of resistance distance. Resistance distance, also referred to as effective resistance, is a well-known graph metric that arises naturally by considering a graph as an electrical circuit; heuristically resistance distance measures both the number of paths between two vertices in a graph and the cost of each path. This topic finds applications in a rich array of fields including social, biological, ecological, and transportation networks, chemistry, graph theory, numerical linear algebra, and engineering. A variety of methods are used in the field to determine resistance distance including recursive, mathematical, and graphical techniques. Sequences familiar to the readers of the Fibonacci Quarterly such as the Fibonacci and Lucas sequences appear quite often in results in the literature. Twenty five to forty years ago there were a handful of papers on resistance that appeared in the Fibonacci Quarterly and the Proceedings and recently papers on the subject have appeared again. It is hoped that this introductory expository account will interest readers of the Quarterly to renew interest in this current and active field.

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.

This paper further generalizes a recent result of Shannon and Ollerton who resurrected an old identity due to Ledin. This paper generalizes the Ledin-Shannon-Ollerton result to all the metallic sequences. The results give closed formulas for the sum of products of powers of the first $n$ integers with the first $n$ members of the metallic sequence. Three key innovations of this paper are i) reducing the proof of the generalization to the solution of a system of 4 simultaneous recursions; ii) use of the shift operation to prove equality of polynomials; and iii) new OEIS sequences arising from the coefficients of the four polynomial families satisfying the 4 simultaneous recursions.

Barrett et al studied resistance labels of electrical circuits whose underlying graphs when embedded in the Cartesian plane has the form of an $n$-grid, $n$ rows of upright triangles. Proofs in Barrett introduced a row-reduction algorithm which uses series, $Δ$--Y, and Y--$Δ$ electric transformations to transform an $n$-grid into an $n-1$ grid with equivalent resistances between specified nodes. This paper explores this row-reduction algorithm computationally. The introductory part of the paper presents several conjectures supported by numerical evidence, showing that repeated application of the row-reduction algorithm to an initial $n$-grid uniformly labeled 1 asymptotically produces triangular grids whose sides are labeled with rational multiples of $\frac{1}{e};$ moreover, the ratio of specified consecutive edges in the row-reduced grids are asymptotically described by four rational functions. The main part of this paper studies a family of graphs whose edge labels are determined using these limiting edge-ratios functions arising in the conjectures. The main result proven is that these $n$-grids and their repeated reductions under the row-reduction algorithm possess vertical and rotational symmetries and satisfy the relationships captured by the four edge-ratio functions. Thus, the limiting edge-ratio relationships are local algebraic relationships mirroring the global vertical and rotational symmetries possessed by the underlying graph. Additionally, because row-reduction is local (in contrast to the combinatoric Laplacian which is global) the paper is able to introduce a mechanical verification method of proof for assertions about effective resistance identities.

This paper presents both a proof method and a result. The proof method presented is particularly suitable for uniformly proving families of identities satisfied by a family of recursive sequences. To illustrate the method, we study the family of recursive sequences $F^{(k)}_n = \sum_{i=1}^k F^{(k)}_{n-i}, n \ge 0, k \ge 2,$ with $n$ a parameter varying over integers, and $k$ a parameter indexing members of the family. The main theorem states $ F^{(k)}_n = \sum_{j=1}^k P_{k,j} F^{(k)}_{n-jk},$ with $P$ a recursive triangle satisfying the triangle recursion $P_{i,j}=2P_{i-1,j}- P_{i-1,j-1},$ with appropriate initial conditions. The proof of the theorem exploits the fact that characteristic polynomials of identities are divisible by the characteristic polynomial of the recursion generating the underlying sequence.