A new approach that bounds the largest eigenvalue of 3 × 3 correlation matrices is presented. Optimal bounds by given determinant and trace of the squared correlation matrix are derived and shown to ...

BLUF: This repo demonstrates the reduction pattern in runnable form under explicit bounds. It does not solve the Halting Problem, and it is not a safety certification tool for real autonomous systems.

The natural questions are that whether the above results can be used to estimate the perturbation bounds for singular values of a block tridiagonal matrix, and how to get the eigenvalues perturbation ...

Abstract: The entropy theorem (also known as the Shannon-McMillan-Breiman theory or the asymptotic equipartition theorem) asserts that, for a stationary ergodic finite alphabet process, the ...

Abstract: We consider the problem of multiple unicast in wireline networks. Edge-cut based bounds which are simple bounds on the rates achievable by routing flow are not in general, fundamental, i.e.

We give a Lieb-Robinson bound for the group velocity of a large class of discrete quantum systems which can be used to prove that a non-vanishing spectral gap implies exponential clustering in the ...

This paper obtains bounds on the error of the normal approximation to the cumulative distribution function of sums of independent random variables. The bounds are ...

Gonzalo Mena and Jonathan Niles-Weed. This directory contains all data and code (python 2) used to generate Figure 1 and Figure 2 of our paper.