The integer-scaling criterion for C-realizability

Let {λ1α1,,λnαn}\{\frac{\lambda_1}{\alpha_1},\ldots,\frac{\lambda_n}{\alpha_n}\} be a multiset of rational numbers, and let p=lcm(α1,,αn)p=\operatorname{lcm}(\alpha_1,\ldots,\alpha_n). Here CQ,3C_{\mathbb{Q},3}-realizability and CZ,3C_{\mathbb{Z},3}-realizability refer to the corresponding realizability criteria for the Nonnegative Inverse Eigenvalue Problem.

Integer-scaling criterion. If {λ1α1,,λnαn}\{\frac{\lambda_1}{\alpha_1},\ldots,\frac{\lambda_n}{\alpha_n}\} is CQ,3C_{\mathbb{Q},3}-realizable, then it is CQ,3C_{\mathbb{Q},3}-realizable if and only if

{pλ1α1,,pλnαn}\left\{p\cdot\frac{\lambda_1}{\alpha_1},\ldots,p\cdot\frac{\lambda_n}{\alpha_n}\right\}

is CZ,3C_{\mathbb{Z},3}-realizable.

This criterion would remove the dependence on the particular sequence of realizability rules used to establish CQ,3C_{\mathbb{Q},3}-realizability, reducing the question to an integer-scaled multiset whose scaling factor depends only on the denominators of the entries. The supplied text does not establish the equivalence, so its resolution is unclear.

Sources & referencesView supporting material

Primary source

Alberto Borobia and Roberto Canogar, “A simplification of the C-realizability criterion for the Nonnegative Inverse Eigenvalue Problem for integers”, arXiv:2401.07857 (2024).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.