107 problems
- 0 votes0 replies0 views
Conjecture on anisotropy-aware coarsening for multiscale linear solvers
The discretized problem is posed on a grid whose cells may have a large aspect ratio, and the permeability is represented by a tensor with diagonal and off-diagonal components. The…
- 0 votes0 replies0 views
Vector-spread majorization conjecture for Ritz value errors
Let and be subspaces of a Hilbert space with , and let be Hermitian. For a vector…
- 0 votes0 replies1 view
The conjectured polynomial-exponential tail bound for Gaussian LU growth with partial pivoting
Let be an matrix with , and let be a Gaussian perturbation of with variance . Let be t…
- 0 votes0 replies1 view
Generic multiplicity-two conjecture for nearest defective matrices
Generic multiplicity-two conjecture. Under generic assumptions, the algebraic multiplicity of the defective eigenvalue in the nearest defective matrix is exactly . Consequently,…
- 0 votes0 replies0 views
Sharp growth-factor bound for accretive-dissipative matrices
Let , where and are the real and imaginary parts of an accretive-dissipative matrix, and suppose that … Here denotes the condition number an…
- 0 votes0 replies0 views
Higham's conjecture on the growth factor of Higham matrices
Let be a complex symmetric matrix, where are real symmetric positive definite. Such a matrix is called a Higham matrix. Let denot…
- 0 votes0 replies1 view
Complex-field analogue of the singular-vector-space result
Let be a field, and consider the result proved in the source for concerning a method based solely on singular vector spaces. Complex-field anal…
- 0 votes0 replies1 view
Conjecture on the maximum growth factor for 5 × 5 matrices under complete pivoting
Maximum growth-factor conjecture. The largest possible growth factor for a real matrix under complete pivoting is exactly the lower bound proved in this paper, namely…
- 0 votes0 replies0 views
Forsythe's conjecture on oscillatory behavior of restarted conjugate gradients
Forsythe's conjecture. Oscillatory limiting behavior occurs for every fixed restart length .
- 0 votes0 replies1 view
Asymptotic forward-error contraction bound for GADI
Let be the forward-error iteration matrix, let denote the normwise error-reduction factor at iteration , and let and denot…
- 0 votes0 replies0 views
SM-IR stability conjecture for numerically nonsingular systems
Let be a matrix, let and be vectors, and consider the rank-one perturbed linear system . A system is numerically nonsingular when it is sufficiently nonsin…
- 0 votes0 replies0 views
Higham's Sherman–Morrison backward-error conjecture
Let be a nonsingular matrix and let and be vectors such that is nonsingular. Let denote the unit roundoff, and let…
- 0 votes0 replies1 view
SM-IR backward-stability conjecture under mild conditioning
Let be a matrix, let and be vectors, and let . Let denote the unit roundoff, and let denote the matrix condition number. S…
- 0 votes0 replies0 views
Sherman–Morrison iterative-refinement stability conjecture under moderate conditioning
Let be a matrix, let and be vectors, and let . Let denote the unit roundoff, and let denote the matrix 2-norm condition…
- 0 votes0 replies0 views
Steinerberger's convergence-rate conjecture for uniformly random pivoting
Let denote the matrix produced after steps of the uniformly random pivoting procedure, and let be the initial matrix. Write for the condition number of…
- 0 votes0 replies0 views
The seven-multiplication maximum-degree conjecture
Let be the polynomial set associated with degree- approximation conditions, and let denote the closure of the polynomial set obtainable with sev…
- 0 votes0 replies1 view
The six-multiplication maximum-degree conjecture
Let be the polynomial set associated with degree- approximation conditions, and let denote the closure of the polynomial set obtainable with six…
- 0 votes0 replies1 view
The maximum-degree conjecture for five matrix-matrix multiplications
Let be the polynomial set associated with degree- approximation conditions, and let denote the closure of the polynomial set obtainable with fiv…
- 0 votes0 replies0 views
The dimension conjecture for unreduced evaluation schemes with multiplications
Let and let denote the polynomial set associated with evaluation schemes using matrix-matrix multiplications. Numerical computations suggest that generic…
- 0 votes0 replies1 view
KPS convergence conjecture for scalar filtered Rayleigh-Ritz
Let be the transfer operator in the scalar case, with leading eigenvalue and Ritz approximation after iterations. Let be the initia…
- 0 votes0 replies0 views
Stability condition for two-stage randomized-BCGS pre-processing
Randomized-BCGS stability conjecture. The overall stability of the two-stage algorithm with randomized block classical Gram–Schmidt pre-processing is ensured when
- 0 votes0 replies0 views
Worst-case root-convergence factor conjecture for GMRES(1)
Worst-case root-convergence factor conjecture. The maximum root-convergence factor of rAA(1) satisfies
- 0 votes0 replies0 views
Negative-definiteness conjecture for the hybrid pressure formulation matrix
The hybrid pressure formulation produces a global problem matrix obtained from the discretization of viscous laminar incompressible flows. Negative-definiteness conjecture. The mat…
- 0 votes0 replies0 views
Kaufman's conjecture on the full QR factorisation derivative
Let be a full QR factorisation, with orthogonal and the corresponding block structure, and write the der…
- 0 votes0 replies0 views
Conjecture on logarithmic precision for Hermitian diagonalization
Let be the matrix dimension and let denote the target accuracy for the Hermitian eigenvalue algorithm. Logarithmic-precision conjecture. …