DOCSLIB.ORG

The Energy of Cayley Graphs for Symmetric Groups of Order 24

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
The Energy of Cayley Graphs for Symmetric Groups of Order 24 ASM Sc. J., 13, 2020 https://doi.org/10.32802/asmscj.2020.sm26(1.22) The Energy of Cayley Graphs for Symmetric Groups of Order 24 2 3 Amira Fadina Ahmad Fadzil1*, Nor Haniza Sarmin and Ahmad Erfanian 1,2 Department of Mathematical Sciences, Faculty of Science, Universiti Teknologi Malaysia, 81310 UTM Johor Bahru, Johor, Malaysia. 3Department of Pure Mathematics, Faculty of Mathematical Science, and Center of Excellence in Analysis on Algebraic Structures, Ferdowsi University of Mashhad, Mashhad, Iran. A Cayley graph of a finite group G with respect to a subset S of G is a graph where the vertices of the graph are the elements of the group and two distinct vertices x and y are adjacent to each other if xy−1 is in the subset S. The subset of the Cayley graph is inverse closed and does not include the identity of the group. For a simple finite graph, the energy of a graph can be determined by summing up the positive values of the eigenvalues of the adjacency matrix of the graph. In this paper, the graph being studied is the Cayley graph of symmetric group of order 24 where S is the subset of S4 of valency up to two. From the Cayley graphs, the eigenvalues are calculated by constructing the adjacency matrix of the graphs and by using some properties of special graphs. Finally, the energy of the respected Cayley graphs is computed and presented. Keywords: energy of graph; cayley graph; symmetric groups I. INTRODUCTION Konstantinova in 2008, has surveyed the historical changes of some problems on Cayley graphs such as the Hamiltonicity The study on Cayley graphs was initiated by Arthur Cayley in and diameter problems. The author also included various 1878 to explain the idea of abstract groups described by a set uses of Cayley graphs in solving combinatorial, graph of generators (Ghorbani & Nowroozi-Larki, 2018). The theory theoretical and applied problems. Furthermore in 2012, has been advanced into a significant branch in algebraic Adiga and Ariamanesh have determined the number of graph theory. There are many problems regarding Cayley undirected Cayley graphs of symmetric group and alternating graphs that have been studied by many graph theorists and groups up to isomorphism. group theorists. In addition, the study on the energy of general simple In 1988, Babai and Seress have studied on the diameter of graphs was first defined by Gutman in 1978 inspired from the the Cayley graphs of symmetric groups and the alternating Huckel Molecular Orbital (HMO) theory proposed in 1930s. groups. Not long after, in 1993, Lakshmivarahan et. al., have The theory has been used by chemists in approximating the analysed the symmetries in the interconnection networks of energies related with π-electron orbitals in conjugated a variety of Cayley graphs of permutation groups. The types hydrocarbon. Besides, its chemical applications, there are a of symmetry analysed consist of vertex and edge transitivity, few applications in other field of science such as in graph distance regularity and distance transitivity entropies (Dehmer et. al., 2015), modelling of properties of Meanwhile in 2000, Friedman has shown in his study that proteins (Wu et. al., 2015) and also was used in the search for among all sets of n - 1 transpositions which generate the the genetic causes of Alzheimer disease (Daianu et al., 2015). symmetric groups, the Cayley graph associated to set 푆 = Therefore, this paper aimed to present the energy of the {(1, 푛), (2, 푛), . , (푛 − 1, 푛)} as the highest eigenvalues. Cayley graphs associated to symmetric group of order 24 with _________ *Corresponding author’s e-mail: [email protected] ASM Science Journal, Volume 13, 2020 respect to the subsets S of valency one and two. The Definition 3 (Beineke & Wilson, 2004) Complete Graph methodology consists of listing the subsets S, constructing A complete graph 퐾푛 has 푛 vertices, each of which is adjacent the Cayley graphs with respect to the subsets S, finding their to all of the others. isomorphism, building the adjacency matrix for the graphs, calculating the eigenvalues of the adjacency matrix of the Definition 4 (Pemmaraju & Skiena, 2003) Cycle Graph graphs and computing the energy of the Cayley graphs. A cycle graph 퐶푛 , sometimes simply known as an 푛-cycle, is a This paper is structured as follows: in Section 1, the early graph on 푛 vertices containing a single cycle through all the studies for the topics are introduced while in Section 2, the vertices. preliminaries results that are being used for this study are presented. In Section 3, the main results are discussed in two Proposition 1 (Brouwer & Haemers, 2011) Spectrum of propositions and theorems and finally, Section 4 gives the Complete Graph conclusion to the main results. Let be the complete graph 퐾푛 on 푛 vertices. Its spectrum is {(푛 − 1)1, ( − 1)푛 − 1 }. II. PRELIMINARIES Proposition 2 (Brouwer & Haemers, 2011) Spectrum of The followings are some basic concepts and properties that Cycle Graph are used in this study. Consider the undirected 푛-cycle graph 퐶푛 . The spectrum of 퐶푛 consists of the numbers {2 푐표푠(2휋푗⁄푛); 푗 = {0,1, … , 푛 − 1}. Definition 1 (Robinson, 1996) Symmetric Group If 푋 is a nonempty set, a bijection 휋: 푋 → 푋 is called a Definition 5 (Bapat, 2010) Adjacency Matrix permutation of 푋. The set of all permutations of 푋 is a group Let 훤 be a graph with 푉(훤) = {1, … , 푛} and 퐸(훤) = {푒1, … , 푒푚}. with respect to functional composition called the symmetric The adjacency matrix of 훤 denoted by 퐴(훤) is the 푛 × 푛 matrix groups on 푋, 푆푦푚 푋. When 푋 = { 1 ,2 , … , 푛}, it is customary to defined as follows. The rows and the columns of 퐴(훤) are write 푆푛 for 푆푦푚 푋 and to call this the symmetric groups of indexed by 푉(훤). If 푖 ≠ 푗 then the (푖, 푗) −entry of 퐴(훤) is 0 for degree 푛. This study focused on the symmetric group of order vertices 푖 and 푗 nonadjacent, and the (푖, 푗) −entry is 1 for 푖 and 24 denoted as 푆4. The elements of 푆4 = 푗 adjacent. The (푖, 푖) −entry of 퐴(훤) is 0 for 푖 = 1, … , 푛. 퐴(훤) {(1), (12), (13), (14), (23), (24), (34), (123), is often simply denoted by 퐴. (132), (124), (142), (134), (143), (234), (243), (1234), (1432), (1243), (1342), (1324), (1423), Definition 6 (Bapat, 2010) Energy of Graph (12)(34), (13)(24), (14)(23)}. This study also focused on For any graph 훤, the energy of the graph is defined as 휀(Γ) = 푛 the subsets of 푆4 of valency 1 and 2 where the valency of the ∑푖=1 |휆푖| where 휆1, … , 휆푛 are the eigenvalues of the adjacency subsets is the degree of the subsets. matrix of 훤. Definition 2 (Beineke & Wilson, 2004) Cayley Graph of a III. MAIN RESULTS Group Let 퐺 be a finite group with identity 1. Let 푆 be a subset of 퐺 In this section, our main results are specified in terms of satisfying 1 ∉ 푆 and 푆 = 푆−1; that is, 푠 ∈ 푆 if and only if 푠−1 ∈ propositions and theorems. The propositions present the 푆. The Cayley graph 퐶푎푦(퐺; 푆) on 퐺 with connection set 푆 is generalization of the Cayley graphs of 푆4 with respect to the defined as follows: subsets 푆 of valency one and two. Then, the results on the (i) the vertices are the elements of 퐺 energy of the Cayley graphs found are presented in two (ii) there is an edge joining 푔 and ℎ if and only if ℎ = 푠푔 theorems. The findings in the propositions are used in for some 푠 ∈ 푆. proving the theorems following them. The set of all Cayley graphs on 퐺 is denoted by 퐶푎푦(퐺; 푆) where 푆 is the subset of 퐺 with a certain valency which is the Proposition 3 (1) order of 푆. Let 푆4 be the symmetric group of order 24 and 푆 be the (1) subset of 푆4 of valency one, |푆 | = 1. Then, the Cayley graph 2 ASM Science Journal, Volume 13, 2020 (1) (1) of 푆4 with respect to the subset 푆 , denoted as 퐶푎푦(푆4, 푆 ) Consider the symmetric group of order 24, 푆4. By Proposition 12 (1) 12 is ⋃푖=1 퐾2. 3, the Cayley graph, 퐶푎푦(푆4, 푆 ) = ⋃푖=1 퐾2. By Proposition 1, the adjacency spectrum of a complete graph, 퐾푛 is Proof {(푛 – 1)1, ( − 1)푛 – 1 }. Thus, the adjacency spectrum of Suppose 푆 is the symmetric group of order 24 and 12 1 2−1 4 ⋃푖=1 퐾2 is 12{(2 – 1) , (−1) }. This gives the eigenvalues, (1) 퐶푎푦(푆4, 푆 ) is the Cayley graph of 푆4 with respect to the (1) 휆푖 = ±1 with multiplicity 12. Therefore, 퐸 (퐶푎푦(푆4, 푆 )) = subset 푆(1) of valency one. The vertex set of the Cayley graph, 12(1) + 12(|−1|) = 24. (1) 푉 (퐶푎푦(푆4, 푆 )) = {(1), (12), (13), (14), (23), (24), (34), (123), (132), (124), (142), (134), (143), Theorem 2 (2) (234), (243), (1234), (1432), (1243), (1342), Let 푆4 be the symmetric group of order 24 and 푆 be the (1324), (1423), (12)(34), (13)(24), (14)(23)}. subset of 푆4 of valency two. Then, the energy of the Cayley (1) (2) Then, by the definition of Cayley graph, let 푆 = {(12)(34)}, graph of 푆4 with respect to the subset 푆 , denoted as (1) (2) the edge set of the Cayley graph, 퐸푑푔푒(퐶푎푦(푆_4, 푆 )) = 퐸(퐶푎푦(푆4, 푆 )) is given in the following: { {(1), (12)(34)}, 32 ; 푆 = {(푖푗), (푘푙)} 푎푛푑 {(푖푗푘), (푙푚푛)}, ; 푆 = {(푖푗), (푘푙)(푚푛)}, {(12), (34)}, {(13), (1432)}, {(14), (1342)}, 12 + 12√2 24 ; 푆 = {(푖푗), (푖푗)(푘푙)}, {(푖푗)(푘푙), (푚푛)(푝푞)} {(23), (1243)}, {(24), (1234)}, {(123), (243)}, { 푎푛푑 {(푖푗푘푙), (푚푛푝푞)}.
Load more

Recommended publications
  • Arxiv:2101.02451V1 [Math.CO] 7 Jan 2021 the Diagonal Graph
    The diagonal graph R. A. Bailey and Peter J. Cameron School of Mathematics and Statistics, University of St Andrews, North Haugh, St Andrews, Fife, KY16 9SS, U.K. Abstract According to the O’Nan–Scott Theorem, a finite primitive permu- tation group either preserves a structure of one of three types (affine space, Cartesian lattice, or diagonal semilattice), or is almost simple. However, diagonal groups are a much larger class than those occurring in this theorem. For any positive integer m and group G (finite or in- finite), there is a diagonal semilattice, a sub-semilattice of the lattice of partitions of a set Ω, whose automorphism group is the correspond- ing diagonal group. Moreover, there is a graph (the diagonal graph), bearing much the same relation to the diagonal semilattice and group as the Hamming graph does to the Cartesian lattice and the wreath product of symmetric groups. Our purpose here, after a brief introduction to this semilattice and graph, is to establish some properties of this graph. The diagonal m graph ΓD(G, m) is a Cayley graph for the group G , and so is vertex- transitive. We establish its clique number in general and its chromatic number in most cases, with a conjecture about the chromatic number in the remaining cases. We compute the spectrum of the adjacency matrix of the graph, using a calculation of the M¨obius function of the arXiv:2101.02451v1 [math.CO] 7 Jan 2021 diagonal semilattice. We also compute some other graph parameters and symmetry properties of the graph. We believe that this family of graphs will play a significant role in algebraic graph theory.
    [Show full text]
  • An Introduction to Algebraic Graph Theory
    An Introduction to Algebraic Graph Theory Cesar O. Aguilar Department of Mathematics State University of New York at Geneseo Last Update: March 25, 2021 Contents 1 Graphs 1 1.1 What is a graph? ......................... 1 1.1.1 Exercises .......................... 3 1.2 The rudiments of graph theory .................. 4 1.2.1 Exercises .......................... 10 1.3 Permutations ........................... 13 1.3.1 Exercises .......................... 19 1.4 Graph isomorphisms ....................... 21 1.4.1 Exercises .......................... 30 1.5 Special graphs and graph operations .............. 32 1.5.1 Exercises .......................... 37 1.6 Trees ................................ 41 1.6.1 Exercises .......................... 45 2 The Adjacency Matrix 47 2.1 The Adjacency Matrix ...................... 48 2.1.1 Exercises .......................... 53 2.2 The coefficients and roots of a polynomial ........... 55 2.2.1 Exercises .......................... 62 2.3 The characteristic polynomial and spectrum of a graph .... 63 2.3.1 Exercises .......................... 70 2.4 Cospectral graphs ......................... 73 2.4.1 Exercises .......................... 84 3 2.5 Bipartite Graphs ......................... 84 3 Graph Colorings 89 3.1 The basics ............................. 89 3.2 Bounds on the chromatic number ................ 91 3.3 The Chromatic Polynomial .................... 98 3.3.1 Exercises ..........................108 4 Laplacian Matrices 111 4.1 The Laplacian and Signless Laplacian Matrices .........111 4.1.1
    [Show full text]
  • Cyclic and Abelian Groups
    Lecture 2.1: Cyclic and abelian groups Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 4120, Modern Algebra M. Macauley (Clemson) Lecture 2.1: Cyclic and abelian groups Math 4120, Modern Algebra 1 / 15 Overview In this series of lectures, we will introduce 5 families of groups: 1. cyclic groups 2. abelian groups 3. dihedral groups 4. symmetric groups 5. alternating groups Along the way, a variety of new concepts will arise, as well as some new visualization techniques. We will study permutations, how to write them concisely in cycle notation. Cayley's theorem tells us that every finite group is isomorphic to a collection of permutations. This lecture is focused on the first two of these families: cyclic groups and abelian groups. Informally, a group is cyclic if it is generated by a single element. It is abelian if multiplication commutes. M. Macauley (Clemson) Lecture 2.1: Cyclic and abelian groups Math 4120, Modern Algebra 2 / 15 Cyclic groups Definition A group is cyclic if it can be generated by a single element. Finite cyclic groups describe the symmetry of objects that have only rotational symmetry. Here are some examples of such objects. An obvious choice of generator would be: counterclockwise rotation by 2π=n (called a \click"), where n is the number of \arms." This leads to the following presentation: n Cn = hr j r = ei : Remark This is not the only choice of generator; but it's a natural one. Can you think of another choice of generator? Would this change the group presentation? M.
    [Show full text]
  • Automorphism Groups of Simple Graphs
    AUTOMORPHISM GROUPS OF SIMPLE GRAPHS LUKE RODRIGUEZ Abstract Group and graph theory both provide interesting and meaninful ways of examining relationships between elements of a given set. In this paper we investigate connections between the two. This investigation begins with automorphism groups of common graphs and an introduction of Frucht's Theorem, followed by an in-depth examination of the automorphism groups of generalized Petersen graphs and cubic Hamiltonian graphs in LCF notation. In conclusion, we examine how Frucht's Theorem applies to the specific case of cubic Hamiltonian graphs. 1. Group Theory Fundamentals In the field of Abstract Algebra, one of the fundamental concepts is that of combining particular sets with operations on their elements and studying the resulting behavior. This allows us to consider a set in a more complete way than if we were just considering their elements themselves outside of the context in which they interact. For example, we might be interested in how the set of all integers modulo m behaves under addition, or how the elements of a more abstract set S behave under some set of permutations defined on the elements of S. Both of these are examples of a group. Definition 1.1. A group is a set S together with an operation ◦ such that: (1) For all a; b 2 S, the element a ◦ b = c has the property that c 2 S. (2) For all a; b; c 2 S, the equality a ◦ (b ◦ c) = (a ◦ b) ◦ c holds. (3) There exists an element e 2 S such that a ◦ e = e ◦ a = a for all a 2 S.
    [Show full text]
  • Automorphism Groups of Graphs
    Automorphism groups of graphs ∗ Ashwin Ganesan† Abstract These lecture notes provide an introduction to automorphism groups of graphs. Some special families of graphs are then discussed, espe- cially the families of Cayley graphs generated by transposition sets. Keywords — Automorphism groups of graphs; Cayley graphs; transposition sets. 1 Introduction A permutation of a set Ω is a bijection from Ω to itself. For example, π = (1, 5, 4)(3, 6)(2) = (1, 5, 4)(3, 6) = [5, 2, 6, 1, 4, 3] is a permutation of {1, 2, 3, 4, 5, 6}. We can also write π :1 7→ 5, 2 7→ 2, 3 7→ 6, 4 7→ 1, 5 7→ 4, 6 7→ 3. The inverse of π is π−1 = (1, 4, 5)(3, 6)(2). Sym(Ω) denotes the set of all permutations of Ω. Sn denotes the symmetric group Sym({1,...,n}. The composition of permutations is carried out left to right: (1, 2)(2, 3) = (1, 3, 2). A transposition τ ∈ Sn is a permutation that interchanges two elements and arXiv:1206.6279v1 [cs.DM] 26 Jun 2012 fixes the remaining elements: τ =(i, j). Let Γ := (V, E) be a simple, undirected graph. An automorphism of a graph is a permutation of the vertex set that preserves adjacency. The automorphism group of Γ is the set of permutations of the vertex set that preserve adjacency, i.e., Aut(Γ) := {π ∈ Sym(V ): π(E)= E}. (Some of the ∗Based on an Invited Lecture delivered by the author at the Pre-Conference Workshop on Algebraic Graph theory under the auspices of the 8th Annual Conference of the Academy of Discrete Mathematics and Applications, Virudhunagar, India, June 2012.
    [Show full text]
  • Negative Curvature in Graphical Small Cancellation Groups
    NEGATIVE CURVATURE IN GRAPHICAL SMALL CANCELLATION GROUPS GOULNARA N. ARZHANTSEVA, CHRISTOPHER H. CASHEN, DOMINIK GRUBER, AND DAVID HUME Abstract. We use the interplay between combinatorial and coarse geometric versions 0 of negative curvature to investigate the geometry of infinitely presented graphical Gr (1=6) small cancellation groups. In particular, we characterize their `contracting geodesics', which should be thought of as the geodesics that behave hyperbolically. We show that every degree of contraction can be achieved by a geodesic in a finitely generated group. We construct the first example of a finitely generated group G containing an element g that is strongly contracting with respect to one finite generating set of G 0 and not strongly contracting with respect to another. In the case of classical C (1=6) small cancellation groups we give complete characterizations of geodesics that are Morse and that are strongly contracting. 0 We show that many graphical Gr (1=6) small cancellation groups contain strongly contracting elements and, in particular, are growth tight. We construct uncountably many quasi-isometry classes of finitely generated, torsion-free groups in which every maximal cyclic subgroup is hyperbolically embedded. These are the first examples of this kind that are not subgroups of hyperbolic groups. 0 In the course of our analysis we show that if the defining graph of a graphical Gr (1=6) small cancellation group has finite components, then the elements of the group have translation lengths that are rational and bounded away from zero. 1. Introduction Graphical small cancellation theory was introduced by Gromov as a powerful tool for constructing finitely generated groups with desired geometric and analytic properties [23].
    [Show full text]
  • Cycle Graphs of Groups
    Special Topics Course Lia Vas Cycle Graphs of Groups The whole idea here is that sometimes it is better to represent a group graphically that using presentations, listing all the elements or using Cayley tables. This is true especially for groups with larger number of elements when Cayley table become hard to read. So, the idea is to represent a group graphically as a graph. A graph is a set of objects called vertices or nodes some of which are connected by links called edges. So, graph is a set of vertices together with edges between them. Graph are used to represent different objects and the relations between them. The fol- lowing paragraph on applications of graph is taken from Wikipedia: Many applications of graph theory exist in the form of network analysis. These split broadly into two categories. Firstly, analysis to determine structural properties of a network, such as whether or not it is a scale-free network, or a small-world network. Secondly, analysis to find a measurable quantity within the network, for example, for a transportation network, the level of vehic- ular flow within any portion of it. Graph theory is also used to study molecules in science. In condensed matter physics, the three dimensional structure of complicated simulated atomic structures can be studied quantitatively by gathering statistics on graph-theoretic properties related to the topology of the atoms. For example, Franzblau’s shortest-path (SP) rings. Source: http://en.wikipedia.org/wiki/Graph theory Cycle graph is a graph that corresponds to a group. Group elements are vertices.
    [Show full text]
  • SM444 Notes on Algebraic Graph Theory
    SM444 notes on algebraic graph theory David Joyner 2017-12-04 These are notes1 on algebraic graph theory for sm444. This course focuses on \calculus on graphs" and will introduce and study the graph-theoretic analog of (for example) the gradient. For some well-made short videos on graph theory, I recommend Sarada Herke's channel on youtube. Contents 1 Introduction 2 2 Examples 6 3 Basic definitions 20 3.1 Diameter, radius, and all that . 20 3.2 Treks, trails, paths . 22 3.3 Maps between graphs . 26 3.4 Colorings . 29 3.5 Transitivity . 30 4 Adjacency matrix 31 4.1 Definition . 31 4.2 Basic results . 32 4.3 The spectrum . 35 4.4 Application to the Friendship Theorem . 44 4.5 Eigenvector centrality . 47 1See Biggs [Bi93], Joyner-Melles [JM], Joyner-Phillips [JP] and the lecture notes of Prof Griffin [Gr17] for details. 1 4.5.1 Keener ranking . 52 4.6 Strongly regular graphs . 54 4.6.1 The Petersen graph . 54 4.7 Desargues graph . 55 4.8 D¨urergraph . 56 4.9 Orientation on a graph . 57 5 Incidence matrix 59 5.1 The unsigned incidence matrix . 59 5.2 The oriented case . 62 5.3 Cycle space and cut space . 63 6 Laplacian matrix 74 6.1 The Laplacian spectrum . 79 7 Hodge decomposition for graphs 84 7.1 Abstract simplicial complexes . 85 7.2 The Bj¨orner complex and the Riemann hypothesis . 91 7.3 Homology groups . 95 8 Comparison graphs 98 8.1 Comparison matrices . 98 8.2 HodgeRank . 100 8.3 HodgeRank example .
    [Show full text]
  • Arxiv:1911.06261V1
    FLEXIBILITY AND MOVABILITY IN CAYLEY GRAPHS ARINDAM BISWAS Abstract. Let Γ = (V, E) be a (non-trivial) finite graph with λ : E → R+, an edge labelling of Γ. Let ρ : V → R2 be a map which preserves the edge labelling. The graph Γ is said to be flexible if there exists an infinite number of such maps (upto equivalence by rigid transformations) and it is said to be movable if there exists an infinite number of injective maps. We study movability of Cayley graphs and construct regular movable graphs of all degrees. Further, we give explicit constructions of “dense”, movable graphs. 1. Introduction In this article, we are interested in questions of rigidity, flexibility and movability of finite graphs. By definition, Definition 1.1 (Graph). A graph Γ = (V, E) is a tuple where V is an arbitrary set and E ⊆ V × V , called respectively the set of vertices of Γ and the set of edges of Γ. Strictly speaking E is a multi-set (when we have multiple edges between the same pair of vertices), but here we shall be dealing with simple graphs, so E is a subset of V × V . A graph is said to be finite if |V | < +∞, undirected if (u, v)=(v,u), ∀(u, v) ∈ E and without loops if (v, v) ∈/ E, ∀v ∈ V . From now on, the graphs we shall consider are non-trivial (|E| > 0), finite, simple, undirected, connected and without loops. Also, the graphs will be non-bipartite unless explicitly mentioned. Our aim is to study notions of rigidity, flexibility and movability in finite graphs.
    [Show full text]
  • Discrete Mathematics
    DIGITAL NOTES ON DISCRETE MATHEMATICS B.TECH II YEAR - I SEM (2020-21) DEPARTMENT OF INFORMATION TECHNOLOGY MALLA REDDY COLLEGE OF ENGINEERING & TECHNOLOGY (Autonomous Institution – UGC, Govt. of India) (Affiliated to JNTUH, Hyderabad, Approved by AICTE - Accredited by NBA & NAAC – ‘A’ Grade - ISO 9001:2015 Certified) Maisammaguda, Dhulapally (Post Via. Hakimpet), Secunderabad – 500100, Telangana State, INDIA. MALLA REDDY COLLEGE OF ENGINEERING & TECHNOLOGY DEPARTMENT OF INFORMATION TECHNOLOGY L T/P/D C II Year B.Tech IT -I Sem 3 -/-/- 3 (R18A506) DISCRETE MATHEMATICS UNIT - I MATHEMATICAL LOGIC AND PREDICATES Mathematical logic: Statements and notations, connectives, well-formed formulas, truth tables, tautology, equivalence implication; Normal forms: Disjunctive normal forms, conjunctive normal forms, principle disjunctive normal forms, principle conjunctive normal forms; Predicate calculus: Predicative logic, statement functions, variables and quantifiers, free and bound variables, rules of inference, consistency, proof of contradiction, automatic theorem proving. UNIT - II RELATIONS, FUNCTIONS AND LATTICES Relations: Properties of binary relations, equivalence, compatibility and partial ordering relations, lattices, Hasse diagram; Functions: Inverse function, composition of functions, recursive functions; Lattices: Lattices as partially ordered sets; Definition and examples, properties of lattices, sub lattices, some special lattices. UNIT - III ALGEBRAIC STRUCTURES AND COMBINATORICS Algebraic structures: Algebraic systems, examples
    [Show full text]
  • Introduction
    '- :"'\r'ERENCE PRocennlNcs Boox, Tth INroRNarroual Colrr,ERENCE oN Appltro Arual,ysrs eNo _.1 *u io-iq-, t01;,"j;r *euL-TuRr(Ey spectrum of cayley graphs of dihedrar groups and their energy Amira Fadina Ahmad Fadzil, Nor Haniza Sarmin and Ahmad Erfanian l:"partment of Mathematical Sci,ences, Faculty of Sci,ence, [Jniuersiti Teknologi, MaLagsia, Johor Bahru, Malaysia. Department of Pttre Mathemat'ics, Faculty of Mithematr,cal Sci,ences and Center oJ Ercellence in Analysis on Algebrazc Structures, Ferdnwli Uniuers,ity of Mashhad,, Mashhad,, Iran E-mail: [email protected], [email protected] and [email protected] Ab'stract:Let G be a finite gloup and S be a subset of G where ,9 does not include the identity of G and !:11-erse closed' A Cayley graph of 's G with respect. to ,S is a graph where its ve'tices are the elements rl and two vertices o and b are ':i: connecied if ab-1 is in the lubset ,S. 'rhe energy of a Cayley graplr u :he sum of all absolut: ,Y"lY". of the eigenvalues of its adjacency matlix. In this paper., we consider a .pecific subset S : of dihedlal group {o,n/2,b} of order 2n, where rt, } \ and n is even and find t}re ;--a"-ie)' glaph with respect to the set. we also calculate theil spectrurn and compute the energy of :it respected Cayley graphs. Finally, the generalization of the Cayley graphs and their energies a'e found. Keyrvords: Enelgy graph, of eigenvarues, adjacency matrix, cayley graph, Dihedral grorp.
    [Show full text]
  • Cayley Graphs Formed by Conjugate Generating Sets of Sn
    Page 1 of 22 Jacob Steinhardt Cayley graphs formed by conjugate generating sets of Sn Jacob Steinhardt Thomas Jefferson High School for Science and Technology [email protected] 2538 Oak Valley Drive Vienna, VA, USA 22181 (703)-242-7397 arXiv:0711.3057v1 [math.CO] 20 Nov 2007 Page 2 of 22 Jacob Steinhardt Abstract We investigate subsets of the symmetric group with structure similar to that of a graph. The “trees” of these subsets correspond to minimal conjugate generating sets of the symmetric group. There are two main theorems in this paper. The first is a characterization of minimal conjugate generating sets of Sn. The second is a generalization of a result due to Feng characterizing the automorphism groups of the Cayley graphs formed by certain generating sets composed of cycles. We compute the full automorphism groups subject to a weak condition and conjecture that the characterization still holds without the condition. We also present some computational results in relation to Hamiltonicity of Cayley graphs, including a generalization of the work on quasi-hamiltonicity by Gutin and Yeo to undirected graphs. Key words: Cayley graph, automorphism, transposition, cycle, conjugate, Hamiltonian cycle. Page 3 of 22 Jacob Steinhardt 1 Terminology In this paper, we will let N denote the set 1, 2,...,n . Sn will denote the symmetric group acting { } on n elements with canonical action on N. An will denote the alternating group acting on N. We will use the notation (a1 a2 ... ak1 )(b1 b2 ... bk2 ) . to express a permutation as a product of disjoint cycles. By the support of a permutation we will mean those elements not fixed by the permutation.
    [Show full text]