Relationships between Boolean Function and Symmetric Group

Slides:



Advertisements
Similar presentations
Vector Spaces A set V is called a vector space over a set K denoted V(K) if is an Abelian group, is a field, and For every element vV and K there exists.
Advertisements

Math 3121 Abstract Algebra I Lecture 8 Sections 9 and 10.
Mathematics of Cryptography Part II: Algebraic Structures
1.  We have studied groups, which is an algebraic structure equipped with one binary operation. Now we shall study rings which is an algebraic structure.
Groups TS.Nguyễn Viết Đông.
Algebraic Structures: Group Theory II
Algebraic Structures DEFINITIONS: PROPERTIES OF BINARY OPERATIONS Let S be a set and let  denote a binary operation on S. (Here  does not necessarily.
1.  Detailed Study of groups is a fundamental concept in the study of abstract algebra. To define the notion of groups,we require the concept of binary.
3.III. Matrix Operations 3.III.1. Sums and Scalar Products 3.III.2. Matrix Multiplication 3.III.3. Mechanics of Matrix Multiplication 3.III.4. Inverses.
Introduction Polynomials
1. 2 Overview Some basic math Error correcting codes Low degree polynomials Introduction to consistent readers and consistency tests H.W.
Finite fields.
Section 4.1 Finite Permutation Groups Permutation of a Set Let A be the set { 1, 2, …, n }. A permutation on A is a function f : A  A that is both one-to-one.
GROUPS & THEIR REPRESENTATIONS: a card shuffling approach Wayne Lawton Department of Mathematics National University of Singapore S ,
FINITE FIELDS 7/30 陳柏誠.
Polynomials Algebra Polynomial ideals
By: Hector L Contreras SSGT / USMC
CSCI 115 Chapter 5 Functions. CSCI 115 §5.1 Functions.
Elementary Linear Algebra Anton & Rorres, 9th Edition
4.1 Vector Spaces and Subspaces 4.2 Null Spaces, Column Spaces, and Linear Transformations 4.3 Linearly Independent Sets; Bases 4.4 Coordinate systems.
Information and Coding Theory Linear Block Codes. Basic definitions and some examples. Juris Viksna, 2015.
Chapter 3 – Set Theory  .
6.3 Permutation groups and cyclic groups  Example: Consider the equilateral triangle with vertices 1 , 2 , and 3. Let l 1, l 2, and l 3 be the angle bisectors.
General linear groups, Permutation groups & representation theory.
Recent Attacks on the Filter Generator Tor Helleseth Department of Informatics University of Bergen NORWAY Joint work: Sondre Rønjom and Guang Gong.
Permutation Groups Part 1. Definition A permutation of a set A is a function from A to A that is both one to one and onto.
Math 3121 Abstract Algebra I Lecture 9 Finish Section 10 Section 11.
Chapter 2: Groups Definition and Examples of Groups
Exploiting Vanishing Polynomials for Equivalence Verification of Fixed-Size Arithmetic Datapaths GIEE, NTU ALCom Lab Presenter: 陳炳元.
Great Theoretical Ideas in Computer Science for Some.
Chapter 4 – Linear Spaces
Exploiting Vanishing Polynomials for Equivalence Verification of Fixed-Size Arithmetic Datapaths GIEE, NTU ALCom Lab Presenter: 陳炳元.
Chapter 5: Permutation Groups  Definitions and Notations  Cycle Notation  Properties of Permutations.
CHAPTER 3 FUZZY RELATION and COMPOSITION. 3.1 Crisp relation Product set Definition (Product set) Let A and B be two non-empty sets, the product.
Information Security Lab. Dept. of Computer Engineering 87/121 PART I Symmetric Ciphers CHAPTER 4 Finite Fields 4.1 Groups, Rings, and Fields 4.2 Modular.
Problem Statement How do we represent relationship between two related elements ?
한국정보통신대학교 천정희 Nonlinear Resilient Functions Jung Hee Cheon Information and Communications University (ICU)
CS Lecture 14 Powerful Tools     !. Build your toolbox of abstract structures and concepts. Know the capacities and limits of each tool.
SECTION 9 Orbits, Cycles, and the Alternating Groups Given a set A, a relation in A is defined by : For a, b  A, let a  b if and only if b =  n (a)
SECTION 8 Groups of Permutations Definition A permutation of a set A is a function  ϕ : A  A that is both one to one and onto. If  and  are both permutations.
SECTION 10 Cosets and the Theorem of Lagrange Theorem Let H be a subgroup of G. Let the relation  L be defined on G by a  L b if and only if a -1 b 
Chapter 6- LINEAR MAPPINGS LECTURE 8 Prof. Dr. Zafer ASLAN.
Extending a displacement A displacement defined by a pair where l is the length of the displacement and  the angle between its direction and the x-axix.
Information and Coding Theory Linear Codes. Groups, fields and vector spaces - a brief survey. Codes defined as vector subspaces. Dual codes. Juris Viksna,
Prepared By Meri Dedania (AITS) Discrete Mathematics by Meri Dedania Assistant Professor MCA department Atmiya Institute of Technology & Science Yogidham.
Digital Image Processing Lecture 8: Fourier Transform Prof. Charlene Tsai.
Assignment 4 is due! Assignment 5 is out and is due in two weeks!
Vector Spaces B.A./B.Sc. III: Mathematics (Paper II) 1 Vectors in Rn
Cyclic Codes 1. Definition Linear:
Unit-III Algebraic Structures
CS480 Cryptography and Information Security
Great Theoretical Ideas in Computer Science
Great Theoretical Ideas In Computer Science
(1)The equation ax=b has a unique solution in G.
Math 344 Winter 07 Group Theory Part 1: Basic definitions and Theorems
GROUPS & THEIR REPRESENTATIONS: a card shuffling approach
Great Theoretical Ideas in Computer Science
Great Theoretical Ideas in Computer Science
Introduction to Relations and Functions
I. Finite Field Algebra.
I.4 Polyhedral Theory (NW)
Algebraic Structures: Group Theory
Vector Spaces 1 Vectors in Rn 2 Vector Spaces
I.4 Polyhedral Theory.
Theorem 6. 6: Let [G;] be a group and let a and b be elements of G
REVISION Relation. REVISION Relation Introduction to Relations and Functions.
WELCOME.
296.3:Algorithms in the Real World
Presentation transcript:

Relationships between Boolean Function and Symmetric Group GIEE, NTU Alcom Lab Presenter:陳炳元

Outline Boolean space and boolean functions Basic Group Theory Symmetric Group Relationships between symmetric group and boolean functions

Outline Boolean space and boolean functions Basic Group Theory Symmetric Group Relationships between symmetric group and boolean functions

Boolean space and boolean functions The set of n-tube vectors Vn={=(a1,a2,…,an) | aiGF(2), i= 1,2,…n} is a boolean space, where GF(2) is a Galois field.Clearly, all the vectors in Vn are binary Sequences. Property: A boolean space Vn contains 2n vectors.

Boolean space and boolean functions A boolean function is defined on Vn by the mapping f: VnV There are several ways to represent a boolean function: by a polynomial; by a binary sequence; by a (0,1) sequence. Here we use the polynomial respresentation to discuss boolean function. Let x=x1x2xn denote a monomial on Vn. a1 a2 an

Boolean space and boolean functions Every boolean function on Vn is a linear combination of monomials f(x)=xc= 0 or 1, where the sign  denote addition(XOR). Vn

Boolean space and boolean functions Definition1: Let f be a function on Vn. If as x runs through all vectors in Vn, f(x)=1 is true 2n-1 times f(x)=1, then the function f is said to be balanced. Definition2: Let f be a function on Vn. The nonlinearity (denote by Nf) of the function f is defined by minimum Hamming distance from f to all affine functioons over Vn. i.e. Nf=min d(f,),   on Vn.

Boolean space and boolean functions Definition3: Let f be a boolean function on Vn. If for a vector Vn the function f(x)f(x) is balanced, then the function f is said to have propagation criteria with respect to the vector . Note: Vn, 0wt()k f(x)f(x) is balanced , then f(x) has propagation criteria of degree k denote PC(k). If k=1, denote SAC

Outline Boolean space and boolean functions Basic Group Theory Symmetric Group Relationships between symmetric group and boolean functions

Basic Group Theory (1)a,b,cG, we have a(bc)=(ab)c Definition5:A group G is a set together with a binary operation : GxGG satisfying: (1)a,b,cG, we have a(bc)=(ab)c (2) eG ae=ea=a, aG (3) aG a-1G aa-1= a-1a=e A group is said abelian if ab=ba a,bG NOTE: For simplicity, we will denote ab for ab

Basic Group Theory Definition6:Let G be a group, a subset HG is a subgroup if H is a group by using the binary operation of G, denote H G Homomprphism: f : GH is a function between groups that respects the structure of groups. That is, a function satisfying f(xy) = f(x)f(y).

Basic Group Theory Kernel: The kernel of f, denote ker(f), is defined to be {xG | f(x)=eH}. Lagrange Theorem: The order of a subgroup of a finite group is a divisor of the of the group.

Outline Boolean space and boolean functions Basic Group Theory Symmetric Group Relationships between symmetric group and boolean functions

Permutation of a Set Let A be the set { a1, a2, …, an }. A permutation on A is a function f : A  A that is both injective and serjective. The set of all permutations on A is denoted by Sn A permutation is represented by a matrix :

Examples of Permutation Let A be the set { 1, 2, 3, 4, 5 } f and g are elements of S5

Product of Permutations The product of f and g is the composition function f。g

Cycles : A special kind of Permutation An element f of Sn is a cycle (r-cycle) if there exists such that Cycles will be written simply as (i1, i2, ... , ir) Example : = (1, 3, 4)

Permutations and cycles Every permutation can be written as a product of disjoint cycles. For example We have 1  3  2  8  1 4  6  4 5  7  9  5 We can easily verify that f = (1, 3, 2, 8)(4, 6)(5, 7, 9)

Transpositions : A special kind of cycles A 2-cycle such as (3, 7) is called a transposition Every cycle can be written as a product of transposition : (i1, i2, ... , ir) = (i1, ir)(i1, ir-1) ... (i1, i3)(i1, i2) For example, (1, 3, 2, 4) = (1, 4)(1, 2)(1, 3)

Permutations and transpositions Since every permutation can be expressed as a product of (disjoint) cycles, every permutation can be expressed as a product of transpositions For example,

Application (7, 8) is a transposition in S9 In fact,

Application We may as well use this table to represent the transposition (7, 8) 1 2 3 4 5 6 8 7 9

Application So = 1 2 3 4 5 6 8 7 9

Application What is the transposition representation after switching 7 and 9? ( Should be (?, ?)(7, 8) ) 1 2 3 4 5 6 8 7 9

Application What is the transposition representation of the table? YES, it is (7, 9)(7, 8) 1 2 3 4 5 6 8 9 7 Because : (7,9)(7,8) = (7, 8, 9)

Symmetric Group NOTE:。 (Sn ,。) is a group, It is called symmetric group The order of Sn is n! Theorem: Let G be a finite group, H is a subset of G H G if and only if a,bG,abG

Outline Boolean space and boolean functions Basic Group Theory Symmetric Group Relationships between symmetric group and boolean functions

Relationships between symmetric group and boolean functions Lemma1: Let f be a boolean function on Vn, Hf ={ Sn | f(x)=f(x)} then Hf is a subgroup of Sn Pf: 顯然eHf 1,2 Hf , (12 )f= 1(2 f)= 1 f=f and (12 )f= 2(1 f)= 2 f=f then we have 12= 12 and (12 )f=f Therefore it is a subgroup of Sn

Relationships between symmetric group and boolean functions Lemma2: Let f be a boolean function on Vn, [if(x)]。 [jf(x)]= (ij )f(x)= kf(x) Definition: