Pith. sign in

REVIEW 2 cited by

Scalable Approximate Optimal Diagonal Preconditioning

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2312.15594 v2 pith:MWMD34XS submitted 2023-12-25 math.NA cs.NAmath.OC

classification math.NAcs.NAmath.OC
keywords diagonaloptimalpracticalapproachapproximatebeenblack-boxdimension
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
abstract

We consider the problem of finding the optimal diagonal preconditioner for a positive definite matrix. Although this problem has been shown to be solvable and various methods have been proposed, none of the existing approaches are scalable to matrices of large dimension, or when access is limited to black-box matrix-vector products, thereby significantly limiting their practical application. In view of these challenges, we propose practical algorithms applicable to finding approximate optimal diagonal preconditioners of large sparse systems. Our approach is based on the idea of dimension reduction, and combines techniques from semi-definite programming (SDP), random projection, semi-infinite programming (SIP), and column generation. Numerical experiments demonstrate that our method scales to sparse matrices of size greater than $10^7$. Notably, our approach is efficient and implementable using only black-box matrix-vector product operations, making it highly practical for a wide variety of applications.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification

    cs.LG 2025-06 conditional novelty 7.0 of 10

    Semidefinite relaxation for deep ReLU verification suffers from 'interior-point vanishing' as depth increases, and removing layer-wise bound constraints mitigates it.

  2. Gradient Methods with Online Scaling Part I. Theoretical Foundations

    math.OC 2025-05 conditional novelty 7.0 of 10

    Online scaled gradient methods adapt matrix step sizes via online learning, match the best fixed step size asymptotically, and achieve non-asymptotic superlinear convergence on smooth strongly convex problems.

Pith tools