In mathematics, the Hamiltonian cycle polynomial of an n×n-matrix is a polynomial in its entries, defined as
ham ( A ) = ∑ σ ∈ H n ∏ i = 1 n a i , σ ( i ) {\displaystyle \operatorname {ham} (A)=\sum _{\sigma \in H_{n}}\prod _{i=1}^{n}a_{i,\sigma (i)}}
where H n {\displaystyle H_{n}} is the set of n-permutations having exactly one cycle. This is an algebraic option useful, in a number of cases, for determining the existence of a Hamiltonian cycle in a directed graph. It is a generalization of the number of Hamiltonian cycles of a digraph as the sum of the products of its Hamiltonian cycles' arc weights (all of which equal unity) for weighted digraphs with arc weights taken from a given commutative ring. In the meantime, for an undirected weighted graph the sum of the products of the edge weights of its Hamiltonian cycles containing any fixed edge (i,j) can be expressed as the product of the weight of (i,j) and the Hamiltonian cycle polynomial of a matrix received from its weighted adjacency matrix via subjecting its rows and columns to any permutation mapping i to 1 and j to 2 and then removing its 1-st row and 2-nd column. In (Knezevic & Cohen (2017)) it was shown that
ham ( A ) = ∑ J ⊆ { 2 , … , n } det ( − A J ) per ( A J ¯ ) {\displaystyle \operatorname {ham} (A)=\sum _{J\subseteq \{2,\dots ,n\}}\det(-A_{J})\operatorname {per} (A_{\bar {J}})}
where A J {\displaystyle A_{J}} is the submatrix of A {\displaystyle A} induced by the rows and columns of A {\displaystyle A} indexed by J {\displaystyle J} , and J ¯ {\displaystyle {\bar {J}}} is the complement of J {\displaystyle J} in { 1 , … , n } {\displaystyle \{1,\dots ,n\}} , while the determinant of the empty submatrix is defined to be 1. Due to this and Borchardt's identities, for a non-singular n×n Cauchy matrix C ( x , y ) {\displaystyle C(x,y)} ham ( C ( x , y ) ) = det ( − D 1 2 C ∗ 2 ( x , y ) D 2 2 + I / 1 ) det ( C ( x , y ) ) {\displaystyle \operatorname {ham} (C(x,y))={\det }(-D_{1}^{2}C^{*2}(x,y)D_{2}^{2}+I_{/1})\operatorname {det} (C(x,y))} where D 1 , D 2 {\displaystyle D_{1},D_{2}} are diagonal matrices that make D 1 C ( x , y ) D 2 {\displaystyle D_{1}C(x,y)D_{2}} unitary (in a real field or a field of a finite characteristic, or orthogonal in the field of complex numbers), C ∗ 2 ( x , y ) {\displaystyle C^{*2}(x,y)} is the Hadamard (entry-wise) square of C ( x , y ) {\displaystyle C(x,y)} , and I / 1 {\displaystyle I_{/1}} is the identity n×n-matrix with the entry of indexes 1,1 replaced by 0.
… excerpt ends here. Continue reading the full article.
