The positive-definite completion problem

Kartik Waghmare,Victor Panaretos

DOI: https://doi.org/10.1090/tran/9194

IF: 1.3529

2024-08-24

Transactions of the American Mathematical Society

Abstract:Kartik G. Waghmare and Victor M. Panaretos Trans. Amer. Math. Soc. 377 (), 6549-6594. , references and article information

mathematics

What problem does this paper attempt to address?

The Positive-Definite Completion Problem

Kartik G. Waghmare,Victor M. Panaretos

2023-09-19

Abstract:We study the positive-definite completion problem for kernels on a variety of domains and prove results concerning the existence, uniqueness, and characterization of solutions. In particular, we study a special solution called the canonical completion which is the reproducing kernel analogue of the determinant-maximizing completion known to exist for matrices. We establish several results concerning its existence and uniqueness, which include algebraic and variational characterizations. Notably, we prove the existence of a canonical completion for domains which are equivalent to the band containing the diagonal. This corresponds to the existence of a canonical extension in the context of the classical extension problem of positive-definite functions, which can be understood as the solution to an abstract Cauchy problem in a certain reproducing kernel Hilbert space.

Functional Analysis,Probability,Statistics Theory
The CP-Matrix Completion Problem.

Jinyan Fan,Anwa Zhou

DOI: https://doi.org/10.1137/130919490

IF: 1.908

2016-01-01

SIAM Journal on Matrix Analysis and Applications

Abstract:A symmetric matrix C is completely positive (CP) if there exists an entrywise nonnegative matrix B such that C = BBT. The CP-completion problem is to study whether we can assign values to the missing entries of a partial matrix (i.e., a matrix having unknown entries) such that the completed matrix is completely positive. We propose a semidefinite algorithm for solving general CP-completion problems and study its properties. When all of the diagonal entries are given, the algorithm can give a certificate if a partial matrix is not CP-completable, and it almost always gives a CP-completion if it is CP-completable. When diagonal entries are partially given, similar properties hold. Computational experiments are also presented to show how CP-completion problems can be solved.
Positive positive-definite functions and measures on locally compact abelian groups

Alexandr Borisov

DOI: https://doi.org/10.48550/arXiv.math/9906126

1999-06-19

Abstract:The author was recently able to provide a cohomological interpretation of Tate's Riemann-Roch formula for number fields using some new harmonic analysis objects, ghost-spaces. When trying to investigate these objects in general, we realized the importance of functions and measures on locally compact abelian groups that are both positive and positive-definite at the same time. It looks like this class of functions and measures was not systematically studied before. The goal of this paper is to partially fill in this gap. We answer some of the natural questions involving these functions and measures, especially those that satisfy some extra integrability conditions. We also study some operations and constructions involving these functions and measures. There are several very interesting open questions, that we are only able to point out at this moment. In particular, the structure of the cone of such functions is not clear even when the group is just $\R.$

Functional Analysis
There are many more positive maps than completely positive maps

Igor Klep,Scott McCullough,Klemen Šivic,Aljaž Zalar

DOI: https://doi.org/10.1093/imrn/rnx203

2017-08-03

Abstract:A linear map between matrix spaces is positive if it maps positive semidefinite matrices to positive semidefinite ones, and is called completely positive if all its ampliations are positive. In this article quantitative bounds on the fraction of positive maps that are completely positive are proved. A main tool are real algebraic geometry techniques developed by Blekherman to study the gap between positive polynomials and sums of squares. Finally, an algorithm to produce positive maps which are not completely positive is given.

Functional Analysis,Optimization and Control,Quantum Physics
Positive-Definite Tensors to Nonlinear Complementarity Problems

Maolin Che,Liqun Qi,Yimin Wei

DOI: https://doi.org/10.1007/s10957-015-0773-1

2015-01-01

Journal of Optimization Theory and Applications

Abstract:The main purpose of this paper was to investigate some kinds of nonlinear complementarity problems (NCP). For the structured tensors, such as symmetric positive-definite tensors and copositive tensors, we derive the existence theorems on a solution of these kinds of nonlinear complementarity problems. We prove that a unique solution of the NCP exists under the condition of diagonalizable tensors.
Remarks on positive definite functions on a group

Swapan Jana,Sourav Pal,Nitin Tomar

2024-02-09

Abstract:We study the operator-valued positive definite functions on a group using positive block matrices. We give an alternative proof to Brehmer positivity for doubly commuting contractions. We classify all commuting unitary representations over a finite group. We show by examples that the power of a positive-definite function may not be positive definite and also the power of a unitary representation may not be a unitary representation. We also characterize all unitary representations whose powers are also unitary representations.

Functional Analysis,Operator Algebras
Some Properties for the Euclidean Distance Matrix and Positive Semidefinite Matrix Completion Problems

Hong-Xuan Huang,Zhi-An Liang,Panos M. Pardalos

DOI: https://doi.org/10.1023/A:1021336413386

2003-01-01

Journal of Global Optimization

Abstract:The Euclidean distance matrix (EDM) completion problem and the positive semidefinite (PSD) matrix completion problem are considered in this paper. Approaches to determine the location of a point in a linear manifold are studied, which are based on a referential coordinate set and a distance vector whose components indicate the distances from the point to other points in the set. For a given referential coordinate set and a corresponding distance vector, sufficient and necessary conditions are presented for the existence of such a point that the distance vector can be realized. The location of the point (if it exists) given by the approaches in a linear manifold is independent of the coordinate system, and is only related to the referential coordinate set and the corresponding distance vector. An interesting phenomenon about the complexity of the EDM completion problem is described. Some properties about the uniqueness and the rigidity of the conformation for solutions to the EDM and PSD completion problems are presented.
Practical construction of positive maps which are not completely positive

Abhishek Bhardwaj

DOI: https://doi.org/10.48550/arXiv.2001.01181

2020-01-05

Abstract:This article introduces PnCP, a MATLAB toolbox for constructing positive maps which are not completely positive. We survey optimization and sum of squares relaxation techniques to find the most numerically efficient methods for this construction. We also show how this package can be applied to the problem of classifying entanglement in quantum states.

Optimization and Control,Quantum Physics
Positive P-matrices Completion Problem with Zeros in the Inverse Completion

MOU Gufang,HUANG Tingzhu

DOI: https://doi.org/10.11845/sxjz.2010.39.02.0151

IF: 1.675

2010-01-01

Advances in Mathematics

Abstract:In this paper, based on the completion problem of partial P-matrix for 1-chordal graph, we obtain the partial positive P-matrix completions of k-chordal graphs and k-chordal block graphs under some conditions and solve partial positive P-matrix completion problems with zeros in the inverse completion for k-chordal graphs and k-chordal block graphs (k≥2).
A Canonical Form for Positive Definite Matrices

Mathieu Dutour Sikirić,Anna Haensch,John Voight,Wessel P.J. van Woerden

DOI: https://doi.org/10.48550/arXiv.2004.14022

2020-11-16

Abstract:We exhibit an explicit, deterministic algorithm for finding a canonical form for a positive definite matrix under unimodular integral transformations. We use characteristic sets of short vectors and partition-backtracking graph software. The algorithm runs in a number of arithmetic operations that is exponential in the dimension $n$, but it is practical and more efficient than canonical forms based on Minkowski reduction.

Number Theory,Group Theory
Positive definite kernels and boundary spaces

Palle Jorgensen,Feng Tian

DOI: https://doi.org/10.48550/arXiv.1611.04185

2016-11-14

Abstract:We consider a kernel based harmonic analysis of "boundary," and boundary representations. Our setting is general: certain classes of positive definite kernels. Our theorems extend (and are motivated by) results and notions from classical harmonic analysis on the disk. Our positive definite kernels include those defined on infinite discrete sets, for example sets of vertices in electrical networks, or discrete sets which arise from sampling operations performed on positive definite kernels in a continuous setting. Below we give a summary of main conclusions in the paper: Starting with a given positive definite kernel $K$ we make precise generalized boundaries for $K$. They are measure theoretic "boundaries." Using the theory of Gaussian processes, we show that there is always such a generalized boundary for any positive definite kernel.

Functional Analysis,Mathematical Physics
Characterization of Backward Reachable Set and Positive Invariant Set in Polytopes

Min Wu,Gangfeng Yan,Zhiyun Lin,Meiqin Liu

DOI: https://doi.org/10.1109/acc.2009.5159817

2009-01-01

Abstract:The paper studies reachability problems of autonomous affine systems in polytopes. Our goal is to find in a given polytope both the largest positive invariant set and backward reachable sets (or attraction domains) of facets. Special attention is paid to the stable invariant affine subspace. After presenting several useful properties of these sets, a partition procedure is given so that the polytope is divided into a positive invariant set and several backward reachable sets.
Positive definite Hankel matrix completions and Hamburger moment completions

Hayoung Choi,Farhad Jafari

DOI: https://doi.org/10.1016/j.laa.2015.10.008

IF: 1.307

2016-01-01

Linear Algebra and its Applications

Abstract:In this paper we give solutions to Hamburger moment problems with missing entries. The problem of completing partial positive sequences is considered. The main result is a characterization of positive definite completable patterns, namely patterns that guarantee the existence of Hamburger moment completion of a partial positive definite sequence. Moreover, several patterns which are not positive definite completable are given.

mathematics, applied
The Sign Symmetric $P_{0,1}^+$-Matrix Completion Problem

Victor Tomno,Linety Muhati

2024-05-30

Abstract:We study sign symmetric $P_{0,1}^+$-matrix completion problem. It is shown that any non-asymmetric incomplete digraph lacks sign symmetric $P_{0,1}^+$-completion, digraphs of order at most four are completely classified and finally comparisons between sign symmetric $P_{0,1}^+$-completion and other matrix completions was given.

Combinatorics
A minimal completion theorem and almost everywhere equivalence for Completely Positive maps

B. V. Rajarama Bhat,Arghya Chongdar

2024-05-27

Abstract:problem of completing a linear map on C*-algebras to a completely positive map is analyzed. It is shown that whenever such a completion is feasible there exists a unique minimal completion. This theorem is used to show that under some very general conditions a completely positive map almost everywhere equivalent to a quasi-pure map is actually equal to that map.

Operator Algebras,Quantum Physics
Positive Definiteness of a Class of Analytic Functions

Miao Yuan,Li Chunwen,Zhang Ping

2012-01-01

Abstract:Some singular characteristics of analytic functions with positive definiteness are considered. To avoid these singular cases, the finite truncate condition is proposed. When the finite truncate condition is satisfied, the positive definiteness of an analytic function can be judged by the partial sum of its Taylor series, i. e., by a polynomial. This discussion will be useful in the construction of...
Necessary and Sufficient Conditions of Complex Positive Definite Matrices

Huang Yi,Huang Tingzhu

2008-01-01

Abstract:In this paper,several necessary and sufficient conditions of com plex positive definite matrices are established.
Real Matrices with Positive Determinant are Homotopic to the Identity.

Amit Bhaya

DOI: https://doi.org/10.1137/S0036144596316236

IF: 10.2

1998-01-01

SIAM Review

Abstract:The statement that is the title of this note is given a novel proof using the ideas of controllability and eigenvalue assignment from linear system theory.
Propagation of regularity and positive definiteness: a constructive approach

Jorge Buescu,António Paixão,Claudemir Oliveira

DOI: https://doi.org/10.4171/ZAA/1599

2018-02-20

Abstract:We show that, for positive definite kernels, if specific forms of regularity (continuity, Sn-differentiability or holomorphy) hold locally on the diagonal, then they must hold globally on the whole domain of positive-definiteness. This local-to-global propagation of regularity is constructively shown to be a consequence of the algebraic structure induced by the non-negativity of the associated bilinear forms up to order 5. Consequences of these results for topological groups and for positive definite and exponentially convex functions are explored.

Complex Variables,Functional Analysis
Strict positive definiteness on a product of compact two-point homogeneous spaces

V. S. Barbosa,V. A. Menegatto

DOI: https://doi.org/10.48550/arXiv.1605.07071

2016-05-23

Functional Analysis

Abstract:We present an explicit characterization for the real, continuous, isotropic and strictly positive definite kernels on a product of compact two-point homogeneous spaces, in the cases in which at least one of the spaces is a sphere of dimension greater than 1 and the other is not a circle. The result complements similar characterizations previously obtained for products of high dimensional spheres.

The positive-definite completion problem

The Positive-Definite Completion Problem

The CP-Matrix Completion Problem.

Positive positive-definite functions and measures on locally compact abelian groups

There are many more positive maps than completely positive maps

Positive-Definite Tensors to Nonlinear Complementarity Problems

Remarks on positive definite functions on a group

Some Properties for the Euclidean Distance Matrix and Positive Semidefinite Matrix Completion Problems

Practical construction of positive maps which are not completely positive

Positive P-matrices Completion Problem with Zeros in the Inverse Completion

A Canonical Form for Positive Definite Matrices

Positive definite kernels and boundary spaces

Characterization of Backward Reachable Set and Positive Invariant Set in Polytopes

Positive definite Hankel matrix completions and Hamburger moment completions

The Sign Symmetric $P_{0,1}^+$-Matrix Completion Problem

A minimal completion theorem and almost everywhere equivalence for Completely Positive maps

Positive Definiteness of a Class of Analytic Functions

Necessary and Sufficient Conditions of Complex Positive Definite Matrices

Real Matrices with Positive Determinant are Homotopic to the Identity.

Propagation of regularity and positive definiteness: a constructive approach

Strict positive definiteness on a product of compact two-point homogeneous spaces