Let $A \in \mathbb{R}^{d \times d}$ be an invertible real matrix and $A'$ the matrix obtained from $A$ by setting all diagonal elements to $0$, namely $$A'_{ij} = \begin{cases} A_{ij} & \text{if } i \neq j \\ 0 & \text{otherwise.} \end{cases}$$ I can prove that $\lVert A' \rVert_2 \leq \min(2, \sqrt{d})\lVert A \rVert_2$ where $\lVert \cdot \rVert_2$ is the $2$-norm (operator norm), but I don't think the bound is tight. I ran $20$ million samples with entries of $A$ generated both uniformly across integers from $-10$ to $10$ and from a standard normal distribution, and got $$\lVert A' \rVert_2 \leq \begin{cases} \lVert A \rVert_2 & \text{for } d=2 \\ \approx 1.29 \lVert A \rVert_2 & \text{for } d=3 \\ \approx 1.339 \lVert A \rVert_2 & \text{for } d=4 \\ \approx 1.346 \lVert A \rVert_2 & \text{for } d=5 \\ \approx 1.28 \lVert A \rVert_2 & \text{for } d=6. \end{cases} $$ Any ideas on what the lowest upper bound would be as a function of $d$?
2026-03-25 07:47:21.1774424841
Lowest upper bound on matrix norm
434 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
There are 1 best solutions below
Related Questions in MATRICES
- How to prove the following equality with matrix norm?
- I don't understand this $\left(\left[T\right]^B_C\right)^{-1}=\left[T^{-1}\right]^C_B$
- Powers of a simple matrix and Catalan numbers
- Gradient of Cost Function To Find Matrix Factorization
- Particular commutator matrix is strictly lower triangular, or at least annihilates last base vector
- Inverse of a triangular-by-block $3 \times 3$ matrix
- Form square matrix out of a non square matrix to calculate determinant
- Extending a linear action to monomials of higher degree
- Eiegenspectrum on subtracting a diagonal matrix
- For a $G$ a finite subgroup of $\mathbb{GL}_2(\mathbb{R})$ of rank $3$, show that $f^2 = \textrm{Id}$ for all $f \in G$
Related Questions in UPPER-LOWER-BOUNDS
- Bound for difference between arithmetic and geometric mean
- Show that $\frac{1}{k}-\ln\left(\frac{k+1}{k}\right)$ is bounded by $\frac{1}{k^2}$
- Bounding Probability with Large Variance
- Connectivity of random graphs - proof $\frac{logn}{n}$ is threshold
- Natural log integral inequality
- Spectrum of a matrix after applying an element-wise function (e.g. elementwise log)
- Majorization form for a given set of integers in some interval.
- Proving $(λ^d + (1-λ^d)e^{(d-1)s})^{\frac{1}{1-d}}\leq\sum\limits_{n=0}^\infty\frac1{n!}λ^{\frac{(d^n-1)d}{d-1}+n}s^ne^{-λs}$
- Upper bound for distribution function of the standard normal distribution
- Show $0 < f'(x) \leqslant \frac{1}{2}$
Related Questions in MATRIX-NORMS
- Inequality regarding norm of a positive definite matrix
- Operator norm calculation for simple matrix
- Equivalence of computing trace norm of matrix
- Spectral norm minimization
- Frobenius and operator norms of rank 1 matrices
- Prove the induced matrix norm $\|A\|_\infty = \max_i \| a^*_i \|_1$
- $l_2 \rightarrow l_\infty$ induced matrix norm
- Is it possible to upper bound this family of matrices in operator norm?
- Upper bound this family of matrices in induced $2$-norm
- Operator norm (induced $2$-norm) of a Kronecker tensor
Related Questions in SPECTRAL-NORM
- Operator norm calculation for simple matrix
- Is the spectral norm of the Jacobian of an $M$-Lipschitz function bounded by $M$?
- Does Lipschitz-continuous gradient imply that the Hessian is bounded in spectral norm by the same Lipschitz constant?
- Spectral norm minimization
- Gradient of the spectral norm of a matrix
- Is it possible to upper bound this family of matrices in operator norm?
- The spectral norm of real matrices with positive entries is increasing in its entries?
- Computing the spectral norm of a projection matrix
- Fastest converging algorithm for computing spectral radius of symmetric matrix
- $2$-norm of a Vandermonde matrix
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Find $E[XY|Y+Z=1 ]$
- Refuting the Anti-Cantor Cranks
- What are imaginary numbers?
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- How do we know that the number $1$ is not equal to the number $-1$?
- What are the Implications of having VΩ as a model for a theory?
- Defining a Galois Field based on primitive element versus polynomial?
- Can't find the relationship between two columns of numbers. Please Help
- Is computer science a branch of mathematics?
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- Generator of inertia group in function field extension
Popular # Hahtags
second-order-logic
numerical-methods
puzzle
logic
probability
number-theory
winding-number
real-analysis
integration
calculus
complex-analysis
sequences-and-series
proof-writing
set-theory
functions
homotopy-theory
elementary-number-theory
ordinary-differential-equations
circles
derivatives
game-theory
definite-integrals
elementary-set-theory
limits
multivariable-calculus
geometry
algebraic-number-theory
proof-verification
partial-derivative
algebra-precalculus
Popular Questions
- What is the integral of 1/x?
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- Is a matrix multiplied with its transpose something special?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- How to tell if a set of vectors spans a space?
- Calculus question taking derivative to find horizontal tangent line
- How to determine if a function is one-to-one?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- Is this Batman equation for real?
- How to find perpendicular vector to another vector?
- How to find mean and median from histogram
- How many sides does a circle have?
We consider the results for $d=3,4,5$. The bounds $k_d$ are (at least, I think so)
$k_3=4/3,k_4=3/2,k_5=1.6$ and are reached for
The matrices $A_d$ are symmetric and $spectrum(A_d)=\{1,\cdots,1,-1\}$. Moreover, the entries of $A_d$ are fractions in $]-1,1[$ with denominators $d$.
I did not look for a proof, but I did your job. That is important
It's not the value of the bound, but the form of the matrices that perform the best during the random tests.
To have a minimum of intuition (or experience); after random tests, we feel that the matrices are not very far from being symmetrical and not very far from having eigenvalues with same modulus. Then we randomly test these special matrices and we approach the correct bound much faster...
EDIT. Using the above results, we can formulate
$\textbf{Conjecture}$. Let $U$ be the $n\times n$ matrix of ones. For each $n$, the considered bound is reached for $A=I_n-\dfrac{2}{n}U$, that is $B=\dfrac{2}{n}(I_n-U)$.
It is easy to see that $||A||_2=1,||B||_2=2\dfrac{n-1}{n}$.