DeepAI AI Chat
Log In Sign Up

On Eigenvalue Gaps of Integer Matrices

12/14/2022
by   Aaron Abrams, et al.
0

Given an n× n matrix with integer entries in the range [-h,h], how close can two of its distinct eigenvalues be? The best previously known examples have a minimum gap of h^-O(n). Here we give an explicit construction of matrices with entries in [0,h] with two eigenvalues separated by at most h^-n^2/16+o(n^2). Up to a constant in the exponent, this agrees with the known lower bound of Ω((2√(n))^-n^2h^-n^2) <cit.>. Bounds on the minimum gap are relevant to the worst case analysis of algorithms for diagonalization and computing canonical forms of integer matrices (e.g. <cit.>). In addition to our explicit construction, we show there are many matrices with a slightly larger gap of roughly h^-n^2/32. We also construct 0-1 matrices which have two eigenvalues separated by at most 2^-n^2/64+o(n^2).

READ FULL TEXT

page 1

page 2

page 3

page 4

09/27/2019

Edge Expansion and Spectral Gap of Nonnegative Matrices

The classic graphical Cheeger inequalities state that if M is an n× n sy...
05/13/2020

Testing Positive Semi-Definiteness via Random Submatrices

We study the problem of testing whether a matrix A ∈R^n × n with bounded...
03/09/2021

Improved upper bounds for the rigidity of Kronecker products

The rigidity of a matrix A for target rank r is the minimum number of en...
11/18/2021

A fast algorithm for computing the Smith normal form with multipliers for a nonsingular integer matrix

A Las Vegas randomized algorithm is given to compute the Smith multiplie...
05/24/2023

On the eigenvalues of Toeplitz matrices with two off-diagonals

Consider the Toeplitz matrix T_n(f) generated by the symbol f(θ)=f̂_r e^...
11/04/2021

The discrepancy of unsatisfiable matrices and a lower bound for the Komlós conjecture constant

We construct simple, explicit matrices with columns having unit ℓ^2 norm...
03/12/2022

Computing eigenvalues of semi-infinite quasi-Toeplitz matrices

A quasi-Toeplitz (QT) matrix is a semi-infinite matrix of the form A=T(a...