English
Related papers

Related papers: Two nondeterministic positive definiteness tests f…

200 papers

The positive definiteness of real quadratic forms with convolution structures plays an important role in stability analysis for time-stepping schemes for nonlocal operators.In this work, we present a novel analysis tool to handle discrete…

Numerical Analysis · Mathematics 2023-11-23 Hong-lin Liao , Tao Tang , Tao Zhou

In earlier work we have studied a method for discretization in time of a parabolic problem which consists in representing the exact solution as an integral in the complex plane and then applying a quadrature formula to this integral. In…

Numerical Analysis · Mathematics 2016-02-02 William McLean , Vidar Thomée

This paper proposes an efficient algorithm for testing copositivity of homogeneous polynomials over the positive semidefinite cone. The algorithm is based on a novel matrix optimization reformulation and requires solving a hierarchy of…

Optimization and Control · Mathematics 2026-01-13 Lei Huang , Lingling Xie

We provide another look at the statistical calibration problem in computer models. This viewpoint is inspired by two overarching practical considerations of computer models: (i) many computer models are inadequate for perfectly modeling…

Methodology · Statistics 2018-09-26 Xiaowu Dai , Peter Chien

Let A, B, C, D be given finite sets of pairs of n-by-n complex matrices. We describe an algorithm to determine, with finitely many computations, whether there is a single unitary matrix U such that each pair of matrices in A is unitarily…

Representation Theory · Mathematics 2014-03-12 Tatiana G. Gerasimova , Roger A. Horn , Vladimir V. Sergeichuk

The algorithms in the current sequential numerical linear algebra libraries (e.g. LAPACK) do not parallelize well on multicore architectures. A new family of algorithms, the tile algorithms, has recently been introduced. Previous research…

Mathematical Software · Computer Science 2010-02-23 Emmanuel Agullo , Henricus Bouwmeester , Jack Dongarra , Jakub Kurzak , Julien Langou , Lee Rosenberg

The low-rank matrix completion problem asks whether a given real matrix with missing values can be completed so that the resulting matrix has low rank or is close to a low-rank matrix. The completed matrix is often required to satisfy…

Computational Complexity · Computer Science 2025-06-24 Dror Chawin , Ishay Haviv

We consider the characterizations of positive definite as well as nonnegative definite quadratic forms in terms of the principal minors of the associated symmetric matrix. We briefly review some of the known proofs, including a classical…

History and Overview · Mathematics 2008-08-17 Sudhir R. Ghorpade , Balmohan V. Limaye

Given an $n$-vertex $m$-edge graph $G$ with non negative edge-weights, the girth of $G$ is the weight of a shortest cycle in $G$. For any graph $G$ with polynomially bounded integer weights, we present a deterministic algorithm that…

Data Structures and Algorithms · Computer Science 2018-10-25 Guillaume Ducoffe

This study considers quadrature-based algorithms to compute $A^\alpha \boldsymbol{b}$, the action of a real power of a Hermitian positive-definite matrix $A$ on a vector $ \boldsymbol{b}$. In these algorithms, the computation of an integral…

Numerical Analysis · Mathematics 2026-04-07 Motohiro Otsuka , Fuminori Tatsuoka , Tomohiro Sogabe , Kota Takeda , Shao-Liang Zhang

The work of Wachter and Biegler suggests that infeasible-start interior point methods (IPMs) developed for linear programming cannot be adapted to nonlinear optimization without significant modification, i.e., using a two-phase or penalty…

Optimization and Control · Mathematics 2018-01-12 Oliver Hinder , Yinyu Ye

The Nystr\"om method is a popular choice for finding a low-rank approximation to a symmetric positive semi-definite matrix. The method can fail when applied to symmetric indefinite matrices, for which the error can be unboundedly large. In…

Numerical Analysis · Mathematics 2023-10-10 Taejun Park , Yuji Nakatsukasa

The proximal point algorithm is a widely used tool for solving a variety of convex optimization problems such as finding zeros of maximally monotone operators, fixed points of nonexpansive mappings, as well as minimizing convex functions.…

Optimization and Control · Mathematics 2018-04-19 Laurentiu Leustean , Adriana Nicolae , Andrei Sipos

A positive definiteness criterion and, under the additional conditions, a nonnegativity criterion for a self-adjoint continuous operator matrix, acting in product of an arbitrary number of real separable Hilbert spaces, are obtained. As…

Functional Analysis · Mathematics 2010-09-02 I. V. Orlov , E. V. Bozhonok

This paper provides an algorithmic framework for obtaining fast distributed algorithms for a highly-dynamic setting, in which *arbitrarily many* edge changes may occur in each round. Our algorithm significantly improves upon prior work in…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-10-13 Keren Censor-Hillel , Neta Dafni , Victor I. Kolobov , Ami Paz , Gregory Schwartzman

Positive semidefinite Hermitian matrices that are not fully specified can be completed provided their underlying graph is chordal. If the matrix is positive definite the completion can be uniquely characterized as the matrix that maximizes…

Rings and Algebras · Mathematics 2021-12-08 Olaf Dreyer

We study online bipartite edge coloring, with nodes on one side of the graph revealed sequentially. The trivial greedy algorithm is $(2-o(1))$-competitive, which is optimal for graphs of low maximum degree, $\Delta=O(\log n)$ [BNMN IPL'92].…

Data Structures and Algorithms · Computer Science 2024-10-28 Joakim Blikstad , Ola Svensson , Radu Vintan , David Wajc

In an earlier paper, we showed that a large class of fast recursive matrix multiplication algorithms is stable in a normwise sense, and that in fact if multiplication of $n$-by-$n$ matrices can be done by any algorithm in $O(n^{\omega +…

Numerical Analysis · Mathematics 2011-11-09 James Demmel , Ioana Dumitriu , Olga Holtz

We study the problem of maximizing a monotone submodular function subject to a matroid constraint, and present for it a deterministic non-oblivious local search algorithm that has an approximation guarantee of $1 - 1/e - \varepsilon$ (for…

Data Structures and Algorithms · Computer Science 2025-09-18 Niv Buchbinder , Moran Feldman

The fastest known algorithms for dealing with structured matrices, in the sense of the displacement rank measure, are randomized. For handling classical displacement structures, they achieve the complexity bounds…

Symbolic Computation · Computer Science 2026-03-04 Sara Khichane , Vincent Neiger