pptx file prepared for projector

advertisement
Nearly Orthogonal (+1,-1) Matrices in
Higher Dimensions: An Application to
Signal Processing
Jennifer Seberry and Tianbing Xia
University of Wollongong
JSPS-DST Asian Academic Seminar 2013,
Discrete Mathematics and its Applications
November 3-10, 2013
University of Tokyo
1
Why Study Higher
Dimensional?
Shlichta, 1979, said: “proper higher dimensional
matrices may find application in error-correcting codes,
where their hierarchy of orthogonalities permit a variety
of checking procedures. Other types of Hadamard
matrices may be of use in security codes on the basis of
their resemblance to random binary matrices”.
Communication encoding uses frequency, phase, time,
amplitude, polarity (light) to increase bandwidth;
believe we can use higher dimensions to augment these
Applications in spectroscopy (see Horadam)
2
Examples of propriety
Shlichta’s , de Launey’s, Yang’s and Hammer&Seberry’s
higher dimensional Hadamard matrices can be proper:
that is all the 2-dimensional subspaces are orthogonal
i.e. Hadamard matrices
Higher n-dimensional Hadamard matrices made from
Walsh functions are not proper in any dimension smaller
than n
3
Examples of 2^3 Hadamard
matrices
Shlichta gave a construction for 2^n
4
Shlichta 1979
•In his beautiful paper on “Higher dimensional matrices”
Shlichta constructed higher dimensional matrices of
side 2 which are orthogonal…but what does orthogonal
mean?
•Proper: every two dimensional subspace is an
Hadamard matrix…this works for complex, jacket,
Butson, weighing matrices, and orthogonal designs
•Propriety: when the k dimensional subspace in
direction m is orthogonal that is the k-1 dimensional
subspaces are super imposed
5
Example from Hammer and Seberry
From IEEE
6
Statement of de Launey and
Yang’s construction
7
Example of de Launey’s and
Yang’s construction in higher
dimensions
8
Higher Dimensional Version
Example
9
Higher Dimensional Version
Example
10
Example of Hammer & Seberry’s
difference set developed construction
This only applies to Menon difference sets including
Ming-yuan Xia’s splendid work
Kathy Horadam & C Lin extended this construction to
any group developed Hadamard matrices and all
co-cyclic Hadamard matrices: they extended perfect
binary arrays
11
Example of Seberry & Xia’s difference
set developed construction in higher
dimensions
12
Hammer & Seberry: Other
Examples
13
Comparison of efficiency of
construction
Higher dimensional matrices via group development
will be faster to construct than the de Launey-Yang
construction but
The group developed higher
r dimensional Hadamard
matrices depend on difference sets and Menon
difference sets have been hard to find: but we can use
them for near orthogonal higher dimensional matrices
14
What if we change orthogonal
to near orthogonal?
 de Launey and Levin were looking at this problem in
2009
Windpassinger, Pertsch, Cioppa have more recently
looked at near orthogonal higher dimensional matrices
for codes, diffraction and experimental design
15
Near orthogonal and higher
dimensional: I
Take any proper higher dimensional Hadamard matrix
and remove one coordinate from each direction. The
resulting matrix will have had either (1,1) or (1, -1) or
(-1,1) or (-1,-1) removed from the inner product of any
two rows in a 2-dimensional plane. Thus we will have
near orthogonality for any such pair
•However this may be very time consuming or even
difficult to construct, repair or analyse…
16
Near orthogonal and higher
dimensional: II
The group developed construction from difference sets
other than Menon difference sets
Use Paley, Stanton-Sprott and Singer difference sets
with parameters 2-(4t-1,2t-1,t-1). These can be group
developed for 4t-1 any odd prime power to get near
orthogonal higher dimensional matrices
Using group developed 2 x 2 matrices we can use the
Hammer-Seberry construction to extend to any number
of dimensions; we note that in some pairs of dimensions
there will be n^2 correlation but other pairs are fine
17
Example using difference sets
18
Near orthogonal and higher
dimensional: III
•Use the Hammer and Seberry construction to make
Williamson Hadamard into high dimensions.
•With appropriate definitions this can also be extended
to Williamson type, Ito’s, Goethal-Seidel type,
•Wallis-Whiteman type, Xia type and others to form
higher dimensional matrices…then use deletion of any
coordinate as above
•It is easy to see how this can be used for Hadamard
error codes with 8t codewords of length 4t, distance 2t
and dimension 8t (we have yet to relate this to Reed19
Solomon codes)
Example from Hammer &
Seberry
20
Near orthogonal and higher
dimensional: IV
Use the ideas of the Hammer & Seberry for the
Williamson construction extended to high dimensions
but with
 sequences with small correlation
 two supplementary difference sets extended to a group
generated form
Complex sequences
Higher dimensional quaternion based codes
21
Applications to signal
processing
The high dimensional orthogonal matrix can be used to
encode the whole of a large file. For example, a database
or a video with error-correction for single errors and
burst errors by choice of the encoding matrix
22
More uses and applications
Any thing that previously used zero autocorrelation can
be adapted to near zero autocorrelation
Applications in spectroscopy, acoustics,
communication, security(?)....
23
References and
Acknowledgements
We acknowledge Kathy Horadam’s magnificent,
pioneering and insightful research and book:
K.J. Horadam, Hadamard Matrices and their
Applications, Princeton University Press, Princeton, 2006
Y.X. Yang, Theory and Applications of Higher-
Dimensional Hadamard Matrices, Kluwer, Dordrecht,
2001.
24
References
Warwick de Launey and Daniel M Gordon: On the density of the set of
known Hadamard orders. Cryptography and Communications 2(2): 233246 (2010)
Warwick de Launey and David A Levin, : (1, -1)-Matrices with NearExtremal Properties. SIAM J. Discrete Math. 23(3): 1422-1440 (2009)
Warwick de Launey: On the asymptotic existence of Hadamard
matrices. J. Comb. Theory, Ser. A 116(4): 1002-1008 (2009)
Warwick de Launey, Kathy J. Horadam: A Weak Difference Set
Construction for Higher Dimensional Designs. Des. Codes Cryptography
3(1): 75-87 (1993)
Warwick de Launey: A note on N -dimensional Hadamard matrices of
order 2t and Reed-Muller codes. IEEE Transactions on Information
Theory 37(3): 664- (1991)
25
References
Kathy J. Horadam: Hadamard matrices and their applications: Progress
2007-2010. Cryptography and Communications 2(2): 129-154 (2010)
ChristophWindpassinger and Robert F. H. Fischer: Low-Complexity
Near-Maximum-Likelihood Detection and Precoding for MIMO Systems
using Lattice Reduction , ITW2003, Paris, France, March 31 – April 4,
2003
Thomas Pertsch, Ulf Peschel, Falk Lederer, Jonas Burghoff, Matthias
Will, Stefan Nolte, and Andreas Tünnermann: Discrete diffraction in twodimensional arrays of coupled waveguides in silica, Optics Letters, Vol.
29, Issue 5, pp. 468-470 (2004)
Thomas M Cioppa, Efficient near orthogonal and space-filling
experimental designs for high dimensional complex designs, Dissertation,
Naval Postgraduate School, Monterey, CA, (2002)
26
References +
Paul J Shlichta, Higher dimensional Hadamard
matrices, IEEE Trans Inf Th 25, 5 (1979) 566-572
J Hammer and Jennifer Seberry, Higher dimensional
orthogonal designs and applications, IEEE Trans Inf Th
27 (1981) 772-779
Yixian Yang, The proofs of some conjectures on higher
dimensional Hadamard matrices, Kexue Tongbao
(translated from Chinese) 31, 24 (1986) 1662-1667
27
Download