Note on Path Signed Graphs

Similar documents
Signed Graph Equation L K (S) S

Total Minimal Dominating Signed Graph

Negation Switching Equivalence in Signed Graphs

Restricted super line signed graph RL r (S)

THE COMMON MINIMAL COMMON NEIGHBORHOOD DOMINATING SIGNED GRAPHS. Communicated by Alireza Abdollahi. 1. Introduction

On the Infinity of Primes of the Form 2x 2 1

Algorithms, Lecture 3 on NP : Nondeterministic Polynomial Time

2D ELEMENTARY CELLULAR AUTOMATA WITH FOUR NEIGHBORS

Chapter 12. Synchronous Circuits. Contents

Figure 9.1: A clock signal.

A NOTE ON THE ERGODIC THEOREMS

COMP Intro to Logic for Computer Scientists. Lecture 2

CHAPTER I BASIC CONCEPTS

Math and Music. Cameron Franc

T T T T T F F F F T T T F F T T. which is equiv. to p Aq^ B, which is equiv. to A ^ B.

1/ 19 2/17 3/23 4/23 5/18 Total/100. Please do not write in the spaces above.

Research Article. ISSN (Print) *Corresponding author Shireen Fathima

INTERNATIONAL CONFERENCE ON ENGINEERING DESIGN ICED 05 MELBOURNE, AUGUST 15-18, 2005 GENERAL DESIGN THEORY AND GENETIC EPISTEMOLOGY

Two Enumerative Tidbits

A Framework for Segmentation of Interview Videos

VISUAL CONTENT BASED SEGMENTATION OF TALK & GAME SHOWS. O. Javed, S. Khan, Z. Rasheed, M.Shah. {ojaved, khan, zrasheed,

CSC 373: Algorithm Design and Analysis Lecture 17

MATH 214 (NOTES) Math 214 Al Nosedal. Department of Mathematics Indiana University of Pennsylvania. MATH 214 (NOTES) p. 1/11

Visualizing Euclidean Rhythms Using Tangle Theory

A Functional Representation of Fuzzy Preferences

Contents Circuits... 1

Chapter 6. Normal Distributions

CONTINGENCY AND TIME. Gal YEHEZKEL

Lecture 17 Microwave Tubes: Part I

1-5 Square Roots and Real Numbers. Holt Algebra 1

Sequential Logic Notes

A High- Speed LFSR Design by the Application of Sample Period Reduction Technique for BCH Encoder

Randomness for Ergodic Measures

Beliefs under Unawareness

Scrambling and Descrambling SMT-LIB Benchmarks

EIGHT SHORT MATHEMATICAL COMPOSITIONS CONSTRUCTED BY SIMILARITY

General description. The Pilot ACE is a serial machine using mercury delay line storage

PART II METHODOLOGY: PROBABILITY AND UTILITY

1.1. History and Development Summary of the Thesis

Lecture 3: Nondeterministic Computation

ALGEBRAIC PURE TONE COMPOSITIONS CONSTRUCTED VIA SIMILARITY

Combinatorial Potlatch 2015 University of British Columbia Saturday, November 21, 2015

arxiv: v1 [math.ho] 15 Apr 2015

Stream Ciphers. Debdeep Mukhopadhyay

Musical Sound: A Mathematical Approach to Timbre

INTRODUCTION TO MATHEMATICAL REASONING. Worksheet 3. Sets and Logics

Implementation of 24P, 25P and 30P Segmented Frames for Production Format

MATH 214 (NOTES) Math 214 Al Nosedal. Department of Mathematics Indiana University of Pennsylvania. MATH 214 (NOTES) p. 1/3

Draft Guidelines on the Preparation of B.Tech. Project Report

Partitioning a Proof: An Exploratory Study on Undergraduates Comprehension of Proofs

B291B. MATHEMATICS B (MEI) Paper 1 Section B (Foundation Tier) GENERAL CERTIFICATE OF SECONDARY EDUCATION. Friday 9 January 2009 Morning

Cognitive Units, Connections and Mathematical Proof

Music and Mathematics: On Symmetry

Modified Sigma-Delta Converter and Flip-Flop Circuits Used for Capacitance Measuring

Display Dilemma. Display Dilemma. 1 of 12. Copyright 2008, Exemplars, Inc. All rights reserved.

2 The Essentials of Binary Arithmetic

A Fast Constant Coefficient Multiplier for the XC6200

22/9/2013. Acknowledgement. Outline of the Lecture. What is an Agent? EH2750 Computer Applications in Power Systems, Advanced Course. output.

ECE438 - Laboratory 1: Discrete and Continuous-Time Signals

Peirce's Remarkable Rules of Inference

GRADE. Nevada DEPARTMENT OF EDUCATION. Instructional Materials. Nevada TEST. Grade 7 MATHEMATICS. Copyright 2013 by the Nevada Department of Education

CSE 101. Algorithm Design and Analysis Miles Jones Office 4208 CSE Building Lecture 9: Greedy

1360 IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 59, NO. 3, MARCH Optimal Encoding for Discrete Degraded Broadcast Channels

IF MONTY HALL FALLS OR CRAWLS

Appendix D: The Monty Hall Controversy

Clocks. Sequential Logic. A clock is a free-running signal with a cycle time.

ANNA KOWALSKA and ANDRZEJ F. NOWAK. Sample paper for Dissertationes Mathematicae

Lecture 5: Tuning Systems

Philosophy 405: Knowledge, Truth and Mathematics Spring Russell Marcus Hamilton College

INTRODUCTION TO AXIOMATIC SET THEORY

AskDrCallahan Calculus 1 Teacher s Guide

Multirate Signal Processing: Graphical Representation & Comparison of Decimation & Interpolation Identities using MATLAB

Symbolization and Truth-Functional Connectives in SL

Restoration of Hyperspectral Push-Broom Scanner Data

The unbelievable musical magic of the number 12

Sense and soundness of thought as a biochemical process Mahmoud A. Mansour


Sequential Circuits: Latches & Flip-Flops

Lecture 7. Scope and Anaphora. October 27, 2008 Hana Filip 1

Use of Abstraction in Architectural Design Process (in First Year Design Studio)

On the Analogy between Cognitive Representation and Truth

MC9211 Computer Organization

Research Article Sufficient Conditions and Applications for Carathéodory Functions

What is Character? David Braun. University of Rochester. In "Demonstratives", David Kaplan argues that indexicals and other expressions have a

Segmented Leap-Ahead LFSR Architecture for Uniform Random Number Generator

Formalizing Irony with Doxastic Logic

A clock is a free-running signal with a cycle time. A clock may be either high or low, and alternates between the two states.

CS8803: Advanced Digital Design for Embedded Hardware

SYSTEM-PURPOSE METHOD: THEORETICAL AND PRACTICAL ASPECTS Ramil Dursunov PhD in Law University of Fribourg, Faculty of Law ABSTRACT INTRODUCTION

Replies to the Critics

Manuscript template: full title must be in sentence case

Logic and Philosophy of Science (LPS)

Overview. Teacher s Manual and reproductions of student worksheets to support the following lesson objective:

INSTRUCTIONS FOR TYPING MANUSCRIPTS USING COMPUTER SOFTWARE

Motives Study Group UCL

Optimization of Multi-Channel BCH Error Decoding for Common Cases. Russell Dill Master's Thesis Defense April 20, 2015

Design and VLSI Implementation of Oversampling Sigma Delta Digital to Analog Convertor Used For Hearing Aid Application

Math Final Exam Practice Test December 2, 2013

On Containers and Content, with a Cautionary Note to Philosophers of Mind

Comparative Analysis of Stein s. and Euclid s Algorithm with BIST for GCD Computations. 1. Introduction

Transcription:

NNTDM 15 (2009), 4, 1-6 Note on Path Signed Graphs P. Siva Kota Reddy 1 and M. S. Subramanya 2 Department of Studies in Mathematics University of Mysore, Manasagangotri Mysore 570 006, India E-mail: 1 reddy math@yahoo.com; 2 subramanya ms@rediffmail.com Abstract Data in the social sciences can often modeled using signed graphs, graphs where every edge has a sign + or, or marked graphs, graphs where every vertex has a sign + or. The path graph P k (G) of a graph G is obtained by representing the paths P k in G by vertices whenever the corresponding paths P k in G from a path P k+1 or a cycle C k. In this note, we introduce a natural extension of the notion of path graphs to the realm of signed graphs. It is shown that for any signed graph S, P k (S) is balanced. The concept of a line signed graph is generalized to that of a path signed graphs. Further, in this note we discuss the structural characterization of path signed graphs. Also, we characterize signed graphs which are switching equivalent to their path signed graphs P 3 (S) (P 4 (S)). 2000 Mathematics Subject Classification : 05C 22 KEYWORDS AND PHRASES : Signed graphs, Balance, Switching, Line signed graphs, Path signed graphs, Negation. 1 Introduction For standard terminology and notion in graph theory we refer the reader to West [11]; the non-standard will be given in this paper as and when required. We treat only finite simple graphs without self loops and isolates. 1

A signed graph is an ordered pair S = (G, σ), where G = (V, E) is a graph called underlying graph of S and σ : E {+, } is a function. A signed graph S = (G, σ) is balanced if every cycle in S has an even number of negative edges (See [4]). Equivalently, a signed graph is balanced if product of signs of the edges on every cycle of S is positive. A marking of S is a function µ : V (G) {+, }; A signed graph S together with a marking µ is denoted by S µ. The following characterization of balanced signed graphs is well known. Proposition 1. (E. Sampathkumar [8]) A signed graph S = (G, σ) is balanced if, and only if, there exist a marking µ of its vertices such that each edge uv in S satisfies σ(uv) = µ(u)µ(v). The idea of switching a signed graph was introduced by Abelson and Rosenberg [1] in connection with structural analysis of marking µ of a signed graph S. Switching S with respect to a marking µ is the operation of changing the sign of every edge of S to its opposite whenever its end vertices are of opposite signs. The signed graph obtained in this way is denoted by S µ (S) and is called µ-switched signed graph or just switched signed graph. Two signed graphs S 1 = (G, σ) and S 2 = (G, σ ) are said to be isomorphic, written as S 1 = S2 if there exists a graph isomorphism f : G G (that is a bijection f : V (G) V (G ) such that if uv is an edge in G then f(u)f(v) is an edge in G ) such that for any edge e G, σ(e) = σ (f(e)). Further, a signed graph S 1 = (G, σ) switches to a signed graph S 2 = (G, σ ) (or that S 1 and S 2 are switching equivalent) written S 1 S 2, whenever there exists a marking µ of S 1 such that S µ (S 1 ) = S 2. Note that S 1 S 2 implies that G = G, since the definition of switching does not involve change of adjacencies in the underlying graphs of the respective signed graphs. Two signed graphs S 1 = (G, σ) and S 2 = (G, σ ) are said to be cycle isomorphic (see [12]) if there exists an isomorphism φ : G G such that the sign of every cycle Z in S 1 equals to the sign of φ(z) in S 2. The following result will be useful in our further investigation (See [12]): Proposition 2. (T. Zaslavsky [12]) Two signed graphs S 1 and S 2 with the same underlying graph are switching equivalent if, and only if, they are cycle isomorphic. 2 Path Signed Graphs Broersma and Hoede [2] generalized the concept of line graphs to that of path graphs. Let P k and C k denote a path and a cycle with k vertices, respectively. 2

Denote Π k (G) the set of all paths of G on k vertices (k 1). The path graph P k (G) of a graph G has vertex set Π k (G) and edges joining pairs of vertices that represent two paths P k, the union of which forms either a path P k+1 or a cycle C k in G. A graph is called a P k -graph, if it is isomorphic to P k (H) for some graph H. If k = 2, then the P 2 -graph is exactly the line graph. The way of describing a line graph stresses the adjacency concept, whereas the way of describing a path graph stresses concept of the path generation by consecutive paths. For P 3 -graphs, Broersma and Hoede [2] gave a solution to the characterization problem, which contained flaw. Later, Li and Lin [6] presented corrected form of the characterization of P 3 -graphs. For k 4, the problems becomes more difficult. Although the determination and characterization problems for P k -graphs for k 4 have not been completely solved. We extend the notion of P k (G) to the realm of signed graphs. In a signed graph S = (G, σ), for any A E(G) the sign σ(a) is the product of the signs on the edges of A. The path signed graph P k (S) = (P k (G), σ ) of a signed graph S = (G, σ) is a signed graph whose underlying graph is P k (G) called path graph and sign of any edge e = P k P k in P k(s) is σ (P k P k ) = σ(p k)σ(p k ). Further, a signed graph S = (G, σ) is called path signed graph, if S = P k (S ), for some signed graph S. We now gives a straightforward, yet interesting, property of path signed graphs. Proposition 3. For any signed graph S = (G, σ), its path signed graph P k (S) is balanced. Proof. Since sign of any edge σ (e = P k P k ) in P k(s) is σ(p k )σ(p k ), where σ is the marking of P k (S), by Proposition 1, P k (S) is balanced. Remark: For any two signed graphs S and S with same underlying graph, their path signed graphs are switching equivalent. In [3], the author defined line signed graph of a signed graph S = (G, σ) as follows: The line signed graph of a signed graph S = (G, σ) is a signed graph L(S) = (L(G), σ ), where for any edge ee in L(S), σ (ee ) = σ(e)σ(e ) (see also, E. Sampathkumar et al. [9]). Hence, we shall call a given signed graph S a line signed graph if it is isomorphic to the line signed graph L(S ) of some signed graph S. By the definition of path signed graphs, we observe that P 2 (S) = L(S). Corollary 4. For any signed graph S = (G, σ), its P 2 (S) (=L(S)) is balanced. In [10], the authors obtain structural characterization of line signed graphs as follows: 3

Proposition 5. (E. Sampathkumar et al. [10]) A signed graph S = (G, σ) is a line signed graph (or P 2 -signed graph) if, and only if, S is balanced and G is a line graph (or P 2 -graph). Proof. Suppose that S is balanced and G is a line graph. Then there exists a graph H such that L(H) = G. Since S is balanced, by Proposition 1, there exists a marking µ of G such that each edge uv in S satisfies σ(uv) = µ(u)µ(v). Now consider the signed graph S = (H, σ ), where for any edge e in H, σ (e) is the marking of the corresponding vertex in G. Then clearly, L(S ) = S. Hence S is a line signed graph. Conversely, suppose that S = (G, σ) is a line signed graph. Then there exists a signed graph S = (H, σ ) such that L(S ) = S. Hence G is the line graph of H and by Corollary 4, S is balanced. We strongly believe that the above Proposition can be generalized to path signed graphs P k (S) for k 3. Hence, we pose it as a problem: Problem 6. If S = (G, σ) is a balanced signed graph and its underlying graph G is a path graph, then S is a path signed graph. We now characterize those signed graphs that are switching equivalent to their P 3 (P 4 )-signed graphs. In the case of graphs the following results is due to Broersma and Hoede [2] and Li and Zhao [7] respectively. Proposition 7. (Broersma and Hoede [2] ) A connected graph G is isomorphic to its path graph P 3 (G) if, and only if, G is a cycle. Proposition 8. (Li and Zhao [7] ) A connected graph G is isomorphic to its path graph P 4 (G) if, and only if, G is a cycle of length at least 4. Proposition 9. For any connected signed graph S = (G, σ) satisfies (i) S P 3 (S) if, and only if, S is a balanced signed graph on a cycle. (ii) S P 4 (S) if, and only if, S is a balanced signed graph on a cycle of length at least 4. Proof. (i) Suppose that S P 3 (S). This implies, G = P 3 (G) and hence by Proposition 7, we see that the graph G must be a cycle. Now, if S is any signed graph on a cycle, Proposition 3 implies that P 3 (S) is balanced and hence if S is unbalanced, P 3 (S) being balanced cannot be switching equivalent to S in accordance with Proposition 2. Therefore, S must be balanced. Conversely, suppose that S is a balanced signed graph on a cycle. Then, since P 3 (S) is balanced as per Proposition 3 and since P 3 (G) = G, the result follows from Proposition 2. Similarly, we can prove (ii) using Proposition 8. 4

The notion of negation η(s) of a given signed graph S defined in [5] as follows: η(s) has the same underlying graph as that of S with the sign of each edge opposite to that given to it in S. However, this definition does not say anything about what to do with nonadjacent pairs of vertices in S while applying the unary operator η(.) of taking the negation of S. For a signed graph S = (G, σ), the P k (S) is balanced (Proposition 3). We now examine, the condition under which negation of P k (S) (i.e., η(p k (S))) is balanced. Proposition 10. Let S = (G, σ) be a signed graph. If P k (G) is bipartite then η(p k (S)) is balanced. Proof. Since, by Proposition 3, P k (S) is balanced, then every cycle in P k (S) contains even number of negative edges. Also, since P k (G) is bipartite, all cycles have even length; thus, the number of positive edges on any cycle C in P k (S) are also even. This implies that the same thing is true in negation of P k (S). Hence η(p k (S)) is balanced. Proposition 8 provides easy solutions to three other signed graph switching equivalence relations, which are given in the following results. Corollary 11. For any signed graph S = (G, σ), (i) η(s) P 3 (S) if, and only if, S is an unbalanced signed graph on any odd cycle. (ii) η(s) P 4 (S) if, and only if, S is an unbalanced signed graph on any odd cycle of length at least 5. Corollary 12. For any signed graph S = (G, σ) and for any integer k 1, P k (η(s)) P k (S). Acknowledgement The authors thankful to Department of Science and Technology, Government of India, New Delhi for the financial support under the project grant SR/S4/MS:275/05. References [1] R. P. Abelson and M. J. Rosenberg, Symoblic psychologic : A model of attitudinal cognition, Behav. Sci., 3 (1958), 1-13. [2] H. J. Broersma and C. Hoede, Path graphs, J. Graph Theory, 13 (1989), 427-444. 5

[3] M. K. Gill, Contributions to some topics in graph theory and its applications, Ph.D. thesis, The Indian Institute of Technology, Bombay, 1983. [4] F. Harary, On the notion of balance of a sigraph, Michigan Math. J., 2(1953), 143-146. [5] F. Harary, Structural duality, Behav. Sci., 2(4) (1957), 255-265. [6] H. Li and Y. Lin, On the characterization of path graphs, J. Graph Theory, 17 (1993), 463-466. [7] X. Li and B. Zhao, Isomorphisms of P 4 -graphs, Australas. J. Combin., 15 (1997), 135-143. [8] E. Sampathkumar, Point signed and line signed graphs, Nat. Acad. Sci. Letters, 7(3) (1984), 91-93. [9] E. Sampathkumar, P. Siva Kota Reddy, and M. S. Subramanya, The Line n-sigraph of a symmetric n-sigraph, Southeast Asian Bull. Math., to appear. [10] E. Sampathkumar, M. S. Subramanya and P. Siva Kota Reddy, Characterization of Line Sidigraphs, Southeast Asian Bull. Math., to appear. [11] D. B. West, Introduction to Graph Theory, Prentice-Hall of India Pvt. Ltd., 1996. [12] T. Zaslavsky, Signed Graphs, Discrete Appl. Math., 4(1)(1982), 47-74. 6