The integer-scaling criterion for C-realizability

About 2 years old · traced to

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.

References

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.