Self-complementing permutations of k-uniform hypergraphs
|
|
- Asher Morton
- 6 years ago
- Views:
Transcription
1 Dscrete Mathematcs Theoretcal Computer Scence DMTCS vol. 11:1, 2009, Self-complementng permutatons of k-unform hypergraphs Artur Szymańsk A. Paweł Wojda Faculty of Appled Mathematcs, AGH Unversty of Scence Technology, Al. Mckewcza 30, Kraków, Pol receved January 20, 2008, revsed January 16, 2009, accepted January 23, A k-unform hypergraph H = (V ; E) s sad to be self-complementary whenever t s somorphc wth ts complement H = (V ; `V k E). Every permutaton σ of the set V such that σ(e) s an edge of H f only f e E s called selfcomplementng. 2-self-comlementary hypergraphs are exactly self complementary graphs ntroduced ndependently by Rngel (1963) Sachs (1962). For any postve nteger n we denote by λ(n) the unque nteger such that n = 2 λ(n) c, where c s odd. In the paper we prove that a permutaton σ of [1, n] wth orbts O 1,..., O m s a self-complementng permutaton of a k-unform hypergraph of order n f only f there s an nteger l 0 such that k = a2 l + s, a s odd, 0 s < 2 l the followng two condtons hold: () n = b2 l+1 + r, r {0,..., 2 l 1 + s}, () P :λ( O ) l O r. For k = 2 ths result s the very well known characterzaton of self-complementng permutaton of graphs gven by Rngel Sachs. Keywords: Self-complementng permutatons, k-unform hypergraphs 1 Introducton Let V be a set of n elements. The set of all k-subsets of V s denoted by ( V. A k-unform hypergraph H conssts of a vertex-set V (H) an edge-set E(H) ( ) V (H) k. Two k-unform hypergraphs G H are somorphc, f there s a bjecton σ : V (G) V (H) such that e E(G) f only f {σ(x) x e} E(H). The complement of a k- unform hypergraph H s the hypergraph H such that V (H) = V (H) the edge set of whch conssts of all k-subsets of V (H) not n E(H) (n other words E(H) = ( ) V (H) k E). A k-unform hypergraph H s called self-complementary (s-c for short) f t s somorphc wth ts complement H. Isomorphsm of a k-unform self-complementary hypergraph onto ts complement s called self-complementng permutaton (or s-c permutaton) c 2009 Dscrete Mathematcs Theoretcal Computer Scence (DMTCS), Nancy, France
2 118 Artur Szymańsk A. Paweł Wojda The 2-unform self-complementary hypergraphs are exactly self-complementary graphs. Ths class of graphs has been ndependently dscovered by Rngel Sachs who proved the followng. Theorem 1 (Rngel (Rn63) Sachs (Sac62)) Let n be a postve nteger. A permutaton σ of [1, n] s a self-complementng permutaton of a self-complementary graph of order n f only f all the orbts of σ have ther cardnaltes congruent to 0 (mod 4) except, possbly, one orbt of cardnalty 1. Observe that by Theorem 1 an s-c graph of order n exsts f only f n 0 or n 1 (mod 4) or, equvalently, whenever ( n 2) s even. In (SW) we prove that a smlar result s true for k-unform hypergraphs. Theorem 2 ((SW)) Let k n be postve ntegers, k n. A k-unform self-complementary hypergraph of order n exsts f only f ( n s even. A smple crteron for evenness of ( n has been gven n (Gla99) ( then redscovered n (KHRM58)). Theorem 3 ((Gla99; KHRM58)) Let k n be postve ntegers, k = + =0 c 2 n = + =0 d 2, where c, d {0, 1} for every. ( n s even f only f there s 0 such that c 0 = 1 d 0 = 0. Theorem 3 asserts that ( n s even f only f k has 1 n a certan bnary place whle n has 0 n the correspondng bnary place. For example, ( 27 13) s even snce 13 = = (so we have c 2 = 1 d 2 = 0). Except for Theorem 1 whch s a characterzaton of the self-complementng permutatons for graphs, there are already two publshed results characterzng the permutatons of k-unform s-c hypergraphs for k > 2. Namely, Kocay n (Koc92) (see also (Pal73)) Szymańsk n (Szy05) have characterzed the s-c permutatons of s-c k-unform hypergraphs for, respectvely, k = 3 k = 4. Ths work s a contnuaton of the work of (SW) (Woj06). We generalze all the results mentoned above by gvng a characterzaton of the s-c permutatons of k-unform hypergraphs for any ntegers k n. 2 Result Any postve nteger n may be wrten n the form n = 2 l c, where c s an odd nteger. Moreover, l c are unquely determned. We wrte then λ(n) = l. Note that n the bnary expanson of n, λ(n) s the ndex of the frst 1 bt. For any set A we shall wrte λ(a) n place of λ( A ), for short. In the proof of our man result we shall need the followng lemma proved n (Woj06). Lemma 1 Let k, m n be postve ntegers, let σ : V V be a permutaton of a set V, V = n, wth orbts O 1,..., O m. σ s a self-complementng permutaton of a self-complementary k-unform hypergraph, f only f, for every p {1,..., k} for every decomposton k = k k p of k (k j > 0 for j = 1,..., p), for every subsequence of orbts O 1,..., O p such that k j O j for j = 1,..., p, there s a subscrpt j 0 {1,..., p} such that λ(k j0 ) < λ(o j0 )
3 Self-complementng permutatons of k-unform hypergraphs 119 Gven any nteger l 0. If the bnary expanson of k s 1 bt n poston l, then k can be wrtten n the form k = a l 2 l + s l, where a l s odd 0 s l < 2 l. Theorem 4 Let k n be ntegers, k n. A permutaton σ of [1, n] wth orbts O 1,..., O m s a selfcomplementng permutaton of a k-unform hypergraph of order n f only f there s a nonnegatve nteger l such that k = a l 2 l + s l, where a l s odd 0 s l < 2 l, the followng two condtons hold: () n = b l 2 l+1 + r l, r l {0,..., 2 l 1 + s l }, () :λ(o ) l O r l. Proof: Suffcency. By contradcton. Let n, k, l, a l, b l, s l r l be ntegers verfyng the condtons of the theorem, let σ be a permutaton of [1, n] wth orbts O 1,..., O m verfyng (), let us suppose that σ s not a s-c permutaton of any k-unform s-c hypergraph of order n. Then, by Lemma 1, there s a decomposton of k = k k t a subsequence of orbts O 1,..., O t such that 0 < k j O j (1) λ(k j ) λ(o j ) (2) for j = 1,..., t. Snce a l s odd, we have k 2 l + s l (mod 2 l+1 ). By (2), j: λ(o j )>l k j 0 (mod 2 l+1 ). Therefore k = t k j = j=1 j: λ(o j )>l k j + j: λ(o j ) l k j j: λ(o j ) l k j (mod 2 l+1 ) Hence, by (1), () () we have j:λ(o j ) l k j j:λ(o j ) l O j < 2 l+1, therefore a contradcton. 2 l + s l = j: λ(o j ) l k j j: λ(o j ) l O j r l < 2 l + s l Necessty. Let 1 k n let σ be a permutaton of the set [1, n] wth orbts O 1,..., O m. Let us suppose that for every nteger l such that k = a l 2 l + s l, where a l s odd postve nteger, 0 s l < 2 l, n = b l 2 l+1 + r l, 0 r l < 2 l+1 we have ether or r l {2 l + s l,..., 2 l+1 1} r l {0,..., 2 l 1 + s l } : λ(o ) l O > r l We shall prove that σ s not a s-c permutaton of any s-c k-unform hypergraph of order n. For ths purpose we shall gve two clams.
4 120 Artur Szymańsk A. Paweł Wojda Clam 1 For every nonnegatve nteger l such that k = a l 2 l + s l, where a l s odd 0 s l < 2 l, we have O 2 l + s l Proof of Clam 1. : λ(o ) l Let us wrte :λ(o ) l O :λ(o )>l O n ther bnary forms: :λ(o ) l :λ(o )>l O = O = e j 2 j j=0 f j 2 j where e j, f j {0, 1} for every j. Observe that f j = 0 for j = 0,..., l therefore We shall consder two cases. j=0 l e j 2 j = r l (3) Case 1. r l {0,..., 2 l + s l 1} :λ(o O ) l > r l. We have n 2 l+1 (otherwse r l = n = :λ(o O ) l ). Snce j=0 e j2 j > r l, by (3), we obtan j=0 e j2 j 2 l+1 > 2 l + s l. j=0 Case 2. r l {2 l + s l,..., 2 l+1 1}. We have :λ(o ) l O = j=0 e j2 j l j=0 e j2 j = r l 2 l + s l, the clam s proved. Clam 2 Let α 1,..., α q λ 1,..., λ q be ntegers such that 0 < α, 0 λ λ(α ) λ l for = 1,..., q q =1 α 2 l. Then there are β 1,..., β q such that for every = 1,..., q 0 β α (4) ether β = 0 or λ(β ) λ (5) q β = 2 l (6) =1 Proof of Clam 2. The exstence of β 1,..., β q verfyng (4)-(5) q =1 β 2 l s very easy. Indeed, t s mmedate that β 1 = 2 λ1, β 2 =... β q = 0 s a sequence wth the desred propertes. So let us suppose that β 1,..., β q s a sequence verfyng (4)-(5) q =1 β 2 l such that q =1 β s maxmal. If q =1 β = 2 l then the proof s complete. So let us suppose that q =1 β < 2 l. Then there s 0 {1,..., q} such that β 0 < α 0. Observe that β λ 0 α 0. The sequence β 1,..., β q defned by β 0 = β λ 0 β = β for 0 also verfes (4)-(5) q =1 β 2 l, whch contradcts the maxmalty of the sum q =1 β, the clam s proved. We shall use our clams to construct a decomposton of k n the form k = k k m such that
5 Self-complementng permutatons of k-unform hypergraphs 121 (1) k 1,..., k m are nonnegatve ntegers, (2) k O for = 1,..., m, (3) λ(k ) λ(o ) whenever k > 0 By Lemma 1, ths wll mply that σ s not a s-c permutaton of any k-unform s-c hypergraph. Let us wrte k n ts bnary form: k = 2 lt + 2 lt l1 + 2 l0 where l 0 < l 1 <... < l t. By Clam 1, :λ(o ) l 0 O 2 l0. Hence, by Clam 2, there are nonnegatve ntegers k (0) 1, k(0) 2,..., k(0) m such that k (0) = 0 for such that λ(o ) > l 0 k (0) O for = 1,..., m λ(k (0) ) λ(o ) whenever k (0) > 0 m =1 k (0) = 2 l0 Note that, for = 1,..., m, we have λ( O k (0) ) λ(o ). Let us suppose that we have already constructed k (j) 1,..., k(j) m, (j t), such that k (j) = 0 for such that λ(0 ) > l O for = 1,..., m k (j) λ(k (j) m =0 ) λ(o ) whenever k (j) > 0 k (j) = 2 lj + 2 lj l0 λ( O k (j) ) λ(o ) If j = t, then we have already found a desred decomposton of k. If j < t, then, by Clam 1, we have :λ(o ) l j+1 ( O k (j) ) 2 lj+1. λ( O k (j) ) λ(o ) for every {1,..., m} such that O k (j) > 0. Hence, by Clam 2, there are β 1,..., β m such that β = 0 for such that λ(o ) > l j+1 0 β O k (j) for = 1,..., m λ(o ) λ(β ) for = 1,..., m whenever β 0 m β = 2 lj+1 =1
6 122 Artur Szymańsk A. Paweł Wojda Thus we may defne for every = 1,..., m k (j+1) = k (j) + β to obtan the sequence (k (j+1) 1,..., k (j+1) m ) verfyng for every {1,..., m} k (j+1) = 0 for such that λ(o ) > l j+1 k (j+1) O λ(k (j+1) ) λ(o ) whenever k (j+1) > 0 m =1 k (j+1) = 2 lj lj l0 It s clear that k = m =1 k(t) the proof of Theorem 4 s complete. Theorem 4 mples very easly the followng theorem frst proved by Kocay. Corollary 1 (Kocay (Koc92)) σ s a self-complementng permutaton of a self-complementary 3-unform hypergraph f only f ether all the orbts of σ have even cardnaltes, or else, t has 1 or 2 fxed ponts the all remanng orbts of σ have ther cardnaltes beng multples of 4. For k = 2 l Theorem 4 may be wrtten as follows. Corollary 2 Let l n be nonnegatve ntegers, 2 l < n, let 0 r < 2 l+1 be such that n r (mod 2 l+1 ). A permutaton σ of [1, n] wth orbts O 1,... O m s a self-complementng permutaton of a 2 l -unform self-complementary hypergraph f only f () r {0,..., 2 l 1} () :λ(o ) l O r. Theorem 2 for l = 1 (.e. for graphs) s exactly Theorem 1, for l = 2 the followng theorem proved by Szymańsk n (Szy05). Corollary 3 A permutaton σ s self-complementng permutaton of a 4-unform hypergraph of order n f only f n r( mod 8) wth r = 0, 1, 2 or 3, the sum of the cardnaltes of orbts whch are not multples of 8 s at most 3. Acknowledgements The research was partally supported by AGH local grant No
7 Self-complementng permutatons of k-unform hypergraphs 123 References [Gla99] J.W.L. Glasher. On the resdue of a bnomal coeffcent wth respect to a prme modulus. Quarterly Journal of Mathematcs, 30: , [KHRM58] S.H. Kmball, T.R. Hatcher, J.A. Rley, L. Moser. Soluton to problem e1288: Odd bnomal coeffcents. Amer. Math. Monthly, 65: , [Koc92] W. Kocay. Reconstructng graphs as subsumed graphs of hypergraphs, some selfcomplementary trple systems. Graphs Combnatorcs, 8: , [Pal73] E.M. Palmer. On the number of n-plexes. Dscrete Math., 6: , [Rn63] G. Rngel. Selbstkomplementare graphen. Arch. Math., 14: , [Sac62] H. Sachs. Uber selbstkomplementare graphen. Publ. Math. Debrecen, 9: , [SW] A. Szymańsk A.P. Wojda. A note on k-unform self-complementary hypergraphs of gven order. submted. [Szy05] A. Szymańsk. A note on self-complementary 4-unform hypergraphs. Opuscula Mathematca, 25/2: , [Woj06] A.P. Wojda. Self-complementary hypergraphs. Dscussones Mathematcae Graph Theory, 26: , 2006.
8 124 Artur Szymańsk A. Paweł Wojda
Affine transformations and convexity
Affne transformatons and convexty The purpose of ths document s to prove some basc propertes of affne transformatons nvolvng convex sets. Here are a few onlne references for background nformaton: http://math.ucr.edu/
More informationTHE CHVÁTAL-ERDŐS CONDITION AND 2-FACTORS WITH A SPECIFIED NUMBER OF COMPONENTS
Dscussones Mathematcae Graph Theory 27 (2007) 401 407 THE CHVÁTAL-ERDŐS CONDITION AND 2-FACTORS WITH A SPECIFIED NUMBER OF COMPONENTS Guantao Chen Department of Mathematcs and Statstcs Georga State Unversty,
More informationFACTORIZATION IN KRULL MONOIDS WITH INFINITE CLASS GROUP
C O L L O Q U I U M M A T H E M A T I C U M VOL. 80 1999 NO. 1 FACTORIZATION IN KRULL MONOIDS WITH INFINITE CLASS GROUP BY FLORIAN K A I N R A T H (GRAZ) Abstract. Let H be a Krull monod wth nfnte class
More informationVolume 18 Figure 1. Notation 1. Notation 2. Observation 1. Remark 1. Remark 2. Remark 3. Remark 4. Remark 5. Remark 6. Theorem A [2]. Theorem B [2].
Bulletn of Mathematcal Scences and Applcatons Submtted: 016-04-07 ISSN: 78-9634, Vol. 18, pp 1-10 Revsed: 016-09-08 do:10.1805/www.scpress.com/bmsa.18.1 Accepted: 016-10-13 017 ScPress Ltd., Swtzerland
More informationDONALD M. DAVIS. 1. Main result
v 1 -PERIODIC 2-EXPONENTS OF SU(2 e ) AND SU(2 e + 1) DONALD M. DAVIS Abstract. We determne precsely the largest v 1 -perodc homotopy groups of SU(2 e ) and SU(2 e +1). Ths gves new results about the largest
More informationMore metrics on cartesian products
More metrcs on cartesan products If (X, d ) are metrc spaces for 1 n, then n Secton II4 of the lecture notes we defned three metrcs on X whose underlyng topologes are the product topology The purpose of
More informationGraph Reconstruction by Permutations
Graph Reconstructon by Permutatons Perre Ille and Wllam Kocay* Insttut de Mathémathques de Lumny CNRS UMR 6206 163 avenue de Lumny, Case 907 13288 Marselle Cedex 9, France e-mal: lle@ml.unv-mrs.fr Computer
More informationCaps and Colouring Steiner Triple Systems
Desgns, Codes and Cryptography, 13, 51 55 (1998) c 1998 Kluwer Academc Publshers, Boston. Manufactured n The Netherlands. Caps and Colourng Stener Trple Systems AIDEN BRUEN* Department of Mathematcs, Unversty
More informationMaximizing the number of nonnegative subsets
Maxmzng the number of nonnegatve subsets Noga Alon Hao Huang December 1, 213 Abstract Gven a set of n real numbers, f the sum of elements of every subset of sze larger than k s negatve, what s the maxmum
More informationChristian Aebi Collège Calvin, Geneva, Switzerland
#A7 INTEGERS 12 (2012) A PROPERTY OF TWIN PRIMES Chrstan Aeb Collège Calvn, Geneva, Swtzerland chrstan.aeb@edu.ge.ch Grant Carns Department of Mathematcs, La Trobe Unversty, Melbourne, Australa G.Carns@latrobe.edu.au
More informationSL n (F ) Equals its Own Derived Group
Internatonal Journal of Algebra, Vol. 2, 2008, no. 12, 585-594 SL n (F ) Equals ts Own Derved Group Jorge Macel BMCC-The Cty Unversty of New York, CUNY 199 Chambers street, New York, NY 10007, USA macel@cms.nyu.edu
More informationDiscrete Mathematics. Laplacian spectral characterization of some graphs obtained by product operation
Dscrete Mathematcs 31 (01) 1591 1595 Contents lsts avalable at ScVerse ScenceDrect Dscrete Mathematcs journal homepage: www.elsever.com/locate/dsc Laplacan spectral characterzaton of some graphs obtaned
More informationThe L(2, 1)-Labeling on -Product of Graphs
Annals of Pure and Appled Mathematcs Vol 0, No, 05, 9-39 ISSN: 79-087X (P, 79-0888(onlne Publshed on 7 Aprl 05 wwwresearchmathscorg Annals of The L(, -Labelng on -Product of Graphs P Pradhan and Kamesh
More informationModulo Magic Labeling in Digraphs
Gen. Math. Notes, Vol. 7, No., August, 03, pp. 5- ISSN 9-784; Copyrght ICSRS Publcaton, 03 www.-csrs.org Avalable free onlne at http://www.geman.n Modulo Magc Labelng n Dgraphs L. Shobana and J. Baskar
More informationA CHARACTERIZATION OF ADDITIVE DERIVATIONS ON VON NEUMANN ALGEBRAS
Journal of Mathematcal Scences: Advances and Applcatons Volume 25, 2014, Pages 1-12 A CHARACTERIZATION OF ADDITIVE DERIVATIONS ON VON NEUMANN ALGEBRAS JIA JI, WEN ZHANG and XIAOFEI QI Department of Mathematcs
More informationSmarandache-Zero Divisors in Group Rings
Smarandache-Zero Dvsors n Group Rngs W.B. Vasantha and Moon K. Chetry Department of Mathematcs I.I.T Madras, Chenna The study of zero-dvsors n group rngs had become nterestng problem snce 1940 wth the
More informationHMMT February 2016 February 20, 2016
HMMT February 016 February 0, 016 Combnatorcs 1. For postve ntegers n, let S n be the set of ntegers x such that n dstnct lnes, no three concurrent, can dvde a plane nto x regons (for example, S = {3,
More informationLinear Algebra and its Applications
Lnear Algebra and ts Applcatons 4 (00) 5 56 Contents lsts avalable at ScenceDrect Lnear Algebra and ts Applcatons journal homepage: wwwelsevercom/locate/laa Notes on Hlbert and Cauchy matrces Mroslav Fedler
More informationRandić Energy and Randić Estrada Index of a Graph
EUROPEAN JOURNAL OF PURE AND APPLIED MATHEMATICS Vol. 5, No., 202, 88-96 ISSN 307-5543 www.ejpam.com SPECIAL ISSUE FOR THE INTERNATIONAL CONFERENCE ON APPLIED ANALYSIS AND ALGEBRA 29 JUNE -02JULY 20, ISTANBUL
More informationAli Omer Alattass Department of Mathematics, Faculty of Science, Hadramout University of science and Technology, P. O. Box 50663, Mukalla, Yemen
Journal of athematcs and Statstcs 7 (): 4448, 0 ISSN 5493644 00 Scence Publcatons odules n σ[] wth Chan Condtons on Small Submodules Al Omer Alattass Department of athematcs, Faculty of Scence, Hadramout
More informationEXPANSIVE MAPPINGS. by W. R. Utz
Volume 3, 978 Pages 6 http://topology.auburn.edu/tp/ EXPANSIVE MAPPINGS by W. R. Utz Topology Proceedngs Web: http://topology.auburn.edu/tp/ Mal: Topology Proceedngs Department of Mathematcs & Statstcs
More informationZhi-Wei Sun (Nanjing)
Acta Arth. 1262007, no. 4, 387 398. COMBINATORIAL CONGRUENCES AND STIRLING NUMBERS Zh-We Sun Nanng Abstract. In ths paper we obtan some sophstcated combnatoral congruences nvolvng bnomal coeffcents and
More informationOn the Multicriteria Integer Network Flow Problem
BULGARIAN ACADEMY OF SCIENCES CYBERNETICS AND INFORMATION TECHNOLOGIES Volume 5, No 2 Sofa 2005 On the Multcrtera Integer Network Flow Problem Vassl Vasslev, Marana Nkolova, Maryana Vassleva Insttute of
More informationarxiv: v1 [math.co] 1 Mar 2014
Unon-ntersectng set systems Gyula O.H. Katona and Dánel T. Nagy March 4, 014 arxv:1403.0088v1 [math.co] 1 Mar 014 Abstract Three ntersecton theorems are proved. Frst, we determne the sze of the largest
More informationAnti-van der Waerden numbers of 3-term arithmetic progressions.
Ant-van der Waerden numbers of 3-term arthmetc progressons. Zhanar Berkkyzy, Alex Schulte, and Mchael Young Aprl 24, 2016 Abstract The ant-van der Waerden number, denoted by aw([n], k), s the smallest
More informationOn quasiperfect numbers
Notes on Number Theory and Dscrete Mathematcs Prnt ISSN 1310 5132, Onlne ISSN 2367 8275 Vol. 23, 2017, No. 3, 73 78 On quasperfect numbers V. Sva Rama Prasad 1 and C. Suntha 2 1 Nalla Malla Reddy Engneerng
More informationThe Order Relation and Trace Inequalities for. Hermitian Operators
Internatonal Mathematcal Forum, Vol 3, 08, no, 507-57 HIKARI Ltd, wwwm-hkarcom https://doorg/0988/mf088055 The Order Relaton and Trace Inequaltes for Hermtan Operators Y Huang School of Informaton Scence
More informationCOMPLEX NUMBERS AND QUADRATIC EQUATIONS
COMPLEX NUMBERS AND QUADRATIC EQUATIONS INTRODUCTION We know that x 0 for all x R e the square of a real number (whether postve, negatve or ero) s non-negatve Hence the equatons x, x, x + 7 0 etc are not
More informationConvexity preserving interpolation by splines of arbitrary degree
Computer Scence Journal of Moldova, vol.18, no.1(52), 2010 Convexty preservng nterpolaton by splnes of arbtrary degree Igor Verlan Abstract In the present paper an algorthm of C 2 nterpolaton of dscrete
More information2.3 Nilpotent endomorphisms
s a block dagonal matrx, wth A Mat dm U (C) In fact, we can assume that B = B 1 B k, wth B an ordered bass of U, and that A = [f U ] B, where f U : U U s the restrcton of f to U 40 23 Nlpotent endomorphsms
More informationPerron Vectors of an Irreducible Nonnegative Interval Matrix
Perron Vectors of an Irreducble Nonnegatve Interval Matrx Jr Rohn August 4 2005 Abstract As s well known an rreducble nonnegatve matrx possesses a unquely determned Perron vector. As the man result of
More informationn α j x j = 0 j=1 has a nontrivial solution. Here A is the n k matrix whose jth column is the vector for all t j=0
MODULE 2 Topcs: Lnear ndependence, bass and dmenson We have seen that f n a set of vectors one vector s a lnear combnaton of the remanng vectors n the set then the span of the set s unchanged f that vector
More informationFirst day August 1, Problems and Solutions
FOURTH INTERNATIONAL COMPETITION FOR UNIVERSITY STUDENTS IN MATHEMATICS July 30 August 4, 997, Plovdv, BULGARIA Frst day August, 997 Problems and Solutons Problem. Let {ε n } n= be a sequence of postve
More informationa b a In case b 0, a being divisible by b is the same as to say that
Secton 6.2 Dvsblty among the ntegers An nteger a ε s dvsble by b ε f there s an nteger c ε such that a = bc. Note that s dvsble by any nteger b, snce = b. On the other hand, a s dvsble by only f a = :
More informationInner Product. Euclidean Space. Orthonormal Basis. Orthogonal
Inner Product Defnton 1 () A Eucldean space s a fnte-dmensonal vector space over the reals R, wth an nner product,. Defnton 2 (Inner Product) An nner product, on a real vector space X s a symmetrc, blnear,
More informationarxiv: v6 [math.nt] 23 Aug 2016
A NOTE ON ODD PERFECT NUMBERS JOSE ARNALDO B. DRIS AND FLORIAN LUCA arxv:03.437v6 [math.nt] 23 Aug 206 Abstract. In ths note, we show that f N s an odd perfect number and q α s some prme power exactly
More informationProblem Set 9 Solutions
Desgn and Analyss of Algorthms May 4, 2015 Massachusetts Insttute of Technology 6.046J/18.410J Profs. Erk Demane, Srn Devadas, and Nancy Lynch Problem Set 9 Solutons Problem Set 9 Solutons Ths problem
More informationProblem Do any of the following determine homomorphisms from GL n (C) to GL n (C)?
Homework 8 solutons. Problem 16.1. Whch of the followng defne homomomorphsms from C\{0} to C\{0}? Answer. a) f 1 : z z Yes, f 1 s a homomorphsm. We have that z s the complex conjugate of z. If z 1,z 2
More informationPROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 125, Number 7, July 1997, Pages 2119{2125 S (97) THE STRONG OPEN SET CONDITION
PROCDINGS OF TH AMRICAN MATHMATICAL SOCITY Volume 125, Number 7, July 1997, Pages 2119{2125 S 0002-9939(97)03816-1 TH STRONG OPN ST CONDITION IN TH RANDOM CAS NORBRT PATZSCHK (Communcated by Palle. T.
More informationOn the smoothness and the totally strong properties for nearness frames
Int. Sc. Technol. J. Namba Vol 1, Issue 1, 2013 On the smoothness and the totally strong propertes for nearness frames Martn. M. Mugoch Department of Mathematcs, Unversty of Namba 340 Mandume Ndemufayo
More informationPerfect Competition and the Nash Bargaining Solution
Perfect Competton and the Nash Barganng Soluton Renhard John Department of Economcs Unversty of Bonn Adenauerallee 24-42 53113 Bonn, Germany emal: rohn@un-bonn.de May 2005 Abstract For a lnear exchange
More informationRestricted divisor sums
ACTA ARITHMETICA 02 2002) Restrcted dvsor sums by Kevn A Broughan Hamlton) Introducton There s a body of work n the lterature on varous restrcted sums of the number of dvsors of an nteger functon ncludng
More informationSUCCESSIVE MINIMA AND LATTICE POINTS (AFTER HENK, GILLET AND SOULÉ) M(B) := # ( B Z N)
SUCCESSIVE MINIMA AND LATTICE POINTS (AFTER HENK, GILLET AND SOULÉ) S.BOUCKSOM Abstract. The goal of ths note s to present a remarably smple proof, due to Hen, of a result prevously obtaned by Gllet-Soulé,
More informationGeneral viscosity iterative method for a sequence of quasi-nonexpansive mappings
Avalable onlne at www.tjnsa.com J. Nonlnear Sc. Appl. 9 (2016), 5672 5682 Research Artcle General vscosty teratve method for a sequence of quas-nonexpansve mappngs Cuje Zhang, Ynan Wang College of Scence,
More informationLecture Notes Introduction to Cluster Algebra
Lecture Notes Introducton to Cluster Algebra Ivan C.H. Ip Updated: Ma 7, 2017 3 Defnton and Examples of Cluster algebra 3.1 Quvers We frst revst the noton of a quver. Defnton 3.1. A quver s a fnte orented
More informationA summation on Bernoulli numbers
Journal of Number Theory 111 (005 37 391 www.elsever.com/locate/jnt A summaton on Bernoull numbers Kwang-Wu Chen Department of Mathematcs and Computer Scence Educaton, Tape Muncpal Teachers College, No.
More informationOn the average number of divisors of the sum of digits of squares
Notes on Number heory and Dscrete Mathematcs Prnt ISSN 30 532, Onlne ISSN 2367 8275 Vol. 24, 208, No. 2, 40 46 DOI: 0.7546/nntdm.208.24.2.40-46 On the average number of dvsors of the sum of dgts of squares
More informationA combinatorial proof of multiple angle formulas involving Fibonacci and Lucas numbers
Notes on Number Theory and Dscrete Mathematcs ISSN 1310 5132 Vol. 20, 2014, No. 5, 35 39 A combnatoral proof of multple angle formulas nvolvng Fbonacc and Lucas numbers Fernando Córes 1 and Dego Marques
More informationREGULAR POSITIVE TERNARY QUADRATIC FORMS. 1. Introduction
REGULAR POSITIVE TERNARY QUADRATIC FORMS BYEONG-KWEON OH Abstract. A postve defnte quadratc form f s sad to be regular f t globally represents all ntegers that are represented by the genus of f. In 997
More informationOn C 0 multi-contractions having a regular dilation
SUDIA MAHEMAICA 170 (3) (2005) On C 0 mult-contractons havng a regular dlaton by Dan Popovc (mşoara) Abstract. Commutng mult-contractons of class C 0 and havng a regular sometrc dlaton are studed. We prove
More informationarxiv: v1 [math.co] 12 Sep 2014
arxv:1409.3707v1 [math.co] 12 Sep 2014 On the bnomal sums of Horadam sequence Nazmye Ylmaz and Necat Taskara Department of Mathematcs, Scence Faculty, Selcuk Unversty, 42075, Campus, Konya, Turkey March
More informationTHE CHINESE REMAINDER THEOREM. We should thank the Chinese for their wonderful remainder theorem. Glenn Stevens
THE CHINESE REMAINDER THEOREM KEITH CONRAD We should thank the Chnese for ther wonderful remander theorem. Glenn Stevens 1. Introducton The Chnese remander theorem says we can unquely solve any par of
More informationWeek 2. This week, we covered operations on sets and cardinality.
Week 2 Ths week, we covered operatons on sets and cardnalty. Defnton 0.1 (Correspondence). A correspondence between two sets A and B s a set S contaned n A B = {(a, b) a A, b B}. A correspondence from
More informationTHERE ARE NO POINTS OF ORDER 11 ON ELLIPTIC CURVES OVER Q.
THERE ARE NO POINTS OF ORDER 11 ON ELLIPTIC CURVES OVER Q. IAN KIMING We shall prove the followng result from [2]: Theorem 1. (Bllng-Mahler, 1940, cf. [2]) An ellptc curve defned over Q does not have a
More informationThe Pseudoblocks of Endomorphism Algebras
Internatonal Mathematcal Forum, 4, 009, no. 48, 363-368 The Pseudoblocks of Endomorphsm Algebras Ahmed A. Khammash Department of Mathematcal Scences, Umm Al-Qura Unversty P.O.Box 796, Makkah, Saud Araba
More informationBeyond Zudilin s Conjectured q-analog of Schmidt s problem
Beyond Zudln s Conectured q-analog of Schmdt s problem Thotsaporn Ae Thanatpanonda thotsaporn@gmalcom Mathematcs Subect Classfcaton: 11B65 33B99 Abstract Usng the methodology of (rgorous expermental mathematcs
More informationk(k 1)(k 2)(p 2) 6(p d.
BLOCK-TRANSITIVE 3-DESIGNS WITH AFFINE AUTOMORPHISM GROUP Greg Gamble Let X = (Z p d where p s an odd prme and d N, and let B X, B = k. Then t was shown by Praeger that the set B = {B g g AGL d (p} s the
More informationTHERE ARE INFINITELY MANY FIBONACCI COMPOSITES WITH PRIME SUBSCRIPTS
Research and Communcatons n Mathematcs and Mathematcal Scences Vol 10, Issue 2, 2018, Pages 123-140 ISSN 2319-6939 Publshed Onlne on November 19, 2018 2018 Jyot Academc Press http://jyotacademcpressorg
More information3.1 Expectation of Functions of Several Random Variables. )' be a k-dimensional discrete or continuous random vector, with joint PMF p (, E X E X1 E X
Statstcs 1: Probablty Theory II 37 3 EPECTATION OF SEVERAL RANDOM VARIABLES As n Probablty Theory I, the nterest n most stuatons les not on the actual dstrbuton of a random vector, but rather on a number
More informationFINITELY-GENERATED MODULES OVER A PRINCIPAL IDEAL DOMAIN
FINITELY-GENERTED MODULES OVER PRINCIPL IDEL DOMIN EMMNUEL KOWLSKI Throughout ths note, s a prncpal deal doman. We recall the classfcaton theorem: Theorem 1. Let M be a fntely-generated -module. (1) There
More informationComplete subgraphs in multipartite graphs
Complete subgraphs n multpartte graphs FLORIAN PFENDER Unverstät Rostock, Insttut für Mathematk D-18057 Rostock, Germany Floran.Pfender@un-rostock.de Abstract Turán s Theorem states that every graph G
More informationMath 426: Probability MWF 1pm, Gasson 310 Homework 4 Selected Solutions
Exercses from Ross, 3, : Math 26: Probablty MWF pm, Gasson 30 Homework Selected Solutons 3, p. 05 Problems 76, 86 3, p. 06 Theoretcal exercses 3, 6, p. 63 Problems 5, 0, 20, p. 69 Theoretcal exercses 2,
More informationFixed points of IA-endomorphisms of a free metabelian Lie algebra
Proc. Indan Acad. Sc. (Math. Sc.) Vol. 121, No. 4, November 2011, pp. 405 416. c Indan Academy of Scences Fxed ponts of IA-endomorphsms of a free metabelan Le algebra NAIME EKICI 1 and DEMET PARLAK SÖNMEZ
More informationCollege of Computer & Information Science Fall 2009 Northeastern University 20 October 2009
College of Computer & Informaton Scence Fall 2009 Northeastern Unversty 20 October 2009 CS7880: Algorthmc Power Tools Scrbe: Jan Wen and Laura Poplawsk Lecture Outlne: Prmal-dual schema Network Desgn:
More informationLinear, affine, and convex sets and hulls In the sequel, unless otherwise specified, X will denote a real vector space.
Lnear, affne, and convex sets and hulls In the sequel, unless otherwse specfed, X wll denote a real vector space. Lnes and segments. Gven two ponts x, y X, we defne xy = {x + t(y x) : t R} = {(1 t)x +
More informationThe internal structure of natural numbers and one method for the definition of large prime numbers
The nternal structure of natural numbers and one method for the defnton of large prme numbers Emmanul Manousos APM Insttute for the Advancement of Physcs and Mathematcs 3 Poulou str. 53 Athens Greece Abstract
More informationA p-adic PERRON-FROBENIUS THEOREM
A p-adic PERRON-FROBENIUS THEOREM ROBERT COSTA AND PATRICK DYNES Advsor: Clayton Petsche Oregon State Unversty Abstract We prove a result for square matrces over the p-adc numbers akn to the Perron-Frobenus
More informationDIFFERENTIAL FORMS BRIAN OSSERMAN
DIFFERENTIAL FORMS BRIAN OSSERMAN Dfferentals are an mportant topc n algebrac geometry, allowng the use of some classcal geometrc arguments n the context of varetes over any feld. We wll use them to defne
More informationDirichlet s Theorem In Arithmetic Progressions
Drchlet s Theorem In Arthmetc Progressons Parsa Kavkan Hang Wang The Unversty of Adelade February 26, 205 Abstract The am of ths paper s to ntroduce and prove Drchlet s theorem n arthmetc progressons,
More informationLectures - Week 4 Matrix norms, Conditioning, Vector Spaces, Linear Independence, Spanning sets and Basis, Null space and Range of a Matrix
Lectures - Week 4 Matrx norms, Condtonng, Vector Spaces, Lnear Independence, Spannng sets and Bass, Null space and Range of a Matrx Matrx Norms Now we turn to assocatng a number to each matrx. We could
More informationUNIQUE FACTORIZATION OF COMPOSITIVE HEREDITARY GRAPH PROPERTIES
UNIQUE FACTORIZATION OF COMPOSITIVE HEREDITARY GRAPH PROPERTIES IZAK BROERE AND EWA DRGAS-BURCHARDT Abstract. A graph property s any class of graphs that s closed under somorphsms. A graph property P s
More informationn ). This is tight for all admissible values of t, k and n. k t + + n t
MAXIMIZING THE NUMBER OF NONNEGATIVE SUBSETS NOGA ALON, HAROUT AYDINIAN, AND HAO HUANG Abstract. Gven a set of n real numbers, f the sum of elements of every subset of sze larger than k s negatve, what
More informationLecture 5 Decoding Binary BCH Codes
Lecture 5 Decodng Bnary BCH Codes In ths class, we wll ntroduce dfferent methods for decodng BCH codes 51 Decodng the [15, 7, 5] 2 -BCH Code Consder the [15, 7, 5] 2 -code C we ntroduced n the last lecture
More informationMath 261 Exercise sheet 2
Math 261 Exercse sheet 2 http://staff.aub.edu.lb/~nm116/teachng/2017/math261/ndex.html Verson: September 25, 2017 Answers are due for Monday 25 September, 11AM. The use of calculators s allowed. Exercse
More informationAppendix B. Criterion of Riemann-Stieltjes Integrability
Appendx B. Crteron of Remann-Steltes Integrablty Ths note s complementary to [R, Ch. 6] and [T, Sec. 3.5]. The man result of ths note s Theorem B.3, whch provdes the necessary and suffcent condtons for
More informationCommentationes Mathematicae Universitatis Carolinae
Commentatones Mathematcae Unverstats Carolnae Uzma Ahmad; Syed Husnne Characterzaton of power dgraphs modulo n Commentatones Mathematcae Unverstats Carolnae, Vol. 52 (2011), No. 3, 359--367 Persstent URL:
More informationLecture 3. Ax x i a i. i i
18.409 The Behavor of Algorthms n Practce 2/14/2 Lecturer: Dan Spelman Lecture 3 Scrbe: Arvnd Sankar 1 Largest sngular value In order to bound the condton number, we need an upper bound on the largest
More informationP.P. PROPERTIES OF GROUP RINGS. Libo Zan and Jianlong Chen
Internatonal Electronc Journal of Algebra Volume 3 2008 7-24 P.P. PROPERTIES OF GROUP RINGS Lbo Zan and Janlong Chen Receved: May 2007; Revsed: 24 October 2007 Communcated by John Clark Abstract. A rng
More informationThe lower and upper bounds on Perron root of nonnegative irreducible matrices
Journal of Computatonal Appled Mathematcs 217 (2008) 259 267 wwwelsevercom/locate/cam The lower upper bounds on Perron root of nonnegatve rreducble matrces Guang-Xn Huang a,, Feng Yn b,keguo a a College
More informationA Simple Research of Divisor Graphs
The 29th Workshop on Combnatoral Mathematcs and Computaton Theory A Smple Research o Dvsor Graphs Yu-png Tsao General Educaton Center Chna Unversty o Technology Tape Tawan yp-tsao@cuteedutw Tape Tawan
More informationA New Refinement of Jacobi Method for Solution of Linear System Equations AX=b
Int J Contemp Math Scences, Vol 3, 28, no 17, 819-827 A New Refnement of Jacob Method for Soluton of Lnear System Equatons AX=b F Naem Dafchah Department of Mathematcs, Faculty of Scences Unversty of Gulan,
More informationON SEPARATING SETS OF WORDS IV
ON SEPARATING SETS OF WORDS IV V. FLAŠKA, T. KEPKA AND J. KORTELAINEN Abstract. Further propertes of transtve closures of specal replacement relatons n free monods are studed. 1. Introducton Ths artcle
More informationAmusing Properties of Odd Numbers Derived From Valuated Binary Tree
IOSR Journal of Mathematcs (IOSR-JM) e-iss: 78-578, p-iss: 19-765X. Volume 1, Issue 6 Ver. V (ov. - Dec.016), PP 5-57 www.osrjournals.org Amusng Propertes of Odd umbers Derved From Valuated Bnary Tree
More informationOn the size of quotient of two subsets of positive integers.
arxv:1706.04101v1 [math.nt] 13 Jun 2017 On the sze of quotent of two subsets of postve ntegers. Yur Shtenkov Abstract We obtan non-trval lower bound for the set A/A, where A s a subset of the nterval [1,
More informationMULTIPLICATIVE FUNCTIONS: A REWRITE OF ANDREWS CHAPTER 6
MULTIPLICATIVE FUNCTIONS: A REWRITE OF ANDREWS CHAPTER 6 In these notes we offer a rewrte of Andrews Chapter 6. Our am s to replace some of the messer arguments n Andrews. To acheve ths, we need to change
More informationGenericity of Critical Types
Genercty of Crtcal Types Y-Chun Chen Alfredo D Tllo Eduardo Fangold Syang Xong September 2008 Abstract Ely and Pesk 2008 offers an nsghtful characterzaton of crtcal types: a type s crtcal f and only f
More informationSubset Topological Spaces and Kakutani s Theorem
MOD Natural Neutrosophc Subset Topologcal Spaces and Kakutan s Theorem W. B. Vasantha Kandasamy lanthenral K Florentn Smarandache 1 Copyrght 1 by EuropaNova ASBL and the Authors Ths book can be ordered
More informationBinomial transforms of the modified k-fibonacci-like sequence
Internatonal Journal of Mathematcs and Computer Scence, 14(2019, no. 1, 47 59 M CS Bnomal transforms of the modfed k-fbonacc-lke sequence Youngwoo Kwon Department of mathematcs Korea Unversty Seoul, Republc
More informationA new construction of 3-separable matrices via an improved decoding of Macula s construction
Dscrete Optmzaton 5 008 700 704 Contents lsts avalable at ScenceDrect Dscrete Optmzaton journal homepage: wwwelsevercom/locate/dsopt A new constructon of 3-separable matrces va an mproved decodng of Macula
More informationEuropean Journal of Combinatorics
European Journal of Combnatorcs 0 (009) 480 489 Contents lsts avalable at ScenceDrect European Journal of Combnatorcs journal homepage: www.elsever.com/locate/ejc Tlngs n Lee metrc P. Horak 1 Unversty
More informationExistence of Two Conjugate Classes of A 5 within S 6. by Use of Character Table of S 6
Internatonal Mathematcal Forum, Vol. 8, 2013, no. 32, 1591-159 HIKARI Ltd, www.m-hkar.com http://dx.do.org/10.12988/mf.2013.3359 Exstence of Two Conjugate Classes of A 5 wthn S by Use of Character Table
More informationSUPER PRINCIPAL FIBER BUNDLE WITH SUPER ACTION
talan journal of pure appled mathematcs n. 33 2014 (63 70) 63 SUPER PRINCIPAL FIBER BUNDLE WITH SUPER ACTION M.R. Farhangdoost Department of Mathematcs College of Scences Shraz Unversty Shraz, 71457-44776
More informationSPECIAL SUBSETS OF DIFFERENCE SETS WITH PARTICULAR EMPHASIS ON SKEW HADAMARD DIFFERENCE SETS
SPECIAL SUBSETS OF DIFFERENCE SETS WITH PARTICULAR EMPHASIS ON SKEW HADAMARD DIFFERENCE SETS ROBERT S. COULTER AND TODD GUTEKUNST Abstract. Ths artcle ntroduces a new approach to studyng dfference sets
More informationAPPENDIX A Some Linear Algebra
APPENDIX A Some Lnear Algebra The collecton of m, n matrces A.1 Matrces a 1,1,..., a 1,n A = a m,1,..., a m,n wth real elements a,j s denoted by R m,n. If n = 1 then A s called a column vector. Smlarly,
More informationOn the set of natural numbers
On the set of natural numbers by Jalton C. Ferrera Copyrght 2001 Jalton da Costa Ferrera Introducton The natural numbers have been understood as fnte numbers, ths wor tres to show that the natural numbers
More informationA combinatorial problem associated with nonograms
A combnatoral problem assocated wth nonograms Jessca Benton Ron Snow Nolan Wallach March 21, 2005 1 Introducton. Ths work was motvated by a queston posed by the second named author to the frst named author
More informationFoundations of Arithmetic
Foundatons of Arthmetc Notaton We shall denote the sum and product of numbers n the usual notaton as a 2 + a 2 + a 3 + + a = a, a 1 a 2 a 3 a = a The notaton a b means a dvdes b,.e. ac = b where c s an
More informationSalmon: Lectures on partial differential equations. Consider the general linear, second-order PDE in the form. ,x 2
Salmon: Lectures on partal dfferental equatons 5. Classfcaton of second-order equatons There are general methods for classfyng hgher-order partal dfferental equatons. One s very general (applyng even to
More informationY. Guo. A. Liu, T. Liu, Q. Ma UDC
UDC 517. 9 OSCILLATION OF A CLASS OF NONLINEAR PARTIAL DIFFERENCE EQUATIONS WITH CONTINUOUS VARIABLES* ОСЦИЛЯЦIЯ КЛАСУ НЕЛIНIЙНИХ ЧАСТКОВО РIЗНИЦЕВИХ РIВНЯНЬ З НЕПЕРЕРВНИМИ ЗМIННИМИ Y. Guo Graduate School
More informationMATH 5707 HOMEWORK 4 SOLUTIONS 2. 2 i 2p i E(X i ) + E(Xi 2 ) ä i=1. i=1
MATH 5707 HOMEWORK 4 SOLUTIONS CİHAN BAHRAN 1. Let v 1,..., v n R m, all lengths v are not larger than 1. Let p 1,..., p n [0, 1] be arbtrary and set w = p 1 v 1 + + p n v n. Then there exst ε 1,..., ε
More information