# A REMARK ON ALMOST MOORE DIGRAPHS OF DEGREE THREE. 1. Introduction and Preliminaries

Save this PDF as:

Size: px
Start display at page:

Download "A REMARK ON ALMOST MOORE DIGRAPHS OF DEGREE THREE. 1. Introduction and Preliminaries"

## Transcription

1 Acta Math. Univ. Comenianae Vol. LXVI, 2(1997), pp A REMARK ON ALMOST MOORE DIGRAPHS OF DEGREE THREE E. T. BASKORO, M. MILLER and J. ŠIRÁŇ Abstract. It is well known that Moore digraphs do not exist except for trivial cases (degree 1 or diameter 1), but there are digraphs of diameter two and arbitrary degree which miss the Moore bound by one. No examples of such digraphs of diameter at least three are known, although several necessary conditions for their existence have been obtained. A particularly interesting necessary condition for the existence of a digraph of degree three and diameter k 3 of order one less than the Moore bound is that the number of its arcs be divisible by k + 1. In this paper we derive a new necessary condition (in terms of cycles of the socalled repeat permutation) for the existence of such digraphs of degree three. As a consequence we obtain that a digraph of degree three and diameter k 3 which misses the Moore bound by one cannot be a Cayley digraph of an Abelian group. 1. Introduction and Preliminaries The well known degree/diameter problem for digraphs is to determine the largest order n d,k of a digraph of (out)degree at most d and diameter at most k. A straightforward upper bound on n d,k is the Moore bound M d,k : n d,k M d,k = 1 + d + d d k. It is well known that n d,k = M d,k only in the trivial cases when d = 1 (directed cycles of length k + 1) or k = 1 (complete digraphs of order d + 1), see [12] or [7]. For k = 2, line digraphs of complete digraphs are examples showing that n d,2 = M d,2 1 if d 2. On the other hand, if d = 2 then n 2,k < M 2,k 1 for k 3 (see [11]). Moreover, from the necessary conditions obtained in [10] it follows that, for example, n 2,k < M 2,k 2 for 3 k 10 7, k , The question of whether or not equality can hold in n d,k M d,k 1 for d 3 and k 3 is completely open. For convenience, a digraph of (out)degree at most d, diameter at most k (where d 3 and k 2) and order M d,k 1 will be called a (d, k)-digraph. It is an easy Received June 1, Mathematics Subject Classification (1991 Revision). Primary 05C20. Research done while the first and the third author were visiting the Department of Computer Science and Software Engineering of the University of Newcastle NSW Australia in June 1997, supported by small ARC grant.

2 286 E. T. BASKORO, M. MILLER and J. ŠIRÁŇ exercise to show that a (d, k)-digraph must, in fact, be diregular of degree d and its diameter must be equal to k. Several necessary conditions for the existence of (d, k)-digraphs have been proved in [2], [3], [4], [5], [6]. In particular, for d = 3 it was proved in [3] that (3, k)-digraphs do not exist if k is odd or if k + 1 does not divide 9 2 (3k 1). All these conditions refer in one way or another to the so-called repeats which were first introduced in [3] and which we recall next. Let G be a (d, k)-digraph. A simple counting argument shows that for each vertex u of G there exists exactly one vertex r(u) in G with the property that there are two u r(u) walks in G of length not exceeding k. The vertex r(u) is called the repeat of u. It can be shown [3] that the mapping v r(v) is an automorphism of G. In what follows we shall therefore refer to r as the repeat automorphism of the (d, k)-digraph G. Very recently, for d = 3 it has been proved in [6] that all cycles of the repeat automorphism r (when written as a permutation of the vertex set of a (3, k)-digraph) must have the same length. However, cycles of length one are impossible, due to an earlier result of [3] which says that for k 3 and d 2 there is no (d, k)-digraph for which r is an identity automorphism. The purpose of this note is to examine the other extreme; we show that the cycles of a repeat automorphism of a (3, k)-digraph cannot be too long (Section 4, Theorem 1). As a consequence of our method we shall prove that a (3, k)-digraph cannot be a Cayley graph of an Abelian group. We use an algebraic approach to the problem; the basics are introduced in Sections 2 and Algebraic Background Let G be a digraph and let Γ be a subgroup of Aut (G), the group of all automorphisms of G, viewed as a group of permutations of the vertex set V (G). In addition, let us assume that Γ is semi-regular on V (G), that is, for any ordered pair of vertices u, v V (G) (possibly u = v) there exists at most one automorphism g Γ such that g(u) = v. Then we may define the quotient digraph G/Γ as follows. The vertex set V (G/Γ) is the set of all orbits O(u) = {g(u); g Γ} of the group Γ on V (G). If O(u), O(v) is any ordered pair of vertices of the quotient digraph G/Γ (that is, any pair of orbits of Γ on V(G); we do not exclude the case O(u) = O(v)) and if in the original digraph G there are t arcs emanating from u and terminating in O(v), then there will be t parallel arcs in G/Γ emanating from O(u) and terminating at O(v). Note that in the case when O(u) = O(v) the t arcs will become t loops attached at the vertex O(u). The fact that quotient digraphs are well defined (i.e., incidence in the quotient graph does not depend on the choice of a particular vertex in the orbit) is an easy consequence of semi-regularity of Γ on V (G). It is more important to notice that the projection ρ: V (G) V (G/Γ) given by ρ(u) = O(u) is a digraph epimorphism.

3 ALMOST MOORE DIGRAPHS 287 Note that if, in the situation above, the group Γ is regular on V (G) that is, if for any ordered pair (u, v) V (G) V (G) there exists exactly one automorphism g Γ such that g(u) = v then G is isomorphic to a Cayley digraph for the group Γ and the quotient digraph G/Γ consists of a single vertex only (with d loops attached to it if G is d-regular). We shall soon be facing the following converse problem: Given a digraph H, what are the possible digraphs G and semi-regular subgroups Γ < Aut (G) for which the quotient digraph G/Γ is isomorphic to H? A complete answer can be given in terms of the so-called voltage assignments and lifts. Voltage assignments on (undirected) graphs were introduced in the early 70 s [8] as a dual form of current graphs; the latter played a key role in proving the famous Map Color Theorem. Most of the theory (summarised in [9]) can be immediately transferred to digraphs, and in what follows we outline only the basic facts. Let H be a digraph, possibly containing directed loops and/or parallel arcs. Let Γ be an arbitrary group. Any mapping α: D(H) Γ is called a voltage assignment on H. The lift of H by α, denoted by H α, is the digraph defined as follows: V (H α ) = V (H) Γ, D(H α ) = D(H) Γ, and there is an arc (x, f) in H α from (u, g) to (v, h) if and only if f = g, x is an arc from u to v, and h = gα(x). The mapping π : H α H which erases the second coordinates, that is, π(u, g) = u and π(x, g) = x for each u V (H), x D(H) and g Γ, is called a natural projection. Clearly, π is a digraph epimorphism; the sets π 1 (u) and π 1 (x) are called fibres above the vertex u or above the arc x, respectively. For any two vertices in the same fibre π 1 (u) there exists an automorphism of the lift which sends the first vertex to the second. Indeed, without loss of generality, let (u, id), (u, g) π 1 (u) be a pair of such vertices. Then it can be easily checked that the mapping B g : H α H α, given by B g (v, h) = (v, gh) for each (v, h) V (H α ), is an automorphism of the lift H α such that B g (u, id) = (u, g). Observe that the collection Γ = {B g ; g Γ} forms a semi-regular subgroup (isomorphic to Γ) of the group Aut(H α ); the fibres coincide with the orbits of Γ. A close connection between quotients and lifts may already be apparent from the definitions. Indeed, the basic result on semi-regular group actions on undirected graphs, which is Theorem of [9], immediately translates to the following directed version: Proposition 1. Let G be a digraph and let Γ < Aut (G) be a semi-regular subgroup on V (G). Then there exists a voltage assignment α on the quotient digraph G/Γ in the group Γ such that the lift (G/Γ) α is isomorphic to G. Thus, for a given quotient digraph H, all possible digraphs G (and semi-regular groups Γ on V (G)) such that G/Γ H can be re-constructed by considering voltage assignments on the digraph H and the corresponding lifts.

4 288 E. T. BASKORO, M. MILLER and J. ŠIRÁŇ 3. The Diameter of a Lift We shall also be interested in recovering some properties of a lift from properties of the quotient. For this purpose we outline the connection between closed walks in the quotient and in the lift. Let α be a voltage assignment on a digraph H in a group Γ. Let W = x 1 x 2... x m be a walk in H, i.e., an arc sequence in which the terminal vertex of x i 1 coincides with the initial vertex of x i for each i, 2 i m (we allow an arc to be used repeatedly). The number m is the length of the walk W. The walk W is closed if the initial vertex of x 1 and the terminal vertex of x m coincide. The net voltage of W is simply the product α(w ) = α(x 1 )α(x 2 )... α(x m ). For convenience, at each vertex we also admit a trivial closed walk of length 0 and of unit net voltage. It is easy to see that for each walk W = x 1 x 2... x m in H from a vertex u to vertex v and for each g Γ there exists a unique walk W in the lift H α emanating from the vertex (u, g) and such that π( W ) = W. This walk has the form W = (x 1, g)(x 2, gα(x 1 ))... (x m, gα(x 1 )α(x 2 )... α(x m 1 )); it emanates in the lift from the vertex (u, g) and terminates at the vertex (v, gα(w )). The walk W is often called a lift of W. Note that for any two distinct vertices (u, g), (v, h) in V (H α ) there exists a path W of length at most k from (u, g) to (v, h) if and only if the projection W = π( W ) is a walk in the digraph H of length at most k from u to v with α(w ) = g 1 h. This immediately implies the following result on the diameter of the lift (cf. [1]): Lemma 1. Let α be a voltage assignment on a digraph H in a group Γ. Then diam(h α ) k if and only if for each ordered pair of vertices u, v of H (possibly u = v) and for each g Γ there exists a walk of length k from u to v whose net voltage is g. For any vertex u H and any non-negative integer t let α[u; t] denote the set of all distinct voltages on closed walks in H of length t emanating from u. We now have an obvious corollary of Lemma 1: Lemma 2. Let α be a voltage assignment on a digraph H in a group Γ. If the diameter of the lift H α is equal to k, then for each vertex u H, k α[u; t] Γ t=0 Proof. According to Lemma 1 (the case u = v), if diam (H α ) = k then for each u V (H) and for each g Γ there exists a closed walk at u of length k whose net voltage is equal to g. In other words, the union of all sets α[u; t], 0 t k, is equal to Γ; this proves our inequality.

5 ALMOST MOORE DIGRAPHS Results Recall that for d 3 and k 2, by a (d, k)-digraph we understand any diregular digraph of degree d, diameter k and order M d,k 1. When referring to cycles of the repeat automorphism r we mean the cycles in the cycle decomposition of r, written as a permutation of V (G). Theorem 1. Let G be a (3, k)-digraph, k 3, let n = V (G), and let r be the repeat automorphism of G. Then all cycles of r have equal length, smaller than 3n log 3 k/(k + 1 log 3 k). Proof. Let Γ be the cyclic subgroup of Aut(G) generated by r. By Theorem 3 of [6], Γ acts semi-regularly on V (G) with all orbits of equal size; let m be the size of each orbit. Consider the quotient digraph H = G/Γ and let V (H) = q; clearly n = V (G) = mq. In order to prove our theorem it is sufficient to show that q > (k + 1 log 3 k)/(3 log 3 k). According to Proposition 1, there exists a voltage assignment α on the quotient digraph H in the (cyclic) group Γ such that the lift H α is isomorphic to the original digraph G. Although we have no information about the structure of the quotient digraph H (except that it has q vertices, each of degree three), we nevertheless may establish an upper bound on the number of distinct voltages on its closed walks as follows. Let x i, 1 i be the collection of all arcs of H and let α(x i ) = a i Γ be the corresponding voltages. Fix a vertex u V (H) and estimate the number of elements in the set α[u; t] for a fixed t k. Let W be a closed walk in H of length t, emanating from (and terminating at) u. Assume that the walk traverses j i times the arc x i, where i=1 j i = t. The net voltage of W is then α(w ) = i=1 j ia i. From this we immediately see that the number of voltages appearing in the set α[u; t] is never greater than the number of ordered -tuples (j 1,..., j ) of nonnegative integers whose sum is equal to t. The number of such ordered decompositions is well known to be equal to ( ) t For the number of possible voltages on all closed walks at u of length k we therefore obtain: (1) k α[u; t] t=0 k t=0 ( ) t + 1 = 1 ( ) k + Since diam (H α ) = k, by Lemma 2 and the inequality (1) we have Γ ( ) k+. Recalling that the lift H α is isomorphic to our (3, k)-digraph G with n = 3(3 k 1)/2 vertices and that Γ = m = n/q, we obtain (2) 3(3 k 1) 2q ( ) k +

6 290 E. T. BASKORO, M. MILLER and J. ŠIRÁŇ In order to eliminate q, we observe that l ( ) k+l l < k l+1 for each k 3 and l 1. (Indeed, this is trivially true for l = 1, 2, and an easy induction works for l 2.) Combining this inequality with (2) we finally obtain ( ) ( ) k + k + 3 k+1 2q + 3 < k +1, and hence q > (k + 1 log 3 k)/(3 log 3 k). The proof is complete. We have the following obvious corollary announced earlier. Corollary 1. Let G be a (3, k)-digraph, k 2, and let r be the repeat automorphism of G. Then r cannot consist of a single cycle. Proof. If k 3, the result follows directly from Theorem 1 because q > 1. For k = 2 it is sufficient to observe that the inequality (2) is not valid for q = 1. The last result can be extended slightly by reformulating it in terms of Cayley digraphs. Let Γ be a (finite) group and let X be a generating set for Γ. The Cayley digraph C(Γ, X) has vertex set Γ, and for any ordered pair of vertices g, h Γ there is an arc emanating from g and terminating at h whenever gx = h for some x X. We observe that C(Γ, X) is a vertex-transitive digraph of degree X ; the group Γ acts regularly on the vertex set of the Cayley digraph by left translations. Corollary 2. Let G be a (3, k)-digraph, k 2. Then G cannot be a Cayley digraph of an Abelian group. Proof. Assume that a (3, k)-digraph G is isomorphic to a Cayley digraph C(Γ, X) where Γ is an Abelian group. Since Γ acts regularly on V (G), the quotient digraph G/Γ consists of precisely one vertex incident to three loops. Examining the proof of Theorem 1 one quickly sees that it is valid for all Abelian (not only cyclic) groups. The Corollary follows. References 1. Baskoro E. T., Brankovic L., Miller M., Plesník J., Ryan J. and Širáň J., Large digraphs with small diameter: A voltage assignment approach, (to appear in JCMCC). 2. Baskoro E. T., Miller M., Plesník J. and Znám Š., Regular digraphs of diameter 2 and maximum order, the Australasian Journal of Combinatorics 9 (1994), , Digraphs of degree 3 and order close to Moore bound, J. Graph Theory 20 (1995), Baskoro E. T., Miller M. and Plesník J., On the structure of digraphs with order close to the Moore bound, (to appear in Graphs and Combinatorics). 5., Further results on almost Moore digraphs, submitted, Baskoro E. T., On the existence of cubic digraphs with optimum order, (to appear in MIHMI). 7. Bridges W. G. and Toueg S., On the impossibility of directed Moore graphs, J. Combinatorial Theory, Series B29 (1980), Gross J. L., Voltage graphs, Discrete Math. 9 (1974),

7 ALMOST MOORE DIGRAPHS Gross J. L. and Tucker T. W., Topological Graph Theory, Wiley, New York, Miller M., Digraph covering and its application to two optimisation problems for digraphs, Australasian Journal of Combinatorics 3 (1991), Miller M. and Fris I., Maximum order digraphs for diameter 2 or degree 2, Pullman volume of Graphs and Matrices, Lecture Notes in Pure and Applied Mathematics, vol. 139, 1992, pp Plesník J. and Znám Š., Strongly geodetic directed graphs, Acta F. R. N. Univ. Comen. Mathematica XXIX (1974), E. T. Baskoro, Department of Mathematics, Institut Teknologi Bandung (ITB), Jalan Ganesa 10, Bandung, Indonesia, M. Miller, Department of Computer Science and Software Engineering, The University of Newcastle, NSW 2308, Australia J. Širáň, Department of Mathematics, SvF, Slovak Technical University, Bratislava, Slovakia,

### An Overview of the Degree/Diameter Problem for Directed, Undirected and Mixed Graphs

Mirka Miller (invited speaker) University of Newcastle, Australia University of West Bohemia, Pilsen King s College, London Abstract A well-known fundamental problem in extremal graph theory is the degree/diameter

### The Open University s repository of research publications and other research outputs

Open Research Online The Open University s repository of research publications and other research outputs The degree-diameter problem for circulant graphs of degree 8 and 9 Journal Article How to cite:

### Degree Hypergroupoids Associated with Hypergraphs

Filomat 8:1 (014), 119 19 DOI 10.98/FIL1401119F Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat Degree Hypergroupoids Associated

### most 4 Mirka Miller 1,2, Guillermo Pineda-Villavicencio 3, The University of Newcastle Callaghan, NSW 2308, Australia University of West Bohemia

Complete catalogue of graphs of maimum degree 3 and defect at most 4 Mirka Miller 1,2, Guillermo Pineda-Villavicencio 3, 1 School of Electrical Engineering and Computer Science The University of Newcastle

### The fundamental group of the Hawaiian earring is not free (International Journal of Algebra and Computation Vol. 2, No. 1 (1992), 33 37) Bart de Smit

The fundamental group of the Hawaiian earring is not free Bart de Smit The fundamental group of the Hawaiian earring is not free (International Journal of Algebra and Computation Vol. 2, No. 1 (1992),

### Chapter 7: Products and quotients

Chapter 7: Products and quotients Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 42, Spring 24 M. Macauley (Clemson) Chapter 7: Products

### SCORE SETS IN ORIENTED GRAPHS

Applicable Analysis and Discrete Mathematics, 2 (2008), 107 113. Available electronically at http://pefmath.etf.bg.ac.yu SCORE SETS IN ORIENTED GRAPHS S. Pirzada, T. A. Naikoo The score of a vertex v in

### I. GROUPS: BASIC DEFINITIONS AND EXAMPLES

I GROUPS: BASIC DEFINITIONS AND EXAMPLES Definition 1: An operation on a set G is a function : G G G Definition 2: A group is a set G which is equipped with an operation and a special element e G, called

### Cycles in a Graph Whose Lengths Differ by One or Two

Cycles in a Graph Whose Lengths Differ by One or Two J. A. Bondy 1 and A. Vince 2 1 LABORATOIRE DE MATHÉMATIQUES DISCRÉTES UNIVERSITÉ CLAUDE-BERNARD LYON 1 69622 VILLEURBANNE, FRANCE 2 DEPARTMENT OF MATHEMATICS

### A CONSTRUCTION OF THE UNIVERSAL COVER AS A FIBER BUNDLE

A CONSTRUCTION OF THE UNIVERSAL COVER AS A FIBER BUNDLE DANIEL A. RAMRAS In these notes we present a construction of the universal cover of a path connected, locally path connected, and semi-locally simply

### COMBINATORIAL PROPERTIES OF THE HIGMAN-SIMS GRAPH. 1. Introduction

COMBINATORIAL PROPERTIES OF THE HIGMAN-SIMS GRAPH ZACHARY ABEL 1. Introduction In this survey we discuss properties of the Higman-Sims graph, which has 100 vertices, 1100 edges, and is 22 regular. In fact

### SEQUENCES OF MAXIMAL DEGREE VERTICES IN GRAPHS. Nickolay Khadzhiivanov, Nedyalko Nenov

Serdica Math. J. 30 (2004), 95 102 SEQUENCES OF MAXIMAL DEGREE VERTICES IN GRAPHS Nickolay Khadzhiivanov, Nedyalko Nenov Communicated by V. Drensky Abstract. Let Γ(M) where M V (G) be the set of all vertices

### SHARP BOUNDS FOR THE SUM OF THE SQUARES OF THE DEGREES OF A GRAPH

31 Kragujevac J. Math. 25 (2003) 31 49. SHARP BOUNDS FOR THE SUM OF THE SQUARES OF THE DEGREES OF A GRAPH Kinkar Ch. Das Department of Mathematics, Indian Institute of Technology, Kharagpur 721302, W.B.,

### Continued Fractions and the Euclidean Algorithm

Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction

### ADDITIVE GROUPS OF RINGS WITH IDENTITY

ADDITIVE GROUPS OF RINGS WITH IDENTITY SIMION BREAZ AND GRIGORE CĂLUGĂREANU Abstract. A ring with identity exists on a torsion Abelian group exactly when the group is bounded. The additive groups of torsion-free

### A NOTE ON TRIVIAL FIBRATIONS

A NOTE ON TRIVIAL FIBRATIONS Petar Pavešić Fakulteta za Matematiko in Fiziko, Univerza v Ljubljani, Jadranska 19, 1111 Ljubljana, Slovenija petar.pavesic@fmf.uni-lj.si Abstract We study the conditions

### ON GENERALIZED RELATIVE COMMUTATIVITY DEGREE OF A FINITE GROUP. A. K. Das and R. K. Nath

International Electronic Journal of Algebra Volume 7 (2010) 140-151 ON GENERALIZED RELATIVE COMMUTATIVITY DEGREE OF A FINITE GROUP A. K. Das and R. K. Nath Received: 12 October 2009; Revised: 15 December

### Group Theory. Contents

Group Theory Contents Chapter 1: Review... 2 Chapter 2: Permutation Groups and Group Actions... 3 Orbits and Transitivity... 6 Specific Actions The Right regular and coset actions... 8 The Conjugation

### Every tree contains a large induced subgraph with all degrees odd

Every tree contains a large induced subgraph with all degrees odd A.J. Radcliffe Carnegie Mellon University, Pittsburgh, PA A.D. Scott Department of Pure Mathematics and Mathematical Statistics University

### INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS

INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS STEVEN P. LALLEY AND ANDREW NOBEL Abstract. It is shown that there are no consistent decision rules for the hypothesis testing problem

### A simple criterion on degree sequences of graphs

Discrete Applied Mathematics 156 (2008) 3513 3517 Contents lists available at ScienceDirect Discrete Applied Mathematics journal homepage: www.elsevier.com/locate/dam Note A simple criterion on degree

### Handout #Ch7 San Skulrattanakulchai Gustavus Adolphus College Dec 6, 2010. Chapter 7: Digraphs

MCS-236: Graph Theory Handout #Ch7 San Skulrattanakulchai Gustavus Adolphus College Dec 6, 2010 Chapter 7: Digraphs Strong Digraphs Definitions. A digraph is an ordered pair (V, E), where V is the set

### Galois Theory III. 3.1. Splitting fields.

Galois Theory III. 3.1. Splitting fields. We know how to construct a field extension L of a given field K where a given irreducible polynomial P (X) K[X] has a root. We need a field extension of K where

### CLUSTER ALGEBRAS AND CATEGORIFICATION TALKS: QUIVERS AND AUSLANDER-REITEN THEORY

CLUSTER ALGEBRAS AND CATEGORIFICATION TALKS: QUIVERS AND AUSLANDER-REITEN THEORY ANDREW T. CARROLL Notes for this talk come primarily from two sources: M. Barot, ICTP Notes Representations of Quivers,

### Graphical degree sequences and realizations

swap Graphical and realizations Péter L. Erdös Alfréd Rényi Institute of Mathematics Hungarian Academy of Sciences MAPCON 12 MPIPKS - Dresden, May 15, 2012 swap Graphical and realizations Péter L. Erdös

### FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z

FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z DANIEL BIRMAJER, JUAN B GIL, AND MICHAEL WEINER Abstract We consider polynomials with integer coefficients and discuss their factorization

### On Integer Additive Set-Indexers of Graphs

On Integer Additive Set-Indexers of Graphs arxiv:1312.7672v4 [math.co] 2 Mar 2014 N K Sudev and K A Germina Abstract A set-indexer of a graph G is an injective set-valued function f : V (G) 2 X such that

### The Goldberg Rao Algorithm for the Maximum Flow Problem

The Goldberg Rao Algorithm for the Maximum Flow Problem COS 528 class notes October 18, 2006 Scribe: Dávid Papp Main idea: use of the blocking flow paradigm to achieve essentially O(min{m 2/3, n 1/2 }

### Tools for parsimonious edge-colouring of graphs with maximum degree three. J.L. Fouquet and J.M. Vanherpe. Rapport n o RR-2010-10

Tools for parsimonious edge-colouring of graphs with maximum degree three J.L. Fouquet and J.M. Vanherpe LIFO, Université d Orléans Rapport n o RR-2010-10 Tools for parsimonious edge-colouring of graphs

### Class One: Degree Sequences

Class One: Degree Sequences For our purposes a graph is a just a bunch of points, called vertices, together with lines or curves, called edges, joining certain pairs of vertices. Three small examples of

### All trees contain a large induced subgraph having all degrees 1 (mod k)

All trees contain a large induced subgraph having all degrees 1 (mod k) David M. Berman, A.J. Radcliffe, A.D. Scott, Hong Wang, and Larry Wargo *Department of Mathematics University of New Orleans New

### Divisor graphs have arbitrary order and size

Divisor graphs have arbitrary order and size arxiv:math/0606483v1 [math.co] 20 Jun 2006 Le Anh Vinh School of Mathematics University of New South Wales Sydney 2052 Australia Abstract A divisor graph G

### ON GALOIS REALIZATIONS OF THE 2-COVERABLE SYMMETRIC AND ALTERNATING GROUPS

ON GALOIS REALIZATIONS OF THE 2-COVERABLE SYMMETRIC AND ALTERNATING GROUPS DANIEL RABAYEV AND JACK SONN Abstract. Let f(x) be a monic polynomial in Z[x] with no rational roots but with roots in Q p for

### A Turán Type Problem Concerning the Powers of the Degrees of a Graph

A Turán Type Problem Concerning the Powers of the Degrees of a Graph Yair Caro and Raphael Yuster Department of Mathematics University of Haifa-ORANIM, Tivon 36006, Israel. AMS Subject Classification:

### On Some Vertex Degree Based Graph Invariants

MATCH Communications in Mathematical and in Computer Chemistry MATCH Commun. Math. Comput. Chem. 65 (20) 723-730 ISSN 0340-6253 On Some Vertex Degree Based Graph Invariants Batmend Horoldagva a and Ivan

### An inequality for the group chromatic number of a graph

An inequality for the group chromatic number of a graph Hong-Jian Lai 1, Xiangwen Li 2 and Gexin Yu 3 1 Department of Mathematics, West Virginia University Morgantown, WV 26505 USA 2 Department of Mathematics

### G = G 0 > G 1 > > G k = {e}

Proposition 49. 1. A group G is nilpotent if and only if G appears as an element of its upper central series. 2. If G is nilpotent, then the upper central series and the lower central series have the same

### 4. Expanding dynamical systems

4.1. Metric definition. 4. Expanding dynamical systems Definition 4.1. Let X be a compact metric space. A map f : X X is said to be expanding if there exist ɛ > 0 and L > 1 such that d(f(x), f(y)) Ld(x,

### DEGREES OF ORDERS ON TORSION-FREE ABELIAN GROUPS

DEGREES OF ORDERS ON TORSION-FREE ABELIAN GROUPS ASHER M. KACH, KAREN LANGE, AND REED SOLOMON Abstract. We construct two computable presentations of computable torsion-free abelian groups, one of isomorphism

### Sets of Fibre Homotopy Classes and Twisted Order Parameter Spaces

Communications in Mathematical Physics Manuscript-Nr. (will be inserted by hand later) Sets of Fibre Homotopy Classes and Twisted Order Parameter Spaces Stefan Bechtluft-Sachs, Marco Hien Naturwissenschaftliche

### Graphs without proper subgraphs of minimum degree 3 and short cycles

Graphs without proper subgraphs of minimum degree 3 and short cycles Lothar Narins, Alexey Pokrovskiy, Tibor Szabó Department of Mathematics, Freie Universität, Berlin, Germany. August 22, 2014 Abstract

### GROUPS SUBGROUPS. Definition 1: An operation on a set G is a function : G G G.

Definition 1: GROUPS An operation on a set G is a function : G G G. Definition 2: A group is a set G which is equipped with an operation and a special element e G, called the identity, such that (i) the

### On an anti-ramsey type result

On an anti-ramsey type result Noga Alon, Hanno Lefmann and Vojtĕch Rödl Abstract We consider anti-ramsey type results. For a given coloring of the k-element subsets of an n-element set X, where two k-element

### Outline 2.1 Graph Isomorphism 2.2 Automorphisms and Symmetry 2.3 Subgraphs, part 1

GRAPH THEORY LECTURE STRUCTURE AND REPRESENTATION PART A Abstract. Chapter focuses on the question of when two graphs are to be regarded as the same, on symmetries, and on subgraphs.. discusses the concept

### About the inverse football pool problem for 9 games 1

Seventh International Workshop on Optimal Codes and Related Topics September 6-1, 013, Albena, Bulgaria pp. 15-133 About the inverse football pool problem for 9 games 1 Emil Kolev Tsonka Baicheva Institute

### Math 231b Lecture 35. G. Quick

Math 231b Lecture 35 G. Quick 35. Lecture 35: Sphere bundles and the Adams conjecture 35.1. Sphere bundles. Let X be a connected finite cell complex. We saw that the J-homomorphism could be defined by

### Finding and counting given length cycles

Finding and counting given length cycles Noga Alon Raphael Yuster Uri Zwick Abstract We present an assortment of methods for finding and counting simple cycles of a given length in directed and undirected

### GROUPS ACTING ON A SET

GROUPS ACTING ON A SET MATH 435 SPRING 2012 NOTES FROM FEBRUARY 27TH, 2012 1. Left group actions Definition 1.1. Suppose that G is a group and S is a set. A left (group) action of G on S is a rule for

### JUST-IN-TIME SCHEDULING WITH PERIODIC TIME SLOTS. Received December May 12, 2003; revised February 5, 2004

Scientiae Mathematicae Japonicae Online, Vol. 10, (2004), 431 437 431 JUST-IN-TIME SCHEDULING WITH PERIODIC TIME SLOTS Ondřej Čepeka and Shao Chin Sung b Received December May 12, 2003; revised February

### A 2-factor in which each cycle has long length in claw-free graphs

A -factor in which each cycle has long length in claw-free graphs Roman Čada Shuya Chiba Kiyoshi Yoshimoto 3 Department of Mathematics University of West Bohemia and Institute of Theoretical Computer Science

### Inner Product Spaces

Math 571 Inner Product Spaces 1. Preliminaries An inner product space is a vector space V along with a function, called an inner product which associates each pair of vectors u, v with a scalar u, v, and

### Degrees of freedom in (forced) symmetric frameworks. Louis Theran (Aalto University / AScI, CS)

Degrees of freedom in (forced) symmetric frameworks Louis Theran (Aalto University / AScI, CS) Frameworks Graph G = (V,E); edge lengths l(ij); ambient dimension d Length eqns. pi - pj 2 = l(ij) 2 The p

### Product irregularity strength of certain graphs

Also available at http://amc.imfm.si ISSN 1855-3966 (printed edn.), ISSN 1855-3974 (electronic edn.) ARS MATHEMATICA CONTEMPORANEA 7 (014) 3 9 Product irregularity strength of certain graphs Marcin Anholcer

### 6.2 Permutations continued

6.2 Permutations continued Theorem A permutation on a finite set A is either a cycle or can be expressed as a product (composition of disjoint cycles. Proof is by (strong induction on the number, r, of

### Chapter 7. Permutation Groups

Chapter 7 Permutation Groups () We started the study of groups by considering planar isometries In the previous chapter, we learnt that finite groups of planar isometries can only be cyclic or dihedral

### FACTORING CERTAIN INFINITE ABELIAN GROUPS BY DISTORTED CYCLIC SUBSETS

International Electronic Journal of Algebra Volume 6 (2009) 95-106 FACTORING CERTAIN INFINITE ABELIAN GROUPS BY DISTORTED CYCLIC SUBSETS Sándor Szabó Received: 11 November 2008; Revised: 13 March 2009

### Zachary Monaco Georgia College Olympic Coloring: Go For The Gold

Zachary Monaco Georgia College Olympic Coloring: Go For The Gold Coloring the vertices or edges of a graph leads to a variety of interesting applications in graph theory These applications include various

### Metric Spaces. Chapter 1

Chapter 1 Metric Spaces Many of the arguments you have seen in several variable calculus are almost identical to the corresponding arguments in one variable calculus, especially arguments concerning convergence

### Cacti with minimum, second-minimum, and third-minimum Kirchhoff indices

MATHEMATICAL COMMUNICATIONS 47 Math. Commun., Vol. 15, No. 2, pp. 47-58 (2010) Cacti with minimum, second-minimum, and third-minimum Kirchhoff indices Hongzhuan Wang 1, Hongbo Hua 1, and Dongdong Wang

### P. Jeyanthi and N. Angel Benseera

Opuscula Math. 34, no. 1 (014), 115 1 http://dx.doi.org/10.7494/opmath.014.34.1.115 Opuscula Mathematica A TOTALLY MAGIC CORDIAL LABELING OF ONE-POINT UNION OF n COPIES OF A GRAPH P. Jeyanthi and N. Angel

### 2.3 Convex Constrained Optimization Problems

42 CHAPTER 2. FUNDAMENTAL CONCEPTS IN CONVEX OPTIMIZATION Theorem 15 Let f : R n R and h : R R. Consider g(x) = h(f(x)) for all x R n. The function g is convex if either of the following two conditions

### Discrete Mathematics & Mathematical Reasoning Chapter 10: Graphs

Discrete Mathematics & Mathematical Reasoning Chapter 10: Graphs Kousha Etessami U. of Edinburgh, UK Kousha Etessami (U. of Edinburgh, UK) Discrete Mathematics (Chapter 6) 1 / 13 Overview Graphs and Graph

### Math 55: Discrete Mathematics

Math 55: Discrete Mathematics UC Berkeley, Fall 2011 Homework # 5, due Wednesday, February 22 5.1.4 Let P (n) be the statement that 1 3 + 2 3 + + n 3 = (n(n + 1)/2) 2 for the positive integer n. a) What

### On end degrees and infinite cycles in locally finite graphs

On end degrees and infinite cycles in locally finite graphs Henning Bruhn Maya Stein Abstract We introduce a natural extension of the vertex degree to ends. For the cycle space C(G) as proposed by Diestel

### COMMUTATIVITY DEGREES OF WREATH PRODUCTS OF FINITE ABELIAN GROUPS

Bull Austral Math Soc 77 (2008), 31 36 doi: 101017/S0004972708000038 COMMUTATIVITY DEGREES OF WREATH PRODUCTS OF FINITE ABELIAN GROUPS IGOR V EROVENKO and B SURY (Received 12 April 2007) Abstract We compute

### Lecture 4: BK inequality 27th August and 6th September, 2007

CSL866: Percolation and Random Graphs IIT Delhi Amitabha Bagchi Scribe: Arindam Pal Lecture 4: BK inequality 27th August and 6th September, 2007 4. Preliminaries The FKG inequality allows us to lower bound

### COMMUTATIVITY DEGREES OF WREATH PRODUCTS OF FINITE ABELIAN GROUPS

COMMUTATIVITY DEGREES OF WREATH PRODUCTS OF FINITE ABELIAN GROUPS IGOR V. EROVENKO AND B. SURY ABSTRACT. We compute commutativity degrees of wreath products A B of finite abelian groups A and B. When B

### MA651 Topology. Lecture 6. Separation Axioms.

MA651 Topology. Lecture 6. Separation Axioms. This text is based on the following books: Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology by Nicolas Bourbaki Counterexamples

### Mathematics Course 111: Algebra I Part IV: Vector Spaces

Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 1996-7 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are

### Sample Induction Proofs

Math 3 Worksheet: Induction Proofs III, Sample Proofs A.J. Hildebrand Sample Induction Proofs Below are model solutions to some of the practice problems on the induction worksheets. The solutions given

### The Heat Equation. Lectures INF2320 p. 1/88

The Heat Equation Lectures INF232 p. 1/88 Lectures INF232 p. 2/88 The Heat Equation We study the heat equation: u t = u xx for x (,1), t >, (1) u(,t) = u(1,t) = for t >, (2) u(x,) = f(x) for x (,1), (3)

### Section 3 Sequences and Limits, Continued.

Section 3 Sequences and Limits, Continued. Lemma 3.6 Let {a n } n N be a convergent sequence for which a n 0 for all n N and it α 0. Then there exists N N such that for all n N. α a n 3 α In particular

### 1 Approximating Set Cover

CS 05: Algorithms (Grad) Feb 2-24, 2005 Approximating Set Cover. Definition An Instance (X, F ) of the set-covering problem consists of a finite set X and a family F of subset of X, such that every elemennt

### . 0 1 10 2 100 11 1000 3 20 1 2 3 4 5 6 7 8 9

Introduction The purpose of this note is to find and study a method for determining and counting all the positive integer divisors of a positive integer Let N be a given positive integer We say d is a

### Labeling outerplanar graphs with maximum degree three

Labeling outerplanar graphs with maximum degree three Xiangwen Li 1 and Sanming Zhou 2 1 Department of Mathematics Huazhong Normal University, Wuhan 430079, China 2 Department of Mathematics and Statistics

### SUBGROUPS OF CYCLIC GROUPS. 1. Introduction In a group G, we denote the (cyclic) group of powers of some g G by

SUBGROUPS OF CYCLIC GROUPS KEITH CONRAD 1. Introduction In a group G, we denote the (cyclic) group of powers of some g G by g = {g k : k Z}. If G = g, then G itself is cyclic, with g as a generator. Examples

### 8.1 Min Degree Spanning Tree

CS880: Approximations Algorithms Scribe: Siddharth Barman Lecturer: Shuchi Chawla Topic: Min Degree Spanning Tree Date: 02/15/07 In this lecture we give a local search based algorithm for the Min Degree

### COUNTING INDEPENDENT SETS IN SOME CLASSES OF (ALMOST) REGULAR GRAPHS

COUNTING INDEPENDENT SETS IN SOME CLASSES OF (ALMOST) REGULAR GRAPHS Alexander Burstein Department of Mathematics Howard University Washington, DC 259, USA aburstein@howard.edu Sergey Kitaev Mathematics

### Separation Properties for Locally Convex Cones

Journal of Convex Analysis Volume 9 (2002), No. 1, 301 307 Separation Properties for Locally Convex Cones Walter Roth Department of Mathematics, Universiti Brunei Darussalam, Gadong BE1410, Brunei Darussalam

### arxiv:math/0402080v1 [math.nt] 5 Feb 2004

BIEXTENSIONS OF 1-MOTIVES BY 1-MOTIVES arxiv:math/0402080v1 [math.nt] 5 Feb 2004 CRISTIANA BERTOLIN Abstract. Let S be a scheme. In this paper, we define the notion of biextensions of 1-motives by 1-motives.

### No: 10 04. Bilkent University. Monotonic Extension. Farhad Husseinov. Discussion Papers. Department of Economics

No: 10 04 Bilkent University Monotonic Extension Farhad Husseinov Discussion Papers Department of Economics The Discussion Papers of the Department of Economics are intended to make the initial results

### it is easy to see that α = a

21. Polynomial rings Let us now turn out attention to determining the prime elements of a polynomial ring, where the coefficient ring is a field. We already know that such a polynomial ring is a UF. Therefore

### Invertible elements in associates and semigroups. 1

Quasigroups and Related Systems 5 (1998), 53 68 Invertible elements in associates and semigroups. 1 Fedir Sokhatsky Abstract Some invertibility criteria of an element in associates, in particular in n-ary

### The positive minimum degree game on sparse graphs

The positive minimum degree game on sparse graphs József Balogh Department of Mathematical Sciences University of Illinois, USA jobal@math.uiuc.edu András Pluhár Department of Computer Science University

### F. ABTAHI and M. ZARRIN. (Communicated by J. Goldstein)

Journal of Algerian Mathematical Society Vol. 1, pp. 1 6 1 CONCERNING THE l p -CONJECTURE FOR DISCRETE SEMIGROUPS F. ABTAHI and M. ZARRIN (Communicated by J. Goldstein) Abstract. For 2 < p

### Classification of Cartan matrices

Chapter 7 Classification of Cartan matrices In this chapter we describe a classification of generalised Cartan matrices This classification can be compared as the rough classification of varieties in terms

### An example of a computable

An example of a computable absolutely normal number Verónica Becher Santiago Figueira Abstract The first example of an absolutely normal number was given by Sierpinski in 96, twenty years before the concept

### GROUPS WITH TWO EXTREME CHARACTER DEGREES AND THEIR NORMAL SUBGROUPS

GROUPS WITH TWO EXTREME CHARACTER DEGREES AND THEIR NORMAL SUBGROUPS GUSTAVO A. FERNÁNDEZ-ALCOBER AND ALEXANDER MORETÓ Abstract. We study the finite groups G for which the set cd(g) of irreducible complex

### An inequality for the group chromatic number of a graph

Discrete Mathematics 307 (2007) 3076 3080 www.elsevier.com/locate/disc Note An inequality for the group chromatic number of a graph Hong-Jian Lai a, Xiangwen Li b,,1, Gexin Yu c a Department of Mathematics,

### 4.1 Modules, Homomorphisms, and Exact Sequences

Chapter 4 Modules We always assume that R is a ring with unity 1 R. 4.1 Modules, Homomorphisms, and Exact Sequences A fundamental example of groups is the symmetric group S Ω on a set Ω. By Cayley s Theorem,

### CONTINUED FRACTIONS AND PELL S EQUATION. Contents 1. Continued Fractions 1 2. Solution to Pell s Equation 9 References 12

CONTINUED FRACTIONS AND PELL S EQUATION SEUNG HYUN YANG Abstract. In this REU paper, I will use some important characteristics of continued fractions to give the complete set of solutions to Pell s equation.

### High degree graphs contain large-star factors

High degree graphs contain large-star factors Dedicated to László Lovász, for his 60th birthday Noga Alon Nicholas Wormald Abstract We show that any finite simple graph with minimum degree d contains a

### CURVES WHOSE SECANT DEGREE IS ONE IN POSITIVE CHARACTERISTIC. 1. Introduction

Acta Math. Univ. Comenianae Vol. LXXXI, 1 (2012), pp. 71 77 71 CURVES WHOSE SECANT DEGREE IS ONE IN POSITIVE CHARACTERISTIC E. BALLICO Abstract. Here we study (in positive characteristic) integral curves

### Uniform Multicommodity Flow through the Complete Graph with Random Edge-capacities

Combinatorics, Probability and Computing (2005) 00, 000 000. c 2005 Cambridge University Press DOI: 10.1017/S0000000000000000 Printed in the United Kingdom Uniform Multicommodity Flow through the Complete

V. Adamchik 1 Graph Theory Victor Adamchik Fall of 2005 Plan 1. Basic Vocabulary 2. Regular graph 3. Connectivity 4. Representing Graphs Introduction A.Aho and J.Ulman acknowledge that Fundamentally, computer

### Best Monotone Degree Bounds for Various Graph Parameters

Best Monotone Degree Bounds for Various Graph Parameters D. Bauer Department of Mathematical Sciences Stevens Institute of Technology Hoboken, NJ 07030 S. L. Hakimi Department of Electrical and Computer

### POLYNOMIAL RINGS AND UNIQUE FACTORIZATION DOMAINS

POLYNOMIAL RINGS AND UNIQUE FACTORIZATION DOMAINS RUSS WOODROOFE 1. Unique Factorization Domains Throughout the following, we think of R as sitting inside R[x] as the constant polynomials (of degree 0).

### Types of Degrees in Bipolar Fuzzy Graphs

pplied Mathematical Sciences, Vol. 7, 2013, no. 98, 4857-4866 HIKRI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ams.2013.37389 Types of Degrees in Bipolar Fuzzy Graphs Basheer hamed Mohideen Department