Apportionable matrices and gracefully labelled graphs

Antwan Clark,Bryan A. Curtis,Edinah K. Gnang,Leslie Hogben

2024-06-01

Abstract:To apportion a complex matrix means to apply a similarity so that all entries of the resulting matrix have the same magnitude. We initiate the study of apportionment, both by unitary matrix similarity and general matrix similarity. There are connections between apportionment and classical graph decomposition problems, including graceful labelings of graphs, Hadamard matrices, and equiangluar lines, and potential applications to instantaneous uniform mixing in quantum walks. The connection between apportionment and graceful labelings allows the construction of apportionable matrices from trees. A generalization of the well-known Eigenvalue Interlacing Inequalities using graceful labelings is also presented. It is shown that every rank one matrix can be apportioned by a unitary similarity, but there are $2\x 2$ matrices that cannot be apportioned. A necessary condition for a matrix to be apportioned by unitary matrix is established. This condition is used to construct a set of matrices with nonzero Lebesgue measure that are not apportionable by a unitary matrix.

Combinatorics

What problem does this paper attempt to address?

The problems that this paper attempts to solve mainly focus on the apportionment of matrices and its connection with classical problems in graph theory. Specifically:

1. **Apportionment of matrices**: The paper introduces the concept of matrix apportionment, that is, through a certain similarity transformation, all elements of a complex matrix have the same modulus. It studies the possibility of achieving matrix apportionment through unitary matrix similarity and general matrix similarity.

2. **Connection with graph - theory problems**: It explores the relationship between matrix apportionment and classical problems in graph theory, especially the graceful labeling problem, the construction of Hadamard matrices, and the construction of equiangular lines. These connections not only enrich the research background of matrix apportionment but also provide a new perspective to understand and solve these problems.

3. **Application of instantaneous uniform mixing in quantum walks**: The paper also discusses the application of matrix apportionment in instantaneous uniform mixing in continuous - time quantum walks. Specifically, if the continuous - time quantum walk operator \(e^{-itA_G}\) of a simple graph \(G\) is uniform at a certain time \(t_0\), then the graph is said to achieve instantaneous uniform mixing at \(t_0\).

4. **Necessary and sufficient conditions**: The paper establishes a necessary condition for a matrix to achieve apportionment through unitary matrix similarity, and uses this condition to construct a set of matrices that cannot achieve apportionment through unitary matrix similarity, and these sets have a non - zero Lebesgue measure.

5. **Apportionment of rank - one matrices**: It is proved that all rank - one matrices can achieve apportionment through unitary matrix similarity, and an algorithm is provided to find such a unitary matrix.

6. **Apportionment of positive semi - definite matrices**: It studies the apportionment properties of positive semi - definite matrices, especially that positive semi - definite matrices with rank greater than or equal to 2 cannot achieve apportionment through unitary matrix similarity.

7. **Distance measurement of U - apportionment**: A function is defined to measure the degree of a matrix's distance from U - apportionment, and the upper and lower bounds of this function are established.

8. **Graph labeling and U - apportionment**: By introducing the cyclic blowup matrix and a specific unitary matrix representation, the ρ - labeling problem of a graph is related to the U - apportionment problem of a matrix, and it is proved that a graph has a ρ - labeling if and only if its cyclic blowup matrix is U - apportionment.

In summary, the main objective of this paper is to systematically study the problem of matrix apportionment, explore its connection with classical problems in graph theory, and propose new methods and tools to solve these problems.