## Studying the inertias of LCM matrices and revisiting the Bourque-Ligh conjecture

Research output: Contribution to journal › Article › Scientific › peer-review

### Details

Original language | English |
---|---|

Article number | 105161 |

Journal | Journal of Combinatorial Theory. Series A |

Volume | 171 |

Early online date | 14 Oct 2019 |

DOIs | |

Publication status | Published - 1 Apr 2020 |

Publication type | A1 Journal article-refereed |

### Abstract

Let S={x_{1},x_{2},…,x_{n}} be a finite set of distinct positive integers. Throughout this article we assume that the set S is GCD closed. The LCM matrix [S] of the set S is defined to be the n×n matrix with lcm(x_{i},x_{j}) as its ij element. The famous Bourque-Ligh conjecture used to state that the LCM matrix of a GCD closed set S is always invertible, but currently it is a well-known fact that any nontrivial LCM matrix is indefinite and under the right circumstances it can be even singular (even if the set S is assumed to be GCD closed). However, not much more is known about the inertia of LCM matrices in general. The ultimate goal of this article is to improve this situation. Assuming that S is a meet closed set we define an entirely new lattice-theoretic concept by saying that an element x_{i}∈S generates a double-chain set in S if the set meetcl(C_{S}(x_{i}))∖C_{S}(x_{i}) can be expressed as a union of two disjoint chains (here the set C_{S}(x_{i}) consists of all the elements of the set S that are covered by x_{i} and meetcl(C_{S}(x_{i})) is the smallest meet closed subset of S that contains the set C_{S}(x_{i})). We then proceed by studying the values of the Möbius function on sets in which every element generates a double-chain set and use the properties of the Möbius function to explain why the Bourque-Ligh conjecture holds in so many cases and fails in certain very specific instances. After that we turn our attention to the inertia and see that in some cases it is possible to determine the inertia of an LCM matrix simply by looking at the lattice-theoretic structure of (S,|) alone. Finally, we are going to show how to construct LCM matrices in which the majority of the eigenvalues is either negative or positive.

### ASJC Scopus subject areas

### Keywords

- Bourque-Ligh conjecture, GCD matrix, LCM matrix, Smith determinant