Approximating scalable frames
|
|
- Angelica McBride
- 5 years ago
- Views:
Transcription
1 Kasso Okoudjou joint with X. Chen, G. Kutyniok, F. Philipp, R. Wang Department of Mathematics & Norbert Wiener Center University of Maryland, College Park 5 th International Conference on Computational Harmonic Analysis Vanderbilt University, Nashville, TN Monday May 19, 2014
2 Outline Frames and scalable frames 1 Frames and scalable frames Background Scalable frames Characterization of scalable frames 2 Fritz John s ellipsoid theorem and scalable frames Distance to the cone of nonnegative diagonal matrices Distance to the set of scalable frames 3 4
3 Definition Frames and scalable frames Background Scalable frames Characterization of scalable frames Definition Let K = R or K = C. A set of vectors {ϕ i } M i=1 KN is called a finite frame for K N if there are two constants 0 < A B such that A x 2 M x, ϕ i 2 B x 2, for all x K N. (1) i=1 If the frame bounds A and B are equal, the frame {ϕ i } M i=1 KN is called a finite tight frame for K N.
4 Frames in applications Background Scalable frames Characterization of scalable frames Example Quantum computing: construction of POVMs Spherical t-designs Classification of hyper-spectral data Quantization Phase-less reconstruction Compressed sensing.
5 Main question Frames and scalable frames Background Scalable frames Characterization of scalable frames Question Given a (non-tight) frame Φ = {ϕ k } M k=1 RN can one transform Φ into a tight frame? If yes can this be done algorithmically and can the class of all frames that allow such transformations be described? Solution 1 If Φ denotes again the N M synthesis matrix, a solution to the above problem is the associated canonical tight frame {(ΦΦ) 1/2 ϕ k } M k=1. Involves the inverse frame operator. 2 What transformations are allowed?
6 Choosing a transformation Background Scalable frames Characterization of scalable frames Question Given a (non-tight) frame Φ = {ϕ k } M k=1 RN can one find nonnegative numbers {c k } M k=1 [0, ) such that Φ = {c k ϕ k } M k=1 becomes a tight frame?
7 Definition Frames and scalable frames Background Scalable frames Characterization of scalable frames Definition Let M, N be given such that N M. A frame Φ = {ϕ k } M k=1 in RN is scalable if there exists nonnegative scalars {x k } M k=1 such that the system Φ I = {x k ϕ k } M k=1 is a tight frame for RN. If all the coefficients can be chosen to be positive, then we say that the frame is strictly scalable.
8 An extension of scalable frame Background Scalable frames Characterization of scalable frames Definition Let M, m, N be given such that N m M. A frame Φ = {ϕ k } M k=1 in R N is m scalable if there exist a subset Φ I = {ϕ k } k I with #I = m, and nonnegative scalars {x k } k I such that the system Φ I = {x k ϕ k } k I is a tight frame for R N.
9 Background Scalable frames Characterization of scalable frames A geometric characterization of scalable frames Theorem (G. Kutyniok, F. Philipp, K. Tuley, K.O. (2012)) Let Φ = {ϕ k } M k=1 RN \ {0} be a frame for R N. Then the following statements are equivalent. (i) Φ is not scalable. (ii) There exists a symmetric M M matrix Y with trace(y ) < 0 such that ϕ j, Y ϕ j 0 for all j = 1,..., M. (iii) There exists a symmetric M M matrix Y with trace(y ) = 0 such that ϕ j, Y ϕ j > 0 for all j = 1,..., M.
10 Scalable frames in R 2 and R 3 Background Scalable frames Characterization of scalable frames Figures show sample regions of vectors of a non-scalable frame in R 2 and R 3. (a) (b) (c) Figure : (a) shows a sample region of vectors of a non-scalable frame in R 2. (b) and (c) show examples of sets in C 3 which determine sample regions in R 3.
11 Scalable frames and Farkas s lemma Background Scalable frames Characterization of scalable frames Setting Let F : R N R d, d := (N 1)(N + 2)/2, defined by F 0 (x) F 1 (x) F (x) =. F N 1 (x) x 2 1 x 2 2 x k x k+1 x 2 1 x 2 3 F 0 (x) =.,..., F x k x k+2 k(x) =. x 2 1 x 2 N x k x N and F 0 (x) R N 1, F k (x) R N k, k = 1, 2,..., N 1.
12 Scalable frames and Farkas s lemma Background Scalable frames Characterization of scalable frames Theorem (G. Kutyniok, F. Philipp, K.O. (2013)) Φ = {ϕ k } M k=1 RN is scalable if and only if F (Φ)u = 0 has a nonnegative non trivial solution, where F (Φ) is the d M matrix whose k th row is F (ϕ k ). This is equivalent to 0 being in the relative interior of the convex polytope whose extreme points are {F (ϕ k )} M k=1.
13 Some questions Frames and scalable frames Background Scalable frames Characterization of scalable frames Question Let Φ = {ϕ k } M k=1 RN be a frame. 1 If Φ is scalable, how to find the corresponding weights? 2 Can one find intrinsic measures of scalability? 3 In particular, if a frame is not scalable, how far it is to be so?
14 Some questions Frames and scalable frames Background Scalable frames Characterization of scalable frames Question Let Φ = {ϕ k } M k=1 RN be a frame. 1 If Φ is scalable, how to find the corresponding weights? 2 Can one find intrinsic measures of scalability? 3 In particular, if a frame is not scalable, how far it is to be so?
15 Some questions Frames and scalable frames Background Scalable frames Characterization of scalable frames Question Let Φ = {ϕ k } M k=1 RN be a frame. 1 If Φ is scalable, how to find the corresponding weights? 2 Can one find intrinsic measures of scalability? 3 In particular, if a frame is not scalable, how far it is to be so?
16 Fritz John s Theorem Frames and scalable frames Fritz John s ellipsoid theorem and scalable frames Distance to the cone of nonnegative diagonal matrices Distance to the set of scalable frames Theorem (F. John (1948)) Let K B = B(0, 1) be a convex body with nonempty interior. There exits a unique ellipsoid E min of minimal volume containing K. Moreover, E min = B if and only if there exist {λ k } m k=1 (0, ) and {u k } m k=1 K SN 1, m N + 1 such that (i) m k=1 λ ku k = 0 (ii) x = m k=1 λ k x, u k u k, x R N where K is the boundary of K and S N 1 is the unit sphere in R N. In particular, the points u k are contact points of K and S N 1.
17 Fritz John s ellipsoid theorem and scalable frames Distance to the cone of nonnegative diagonal matrices Distance to the set of scalable frames F. John s characterization of scalable frames Setting Let Φ = {ϕ k } M k=1 SN 1 be a frame for R N. We apply F. John s theorem to the convex body K = P Φ = conv({±ϕ k } M k=1 ). Let E Φ denote the ellipsoid of minimal volume containing P Φ, and V Φ = Vol(E Φ )/ω N where ω N is the volume of the euclidean unit ball. Theorem (X. Chen, R. Wang, K.O. (2014)) Let Φ = {ϕ k } M k=1 SN 1 be a frame. Then Φ is scalable if and only if V Φ = 1. In this case, the ellipsoid E Φ of minimal volume containing P Φ = conv({±ϕ k } M k=1 ) is the euclidean unit ball B.
18 Fritz John s ellipsoid theorem and scalable frames Distance to the cone of nonnegative diagonal matrices Distance to the set of scalable frames F. John s characterization of scalable frames Setting Let Φ = {ϕ k } M k=1 SN 1 be a frame for R N. We apply F. John s theorem to the convex body K = P Φ = conv({±ϕ k } M k=1 ). Let E Φ denote the ellipsoid of minimal volume containing P Φ, and V Φ = Vol(E Φ )/ω N where ω N is the volume of the euclidean unit ball. Theorem (X. Chen, R. Wang, K.O. (2014)) Let Φ = {ϕ k } M k=1 SN 1 be a frame. Then Φ is scalable if and only if V Φ = 1. In this case, the ellipsoid E Φ of minimal volume containing P Φ = conv({±ϕ k } M k=1 ) is the euclidean unit ball B.
19 Reformulating the scalability problem Fritz John s ellipsoid theorem and scalable frames Distance to the cone of nonnegative diagonal matrices Distance to the set of scalable frames Setting Φ = {ϕ i } M i=1 is scalable {c i } M i=1 [0, ) : ΦCΦ T = I, where C = diag(c i ). M C Φ = {ΦCΦ T = c i ϕ i ϕ T i : c i 0} i=1 is the (closed) cone generated by {ϕ i ϕ T i }M i=1. Φ = {ϕ i } M i=1 is scalable I C Φ. D Φ := min C 0 diagonal ΦCΦ T I F
20 Reformulating the scalability problem Fritz John s ellipsoid theorem and scalable frames Distance to the cone of nonnegative diagonal matrices Distance to the set of scalable frames Setting Φ = {ϕ i } M i=1 is scalable {c i } M i=1 [0, ) : ΦCΦ T = I, where C = diag(c i ). M C Φ = {ΦCΦ T = c i ϕ i ϕ T i : c i 0} i=1 is the (closed) cone generated by {ϕ i ϕ T i }M i=1. Φ = {ϕ i } M i=1 is scalable I C Φ. D Φ := min C 0 diagonal ΦCΦ T I F
21 Reformulating the scalability problem Fritz John s ellipsoid theorem and scalable frames Distance to the cone of nonnegative diagonal matrices Distance to the set of scalable frames Setting Φ = {ϕ i } M i=1 is scalable {c i } M i=1 [0, ) : ΦCΦ T = I, where C = diag(c i ). M C Φ = {ΦCΦ T = c i ϕ i ϕ T i : c i 0} i=1 is the (closed) cone generated by {ϕ i ϕ T i }M i=1. Φ = {ϕ i } M i=1 is scalable I C Φ. D Φ := min C 0 diagonal ΦCΦ T I F
22 Comparing D Φ to the frame potential Fritz John s ellipsoid theorem and scalable frames Distance to the cone of nonnegative diagonal matrices Distance to the set of scalable frames Proposition (X. Chen, R. Wang, K.O. (2014)) (a) Φ is scalable if and only if D Φ = 0. (b) If Φ = {ϕ k } M k=1 RN is a unit norm frame we have D 2 Φ N M 2 FP(Φ), where FP(Φ) is the frame potential of Φ.
23 Comparing the measures of scalability Fritz John s ellipsoid theorem and scalable frames Distance to the cone of nonnegative diagonal matrices Distance to the set of scalable frames Theorem (X. Chen, R. Wang, K.O. (2014)) Let Φ = {ϕ k } M k=1 RN is a unit norm frame, then N(1 D 2 Φ ) N D 2 Φ V 4/N Φ N(N 1 D2 Φ ) (N 1)(N D 2 Φ ) 1, where the leftmost inequality requires D Φ < 1. Consequently, V Φ 1 is equivalent to D Φ 0.
24 Fritz John s ellipsoid theorem and scalable frames Distance to the cone of nonnegative diagonal matrices Distance to the set of scalable frames Values of V Φ and D Φ for randomly generated frames of M vectors in R 4. 1 Frames of size Frames of size V Φ 0.5 V Φ D Φ D Φ Figure : Relation between V Φ and D Φ with M = 11, 20. The black line indicates the upper bound in the last theorem, while the red dash line indicates the lower bound.
25 Fritz John s ellipsoid theorem and scalable frames Distance to the cone of nonnegative diagonal matrices Distance to the set of scalable frames Projecting a frame onto the scalable frames Setting We denote the set of scalable frames of M vectors in R N by Sc(M, N). Given a unit norm frame Φ = {ϕ k } M k=1 RN, let d Φ := inf Φ Ψ F. Ψ Sc(M,N) Proposition (X. Chen, R. Wang, K.O. (2014)) If Φ = {ϕ k } M k=1 RN is a unit norm frame such that d Φ < 1 then there exists ˆΦ Sc(M, N) such that Φ ˆΦ F = d Φ.
26 Fritz John s ellipsoid theorem and scalable frames Distance to the cone of nonnegative diagonal matrices Distance to the set of scalable frames Projecting a frame onto the scalable frames Setting We denote the set of scalable frames of M vectors in R N by Sc(M, N). Given a unit norm frame Φ = {ϕ k } M k=1 RN, let d Φ := inf Φ Ψ F. Ψ Sc(M,N) Proposition (X. Chen, R. Wang, K.O. (2014)) If Φ = {ϕ k } M k=1 RN is a unit norm frame such that d Φ < 1 then there exists ˆΦ Sc(M, N) such that Φ ˆΦ F = d Φ.
27 Comparing the measures of scalability Fritz John s ellipsoid theorem and scalable frames Distance to the cone of nonnegative diagonal matrices Distance to the set of scalable frames Theorem (X. Chen, R. Wang, K.O. (2014)) Let Φ = {ϕ k } M k=1 RN is a unit norm frame and assume that d Φ < 1. Then with K := min{m, N(N+1) 2 } and ω := D Φ + K we have D Φ ω + ω 2 D 2 Φ ( d Φ KN 1 V 2/N Φ Consequently, we can bound d Φ below and above by expressions of D Φ or expressions of V Φ. ).
28 Approximating with scalable frames Theorem (X. Chen, R. Wang, K.O. (2014)) Let Φ = {ϕ k } M k=1 RN is a unit norm frame and assume that d Φ 1 2 (1 + K) 1. Let ˆΦ be given by, ˆΦ = arg inf Ψ Sc(M,N) Φ Ψ F, and let E Φ = E(X) be the minimal ellipsoid of Φ, where X 1 = M i=1 ρ iϕ i ϕ T i. Then there exists a (constructible) scalable frame Φ = { ϕ i } M i=1 which is a good approximation to Φ in the following sense: where K = min{m, N(N+1) 2 }. Φ Φ F = K NO(d Φ ),
29 Probability of a frame to be scalable Theorem (X. Chen, R. Wang, K.O. (2013)) Given Φ = {ϕ i } M i=1 RN, be a frame such that each frame vector ϕ i is drawn independently and uniformly from S N 1, if P M,N indicates the probability of Φ being scalable, then (a) P M,N = 0, when M < N(N+1) 2, (b) P M,N > 0, when M N(N+1) 2, (c) 1 C(N) ( 1 A N 1 ) M ) M N α PM,N 1 (1 A N 1 arccos(1/ N), where C(N) is the number of caps with angular radius 1 2 arccos N 1 N needed to cover S N 1. Consequently, lim M P M,N = 1.
30 Frames and scalable frames J. Cahill and X. Chen, A note on scalable frames, Proceedings of the 10th International Conference on Sampling Theory and Applications, pp X. Chen, K. A. Okoudjou, and R. Wang,, preprint. M. S. Copenhaver, Y. H. Kim, C. Logan, K. Mayfield, S. K. Narayan, and J. Sheperd, Diagram vectors and tight frame scaling in finite dimensions, Oper. Matrices, 8, no.1 (2014), G. Kutyniok, K. A. Okoudjou, F. Philipp, and K. E. Tuley, Scalable frames, Linear Algebra Appl., 438 (2013), G. Kutyniok, K. A. Okoudjou, F. Philipp, Scalable frames and convex geometry, Contemp. Math., to appear. F. John, Extremum problems with inequalities as subsidiary conditions, Studies and Essays Presented to R. Courant on his 60 th Birthday, January 8, 1948, Interscience Publishers, Inc., New York, N. Y., 1948.
31 Thank You! okoudjou
Preconditioning techniques in frame theory and probabilistic frames
Preconditioning techniques in frame theory and probabilistic frames Department of Mathematics & Norbert Wiener Center University of Maryland, College Park AMS Short Course on Finite Frame Theory: A Complete
More informationOn Optimal Frame Conditioners
On Optimal Frame Conditioners Chae A. Clark Department of Mathematics University of Maryland, College Park Email: cclark18@math.umd.edu Kasso A. Okoudjou Department of Mathematics University of Maryland,
More informationPreconditioning of Frames
Preconditioning of Frames Gitta Kutyniok a, Kasso A. Okoudjou b, and Friedrich Philipp a a Technische Universität Berlin, Institut für Mathematik, Strasse des 17. Juni 136, 10623 Berlin, Germany b University
More informationScalable Frames and Convex Geometry
Scalable Frames and Convex Geometry Gitta Kutyniok, Kasso A. Okoudjou, and Friedrich Philipp Abstract. The recently introduced and characterized scalable frames can be considered as those frames which
More informationPreconditioning techniques in frame theory and probabilistic frames
Proceedings of Symposia in Applied Mathematics Preconditioning techniques in frame theory and probabilistic frames Kasso A. Okoudjou Abstract. In this chapter we survey two topics that have recently been
More informationPRECONDITIONING TECHNIQUES IN FRAME THEORY AND PROBABILISTIC FRAMES
PRECONDITIONING TECHNIQUES IN FRAME THEORY AND PROBABILISTIC FRAMES KASSO A. OKOUDJOU Abstract. In this chapter we survey two topics that have recently been investigated in frame theory. First, we give
More informationPRECONDITIONING TECHNIQUES IN FRAME THEORY AND PROBABILISTIC FRAMES
PRECONDITIONING TECHNIQUES IN FRAME THEORY AND PROBABILISTIC FRAMES KASSO A. OKOUDJOU Abstract. These notes have a dual goal. On the one hand we shall give an overview of the recently introduced class
More informationarxiv: v1 [math.fa] 9 Jun 2014
MEASURES OF SCALABILITY XUEMEI CHE, GITTA KUTYIOK, KASSO A. OKOUDJOU, FRIEDRICH PHILIPP, AD ROGROG WAG arxiv:1406.137v1 [math.fa] 9 Jun 014 Abstract. Scalable frames are frames with the property that the
More informationDeviation Measures and Normals of Convex Bodies
Beiträge zur Algebra und Geometrie Contributions to Algebra Geometry Volume 45 (2004), No. 1, 155-167. Deviation Measures Normals of Convex Bodies Dedicated to Professor August Florian on the occasion
More informationPARTIAL REGULARITY OF BRENIER SOLUTIONS OF THE MONGE-AMPÈRE EQUATION
PARTIAL REGULARITY OF BRENIER SOLUTIONS OF THE MONGE-AMPÈRE EQUATION ALESSIO FIGALLI AND YOUNG-HEON KIM Abstract. Given Ω, Λ R n two bounded open sets, and f and g two probability densities concentrated
More informationOn John type ellipsoids
On John type ellipsoids B. Klartag Tel Aviv University Abstract Given an arbitrary convex symmetric body K R n, we construct a natural and non-trivial continuous map u K which associates ellipsoids to
More informationLinear Algebra and its Applications
Linear Algebra and its Applications 439 (2013) 1330 1339 Contents lists available at SciVerse ScienceDirect Linear Algebra and its Applications journal homepage: www.elsevier.com/locate/laa Maximum robustness
More informationNorms and embeddings of classes of positive semidefinite matrices
Norms and embeddings of classes of positive semidefinite matrices Radu Balan Department of Mathematics, Center for Scientific Computation and Mathematical Modeling and the Norbert Wiener Center for Applied
More informationEE/ACM Applications of Convex Optimization in Signal Processing and Communications Lecture 17
EE/ACM 150 - Applications of Convex Optimization in Signal Processing and Communications Lecture 17 Andre Tkacenko Signal Processing Research Group Jet Propulsion Laboratory May 29, 2012 Andre Tkacenko
More informationConstructing Tight Gabor Frames using CAZAC Sequences
Constructing Tight Gabor Frames using CAZAC Sequences Mark Magsino mmagsino@math.umd.edu Norbert Wiener Center for Harmonic Analysis and Applications Department of Mathematics University of Maryland, College
More informationShih-sen Chang, Yeol Je Cho, and Haiyun Zhou
J. Korean Math. Soc. 38 (2001), No. 6, pp. 1245 1260 DEMI-CLOSED PRINCIPLE AND WEAK CONVERGENCE PROBLEMS FOR ASYMPTOTICALLY NONEXPANSIVE MAPPINGS Shih-sen Chang, Yeol Je Cho, and Haiyun Zhou Abstract.
More informationIn English, this means that if we travel on a straight line between any two points in C, then we never leave C.
Convex sets In this section, we will be introduced to some of the mathematical fundamentals of convex sets. In order to motivate some of the definitions, we will look at the closest point problem from
More informationLecture 3. Random Fourier measurements
Lecture 3. Random Fourier measurements 1 Sampling from Fourier matrices 2 Law of Large Numbers and its operator-valued versions 3 Frames. Rudelson s Selection Theorem Sampling from Fourier matrices Our
More informationNew Lower Bounds on the Stability Number of a Graph
New Lower Bounds on the Stability Number of a Graph E. Alper Yıldırım June 27, 2007 Abstract Given a simple, undirected graph G, Motzkin and Straus [Canadian Journal of Mathematics, 17 (1965), 533 540]
More informationOn supporting hyperplanes to convex bodies
On supporting hyperplanes to convex bodies Alessio Figalli, Young-Heon Kim, and Robert J. McCann July 5, 211 Abstract Given a convex set and an interior point close to the boundary, we prove the existence
More informationA functional model for commuting pairs of contractions and the symmetrized bidisc
A functional model for commuting pairs of contractions and the symmetrized bidisc Nicholas Young Leeds and Newcastle Universities Lecture 2 The symmetrized bidisc Γ and Γ-contractions St Petersburg, June
More informationReconstruction from Anisotropic Random Measurements
Reconstruction from Anisotropic Random Measurements Mark Rudelson and Shuheng Zhou The University of Michigan, Ann Arbor Coding, Complexity, and Sparsity Workshop, 013 Ann Arbor, Michigan August 7, 013
More informationConvex Sets. Prof. Dan A. Simovici UMB
Convex Sets Prof. Dan A. Simovici UMB 1 / 57 Outline 1 Closures, Interiors, Borders of Sets in R n 2 Segments and Convex Sets 3 Properties of the Class of Convex Sets 4 Closure and Interior Points of Convex
More informationGlobal Maxwellians over All Space and Their Relation to Conserved Quantites of Classical Kinetic Equations
Global Maxwellians over All Space and Their Relation to Conserved Quantites of Classical Kinetic Equations C. David Levermore Department of Mathematics and Institute for Physical Science and Technology
More informationLOCAL AND GLOBAL STABILITY OF FUSION FRAMES
LOCAL AND GLOBAL STABILITY OF FUSION FRAMES Jerry Emidih Norbert Wiener Center Department of Mathematics University of Maryland, College Park November 22 2016 OUTLINE 1 INTRO 2 3 4 5 OUTLINE 1 INTRO 2
More informationRecall that any inner product space V has an associated norm defined by
Hilbert Spaces Recall that any inner product space V has an associated norm defined by v = v v. Thus an inner product space can be viewed as a special kind of normed vector space. In particular every inner
More informationPOSITIVE MAP AS DIFFERENCE OF TWO COMPLETELY POSITIVE OR SUPER-POSITIVE MAPS
Adv. Oper. Theory 3 (2018), no. 1, 53 60 http://doi.org/10.22034/aot.1702-1129 ISSN: 2538-225X (electronic) http://aot-math.org POSITIVE MAP AS DIFFERENCE OF TWO COMPLETELY POSITIVE OR SUPER-POSITIVE MAPS
More informationAN ELEMENTARY PROOF OF THE SPECTRAL RADIUS FORMULA FOR MATRICES
AN ELEMENTARY PROOF OF THE SPECTRAL RADIUS FORMULA FOR MATRICES JOEL A. TROPP Abstract. We present an elementary proof that the spectral radius of a matrix A may be obtained using the formula ρ(a) lim
More informationRectangular Young tableaux and the Jacobi ensemble
Rectangular Young tableaux and the Jacobi ensemble Philippe Marchal October 20, 2015 Abstract It has been shown by Pittel and Romik that the random surface associated with a large rectangular Young tableau
More informationNumerical range and random matrices
Numerical range and random matrices Karol Życzkowski in collaboration with P. Gawron, J. Miszczak, Z. Pucha la (Gliwice), C. Dunkl (Virginia), J. Holbrook (Guelph), B. Collins (Ottawa) and A. Litvak (Edmonton)
More informationSEMI-INNER PRODUCTS AND THE NUMERICAL RADIUS OF BOUNDED LINEAR OPERATORS IN HILBERT SPACES
SEMI-INNER PRODUCTS AND THE NUMERICAL RADIUS OF BOUNDED LINEAR OPERATORS IN HILBERT SPACES S.S. DRAGOMIR Abstract. The main aim of this paper is to establish some connections that exist between the numerical
More informationTopics in Theoretical Computer Science: An Algorithmist's Toolkit Fall 2007
MIT OpenCourseWare http://ocw.mit.edu 18.409 Topics in Theoretical Computer Science: An Algorithmist's Toolkit Fall 2007 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms.
More informationarxiv: v1 [cs.it] 20 Oct 2014
FRAMES FOR SUBSPACES OF C N MATTHEW HIRN, DAVID WIDEMANN arxiv:1410.5206v1 [cs.it] 20 Oct 2014 Abstract. We present a theory of finite frames for subspaces of C N. The definition of a subspace frame is
More informationConstant Amplitude and Zero Autocorrelation Sequences and Single Pixel Camera Imaging
Constant Amplitude and Zero Autocorrelation Sequences and Single Pixel Camera Imaging Mark Magsino mmagsino@math.umd.edu Norbert Wiener Center for Harmonic Analysis and Applications Department of Mathematics
More informationConvexity Properties of The Cone of Nonnegative Polynomials
Convexity Properties of The Cone of Nonnegative Polynomials Grigoriy Blekherman November 00 Abstract We study metric properties of the cone of homogeneous non-negative multivariate polynomials and the
More informationLinear Algebra Massoud Malek
CSUEB Linear Algebra Massoud Malek Inner Product and Normed Space In all that follows, the n n identity matrix is denoted by I n, the n n zero matrix by Z n, and the zero vector by θ n An inner product
More informationIntroduction to Optimization Techniques. Nonlinear Optimization in Function Spaces
Introduction to Optimization Techniques Nonlinear Optimization in Function Spaces X : T : Gateaux and Fréchet Differentials Gateaux and Fréchet Differentials a vector space, Y : a normed space transformation
More informationTHE PERTURBATION BOUND FOR THE SPECTRAL RADIUS OF A NON-NEGATIVE TENSOR
THE PERTURBATION BOUND FOR THE SPECTRAL RADIUS OF A NON-NEGATIVE TENSOR WEN LI AND MICHAEL K. NG Abstract. In this paper, we study the perturbation bound for the spectral radius of an m th - order n-dimensional
More informationarxiv: v1 [math.oc] 14 Oct 2014
arxiv:110.3571v1 [math.oc] 1 Oct 01 An Improved Analysis of Semidefinite Approximation Bound for Nonconvex Nonhomogeneous Quadratic Optimization with Ellipsoid Constraints Yong Hsia a, Shu Wang a, Zi Xu
More informationConvex Geometry. Carsten Schütt
Convex Geometry Carsten Schütt November 25, 2006 2 Contents 0.1 Convex sets... 4 0.2 Separation.... 9 0.3 Extreme points..... 15 0.4 Blaschke selection principle... 18 0.5 Polytopes and polyhedra.... 23
More informationMath Introduction to Numerical Analysis - Class Notes. Fernando Guevara Vasquez. Version Date: January 17, 2012.
Math 5620 - Introduction to Numerical Analysis - Class Notes Fernando Guevara Vasquez Version 1990. Date: January 17, 2012. 3 Contents 1. Disclaimer 4 Chapter 1. Iterative methods for solving linear systems
More informationThe Geometric Approach for Computing the Joint Spectral Radius
Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference 2005 Seville, Spain, December 12-15, 2005 TuB08.2 The Geometric Approach for Computing the Joint Spectral
More informationSteiner s formula and large deviations theory
Steiner s formula and large deviations theory Venkat Anantharam EECS Department University of California, Berkeley May 19, 2015 Simons Conference on Networks and Stochastic Geometry Blanton Museum of Art
More informationThe Ellipsoid Algorithm
The Ellipsoid Algorithm John E. Mitchell Department of Mathematical Sciences RPI, Troy, NY 12180 USA 9 February 2018 Mitchell The Ellipsoid Algorithm 1 / 28 Introduction Outline 1 Introduction 2 Assumptions
More informationA NOTE ON LINEAR FUNCTIONAL NORMS
A NOTE ON LINEAR FUNCTIONAL NORMS YIFEI PAN AND MEI WANG Abstract. For a vector u in a normed linear space, Hahn-Banach Theorem provides the existence of a linear functional f, f(u) = u such that f = 1.
More informationIntroduction and Preliminaries
Chapter 1 Introduction and Preliminaries This chapter serves two purposes. The first purpose is to prepare the readers for the more systematic development in later chapters of methods of real analysis
More informationOptimality Conditions for Nonsmooth Convex Optimization
Optimality Conditions for Nonsmooth Convex Optimization Sangkyun Lee Oct 22, 2014 Let us consider a convex function f : R n R, where R is the extended real field, R := R {, + }, which is proper (f never
More informationInequality Constraints
Chapter 2 Inequality Constraints 2.1 Optimality Conditions Early in multivariate calculus we learn the significance of differentiability in finding minimizers. In this section we begin our study of the
More informationConvex Geometry. Otto-von-Guericke Universität Magdeburg. Applications of the Brascamp-Lieb and Barthe inequalities. Exercise 12.
Applications of the Brascamp-Lieb and Barthe inequalities Exercise 12.1 Show that if m Ker M i {0} then both BL-I) and B-I) hold trivially. Exercise 12.2 Let λ 0, 1) and let f, g, h : R 0 R 0 be measurable
More informationIntroduction to Real Analysis Alternative Chapter 1
Christopher Heil Introduction to Real Analysis Alternative Chapter 1 A Primer on Norms and Banach Spaces Last Updated: March 10, 2018 c 2018 by Christopher Heil Chapter 1 A Primer on Norms and Banach Spaces
More informationASYMPTOTICALLY NONEXPANSIVE MAPPINGS IN MODULAR FUNCTION SPACES ABSTRACT
ASYMPTOTICALLY NONEXPANSIVE MAPPINGS IN MODULAR FUNCTION SPACES T. DOMINGUEZ-BENAVIDES, M.A. KHAMSI AND S. SAMADI ABSTRACT In this paper, we prove that if ρ is a convex, σ-finite modular function satisfying
More informationINDUSTRIAL MATHEMATICS INSTITUTE. B.S. Kashin and V.N. Temlyakov. IMI Preprint Series. Department of Mathematics University of South Carolina
INDUSTRIAL MATHEMATICS INSTITUTE 2007:08 A remark on compressed sensing B.S. Kashin and V.N. Temlyakov IMI Preprint Series Department of Mathematics University of South Carolina A remark on compressed
More informationGenerating Functions of Switched Linear Systems: Analysis, Computation, and Stability Applications
IEEE-TAC FP--5 Generating Functions of Switched Linear Systems: Analysis, Computation, and Stability Applications Jianghai Hu, Member, IEEE, Jinglai Shen, Member, IEEE, and Wei Zhang, Member, IEEE Abstract
More informationSo reconstruction requires inverting the frame operator which is often difficult or impossible in practice. It follows that for all ϕ H we have
CONSTRUCTING INFINITE TIGHT FRAMES PETER G. CASAZZA, MATT FICKUS, MANUEL LEON AND JANET C. TREMAIN Abstract. For finite and infinite dimensional Hilbert spaces H we classify the sequences of positive real
More informationUniqueness of the Solutions of Some Completion Problems
Uniqueness of the Solutions of Some Completion Problems Chi-Kwong Li and Tom Milligan Abstract We determine the conditions for uniqueness of the solutions of several completion problems including the positive
More informationFast Angular Synchronization for Phase Retrieval via Incomplete Information
Fast Angular Synchronization for Phase Retrieval via Incomplete Information Aditya Viswanathan a and Mark Iwen b a Department of Mathematics, Michigan State University; b Department of Mathematics & Department
More informationLecture 7: Positive Semidefinite Matrices
Lecture 7: Positive Semidefinite Matrices Rajat Mittal IIT Kanpur The main aim of this lecture note is to prepare your background for semidefinite programming. We have already seen some linear algebra.
More informationMathematics 530. Practice Problems. n + 1 }
Department of Mathematical Sciences University of Delaware Prof. T. Angell October 19, 2015 Mathematics 530 Practice Problems 1. Recall that an indifference relation on a partially ordered set is defined
More informationU.C. Berkeley CS294: Spectral Methods and Expanders Handout 11 Luca Trevisan February 29, 2016
U.C. Berkeley CS294: Spectral Methods and Expanders Handout Luca Trevisan February 29, 206 Lecture : ARV In which we introduce semi-definite programming and a semi-definite programming relaxation of sparsest
More informationChapter 2: Preliminaries and elements of convex analysis
Chapter 2: Preliminaries and elements of convex analysis Edoardo Amaldi DEIB Politecnico di Milano edoardo.amaldi@polimi.it Website: http://home.deib.polimi.it/amaldi/opt-14-15.shtml Academic year 2014-15
More informationAssignment 1: From the Definition of Convexity to Helley Theorem
Assignment 1: From the Definition of Convexity to Helley Theorem Exercise 1 Mark in the following list the sets which are convex: 1. {x R 2 : x 1 + i 2 x 2 1, i = 1,..., 10} 2. {x R 2 : x 2 1 + 2ix 1x
More informationOn positive maps in quantum information.
On positive maps in quantum information. Wladyslaw Adam Majewski Instytut Fizyki Teoretycznej i Astrofizyki, UG ul. Wita Stwosza 57, 80-952 Gdańsk, Poland e-mail: fizwam@univ.gda.pl IFTiA Gdańsk University
More informationMoment Measures. Bo az Klartag. Tel Aviv University. Talk at the asymptotic geometric analysis seminar. Tel Aviv, May 2013
Tel Aviv University Talk at the asymptotic geometric analysis seminar Tel Aviv, May 2013 Joint work with Dario Cordero-Erausquin. A bijection We present a correspondence between convex functions and Borel
More information4. Algebra and Duality
4-1 Algebra and Duality P. Parrilo and S. Lall, CDC 2003 2003.12.07.01 4. Algebra and Duality Example: non-convex polynomial optimization Weak duality and duality gap The dual is not intrinsic The cone
More informationAn Inverse Problem for Gibbs Fields with Hard Core Potential
An Inverse Problem for Gibbs Fields with Hard Core Potential Leonid Koralov Department of Mathematics University of Maryland College Park, MD 20742-4015 koralov@math.umd.edu Abstract It is well known that
More informationVector spaces. DS-GA 1013 / MATH-GA 2824 Optimization-based Data Analysis.
Vector spaces DS-GA 1013 / MATH-GA 2824 Optimization-based Data Analysis http://www.cims.nyu.edu/~cfgranda/pages/obda_fall17/index.html Carlos Fernandez-Granda Vector space Consists of: A set V A scalar
More informationSparse Matrices in Frame Theory
Noname manuscript No. (will be inserted by the editor) Sparse Matrices in Frame Theory Felix Krahmer Gitta Kutyniok Jakob Lemvig Received: date / Accepted: date Abstract Frame theory is closely intertwined
More informationTutorials in Optimization. Richard Socher
Tutorials in Optimization Richard Socher July 20, 2008 CONTENTS 1 Contents 1 Linear Algebra: Bilinear Form - A Simple Optimization Problem 2 1.1 Definitions........................................ 2 1.2
More informationarxiv: v1 [math.co] 10 Aug 2016
POLYTOPES OF STOCHASTIC TENSORS HAIXIA CHANG 1, VEHBI E. PAKSOY 2 AND FUZHEN ZHANG 2 arxiv:1608.03203v1 [math.co] 10 Aug 2016 Abstract. Considering n n n stochastic tensors (a ijk ) (i.e., nonnegative
More informationThe moment-lp and moment-sos approaches
The moment-lp and moment-sos approaches LAAS-CNRS and Institute of Mathematics, Toulouse, France CIRM, November 2013 Semidefinite Programming Why polynomial optimization? LP- and SDP- CERTIFICATES of POSITIVITY
More informationA NEW IDENTITY FOR PARSEVAL FRAMES
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 A NEW IDENTITY FOR PARSEVAL FRAMES RADU BALAN, PETER G. CASAZZA, DAN EDIDIN, AND GITTA KUTYNIOK
More informationACCURATE SOLUTION ESTIMATE AND ASYMPTOTIC BEHAVIOR OF NONLINEAR DISCRETE SYSTEM
Sutra: International Journal of Mathematical Science Education c Technomathematics Research Foundation Vol. 1, No. 1,9-15, 2008 ACCURATE SOLUTION ESTIMATE AND ASYMPTOTIC BEHAVIOR OF NONLINEAR DISCRETE
More informationGeometric problems. Chapter Projection on a set. The distance of a point x 0 R n to a closed set C R n, in the norm, is defined as
Chapter 8 Geometric problems 8.1 Projection on a set The distance of a point x 0 R n to a closed set C R n, in the norm, is defined as dist(x 0,C) = inf{ x 0 x x C}. The infimum here is always achieved.
More informationA glimpse into convex geometry. A glimpse into convex geometry
A glimpse into convex geometry 5 \ þ ÏŒÆ Two basis reference: 1. Keith Ball, An elementary introduction to modern convex geometry 2. Chuanming Zong, What is known about unit cubes Convex geometry lies
More informationTheorems. Theorem 1.11: Greatest-Lower-Bound Property. Theorem 1.20: The Archimedean property of. Theorem 1.21: -th Root of Real Numbers
Page 1 Theorems Wednesday, May 9, 2018 12:53 AM Theorem 1.11: Greatest-Lower-Bound Property Suppose is an ordered set with the least-upper-bound property Suppose, and is bounded below be the set of lower
More informationExistence and Approximation of Fixed Points of. Bregman Nonexpansive Operators. Banach Spaces
Existence and Approximation of Fixed Points of in Reflexive Banach Spaces Department of Mathematics The Technion Israel Institute of Technology Haifa 22.07.2010 Joint work with Prof. Simeon Reich General
More informationFUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES. 1. Compact Sets
FUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES CHRISTOPHER HEIL 1. Compact Sets Definition 1.1 (Compact and Totally Bounded Sets). Let X be a metric space, and let E X be
More informationThe Trust Region Subproblem with Non-Intersecting Linear Constraints
The Trust Region Subproblem with Non-Intersecting Linear Constraints Samuel Burer Boshi Yang February 21, 2013 Abstract This paper studies an extended trust region subproblem (etrs in which the trust region
More informationPerron method for the Dirichlet problem.
Introduzione alle equazioni alle derivate parziali, Laurea Magistrale in Matematica Perron method for the Dirichlet problem. We approach the question of existence of solution u C (Ω) C(Ω) of the Dirichlet
More informationESTIMATES FOR THE MONGE-AMPERE EQUATION
GLOBAL W 2,p ESTIMATES FOR THE MONGE-AMPERE EQUATION O. SAVIN Abstract. We use a localization property of boundary sections for solutions to the Monge-Ampere equation obtain global W 2,p estimates under
More informationPROBLEMS. (b) (Polarization Identity) Show that in any inner product space
1 Professor Carl Cowen Math 54600 Fall 09 PROBLEMS 1. (Geometry in Inner Product Spaces) (a) (Parallelogram Law) Show that in any inner product space x + y 2 + x y 2 = 2( x 2 + y 2 ). (b) (Polarization
More informationCompression on the digital unit sphere
16th Conference on Applied Mathematics, Univ. of Central Oklahoma, Electronic Journal of Differential Equations, Conf. 07, 001, pp. 1 4. ISSN: 107-6691. URL: http://ejde.math.swt.edu or http://ejde.math.unt.edu
More informationOptimal compression of approximate Euclidean distances
Optimal compression of approximate Euclidean distances Noga Alon 1 Bo az Klartag 2 Abstract Let X be a set of n points of norm at most 1 in the Euclidean space R k, and suppose ε > 0. An ε-distance sketch
More informationG-frames in Hilbert Modules Over Pro-C*-algebras
Available online at http://ijim.srbiau.ac.ir/ Int. J. Industrial Mathematics (ISSN 2008-5621) Vol. 9, No. 4, 2017 Article ID IJIM-00744, 9 pages Research Article G-frames in Hilbert Modules Over Pro-C*-algebras
More informationReview of Some Concepts from Linear Algebra: Part 2
Review of Some Concepts from Linear Algebra: Part 2 Department of Mathematics Boise State University January 16, 2019 Math 566 Linear Algebra Review: Part 2 January 16, 2019 1 / 22 Vector spaces A set
More informationLecture Note 1: Background
ECE5463: Introduction to Robotics Lecture Note 1: Background Prof. Wei Zhang Department of Electrical and Computer Engineering Ohio State University Columbus, Ohio, USA Spring 2018 Lecture 1 (ECE5463 Sp18)
More informationKaczmarz algorithm in Hilbert space
STUDIA MATHEMATICA 169 (2) (2005) Kaczmarz algorithm in Hilbert space by Rainis Haller (Tartu) and Ryszard Szwarc (Wrocław) Abstract The aim of the Kaczmarz algorithm is to reconstruct an element in a
More informationBounded Matrix Rigidity and John s Theorem
Electronic Colloquium on Computational Complexity, Report No. 93 (2016) Bounded Matrix Rigidity and John s Theorem Cyrus Rashtchian Department of Computer Science & Engineering University of Washington,
More informationGeneral Relativity by Robert M. Wald Chapter 2: Manifolds and Tensor Fields
General Relativity by Robert M. Wald Chapter 2: Manifolds and Tensor Fields 2.1. Manifolds Note. An event is a point in spacetime. In prerelativity physics and in special relativity, the space of all events
More information8 Change of variables
Tel Aviv University, 2013/14 Analysis-III,IV 111 8 Change of variables 8a What is the problem................ 111 8b Examples and exercises............... 113 8c Differentiating set functions............
More informationSome topological properties of fuzzy cone metric spaces
Available online at www.tjnsa.com J. Nonlinear Sci. Appl. 9 2016, 799 805 Research Article Some topological properties of fuzzy cone metric spaces Tarkan Öner Department of Mathematics, Faculty of Sciences,
More informationLecture 5. Ch. 5, Norms for vectors and matrices. Norms for vectors and matrices Why?
KTH ROYAL INSTITUTE OF TECHNOLOGY Norms for vectors and matrices Why? Lecture 5 Ch. 5, Norms for vectors and matrices Emil Björnson/Magnus Jansson/Mats Bengtsson April 27, 2016 Problem: Measure size of
More informationAn Alternative Proof of Primitivity of Indecomposable Nonnegative Matrices with a Positive Trace
An Alternative Proof of Primitivity of Indecomposable Nonnegative Matrices with a Positive Trace Takao Fujimoto Abstract. This research memorandum is aimed at presenting an alternative proof to a well
More informationSome Properties of the Augmented Lagrangian in Cone Constrained Optimization
MATHEMATICS OF OPERATIONS RESEARCH Vol. 29, No. 3, August 2004, pp. 479 491 issn 0364-765X eissn 1526-5471 04 2903 0479 informs doi 10.1287/moor.1040.0103 2004 INFORMS Some Properties of the Augmented
More informationOn duality gap in linear conic problems
On duality gap in linear conic problems C. Zălinescu Abstract In their paper Duality of linear conic problems A. Shapiro and A. Nemirovski considered two possible properties (A) and (B) for dual linear
More informationSemidefinite Programming
Chapter 2 Semidefinite Programming 2.0.1 Semi-definite programming (SDP) Given C M n, A i M n, i = 1, 2,..., m, and b R m, the semi-definite programming problem is to find a matrix X M n for the optimization
More informationEXISTENCE OF SOLUTIONS FOR CROSS CRITICAL EXPONENTIAL N-LAPLACIAN SYSTEMS
Electronic Journal of Differential Equations, Vol. 2014 (2014), o. 28, pp. 1 10. ISS: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu EXISTECE OF SOLUTIOS
More informationSparsity and spectral properties of dual frames
Sparsity and spectral properties of dual frames Felix Krahmer Georg-August-Universität Göttingen, Institut für Numerische und Angewandte Mathematik, 37083 Göttingen, Germany Gitta Kutyniok Technische Universität
More informationConstructing optimal polynomial meshes on planar starlike domains
Constructing optimal polynomial meshes on planar starlike domains F. Piazzon and M. Vianello 1 Dept. of Mathematics, University of Padova (Italy) October 13, 2014 Abstract We construct polynomial norming
More informationLP Duality: outline. Duality theory for Linear Programming. alternatives. optimization I Idea: polyhedra
LP Duality: outline I Motivation and definition of a dual LP I Weak duality I Separating hyperplane theorem and theorems of the alternatives I Strong duality and complementary slackness I Using duality
More information