Hadamard matrices from the Multiplication Table of the Finite Fields

Similar documents
λiv Av = 0 or ( λi Av ) = 0. In order for a vector v to be an eigenvector, it must be in the kernel of λi

L-functions and Class Numbers

Ruled surfaces are one of the most important topics of differential geometry. The

10.3 Autocorrelation Function of Ergodic RP 10.4 Power Spectral Density of Ergodic RP 10.5 Normal RP (Gaussian RP)

S n. = n. Sum of first n terms of an A. P is

CHAPTER 2 Quadratic diophantine equations with two unknowns

Section 8 Convolution and Deconvolution

Online Supplement to Reactive Tabu Search in a Team-Learning Problem

MODERN CONTROL SYSTEMS

N! AND THE GAMMA FUNCTION

Moment Generating Function

Math-303 Chapter 7 Linear systems of ODE November 16, Chapter 7. Systems of 1 st Order Linear Differential Equations.

On a Grouping Method for Constructing Mixed Orthogonal Arrays

An interesting result about subset sums. Nitu Kitchloo. Lior Pachter. November 27, Abstract

Comparison between Fourier and Corrected Fourier Series Methods

th m m m m central moment : E[( X X) ] ( X X) ( x X) f ( x)

BE.430 Tutorial: Linear Operator Theory and Eigenfunction Expansion

SUPER LINEAR ALGEBRA

Notes 03 largely plagiarized by %khc

1. Solve by the method of undetermined coefficients and by the method of variation of parameters. (4)

Ideal Amplifier/Attenuator. Memoryless. where k is some real constant. Integrator. System with memory

arxiv:math/ v1 [math.fa] 1 Feb 1994

Big O Notation for Time Complexity of Algorithms

SLOW INCREASING FUNCTIONS AND THEIR APPLICATIONS TO SOME PROBLEMS IN NUMBER THEORY

ECE-314 Fall 2012 Review Questions

Calculus Limits. Limit of a function.. 1. One-Sided Limits...1. Infinite limits 2. Vertical Asymptotes...3. Calculating Limits Using the Limit Laws.

TIME RESPONSE Introduction

K3 p K2 p Kp 0 p 2 p 3 p

1 Notes on Little s Law (l = λw)

Extremal graph theory II: K t and K t,t

Math 6710, Fall 2016 Final Exam Solutions

Lecture 15 First Properties of the Brownian Motion

CS623: Introduction to Computing with Neural Nets (lecture-10) Pushpak Bhattacharyya Computer Science and Engineering Department IIT Bombay

Types Ideals on IS-Algebras

The Central Limit Theorem

Lecture 9: Polynomial Approximations

ODEs II, Supplement to Lectures 6 & 7: The Jordan Normal Form: Solving Autonomous, Homogeneous Linear Systems. April 2, 2003

B. Maddah INDE 504 Simulation 09/02/17

DETERMINATION OF PARTICULAR SOLUTIONS OF NONHOMOGENEOUS LINEAR DIFFERENTIAL EQUATIONS BY DISCRETE DECONVOLUTION

LIMITS OF FUNCTIONS (I)

State-Space Model. In general, the dynamic equations of a lumped-parameter continuous system may be represented by

A note on deviation inequalities on {0, 1} n. by Julio Bernués*

STK4080/9080 Survival and event history analysis

Four equations describe the dynamic solution to RBC model. Consumption-leisure efficiency condition. Consumption-investment efficiency condition

COS 522: Complexity Theory : Boaz Barak Handout 10: Parallel Repetition Lemma

The analysis of the method on the one variable function s limit Ke Wu

Review - Week 10. There are two types of errors one can make when performing significance tests:

6.01: Introduction to EECS I Lecture 3 February 15, 2011

Stability. Outline Stability Sab Stability of Digital Systems. Stability for Continuous-time Systems. system is its stability:

Lecture 15: Three-tank Mixing and Lead Poisoning

Extended Laguerre Polynomials

A TAUBERIAN THEOREM FOR THE WEIGHTED MEAN METHOD OF SUMMABILITY

The Eigen Function of Linear Systems

BEST LINEAR FORECASTS VS. BEST POSSIBLE FORECASTS

e x x s 1 dx ( 1) n n!(n + s) + e s n n n=1 n!n s Γ(s) = lim

FIXED FUZZY POINT THEOREMS IN FUZZY METRIC SPACE

COMPARISON OF ALGORITHMS FOR ELLIPTIC CURVE CRYPTOGRAPHY OVER FINITE FIELDS OF GF(2 m )

arxiv: v1 [math.nt] 13 Dec 2010

The Inverse of Power Series and the Partial Bell Polynomials

CLOSED FORM EVALUATION OF RESTRICTED SUMS CONTAINING SQUARES OF FIBONOMIAL COEFFICIENTS

ECE 350 Matlab-Based Project #3

MATH 507a ASSIGNMENT 4 SOLUTIONS FALL 2018 Prof. Alexander. g (x) dx = g(b) g(0) = g(b),

Linear Time Invariant Systems

( ) ( ) ( ) ( ) ( ) ( ) ( ) (2)

A Generalization of Hermite Polynomials

Linear codes invariant with respect to generalized shift operators

Fermat Numbers in Multinomial Coefficients

EGR 544 Communication Theory

The Connection between the Basel Problem and a Special Integral

Stationarity and Error Correction

Sampling Example. ( ) δ ( f 1) (1/2)cos(12πt), T 0 = 1

C(p, ) 13 N. Nuclear reactions generate energy create new isotopes and elements. Notation for stellar rates: p 12

Fresnel Dragging Explained

The Properties of Orthomorphisms on the Galois Field

9. Point mode plotting with more than two images 2 hours

Review Exercises for Chapter 9

12 Getting Started With Fourier Analysis

Stochastic Processes Adopted From p Chapter 9 Probability, Random Variables and Stochastic Processes, 4th Edition A. Papoulis and S.

Linearly Independent Sets, Bases. Review. Remarks. A set of vectors,,, in a vector space is said to be linearly independent if the vector equation

Solution of the Hyperbolic Partial Differential Equation on Graphs and Digital Spaces: a Klein Bottle a Projective Plane and a 4D Sphere

International journal of Engineering Research-Online A Peer Reviewed International Journal Articles available online

A NEW q-analogue FOR BERNOULLI NUMBERS

Electrical Engineering Department Network Lab.

6.003: Signals and Systems Lecture 20 April 22, 2010

UNIT 1: ANALYTICAL METHODS FOR ENGINEERS

International journal of Engineering Research-Online A Peer Reviewed International Journal Articles available online

INTEGER INTERVAL VALUE OF NEWTON DIVIDED DIFFERENCE AND FORWARD AND BACKWARD INTERPOLATION FORMULA

David Randall. ( )e ikx. k = u x,t. u( x,t)e ikx dx L. x L /2. Recall that the proof of (1) and (2) involves use of the orthogonality condition.

CSE 5311 Notes 12: Matrices

A Note on Random k-sat for Moderately Growing k

LINEAR APPROXIMATION OF THE BASELINE RBC MODEL JANUARY 29, 2013

ON THE BÁEZ-DUARTE APPROACH TO THE NYMAN-BEURLING CRITERION FOR THE RIEMANN HYPOTHESIS. Daniel Juncos. B.S. Mathematics, West Chester University, 2003

CSE 202: Design and Analysis of Algorithms Lecture 16

arxiv: v1 [math.co] 30 May 2017

Review Answers for E&CE 700T02

Completeness of Random Exponential System in Half-strip

Présentée pour obtenir le grade de. Docteur en Science **************TITRE**************

Chapter 2: Time-Domain Representations of Linear Time-Invariant Systems. Chih-Wei Liu

Dynamic h-index: the Hirsch index in function of time

Research Article On a Class of q-bernoulli, q-euler, and q-genocchi Polynomials

Transcription:

adamard marice from he Muliplicaio Table of he Fiie Field 신민호 송홍엽 노종선 *

Iroducio adamard mari biary m-equece New Corucio Coe Theorem. Corucio wih caoical bai Theorem. Corucio wih ay bai Remark

adamard mari Iroducio Defiiio : A adamard mari of order i a by mari wih erie or - uch ha T I Eample. adamard mari of order 8 - - - - - - - - - - - - - - - - - - - - - - - - - - - - Noe Ay wo row of are orhogoal. hi propery doe o chage if we permue row or colum or if we muliply ome row or colum by - Noe Two uch adamard marice are called equivale. deoe - deoe -

Relaio bewee adamard marice ad ECC All he row of a adamard mari of order form a orhogoal code of legh ad ize. All he row of a adamard mari of order ad heir compleme form a biorhogoal code of legh ad ize All he row of a ormalized adamard mari of order wihou heir fir compoe form a imple code of legh - ad ize

m-equece Defiiio : Maimal legh LFSRLiear Feedback Shif Regier equece A Liear recurrig equece degree m over Fq wih recurrece relaio m i a i i F ca be geeraed by a m-age LFSR wih a characeriic polyomial a i q f m a m a m a m Eample. Geeraio of a biary m-equece wih -age LFSR liear recurrece degree characeriic polyomial ha a period f 7

m-equececo d Fac A LFSR produce a m-equece over GFq if ad oly if i characeriic polyomial i primiive i GFq m-equece are aalyically repreeed by he race fucio Properieeleced r GF q {} where race fucio r map GF q io GFq auocorrelaio properybiary equece of period N : primiive i GF q N N mod N b mod N cycle ad add propery : he um of m-equece { } ad i -hif { } i aoher hif { } of he ame m-equece

Relaio bewee adamard marice ad biary m-equece Eample. m-equece period v adamard mariorder { } } } { { Cyclic adamard mari order 8 " " "" r 7

Relaio i geeral } biary m-equece of { period N Wih race repreeaio N N r GF : primiive i {} GF N by N mari - maric : N by N circula mari geeraed by cyclic hif of } Wih race repreeaio C c i j N c ij { ij r C i j By auocorrelaio propery of he m-equece do produc of ay wo row of N by N mari C i -afer chagig o o - ece N by N mari defied a above i a adamard mari of order 8

9 New corucio Corucio i GF Eample. From muliplicaio able of wih caoical bai. : primiive i aifyig GF GF Field geeraio Muliplicaio able Noe each ucceive equece vecor repreeed from h coefficie i cyclically equivale m-equece. Noe by mari i circula. i Polyomial Vecor Power

Eample. co d adamard marice from he vecor repreeed muliplicaio able of caoical bai r r r

Theorem. Le GF be he fiie field wih eleme ad GF be a primiive eleme. Coider he muliplicaio able of GF wih border. Le he erie or hi able be vecor-repreeed over caoical bai GF uig he. For i le be he mari obaied by akig he i-h compoe of all he erie of he muliplicaio able. The hee marice i oly by colum permuaio i are adamard marice ad hey are equivale

Eample. From muliplicaio able of wih arbirary bai. : primiive i aifyig chage coordiae from caoical bai o he bai by caoical bai epaio ad bai epaio Defie biary row vecor ad by Le bai arbirary From above relaio defie by marice A ad B The we ca chage he coordiae a follow GF GF GF B A B B A

Power Check Eample. co d r r r r r r r r r r r r r Caoical bai bai

Eample. co d Caoical bai bai r r U U T U Noe he raformaio mari U i a permuaio mari. i.e ece wo uch marice are equivale by rowor colum permuaio UU T I

Theorem. Repreeaio of eleme i ay bai. GF i Theorem ca be doe by uig Relaio of adamard marice ad m-equece caoical bai The i r i bai ca be repreeed by Defie he by mari B b ij ad A B a ij The are relaed o he m-equece a follow bai i j i b ij i b ij { } j i k a ki r k r aki k r k i Noe k i a ki k GF {}

Remark. No-bai repreeaio may o work Eample 7. A mari obaied from he o-bai vecor repreeed muliplicaio able of Noe h row ad h row are o orhogoal GF 9 8 7 Remark row h row h

Remark. The followig cojecure i fale Coider arbirary umber of adamard marice If i i a adamard mari where mari addiio i compoewie mod The i are m-equece adamard marice Couer eample. Coider GMW equeceg r r 7

Remark. are liearly idepede over GF. Sice { r } i oe of LFSR oe ca fid i { for ome } { GF {} ece hey are liearly idepede. } 8