Next Article in Journal
Control Chart for Failure-Censored Reliability Tests under Uncertainty Environment
Next Article in Special Issue
A Novel Edge Detection Method Based on the Regularized Laplacian Operation
Previous Article in Journal
Shadowed Sets-Based Linguistic Term Modeling and Its Application in Multi-Attribute Decision-Making
Previous Article in Special Issue
Novel Three-Way Decisions Models with Multi-Granulation Rough Intuitionistic Fuzzy Sets

Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

# The Complexity of Some Classes of Pyramid Graphs Created from a Gear Graph

by
Jia-Bao Liu
1 and
Salama Nagy Daoud
2,3,*
1
School of Mathematics and Physics, Anhui Jianzhu University, Hefei 230601, China
2
Department of Mathematics, Faculty of Science, Taibah University, Al-Madinah 41411, Saudi Arabia
3
Department of Mathematics and Computer Science, Faculty of Science, Menoufia University, Shebin El Kom 32511, Egypt
*
Author to whom correspondence should be addressed.
Symmetry 2018, 10(12), 689; https://doi.org/10.3390/sym10120689
Submission received: 8 November 2018 / Revised: 22 November 2018 / Accepted: 23 November 2018 / Published: 2 December 2018

## Abstract

:
The methods of measuring the complexity (spanning trees) in a finite graph, a problem related to various areas of mathematics and physics, have been inspected by many mathematicians and physicists. In this work, we defined some classes of pyramid graphs created by a gear graph then we developed the Kirchhoff’s matrix tree theorem method to produce explicit formulas for the complexity of these graphs, using linear algebra, matrix analysis techniques, and employing knowledge of Chebyshev polynomials. Finally, we gave some numerical results for the number of spanning trees of the studied graphs.
MSC:
05C05; 05C50

## 1. Introduction

The graph theory is a theory that combines computer science and mathematics, which can solve considerable problems in several fields (telecom, social network, molecules, computer network, genetics, etc.) by designing graphs and facilitating them through idealistic cases such as the spanning trees, see [1,2,3,4,5,6,7,8,9,10].
A spanning tree of a finite connected graph $G$ is a maximal subset of the edges that contains no cycle, or equivalently a minimal subset of the edges that connects all the vertices. The history of enumerating the number of spanning trees $τ ( G )$ of a graph $G$ dates back to 1842 when the physicist Kirchhoff [11] offered the matrix tree theorem established on the determinants of a certain matrix gained from the Laplacian matrix $L$ defined by the difference between the degree matrix $D$ and adjacency matrix $A$, where $D$ is a diagonal matrix, $D = d i g ( d 1 , d 2 , … , d n )$ corresponding to a graph $G$ with $n$ vertices that has the vertex degree of $d i$ in the ith position of a graph $G$ and $A$ is a matrix with rows and columns labeled by graph vertices, with a $1$ or $0$ in position $( u i , u j )$ according to whether $u i$ and $u j$ are adjacent or not. That is
$L i j = { a i if i = j − 1 if i ≠ j and i is adjacent to j 0 otherwise ,$
where $a i$ denotes the degree of the vertex $i .$
This method allows beneficial results for a graph comprising a small number of vertices, but is not feasible for large graphs. There is one more method for calculating $τ ( G )$. Let $λ 1 ≥ λ 2 ≥ … ≥ λ k = 0$ denote the eigenvalues of the matrix $L$ of a graph $G$ with $n$ vertices. “Kelmans” and “Chelnokov” [12] have derived that
$τ ( G ) = 1 k ∏ i = 1 k − 1 λ k .$
One of the favorite methods of calculating the complexity is the contraction–deletion theorem. For any graph $G$, the complexity $τ ( G )$ of $G$ is equal to $τ ( G ) = τ ( G − e ) + τ ( G / e )$, where e is any edge of $G$, and where $G − e$ is the deletion of $e$ from $G$, and $G / e$ is the contraction of e in $G$. This gives a recursive method to calculate the complexity of a graph [13,14].
Another important method is using electrically equivalent transformations of networks. Yilun Shang [15] derived a closed-form formula for the enumeration of spanning trees the subdivided-line graph of a simple connected graph using the theory of electrical networks.
Many works have conceived techniques to derive the number of spanning trees of a graph, some of which can be found at [16,17,18].
Now, we give the following Lemma:
Lemma 1
[19]. $τ ( G ) = 1 k 2 det ( k I − D c + A c )$ where $A c a n d D c$ are the adjacency and degree matrices of $G c$, the complement of $G$, respectively, and $I$ is the $k × k$ identity matrix.
The characteristic of this formula is to express $τ ( G )$ straightway as a determinant rather than in terms of cofactors as in Kirchhoff theorem or eigenvalues as in Kelmans and Chelnokov formula.

## 2. Chebyshev Polynomial

In this part we insert some relations regarding Chebyshev polynomials of the first and second types which we use in our calculations.
We start from their definitions, see Yuanping, et al. [20].
Let $A n ( x )$ be $n × n$ matrix such that
$A n ( x ) = ( 2 x − 1 0 ⋯ 0 − 1 2 x − 1 ⋱ ⋮ 0 ⋱ ⋱ ⋱ 0 ⋮ ⋱ ⋱ ⋱ − 1 0 ⋯ 0 − 1 2 x ) .$
Furthermore, we render that the Chebyshev polynomials of the first type are defined by
$T n ( x ) = cos ( n cos − 1 x )$
The Chebyshev polynomials of the second type are defined by
$U n − 1 ( x ) = 1 n d d x T n ( x ) = sin ( n cos − 1 x ) sin ( cos − 1 x )$
It is easily confirmed that
$U n ( x ) − 2 x U n − 1 ( x ) + U n − 2 ( x ) = 0$
It can then be shown from this recursion that by expanding $det A n ( x )$ one obtains
$U n ( x ) = det ( A n ( x ) ) , n ≥ 1$
Moreover, by solving the recursion (3), one gets the straightforward formula
$U n ( x ) = ( x + x 2 − 1 ) n + 1 − ( x − x 2 − 1 ) n + 1 2 x 2 − 1 , n ≥ 1 ,$
where the conformity is valid for all complex $x$ (except at $x = ± 1$, where the function can be taken as the limit).
The definition of $U n ( x )$ easily yields its zeros and it can therefore be confirmed that
$U n − 1 ( x ) = 2 n − 1 ∏ j = 1 n − 1 ( x − cos j π n )$
One further notes that
$U n − 1 ( − x ) = ( − 1 ) n − 1 U n − 1 ( x )$
From Equations (6) and (7), we have:
$U n − 1 2 ( x ) = 4 n − 1 ∏ j = 1 n − 1 ( x 2 − cos 2 j π n )$
Finally, straightforward manipulation of the above formula produces the following formula (9), which is highly beneficial to us later:
$U n − 1 2 ( x + 2 4 ) = ∏ j = 1 n − 1 ( x − 2 cos 2 j π n )$
Moreover, one can see that
$U n − 1 2 ( x ) = 1 − T 2 n ( x ) 2 ( 1 − x 2 ) = 1 − T n ( 2 x 2 − 1 ) 2 ( 1 − x 2 )$
$T n ( x ) = 1 2 [ ( x + x 2 − 1 ) n + ( ( x − x 2 − 1 ) n ]$
Now we introduce the following important two Lemmas.
Lemma 2
[21]. Let $B n ( x )$ be $n × n$ Circulant matrix such that
$B n ( x ) = ( x 0 1 ⋯ 1 0 0 ⋱ ⋱ ⋱ ⋱ 1 1 ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 1 1 ⋱ ⋱ ⋱ ⋱ 0 0 1 ⋯ 1 0 x ) .$
Then for$n ≥ 3 , x ≥ 4 ,$one has
$det ( B n ( x ) ) = 2 ( x + n − 3 ) x − 3 [ T n ( x − 1 2 ) − 1 ] .$
Lemma 3
[22]. If $A ∈ F n × n$, $B ∈ F n × m$, $C ∈ F m × n$ and $D ∈ F m × m$. Suppose that $A$ and $D$ are nonsingular matrices, then:
$det ( A B C D ) = det ( A − B D − 1 C ) det D = det A det ( D − C A − 1 B ) .$
This Lemma gives a type of symmetry for some matrices which simplify our calculations of the complexity of graphs studied in this paper.

## 3. Main Results

Definition 1.
The pyramid graph$A n ( m )$is the graph created from the gear graph$G m + 1$with vertices${ u 0 ; u 1 , u 2 , … , u m ; w 1 , w 2 , … , w m }$and$m$sets of vertices, say,${ v 1 1 , v 2 1 , … , v n 1 } , { v 1 2 , v 2 2 , … , v n 2 } , … , { v 1 m , v 2 m , … , v n m } ,$such that for all$i = 1 , 2 , … , n$the vertex$v i j$is adjacent to$u j$and$u j + 1$,where$j = 1 , 2 , … , m − 1 ,$and$v i m$is adjacent to$u 1$and$u m .$See Figure 1.
Theorem 1.
For$n ≥ 0 , m ≥ 3 ,$
Proof.
Using Lemma 1, we have
$τ ( A n ( m ) ) = 1 ( m n + 2 m + 1 ) 2 × det ( ( m n + 2 m + 1 ) I − D c + A c ) = 1 ( m n + 2 m + 1 ) 2 ×$
$det ( m + 1 ) 0 0 ⋯ ⋯ ⋯ 0 1 ⋯ ⋯ ⋯ ⋯ 1 1 ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ 1 0 2 ( n + 2 ) 1 ⋯ ⋯ ⋯ 1 0 1 ⋯ ⋯ 1 0 0 ⋯ 0 1 ⋯ 1 ⋯ ⋯ 1 ⋯ 1 1 ⋯ 1 0 ⋯ 0 ⋮ 1 ⋱ ⋱ ⋱ ⋱ ⋮ 0 ⋱ ⋱ ⋱ ⋱ 1 0 ⋯ 0 0 ⋯ 0 1 ⋯ 1 ⋯ ⋯ 1 ⋯ 1 1 ⋯ 1 ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 1 ⋱ ⋱ ⋱ ⋮ ⋮ 1 ⋯ 1 0 ⋯ 0 0 ⋯ 0 1 ⋯ 1 ⋯ ⋯ 1 ⋯ 1 ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋮ ⋮ 1 ⋯ 1 1 ⋯ 1 0 ⋯ 0 0 ⋯ 0 1 ⋯ 1 ⋯ ⋯ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋮ 0 1 ⋯ ⋯ ⋯ 1 2 ( n + 2 ) 1 ⋯ ⋯ 1 0 0 1 ⋯ 1 1 ⋯ 1 ⋯ ⋯ 1 ⋯ 1 0 ⋯ 0 0 ⋯ 0 1 0 0 1 ⋯ ⋯ 1 3 1 ⋯ ⋯ ⋯ 1 1 ⋯ 1 1 ⋯ 1 ⋯ ⋯ ⋯ ⋯ ⋯ 1 ⋯ 1 1 ⋯ 1 ⋮ 1 ⋱ ⋱ ⋱ ⋱ ⋮ 1 ⋱ ⋱ ⋱ ⋱ ⋮ 1 ⋯ 1 1 ⋯ 1 ⋯ ⋯ ⋯ ⋯ ⋯ 1 ⋯ 1 1 ⋯ 1 ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋯ ⋮ ⋮ ⋯ ⋮ ⋯ ⋯ ⋯ ⋯ ⋯ ⋮ ⋯ ⋮ ⋮ ⋯ 1 ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋯ ⋮ ⋮ ⋯ ⋮ ⋯ ⋯ ⋯ ⋯ ⋯ ⋮ ⋯ ⋮ ⋮ ⋯ ⋮ ⋮ 1 ⋱ ⋱ ⋱ ⋱ 0 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 1 ⋯ 1 1 ⋯ 1 ⋯ ⋯ ⋯ ⋯ ⋯ 1 ⋯ 1 1 ⋯ 1 1 0 1 ⋯ ⋯ 1 0 1 ⋯ ⋯ ⋯ 1 3 1 ⋯ 1 1 ⋯ 1 ⋯ ⋯ ⋯ ⋯ ⋯ 1 ⋯ 1 1 ⋯ 1 1 0 0 1 ⋯ 1 0 1 1 ⋯ ⋯ 1 1 3 1 ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ 1 ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ 1 ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ 0 0 1 ⋮ 1 ⋮ 1 1 ⋯ ⋯ 1 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ 1 0 0 ⋮ 1 ⋮ 1 1 ⋯ ⋯ 1 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ 1 0 0 ⋮ 1 ⋮ 1 1 ⋯ ⋯ 1 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ 1 1 0 ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ 1 1 0 ⋮ 1 ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋮ 1 ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ 1 ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ 1 1 1 ⋮ 0 ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ 1 1 ⋮ ⋮ 0 ⋮ 1 1 ⋯ ⋯ 1 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ 0 1 1 ⋮ 0 ⋮ 1 1 ⋯ ⋯ 1 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ 1 1 0 1 1 ⋯ 0 ⋯ 1 1 ⋯ ⋯ 1 1 1 ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ 1 3$
Let $j = ( 1 ⋯ 1 )$ be the $1 × n$ matrix with all one, and $J n$ be the $n × n$ matrix with all one. Set $a = 2 n + 4$ and $b = m n + 2 m + 1$. Then we obtain:
$τ ( A n ( m ) ) = 1 b 2 × det m + 1 0 ⋯ ⋯ ⋯ ⋯ 0 1 ⋯ ⋯ ⋯ ⋯ 1 j ⋯ ⋯ ⋯ ⋯ j 0 a 1 ⋯ ⋯ ⋯ 1 0 1 ⋯ ⋯ 1 0 0 j ⋯ ⋯ j 0 ⋮ 1 ⋱ ⋱ ⋱ ⋱ ⋮ 0 0 ⋱ ⋱ ⋱ 1 0 ⋱ ⋱ ⋱ ⋱ j ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 1 0 ⋱ ⋱ ⋱ ⋮ j ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋱ ⋱ 0 0 1 ⋮ ⋱ ⋱ ⋱ ⋱ j 0 1 ⋯ ⋯ ⋯ 1 a 1 ⋯ ⋯ 1 0 0 j ⋯ ⋯ j 0 0 1 0 0 1 ⋯ ⋯ 1 3 1 ⋯ ⋯ ⋯ 1 j ⋯ ⋯ ⋯ ⋯ j ⋮ 1 0 ⋱ ⋱ ⋱ 1 1 ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ 1 ⋱ ⋱ ⋱ ⋱ 0 ⋮ ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 1 0 1 ⋯ ⋯ 1 0 1 ⋯ ⋯ ⋯ 1 3 j ⋯ ⋯ ⋯ ⋯ j j t 0 0 j t ⋯ ⋯ j t j t ⋯ ⋯ ⋯ ⋯ j t ⋮ j t 0 ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 2 I m n + J m n ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ j t ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ j t ⋱ ⋱ ⋱ ⋱ 0 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ j t 0 j t ⋯ ⋯ j t 0 j t ⋯ ⋯ ⋯ ⋯ j t$
$= 1 b 2 × det b 0 ⋯ ⋯ ⋯ ⋯ 0 1 ⋯ ⋯ ⋯ ⋯ 1 j ⋯ ⋯ ⋯ ⋯ j b a 1 ⋯ ⋯ ⋯ 1 0 1 ⋯ ⋯ 1 0 0 j ⋯ ⋯ j 0 ⋮ 1 ⋱ ⋱ ⋱ ⋱ ⋮ 0 0 ⋱ ⋱ ⋱ 1 0 ⋱ ⋱ ⋱ ⋱ j ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 1 0 ⋱ ⋱ ⋱ ⋮ j ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋱ ⋱ 0 0 1 ⋮ ⋱ ⋱ ⋱ ⋱ j b 1 ⋯ ⋯ ⋯ 1 a 1 ⋯ ⋯ 1 0 0 j ⋯ ⋯ j 0 0 b 0 0 1 ⋯ ⋯ 1 3 1 ⋯ ⋯ ⋯ 1 j ⋯ ⋯ ⋯ ⋯ j ⋮ 1 0 ⋱ ⋱ ⋱ 1 1 ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ 1 ⋱ ⋱ ⋱ ⋱ 0 ⋮ ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ b 0 1 ⋯ ⋯ 1 0 1 ⋯ ⋯ ⋯ 1 3 j ⋯ ⋯ ⋯ ⋯ j b j t 0 0 j t ⋯ ⋯ j t j t ⋯ ⋯ ⋯ ⋯ j t ⋮ j t 0 ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 2 I m n + J m n ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ j t ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ j t ⋱ ⋱ ⋱ ⋱ 0 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ b j t 0 j t ⋯ ⋯ j t 0 j t ⋯ ⋯ ⋯ ⋯ j t$
$= 1 b × det 1 0 ⋯ ⋯ ⋯ ⋯ 0 1 ⋯ ⋯ ⋯ ⋯ 1 j ⋯ ⋯ ⋯ ⋯ j 1 a 1 ⋯ ⋯ ⋯ 1 0 1 ⋯ ⋯ 1 0 0 j ⋯ ⋯ j 0 ⋮ 1 ⋱ ⋱ ⋱ ⋱ ⋮ 0 0 ⋱ ⋱ ⋱ 1 0 ⋱ ⋱ ⋱ ⋱ j ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 1 0 ⋱ ⋱ ⋱ ⋮ j ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋱ ⋱ 0 0 1 ⋮ ⋱ ⋱ ⋱ ⋱ j 1 1 ⋯ ⋯ ⋯ 1 a 1 ⋯ ⋯ 1 0 0 j ⋯ ⋯ j 0 0 1 0 0 1 ⋯ ⋯ 1 3 1 ⋯ ⋯ ⋯ 1 j ⋯ ⋯ ⋯ ⋯ j ⋮ 1 0 ⋱ ⋱ ⋱ 1 1 ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ 1 ⋱ ⋱ ⋱ ⋱ 0 ⋮ ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 1 0 1 ⋯ ⋯ 1 0 1 ⋯ ⋯ ⋯ 1 3 j ⋯ ⋯ ⋯ ⋯ j 1 j t 0 0 j t ⋯ ⋯ j t j t ⋯ ⋯ ⋯ ⋯ j t ⋮ j t 0 ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 2 I m n + J m n ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ j t ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ j t ⋱ ⋱ ⋱ ⋱ 0 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 1 j t 0 j t ⋯ ⋯ j t 0 j t ⋯ ⋯ ⋯ ⋯ j t$
$= 1 b × det 1 0 ⋯ ⋯ ⋯ ⋯ 0 1 ⋯ ⋯ ⋯ ⋯ 1 j ⋯ ⋯ ⋯ ⋯ j 0 a 1 ⋯ ⋯ ⋯ 1 − 1 0 ⋯ ⋯ 0 − 1 − j 0 ⋯ ⋯ 0 − j ⋮ 1 ⋱ ⋱ ⋱ ⋱ ⋮ − 1 − 1 ⋱ ⋱ ⋱ 0 − j ⋱ ⋱ ⋱ ⋱ 0 ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 0 ⋱ ⋱ ⋱ ⋱ ⋮ 0 ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋱ ⋱ ⋱ − 1 0 ⋮ ⋱ ⋱ ⋱ ⋱ 0 0 1 ⋯ ⋯ ⋯ 1 a 0 ⋯ ⋯ 0 − 1 − 1 0 ⋯ ⋯ 0 − j − j 0 0 0 1 ⋯ ⋯ 1 2 0 ⋯ ⋯ ⋯ 0 0 ⋯ ⋯ ⋯ ⋯ 0 ⋮ 1 0 ⋱ ⋱ ⋱ 1 0 ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ 1 ⋱ ⋱ ⋱ ⋱ 0 ⋮ ⋱ ⋱ ⋱ ⋱ 0 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 0 0 1 ⋯ ⋯ 1 0 0 ⋯ ⋯ ⋯ 0 2 0 ⋯ ⋯ ⋯ ⋯ 0 0 0 0 j t ⋯ ⋯ j t 0 ⋯ ⋯ ⋯ ⋯ 0 ⋮ j t 0 ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 2 I m n ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ j t ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ j t ⋱ ⋱ ⋱ ⋱ 0 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 0 0 j t ⋯ ⋯ j t 0 0 ⋯ ⋯ ⋯ ⋯ 0$
$= 1 b × det a 1 ⋯ ⋯ ⋯ 1 − 1 0 ⋯ ⋯ 0 − 1 − j 0 ⋯ ⋯ 0 − j 1 ⋱ ⋱ ⋱ ⋱ ⋮ − 1 − 1 ⋱ ⋱ ⋱ 0 − j ⋱ ⋱ ⋱ ⋱ 0 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 0 ⋱ ⋱ ⋱ ⋱ ⋮ 0 ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋱ ⋱ ⋱ − 1 0 ⋮ ⋱ ⋱ ⋱ ⋱ 0 1 ⋯ ⋯ ⋯ 1 a 0 ⋯ ⋯ 0 − 1 − 1 0 ⋯ ⋯ 0 − j − j 0 0 1 ⋯ ⋯ 1 2 0 ⋯ ⋯ ⋯ 0 0 ⋯ ⋯ ⋯ ⋯ 0 1 0 ⋱ ⋱ ⋱ 1 0 ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 1 ⋱ ⋱ ⋱ ⋱ 0 ⋮ ⋱ ⋱ ⋱ ⋱ 0 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 0 1 ⋯ ⋯ 1 0 0 ⋯ ⋯ ⋯ 0 2 0 ⋯ ⋯ ⋯ ⋯ 0 0 0 j t ⋯ ⋯ j t 0 ⋯ ⋯ ⋯ ⋯ 0 j t 0 ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 2 I m n ⋮ ⋱ ⋱ ⋱ ⋱ j t ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ j t ⋱ ⋱ ⋱ ⋱ 0 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 0 j t ⋯ ⋯ j t 0 0 ⋯ ⋯ ⋯ ⋯ 0$
Using Lemma 3, yields
$τ ( A n ( m ) ) = 1 b × det ( A B C 2 I m n ) = 1 b × det ( A − B 1 2 I m n C ) × 2 m n$
$= 1 b 2 m n × 2 − 2 m × det 2 a n + 2 2 ( n + 1 ) ⋯ 2 ( n + 1 ) n + 2 − 2 0 ⋯ ⋯ 0 − 2 n + 2 2 a n + 2 2 ( n + 1 ) ⋯ 2 ( n + 1 ) − 2 ⋱ ⋱ ⋱ ⋱ 0 2 ( n + 1 ) n + 2 ⋱ ⋱ ⋱ ⋮ 0 ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 2 ( n + 1 ) ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 2 ( n + 1 ) ⋱ ⋱ ⋱ ⋱ n + 2 ⋮ ⋱ ⋱ ⋱ ⋱ 0 n + 2 2 ( n + 1 ) ⋯ 2 ( n + 1 ) n + 2 2 a 0 ⋯ ⋯ 0 − 2 − 2 0 0 2 ⋯ ⋯ 2 4 0 ⋯ ⋯ ⋯ 0 2 ⋱ ⋱ ⋱ ⋱ ⋮ 0 ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 2 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 2 ⋱ ⋱ ⋱ ⋱ 0 ⋮ ⋱ ⋱ ⋱ ⋱ 0 0 2 ⋯ ⋯ 2 0 0 ⋯ ⋯ ⋯ 0 4$
Using Lemma 3 again, yields
$τ ( A n ( m ) ) = 2 m n − 2 m b × det ( D E F 4 I m ) = 2 m n b × det ( D − E 1 4 I m F )$
$τ ( A n ( m ) ) = 2 m n b × det ( 2 a ( n + 3 ) 2 ( n + 2 ) ⋯ 2 ( n + 2 ) ( n + 3 ) ( n + 3 ) 2 a ( n + 3 ) ⋱ ⋯ 2 ( n + 2 ) 2 ( n + 2 ) ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 2 ( n + 2 ) 2 ( n + 2 ) ⋱ ⋱ ⋱ ⋱ ( n + 3 ) ( n + 3 ) 2 ( n + 2 ) ⋯ 2 ( n + 2 ) ( n + 3 ) 2 a )$
Straightforward inducement using the properties of determinants, one can obtain
$τ ( A n ( m ) ) = 2 m n b × 2 b m n + m + 2 × det ( ( 2 a − n − 3 ) 0 ( n + 1 ) ⋯ ( n + 1 ) 0 0 ( 2 a − n − 3 ) 0 ⋱ ⋯ ( n + 1 ) ( n + 1 ) ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ( n + 1 ) ( n + 1 ) ⋱ ⋱ ⋱ ⋱ 0 0 ( n + 1 ) ⋯ ( n + 1 ) 0 ( 2 a − n − 3 ) )$
$= 2 m n + 1 ( n + 1 ) m m n + m + 2 × det ( ( 2 a − n − 3 ) ( n + 1 ) 0 1 ⋯ 1 0 0 ( 2 a − n − 3 ) ( n + 1 ) 0 ⋱ ⋱ 1 1 ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 1 1 ⋱ ⋱ ⋱ ⋱ 0 0 1 ⋯ 1 0 ( 2 a − n − 3 ) ( n + 1 ) )$
Using Lemma 2, yields
$τ ( A n ( m ) ) = 2 m n + 1 × ( n + 1 ) m m n + m + 2 × 2 ( 2 a − n − 3 n + 1 + m − 3 ) 2 a − n − 3 n + 1 − 3 × [ T m ( 2 a − n − 3 n + 1 − 1 2 ) − 1 ] = 2 m n + 1 × ( n + 1 ) m × [ T m ( n + 2 n + 1 ) − 1 ] .$
Using Equation (11), yields the result. □
Definition 2.
The pyramid graph$B n ( m )$is the graph created from the gear graph$G m + 1$with vertices${ u 0 ; u 1 , u 2 , … , u m ; w 1 , w 2 , … , w m }$with double internal edges and$m$sets of vertices, say,${ v 1 1 , v 2 1 , … , v n 1 } , { v 1 2 , v 2 2 , … , v n 2 } , … , { v 1 m , v 2 m , … , v n m }$, such that for all$i = 1 , 2 , … , n$the vertex$v i j$is adjacent to$u j$and$u j + 1$, where$j = 1 , 2 , … , m − 1 ,$and$v i m$is adjacent to$u 1$and$u m .$See Figure 2.
Theorem 2.
For$n ≥ 0 , m ≥ 3 ,$
Proof.
Using Lemma 1, we get:
$τ ( B n ( m ) ) = 1 ( m n + 2 m + 1 ) 2 × det ( ( m n + 2 m + 1 ) I − D c + A c ) = 1 ( m n + 2 m + 1 ) 2 ×$
$det ( 2 m + 1 ) − 1 − 1 ⋯ ⋯ ⋯ − 1 1 ⋯ ⋯ ⋯ ⋯ 1 1 ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ 1 − 1 ( 2 n + 5 ) 1 ⋯ ⋯ ⋯ 1 0 1 ⋯ ⋯ 1 0 0 ⋯ 0 1 ⋯ 1 ⋯ ⋯ 1 ⋯ 1 1 ⋯ 1 0 ⋯ 0 ⋮ 1 ⋱ ⋱ ⋱ ⋱ ⋮ 0 ⋱ ⋱ ⋱ ⋱ 1 0 ⋯ 0 0 ⋯ 0 1 ⋯ 1 ⋯ ⋯ 1 ⋯ 1 1 ⋯ 1 ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 1 ⋱ ⋱ ⋱ ⋮ ⋮ 1 ⋯ 1 0 ⋯ 0 0 ⋯ 0 1 ⋯ 1 ⋯ ⋯ 1 ⋯ 1 ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋮ ⋮ 1 ⋯ 1 1 ⋯ 1 0 ⋯ 0 0 ⋯ 0 1 ⋯ 1 ⋯ ⋯ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋮ − 1 1 ⋯ ⋯ ⋯ 1 ( 2 n + 5 ) 1 ⋯ ⋯ 1 0 0 1 ⋯ 1 1 ⋯ 1 ⋯ ⋯ 1 ⋯ 1 0 ⋯ 0 0 ⋯ 0 1 0 0 1 ⋯ ⋯ 1 3 1 ⋯ ⋯ ⋯ 1 1 ⋯ 1 1 ⋯ 1 ⋯ ⋯ ⋯ ⋯ ⋯ 1 ⋯ 1 1 ⋯ 1 ⋮ 1 ⋱ ⋱ ⋱ ⋱ ⋮ 1 ⋱ ⋱ ⋱ ⋱ ⋮ 1 ⋯ 1 1 ⋯ 1 ⋯ ⋯ ⋯ ⋯ ⋯ 1 ⋯ 1 1 ⋯ 1 ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋯ ⋮ ⋮ ⋯ ⋮ ⋯ ⋯ ⋯ ⋯ ⋯ ⋮ ⋯ ⋮ ⋮ ⋯ 1 ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋯ ⋮ ⋮ ⋯ ⋮ ⋯ ⋯ ⋯ ⋯ ⋯ ⋮ ⋯ ⋮ ⋮ ⋯ ⋮ ⋮ 1 ⋱ ⋱ ⋱ ⋱ 0 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 1 ⋯ 1 1 ⋯ 1 ⋯ ⋯ ⋯ ⋯ ⋯ 1 ⋯ 1 1 ⋯ 1 1 0 1 ⋯ ⋯ 1 0 1 ⋯ ⋯ ⋯ 1 3 1 ⋯ 1 1 ⋯ 1 ⋯ ⋯ ⋯ ⋯ ⋯ 1 ⋯ 1 1 ⋯ 1 1 0 0 1 ⋯ 1 0 1 1 ⋯ ⋯ 1 1 3 1 ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ 1 ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ 1 ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ 0 0 1 ⋮ 1 ⋮ 1 1 ⋯ ⋯ 1 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ 1 0 0 ⋮ 1 ⋮ 1 1 ⋯ ⋯ 1 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ 1 0 0 ⋮ 1 ⋮ 1 1 ⋯ ⋯ 1 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ 1 1 0 ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ 1 1 0 ⋮ 1 ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋮ 1 ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ 1 ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ 1 1 1 ⋮ 0 ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ 1 1 ⋮ ⋮ 0 ⋮ 1 1 ⋯ ⋯ 1 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ 0 1 1 ⋮ 0 ⋮ 1 1 ⋯ ⋯ 1 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ 1 1 0 1 1 ⋯ 0 ⋯ 1 1 ⋯ ⋯ 1 1 1 ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ 1 3$
Let $j = ( 1 ⋯ 1 )$ be the $1 × n$ matrix with all one, and $J n$ be the $n × n$ matrix with all one. Set $a = 2 n + 5$ and $b = m n + 2 m + 1$. Then we get:
$τ ( B n ( m ) ) = 1 b 2 × det 2 m + 1 − 1 ⋯ ⋯ ⋯ ⋯ − 1 1 ⋯ ⋯ ⋯ ⋯ 1 j ⋯ ⋯ ⋯ ⋯ j − 1 a 1 ⋯ ⋯ ⋯ 1 0 1 ⋯ ⋯ 1 0 0 j ⋯ ⋯ j 0 ⋮ 1 ⋱ ⋱ ⋱ ⋱ ⋮ 0 0 ⋱ ⋱ ⋱ 1 0 ⋱ ⋱ ⋱ ⋱ j ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 1 0 ⋱ ⋱ ⋱ ⋮ j ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋱ ⋱ 0 0 1 ⋮ ⋱ ⋱ ⋱ ⋱ j − 1 1 ⋯ ⋯ ⋯ 1 a 1 ⋯ ⋯ 1 0 0 j ⋯ ⋯ j 0 0 1 0 0 1 ⋯ ⋯ 1 3 1 ⋯ ⋯ ⋯ 1 j ⋯ ⋯ ⋯ ⋯ j ⋮ 1 0 ⋱ ⋱ ⋱ 1 1 ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ 1 ⋱ ⋱ ⋱ ⋱ 0 ⋮ ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 1 0 1 ⋯ ⋯ 1 0 1 ⋯ ⋯ ⋯ 1 3 j ⋯ ⋯ ⋯ ⋯ j j t 0 0 j t ⋯ ⋯ j t j t ⋯ ⋯ ⋯ ⋯ j t ⋮ j t 0 ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 2 I m n + J m n ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ j t ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ j t ⋱ ⋱ ⋱ ⋱ 0 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ j t 0 j t ⋯ ⋯ j t 0 j t ⋯ ⋯ ⋯ ⋯ j t$
$= 1 b 2 × det b − 1 ⋯ ⋯ ⋯ ⋯ − 1 1 ⋯ ⋯ ⋯ ⋯ 1 j ⋯ ⋯ ⋯ ⋯ j b a 1 ⋯ ⋯ ⋯ 1 0 1 ⋯ ⋯ 1 0 0 j ⋯ ⋯ j 0 ⋮ 1 ⋱ ⋱ ⋱ ⋱ ⋮ 0 0 ⋱ ⋱ ⋱ 1 0 ⋱ ⋱ ⋱ ⋱ j ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 1 0 ⋱ ⋱ ⋱ ⋮ j ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋱ ⋱ 0 0 1 ⋮ ⋱ ⋱ ⋱ ⋱ j b 1 ⋯ ⋯ ⋯ 1 a 1 ⋯ ⋯ 1 0 0 j ⋯ ⋯ j 0 0 b 0 0 1 ⋯ ⋯ 1 3 1 ⋯ ⋯ ⋯ 1 j ⋯ ⋯ ⋯ ⋯ j ⋮ 1 0 ⋱ ⋱ ⋱ 1 1 ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ 1 ⋱ ⋱ ⋱ ⋱ 0 ⋮ ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ b 0 1 ⋯ ⋯ 1 0 1 ⋯ ⋯ ⋯ 1 3 j ⋯ ⋯ ⋯ ⋯ j b j t 0 0 j t ⋯ ⋯ j t j t ⋯ ⋯ ⋯ ⋯ j t ⋮ j t 0 ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 2 I m n + J m n ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ j t ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ j t ⋱ ⋱ ⋱ ⋱ 0 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ b j t 0 j t ⋯ ⋯ j t 0 j t ⋯ ⋯ ⋯ ⋯ j t$
$= 1 b × det 1 − 1 ⋯ ⋯ ⋯ ⋯ − 1 1 ⋯ ⋯ ⋯ ⋯ 1 j ⋯ ⋯ ⋯ ⋯ j 1 a 1 ⋯ ⋯ ⋯ 1 0 1 ⋯ ⋯ 1 0 0 j ⋯ ⋯ j 0 ⋮ 1 ⋱ ⋱ ⋱ ⋱ ⋮ 0 0 ⋱ ⋱ ⋱ 1 0 ⋱ ⋱ ⋱ ⋱ j ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 1 0 ⋱ ⋱ ⋱ ⋮ j ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋱ ⋱ 0 0 1 ⋮ ⋱ ⋱ ⋱ ⋱ j 1 1 ⋯ ⋯ ⋯ 1 a 1 ⋯ ⋯ 1 0 0 j ⋯ ⋯ j 0 0 1 0 0 1 ⋯ ⋯ 1 3 1 ⋯ ⋯ ⋯ 1 j ⋯ ⋯ ⋯ ⋯ j ⋮ 1 0 ⋱ ⋱ ⋱ 1 1 ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ 1 ⋱ ⋱ ⋱ ⋱ 0 ⋮ ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 1 0 1 ⋯ ⋯ 1 0 1 ⋯ ⋯ ⋯ 1 3 j ⋯ ⋯ ⋯ ⋯ j 1 j t 0 0 j t ⋯ ⋯ j t j t ⋯ ⋯ ⋯ ⋯ j t ⋮ j t 0 ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 2 I m n + J m n ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ j t ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ j t ⋱ ⋱ ⋱ ⋱ 0 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 1 j t 0 j t ⋯ ⋯ j t 0 j t ⋯ ⋯ ⋯ ⋯ j t$
$= 1 b × det 1 − 1 ⋯ ⋯ ⋯ ⋯ − 1 1 ⋯ ⋯ ⋯ ⋯ 1 j ⋯ ⋯ ⋯ ⋯ j 0 ( a + 1 ) 2 ⋯ ⋯ ⋯ 2 − 1 0 ⋯ ⋯ 0 − 1 − j 0 ⋯ ⋯ 0 − j ⋮ 2 ⋱ ⋱ ⋱ ⋱ ⋮ − 1 − 1 ⋱ ⋱ ⋱ 0 − j ⋱ ⋱ ⋱ ⋱ 0 ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 0 ⋱ ⋱ ⋱ ⋱ ⋮ 0 ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 2 ⋮ ⋱ ⋱ ⋱ − 1 0 ⋮ ⋱ ⋱ ⋱ ⋱ 0 0 2 ⋯ ⋯ ⋯ 2 ( a + 1 ) 0 ⋯ ⋯ 0 − 1 − 1 0 ⋯ ⋯ 0 − j − j 0 1 1 2 ⋯ ⋯ 2 2 0 ⋯ ⋯ ⋯ 0 0 ⋯ ⋯ ⋯ ⋯ 0 ⋮ 2 1 ⋱ ⋱ ⋱ 2 0 ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 2 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ 2 ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋱ ⋱ ⋱ ⋱ 0 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 0 1 2 ⋯ ⋯ 2 1 0 ⋯ ⋯ ⋯ 0 2 0 ⋯ ⋯ ⋯ ⋯ 0 0 j t j t 2 j t ⋯ ⋯ 2 j t 0 ⋯ ⋯ ⋯ ⋯ 0 ⋮ 2 j t j t ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 2 I m n ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 2 j t ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ 2 j t ⋱ ⋱ ⋱ ⋱ j t ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 0 j t 2 j t ⋯ ⋯ 2 j t j t 0 ⋯ ⋯ ⋯ ⋯ 0$
$= 1 b × det ( a + 1 ) 2 ⋯ ⋯ ⋯ 2 − 1 0 ⋯ ⋯ 0 − 1 − j 0 ⋯ ⋯ 0 − j 2 ⋱ ⋱ ⋱ ⋱ ⋮ − 1 − 1 ⋱ ⋱ ⋱ 0 − j ⋱ ⋱ ⋱ ⋱ 0 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 0 ⋱ ⋱ ⋱ ⋱ ⋮ 0 ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 2 ⋮ ⋱ ⋱ ⋱ − 1 0 ⋮ ⋱ ⋱ ⋱ ⋱ 0 2 ⋯ ⋯ ⋯ 2 ( a + 1 ) 0 ⋯ ⋯ 0 − 1 − 1 0 ⋯ ⋯ 0 − j − j 1 1 2 ⋯ ⋯ 2 2 0 ⋯ ⋯ ⋯ 0 0 ⋯ ⋯ ⋯ ⋯ 0 2 1 ⋱ ⋱ ⋱ 2 0 ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 2 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 2 ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋱ ⋱ ⋱ ⋱ 0 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 1 2 ⋯ ⋯ 2 1 0 ⋯ ⋯ ⋯ 0 2 0 ⋯ ⋯ ⋯ ⋯ 0 j t j t 2 j t ⋯ ⋯ 2 j t 0 ⋯ ⋯ ⋯ ⋯ 0 2 j t j t ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 2 I m n ⋮ ⋱ ⋱ ⋱ ⋱ 2 j t ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 2 j t ⋱ ⋱ ⋱ ⋱ j t ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ j t 2 j t ⋯ ⋯ 2 j t j t 0 ⋯ ⋯ ⋯ ⋯ 0$
Using Lemma 3, yields
$τ ( B n ( m ) ) = 1 b × det ( A B C 2 I m n ) = 1 b × det ( A − B 1 2 I m n C ) × 2 m n$
$= 1 b 2 m n × 2 − 2 m × det ( 2 a + 2 n + 2 ) 3 n + 4 4 ( n + 1 ) ⋯ 4 ( n + 1 ) 3 n + 4 − 2 0 ⋯ ⋯ 0 − 2 3 n + 4 ( 2 a + 2 n + 2 ) 3 n + 4 4 ( n + 1 ) ⋯ 4 ( n + 1 ) − 2 ⋱ ⋱ ⋱ ⋱ 0 4 ( n + 1 ) 3 n + 4 ⋱ ⋱ ⋱ ⋮ 0 ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 4 ( n + 1 ) ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 4 ( n + 1 ) ⋱ ⋱ ⋱ ⋱ 3 n + 4 ⋮ ⋱ ⋱ ⋱ ⋱ 0 3 n + 4 4 ( n + 1 ) ⋯ 4 ( n + 1 ) 3 n + 4 ( 2 a + 2 n + 2 ) 0 ⋯ ⋯ 0 − 2 − 2 2 2 4 ⋯ ⋯ 4 4 0 ⋯ ⋯ ⋯ 0 4 ⋱ ⋱ ⋱ ⋱ ⋮ 0 ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 4 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 4 ⋱ ⋱ ⋱ ⋱ 2 ⋮ ⋱ ⋱ ⋱ ⋱ 0 2 4 ⋯ ⋯ 4 2 0 ⋯ ⋯ ⋯ 0 4$
Using Lemma 3 again, yields
$τ ( B n ( m ) ) = 2 m n − 2 m b × det ( D E F 4 I m ) = 2 m n b × det ( D − E 1 4 I m F )$
$τ ( B n ( m ) ) = 2 m n b × det ( ( 2 a + 2 n + 4 ) ( 3 n + 7 ) 4 ( n + 2 ) ⋯ 4 ( n + 2 ) ( 3 n + 7 ) ( 3 n + 7 ) ( 2 a + 2 n + 4 ) ( 3 n + 7 ) ⋱ ⋯ 4 ( n + 2 ) 4 ( n + 2 ) ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 4 ( n + 2 ) 4 ( n + 2 ) ⋱ ⋱ ⋱ ⋱ ( 3 n + 7 ) ( 3 n + 7 ) 4 ( n + 2 ) ⋯ 4 ( n + 2 ) ( 3 n + 7 ) ( 2 a + 2 n + 4 ) )$
With a straightforward inducement using properties of determinants, we obtain
$τ ( B n ( m ) ) = 2 m n b × 4 b m n + m + 4 × det ( ( 2 a − n − 3 ) 0 ( n + 1 ) ⋯ ( n + 1 ) 0 0 ( 2 a − n − 3 ) 0 ⋱ ⋯ ( n + 1 ) ( n + 1 ) ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ( n + 1 ) ( n + 1 ) ⋱ ⋱ ⋱ ⋱ 0 0 ( n + 1 ) ⋯ ( n + 1 ) 0 ( 2 a − n − 3 ) )$
$= 2 m n + 2 × ( n + 1 ) m m n + m + 4 × det ( ( 2 a − n − 3 ) ( n + 1 ) 0 1 ⋯ 1 0 0 ( 2 a − n − 3 ) ( n + 1 ) 0 ⋱ ⋱ 1 1 ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 1 1 ⋱ ⋱ ⋱ ⋱ 0 0 1 ⋯ 1 0 ( 2 a − n − 3 ) ( n + 1 ) )$
Using Lemma 2, yields
$τ ( B n ( m ) ) = 2 m n + 2 × ( n + 1 ) m m n + m + 4 × 2 ( 2 a − n − 3 n + 1 + m − 3 ) 2 a − n − 3 n + 1 − 3 × [ T m ( 2 a − n − 3 n + 1 − 1 2 ) − 1 ] = 2 m n + 1 × ( n + 1 ) m × [ T m ( n + 3 n + 1 ) − 1 ] .$
Using Equation (11), yields the result. □
Definition 3.
The pyramid graph$C n ( m )$is the graph created from the gear graph$G m + 1$with vertices${ u 0 ; u 1 , u 2 , … , u m ; w 1 , w 2 , … , w m }$with double external edges and$m$sets of vertices, say,${ v 1 1 , v 2 1 , … , v n 1 } , { v 1 2 , u 2 2 , … , v n 2 } , … , { v 1 m , v 2 m , … , v n m }$, such that for all$i = 1 , 2 , … , n$the vertex$v i j$is adjacent to$u j$and$u j + 1$, where$j = 1 , 2 , … , m − 1 ,$and$v i m$is adjacent to$u 1$and$u m .$See Figure 3.
Theorem 3.
For$n ≥ 0 , m ≥ 3 ,$
Proof.
Using Lemma 1, we have:
$τ ( C n ( m ) ) = 1 ( m n + 2 m + 1 ) 2 × det ( ( m n + 2 m + 1 ) I − D c + A c ) = 1 ( m n + 2 m + 1 ) 2 ×$
$det ( m + 1 ) 0 0 ⋯ ⋯ ⋯ 0 1 ⋯ ⋯ ⋯ ⋯ 1 1 ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ 1 0 2 ( n + 3 ) 0 1 ⋯ 1 0 0 1 ⋯ ⋯ 1 0 0 ⋯ 0 1 ⋯ 1 ⋯ ⋯ 1 ⋯ 1 1 ⋯ 1 0 ⋯ 0 ⋮ 0 ⋱ ⋱ ⋱ ⋱ 1 0 ⋱ ⋱ ⋱ ⋱ 1 0 ⋯ 0 0 ⋯ 0 1 ⋯ 1 ⋯ ⋯ 1 ⋯ 1 1 ⋯ 1 ⋮ 1 ⋱ ⋱ ⋱ ⋱ ⋮ 1 ⋱ ⋱ ⋱ ⋮ ⋮ 1 ⋯ 1 0 ⋯ 0 0 ⋯ 0 1 ⋯ 1 ⋯ ⋯ 1 ⋯ 1 ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋱ ⋱ ⋱ ⋮ ⋮ 1 ⋯ 1 1 ⋯ 1 0 ⋯ 0 0 ⋯ 0 1 ⋯ 1 ⋯ ⋯ ⋮ 1 ⋱ ⋱ ⋱ ⋱ 0 ⋮ ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋮ 0 0 1 ⋯ 1 0 2 ( n + 3 ) 1 ⋯ ⋯ 1 0 0 1 ⋯ 1 1 ⋯ 1 ⋯ ⋯ 1 ⋯ 1 0 ⋯ 0 0 ⋯ 0 1 0 0 1 ⋯ ⋯ 1 3 1 ⋯ ⋯ ⋯ 1 1 ⋯ 1 1 ⋯ 1 ⋯ ⋯ ⋯ ⋯ ⋯ 1 ⋯ 1 1 ⋯ 1 ⋮ 1 ⋱ ⋱ ⋱ ⋱ ⋮ 1 ⋱ ⋱ ⋱ ⋱ ⋮ 1 ⋯ 1 1 ⋯ 1 ⋯ ⋯ ⋯ ⋯ ⋯ 1 ⋯ 1 1 ⋯ 1 ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋯ ⋮ ⋮ ⋯ ⋮ ⋯ ⋯ ⋯ ⋯ ⋯ ⋮ ⋯ ⋮ ⋮ ⋯ 1 ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋯ ⋮ ⋮ ⋯ ⋮ ⋯ ⋯ ⋯ ⋯ ⋯ ⋮ ⋯ ⋮ ⋮ ⋯ ⋮ ⋮ 1 ⋱ ⋱ ⋱ ⋱ 0 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 1 ⋯ 1 1 ⋯ 1 ⋯ ⋯ ⋯ ⋯ ⋯ 1 ⋯ 1 1 ⋯ 1 1 0 1 ⋯ ⋯ 1 0 1 ⋯ ⋯ ⋯ 1 3 1 ⋯ 1 1 ⋯ 1 ⋯ ⋯ ⋯ ⋯ ⋯ 1 ⋯ 1 1 ⋯ 1 1 0 0 1 ⋯ 1 0 1 1 ⋯ ⋯ 1 1 3 1 ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ 1 ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ 1 ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ 0 0 1 ⋮ 1 ⋮ 1 1 ⋯ ⋯ 1 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ 1 0 0 ⋮ 1 ⋮ 1 1 ⋯ ⋯ 1 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ 1 0 0 ⋮ 1 ⋮ 1 1 ⋯ ⋯ 1 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ 1 1 0 ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ 1 1 0 ⋮ 1 ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋮ 1 ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ 1 ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ 1 1 1 ⋮ 0 ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ 1 1 ⋮ ⋮ 0 ⋮ 1 1 ⋯ ⋯ 1 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ 0 1 1 ⋮ 0 ⋮ 1 1 ⋯ ⋯ 1 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ 1 1 0 1 1 ⋯ 0 ⋯ 1 1 ⋯ ⋯ 1 1 1 ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ 1 3$
Let $j = ( 1 ⋯ 1 )$ be the $1 × n$ matrix with all one, and $J n$ be the $n × n$ matrix with all one. Set $a = 2 n + 6$ and $b = m n + 2 m + 1$. Then we have:
$τ ( C n ( m ) ) = 1 b 2 × det m + 1 0 ⋯ ⋯ ⋯ ⋯ 0 1 ⋯ ⋯ ⋯ ⋯ 1 j ⋯ ⋯ ⋯ ⋯ j 0 a 0 1 ⋯ 1 0 0 1 ⋯ ⋯ 1 0 0 j ⋯ ⋯ j 0 ⋮ 0 ⋱ ⋱ ⋱ ⋱ 1 0 0 ⋱ ⋱ ⋱ 1 0 ⋱ ⋱ ⋱ ⋱ j ⋮ 1 ⋱ ⋱ ⋱ ⋱ ⋮ 1 0 ⋱ ⋱ ⋱ ⋮ j ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ 1 ⋱ ⋱ ⋱ ⋱ 0 ⋮ ⋱ ⋱ 0 0 1 ⋮ ⋱ ⋱ ⋱ ⋱ j 0 0 1 ⋯ 1 0 a 1 ⋯ ⋯ 1 0 0 j ⋯ ⋯ j 0 0 1 0 0 1 ⋯ ⋯ 1 3 1 ⋯ ⋯ ⋯ 1 j ⋯ ⋯ ⋯ ⋯ j ⋮ 1 0 ⋱ ⋱ ⋱ 1 1 ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ 1 ⋱ ⋱ ⋱ ⋱ 0 ⋮ ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 1 0 1 ⋯ ⋯ 1 0 1 ⋯ ⋯ ⋯ 1 3 j ⋯ ⋯ ⋯ ⋯ j j t 0 0 j t ⋯ ⋯ j t j t ⋯ ⋯ ⋯ ⋯ j t ⋮ j t 0 ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 2 I m n + J m n ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ j t ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ j t ⋱ ⋱ ⋱ ⋱ 0 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ j t 0 j t ⋯ ⋯ j t 0 j t ⋯ ⋯ ⋯ ⋯ j t$
$= 1 b 2 × det b 0 ⋯ ⋯ ⋯ ⋯ 0 1 ⋯ ⋯ ⋯ ⋯ 1 j ⋯ ⋯ ⋯ ⋯ j b a 0 1 ⋯ 1 0 0 1 ⋯ ⋯ 1 0 0 j ⋯ ⋯ j 0 ⋮ 1 ⋱ ⋱ ⋱ ⋱ 1 0 0 ⋱ ⋱ ⋱ 1 0 ⋱ ⋱ ⋱ ⋱ j ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 1 0 ⋱ ⋱ ⋱ ⋮ j ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ 1 ⋱ ⋱ ⋱ ⋱ 0 ⋮ ⋱ ⋱ 0 0 1 ⋮ ⋱ ⋱ ⋱ ⋱ j b 0 1 ⋯ 1 0 a 1 ⋯ ⋯ 1 0 0 j ⋯ ⋯ j 0 0 b 0 0 1 ⋯ ⋯ 1 3 1 ⋯ ⋯ ⋯ 1 j ⋯ ⋯ ⋯ ⋯ j ⋮ 1 0 ⋱ ⋱ ⋱ 1 1 ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ 1 ⋱ ⋱ ⋱ ⋱ 0 ⋮ ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ b 0 1 ⋯ ⋯ 1 0 1 ⋯ ⋯ ⋯ 1 3 j ⋯ ⋯ ⋯ ⋯ j b j t 0 0 j t ⋯ ⋯ j t j t ⋯ ⋯ ⋯ ⋯ j t ⋮ j t 0 ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 2 I m n + J m n ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ j t ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ j t ⋱ ⋱ ⋱ ⋱ 0 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ b j t 0 j t ⋯ ⋯ j t 0 j t ⋯ ⋯ ⋯ ⋯ j t$
$= 1 b × det 1 0 ⋯ ⋯ ⋯ ⋯ 0 1 ⋯ ⋯ ⋯ ⋯ 1 j ⋯ ⋯ ⋯ ⋯ j 1 a 0 1 ⋯ 1 0 0 1 ⋯ ⋯ 1 0 0 j ⋯ ⋯ j 0 ⋮ 0 ⋱ ⋱ ⋱ ⋱ 1 0 0 ⋱ ⋱ ⋱ 1 0 ⋱ ⋱ ⋱ ⋱ j ⋮ 1 ⋱ ⋱ ⋱ ⋱ ⋮ 1 0 ⋱ ⋱ ⋱ ⋮ j ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ 1 ⋱ ⋮ ⋱ ⋱ 0 ⋮ ⋱ ⋱ 0 0 1 ⋮ ⋱ ⋱ ⋱ ⋱ j 1 0 1 ⋯ 1 0 a 1 ⋯ ⋯ 1 0 0 j ⋯ ⋯ j 0 0 1 0 0 1 ⋯ ⋯ 1 3 1 ⋯ ⋯ ⋯ 1 j ⋯ ⋯ ⋯ ⋯ j ⋮ 1 0 ⋱ ⋱ ⋱ 1 1 ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ 1 ⋱ ⋱ ⋱ ⋱ 0 ⋮ ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 1 0 1 ⋯ ⋯ 1 0 1 ⋯ ⋯ ⋯ 1 3 j ⋯ ⋯ ⋯ ⋯ j 1 j t 0 0 j t ⋯ ⋯ j t j t ⋯ ⋯ ⋯ ⋯ j t ⋮ j t 0 ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 2 I m n + J m n ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ j t ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ j t ⋱ ⋱ ⋱ ⋱ 0 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 1 j t 0 j t ⋯ ⋯ j t 0 j t ⋯ ⋯ ⋯ ⋯ j t$
$= 1 b × det 1 0 ⋯ ⋯ ⋯ ⋯ 0 1 ⋯ ⋯ ⋯ ⋯ 1 j ⋯ ⋯ ⋯ ⋯ j 0 a 0 1 ⋯ 1 0 − 1 0 ⋯ ⋯ 0 − 1 − j 0 ⋯ ⋯ 0 − j ⋮ 1 ⋱ ⋱ ⋱ ⋱ 1 − 1 − 1 ⋱ ⋱ ⋱ 0 − j ⋱ ⋱ ⋱ ⋱ 0 ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 0 ⋱ ⋱ ⋱ ⋱ ⋮ 0 ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ 1 ⋱ ⋱ ⋱ ⋱ 0 ⋮ ⋱ ⋱ ⋱ − 1 0 ⋮ ⋱ ⋱ ⋱ ⋱ 0 0 0 1 ⋯ 1 0 a 0 ⋯ ⋯ 0 − 1 − 1 0 ⋯ ⋯ 0 − j − j 0 0 0 1 ⋯ ⋯ 1 2 0 ⋯ ⋯ ⋯ 0 0 ⋯ ⋯ ⋯ ⋯ 0 ⋮ 1 0 ⋱ ⋱ ⋱ 1 0 ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ 1 ⋱ ⋱ ⋱ ⋱ 0 ⋮ ⋱ ⋱ ⋱ ⋱ 0 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 0 0 1 ⋯ ⋯ 1 0 0 ⋯ ⋯ ⋯ 0 2 0 ⋯ ⋯ ⋯ ⋯ 0 0 0 0 j t ⋯ ⋯ j t 0 ⋯ ⋯ ⋯ ⋯ 0 ⋮ j t 0 ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 2 I m n ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ j t ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ j t ⋱ ⋱ ⋱ ⋱ 0 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 0 0 j t ⋯ ⋯ j t 0 0 ⋯ ⋯ ⋯ ⋯ 0$
$= 1 b × det a 0 1 ⋯ 1 0 − 1 0 ⋯ ⋯ 0 − 1 − j 0 ⋯ ⋯ 0 − j 0 ⋱ ⋱ ⋱ ⋱ 1 − 1 − 1 ⋱ ⋱ ⋱ 0 − j ⋱ ⋱ ⋱ ⋱ 0 1 ⋱ ⋱ ⋱ ⋱ ⋮ 0 ⋱ ⋱ ⋱ ⋱ ⋮ 0 ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 1 ⋱ ⋱ ⋱ ⋱ 0 ⋮ ⋱ ⋱ ⋱ − 1 0 ⋮ ⋱ ⋱ ⋱ ⋱ 0 0 1 ⋯ 1 0 a 0 ⋯ ⋯ 0 − 1 − 1 0 ⋯ ⋯ 0 − j − j 0 0 1 ⋯ ⋯ 1 2 0 ⋯ ⋯ ⋯ 0 0 ⋯ ⋯ ⋯ ⋯ 0 1 0 ⋱ ⋱ ⋱ 1 0 ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 1 ⋱ ⋱ ⋱ ⋱ 0 ⋮ ⋱ ⋱ ⋱ ⋱ 0 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 0 1 ⋯ ⋯ 1 0 0 ⋯ ⋯ ⋯ 0 2 0 ⋯ ⋯ ⋯ ⋯ 0 0 0 j t ⋯ ⋯ j t 0 ⋯ ⋯ ⋯ ⋯ 0 j t 0 ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 2 I m n ⋮ ⋱ ⋱ ⋱ ⋱ j t ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ j t ⋱ ⋱ ⋱ ⋱ 0 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 0 j t ⋯ ⋯ j t 0 0 ⋯ ⋯ ⋯ ⋯ 0$
Using Lemma 3, yields
$τ ( C n ( m ) ) = 1 b × det ( A B C 2 I m n ) = 1 b × det ( A − B 1 2 I m n C ) × 2 m n$
$= 1 b × 2 m n × 2 − 2 m × det 2 a n 2 ( n + 1 ) ⋯ 2 ( n + 1 ) n − 2 0 ⋯ ⋯ 0 − 2 n 2 a n + 2 2 ( n + 1 ) ⋯ 2 ( n + 1 ) − 2 ⋱ ⋱ ⋱ ⋱ 0 2 ( n + 1 ) n ⋱ ⋱ ⋱ ⋮ 0 ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 2 ( n + 1 ) ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 2 ( n + 1 ) ⋱ ⋱ ⋱ ⋱ n ⋮ ⋱ ⋱ ⋱ ⋱ 0 n 2 ( n + 1 ) ⋯ 2 ( n + 1 ) n 2 a 0 ⋯ ⋯ 0 − 2 − 2 0 0 2 ⋯ ⋯ 2 4 0 ⋯ ⋯ ⋯ 0 2 ⋱ ⋱ ⋱ ⋱ ⋮ 0 ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 2 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 2 ⋱ ⋱ ⋱ ⋱ 0 ⋮ ⋱ ⋱ ⋱ ⋱ 0 0 2 ⋯ ⋯ 2 0 0 ⋯ ⋯ ⋯ 0 4$
Using Lemma 3 again, yields
$τ ( C n ( m ) ) = 2 m n − 2 m b × det ( D E F 4 I m ) = 2 m n b × det ( D − E 1 4 I m F )$
$τ ( C n ( m ) ) = 2 m n b × det ( 2 a ( n + 1 ) 2 ( n + 2 ) ⋯ 2 ( n + 2 ) ( n + 1 ) ( n + 1 ) 2 a ( n + 3 ) ⋱ ⋯ 2 ( n + 2 ) 2 ( n + 2 ) ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 2 ( n + 2 ) 2 ( n + 2 ) ⋱ ⋱ ⋱ ⋱ ( n + 1 ) ( n + 1 ) 2 ( n + 2 ) ⋯ 2 ( n + 2 ) ( n + 1 ) 2 a )$
Using properties of determinants, we have:
$τ ( C n ( m ) ) = 2 m n b × 2 b m n + 3 m + 2 × det ( ( 2 a − n − 1 ) 0 ( n + 3 ) ⋯ ( n + 3 ) 0 0 ( 2 a − n − 1 ) 0 ⋱ ⋯ ( n + 3 ) ( n + 3 ) ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ( n + 3 ) ( n + 3 ) ⋱ ⋱ ⋱ ⋱ 0 0 ( n + 3 ) ⋯ ( n + 3 ) 0 ( 2 a − n − 1 ) )$
$= 2 m n + 1 ( n + 3 ) m m n + 3 m + 2 × det ( ( 2 a − n − 1 ) ( n + 3 ) 0 1 ⋯ 1 0 0 ( 2 a − n − 1 ) ( n + 3 ) 0 ⋱ ⋱ 1 1 ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 1 1 ⋱ ⋱ ⋱ ⋱ 0 0 1 ⋯ 1 0 ( 2 a − n − 1 ) ( n + 3 ) )$
Using Lemma 2, yields:
$τ ( C n ( m ) ) = 2 m n + 1 × ( n + 3 ) m m n + 3 m + 2 × 2 ( 2 a − n − 1 n + 3 + m − 3 ) 2 a − n − 1 n + 3 − 3 × [ T m ( 2 a − n − 1 n + 3 − 1 2 ) − 1 ] = 2 m n + 1 × ( n + 3 ) m × [ T m ( n + 4 n + 3 ) − 1 ] .$
Using Equation (11), yields the result. □
Definition 4.
The pyramid graph$D n ( m )$is the graph created from the gear graph$G m + 1$with vertices${ u 0 ; u 1 , u 2 , … , u m ; w 1 , w 2 , … , w m }$with double internal and external edges and$m$sets of vertices, say,${ v 1 1 , v 2 1 , … , v n 1 } , { v 1 2 , v 2 2 , … , v n 2 } , … , { v 1 m , v 2 m , … , v n m }$, such that for all$i = 1 , 2 , … , n$the vertex$v i j$is adjacent to$u j$and$u j + 1$, where$j = 1 , 2 , … , m − 1 ,$and$v i m$is adjacent to$u 1$and$u m .$See Figure 4.
Theorem 4.
For$n ≥ 0 , m ≥ 3 ,$
Proof.
Applying Lemma 1, we have:
$τ ( D n ( m ) ) = 1 ( m n + 2 m + 1 ) 2 × det ( ( m n + 2 m + 1 ) I − D c + A c ) = 1 ( m n + 2 m + 1 ) 2 ×$
$det ( 2 m + 1 ) − 1 − 1 ⋯ ⋯ ⋯ − 1 1 ⋯ ⋯ ⋯ ⋯ 1 1 ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ 1 − 1 ( 2 n + 7 ) 0 1 ⋯ 1 0 0 1 ⋯ ⋯ 1 0 0 ⋯ 0 1 ⋯ 1 ⋯ ⋯ 1 ⋯ 1 1 ⋯ 1 0 ⋯ 0 ⋮ 0 ⋱ ⋱ ⋱ ⋱ 1 0 ⋱ ⋱ ⋱ ⋱ 1 0 ⋯ 0 0 ⋯ 0 1 ⋯ 1 ⋯ ⋯ 1 ⋯ 1 1 ⋯ 1 ⋮ 1 ⋱ ⋱ ⋱ ⋱ ⋮ 1 ⋱ ⋱ ⋱ ⋮ ⋮ 1 ⋯ 1 0 ⋯ 0 0 ⋯ 0 1 ⋯ 1 ⋯ ⋯ 1 ⋯ 1 ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋱ ⋱ ⋱ ⋮ ⋮ 1 ⋯ 1 1 ⋯ 1 0 ⋯ 0 0 ⋯ 0 1 ⋯ 1 ⋯ ⋯ ⋮ 1 ⋱ ⋱ ⋱ ⋱ 0 ⋮ ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋮ − 1 0 1 ⋯ 1 0 ( 2 n + 7 ) 1 ⋯ ⋯ 1 0 0 1 ⋯ 1 1 ⋯ 1 ⋯ ⋯ 1 ⋯ 1 0 ⋯ 0 0 ⋯ 0 1 0 0 1 ⋯ ⋯ 1 3 1 ⋯ ⋯ ⋯ 1 1 ⋯ 1 1 ⋯ 1 ⋯ ⋯ ⋯ ⋯ ⋯ 1 ⋯ 1 1 ⋯ 1 ⋮ 1 ⋱ ⋱ ⋱ ⋱ ⋮ 1 ⋱ ⋱ ⋱ ⋱ ⋮ 1 ⋯ 1 1 ⋯ 1 ⋯ ⋯ ⋯ ⋯ ⋯ 1 ⋯ 1 1 ⋯ 1 ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋯ ⋮ ⋮ ⋯ ⋮ ⋯ ⋯ ⋯ ⋯ ⋯ ⋮ ⋯ ⋮ ⋮ ⋯ 1 ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋯ ⋮ ⋮ ⋯ ⋮ ⋯ ⋯ ⋯ ⋯ ⋯ ⋮ ⋯ ⋮ ⋮ ⋯ ⋮ 1 1 ⋱ ⋱ ⋱ ⋱ 0 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 1 ⋯ 1 1 ⋯ 1 ⋯ ⋯ ⋯ ⋯ ⋯ 1 ⋯ 1 1 ⋯ 1 1 0 1 ⋯ ⋯ 1 0 1 ⋯ ⋯ ⋯ 1 3 1 ⋯ 1 1 ⋯ 1 ⋯ ⋯ ⋯ ⋯ ⋯ 1 ⋯ 1 1 ⋯ 1 ⋮ 0 0 1 ⋯ 1 0 1 1 ⋯ ⋯ 1 1 3 1 ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ 1 ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ 1 ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ 0 0 1 ⋮ 1 ⋮ 1 1 ⋯ ⋯ 1 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ 1 0 0 ⋮ 1 ⋮ 1 1 ⋯ ⋯ 1 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ 1 0 0 ⋮ 1 ⋮ 1 1 ⋯ ⋯ 1 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ 1 1 0 ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ 1 1 0 ⋮ 1 ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋮ 1 ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ 1 ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ 1 1 1 ⋮ 0 ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ 1 1 ⋮ ⋮ 0 ⋮ 1 1 ⋯ ⋯ 1 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ 0 1 1 ⋮ 0 ⋮ 1 1 ⋯ ⋯ 1 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ 1 1 0 1 1 ⋯ 0 ⋯ 1 1 ⋯ ⋯ 1 1 1 ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ 1 3$
Let $j = ( 1 ⋯ 1 )$ be the $1 × n$ matrix with all one, and $J n$ the $n × n$ matrix with all one. Set $a = 2 n + 7$ and $b = m n + 2 m + 1$. Then we have:
$τ ( D n ( m ) ) = 1 b 2 det 2 m + 1 − 1 ⋯ ⋯ ⋯ ⋯ − 1 1 ⋯ ⋯ ⋯ ⋯ 1 j ⋯ ⋯ ⋯ ⋯ j − 1 a 0 1 ⋯ 1 0 0 1 ⋯ ⋯ 1 0 0 j ⋯ ⋯ j 0 ⋮ 0 ⋱ ⋱ ⋱ ⋱ 1 0 0 ⋱ ⋱ ⋱ 1 0 ⋱ ⋱ ⋱ ⋱ j ⋮ 1 ⋱ ⋱ ⋱ ⋱ ⋮ 1 0 ⋱ ⋱ ⋱ ⋮ j ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ 1 ⋱ ⋱ ⋱ ⋱ 0 ⋮ ⋱ ⋱ 0 0 1 ⋮ ⋱ ⋱ ⋱ ⋱ j − 1 0 1 ⋯ 1 0 a 1 ⋯ ⋯ 1 0 0 j ⋯ ⋯ j 0 0 1 0 0 1 ⋯ ⋯ 1 3 1 ⋯ ⋯ ⋯ 1 j ⋯ ⋯ ⋯ ⋯ j ⋮ 1 0 ⋱ ⋱ ⋱ 1 1 ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ 1 ⋱ ⋱ ⋱ ⋱ 0 ⋮ ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 1 0 1 ⋯ ⋯ 1 0 1 ⋯ ⋯ ⋯ 1 3 j ⋯ ⋯ ⋯ ⋯ j j t 0 0 j t ⋯ ⋯ j t j t ⋯ ⋯ ⋯ ⋯ j t ⋮ j t 0 ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 2 I m n + J m n ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ j t ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ j t ⋱ ⋱ ⋱ ⋱ 0 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ j t 0 j t ⋯ ⋯ j t 0 j t ⋯ ⋯ ⋯ ⋯ j t$
$= 1 b 2 det b − 1 ⋯ ⋯ ⋯ ⋯ − 1 1 ⋯ ⋯ ⋯ ⋯ 1 j ⋯ ⋯ ⋯ ⋯ j b a 0 1 ⋯ 1 0 0 1 ⋯ ⋯ 1 0 0 j ⋯ ⋯ j 0 ⋮ 0 ⋱ ⋱ ⋱ ⋱ 1 0 0 ⋱ ⋱ ⋱ 1 0 ⋱ ⋱ ⋱ ⋱ j ⋮ 1 ⋱ ⋱ ⋱ ⋱ ⋮ 1 0 ⋱ ⋱ ⋱ ⋮ j ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ 1 ⋱ ⋱ ⋱ ⋱ 0 ⋮ ⋱ ⋱ 0 0 1 ⋮ ⋱ ⋱ ⋱ ⋱ j b 0 1 ⋯ 1 0 a 1 ⋯ ⋯ 1 0 0 j ⋯ ⋯ j 0 0 b 0 0 1 ⋯ ⋯ 1 3 1 ⋯ ⋯ ⋯ 1 j ⋯ ⋯ ⋯ ⋯ j ⋮ 1 0 ⋱ ⋱ ⋱ 1 1 ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ 1 ⋱ ⋱ ⋱ ⋱ 0 ⋮ ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ b 0 1 ⋯ ⋯ 1 0 1 ⋯ ⋯ ⋯ 1 3 j ⋯ ⋯ ⋯ ⋯ j b j t 0 0 j t ⋯ ⋯ j t j t ⋯ ⋯ ⋯ ⋯ j t ⋮ j t 0 ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 2 I m n + J m n ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ j t ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ j t ⋱ ⋱ ⋱ ⋱ 0 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ b j t 0 j t ⋯ ⋯ j t 0 j t ⋯ ⋯ ⋯ ⋯ j t$
$= 1 b det ⋱ 1 − 1 ⋯ ⋯ ⋯ ⋯ − 1 1 ⋯ ⋯ ⋯ ⋯ 1 j ⋯ ⋯ ⋯ ⋯ j 1 a 0 1 ⋯ 1 0 0 1 ⋯ ⋯ 1 0 0 j ⋯ ⋯ j 0 ⋮ 0 ⋱ ⋱ ⋱ ⋱ 1 0 0 ⋱ ⋱ ⋱ 1 0 ⋱ ⋱ ⋱ ⋱ j ⋮ 1 ⋱ ⋱ ⋱ ⋱ ⋮ 1 0 ⋱ ⋱ ⋱ ⋮ j ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ 1 ⋱ ⋱ ⋱ ⋱ 0 ⋮ ⋱ ⋱ 0 0 1 ⋮ ⋱ ⋱ ⋱ ⋱ j 1 0 1 ⋯ 1 0 a 1 ⋯ ⋯ 1 0 0 j ⋯ ⋯ j 0 0 1 0 0 1 ⋯ ⋯ 1 3 1 ⋯ ⋯ ⋯ 1 j ⋯ ⋯ ⋯ ⋯ j ⋮ 1 0 ⋱ ⋱ ⋱ 1 1 ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ 1 ⋱ ⋱ ⋱ ⋱ 0 ⋮ ⋱ ⋱ ⋱ ⋱ 1 ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 1 0 1 ⋯ ⋯ 1 0 1 ⋯ ⋯ ⋯ 1 3 j ⋯ ⋯ ⋯ ⋯ j 1 j t 0 0 j t ⋯ ⋯ j t j t ⋯ ⋯ ⋯ ⋯ j t ⋮ j t 0 ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋮ 2 I m n + J m n$