Phân Tích Hiệu Suất Chính Xác Trong Tối Ưu Hóa Lồi Không Mịn

Chuyên khảo phân tích Main 2, đánh giá các khía cạnh quan trọng, đề xuất hướng nghiên cứu tiếp theo., phục vụ nghiên cứu và ứng dụng thực tiễn

Trường đại học

California Institute of Technology

Chuyên ngành

Electrical Engineering and Applied Mathematics

Người đăng

Ẩn danh

Thể loại

thesis

2016

285
1
0

Phí lưu trữ

55 Point

Mục lục chi tiết

ACKNOWLEDGEMENTS

ABSTRACT

1. Chapter I: Introduction

2. Chapter II: Background, Literature Survey and Summary of Contributions

2.1. Noisy Case: The Challenge

2.2. Thesis Contributions & Organization

3. Chapter III: The Convex Gaussian Min-max Theorem

3.1. Gaussian Comparison Inequalities

3.2. Gaussian Min-max Theorem

3.3. Convex Gaussian Min-max Theorem (CGMT)

3.4. Proof of the CGMT

4. Chapter IV: The Squared-error of Regularized M-estimators

4.4. Survey of Relevant Literature

5. Chapter V: Analysis Framework

5.1. How it Works

6. Chapter VI: Specific Examples

6.1. M-estimators without Regularization

6.3. Cone-constrained M-estimators

6.5. Square-root LASSO

6.6. Sparse Recovery via the LASSO

6.7. Group-Sparse Recovery via the Group-LASSO

6.8. Low-rank Matrix Recovery via the Trace-LASSO

7. Chapter VII: Noise Sensitivity of the Generalized-LASSO

7.2. Revisiting Least Squares

7.3. Least-squares Meets Compressed Sensing

7.4. The NSE of Generalized LASSO in Gaussian Noise

7.8. The NSE of Generalized LASSO with Arbitrary Fixed Noise

7.9. The Worst-Case NSE of Generalized LASSO

8. Chapter VIII: Beyond iid Ensembles: Isotropically Random Orthogonal Matrices

9. Chapter IX: Beyond Squared-error: General Performance Metrics

9.2. Review: ` 2 -reconstruction Error

9.3. Lipschitz Performance Metrics

10. Chapter X: Application: The Bit-Error Rate of the Box-Relaxation Optimization

10.1. BPSK Signal Recovery

11. Chapter XI: Non-linear Measurements

11.3. Application: Optimal q-bit Quantization

12. Chapter XII: Conclusions and Future work

Appendix A: Proofs for Chapter 3

Appendix B: Proofs for Chapter 4

Appendix C: Proofs for Chapter 6

Appendix D: Calculating the Summary Parameters

Appendix E: Proofs for Chapter 8

Appendix F: Proofs for Chapter 10

Appendix G: Proofs for Chapter 11

Appendix H: A Note on Simple Denoising

LIST OF FIGURES

Tóm tắt

I. Tổng Quan Về Phân Tích Hiệu Suất Chính Xác Trong Tối Ưu Hóa Lồi Không Mịn

Phân tích hiệu suất chính xác trong tối ưu hóa lồi không mịn là một lĩnh vực quan trọng trong toán học ứng dụng và khoa học dữ liệu. Nó liên quan đến việc tối ưu hóa các hàm không mịn, nơi mà các phương pháp truyền thống có thể không hoạt động hiệu quả. Nghiên cứu này không chỉ giúp cải thiện độ chính xác của các mô hình mà còn mở ra những hướng đi mới trong việc giải quyết các bài toán phức tạp.

1.1. Định Nghĩa Tối Ưu Hóa Lồi Không Mịn

Tối ưu hóa lồi không mịn đề cập đến việc tối ưu hóa các hàm lồi mà không có tính chất mịn màng. Điều này có thể bao gồm các hàm có điểm nhảy hoặc không khả vi. Việc hiểu rõ về định nghĩa này là cần thiết để áp dụng các phương pháp phân tích hiệu suất.

1.2. Tầm Quan Trọng Của Phân Tích Hiệu Suất

Phân tích hiệu suất chính xác giúp đánh giá khả năng của các thuật toán tối ưu hóa trong việc tìm ra nghiệm gần đúng. Điều này đặc biệt quan trọng trong các ứng dụng thực tiễn như xử lý tín hiệu và học máy, nơi mà độ chính xác có thể ảnh hưởng lớn đến kết quả cuối cùng.

II. Vấn Đề Trong Phân Tích Hiệu Suất Chính Xác

Một trong những thách thức lớn trong phân tích hiệu suất chính xác là sự hiện diện của nhiễu trong dữ liệu. Nhiễu có thể làm giảm độ chính xác của các phương pháp tối ưu hóa, dẫn đến kết quả không đáng tin cậy. Việc phát triển các phương pháp có khả năng xử lý nhiễu là rất cần thiết.

2.1. Ảnh Hưởng Của Nhiễu Đến Hiệu Suất

Nhiễu có thể làm sai lệch các kết quả tối ưu hóa, dẫn đến việc các thuật toán không thể tìm ra nghiệm chính xác. Việc phân tích ảnh hưởng của nhiễu là một phần quan trọng trong việc cải thiện độ chính xác của các phương pháp tối ưu hóa.

2.2. Thách Thức Trong Việc Đánh Giá Hiệu Suất

Đánh giá hiệu suất trong môi trường có nhiễu là một thách thức lớn. Các phương pháp hiện tại thường không đủ mạnh để xử lý các tình huống phức tạp, do đó cần có những nghiên cứu sâu hơn để phát triển các phương pháp mới.

III. Phương Pháp Tối Ưu Hóa Hiệu Suất Chính Xác

Để cải thiện hiệu suất chính xác trong tối ưu hóa lồi không mịn, nhiều phương pháp đã được phát triển. Các phương pháp này bao gồm việc sử dụng các kỹ thuật như M-estimators và các phương pháp điều chỉnh để xử lý nhiễu.

3.1. Sử Dụng M estimators Trong Tối Ưu Hóa

M-estimators là một trong những phương pháp hiệu quả nhất trong tối ưu hóa lồi không mịn. Chúng cho phép đánh giá chính xác hơn về hiệu suất của các thuật toán trong môi trường có nhiễu.

3.2. Các Kỹ Thuật Điều Chỉnh Để Tăng Cường Hiệu Suất

Các kỹ thuật điều chỉnh như điều chỉnh tham số và tối ưu hóa đa mục tiêu có thể giúp cải thiện hiệu suất của các phương pháp tối ưu hóa. Việc áp dụng các kỹ thuật này có thể dẫn đến những cải tiến đáng kể trong độ chính xác.

IV. Ứng Dụng Thực Tiễn Của Phân Tích Hiệu Suất

Phân tích hiệu suất chính xác có nhiều ứng dụng thực tiễn trong các lĩnh vực như xử lý tín hiệu, học máy và phân tích dữ liệu lớn. Những ứng dụng này cho thấy tầm quan trọng của việc phát triển các phương pháp tối ưu hóa hiệu quả.

4.1. Ứng Dụng Trong Xử Lý Tín Hiệu

Trong xử lý tín hiệu, việc tối ưu hóa chính xác có thể cải thiện khả năng phục hồi tín hiệu từ dữ liệu nhiễu. Điều này rất quan trọng trong các ứng dụng như truyền thông và nhận diện hình ảnh.

4.2. Ứng Dụng Trong Học Máy

Trong học máy, phân tích hiệu suất chính xác giúp cải thiện độ chính xác của các mô hình dự đoán. Việc áp dụng các phương pháp tối ưu hóa hiệu quả có thể dẫn đến những cải tiến đáng kể trong khả năng dự đoán.

V. Kết Luận Và Tương Lai Của Phân Tích Hiệu Suất

Phân tích hiệu suất chính xác trong tối ưu hóa lồi không mịn là một lĩnh vực đang phát triển nhanh chóng. Những nghiên cứu hiện tại đã mở ra nhiều hướng đi mới, nhưng vẫn còn nhiều thách thức cần được giải quyết.

5.1. Tương Lai Của Nghiên Cứu

Tương lai của nghiên cứu trong lĩnh vực này hứa hẹn sẽ mang lại nhiều phát hiện mới. Việc phát triển các phương pháp tối ưu hóa mới có thể giúp giải quyết các vấn đề phức tạp hơn trong thực tiễn.

5.2. Những Thách Thức Cần Đối Mặt

Mặc dù đã có nhiều tiến bộ, nhưng vẫn còn nhiều thách thức trong việc phát triển các phương pháp tối ưu hóa hiệu quả. Cần có sự hợp tác giữa các nhà nghiên cứu để giải quyết những vấn đề này.

27/07/2025

Trích đoạn nội dung tài liệu

Recovering structured signals in high dimensions via non-smooth convex optimization: Precise performance analysis Thesis by Christos Thrampoulidis In Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy CALIFORNIA INSTITUTE OF TECHNOLOGY Pasadena, California 2016 Defended May 17, 2016 ii c 2016 Christos Thrampoulidis ORCID: [0000-0001-9053-9365] All rights reserved except where otherwise noted iii ACKNOWLEDGEMENTS “As you set out for Ithaka hope the voyage is a long one, full of adventure, full of discovery.) Wise as you will have become, so full of experience, you will have understood by then what these Ithakas mean. Admittedly, the journey to this thesis has not been a paved way; it has gone through difficult and sometimes lonely paths, and it has been full of ups and downs. How- ever, during these five years I have been extremely lucky to have been surrounded by wonderful people -mentors, colleagues, friends, family- that have helped me the most in all aspects. It is thanks to them that “this voyage has been full of adventure, full of discovery and full of experience", and that I have grown both as a person and as a researcher.

This is an opportunity to recognize my appreciation to them. First, I would like to express my gratitude to my advisor Prof. Babak Hassibi for his kindness, generosity, and patience; for the unstressful work environment and the academic freedom that he has provided me with, and for the guidance through- out this journey. His brightness, his enthusiasm, his clarity of thought, and his ability to communicate complex concepts -from a very diverse set of fields- in the most transparent ways have been an enormous inspiration.

His provocative ques- tions and careful criticism have taught me to see the bigger picture, not only when presenting my work, but also as a guidance to new directions. His constant en- couragement has helped me grow confidence as a researcher. I am also grateful for several thought-provoking and always intriguing non-technical discussions, and for the opportunities he has provided me to travel and attend a number of conferences held all around the world. Next, gratitude is extended to the rest of the members of my thesis committee: Pro- fessors P.

Vaidyanathan, Joel Tropp, Adam Wierman, and Venkat Chandrasekaran, for their time, advice, and critical evaluation of my thesis. I would like to express special thanks to Professors Vaidyanathan and Tropp for their encouragement, sup- port, and advice that also extended beyond research to career planning. I am thank- ful to Prof. Vaidyanathan for his kindness and friendliness during our everyday encounters and short discussions in the hallways of the Moore Laboratory.

I thank Joel Tropp for some of the most useful, enriching and stimulating courses that I have taken at Caltech; I will always admire and be inspired by his remarkable pro- iv foundness, clarity and simplicity in teaching and in presenting his work. I feel indebted to all my collaborators: Samet Oymak, Subhmonesh Bose, Ehsan Abbasi, Ashkan Panahi, Weiyu Xu, Linqi (Daniel) Guo, Kishore Jaganathan, and Navid Azizan, for their patience, for all the things that I learnt from them, and for all the fun and long hours that we spent thinking and learning together! Some of the major contributions and ideas of this thesis developed during long whiteboard discussions with Samet, Ehsan, and Ashkan. Thanks to Samet for introducing me to many of the problems addressed in this thesis. His unique combination of fast problem-solving skills, of hard work and of constant enthusiasm always inspired me.

I also have some very good memories with Samet during our trip in Hawaii for ISIT. Thanks to Ehsan for all the technical work that we accomplished together. But even more so, I wish to thank him for his support and encouragement, for his endless patience, for being a great listener and a good friend. Thank you Ehsan, for the always pleasant and fun overnight shifts in the lab, for the handy Persian expressions that you taught me, for our amazing trip to Chicago, and for all the stories we shared together.

Thanks to Ashkan and Daniel for our (rather) short but very productive collaboration. Thanks to Weiyu for helpful discussions and encouraging feedback. The works that we did together with Bose, Kishore, and Navid are not part of this thesis, but are by no means less important. Bose had the difficult task to be my first collaborator and coauthor.

I am grateful to him for his patience, for teaching me the importance of communicating research results in a transparent way, and for his advice during the multiple times that I felt lost. Thanks to Κισώρος (cf., Kishore) for our joint work that led us win the Qualcomm Innovation Fellowship. I always admire his patience and calmness, and I confess that I sometimes laugh at his “jokes"! My collaboration with Navid has been only very recent, but one of the most pleasant ones, and I wish it continues. Many thanks go to all my labmates over these five years for the things that they have taught me, and for our fascinating conversations! Thanks to the “older generation": Amin, Teja, Wei, Samet, Bose and Ahn.

Special thanks to Amin Khajehnejad for introducing me to the culture of the lab when I first arrived at Caltech, and for teaching me many useful things (including, but by no means limited to, access to free food). Thank you to Matt, Kishore, Wael, Ramya, Ehsan, Navid, James, Anatoly, and Fariborz for creating an especially friendly and pleasant environment in the lab during the last two years. Thank you for your support, for putting up with my strange habits (yes, you may now take the clock and put it back on the wall), v and for being great listeners to my everyday complaints. I would especially like to express my gratitude to my good friend Wael, whom I have known since my very first days at Caltech.

Also, thank you to all other students in Caltech’s Electrical Engineering and Ap- plied Mathematics Departments for friendly interactions, advice and intriguing dis- cussions. Special thanks go to Roarke, Mark, Richard, and Yong Sheng. I would also like to thank the secretarial staff for putting up with me and answering all my questions: Shirley, Tanya, Katie, Anne, Terecita, and Lucinda. My thanks also ex- tend to the friendly, welcoming, and always smiling administrative staff at Caltech’s International Student Programs Office and at Chandler Café.

Outside Caltech, I am grateful to Professors G. Fassois from the University of Patras for their motivation and support when applying for graduate studies in the US. I am especially thankful to Prof. Moustakides for being a wonderful advisor during my undergraduate years, but also for the constant encouragement and guid- ance that I have been receiving from him since then.

My gratitude extends to Prof. Toumpakaris for selflessly putting on long hours to help me complete my applica- tion files. I would also like to thank the “Andreas Mentzelopoulos Scholarships for the University of Patras" for supporting my studies during my first year at Caltech. A very special thank you belongs to my teacher Mr.

Dimitris Aretakis and to my friend Stefanos Aretakis for teaching me and for making me love math. Thank you to my very first international friends at Caltech: Aleksander, Christophe, Wael, Krishna, Mark, and Roarke, who have helped me the most during the intense first-year of courses, and with whom I have some awesome stories to remember. Thanks to the Greeks at Caltech and at JPL for all the fun and relaxing moments: for our loud lunches at Chandler, for the unforgettable “Vassilopita" nights, and for our everyday loud conversations and jokes at Caltech’s gym. Special thanks to Costas S., Theodore, Christos, Costas A., Marilena, and Vassilis for being the first ones to welcome me at Caltech.

Thanks to my friend Dimitris for being the best host during my visits in Chicago! Thanks to my conference-travel buddy Nicoló for some unforgettable nights, whether at Hong-Kong or at Urbana-Champaign. I would also like to thank my friends back in Greece for all the fun and relaxing mo- ments during my summer visits over there. Thank you to my childhood friends in Kastellokampos. Special thanks to Evangelia, Costas, and Nikos for their encour- agement.

vi Among the many wonderful people that I have met during this journey, I would like to especially acknowledge Panagiotis Vergados, Juan Andrés Muniz, Wael Hal- bawi and Georgia Papadakis, who have been great friends and have kept me sane and happy over the years. Thank you for your honesty, for your kindness, and for caring for me not only when the sun is shining, but most importantly during the storms. (Yes, there were storms despite the California weather!) Thank you for all the memories that we have shared; thank you for every single day. Panagiotis, ad- ditional thanks go to you for the long hours that you selflessly put on proofreading parts of this thesis and providing invaluable feedback on my thesis presentation! I am also thankful to my extended family in Veroia, Ptolemaida, Thessaloniki and Patras for always being there for me, for their love, and for their heartfelt support during all these years.

Thank you for always cutting a cake for my birthday even if I had to blow out the candles and eat my piece of it over Skype! Finally, my deepest gratitude belongs to my family: to my father Kleanthis, whose dignity, diligence and ambition are a constant source of inspiration to me; to my mother Vassiliki, whose positive energy and kindness are a constant reminder to always smile; and to Manolis, the best and most caring brother in the world. I have no words to thank you for your unconditional love, for all my sweet memories, for all the values that you have taught me, for all that I am and that I have ever accomplished, but to dedicate this dissertation to you. vii To my parents Vassiliki and Kleanthis, and to my brother Manolis. viii ABSTRACT The typical scenario that arises in modern large-scale inference problems is one where the ambient dimension of the unknown signal is very large (e., high-res- olution images, recommendation systems), yet its desired properties lie in some low-dimensional structure such as, sparsity or low-rankness.

In the past couple of decades, non-smooth convex optimization methods have emerged as a powerful tool to extract those structures, since they are often computationally efficient, and also they offer enough flexibility while simultaneously being amenable to perfor- mance analysis. Especially, since the advent of Compressed Sensing (CS) there has been significant progress towards this direction. One of the key ideas is that random linear measurements offer an efficient way to acquire structured signals. When the measurement matrix has entries iid from a wide class of distributions (including Gaussians), a series of recent papers have established a complete and transparent theory that precisely captures the performance in the noiseless setting.

In the more practical scenario of noisy measurements the performance analysis task becomes significantly more challenging and corresponding precise and unifying re- sults have hitherto remained scarce. The available class of optimization methods, often referred to as regularized M-estimators, is now richer; additional factors (e., the noise distribution, the loss function, and the regularizer parameter) and sev- eral different measures of performance (e., squared-error, probability of support recovery) need to be taken into account. This thesis develops a novel analytical framework that overcomes these challenges, and establishes precise asymptotic performance guarantees for regularized M-esti- mators under Gaussian measurement matrices. In particular, the framework al- lows for a unifying analysis among different instances (such as the Generalized LASSO, and the LAD, to name a few) and accounts for a wide class of perfor- mance measures.

Among others, we show results on the mean-squared-error of the Generalized-LASSO method and make insightful connections to the classical the- ory of ordinary least squares and to noiseless CS. Empirical evidence is presented that suggests the Gaussian assumption is not necessary.

Nội dung được bảo vệ bản quyền — Tải xuống đầy đủ