Finite Frames and Sigma Delta Quantization
|
|
- Roxanne Osborne
- 5 years ago
- Views:
Transcription
1 Finite Frames and Sigma Delta Quantization with Matt Fickus Alex Powell and Özgür Yilmaz Aram Tangboondouangjit Finite Frames and Sigma Delta Quantization p.1/57
2 Frames Frames F = {e n } N n=1 for d-dimensional Hilbert space H, e.g., H = K d, where K = C or K = R. Any spanning set of vectors in K d is a frame for K d. Finite Frames and Sigma Delta Quantization p.2/57
3 Frames Frames F = {e n } N n=1 for d-dimensional Hilbert space H, e.g., H = K d, where K = C or K = R. Any spanning set of vectors in K d is a frame for K d. F K d is A-tight if x K d, A x 2 = N x, e n 2 n=1 Finite Frames and Sigma Delta Quantization p.2/57
4 Frames Frames F = {e n } N n=1 for d-dimensional Hilbert space H, e.g., H = K d, where K = C or K = R. Any spanning set of vectors in K d is a frame for K d. F K d is A-tight if x K d, A x 2 = N x, e n 2 n=1 If {e n } N n=1 is a finite unit norm tight frame (FUN-TF) for K d, with frame constant A, then A = N/d. Finite Frames and Sigma Delta Quantization p.2/57
5 Frames Frames F = {e n } N n=1 for d-dimensional Hilbert space H, e.g., H = K d, where K = C or K = R. Any spanning set of vectors in K d is a frame for K d. F K d is A-tight if x K d, A x 2 = N x, e n 2 n=1 If {e n } N n=1 is a finite unit norm tight frame (FUN-TF) for K d, with frame constant A, then A = N/d. Let {e n } be an A-unit norm TF for any separable Hilbert space H. A 1, and A = 1 {e n } is an ONB for H (Vitali). Finite Frames and Sigma Delta Quantization p.2/57
6 The geometry of finite tight frames The vertices of platonic solids are FUN-TFs. Finite Frames and Sigma Delta Quantization p.3/57
7 The geometry of finite tight frames The vertices of platonic solids are FUN-TFs. Points that constitute FUN-TFs do not have to be equidistributed, e.g., ONBs and Grassmanian frames. Finite Frames and Sigma Delta Quantization p.3/57
8 The geometry of finite tight frames The vertices of platonic solids are FUN-TFs. Points that constitute FUN-TFs do not have to be equidistributed, e.g., ONBs and Grassmanian frames. FUN-TFs can be characterized as minimizers of a frame potential function (with Fickus) analogous to Finite Frames and Sigma Delta Quantization p.3/57
9 The geometry of finite tight frames The vertices of platonic solids are FUN-TFs. Points that constitute FUN-TFs do not have to be equidistributed, e.g., ONBs and Grassmanian frames. FUN-TFs can be characterized as minimizers of a frame potential function (with Fickus) analogous to Coulomb s Law. Finite Frames and Sigma Delta Quantization p.3/57
10 Frame force and potential energy F : S d 1 S d 1 \ D R d P : S d 1 S d 1 \ D R, where P(a, b) = p( a b ), Coulomb force p (x) = xf(x) CF(a, b) = (a b)/ a b 3, f(x) = 1/x 3 Finite Frames and Sigma Delta Quantization p.4/57
11 Frame force and potential energy F : S d 1 S d 1 \ D R d P : S d 1 S d 1 \ D R, where P(a, b) = p( a b ), Coulomb force p (x) = xf(x) Frame force CF(a, b) = (a b)/ a b 3, f(x) = 1/x 3 FF(a, b) =< a, b > (a b), f(x) = 1 x 2 /2 Finite Frames and Sigma Delta Quantization p.4/57
12 Frame force and potential energy F : S d 1 S d 1 \ D R d P : S d 1 S d 1 \ D R, where P(a, b) = p( a b ), Coulomb force p (x) = xf(x) CF(a, b) = (a b)/ a b 3, f(x) = 1/x 3 Frame force FF(a, b) =< a, b > (a b), f(x) = 1 x 2 /2 Total potential energy for the frame force TFP({x n }) = Σ N m=1σ N n=1 < x m, x n > 2 Finite Frames and Sigma Delta Quantization p.4/57
13 Characterization of FUN-TFs For the Hilbert space H = R d and N, consider {x n } N 1 S d 1... S d 1 and TFP({x n }) = Σ N m=1σ N n=1 < x m, x n > 2. Theorem Let N d. The minimum value of TFP, for the frame force and N variables, is N; and the minimizers are precisely the orthonormal sets of N elements for R d. Finite Frames and Sigma Delta Quantization p.5/57
14 Characterization of FUN-TFs For the Hilbert space H = R d and N, consider {x n } N 1 S d 1... S d 1 and TFP({x n }) = Σ N m=1σ N n=1 < x m, x n > 2. Theorem Let N d. The minimum value of TFP, for the frame force and N variables, is N; and the minimizers are precisely the orthonormal sets of N elements for R d. Theorem Let N d. The minimum value of TFP, for the frame force and N variables, is N 2 /d; and the minimizers are precisely the FUN-TFs of N elements for R d. Finite Frames and Sigma Delta Quantization p.5/57
15 Characterization of FUN-TFs For the Hilbert space H = R d and N, consider {x n } N 1 S d 1... S d 1 and TFP({x n }) = Σ N m=1σ N n=1 < x m, x n > 2. Theorem Let N d. The minimum value of TFP, for the frame force and N variables, is N; and the minimizers are precisely the orthonormal sets of N elements for R d. Theorem Let N d. The minimum value of TFP, for the frame force and N variables, is N 2 /d; and the minimizers are precisely the FUN-TFs of N elements for R d. Problem Find FUN-TFs analytically, effectively, computationally. Finite Frames and Sigma Delta Quantization p.5/57
16 Given u 0 and {x n } n=1 u n = u n-1 + x n -q n q n = Q(u n-1 + x n ) u n = u n-1 + x n -q n x n D + Q qn First Order Σ Finite Frames and Sigma Delta Quantization p.6/57
17 A quantization problem Qualitative Problem Obtain digital representations for class X, suitable for storage, transmission, recovery. Quantitative Problem Find dictionary {e n } X: 1. Sampling [continuous range K is not digital] x X, x = x n e n, x n K (R or C). 2. Quantization. Construct finite alphabet A and Q : X { q n e n : q n A K} such that x n q n and/or x Qx small. Methods Fine quantization, e.g., PCM. Take q n A close to given x n. Reasonable in 16-bit (65,536 levels) digital audio. Coarse quantization, e.g., Σ. Use fewer bits to exploit redundancy. Finite Frames and Sigma Delta Quantization p.7/57
18 Quantization A δ K = {( K + 1/2)δ, ( K + 3/2)δ,...,( 1/2)δ, (1/2)δ,..., (K 1/2)δ} 6 (K 1/2)δ 4 2 δ δ { { q u 0 3δ/2 δ/2 δ { u u axis 2 4 f(u)=u ( K+1/2)δ Q(u) = arg min{ u q : q A δ K} = q u Finite Frames and Sigma Delta Quantization p.8/57
19 Setting Let x R d, x 1. Suppose F = {e n } N n=1 is a FUN-TF for R d. Thus, we have x = d N x n e n N n=1 with x n = x, e n. Note: A = N/d, and x n 1. Goal Find a good quantizer, given A δ K = {( K )δ, ( K )δ,...,(k 1 2 )δ}. Example Consider the alphabet A 2 1 = { 1, 1}, and E 7 = {e n } 7 n=1, with e n = (cos( 2nπ 7 ), sin(2nπ 7 )). Finite Frames and Sigma Delta Quantization p.9/57
20 A 2 1 = { 1, 1} and E Γ A 2 1 (E 7 ) = { n=1 q ne n : q n A 2 1} Finite Frames and Sigma Delta Quantization p.10/57
21 PCM Replace x n q n = arg{min x n q : q A δ K }. Then x = d N satisfies N q n e n n=1 x x d N N (x n q n )e n d N n=1 δ 2 N e n = d 2 δ. n=1 Not good! Bennett s white noise assumption Assume that (η n ) = (x n q n ) is a sequence of independent, identically distributed random variables with mean 0 and variance δ2 12. Then the mean square error (MSE) satisfies MSE = E x x 2 d 12A δ2 = (dδ)2 12N Finite Frames and Sigma Delta Quantization p.11/57
22 Remarks 1. Bennett s white noise assumption is not rigorous, and not true in certain cases. 2. The MSE behaves like C/A. In the case of Σ quantization of bandlimited functions, the MSE is O(A 3 ) (Gray, Güntürk and Thao, Bin Han and Chen). PCM does not utilize redundancy efficiently. 3. The MSE only tells us about the average performance of a quantizer. Finite Frames and Sigma Delta Quantization p.12/57
23 A 2 1 = { 1, 1} and E 7 Let x = ( 1 3, 1 2 ), E 7 = {(cos( 2nπ 7 A = { 1, 1}. ), sin(2nπ 7 ))}7 n=1. Consider quantizers with Finite Frames and Sigma Delta Quantization p.13/57
24 A 2 1 = { 1, 1} and E 7 Let x = ( 1 3, 1 2 ), E 7 = {(cos( 2nπ 7 A = { 1, 1}. 1.5 ), sin(2nπ 7 ))}7 n=1. Consider quantizers with Finite Frames and Sigma Delta Quantization p.14/57
25 A 2 1 = { 1, 1} and E 7 Let x = ( 1 3, 1 2 ), E 7 = {(cos( 2nπ 7 A = { 1, 1}. 1.5 ), sin(2nπ 7 ))}7 n=1. Consider quantizers with 1 x PCM Finite Frames and Sigma Delta Quantization p.15/57
26 A 2 1 = { 1, 1} and E 7 Let x = ( 1 3, 1 2 ), E 7 = {(cos( 2nπ 7 A = { 1, 1}. 1.5 ), sin(2nπ 7 ))}7 n=1. Consider quantizers with 1 x PCM 0.5 x Σ Finite Frames and Sigma Delta Quantization p.16/57
27 Σ quantizers for finite frames Let F = {e n } N n=1 be a frame for R d, x R d. Define x n = x, e n. Fix the ordering p, a permutation of {1, 2,...,N}. Quantizer alphabet A δ K Quantizer function Q(u) = arg{min u q : q A δ K} Define the first-order Σ quantizer with ordering p and with the quantizer alphabet A δ K by means of the following recursion. u n u n 1 = x p(n) q n q n = Q(u n 1 + x p(n) ) where u 0 = 0 and n = 1, 2,...,N. Finite Frames and Sigma Delta Quantization p.17/57
28 Stability The following stability result is used to prove error estimates. Proposition If the frame coefficients {x n } N n=1 satisfy x n (K 1/2)δ, n = 1,, N, then the state sequence {u n } N n=0 generated by the first-order Σ quantizer with alphabet A δ K satisfies u n δ/2, n = 1,, N. The first-order Σ scheme is equivalent to u n = n x p(j) j=1 n q j, n = 1,, N. j=1 Finite Frames and Sigma Delta Quantization p.18/57
29 Stability The following stability result is used to prove error estimates. Proposition If the frame coefficients {x n } N n=1 satisfy x n (K 1/2)δ, n = 1,, N, then the state sequence {u n } N n=0 generated by the first-order Σ quantizer with alphabet A δ K satisfies u n δ/2, n = 1,, N. The first-order Σ scheme is equivalent to u n = n x p(j) j=1 n q j, n = 1,, N. j=1 Stability results lead to tiling problems for higher order schemes. Finite Frames and Sigma Delta Quantization p.18/57
30 Error estimate Definition Let F = {e n } N n=1 be a frame for R d, and let p be a permutation of {1, 2,...,N}. The variation σ(f, p) is σ(f, p) = N 1 n=1 e p(n) e p(n+1). Finite Frames and Sigma Delta Quantization p.19/57
31 Error estimate Definition Let F = {e n } N n=1 be a frame for R d, and let p be a permutation of {1, 2,...,N}. The variation σ(f, p) is σ(f, p) = N 1 n=1 e p(n) e p(n+1). Theorem Let F = {e n } N n=1 be an A-FUN-TF for R d. The approximation x = d N q n e p(n) N n=1 generated by the first-order Σ quantizer with ordering p and with the quantizer alphabet A δ K satisfies x x (σ(f, p) + 1)d N δ 2. Finite Frames and Sigma Delta Quantization p.19/57
32 Order is important 0.2 Relative Frequency Relative Frequency Approximation Error Approximation Error Let E 7 be the FUN-TF for R 2 given by the 7th roots of unity. Randomly select 10,000 points in the unit ball of R 2. Quantize each point using the Σ scheme with alphabet A 1/4 4. The figures show histograms for x x when the frame coefficients are quantized in their natural order x 1, x 2, x 3, x 4, x 5, x 6, x 7 (left) and order x 1, x 4, x 7, x 3, x 6, x 2, x 5 (right). Finite Frames and Sigma Delta Quantization p.20/57
33 Even odd Approx. Error 5/N 5/N Frame size N E N = {e N n } N n=1, e N n = (cos(2πn/n), sin(2πn/n)). Let x = ( 1 π, 3 17 ). x = d N N x N n e N n, x N n = x, e N n. n=1 Let x N be the approximation given by the 1st order Σ quantizer with alphabet { 1, 1} and natural ordering. log-log plot of x x N. Finite Frames and Sigma Delta Quantization p.21/57
34 Improved estimates E N = {e N n } N n=1, Nth roots of unity FUN-TFs for R 2, x R d, x (K 1/2)δ. Quantize x = d N N x N n e N n, x N n = x, e N n n=1 using 1st order Σ scheme with alphabet A δ K. Theorem If N is even and large then x x δ log N. N 5/4 If N is odd and large then δ (2π+1)d δ N x x N 2. Remark The proof uses the analytic number theory approach developed by Sinan Güntürk, and the theorem is true more generally. Finite Frames and Sigma Delta Quantization p.22/57
35 Harmonic frames Zimmermann and Goyal, Kelner, Kovačević, Thao, Vetterli. H = C d. An harmonic frame {e n } N n=1 for H is defined by the rows of the Bessel map L which is the complex N-DFT N d matrix with N d columns removed. Finite Frames and Sigma Delta Quantization p.23/57
36 Harmonic frames Zimmermann and Goyal, Kelner, Kovačević, Thao, Vetterli. H = C d. An harmonic frame {e n } N n=1 for H is defined by the rows of the Bessel map L which is the complex N-DFT N d matrix with N d columns removed. H = R d, d even. The harmonic frame {e n } N n=1 is defined by the Bessel map L which is the N d matrix whose nth row is e N n = 2 d ( cos( 2πn N ), sin(2πn N ),...,cos(2π(d/2)n N ), sin( 2π(d/2)n ) ). N Finite Frames and Sigma Delta Quantization p.23/57
37 Harmonic frames Zimmermann and Goyal, Kelner, Kovačević, Thao, Vetterli. H = C d. An harmonic frame {e n } N n=1 for H is defined by the rows of the Bessel map L which is the complex N-DFT N d matrix with N d columns removed. H = R d, d even. The harmonic frame {e n } N n=1 is defined by the Bessel map L which is the N d matrix whose nth row is e N n = 2 d ( cos( 2πn N ), sin(2πn N ),...,cos(2π(d/2)n N ), sin( 2π(d/2)n ) ). N Harmonic frames are FUN-TFs. Finite Frames and Sigma Delta Quantization p.23/57
38 Harmonic frames Zimmermann and Goyal, Kelner, Kovačević, Thao, Vetterli. H = C d. An harmonic frame {e n } N n=1 for H is defined by the rows of the Bessel map L which is the complex N-DFT N d matrix with N d columns removed. H = R d, d even. The harmonic frame {e n } N n=1 is defined by the Bessel map L which is the N d matrix whose nth row is e N n = 2 d ( cos( 2πn N ), sin(2πn N ),...,cos(2π(d/2)n N ), sin( 2π(d/2)n ) ). N Harmonic frames are FUN-TFs. Let E N be the harmonic frame for R d and let p N be the identity permutation. Then N, σ(e N, p N ) πd(d + 1). Finite Frames and Sigma Delta Quantization p.23/57
39 Error estimate for harmonic frames Theorem Let E N be the harmonic frame for R d with frame bound N/d. Consider x R d, x 1, and suppose the approximation x of x is generated by a first-order Σ quantizer as before. Then x x d2 (d + 1) + d N δ 2. Hence, for harmonic frames (and all those with bounded variation), MSE Σ C d N 2 δ2. Finite Frames and Sigma Delta Quantization p.24/57
40 Error estimate for harmonic frames Theorem Let E N be the harmonic frame for R d with frame bound N/d. Consider x R d, x 1, and suppose the approximation x of x is generated by a first-order Σ quantizer as before. Then x x d2 (d + 1) + d N δ 2. Hence, for harmonic frames (and all those with bounded variation), MSE Σ C d N 2 δ2. This bound is clearly superior asymptotically to MSE PCM = (dδ)2 12N. Finite Frames and Sigma Delta Quantization p.24/57
41 Σ and optimal PCM The digital encoding MSE PCM = (dδ)2 12N in PCM format leaves open the possibility that decoding (reconstruction) could lead to Goyal, Vetterli, Thao (1998) proved MSE opt PCM O( 1 N ). MSE opt PCM C d N 2 δ2. Theorem The first order Σ scheme achieves the asymptotically optimal MSE PCM for harmonic frames. Finite Frames and Sigma Delta Quantization p.25/57
42 Uniform distribution and discrepancy A sequence (x n ) of real numbers is said to be uniformly distributed modulo 1 (u.d. mod 1) if 0 α < β 1, lim N 1 N N n=1 ½ [α,β) ({x n }) = β α, where {a} = a [a] denotes the fractional part of a real number a. Examples The following sequences are u.d. mod 1: 0 1, 0 2, 1 2, 0 3, 1 3, 2 3,..., 0 k, 1 k,..., k 1 k,... Finite Frames and Sigma Delta Quantization p.26/57
43 Uniform distribution and discrepancy A sequence (x n ) of real numbers is said to be uniformly distributed modulo 1 (u.d. mod 1) if 0 α < β 1, lim N 1 N N n=1 ½ [α,β) ({x n }) = β α, where {a} = a [a] denotes the fractional part of a real number a. Examples The following sequences are u.d. mod 1: 0 1, 0 2, 1 2, 0 3, 1 3, 2 3,..., 0 k, 1 k,..., k 1 k,... The sequence (nα) where α is an irrational number. Finite Frames and Sigma Delta Quantization p.26/57
44 Uniform distribution and discrepancy A sequence (x n ) of real numbers is said to be uniformly distributed modulo 1 (u.d. mod 1) if 0 α < β 1, lim N 1 N N n=1 ½ [α,β) ({x n }) = β α, where {a} = a [a] denotes the fractional part of a real number a. Examples The following sequences are u.d. mod 1: 0 1, 0 2, 1 2, 0 3, 1 3, 2 3,..., 0 k, 1 k,..., k 1 k,... The sequence (nα) where α is an irrational number. The sequence (log F n ) where F n denotes the Fibonacci sequence F 0 = 0, F 1 = 1, F n = F n 1 + F n 2 for n 2. Finite Frames and Sigma Delta Quantization p.26/57
45 Criteria for uniform distribution Weyl Criterion: The sequence (x n ) is u.d. mod 1 if and only if for all integers h 0 1 N lim e 2πihx n = 0. N N n=1 Finite Frames and Sigma Delta Quantization p.27/57
46 Criteria for uniform distribution Weyl Criterion: The sequence (x n ) is u.d. mod 1 if and only if for all integers h 0 1 N lim e 2πihx n = 0. N N n=1 The sequence (x n ) is u.d. mod 1 if and only if for every Riemann-integrable function f on [0, 1], the following equation holds: lim N 1 N N f({x n }) = n=1 1 0 f(x)dx. Finite Frames and Sigma Delta Quantization p.27/57
47 Discrepancy The discrepancy D N of a finite sequence x 1,...,x N of real numbers is defined by D N = D N (x 1,...,x N ) = sup 0 α<β 1 1 N N ½ [α,β) ({x n }) (β α). n=1 We define D N by D N = D N(x 1,...,x N ) = sup 0<α 1 1 N N ½ [0,α) ({x n }) α. n=1 The discrepancy of a sequence measures how well the sequence is distributed over a unit interval. Finite Frames and Sigma Delta Quantization p.28/57
48 Properties of discrepancy The sequence ω is u.d. mod 1 if and only if lim N D N (ω) = 0. Finite Frames and Sigma Delta Quantization p.29/57
49 Properties of discrepancy The sequence ω is u.d. mod 1 if and only if lim N D N (ω) = 0. For any sequence of N numbers we have 1/N D N 1. Finite Frames and Sigma Delta Quantization p.29/57
50 Properties of discrepancy The sequence ω is u.d. mod 1 if and only if lim N D N (ω) = 0. For any sequence of N numbers we have 1/N D N 1. The discrepancy D N and DN are related by the inequality DN D N 2DN. Finite Frames and Sigma Delta Quantization p.29/57
51 Properties of discrepancy The sequence ω is u.d. mod 1 if and only if lim N D N (ω) = 0. For any sequence of N numbers we have 1/N D N 1. The discrepancy D N and DN are related by the inequality DN D N 2DN. Explicit formula for D N : If x 1 x 2 x N are N numbers in [0, 1), x 0 = 0, and x N+1 = 1, then D N = max j=0,...,n max( x j j/n, x j+1 j/n ). Finite Frames and Sigma Delta Quantization p.29/57
52 Estimation of discrepancy LeVeque inequality Let x 1,...,x N be a finite sequence of real numbers. Then D N ( 6 π 2 h=1 1 h 2 1 N N n=1 e 2πihx n 1/3 2). Finite Frames and Sigma Delta Quantization p.30/57
53 Estimation of discrepancy LeVeque inequality Let x 1,...,x N be a finite sequence of real numbers. Then D N ( 6 π 2 h=1 1 h 2 1 N N n=1 e 2πihx n 1/3 2). Erdös-Turán inequality Let m be a positive integer and x 1,...,x N a finite sequence of real numbers, then D N 6 m π m k=1 ( 1 k 1 ) 1 m + 1 N N n=1 e 2πikx n. Finite Frames and Sigma Delta Quantization p.30/57
54 Estimation of discrepancy LeVeque inequality Let x 1,...,x N be a finite sequence of real numbers. Then D N ( 6 π 2 h=1 1 h 2 1 N N n=1 e 2πihx n 1/3 2). Erdös-Turán inequality Let m be a positive integer and x 1,...,x N a finite sequence of real numbers, then D N 6 m π m k=1 ( 1 k 1 ) 1 m + 1 N N n=1 e 2πikx n. Corollary of Erdös-Turán inequality There exists C such that for all m > 0 and for any x 1,...,x N R, ( 1 m D N C m + h=1 1 1 h N N n=1 e 2πihx n ). Finite Frames and Sigma Delta Quantization p.30/57
55 Proof of Erdös-Turán inequality Assume WLOG that x 1 x 2 x N are numbers in [0, 1). Set N (x) = 1 N N n=1 ½ [0,x) (x n ) x for 0 x 1 and extend this function with period 1 to R. Note a typical graph of N (x), with x 1 = 1/8, x 2 = 2.3/8, x 3 = 5.4/8, x 4 = 7.2/8. Finite Frames and Sigma Delta Quantization p.31/57
56 Proof of E-T inequality (continued) Assume that 1 0 N (x) = 0. Finite Frames and Sigma Delta Quantization p.32/57
57 Proof of E-T inequality (continued) Assume that 1 0 N (x) = 0. Set S h = 1 N N n=1 e2πihx n for h Z. Then by computing the Fourier coefficients of N (x) we have for integer h 0 S h 2πih = 1 0 N (x)e 2πihx dx. Finite Frames and Sigma Delta Quantization p.32/57
58 Proof of E-T inequality (continued) Let m be a positive integer and a a real number. Then m (m + 1 h )e 2πiha S h 2πih h= m = 1 a a ( m N (x + a) h= m (m + 1 h )e 2πihx )dx, where means 0 is not included in the range of the sum. Finite Frames and Sigma Delta Quantization p.33/57
59 Proof of E-T inequality (continued) Let m be a positive integer and a a real number. Then m (m + 1 h )e 2πiha S h 2πih h= m = 1 a a ( m N (x + a) h= m (m + 1 h )e 2πihx )dx, where means 0 is not included in the range of the sum. Because of the periodicity of the integrand, the last integral can be taken over [ 1/2, 1/2]. Finite Frames and Sigma Delta Quantization p.33/57
60 Proof of E-T inequality (continued) Note the following discrete Fejér kernel: m h= m (m + 1 h )e 2πihx = sin2 (m + 1)πx sin 2. πx Finite Frames and Sigma Delta Quantization p.34/57
61 Proof of E-T inequality (continued) Note the following discrete Fejér kernel: m h= m (m + 1 h )e 2πihx = sin2 (m + 1)πx sin 2. πx We have 1/2 1/2 N (x + a) sin2 (m + 1)πx sin 2 dx πx 1 m (m + 1 h ) S h 2π h = 1 π h= m m (m + 1 h) S h h. h=1 Finite Frames and Sigma Delta Quantization p.34/57
62 Proof of E-T inequality (continued) From the nature of the graph of N (x) we either have N (b) = DN or N(b + 0) = lim x b + N (x) = DN for some b [0, 1]. We will deal with the second case. Finite Frames and Sigma Delta Quantization p.35/57
63 Proof of E-T inequality (continued) From the nature of the graph of N (x) we either have N (b) = DN or N(b + 0) = lim x b + N (x) = DN for some b [0, 1]. We will deal with the second case. For b < t b + DN, we have N (t) = DN + N (t) N (b + 0) DN + b t. Finite Frames and Sigma Delta Quantization p.35/57
64 Proof of E-T inequality (continued) From the nature of the graph of N (x) we either have N (b) = DN or N(b + 0) = lim x b + N (x) = DN for some b [0, 1]. We will deal with the second case. For b < t b + DN, we have N (t) = DN + N (t) N (b + 0) DN + b t. Choose a = b D N. Then for x < 1 2 D N, N (x + a) D N + b x a = 1 2 D N x. Finite Frames and Sigma Delta Quantization p.35/57
65 Proof of E-T inequality (continued) 4 (x) D4 slope = 4(t) 4 (b+0) t b 1 b 0 t 1 x slope = 1 Finite Frames and Sigma Delta Quantization p.36/57
66 Proof of E-T inequality (continued) Breaking the integral into [ 1 2, D N 2 ], [ D N 2, D N 2 ], [ D N 2, 1 2 ] and using the symmetry argument and the inequality for x [0, π/2], we obtain sinx 2 π x, Finite Frames and Sigma Delta Quantization p.37/57
67 Proof of E-T inequality (continued) ( D N /2 1/2 + D N /2 1/2 + DN /2 DN /2 ) N (x + a) sin2 (m + 1)πx sin 2 πx dx D N /2 D N /2 ( D N D N = D N = D N 1/2 D N D N /2 0 1/2 0 m (m + 1)πx x)sin2 sin 2 dx DN πx sin 2 (m + 1)πx sin 2 dx πx sin 2 (m + 1)πx sin 2 dx 2DN πx sin 2 (m + 1)πx sin 2 dx 3DN πx D N 3D N 1/2 D N /2 dx 1/2 1/2 D N /2 1/2 sin 2 (m + 1)πx sin 2 dx πx sin 2 (m + 1)πx DN /2 sin 2 dx πx sin 2 (m + 1)πx DN /2 sin 2 dx πx 4x > m + 1 D 2 N Finite Frames and Sigma Delta Quantization p.38/57
68 Proof of E-T inequality (continued) D N 3 m π Since D N 2DN, we have D N 6 m π m ( 1 h 1 m + 1 ) S h. h=1 m ( 1 h 1 m + 1 ) S h. h=1 Finite Frames and Sigma Delta Quantization p.39/57
69 Proof of E-T inequality (continued) D N 3 m π Since D N 2DN, we have D N 6 m π m ( 1 h 1 m + 1 ) S h. h=1 m ( 1 h 1 m + 1 ) S h. h=1 Show that for any finite sequence x 1,...,x N in [0, 1), there exists c [0, 1) such that {x 1 + c},..., {x N + c} satisfies 1 0 N (x)dx = 0. This completes the proof of the Erdös-Turán inequality. Finite Frames and Sigma Delta Quantization p.39/57
70 Koksma inequality Theorem Let f be a function of bounded variation on [0, 1] with total variation Var(f) and let x 1,...,x N be given points in [0, 1) with discrepancy D N. Then 1 N N f(x n ) n=1 1 0 f(t)dt Var(f) D N. Proof Assume that x 1 x 2 x N are points in [0, 1). Set x 0 = 0 and x N+1 = 1. Riemann-Stieltjes integration by parts gives 1 N N f(x n ) n=1 1 0 f(t)dt = N n=0 xn+1 x n (t n N )df(t). Finite Frames and Sigma Delta Quantization p.40/57
71 Proof of K inequality (continued) For a fixed n with 0 n N and for x n t x n+1, one can prove t n ( N max x n n N, x n+1 n ) N DN. Since D N D N, the Koksma inequality follows by elementary properties of the Riemann-Stieltjes integral. Finite Frames and Sigma Delta Quantization p.41/57
72 Additional results and definitions Exponential sum theorem Let a and b be integers with a < b, and let f be twice differentiable on [a, b] with f (x) ρ > 0 for x [a, b]. Then b n=a e 2πif(n) ( f (b) f (a) + 2)( 4 ρ + 3). The class of bandlimited functions B Ω consists of all real valued functions f L (R) whose f (as a distribution) is a finite Borel measure supported on [ Ω, Ω]. By the Paley-Wiener theorem, each element of B Ω is the restriction of an entire function to the real line. A function h B Ω is said to belong to the class M Ω if h L (R) and all zeros of h on [0, 1] are simple. Finite Frames and Sigma Delta Quantization p.42/57
73 Bernstein inequality If f B Ω then for all integers r 0, f (r) Ω r f. Finite Frames and Sigma Delta Quantization p.43/57
74 Bernstein inequality If f B Ω then for all integers r 0, f (r) Ω r f. Theorem (Güntürk) Let f B Ω. Then for each λ > 1, there exists an analytic function X λ B Ω such that for all t R, X λ (t) X λ (t 1) = f( t λ ) and there exists a constant C λ (f) > 0 such that X λ f( λ ) C λ (f) 1 λ. Finite Frames and Sigma Delta Quantization p.43/57
75 Theorem Let {F N } N=d be a family of unit norm tight frames for Rd, with F N = {e N n } N n=1. Suppose x R d satisfies x (K 1/2)δ for some positive integer K and δ > 0 in the Σ scheme. Let {x N n } N n=1 be the sequence of frame coefficients of x with respect to F N. If, for some Ω > 0, there exists h M Ω such that and if N is sufficiently large, then N and 1 n N, x N n = h(n/n), v N n C(x)δN 3/4 log N, where v N n = n j=1 un j and C(x) is a constant that depends on x. Finite Frames and Sigma Delta Quantization p.44/57
76 Proof of theorem For each N d, let u N n, for n = 1,...,N, be the state variables obtained from the Σ scheme and define Set u N 0 = 0. ũ N n = un n δ. Finite Frames and Sigma Delta Quantization p.45/57
77 Proof of theorem For each N d, let u N n, for n = 1,...,N, be the state variables obtained from the Σ scheme and define Set u N 0 = 0. Then, by the stability result, ũ N n = un n δ. ũ N n 1 2. Finite Frames and Sigma Delta Quantization p.45/57
78 Proof of theorem For each N d, let u N n, for n = 1,...,N, be the state variables obtained from the Σ scheme and define Set u N 0 = 0. Then, by the stability result, ũ N n = un n δ. ũ N n 1 2. Identify the interval [ 1/2, 1/2] with [0, 1] and apply Koksma s inequality: Finite Frames and Sigma Delta Quantization p.45/57
79 Proof of theorem (continued) vn N = δ n j=1 ũ N j = nδ 1 n n ũ N j j=1 1/2 1/2 y dy nδvar(x)d n (ũ N 1,...,ũ N n ) = nδd n (ũ N 1,...,ũ N n ) Next apply the Erdös-Turán inequality: There exists a constant C > 0 such that for all K N, ( 1 D n (ũ N 1,...,ũ N n ) C K + 1 n K k=1 1 k n j=1 e 2πikeuN j ). Finite Frames and Sigma Delta Quantization p.46/57
80 Proof of theorem (continued) Using the Güntürk s theorem, we have that for each integer N d there exists an analytic function X N B Ω such that for all 1 n N, X N (n) = u N n + c n δ/2, for some c n Z. Each c n has the same parity as n. Moreover, for all t R, X N(t) h( t N ) C N(x) N, for some constant C N (x) > 0. The Bernstein inequality yields for some constant C N (x) > 0. X N(t) 1 N h ( t N ) C N(x) N 2, Finite Frames and Sigma Delta Quantization p.47/57
81 Proof of theorem (continued) Let z 1 < z 2 < < z n be zeros of h in [0, 1]. Let 0 < α < 1 be a fixed constant to be determined later. Define intervals I j and J j by j = 1,...,n, I j = [Nz j N α, Nz j + N α ] j = 1,...,n 1, J j = [Nz j + N α, Nz j+1 N α ] J 0 = [1, Nz 1 N α ] and J n = [Nz n + N α, N]. Adjust intervals appropriately when z 1 = 0 or z n = 1. Finite Frames and Sigma Delta Quantization p.48/57
82 Proof of theorem (continued) Let z 1 < z 2 < < z n be zeros of h in [0, 1]. Let 0 < α < 1 be a fixed constant to be determined later. Define intervals I j and J j by j = 1,...,n, I j = [Nz j N α, Nz j + N α ] j = 1,...,n 1, J j = [Nz j + N α, Nz j+1 N α ] J 0 = [1, Nz 1 N α ] and J n = [Nz n + N α, N]. Adjust intervals appropriately when z 1 = 0 or z n = 1. When N is sufficiently large then J 0 I 1 J 1 I n J n = [1, N]. Finite Frames and Sigma Delta Quantization p.48/57
83 Proof of theorem (continued) J 0 I 1 J 1... I n J n 1 Nz 1 N α Nz 1 + N α Nz 2 N α Nz n N α Nz n + N α N Finite Frames and Sigma Delta Quantization p.49/57
84 Proof of theorem (continued) It follows from the properties of h M Ω that there exist constants C 1 (x), C 2 (x) and C 3 (x) such that for sufficiently large N and for all t J 0 J n, h ( t N ) C 1 1(x) N 1 α, X n(t) 1 C 2 (x) N 2 α, X N(t) C 3 (x). By the exponential sum theorem, we have that there exists a constant C(x) > 0 and an index N 0 such that for all N N 0 and k 1 n j=0 n N J j e 2πikeu N n k C(x)( N 1 α/2 + k δ δ ). Finite Frames and Sigma Delta Quantization p.50/57
85 Proof of theorem (continued) For all N d and k 1, n j=1 n N I j e 2πikeu N n 2n N α. There exists a constant C(x) > 0 such that for all k 1 and N N 0, n j=1 e 2πikeuN j C(x)(Nα + kn 1 α/2 δ + k δ ). Now choose α = 3/4 and K, an integer larger than N 1/4 0 and note that n k=1 1 k 1 + log n, n k=1 1 k 2 n. Finite Frames and Sigma Delta Quantization p.51/57
86 Proof of theorem (continued) Then there exist constants C 1 (x), C 2 (x), C 3 (x) > 0 such that for sufficiently large N ( 1 vn N nδc 1 (x) K + 1 n nδc 2 (x)( K k=1 1 N3/4 + N1/4 n ( N3/4 k + N1 3/8 δ ) k δ ) log N + 2N3/4 n δ + N1/4 nδ ) C 2 (x)( δn N 1/4 + δn3/4 log N + δn 3/4 + N 1/4 ) C 3 (x)δn 3/4 log N. This completes the proof of the theorem. Finite Frames and Sigma Delta Quantization p.52/57
87 Corollary hypotheses {F N } N=d be a family of unit norm tight frames for Rd, for which each F N = {e N n } N n=1 satisfies the zero sum condition. Suppose x R d satisfies x (K 1/2)δ for some positive integer K and δ > 0 in the Σ scheme. Let {x N n } N n=1 be the sequence of frame coefficients of x with respect to F N, and suppose there exists h M Ω, Ω > 0, such that N and 1 n N, x N n = h(n/n). Additionally, suppose that fn N = e N n e N n+1, n = 1,...,N, satisfies fn N c 1 N for some constant c 1 > 0 and fn N fn+1 N c 2 N, for some 2 constant c 2 > 0, and set u N 0 = 0 in the Σ scheme. Then Finite Frames and Sigma Delta Quantization p.53/57
88 Corollary conclusion If N is even and sufficiently large, then x x N C 1 (x) δ log N N 5/4, for some constant C 1 (x) > 0. If N is odd and sufficiently large, then C 2 (x) δ N x x N δd 2N (σ(f N, p N ) + 1), for some constant C 2 (x) > 0. Finite Frames and Sigma Delta Quantization p.54/57
89 Proof of corollary x x N = d N = d N ( N 1 n=1 ( N 2 n=1 u N n (e N n e N n+1) + u N Ne N N v N n (f N n f N n+1) + v N N 1f N N 1 + u N Ne N N ) ), where f N n = e N n e N n+1, v N n = n j=1 en j, vn 0 = 0. Finite Frames and Sigma Delta Quantization p.55/57
90 Proof of corollary x x N = d N = d N ( N 1 n=1 ( N 2 n=1 u N n (e N n e N n+1) + u N Ne N N v N n (f N n f N n+1) + v N N 1f N N 1 + u N Ne N N ) ), where f N n = e N n e N n+1, v N n = n j=1 en j, vn 0 = 0. By the Theorem, we have d N ( N 2 n=1 v N n (f N n f N n+1) + v N N 1f N N 1 for some constant C 1 (x) > 0. ) C 1 (x) δ log N N 5/4, Finite Frames and Sigma Delta Quantization p.55/57
91 Proof of corollary (continued) If N is even then u N N = 0 and so x x N C 1 (x) δ log N N 5/4, for some constant C 1 (x) > 0 and for sufficiently large N. If N is odd then u N N = δ/2 and we have, combining with previous results, C 2 (x) δ N x x N δd 2N (σ(f N, p N ) + 1), for some constant C 2 (x) > 0 and for sufficiently large N. This completes the proof of the Corollary. Finite Frames and Sigma Delta Quantization p.56/57
92 Finite Frames and Sigma Delta Quantization p.57/57
Waveform design and Sigma-Delta quantization
. p.1/41 Waveform design and Sigma-Delta quantization John J. Benedetto Norbert Wiener Center, Department of Mathematics University of Maryland, College Park http://www.norbertwiener.umd.edu . p.2/41 Outline
More informationFinite Frame Quantization
Finite Frame Quantization Liam Fowl University of Maryland August 21, 2018 1 / 38 Overview 1 Motivation 2 Background 3 PCM 4 First order Σ quantization 5 Higher order Σ quantization 6 Alternative Dual
More informationIN signal processing, one of the primary goals is to obtain a
Sigma-Delta (Σ ) quantization and finite frames John J. Benedetto, Alexander M. Powell, and Özgür Yılmaz Abstract The K-level Sigma-Delta (Σ ) scheme with step size δ is introduced as a technique for quantizing
More informationAnalog to digital conversion for finite frames
Analog to digital conversion for finite frames John J. Benedetto a, Alexander M. Powell b, and Özgür Yılmazc a Department of Mathematics, University of Maryland, College Park, MD, USA; b Applied and Computational
More informationABSTRACT NUMBER THEORETIC ASPECTS OF REFINING QUANTIZATION ERROR. Aram Tangboondouangjit Doctor of Philosophy, Department of Mathematics
ABSTRACT Title of dissertation: SIGMA-DELTA QUATIZATIO: UMBER THEORETIC ASPECTS OF REFIIG QUATIZATIO ERROR Aram Tangboondouangjit Doctor of Philosophy, 006 Dissertation directed by: Professor John J. Benedetto
More informationDistributed Noise Shaping of Signal Quantization
1 / 37 Distributed Noise Shaping of Signal Quantization Kung-Ching Lin Norbert Wiener Center Department of Mathematics University of Maryland, College Park September 18, 2017 2 / 37 Overview 1 Introduction
More informationIN signal processing, one of the primary goals is to obtain a
1990 IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 52, NO. 5, MAY 2006 Sigma Delta (61) Quantization Finite Frames John J. Benedetto, Alexer M. Powell, Özgür Yılmaz Abstract The -level Sigma Delta (61)
More informationComplex Sigma-Delta quantization algorithms for finite frames
Contemporary Mathematics Complex Sigma-Delta quantization algorithms for finite frames John J. Benedetto, Onur Oktay, and Aram Tangboondouangjit Abstract. We record the C-alphabet case for Σ quantization
More informationAPPROXIMATING A BANDLIMITED FUNCTION USING VERY COARSELY QUANTIZED DATA: IMPROVED ERROR ESTIMATES IN SIGMA-DELTA MODULATION
APPROXIMATING A BANDLIMITED FUNCTION USING VERY COARSELY QUANTIZED DATA: IMPROVED ERROR ESTIMATES IN SIGMA-DELTA MODULATION C. SİNAN GÜNTÜRK Abstract. Sigma-delta quantization is a method of representing
More informationSecond order Sigma-Delta (Σ ) quantization of finite frame expansions
Second order Sigma-Delta (Σ ) quantization of finite frame expansions John J. Benedetto Department of Mathematics, University of Maryland, College Park, MD 074 Alexander M. Powell Program in Applied and
More informationComplex Sigma-Delta quantization algorithms for finite frames
Contemporary Mathematics Complex Sigma-Delta quantization algorithms for finite frames John J. Benedetto, Onur Oktay, and Aram Tangboondouangjit Abstract. We record a C-alphabet case for Σ quantization
More informationWaveform design and quantum detection matched filtering
Waveform design and quantum detection matched filtering John J. Benedetto Norbert Wiener Center, Department of Mathematics University of Maryland, College Park http://www.norbertwiener.umd.edu Waveform
More informationOnur Oktay Doctor of Philosophy, Professor John J. Benedetto Department of Mathematics
ABSTRACT Title of dissertation: FRAME QUANTIZATION THEORY AND EQUIANGULAR TIGHT FRAMES Onur Oktay Doctor of Philosophy, 27 Dissertation directed by: Professor John J. Benedetto Department of Mathematics
More informationPCM Quantization Errors and the White Noise Hypothesis
ESI The Erwin Schrödinger International Boltzmanngasse 9 Institute for Mathematical Physics A-090 Wien, Austria PCM Quantization Errors and the White Noise Hypothesis David Jimenez Long Wang Yang Wang
More informationFinite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product
Chapter 4 Hilbert Spaces 4.1 Inner Product Spaces Inner Product Space. A complex vector space E is called an inner product space (or a pre-hilbert space, or a unitary space) if there is a mapping (, )
More informationA LeVeque-type lower bound for discrepancy
reprinted from Monte Carlo and Quasi-Monte Carlo Methods 998, H. Niederreiter and J. Spanier, eds., Springer-Verlag, 000, pp. 448-458. A LeVeque-type lower bound for discrepancy Francis Edward Su Department
More informationFourier Series. 1. Review of Linear Algebra
Fourier Series In this section we give a short introduction to Fourier Analysis. If you are interested in Fourier analysis and would like to know more detail, I highly recommend the following book: Fourier
More informationMATH 5640: Fourier Series
MATH 564: Fourier Series Hung Phan, UMass Lowell September, 8 Power Series A power series in the variable x is a series of the form a + a x + a x + = where the coefficients a, a,... are real or complex
More informationREAL AND COMPLEX ANALYSIS
REAL AND COMPLE ANALYSIS Third Edition Walter Rudin Professor of Mathematics University of Wisconsin, Madison Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any
More informationRandom encoding of quantized finite frame expansions
Random encoding of quantized finite frame expansions Mark Iwen a and Rayan Saab b a Department of Mathematics & Department of Electrical and Computer Engineering, Michigan State University; b Department
More informationSobolev Duals of Random Frames
Sobolev Duals of Random Frames C. Sinan Güntürk, Mark Lammers, 2 Alex Powell, 3 Rayan Saab, 4 Özgür Yılmaz 4 Courant Institute of Mathematical Sciences, New York University, NY, USA. 2 University of North
More informationBernoulli Polynomials
Chapter 4 Bernoulli Polynomials 4. Bernoulli Numbers The generating function for the Bernoulli numbers is x e x = n= B n n! xn. (4.) That is, we are to expand the left-hand side of this equation in powers
More informationNumerical Methods in Economics MIT Press, Chapter 9 Notes Quasi-Monte Carlo Methods. Kenneth L. Judd Hoover Institution.
1 Numerical Methods in Economics MIT Press, 1998 Chapter 9 Notes Quasi-Monte Carlo Methods Kenneth L. Judd Hoover Institution October 26, 2002 2 Quasi-Monte Carlo Methods Observation: MC uses random sequences
More informationANALOG-to-digital (A/D) conversion consists of two
IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 52, NO. 8, AUGUST 2006 3533 Robust and Practical Analog-to-Digital Conversion With Exponential Precision Ingrid Daubechies, Fellow, IEEE, and Özgür Yılmaz,
More informationMathematics 324 Riemann Zeta Function August 5, 2005
Mathematics 324 Riemann Zeta Function August 5, 25 In this note we give an introduction to the Riemann zeta function, which connects the ideas of real analysis with the arithmetic of the integers. Define
More informationSigma Delta Quantization for Compressed Sensing
Sigma Delta Quantization for Compressed Sensing C. Sinan Güntürk, 1 Mark Lammers, 2 Alex Powell, 3 Rayan Saab, 4 Özgür Yılmaz 4 1 Courant Institute of Mathematical Sciences, New York University, NY, USA.
More information3 hours UNIVERSITY OF MANCHESTER. 22nd May and. Electronic calculators may be used, provided that they cannot store text.
3 hours MATH40512 UNIVERSITY OF MANCHESTER DYNAMICAL SYSTEMS AND ERGODIC THEORY 22nd May 2007 9.45 12.45 Answer ALL four questions in SECTION A (40 marks in total) and THREE of the four questions in SECTION
More informationNORMAL NUMBERS AND UNIFORM DISTRIBUTION (WEEKS 1-3) OPEN PROBLEMS IN NUMBER THEORY SPRING 2018, TEL AVIV UNIVERSITY
ORMAL UMBERS AD UIFORM DISTRIBUTIO WEEKS -3 OPE PROBLEMS I UMBER THEORY SPRIG 28, TEL AVIV UIVERSITY Contents.. ormal numbers.2. Un-natural examples 2.3. ormality and uniform distribution 2.4. Weyl s criterion
More informationHarmonic Analysis of Two Problems in Signal Quantization and Compression
Harmonic Analysis of Two Problems in Signal Quantization and Compression C. S ınan Güntürk A Dissertation Presented to the Faculty of Princeton University in Candidacy for the Degree of Doctor of Philosophy
More informationTopics in Fourier analysis - Lecture 2.
Topics in Fourier analysis - Lecture 2. Akos Magyar 1 Infinite Fourier series. In this section we develop the basic theory of Fourier series of periodic functions of one variable, but only to the extent
More informationPreconditioning 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 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 informationSome basic elements of Probability Theory
Chapter I Some basic elements of Probability Theory 1 Terminology (and elementary observations Probability theory and the material covered in a basic Real Variables course have much in common. However
More informationMathematical Methods for Physics and Engineering
Mathematical Methods for Physics and Engineering Lecture notes for PDEs Sergei V. Shabanov Department of Mathematics, University of Florida, Gainesville, FL 32611 USA CHAPTER 1 The integration theory
More informationPoisson summation and the discrete Fourier transform John Kerl University of Arizona, Math 523B April 14, 2006
Poisson summation and the discrete Fourier transform John Kerl University of Arizona, Math 523B April 4, 2006 In Euclidean space, given a vector,... 2 ... we can put down a coordinate frame (say an orthonormal
More informationLATTICE QUANTIZATION ERROR FOR REDUNDANT REPRESENTATIONS
LATTICE QUANTIZATION ERROR FOR REDUNDANT REPRESENTATIONS SERGIY BORODACHOV AND YANG WANG Abstract. Redundant systems such as frames are often used to represent a signal for error correction, denoising
More informationAbstract. 2. We construct several transcendental numbers.
Abstract. We prove Liouville s Theorem for the order of approximation by rationals of real algebraic numbers. 2. We construct several transcendental numbers. 3. We define Poissonian Behaviour, and study
More informationIntroduction to Hilbert Space Frames
to Hilbert Space Frames May 15, 2009 to Hilbert Space Frames What is a frame? Motivation Coefficient Representations The Frame Condition Bases A linearly dependent frame An infinite dimensional frame Reconstructing
More informationA proof of the existence of good nested lattices
A proof of the existence of good nested lattices Dinesh Krithivasan and S. Sandeep Pradhan July 24, 2007 1 Introduction We show the existence of a sequence of nested lattices (Λ (n) 1, Λ(n) ) with Λ (n)
More informationChapter 3: Random Variables 1
Chapter 3: Random Variables 1 Yunghsiang S. Han Graduate Institute of Communication Engineering, National Taipei University Taiwan E-mail: yshan@mail.ntpu.edu.tw 1 Modified from the lecture notes by Prof.
More informationA Smorgasbord of Applications of Fourier Analysis to Number Theory
A Smorgasbord of Applications of Fourier Analysis to Number Theory by Daniel Baczkowski Uniform Distribution modulo Definition. Let {x} denote the fractional part of a real number x. A sequence (u n R
More informationPUTNAM TRAINING POLYNOMIALS. Exercises 1. Find a polynomial with integral coefficients whose zeros include
PUTNAM TRAINING POLYNOMIALS (Last updated: December 11, 2017) Remark. This is a list of exercises on polynomials. Miguel A. Lerma Exercises 1. Find a polynomial with integral coefficients whose zeros include
More informationbe the set of complex valued 2π-periodic functions f on R such that
. Fourier series. Definition.. Given a real number P, we say a complex valued function f on R is P -periodic if f(x + P ) f(x) for all x R. We let be the set of complex valued -periodic functions f on
More informationANALYSIS QUALIFYING EXAM FALL 2017: SOLUTIONS. 1 cos(nx) lim. n 2 x 2. g n (x) = 1 cos(nx) n 2 x 2. x 2.
ANALYSIS QUALIFYING EXAM FALL 27: SOLUTIONS Problem. Determine, with justification, the it cos(nx) n 2 x 2 dx. Solution. For an integer n >, define g n : (, ) R by Also define g : (, ) R by g(x) = g n
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 informationSection 11.1 Sequences
Math 152 c Lynch 1 of 8 Section 11.1 Sequences A sequence is a list of numbers written in a definite order: a 1, a 2, a 3,..., a n,... Notation. The sequence {a 1, a 2, a 3,...} can also be written {a
More informationINTRODUCTION TO REAL ANALYSIS II MATH 4332 BLECHER NOTES
INTRODUCTION TO REAL ANALYSIS II MATH 433 BLECHER NOTES. As in earlier classnotes. As in earlier classnotes (Fourier series) 3. Fourier series (continued) (NOTE: UNDERGRADS IN THE CLASS ARE NOT RESPONSIBLE
More informationAdvanced Calculus Math 127B, Winter 2005 Solutions: Final. nx2 1 + n 2 x, g n(x) = n2 x
. Define f n, g n : [, ] R by f n (x) = Advanced Calculus Math 27B, Winter 25 Solutions: Final nx2 + n 2 x, g n(x) = n2 x 2 + n 2 x. 2 Show that the sequences (f n ), (g n ) converge pointwise on [, ],
More informationStrictly Positive Definite Functions on the Circle
the Circle Princeton University Missouri State REU 2012 Definition A continuous function f : [0, π] R is said to be positive definite on S 1 if, for every N N and every set of N points x 1,..., x N on
More informationReal, Tight Frames with Maximal Robustness to Erasures
Real, Tight Frames with Maximal Robustness to Erasures Markus Püschel 1 and Jelena Kovačević 2,1 Departments of 1 ECE and 2 BME Carnegie Mellon University Pittsburgh, PA Email: pueschel@ece.cmu.edu, jelenak@cmu.edu
More informationAP Calculus (BC) Chapter 9 Test No Calculator Section Name: Date: Period:
WORKSHEET: Series, Taylor Series AP Calculus (BC) Chapter 9 Test No Calculator Section Name: Date: Period: 1 Part I. Multiple-Choice Questions (5 points each; please circle the correct answer.) 1. The
More information7: FOURIER SERIES STEVEN HEILMAN
7: FOURIER SERIES STEVE HEILMA Contents 1. Review 1 2. Introduction 1 3. Periodic Functions 2 4. Inner Products on Periodic Functions 3 5. Trigonometric Polynomials 5 6. Periodic Convolutions 7 7. Fourier
More informationSIGMA-DELTA QUANTIZATION ERRORS AND THE TRAVELING SALESMAN PROBLEM
SIGMA-DELTA QUATIZATIO ERRORS AD THE TRAVELIG SALESMA PROBLEM YAG WAG Abstract. In transmission, storaging and coding of digital signals we frequently perform A/D conversion using quantization. In this
More informationMath 115 ( ) Yum-Tong Siu 1. Derivation of the Poisson Kernel by Fourier Series and Convolution
Math 5 (006-007 Yum-Tong Siu. Derivation of the Poisson Kernel by Fourier Series and Convolution We are going to give a second derivation of the Poisson kernel by using Fourier series and convolution.
More informationMath 321 Final Examination April 1995 Notation used in this exam: N. (1) S N (f,x) = f(t)e int dt e inx.
Math 321 Final Examination April 1995 Notation used in this exam: N 1 π (1) S N (f,x) = f(t)e int dt e inx. 2π n= N π (2) C(X, R) is the space of bounded real-valued functions on the metric space X, equipped
More information6.003: Signals and Systems. Sampling and Quantization
6.003: Signals and Systems Sampling and Quantization December 1, 2009 Last Time: Sampling and Reconstruction Uniform sampling (sampling interval T ): x[n] = x(nt ) t n Impulse reconstruction: x p (t) =
More informationReal and Complex Analysis, 3rd Edition, W.Rudin Elementary Hilbert Space Theory
Real and Complex Analysis, 3rd Edition, W.Rudin Chapter 4 Elementary Hilbert Space Theory Yung-Hsiang Huang. It s easy to see M (M ) and the latter is a closed subspace of H. Given F be a closed subspace
More informationSection 5.8. Taylor Series
Difference Equations to Differential Equations Section 5.8 Taylor Series In this section we will put together much of the work of Sections 5.-5.7 in the context of a discussion of Taylor series. We begin
More informationCONTINUED FRACTIONS, PELL S EQUATION, AND TRANSCENDENTAL NUMBERS
CONTINUED FRACTIONS, PELL S EQUATION, AND TRANSCENDENTAL NUMBERS JEREMY BOOHER Continued fractions usually get short-changed at PROMYS, but they are interesting in their own right and useful in other areas
More informationTopics in Harmonic Analysis Lecture 1: The Fourier transform
Topics in Harmonic Analysis Lecture 1: The Fourier transform Po-Lam Yung The Chinese University of Hong Kong Outline Fourier series on T: L 2 theory Convolutions The Dirichlet and Fejer kernels Pointwise
More informationAn idea how to solve some of the problems. diverges the same must hold for the original series. T 1 p T 1 p + 1 p 1 = 1. dt = lim
An idea how to solve some of the problems 5.2-2. (a) Does not converge: By multiplying across we get Hence 2k 2k 2 /2 k 2k2 k 2 /2 k 2 /2 2k 2k 2 /2 k. As the series diverges the same must hold for the
More informationFrame Diagonalization of Matrices
Frame Diagonalization of Matrices Fumiko Futamura Mathematics and Computer Science Department Southwestern University 00 E University Ave Georgetown, Texas 78626 U.S.A. Phone: + (52) 863-98 Fax: + (52)
More informationX n D X lim n F n (x) = F (x) for all x C F. lim n F n(u) = F (u) for all u C F. (2)
14:17 11/16/2 TOPIC. Convergence in distribution and related notions. This section studies the notion of the so-called convergence in distribution of real random variables. This is the kind of convergence
More informationAP Calculus Chapter 9: Infinite Series
AP Calculus Chapter 9: Infinite Series 9. Sequences a, a 2, a 3, a 4, a 5,... Sequence: A function whose domain is the set of positive integers n = 2 3 4 a n = a a 2 a 3 a 4 terms of the sequence Begin
More informationA glimpse of Fourier analysis
Chapter 7 A glimpse of Fourier analysis 7.1 Fourier series In the middle of the 18th century, mathematicians and physicists started to study the motion of a vibrating string (think of the strings of a
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 informationBernstein s inequality and Nikolsky s inequality for R d
Bernstein s inequality and Nikolsky s inequality for d Jordan Bell jordan.bell@gmail.com Department of athematics University of Toronto February 6 25 Complex Borel measures and the Fourier transform Let
More informationUniformly Distributed Sequences
Uniformly Distributed Sequences Arman Tavakoli University of British Columbia July 13,2012 Motivation - Monte-Carlo Method Example Estimating π: Pick a random point from the square, the probability of
More information1. If 1, ω, ω 2, -----, ω 9 are the 10 th roots of unity, then (1 + ω) (1 + ω 2 ) (1 + ω 9 ) is A) 1 B) 1 C) 10 D) 0
4 INUTES. If, ω, ω, -----, ω 9 are the th roots of unity, then ( + ω) ( + ω ) ----- ( + ω 9 ) is B) D) 5. i If - i = a + ib, then a =, b = B) a =, b = a =, b = D) a =, b= 3. Find the integral values for
More informationMultimedia Communications. Differential Coding
Multimedia Communications Differential Coding Differential Coding In many sources, the source output does not change a great deal from one sample to the next. This means that both the dynamic range and
More informationNOTES ON FRAMES. Damir Bakić University of Zagreb. June 6, 2017
NOTES ON FRAMES Damir Bakić University of Zagreb June 6, 017 Contents 1 Unconditional convergence, Riesz bases, and Bessel sequences 1 1.1 Unconditional convergence of series in Banach spaces...............
More informationSEISMIC WAVE PROPAGATION. Lecture 2: Fourier Analysis
SEISMIC WAVE PROPAGATION Lecture 2: Fourier Analysis Fourier Series & Fourier Transforms Fourier Series Review of trigonometric identities Analysing the square wave Fourier Transform Transforms of some
More informationOn Riesz-Fischer sequences and lower frame bounds
On Riesz-Fischer sequences and lower frame bounds P. Casazza, O. Christensen, S. Li, A. Lindner Abstract We investigate the consequences of the lower frame condition and the lower Riesz basis condition
More information3 Orthogonality and Fourier series
3 Orthogonality and Fourier series We now turn to the concept of orthogonality which is a key concept in inner product spaces and Hilbert spaces. We start with some basic definitions. Definition 3.1. Let
More informationSolutions to 2015 Entrance Examination for BSc Programmes at CMI. Part A Solutions
Solutions to 2015 Entrance Examination for BSc Programmes at CMI Part A Solutions 1. Ten people sitting around a circular table decide to donate some money for charity. You are told that the amount donated
More informationLow-discrepancy point sets lifted to the unit sphere
Low-discrepancy point sets lifted to the unit sphere Johann S. Brauchart School of Mathematics and Statistics, UNSW MCQMC 2012 (UNSW) February 17 based on joint work with Ed Saff (Vanderbilt) and Josef
More informationChapter 8. Infinite Series
8.4 Series of Nonnegative Terms Chapter 8. Infinite Series 8.4 Series of Nonnegative Terms Note. Given a series we have two questions:. Does the series converge? 2. If it converges, what is its sum? Corollary
More informationClass notes: Approximation
Class notes: Approximation Introduction Vector spaces, linear independence, subspace The goal of Numerical Analysis is to compute approximations We want to approximate eg numbers in R or C vectors in R
More informationNEW BOUNDS FOR TRUNCATION-TYPE ERRORS ON REGULAR SAMPLING EXPANSIONS
NEW BOUNDS FOR TRUNCATION-TYPE ERRORS ON REGULAR SAMPLING EXPANSIONS Nikolaos D. Atreas Department of Mathematics, Aristotle University of Thessaloniki, 54006, Greece, e-mail:natreas@auth.gr Abstract We
More informationEntrance Exam, Real Analysis September 1, 2017 Solve exactly 6 out of the 8 problems
September, 27 Solve exactly 6 out of the 8 problems. Prove by denition (in ɛ δ language) that f(x) = + x 2 is uniformly continuous in (, ). Is f(x) uniformly continuous in (, )? Prove your conclusion.
More informationLOG-LIKE FUNCTIONS AND UNIFORM DISTRIBUTION MODULO ONE. 1. Introduction and results
uniform distribution theory DOI: 0478/udt-08 003 Unif Distrib Theory 3 (08), no, 93 0 LOG-LIKE FUNCTIONS AND UNIFORM DISTRIBUTION MODULO ONE Martin Rehberg Technische Hochschule Mittelhessen, Friedberg,
More information13. Examples of measure-preserving tranformations: rotations of a torus, the doubling map
3. Examples of measure-preserving tranformations: rotations of a torus, the doubling map 3. Rotations of a torus, the doubling map In this lecture we give two methods by which one can show that a given
More informationAnalysis Qualifying Exam
Analysis Qualifying Exam Spring 2017 Problem 1: Let f be differentiable on R. Suppose that there exists M > 0 such that f(k) M for each integer k, and f (x) M for all x R. Show that f is bounded, i.e.,
More informationBrownian Motion. 1 Definition Brownian Motion Wiener measure... 3
Brownian Motion Contents 1 Definition 2 1.1 Brownian Motion................................. 2 1.2 Wiener measure.................................. 3 2 Construction 4 2.1 Gaussian process.................................
More informationOutline of Fourier Series: Math 201B
Outline of Fourier Series: Math 201B February 24, 2011 1 Functions and convolutions 1.1 Periodic functions Periodic functions. Let = R/(2πZ) denote the circle, or onedimensional torus. A function f : C
More informationLimits and Continuity
Chapter Limits and Continuity. Limits of Sequences.. The Concept of Limit and Its Properties A sequence { } is an ordered infinite list x,x,...,,... The n-th term of the sequence is, and n is the index
More informationIntroduction to Fourier Analysis
Lecture Introduction to Fourier Analysis Jan 7, 2005 Lecturer: Nati Linial Notes: Atri Rudra & Ashish Sabharwal. ext he main text for the first part of this course would be. W. Körner, Fourier Analysis
More informationL p Functions. Given a measure space (X, µ) and a real number p [1, ), recall that the L p -norm of a measurable function f : X R is defined by
L p Functions Given a measure space (, µ) and a real number p [, ), recall that the L p -norm of a measurable function f : R is defined by f p = ( ) /p f p dµ Note that the L p -norm of a function f may
More informationDistributed Noise-Shaping Quantization: II. Classical Frames
Distributed Noise-Shaping Quantization: II. Classical Frames Evan Chou and C. Sinan Güntürk Abstract This chapter constitutes the second part in a series of papers on distributed noise-shaping quantization.
More informationPrinciples of Communications
Principles of Communications Weiyao Lin, PhD Shanghai Jiao Tong University Chapter 4: Analog-to-Digital Conversion Textbook: 7.1 7.4 2010/2011 Meixia Tao @ SJTU 1 Outline Analog signal Sampling Quantization
More informationTaylor and Maclaurin Series. Approximating functions using Polynomials.
Taylor and Maclaurin Series Approximating functions using Polynomials. Approximating f x = e x near x = 0 In order to approximate the function f x = e x near x = 0, we can use the tangent line (The Linear
More informationVector Spaces. Vector space, ν, over the field of complex numbers, C, is a set of elements a, b,..., satisfying the following axioms.
Vector Spaces Vector space, ν, over the field of complex numbers, C, is a set of elements a, b,..., satisfying the following axioms. For each two vectors a, b ν there exists a summation procedure: a +
More informationConvergence of sequences and series
Convergence of sequences and series A sequence f is a map from N the positive integers to a set. We often write the map outputs as f n rather than f(n). Often we just list the outputs in order and leave
More informationDiscrete Time Fourier Transform (DTFT)
Discrete Time Fourier Transform (DTFT) 1 Discrete Time Fourier Transform (DTFT) The DTFT is the Fourier transform of choice for analyzing infinite-length signals and systems Useful for conceptual, pencil-and-paper
More informationFFTs in Graphics and Vision. Homogenous Polynomials and Irreducible Representations
FFTs in Graphics and Vision Homogenous Polynomials and Irreducible Representations 1 Outline The 2π Term in Assignment 1 Homogenous Polynomials Representations of Functions on the Unit-Circle Sub-Representations
More informationMaths 381 The First Midterm Solutions
Maths 38 The First Midterm Solutions As Given by Peter Denton October 8, 8 # From class, we have that If we make the substitution y = x 3/, we get # Once again, we use the fact that and substitute into
More information22. Periodic Functions and Fourier Series
November 29, 2010 22-1 22. Periodic Functions and Fourier Series 1 Periodic Functions A real-valued function f(x) of a real variable is called periodic of period T > 0 if f(x + T ) = f(x) for all x R.
More information1 Taylor-Maclaurin Series
Taylor-Maclaurin Series Writing x = x + n x, x = (n ) x,.., we get, ( y ) 2 = y ( x) 2... and letting n, a leap of logic reduces the interpolation formula to: y = y + (x x )y + (x x ) 2 2! y +... Definition...
More informationOn Normal Numbers. Theodore A. Slaman. University of California Berkeley
1/24 On Normal Numbers Theodore A. Slaman University of California Berkeley Joint work with Verónica Becher, and in part with Pablo Heiber, Yann Bugeaud and Jan Reimann CApril 29, 2015 2/24 Émile Borel
More informatione x = 1 + x + x2 2! + x3 If the function f(x) can be written as a power series on an interval I, then the power series is of the form
Taylor Series Given a function f(x), we would like to be able to find a power series that represents the function. For example, in the last section we noted that we can represent e x by the power series
More information