Constructing Tight Gabor Frames using CAZAC Sequences

Similar documents
Constant Amplitude and Zero Autocorrelation Sequences and Single Pixel Camera Imaging

Aperiodic correlation and the merit factor

Objective Type Questions

MATH 420 FINAL EXAM J. Beachy, 5/7/97

Frames and a vector-valued ambiguity function

Approximating scalable frames

4 Powers of an Element; Cyclic Groups

Application of Block Matrix Theory to Obtain the Inverse Transform of the Vector-Valued DFT

MATH 433 Applied Algebra Lecture 4: Modular arithmetic (continued). Linear congruences.

AUTOMORPHISM GROUPS AND SPECTRA OF CIRCULANT GRAPHS

arxiv: v1 [math.co] 3 Nov 2014

Frames and some algebraic forays

CS 6260 Some number theory

ECEN 5022 Cryptography

18.312: Algebraic Combinatorics Lionel Levine. Lecture 22. Smith normal form of an integer matrix (linear algebra over Z).

0 Sets and Induction. Sets

Mathematics for Cryptography

Notes on tensor products. Robert Harron

18.S34 linear algebra problems (2007)

CAZAC SEQUENCES AND HAAGERUP S CHARACTERIZATION OF CYCLIC N ROOTS

A Series of Regular Hadamard Matrices

Elementary Number Theory Review. Franz Luef

Waveform design and quantum detection matched filtering

A connection between number theory and linear algebra

Generic degree structure of the minimal polynomial nullspace basis: a block Toeplitz matrix approach

PROBLEMS ON LINEAR ALGEBRA

M381 Number Theory 2004 Page 1

Math 354 Transition graphs and subshifts November 26, 2014

LOCAL AND GLOBAL STABILITY OF FUSION FRAMES

Roots of Sparse Polynomials over a Finite Field

Matrix Arithmetic. j=1

Lecture Notes. Advanced Discrete Structures COT S

Galois Theory TCU Graduate Student Seminar George Gilbert October 2015

Construction of latin squares of prime order

Chapter 3 Transformations

Preconditioning techniques in frame theory and probabilistic frames

The Jacobi Symbol. q q 1 q 2 q n

Math 210A: Algebra, Homework 5

APPENDIX B GRAM-SCHMIDT PROCEDURE OF ORTHOGONALIZATION. Let V be a finite dimensional inner product space spanned by basis vector functions

Spectra of Semidirect Products of Cyclic Groups

ELE/MCE 503 Linear Algebra Facts Fall 2018

1 Determinants. 1.1 Determinant

Math 312/ AMS 351 (Fall 17) Sample Questions for Final

TC08 / 6. Hadamard codes SX

Department of Mathematics, University of California, Berkeley. GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2018

TC10 / 3. Finite fields S. Xambó

Waveform design and Sigma-Delta quantization

Lecture # 12. Agenda: I. Vector Program Relaxation for Max Cut problem. Consider the vectors are in a sphere. Lecturer: Prof.

PRODUCT THEOREMS IN SL 2 AND SL 3

Part II. Number Theory. Year

On The Weights of Binary Irreducible Cyclic Codes

Course 2316 Sample Paper 1

Complex Hadamard matrices and 3-class association schemes

AN EXTENSION OF A THEOREM OF EULER. 1. Introduction

Lecture 7 Cyclic groups and subgroups

88 CHAPTER 3. SYMMETRIES

Linear Systems and Matrices

Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition).

2015 Hypatia Contest

Boolean Inner-Product Spaces and Boolean Matrices

MATH 361: NUMBER THEORY FOURTH LECTURE

Topic 3. Design of Sequences with Low Correlation

The group (Z/nZ) February 17, In these notes we figure out the structure of the unit group (Z/nZ) where n > 1 is an integer.

Quantum algorithms for computing short discrete logarithms and factoring RSA integers

Divisibility in the Fibonacci Numbers. Stefan Erickson Colorado College January 27, 2006

Graph theoretic uncertainty principles

RANK AND PERIMETER PRESERVER OF RANK-1 MATRICES OVER MAX ALGEBRA

Matrix rigidity and elimination theory

Cosets and Normal Subgroups

Simultaneous Linear, and Non-linear Congruences

From Bernstein approximation to Zauner s conjecture

1. General Vector Spaces

EIGENVALUES AND EIGENVECTORS 3

Matrices: 2.1 Operations with Matrices

Advanced Digital Signal Processing -Introduction

ANALYTICAL MATHEMATICS FOR APPLICATIONS 2018 LECTURE NOTES 3

Math 2070BC Term 2 Weeks 1 13 Lecture Notes

Problem 1A. Use residues to compute. dx x

EXERCISES IN MODULAR FORMS I (MATH 726) (2) Prove that a lattice L is integral if and only if its Gram matrix has integer coefficients.

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT

Eigenvalues and Eigenvectors

MULTILINEAR ALGEBRA: THE TENSOR PRODUCT

On Extremal Codes With Automorphisms

a 2 + b 2 = (p 2 q 2 ) 2 + 4p 2 q 2 = (p 2 + q 2 ) 2 = c 2,

Laplacians of Graphs, Spectra and Laplacian polynomials

11 Block Designs. Linear Spaces. Designs. By convention, we shall

A Block Negacyclic Bush-Type Hadamard Matrix and Two Strongly Regular Graphs

Gabor Frames for Quasicrystals II: Gap Labeling, Morita Equivale

Gauss periods as low complexity normal bases

Linear Algebra. Paul Yiu. 6D: 2-planes in R 4. Department of Mathematics Florida Atlantic University. Fall 2011

DS-GA 1002 Lecture notes 0 Fall Linear Algebra. These notes provide a review of basic concepts in linear algebra.

Equiangular lines in Euclidean spaces

A Few Primality Testing Algorithms

Math Introduction to Modern Algebra

Short-time Fourier transform for quaternionic signals

(II.B) Basis and dimension

On the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem

Properties of Linear Transformations from R n to R m

Shor s Prime Factorization Algorithm

Name: Solutions - AI FINAL EXAM

Transcription:

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 Park April 15, 2018

CAZAC Definition Let ϕ C N. ϕ is said to be a constant amplitude zero autocorrelation (CAZAC) sequence if and j (Z/NZ), ϕ j = 1 k (Z/NZ), k 0, 1 N N 1 j=0 ϕ j+k ϕ j = 0. (CA) (ZAC)

Examples Quadratic Phase Sequences Let ϕ C N and suppose for each j, ϕ j is of the form ϕ j = e πip(j) where p is a quadratic polynomial. The following quadratic polynomials generate CAZAC sequences: Chu: p(j) = j(j 1) P4: p(j) = j(j N), N is odd Odd-length Wiener: p(j) = sj 2, gcd(s, N) = 1, N is odd Even-length Wiener: p(j) = sj 2 /2, gcd(s, 2N) = 1, N is even

Examples Let p be prime. Then, the Legendre symbol is defined as follows, ( ) j 0 if j 0 mod p, = 1 if j k p 2 mod p has a solution, 1 if j k 2 mod p does not have a solution.

Examples Björck Sequences Let p be prime and ϕ C p be of the form ϕ j = e iθ(j). Then ϕ will be CAZAC in the following cases: If p 1 mod 4, then, ( ) ( ) j 1 θ(j) = arccos p 1 + p If p 3 mod 4, then, { ( ) ( ) arccos 1 p 1+p, if j p = 1 θ j = 0, otherwise

Connection to Hadamard Matrices Theorem Let ϕ C N and let H be the circulant matrix given by H = ϕ τ 1 ϕ τ 2 ϕ τ N 1 ϕ Then, ϕ is a CAZAC sequence if and only if H is Hadamard, i.e. H H = NId N and H ij = 1 for every (i, j). In particular there is a one-to-one correspondence between CAZAC sequences and circulant Hadamard matrices.

Connection to Cyclic N-roots Definition x C N is a cyclic N-root if it satisfies x 0 + x 1 + + x N 1 = 0 x 0 x 1 + x 1 x 2 + + x N 1 x 0 = 0 x 0 x 1 x 2 x N 1 = 1

Connection to Cyclic N-roots Theorem (a) If ϕ C N is a CAZAC sequence then, ( ϕ1, ϕ 2,, ϕ 0 ϕ 1 is a cyclic N-root. (b) If x C N is a cyclic N-root then, is a CAZAC sequence. ϕ 0 ϕ N 1 ϕ 0 = x 0, ϕ j = ϕ j 1 x j (c) There is a one-to-one correspondence between CAZAC sequences which start with 1 and cyclic N-roots. )

Gabor Frames Definition (a) Let ϕ C N and Λ (Z/NZ) (Z/NZ). The Gabor system, (ϕ, Λ) is defined by (ϕ, Λ) = {e l τ k ϕ : (k, l) Λ}. (b) If (ϕ, Λ) is a frame for C N we call it a Gabor frame.

Time-Frequency Transforms Definition Let ϕ, ψ C N. (a) The discrete periodic ambiguity function of ϕ, A p (ϕ), is defined by A p (ϕ)[k, l] = 1 N N 1 j=0 ϕ[j + k]ϕ[j]e 2πijl/N = 1 N τ kϕ, e l ϕ. (b) The short-time Fourier transform of ϕ with window ψ, V ψ (ϕ), is defined by V ψ (ϕ)[k, l] = ϕ, e l τ k ψ.

Full Gabor Frames Are Always Tight Theorem Let ϕ C N \ {0}. and Λ = (Z/NZ) (Z/NZ). Then, (ϕ, Λ) is always a tight frame with frame bound N ϕ 2 2.

Janssen s Representation Definition Let Λ (Z/NZ) (Z/NZ) be a subgroup. The adjoint subgroup of Λ, Λ (Z/NZ) (Z/NZ), is defined by Λ = {(m, n) : e l τ k e n τ m = e n τ m e l τ k, (k, l) Λ} Theorem (Janssen 95) Let Λ be a subgroup of (Z/NZ) (Z/NZ) and ϕ C N. Then, the (ϕ, Λ) Gabor frame operator has the form S = Λ N (m,n) Λ ϕ, e n τ m ϕ e n τ m.

Λ -sparsity and Tight Frames Theorem (MM 17) Let ϕ C N \ {0} and let Λ (Z/NZ) (Z/NZ) be a subgroup. (ϕ, Λ) is a tight frame if and only if (m, n) Λ, A p (ϕ)[m, n] = 0. The frame bound is Λ A p (ϕ)[0, 0].

DPAF of Chu Sequence DPAF of length 15 Chu sequence 14 1.0 A p (ϕ Chu )[k, l] : { e πi(k2 k)/n, k l mod N 0, otherwise Doppler Shift 12 10 8 6 4 2 0.8 0.6 0.4 0.2 Magnitude 0 0 2 4 6 8 10 12 14 Time Shift 0.0 Figure: DPAF of length 15 Chu sequence.

Example: Chu/P4 Seqeunce Proposition Let N = abn where gcd (a, b) = 1 and ϕ C N be the Chu or P4 sequence. Define K = a, L = b and Λ = K L. (a) Λ = N a N b. (b) (ϕ, Λ) is a tight Gabor frame bound NN.

DPAF of Even Length Wiener Sequence DPAF of a 16 length Wiener sequence 14 1.0 A p (ϕ Wiener )[k, l] : { e πisk2 /N, sk l mod N 0, otherwise Doppler Shift 12 10 8 6 4 2 0.8 0.6 0.4 0.2 Magnitude 0 0 2 4 6 8 10 12 14 Time Shift 0.0 Figure: DPAF of length 16 P4 sequence.

DPAF of Björck Sequence DPAF of length 13 Bjorck sequence 12 1.0 10 0.8 Doppler Shift 8 6 4 2 0.6 0.4 0.2 Magnitude 0 0 2 4 6 8 10 12 Time Shift 0.0 Figure: DPAF of length 13 Björck sequence.

DPAF of a Kronecker Product Sequence 27 DPAF of Bjorck(7) ( P4(4) 1.0 24 Kronecker Product: Let u C M, v C N. (u v)[am + b] = u[a]v[b] Dopp er Shift 21 18 15 12 9 6 3 0.8 0.6 0.4 0.2 Magnitude 0 0 2 4 6 8 10 12 14 16 18 20 22 24 26 Time Shift 0.0 Figure: DPAF of Kroneker product of length 7 Bjorck and length 4 P4.

Example: Kronecker Product Sequence Proposition Let u C M be CAZAC, v C N be CA, and ϕ C MN be defined by the Kronecker product: ϕ = u v. If gcd (M, N) = 1 and Λ = M N, then (ϕ, Λ) is a tight frame with frame bound MN.

Gram Matrices and Discrete Periodic Ambiguity Functions Definition Let F = {v i } M i=1 be a frame for CN. The Gram matrix, G, is defined by G ij = v i, v j. In the case of Gabor frames F = {e lm τ km ϕ : m 0,, M 1}, we can write the Gram matrix in terms of the discrete periodic ambiguity function of ϕ: G mn = Ne 2πikn(ln lm)/n A p (ϕ)[k n k m, l n l m ]

Gram Matrix of Chu and P4 Sequences Lemma Let ϕ C N be the Chu or P4 sequence and let N = abn where gcd(a, b) = 1. Suppose G is the Gram matrix generated by the Gabor system (ϕ, K L) where K = a and L = b. Then, (a) The support of the rows (or columns) of G either completely conincide or are completely disjoint. (b) If two rows (or columns) have coinciding supports, they are scalar multiples of each other.

Example: P4 Gram Matrix

Tight Frames from Gram Matrix Theorem Let ϕ C N be the Chu or P4 sequence and let N = abn where gcd(a, b) = 1. Suppose G is the Gram matrix generated by the Gabor system (ϕ, K L) where K = a and L = b. Then, (a) rank(g) = N. (b) G has exactly one nonzero eigenvalue, NN. In particular (a) and (b) together imply that the Gabor system (ϕ, K L) is a tight frame with frame bound NN.