Convex Set Approximation Problems in Quantum Information

Total Page:16

File Type:pdf, Size:1020Kb

Convex Set Approximation Problems in Quantum Information Convex Set Approximation Problems in Quantum Information by Eric Fernandes A Thesis presented to The University of Guelph In partial fulfilment of requirements for the degree of Master of Science in Mathematics and Statistics Guelph, Ontario, Canada c Eric Fernandes, May 2020 ABSTRACT CONVEX SET APPROXIMATION PROBLEMS IN QUANTUM INFORMATION Eric Fernandes Advisor: Dr. Rajesh Pereira University of Guelph, 2019 Co-Advisor: Dr. Bei Zeng This thesis investigates methods to approximate convex sets which involve minimizing the Hausdorff metric between a set and certain subsets. We begin by giving a lower bound for the Hausdorff metric between a hypersphere and a circumscribed simplex. We show that this bound is achieved by the regular simplex. Next, we form a lower bound on the Hausdorff distance between the convex hull of the joint numerical range of positive operator valued-measures and the probability simplex. An entanglement witness is a linear functional that separates the convex compact set of separable states from certain entangled states in the Hilbert space. We investigate the applications of our methods by exploring the problem of finding a polytope generated by entanglement witnesses that has minimal distance to the set of separable states. iii Dedication Sister Bridget iv Acknowledgements Thank you, Dr. Rajesh Pereira, for your guidance and insight throughout my master's experience. Your dedication to your field is inspirational and has encouraged me to remain motivated for any challenges to come. I would like to thank Dr. Bei Zeng for the opportunity to work in the field of quantum information and making my transition from physics to math seamless. Thank you to Ali, Comfort, David, and Kat for being welcoming friends in the department. I would like to thank the lads at 93 Moss for reminding me to take breaks from studies, I couldn't ask for a better group of brothers. Also an honourable mention to my friends at 748 Scottsdale for allowing me to frequently down spike you in smash ultimate. v Contents Abstract ii Dedication iii Acknowledgements iv 1 Introduction and Preliminaries 1 1.1 Outline . .1 1.2 Mathematical Foundations . .3 1.2.1 Euclidean Space . .4 1.2.2 Affine Geometry . .4 1.2.3 Convexity . .5 1.2.4 Hilbert Space . .8 1.2.5 Half Spaces . 11 1.2.6 Simplex . 15 1.2.7 Hausdorff Distance . 15 1.2.8 Joint Numerical Range . 17 1.3 Quantum Information . 19 2 An Application of Blaschke's Selection Theorem 23 2.1 Two problems in convex optimization . 23 2.2 The Blaschke Selection Theorem . 24 2.3 Main Results . 24 3 Optimal Simplex Enclosing a Hypersphere 26 3.1 Introduction . 26 3.2 Circumradius and Inradius . 26 3.3 Circumcircle and Incircle of a Triangle . 27 3.4 Generalization of Euler's Triangle Inequality . 29 3.5 Application of Klamkin and Tsintsifas' Result on the Hausdorff distance . 33 3.6 Conclusion . 35 vi 4 Standard Simplex and the Joint Numerical Range of POVMs 36 4.1 Introduction . 36 4.2 A Hausdorff metric inequality . 40 5 Entanglement Witnesses and Further Work 44 5.1 Introduction . 44 5.2 Separability criterion for low dimension . 44 5.3 Entanglement witnesses . 46 5.3.1 Problem with the entanglement witnesses . 47 5.4 Application of Hausdorff distance with the entanglement witness . 48 Bibliography 49 Chapter 1 Introduction and Preliminaries 1.1 Outline Convexity often arises in functional analysis which is used in quantum information theory. Convex analysis is the study of the properties of convex sets and convex functions. It has major applications in optimization. This thesis will explore the approximations of convex sets and their applications to quantum systems. We study two convex sets A, and B, where B is a subset of A. One of these sets is fixed, and the other set varies among a class of sets. We find a member of that class that minimizes the distance between A and B. Since A and B are sets, the most natural way to define the distance between these two sets is the Hausdorff distance. By bounding the Hausdorff distance, we develop optimal set approximations as well as an understanding of the properties of each set. Quantum information is the manipulation, communication, and storage of information using the laws of quantum mechanics. Quantum mechanics is vastly different from classical mechanics because of phenomena such as superposition and entanglement. This means that entangled particles can have an effect on one another, even when separated by great distances. Particles that do not exhibit this phenomenon are called separable. Even though 1 entanglement is difficult to grasp intuitively, there are mathematical descriptions that help develop an idea of how the process behaves. Whether a particle is entangled or separable, it can be described as a state in a Hilbert space. Quantum states can be described as unit vectors in a Hilbert space. Quantum states that are separable form a convex set in Hilbert space. These convex sets are more often irregularly shaped and difficult to approximate. Entanglement witnesses are used to detect entanglement. An entanglement witness is a linear functional that separates entangled states from the set of separable states. This method of detecting entanglement stems from the Hahn-Banach theorem or the separating hyperplane theorem. The Hahn-Banach theorem dates back to almost a century and is a central result in functional analysis. It has now being used in Quantum Information for the last couple of decades. We begin chapter 1 by explaining the mathematical definitions that are applied later on in the thesis. We introduce methods used to analyze convex sets such as the Hausdorff distance. The Hausdorff distance allows us to measure how close two bounded sets are from each other. This aids in analyzing set approximations and understanding the properties of our sets. A complete inner product space is introduced so that sets of vectors can be applied in quantum information and described as states. In chapter 2, we introduce two generalized problems that apply to the remainder of the thesis. We apply two completely different methods in solving special cases of these problems in chapter 3 and chapter 4. Using the Blaschke Selection Theorem; we will show that both of these methods indeed always have a solution. In chapter 3, we study the problem of finding the simplex containing the closed unit ball of dimension n which has minimal Hausdorff distance to the closed unit ball. In order to do this, we introduce the geometric properties and definitions that arise with convex sets and their enclosed convex subsets. When calculating the distance between these objects the inradius and circumradius are introduced as the main parameters in this chapter. A 2 relationship between these radii is introduced by Klamkin and Tsintsifas in [16] that inspires the main result of this chapter which bounds the Hausdorff distance between the hypersphere and the simplex that contains it. In chapter 4, the simplex, or more specifically the probability simplex is fixed while the convex hull of the joint numerical range of positive operator valued-measure (POVM's) is en- closed inside. We make statements about types of POVM's and bound the distance between the set and the convex hull. Chapter 4 is where the main theorem of the thesis is proposed and proved. Finally, chapter 5 is focused on further research. We begin with the problem of separa- bility of pure states. Separability of mixed states is more difficult and requires operational entanglement criterion. Operational entanglement criterion are different ways to identify entanglement other than Schmidt decomposition. There are still limitations to identifying entanglement with this method. This introduces the idea of the Entanglement Witness seper- ating entangled states from separable states. An entanglement witness is a linear functional used to distinguish separable states from entangled states. We conclude the thesis with the application of the Hausdorff distance with using the entanglement witness. 1.2 Mathematical Foundations This chapter introduces the basic mathematical tools necessary used throughout the thesis. We begin with an introduction to the types of spaces and operations used in these spaces. We also introduce the notion of entanglement and other quantum properties. 3 1.2.1 Euclidean Space Definition 1.1. [14] A norm on a vector space V is a rule which, given any v 2 V , specifies a real number jjvjj such that 1. jjvjj > 0 if v 6= 0, and jj0jj = 0; 2. jjavjj = jaj · jjvjj for any v 2 V and any scalar a; 3. jjv + wjj ≤ jjvjj + jjwjj for any v; w 2 V: A normed space is a vector space V with a given norm. Remark 1.2. The norm is used to measure the distance between two vectors. Lemma 1.3. (Cauchy-Schwarz Inequality) For any vectors v; w 2 Rn n 2 n n X X 2 X 2 viwi ≤ jvij jwij : i=1 i=1 i=1 Definition 1.4. [11] A Cauchy sequence of elements of a normed space is a sequence (xn) such that for any > 0 there is a number N such that jjxn − xmjj < for all n; m ≥ N: Definition 1.5. [11] A normed space M is called complete if every Cauchy sequence in M converges in M. Theorem 1.6. [2] (Bolzano-Weierstrass) Each bounded sequence of real (or complex) numbers contains a convergent subsequence. 1.2.2 Affine Geometry We assume the reader has a basic understanding of linear algebra including such topics as; linear dependence and independence, dimension, linear maps and so forth. For the majority of the thesis, we will be working in a space of dimension n. When studying problems that are invariant under translations, it is more natural to work in the setting of affine geometry.
Recommended publications
  • Some Properties of the Essential Numerical Range on Banach Spaces
    Pure Mathematical Sciences, Vol. 6, 2017, no. 1, 105 - 111 HIKARI Ltd, www.m-hikari.com https://doi.org/10.12988/pms.2017.7912 Some Properties of the Essential Numerical Range on Banach Spaces L. N. Muhati, J. O. Bonyo and J. O. Agure Department of Pure and Applied Mathematics Maseno University, P.O. Box 333 - 40105, Maseno, Kenya Copyright c 2017 L. N. Muhati, J. O. Bonyo and J. O. Agure. This article is dis- tributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. Abstract We study the properties of the essential algebraic numerical range as well as the essential spatial numerical range for Banach space operators. Mathematics Subject Classification: 47A10; 47A05; 47A53 Keywords: Essential algebraic numerical range, Essential spatial numer- ical range, Calkin algebra 1 Introduction Let A be a complex normed algebra with a unit and let A∗ denote its dual space. For a comprehensive theory on normed algebras, we refer to [4]. We define the algebraic numerical range of an element a 2 A by V (a; A) = ff(a): f 2 A∗; f(1) = 1 = kfkg. Let X denote a complex Banach space and L(X) be the Banach algebra of all bounded linear operators acting on X. We de- note the algebraic numerical range of any T 2 L(X) by V (T; L(X)). For T 2 L(X), the spatial numerical range is defined by W (T ) = fhT x; x∗i : x 2 X; x∗ 2 X∗; kxk = 1 = kx∗k = hx; x∗ig.
    [Show full text]
  • Numerical Range of Operators, Numerical Index of Banach Spaces, Lush Spaces, and Slicely Countably Determined Banach Spaces
    Numerical range of operators, numerical index of Banach spaces, lush spaces, and Slicely Countably Determined Banach spaces Miguel Martín University of Granada (Spain) June 5, 2009 Preface This text is not a book and it is not in its nal form. This is going to be used as classroom notes for the talks I am going to give in the Workshop on Geometry of Banach spaces and its Applications (sponsored by Indian National Board for Higher Mathematics) to be held at the Indian Statistical Institute, Bangalore (India), on 1st - 13th June 2009. Miguel Martín Contents Preface 3 Basic notation7 1 Numerical Range of operators. Surjective isometries9 1.1 Introduction.....................................9 1.2 The exponential function. Isometries....................... 15 1.3 Finite-dimensional spaces with innitely many isometries............ 17 1.3.1 The dimension of the Lie algebra..................... 19 1.4 Surjective isometries and duality......................... 20 2 Numerical index of Banach spaces 23 2.1 Introduction..................................... 23 2.2 Computing the numerical index.......................... 23 2.3 Numerical index and duality............................ 28 2.4 Banach spaces with numerical index one..................... 32 2.5 Renorming and numerical index.......................... 34 2.6 Finite-dimensional spaces with numerical index one: asymptotic behavior.. 38 2.7 Relationship to the Daugavet property....................... 39 2.8 Smoothness, convexity and numerical index 1 .................. 43 3 Lush spaces 47 3.1 Examples of lush spaces.............................. 49 5 3.2 Lush renormings.................................. 52 3.3 Some reformulations of lushness.......................... 53 3.4 Lushness is not equivalent to numerical index 1 ................. 55 3.5 Stability results for lushness............................ 56 4 Slicely countably determined Banach spaces 59 4.1 Slicely countably determined sets........................
    [Show full text]
  • Numerical Range and Functional Calculus in Hilbert Space
    Numerical range and functional calculus in Hilbert space Michel Crouzeix Abstract We prove an inequality related to polynomial functions of a square matrix, involving the numerical range of the matrix. We also show extensions valid for bounded and also unbounded operators in Hilbert spaces, which allow the development of a functional calculus. Mathematical subject classification : 47A12 ; 47A25 Keywords : functional calculus, numerical range, spectral sets. 1 Introduction In this paper H denotes a complex Hilbert space equipped with the inner product . , . and h i corresponding norm v = v, v 1/2. We denote its unit sphere by Σ := v H; v = 1 . For k k h i H { ∈ k k } a bounded linear operator A (H) we use the operator norm A and denote by W (A) its ∈ L k k numerical range : A := sup A v , W (A) := Av,v ; v ΣH . k k v ΣH k k {h i ∈ } ∈ Recall that the numerical range is a convex subset of C and that its closure contains the spectrum of A. We keep the same notation in the particular case where H = Cd and A is a d d matrix. × The main aim of this article is to prove that the inequality p(A) 56 sup p(z) (1) k k≤ z W (A) | | ∈ holds for any matrix A Cd,d and any polynomial p : C C (independently of d). ∈ → It is remarkable that the completely bounded version of this inequality is also valid. More precisely, we consider now matrix-valued polynomials P : C Cm,n, i.e., for z C, P (z) = → ∈ (p (z)) is a matrix, with each entry p (.) a polynomial C C.
    [Show full text]
  • Numerical Range of Square Matrices a Study in Spectral Theory
    Numerical Range of Square Matrices A Study in Spectral Theory Department of Mathematics, Linköping University Erik Jonsson LiTH-MAT-EX–2019/03–SE Credits: 16 hp Level: G2 Supervisor: Göran Bergqvist, Department of Mathematics, Linköping University Examiner: Milagros Izquierdo, Department of Mathematics, Linköping University Linköping: June 2019 Abstract In this thesis, we discuss important results for the numerical range of general square matrices. Especially, we examine analytically the numerical range of complex-valued 2 × 2 matrices. Also, we investigate and discuss the Gershgorin region of general square matrices. Lastly, we examine numerically the numerical range and Gershgorin regions for different types of square matrices, both contain the spectrum of the matrix, and compare these regions, using the calculation software Maple. Keywords: numerical range, square matrix, spectrum, Gershgorin regions URL for electronic version: urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-157661 Erik Jonsson, 2019. iii Sammanfattning I denna uppsats diskuterar vi viktiga resultat för numerical range av gene- rella kvadratiska matriser. Speciellt undersöker vi analytiskt numerical range av komplexvärda 2 × 2 matriser. Vi utreder och diskuterar också Gershgorin områden för generella kvadratiska matriser. Slutligen undersöker vi numeriskt numerical range och Gershgorin områden för olika typer av matriser, där båda innehåller matrisens spektrum, och jämför dessa områden genom att använda beräkningsprogrammet Maple. Nyckelord: numerical range, kvadratisk matris, spektrum, Gershgorin områden URL för elektronisk version: urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-157661 Erik Jonsson, 2019. v Acknowledgements I’d like to thank my supervisor Göran Bergqvist, who has shown his great interest for linear algebra and inspired me for writing this thesis.
    [Show full text]
  • Morphophoric Povms, Generalised Qplexes, Ewline and 2-Designs
    Morphophoric POVMs, generalised qplexes, and 2-designs Wojciech S lomczynski´ and Anna Szymusiak Institute of Mathematics, Jagiellonian University,Lojasiewicza 6, 30-348 Krak´ow, Poland We study the class of quantum measurements with the property that the image of the set of quantum states under the measurement map transforming states into prob- ability distributions is similar to this set and call such measurements morphophoric. This leads to the generalisation of the notion of a qplex, where SIC-POVMs are re- placed by the elements of the much larger class of morphophoric POVMs, containing in particular 2-design (rank-1 and equal-trace) POVMs. The intrinsic geometry of a generalised qplex is the same as that of the set of quantum states, so we explore its external geometry, investigating, inter alia, the algebraic and geometric form of the inner (basis) and the outer (primal) polytopes between which the generalised qplex is sandwiched. In particular, we examine generalised qplexes generated by MUB-like 2-design POVMs utilising their graph-theoretical properties. Moreover, we show how to extend the primal equation of QBism designed for SIC-POVMs to the morphophoric case. 1 Introduction and preliminaries Over the last ten years in a series of papers [2,3, 30{32, 49, 68] Fuchs, Schack, Appleby, Stacey, Zhu and others have introduced first the idea of QBism (formerly quantum Bayesianism) and then its probabilistic embodiment - the (Hilbert) qplex, both based on the notion of symmetric informationally complete positive operator-valued measure
    [Show full text]
  • Ekeland Variational Principles with Set-Valued Objective Functions And
    Ekeland variational principles with set-valued objective functions and set-valued perturbations1 QIU JingHui School of Mathematical Sciences, Soochow University, Suzhou 215006, China Email: [email protected] Abstract In the setting of real vector spaces, we establish a general set-valued Ekeland variational principle (briefly, denoted by EVP), where the objective func- tion is a set-valued map taking values in a real vector space quasi-ordered by a convex cone K and the perturbation consists of a K-convex subset H of the or- dering cone K multiplied by the distance function. Here, the assumption on lower boundedness of the objective function is taken to be the weakest kind. From the general set-valued EVP, we deduce a number of particular versions of set-valued EVP, which extend and improve the related results in the literature. In particu- lar, we give several EVPs for approximately efficient solutions in set-valued opti- mization, where a usual assumption for K-boundedness (by scalarization) of the objective function’s range is removed. Moreover, still under the weakest lower boundedness condition, we present a set-valued EVP, where the objective function is a set-valued map taking values in a quasi-ordered topological vector space and the perturbation consists of a σ-convex subset of the ordering cone multiplied by the distance function. arXiv:1708.05126v1 [math.FA] 17 Aug 2017 Keywords nonconvex separation functional, vector closure, Ekeland variational principle, coradiant set, (C, ǫ)-efficient solution, σ-convex set MSC(2010) 46A03, 49J53, 58E30, 65K10, 90C48 1 Introduction Since the variational principle of Ekeland [12, 13] for approximate solutions of nonconvex minimization problems appeared in 1972, there have been various 1This work was supported by the National Natural Science Foundation of China (Grant Nos.
    [Show full text]
  • Numerical Ranges and Applications in Quantum Information
    Numerical Ranges and Applications in Quantum Information by Ningping Cao A Thesis presented to The University of Guelph In partial fulfilment of requirements for the degree of Doctor of Philosophy in Mathematics & Statistics Guelph, Ontario, Canada © Ningping Cao, August, 2021 ABSTRACT NUMERICAL RANGES AND APPLICATIONS IN QUANTUM INFORMATION Ningping Cao Advisor: University of Guelph, 2021 Dr. Bei Zeng Dr. David Kribs The numerical range (NR) of a matrix is a concept that first arose in the early 1900’s as part of efforts to build a rigorous mathematical framework for quantum mechanics andother challenges at the time. Quantum information science (QIS) is a new field having risen to prominence over the past two decades, combining quantum physics and information science. In this thesis, we connect NR and its extensions with QIS in several topics, and apply the knowledge to solve related QIS problems. We utilize the insight offered by NRs and apply them to quantum state inference and Hamiltonian reconstruction. We propose a new general deep learning method for quantum state inference in chapter 3, and employ it to two scenarios – maximum entropy estimation of unknown states and ground state reconstruction. The method manifests high fidelity, exceptional efficiency, and noise tolerance on both numerical and experimental data. A new optimization algorithm is presented in chapter 4 for recovering Hamiltonians. It takes in partial measurements from any eigenstates of an unknown Hamiltonian H, then provides an estimation of H. Our algorithm almost perfectly deduces generic and local generic Hamiltonians. Inspired by hybrid classical-quantum error correction (Hybrid QEC), the higher rank (k : p)-matricial range is defined and studied in chapter 5.
    [Show full text]
  • On Invariance of the Numerical Range and Some Classes of Operators In
    ON INVARIANCE OF THE NUMERICAL RANGE AND SOME CLASSES OF OPERATORS IN HILBERT SPACES By Arthur Wanyonyi Wafula A thesis submitted in fulfillment of the requirements for the award of the Degree of Doctor of Philosophy in Pure Mathematics School of Mathematics,University of Nairobi 15 April 2013 G^ o a op h University of NAIROBI Library 0430140 4 0.1 DECLARATION This thesis is my orginal work and has not been presented for a degree in any other University S ignat ure.....D ate . .....A* / ° 5 / 7'tTL. m h I Arthur Wanyonyi Wanambisi Wafula This thesis has been submitted for examination with our approval as University super­ visors; Signature Date 2- Signature P rof. J. M. Khalagai Prof. G.P.Pokhariyal 1 0.2 DEDICATION This work is dedicated to my family ; namely, my wife Anne Atieno and my sons Davies Magudha and Mishael Makali. n 0.3 ACKNOWLEDGEMENT My humble acknowledgement go to the Almighty God Jehovah who endows us withdhe gift of the Human brain that enables us to be creative and imaginative. I would also like to express my sincere gratitude to my Supervisor Prof.J.M.Khalagai for tirelessly guiding me in my research.I also wish to thank Prof.G.P.Pokhariyal for never ceasing to put me on my toes. I sincerely wish to thank the Director of the School of Mathematics DrJ .Were for his invaluable support. Furthermore,! am indebted to my colleagues Mrs.E.Muriuki, Dr.Mile, Dr.I.Kipchichir, Mr R.Ogik and Dr.N.'Owuor who have been a source of inspiration.
    [Show full text]
  • Techniques of Variational Analysis
    J. M. Borwein and Q. J. Zhu Techniques of Variational Analysis An Introduction October 8, 2004 Springer Berlin Heidelberg NewYork Hong Kong London Milan Paris Tokyo To Tova, Naomi, Rachel and Judith. To Charles and Lilly. And in fond and respectful memory of Simon Fitzpatrick (1953-2004). Preface Variational arguments are classical techniques whose use can be traced back to the early development of the calculus of variations and further. Rooted in the physical principle of least action they have wide applications in diverse ¯elds. The discovery of modern variational principles and nonsmooth analysis further expand the range of applications of these techniques. The motivation to write this book came from a desire to share our pleasure in applying such variational techniques and promoting these powerful tools. Potential readers of this book will be researchers and graduate students who might bene¯t from using variational methods. The only broad prerequisite we anticipate is a working knowledge of un- dergraduate analysis and of the basic principles of functional analysis (e.g., those encountered in a typical introductory functional analysis course). We hope to attract researchers from diverse areas { who may fruitfully use varia- tional techniques { by providing them with a relatively systematical account of the principles of variational analysis. We also hope to give further insight to graduate students whose research already concentrates on variational analysis. Keeping these two di®erent reader groups in mind we arrange the material into relatively independent blocks. We discuss various forms of variational princi- ples early in Chapter 2. We then discuss applications of variational techniques in di®erent areas in Chapters 3{7.
    [Show full text]
  • Uncertainty Relations and Joint Numerical Ranges
    Konrad Szyma´nski Uncertainty relations and joint numerical ranges MSc thesis under the supervision of Prof. Karol Zyczkowski˙ arXiv:1707.03464v1 [quant-ph] 11 Jul 2017 MARIANSMOLUCHOWSKIINSTITUTEOFPHYSICS, UNIWERSYTETJAGIELLO NSKI´ KRAKÓW,JULY 2 0 1 7 Contents Quantum states 1 Joint Numerical Range 5 Phase transitions 11 Uncertainty relations 19 Conclusions and open questions 23 Bibliography 25 iii To MS, AS, unknow, DS, JJK, AM, FF, KZ,˙ SM, P, N. Introduction Noncommutativity lies at the heart of quantum theory and provides a rich set of mathematical and physical questions. In this work, I address this topic through the concept of Joint Numerical Range (JNR) — the set of simultaneously attainable expectation values of multiple quantum observables, which in general do not commute. The thesis is divided into several chapters: Quantum states Geometry of the set of quantum states of size d is closely related to JNR, which provides a nice tool to analyze the former set. The problem of determining the intricate structure of this set is known to quickly become hard as the dimensionality grows (approximately as d2). The difficulty stems from the nonlinear constraints put on the set of parameters. In this chapter I briefly introduce the formalism of density matrices, which will prove useful in the later sections. Joint Numerical Range Joint Numerical Range of a collection of k operators, or JNR for short, is an object capturing the notion of simultaneous measurement of averages — expectation values of multiple observables. This is precisely the set of values which are simultaneously attainable for fixed observables (F1, F2,..., Fk) over a given quantum state r 2 Md: if we had a function taking quantum state and returning the tuple of average values: E(r) = (hF1ir , hF1ir ,..., hFkir),(1) Joint Numerical Range L(F1,..., Fk) is precisely E[Md].
    [Show full text]
  • On the Convexity of Optimal Control Problems Involving Non-Linear Pdes Or Vis and Applications to Nash Games
    Weierstraß-Institut für Angewandte Analysis und Stochastik Leibniz-Institut im Forschungsverbund Berlin e. V. Preprint ISSN 2198-5855 On the convexity of optimal control problems involving non-linear PDEs or VIs and applications to Nash games Michael Hintermüller1,2, Steven-Marian Stengl1,2 submitted: September 11, 2020 1 Weierstrass Institute 2 Humboldt-Universität zu Berlin Mohrenstr. 39 Unter den Linden 6 10117 Berlin 10099 Berlin Germany Germany E-Mail: [email protected] E-Mail: [email protected] [email protected] [email protected] No. 2759 Berlin 2020 2010 Mathematics Subject Classification. 06B99, 49K21, 47H04, 49J40. Key words and phrases. PDE-constrained optimization, K-Convexity, set-valued analysis, subdifferential, semilinear elliptic PDEs, variational inequality. This research was supported by the DFG under the grant HI 1466/10-1 associated to the project “Generalized Nash Equilibrium Problems with Partial Differential Operators: Theory, Algorithms, and Risk Aversion” within the priority pro- gramme SPP1962 “Non-smooth and Complementarity-based Distributed Parameter Systems: Simulation and Hierarchical Optimization”. Edited by Weierstraß-Institut für Angewandte Analysis und Stochastik (WIAS) Leibniz-Institut im Forschungsverbund Berlin e. V. Mohrenstraße 39 10117 Berlin Germany Fax: +49 30 20372-303 E-Mail: [email protected] World Wide Web: http://www.wias-berlin.de/ On the convexity of optimal control problems involving non-linear PDEs or VIs and applications to Nash games Michael Hintermüller, Steven-Marian Stengl Abstract Generalized Nash equilibrium problems in function spaces involving PDEs are considered. One of the central issues arising in this context is the question of existence, which requires the topological characterization of the set of minimizers for each player of the associated Nash game.
    [Show full text]
  • Spectral Inclusion for Unbounded Block Operator Matrices ✩
    Journal of Functional Analysis 256 (2009) 3806–3829 www.elsevier.com/locate/jfa Spectral inclusion for unbounded block operator matrices ✩ Christiane Tretter Mathematisches Institut, Universität Bern, Sidlerstr. 5, 3012 Bern, Switzerland Received 15 September 2008; accepted 23 December 2008 Available online 23 January 2009 Communicated by N. Kalton Abstract In this paper we establish a new analytic enclosure for the spectrum of unbounded linear operators A admitting a block operator matrix representation. For diagonally dominant and off-diagonally dominant block operator matrices, we show that the recently introduced quadratic numerical range W 2(A) contains the eigenvalues of A and that the approximate point spectrum of A is contained in the closure of W 2(A). This provides a new method to enclose the spectrum of unbounded block operator matrices by means of the non-convex set W 2(A). Several examples illustrate that this spectral inclusion may be considerably tighter than the one by the usual numerical range or by perturbation theorems, both in the non-self-adjoint case and in the self-adjoint case. Applications to Dirac operators and to two-channel Hamiltonians are given. © 2009 Elsevier Inc. All rights reserved. Keywords: Spectrum; Unbounded linear operator; Block operator matrix; Numerical range; Quadratic numerical range 1. Introduction The spectra of linear operators play a crucial role in many branches of mathematics and in numerous applications. Analytic information on the spectrum is, in general, hard to obtain and numerical approximations may not be reliable, in particular, if the operator is not self-adjoint or normal. In this paper, we suggest a new analytic enclosure for the spectrum of unbounded linear operators that admit a so-called block operator matrix representation.
    [Show full text]