• No results found

In the proof of Theorem 3.4 in [1], the authors missed the coefficient λ before kPΩ⊥Hk1

N/A
N/A
Protected

Academic year: 2021

Share "In the proof of Theorem 3.4 in [1], the authors missed the coefficient λ before kPΩ⊥Hk1 "

Copied!
2
0
0

Bezig met laden.... (Bekijk nu de volledige tekst)

Hele tekst

(1)

Inverse Problems and Imaging doi:10.3934/ipi.2013.7.305 Volume 7, No. 1, 2013, 305–306

A SHORT NOTE ON STRONGLY CONVEX PROGRAMMING FOR EXACT MATRIX COMPLETION AND ROBUST

PRINCIPAL COMPONENT ANALYSIS

Qingshan You and Qun Wan

School of Electronic Engineering

University of Electronic Science and Technology of China Chengdu, Sichuan, 611731, China

Yipeng Liu

Department of Electrical Engineering, ESAT-SCD / IBBT - KU Leuven Future Health Department, KU Leuven Kasteelpark Arenberg 10, box 2446, 3001 Heverlee, Belgium

(Communicated by Hao-Min Zhou)

Abstract. In paper “Strongly Convex Programming for Exact Matrix Com- pletion and Robust Principal Component Analysis”, an explicit lower bound of τ is strongly based on Theorem 3.4. However, a coefficient is missing in the proof of Theorem 3.4, which leads to improper result. In this paper, we correct this error and provide the right bound of τ .

1. An corrected lower bound of τ . In the proof of Theorem 3.4 in [1], the authors missed the coefficient λ before kPHk1 . By taking back the missing λ, the corrected condition in Theorem 3.4 on the parameters α, β should be α + β ≤ 1, under which the correct bound τ in Theorem 3.5 becomes

τ ≥ max

 γ

(β −12)λ, δ

(α −14)λ, 4(γ + δ) λ

 (1)

To obtain this, the corresponding adjustment for τ in the proof of Theorem 3.5 is as follows. According to the formula (40) (41) and (42) in the proof of Theorem 3.5, τ obeys

λ 2 +γ

τ ≤ βλ, and λ 4 +δ

τ ≤ αλ which gives out τ ≥ max γ

(β−12, (α−δ1 4



. Moreover, based on the condition α + β ≤ 1, we obtain λ2+γτ+λ4+τδ ≤ βλ + αλ ≤ λ from which it holds τ ≥ 4(γ+δ)λ . In order to simplify the formula (1), we suppose α = 3/8 and β = 5/8, which satisfy the conditions above. Therefore

τ ≥ max 8kPL0k

λ , 8kP(L0− S0)kF λ

 (2)

2010 Mathematics Subject Classification. Primary: 15B52, 90C25; Secondary: 60B20.

Key words and phrases. Low-complexity structure, strongly convex programming, principal component pursuit.

305 2013 American Institute of Mathematical Sciencesc

(2)

306 Qingshan You, Qun Wan and Yipeng Liu

However, note that the exact lower bound is very hard to get, because we only have the information about the given data matrix M . Note that

kPM k≤ kM k And according to the paper [1], we have

kP(L0− S0)kF

√15 3 kM kF Therefore, we can choose

τ ≥ max 8kM k λ , 8√

15kM kF

!

Note that kM k≤ kM kF, we can obtain the result as follows.

Theorem 1.1. Assume

τ ≥ 8√

15kM kF

If the other assumptions of Theorem 2.2 of paper [1] hold, we can obtain (L0, S0) is the unique solution to the strongly convex programming (6) in paper [1], with high probability.

Acknowledgments. We would like to thank the referees very much for their valu- able comments and suggestions. This research was supported by the National Natural Science Foundation of China (NSFC) under Grant 61172140, and ‘985’

key projects for excellent teaching team supporting (postgraduate) under Grant A1098522-02. Yipeng Liu is supported by FWO PhD/postdoc grant:G0108.11 (compressed sensing).

REFERENCES

[1] Hui Zhang, Jian-Feng Cai, Lizhi Cheng and Jubo Zhu,Strongly convex programming for exact matrix completion and robust principal component analysis, Inverse Problems and Imaging, 6 (2012), 357–372.

Received July 2012; revised November 2012.

E-mail address: youlin 2001@163.com E-mail address: wanqun@uestc.edu.cn E-mail address: yipeng.liu@esat.kuleuven.be

Inverse Problems and Imaging Volume 7, No. 1 (2013), 305–306

Referenties

GERELATEERDE DOCUMENTEN

The main results of this paper are the exact convergence rates of the gradient descent method with exact line search and its noisy variant for strongly convex functions with

The spectral excess theorem [10] states that a connected regular graph Γ is distance-regular if and only if its spectral excess (a number which can be computed from the spectrum of

We define singularities on curves, the genus of a curve, and then we single out the curves of genus 1 with a rational point on them, called elliptic curves..

If E is an elliptic curve over Q, we say that it is modular if a cusp form f as in the Modularity Theorem exists, and the theorem can be rephrased as: “all elliptic curves over Q

In a recent paper [12], Evertse and Schlickewei have proved a new absolute quantitative version of the Subspace Theorem which in turn makes use of the absolute Minkowski

Teen hierdie agtergrond argumenteer mense soos De Villiers, asook Van der Ven, professor van pastorale en empiriese teologie aan die Universiteit van Nijmegen in Nederland en

Faouzi, On the orbit of invariant subspaces of linear operators in finite-dimensional spaces (new proof of a Halmos’s result), Linear Alge- bra Appl. Halmos, Eigenvectors and

We kunnen slechts raden naar zijn drijf- veren maar zijn analyse van de formulering van de stelling en zijn herformulering ervan doen sterk denken aan een wens de stelling en het