ROTATION-EQUIVALENCE CLASSES OF BINARY VECTORS. 1. Introduction
|
|
- Charlotte Willis
- 6 years ago
- Views:
Transcription
1 t m Mathematical Publicatios DOI: /tmmp Tatra Mt. Math. Publ. 67 (2016, ROTATION-EQUIVALENCE CLASSES OF BINARY VECTORS Otokar Grošek Viliam Hromada ABSTRACT. I this paper we study equivalece classes of biary vectors with regards to their rotatio by usig a algebraic approach based o the theory of liear feedback shift registers. We state the ecessary ad sufficiet coditio for existece of a equivalece class with give cardiality ad provide two formulas. The first represets the sharp distributio of cardialities for give legth ad Hammig weight of biary vectors ad the secod eables us to determie the umber of differet classes with the same cardiality. 1. Itroductio I cryptography ad codig theory, there are may algorithms, which use rotatio of a biary vector. Oe iterestig example is the McEliece cryptosystem [4], [5] that uses quasi-cyclic codes, e.g., QC-LDPC (low-desity parity-check codes as proposed by B a l d i et al. [1], [2]. Aother iterestig example, where equivalece classes of rotatio of biary vectors are studied, is the rotatioal cryptaalysis of various cryptosystems [7]. McEliece versio with QC-LDPC codes uses quasi-cyclic matrices, which are matrices cosistig of blocks of biary circulat matrices. A biary circulat matrix is a matrix, i which each row vector is rotated oe elemet to the right relative to the precedig row. It is therefore helpful to kow the correspodig equivalece class of a biary vector with regards to its rotatio ad the cardiality of this class. These rotatios are calculated i the real time i the implemetatio of these cryptosystems, sice it is sufficiet to store ito memory oly the first rows of used biary circulat matrices ad the other rows ca be computed o-demad by simple rotatios, which greatly lowers the memory requiremets. c 2016 Mathematical Istitute, Slovak Academy of Scieces M a t h e m a t i c s Subject Classificatio: 11T71, 94A60. K e y w o r d s: rotatioal equivalece classes, biary vectors, biary vector rotatio, rotatioal classes cardiality. This project is supported by NATO SPS Project G
2 OTOKAR GROŠEK VILIAM HROMADA This paper deals with the sufficiet ad ecessary coditio for the existece of a class with give cardiality ad the formulas preseted i this paper ca be used to determie the structure of classes for biary vectors with give legth ad Hammig weight, i.e., they preset the sharp distributio of cardialities ad the umber of differet classes with the same cardiality. 2. Rotatioal equivalece classes Let V be -dimesioal vector space over F 2,adE t = { e hw(e =t } V, where hw is the Hammig weight. Number of such vectors is equal to ( t, i.e., E t = ( t.leta be the associated matrix to the characteristic polyomial f(x =x +1overF 2 of the LFSR as defied i [3] A = For ay u E t let [u] ={u, ua,...,ua d 1 } be a class of words (state vectors obtaied from u by cosecutive shifts of this vector, where d is the smallest period of this sequece. Hece u = ua d. Let ϱ be a relatio defied o E t such that uϱ v if ad oly if u, v belog to the same class. The ϱ is a equivalece relatio o E t ad uϱ =[u]. The cardiality of such classes may vary from 1 to as show i the ext example. Example 1. Here we preset several typical cases: 1. If =6,t= 6, the clearly [1, 1, 1, 1, 1, 1]ϱ 6 =1. 2. If =7,t= 3, the all classes have the same cardiality 7, ad there are 5 such classes. 3. If =10,t= 4, the we have 20 classes of cardiality 10 ad 2 classes of cardiality 5, amely, [0, 0, 1, 0, 1, 0, 0, 1, 0, 1]ϱ 10 ad [0, 0, 0, 1, 1, 0, 0, 0, 1, 1]ϱ 10. All divisors of 10 are 2, 5, 10, but there is o class with cardiality 2. Remark 1. A ecessary coditio for havig the same cardiality for all classes is ( ( t. From [6] it ca be deduced that t is divisible by gcd(,t.thus,if gcd(, t =1,the ( ( t is divisible by. The coverse is ot true, e.g., 10 4 = 210, ad gcd(10, 4 > 1, but As show i Example 1 i this case there exist 2 classes with 5 elemets. 94
3 ROTATION-EQUIVALENCE CLASSES OF BINARY VECTORS It follows from the theory of LFSR that for ay iitial state u the cardiality of [u] =uϱ divides the order of A i the geeral liear group GL(, F 2. Equivaletly, the cardiality of [u] divides the order of f(x if 2 [x], i.e., the smallest l such that f(x x l +1. This l coicides with the order of A. Sice i our case the order of A is, d. Next, we prove a ecessary ad sufficiet coditio for havig a class of a give cardiality d. Theorem 1. Let ϱ be the equivalece relatio o E t defied above. The there exists a class uϱ with cardiality d if ad oly if d ad d t. P r o o f. The first coditio d of our claim results from geeral theory of LFSR (cf. [3]. Next we cocateate u from smaller parts. Thus we will speak about words over the alphabet {0, 1} of a give legth, i.e., elemets from the free semigroup S = {0, 1}.Ifthereisaclasswithd elemets, uϱ = d. The u = u u 1...u 1 = u d u d 1...u 1 u u 1...u d+1 (1 ad we ca cocateate u from words w 1 w 2... w z,wherethelegthofw i is w i = d, i =1, 2,...z,adz = /d. Next we show that 1. all these words are the same, i.e., w 1 = w 2 =...= w z ; 2. the weight of w i is t z = td for i =1, 2,...,z, providig td. Clearly, the secod claim is a direct cosequece of the first oe. From the defiitio of classes it follows that if u = w 1 w 2... w z,the u = ua d = w z w 1 w 2... w z 1. Thus w 1 = w z,w 2 = w 1,...,w z = w z 1 which cocludes the first part of the proof. O the other had, let d ad d t. The we ca costruct a word w d td/ td/ {}}{{}}{ w = = 0 d td/ 1 td/, i.e., u = w /d,ad[u] cotais precisely d elemets. Corollary 1. All classes uϱ have the same cardiality if ad oly if t =0 or gcd(, t =1. Proof. The cases t =0adt = are trivial. Let for ow 0 <t<.from Theorem 1 it follows that the cardiality d of a class must satisfy td ad d. Ifgcd(, t =1,thed =. O the other had, if all classes have the same cardiality d ad gcd(, t = k>1, the we ca costruct two words, amely 95
4 OTOKAR GROŠEK VILIAM HROMADA 1. u =0 t 1 t, which yields uϱ =, ad 2. v = w 1... w k such that w i = w, i =1,...,k, w = /k, hw(w =t/k. From the costructio it follows that vϱ = /k, a cotradictio with our suppositio. This completes the proof. Here is a more complex example: Example 2. Let = 20, t = 10. The we have the followig distributio of classes: 9225 classes with cardiality d = 20; 25 classes with cardiality d = 10; 1 class with cardiality d =4; 1 class with cardiality d =2. I this case there is o class with cardiality d =5sice d t. Importat questio is how may classes with the maximum cardiality d = exist. Let for give, t; C(, t, d deotes the umber of classes with the cardiality d. IExample2,e.g.,C(20, 10, 4 = 1, C(20, 10, 5 = 0. Accordig to Theorem 1 ad defiitio of ϱ we have ( = dc(, t, d. (2 t d By Theorem 1 we ca exclude i this formula all summads d for which C(, t, d =0. ( = dc(, t, d. (3 t d /d t There are 2 trivial cases C(,, d =C(, 0,d= { 1, if d =1; 0, if d>1. (4 Let for give, t; D,t be the set of all d for which summads i Formula 3 are o-zero. Usig the proof of Theorem 1 we ca easily derive a formula for all o-trivial ad o-zero C(, t, d: 96 C(, t, d = 1 d ( d td kc(, t, k. (5 k D,t k d,k<d
5 ROTATION-EQUIVALENCE CLASSES OF BINARY VECTORS Example 3. We apply formula (5 to our examples: ( If = 10, t =4,theD 10,4 = {5, 10}; C(10, 4, 5 = =2ad (( C(10, 4, 10 = C(10, 4, 5 = 20. ( If =20,t= 10, the D 20,10 = {2, 4, 10, 20}; C(20, 10, 2 = =1, C(20, 10, 4 = 1 4 2C(20, 10, 2 =1, C(20, 10, 10 = 1 10 C(20, 10, 20 = 1 20 (( 4 2 (( C(20, 10, 2 = 25, (( C(20, 10, 2 4C(20, 10, 4 10C(20, 10, 10 = Coclusio I this paper we studied equivalece classes of biary vectors with regards to their rotatio. We used the theory of liear feedback shift registers, sice the rotatio of a biary vector ca be modeled by a register with correspodig characteristic polyomial f(x = x + 1. We stated ecessary ad sufficiet coditio for the existece of such classes with give cardialities, ad provided a formula that ca be used to determie the structure of equivalece classes for biary vectors with give legth ad Hammig weight. Oe of the applicatios of our results are the quasi-cyclic codes used i the McEliece cryptosystems based o QC-LDPC codes, sice we are able to determie the existece of square biary circulat matrices with distict rows ad the structure of biary circulat matrices, e.g., the umber of distict rows, depedig o the legth ad Hammig weight t of the first row. REFERENCES [1] BALDI, M. CHIARALUCE, F.: Cryptaalysis of a ew istace of McEliece cryptosystem based o QC-LDPC codes, i: Iterat. Symposium o Iformatio Theory ISIT 07, Nice, Frace, 2007, IEEE, 2007, pp [2] BALDI, M. BODRATO, M. CHIARALUCE, F.: A ew aalysis of the McEliece cryptosystem based o QC-LDPC codes, i: 6th Iterat. Cof. o Security ad Cryptography for Networks SCN 08, Amalfi, Italy, 2008, (R. Ostrovsky et al., eds., Lecture Notes i Comput. Sci., Vol. 5229, Spriger-Verlag, Berli, 2008, pp [3] LIDL, R. NIEDERREITER, H.: Fiite Fields. Cambridge Uiversity Press, Cambridge, [4] MCELIECE, R. J.: A public-key cryptosystem based o algebraic codig theory, DSN Progress Report, 1978, pp [5] REPKA, M. ZAJAC, P.: Overview of the McEliece cryptosystem ad its security, Tatra Mt. Math. Publ. 60 (2014,
6 OTOKAR GROŠEK VILIAM HROMADA [6] SINGHMASTER, D.: Divisibility of biomial ad multiomial coeficiets by primes ad prime powers, i: A Collectio of Mauscripts Related to the Fiboacci Sequece, 18th Aiversary Volume of the Fiboacci Associatio, 1980, pp [7] ZAJAC, P. ONDROŠ, M.: Rotatioal cryptaalysis of GOST with idetical S-boxes. Tatra Mt. Math. Publ. 57 (2013, Received November 18, 2016 Istitute of Computer Sciece ad Mathematics Faculty of Electrical Egieerig ad Iformatio Techology Slovak Uiversity of Techology i Bratislava Ilkovičova 3 SK Bratislava SLOVAKIA otokar.grosek@stuba.sk viliam.hromada@stuba.sk 98
The multiplicative structure of finite field and a construction of LRC
IERG6120 Codig for Distributed Storage Systems Lecture 8-06/10/2016 The multiplicative structure of fiite field ad a costructio of LRC Lecturer: Keeth Shum Scribe: Zhouyi Hu Notatios: We use the otatio
More informationCSE 1400 Applied Discrete Mathematics Number Theory and Proofs
CSE 1400 Applied Discrete Mathematics Number Theory ad Proofs Departmet of Computer Scieces College of Egieerig Florida Tech Sprig 01 Problems for Number Theory Backgroud Number theory is the brach of
More informationSOME GENERALIZATIONS OF OLIVIER S THEOREM
SOME GENERALIZATIONS OF OLIVIER S THEOREM Alai Faisat, Sait-Étiee, Georges Grekos, Sait-Étiee, Ladislav Mišík Ostrava (Received Jauary 27, 2006) Abstract. Let a be a coverget series of positive real umbers.
More informationProduct measures, Tonelli s and Fubini s theorems For use in MAT3400/4400, autumn 2014 Nadia S. Larsen. Version of 13 October 2014.
Product measures, Toelli s ad Fubii s theorems For use i MAT3400/4400, autum 2014 Nadia S. Larse Versio of 13 October 2014. 1. Costructio of the product measure The purpose of these otes is to preset the
More informationAxioms of Measure Theory
MATH 532 Axioms of Measure Theory Dr. Neal, WKU I. The Space Throughout the course, we shall let X deote a geeric o-empty set. I geeral, we shall ot assume that ay algebraic structure exists o X so that
More informationPAijpam.eu ON TENSOR PRODUCT DECOMPOSITION
Iteratioal Joural of Pure ad Applied Mathematics Volume 103 No 3 2015, 537-545 ISSN: 1311-8080 (prited versio); ISSN: 1314-3395 (o-lie versio) url: http://wwwijpameu doi: http://dxdoiorg/1012732/ijpamv103i314
More informationThe normal subgroup structure of ZM-groups
arxiv:1502.04776v1 [math.gr] 17 Feb 2015 The ormal subgroup structure of ZM-groups Marius Tărăuceau February 17, 2015 Abstract The mai goal of this ote is to determie ad to cout the ormal subgroups of
More informationMath 155 (Lecture 3)
Math 55 (Lecture 3) September 8, I this lecture, we ll cosider the aswer to oe of the most basic coutig problems i combiatorics Questio How may ways are there to choose a -elemet subset of the set {,,,
More informationA GENERALIZATION OF THE SYMMETRY BETWEEN COMPLETE AND ELEMENTARY SYMMETRIC FUNCTIONS. Mircea Merca
Idia J Pure Appl Math 45): 75-89 February 204 c Idia Natioal Sciece Academy A GENERALIZATION OF THE SYMMETRY BETWEEN COMPLETE AND ELEMENTARY SYMMETRIC FUNCTIONS Mircea Merca Departmet of Mathematics Uiversity
More informationSOME TRIBONACCI IDENTITIES
Mathematics Today Vol.7(Dec-011) 1-9 ISSN 0976-38 Abstract: SOME TRIBONACCI IDENTITIES Shah Devbhadra V. Sir P.T.Sarvajaik College of Sciece, Athwalies, Surat 395001. e-mail : drdvshah@yahoo.com The sequece
More informationON THE LEHMER CONSTANT OF FINITE CYCLIC GROUPS
ON THE LEHMER CONSTANT OF FINITE CYCLIC GROUPS NORBERT KAIBLINGER Abstract. Results of Lid o Lehmer s problem iclude the value of the Lehmer costat of the fiite cyclic group Z/Z, for 5 ad all odd. By complemetary
More informationMaximal sets of integers not containing k + 1 pairwise coprimes and having divisors from a specified set of primes
EuroComb 2005 DMTCS proc. AE, 2005, 335 340 Maximal sets of itegers ot cotaiig k + 1 pairwise coprimes ad havig divisors from a specified set of primes Vladimir Bliovsky 1 Bielefeld Uiversity, Math. Dept.,
More informationThe inverse eigenvalue problem for symmetric doubly stochastic matrices
Liear Algebra ad its Applicatios 379 (004) 77 83 www.elsevier.com/locate/laa The iverse eigevalue problem for symmetric doubly stochastic matrices Suk-Geu Hwag a,,, Sug-Soo Pyo b, a Departmet of Mathematics
More information62. Power series Definition 16. (Power series) Given a sequence {c n }, the series. c n x n = c 0 + c 1 x + c 2 x 2 + c 3 x 3 +
62. Power series Defiitio 16. (Power series) Give a sequece {c }, the series c x = c 0 + c 1 x + c 2 x 2 + c 3 x 3 + is called a power series i the variable x. The umbers c are called the coefficiets of
More informationWeakly Connected Closed Geodetic Numbers of Graphs
Iteratioal Joural of Mathematical Aalysis Vol 10, 016, o 6, 57-70 HIKARI Ltd, wwwm-hikaricom http://dxdoiorg/101988/ijma01651193 Weakly Coected Closed Geodetic Numbers of Graphs Rachel M Pataga 1, Imelda
More informationHomework 9. (n + 1)! = 1 1
. Chapter : Questio 8 If N, the Homewor 9 Proof. We will prove this by usig iductio o. 2! + 2 3! + 3 4! + + +! +!. Base step: Whe the left had side is. Whe the right had side is 2! 2 +! 2 which proves
More informationIf a subset E of R contains no open interval, is it of zero measure? For instance, is the set of irrationals in [0, 1] is of measure zero?
2 Lebesgue Measure I Chapter 1 we defied the cocept of a set of measure zero, ad we have observed that every coutable set is of measure zero. Here are some atural questios: If a subset E of R cotais a
More informationExplicit Maximal and Minimal Curves over Finite Fields of Odd Characteristics
Explicit Maximal ad Miimal Curves over Fiite Fields of Odd Characteristics Ferruh Ozbudak, Zülfükar Saygı To cite this versio: Ferruh Ozbudak, Zülfükar Saygı. Explicit Maximal ad Miimal Curves over Fiite
More informationCommutativity in Permutation Groups
Commutativity i Permutatio Groups Richard Wito, PhD Abstract I the group Sym(S) of permutatios o a oempty set S, fixed poits ad trasiet poits are defied Prelimiary results o fixed ad trasiet poits are
More informationNEW SELF-DUAL [54, 27, 10] CODES EXTENDED FROM [52, 26, 10] CODES 1. v (denoted by wt( v ) ) is the number
NEW SELF-DUAL [54, 7, 10] CODES EXTENDED FROM [5, 6, 10] CODES 1 Nikolay I. Yakov ABSTRACT: Usig [5, 6, 10] biary self-dual codes, possesig a automorphism of order 3, we costruct ew [54, 7, 10] biary self-dual
More informationDIVISIBILITY PROPERTIES OF GENERALIZED FIBONACCI POLYNOMIALS
DIVISIBILITY PROPERTIES OF GENERALIZED FIBONACCI POLYNOMIALS VERNER E. HOGGATT, JR. Sa Jose State Uiversity, Sa Jose, Califoria 95192 ad CALVIN T. LONG Washigto State Uiversity, Pullma, Washigto 99163
More informationsubcaptionfont+=small,labelformat=parens,labelsep=space,skip=6pt,list=0,hypcap=0 subcaption ALGEBRAIC COMBINATORICS LECTURE 8 TUESDAY, 2/16/2016
subcaptiofot+=small,labelformat=pares,labelsep=space,skip=6pt,list=0,hypcap=0 subcaptio ALGEBRAIC COMBINATORICS LECTURE 8 TUESDAY, /6/06. Self-cojugate Partitios Recall that, give a partitio λ, we may
More informationMeasure and Measurable Functions
3 Measure ad Measurable Fuctios 3.1 Measure o a Arbitrary σ-algebra Recall from Chapter 2 that the set M of all Lebesgue measurable sets has the followig properties: R M, E M implies E c M, E M for N implies
More informationAn elementary proof that almost all real numbers are normal
Acta Uiv. Sapietiae, Mathematica, 2, (200 99 0 A elemetary proof that almost all real umbers are ormal Ferdiád Filip Departmet of Mathematics, Faculty of Educatio, J. Selye Uiversity, Rolícej šoly 59,
More informationON SOME DIOPHANTINE EQUATIONS RELATED TO SQUARE TRIANGULAR AND BALANCING NUMBERS
Joural of Algebra, Number Theory: Advaces ad Applicatios Volume, Number, 00, Pages 7-89 ON SOME DIOPHANTINE EQUATIONS RELATED TO SQUARE TRIANGULAR AND BALANCING NUMBERS OLCAY KARAATLI ad REFİK KESKİN Departmet
More informationStochastic Matrices in a Finite Field
Stochastic Matrices i a Fiite Field Abstract: I this project we will explore the properties of stochastic matrices i both the real ad the fiite fields. We first explore what properties 2 2 stochastic matrices
More informationRecurrence Relations
Recurrece Relatios Aalysis of recursive algorithms, such as: it factorial (it ) { if (==0) retur ; else retur ( * factorial(-)); } Let t be the umber of multiplicatios eeded to calculate factorial(). The
More information11. FINITE FIELDS. Example 1: The following tables define addition and multiplication for a field of order 4.
11. FINITE FIELDS 11.1. A Field With 4 Elemets Probably the oly fiite fields which you ll kow about at this stage are the fields of itegers modulo a prime p, deoted by Z p. But there are others. Now although
More informationOn the Linear Complexity of Feedback Registers
O the Liear Complexity of Feedback Registers A. H. Cha M. Goresky A. Klapper Northeaster Uiversity Abstract I this paper, we study sequeces geerated by arbitrary feedback registers (ot ecessarily feedback
More informationThe Structure of Z p when p is Prime
LECTURE 13 The Structure of Z p whe p is Prime Theorem 131 If p > 1 is a iteger, the the followig properties are equivalet (1) p is prime (2) For ay [0] p i Z p, the equatio X = [1] p has a solutio i Z
More information1. By using truth tables prove that, for all statements P and Q, the statement
Author: Satiago Salazar Problems I: Mathematical Statemets ad Proofs. By usig truth tables prove that, for all statemets P ad Q, the statemet P Q ad its cotrapositive ot Q (ot P) are equivalet. I example.2.3
More informationRecursive Algorithm for Generating Partitions of an Integer. 1 Preliminary
Recursive Algorithm for Geeratig Partitios of a Iteger Sug-Hyuk Cha Computer Sciece Departmet, Pace Uiversity 1 Pace Plaza, New York, NY 10038 USA scha@pace.edu Abstract. This article first reviews the
More informationWeek 5-6: The Binomial Coefficients
Wee 5-6: The Biomial Coefficiets March 6, 2018 1 Pascal Formula Theorem 11 (Pascal s Formula For itegers ad such that 1, ( ( ( 1 1 + 1 The umbers ( 2 ( 1 2 ( 2 are triagle umbers, that is, The petago umbers
More informationNumber of Spanning Trees of Circulant Graphs C 6n and their Applications
Joural of Mathematics ad Statistics 8 (): 4-3, 0 ISSN 549-3644 0 Sciece Publicatios Number of Spaig Trees of Circulat Graphs C ad their Applicatios Daoud, S.N. Departmet of Mathematics, Faculty of Sciece,
More informationarxiv: v1 [math.nt] 10 Dec 2014
A DIGITAL BINOMIAL THEOREM HIEU D. NGUYEN arxiv:42.38v [math.nt] 0 Dec 204 Abstract. We preset a triagle of coectios betwee the Sierpisi triagle, the sum-of-digits fuctio, ad the Biomial Theorem via a
More informationOn the distribution of coefficients of powers of positive polynomials
AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 49 (2011), Pages 239 243 O the distributio of coefficiets of powers of positive polyomials László Major Istitute of Mathematics Tampere Uiversity of Techology
More informationInformation Theory Tutorial Communication over Channels with memory. Chi Zhang Department of Electrical Engineering University of Notre Dame
Iformatio Theory Tutorial Commuicatio over Chaels with memory Chi Zhag Departmet of Electrical Egieerig Uiversity of Notre Dame Abstract A geeral capacity formula C = sup I(; Y ), which is correct for
More informationSOLVED EXAMPLES
Prelimiaries Chapter PELIMINAIES Cocept of Divisibility: A o-zero iteger t is said to be a divisor of a iteger s if there is a iteger u such that s tu I this case we write t s (i) 6 as ca be writte as
More informationInternational Baccalaureate LECTURE NOTES MATHEMATICS HL FURTHER MATHEMATICS HL Christos Nikolaidis TOPIC NUMBER THEORY
Iteratioal Baccalaureate LECTURE NOTES MATHEMATICS HL FURTHER MATHEMATICS HL TOPIC NUMBER THEORY METHODS OF PROOF. Couterexample - Cotradictio - Pigeohole Priciple Strog mathematical iductio 2 DIVISIBILITY....
More informationRegular Elements and BQ-Elements of the Semigroup (Z n, )
Iteratioal Mathematical Forum, 5, 010, o. 51, 533-539 Regular Elemets ad BQ-Elemets of the Semigroup (Z, Ng. Dapattaamogko ad Y. Kemprasit Departmet of Mathematics, Faculty of Sciece Chulalogkor Uiversity,
More information1 Last time: similar and diagonalizable matrices
Last time: similar ad diagoalizable matrices Let be a positive iteger Suppose A is a matrix, v R, ad λ R Recall that v a eigevector for A with eigevalue λ if v ad Av λv, or equivaletly if v is a ozero
More informationEnumerative & Asymptotic Combinatorics
C50 Eumerative & Asymptotic Combiatorics Notes 4 Sprig 2003 Much of the eumerative combiatorics of sets ad fuctios ca be geeralised i a maer which, at first sight, seems a bit umotivated I this chapter,
More informationTHE ASYMPTOTIC COMPLEXITY OF MATRIX REDUCTION OVER FINITE FIELDS
THE ASYMPTOTIC COMPLEXITY OF MATRIX REDUCTION OVER FINITE FIELDS DEMETRES CHRISTOFIDES Abstract. Cosider a ivertible matrix over some field. The Gauss-Jorda elimiatio reduces this matrix to the idetity
More informationTHIS paper analyzes the behavior of those complex
IAENG Iteratioal Joural of Computer Sciece 39:4 IJCS_39_4_6 Itrisic Order Lexicographic Order Vector Order ad Hammig Weight Luis Gozález Abstract To compare biary -tuple probabilities with o eed to compute
More informationA Block Cipher Using Linear Congruences
Joural of Computer Sciece 3 (7): 556-560, 2007 ISSN 1549-3636 2007 Sciece Publicatios A Block Cipher Usig Liear Cogrueces 1 V.U.K. Sastry ad 2 V. Jaaki 1 Academic Affairs, Sreeidhi Istitute of Sciece &
More informationConvergence of random variables. (telegram style notes) P.J.C. Spreij
Covergece of radom variables (telegram style otes).j.c. Spreij this versio: September 6, 2005 Itroductio As we kow, radom variables are by defiitio measurable fuctios o some uderlyig measurable space
More informationSEMIGROUPS OF VALUATIONS DOMINATING LOCAL DOMAINS
SEMIGROUPS OF VALUATIONS DOMINATING LOCAL DOMAINS STEVEN DALE CUTKOSKY Let (R, m R ) be a equicharacteristic local domai, with quotiet field K. Suppose that ν is a valuatio of K with valuatio rig (V, m
More informationHomework 3. = k 1. Let S be a set of n elements, and let a, b, c be distinct elements of S. The number of k-subsets of S is
Homewor 3 Chapter 5 pp53: 3 40 45 Chapter 6 p85: 4 6 4 30 Use combiatorial reasoig to prove the idetity 3 3 Proof Let S be a set of elemets ad let a b c be distict elemets of S The umber of -subsets of
More information4 The Sperner property.
4 The Sperer property. I this sectio we cosider a surprisig applicatio of certai adjacecy matrices to some problems i extremal set theory. A importat role will also be played by fiite groups. I geeral,
More informationInfinite Sequences and Series
Chapter 6 Ifiite Sequeces ad Series 6.1 Ifiite Sequeces 6.1.1 Elemetary Cocepts Simply speakig, a sequece is a ordered list of umbers writte: {a 1, a 2, a 3,...a, a +1,...} where the elemets a i represet
More informationHoggatt and King [lo] defined a complete sequence of natural numbers
REPRESENTATIONS OF N AS A SUM OF DISTINCT ELEMENTS FROM SPECIAL SEQUENCES DAVID A. KLARNER, Uiversity of Alberta, Edmoto, Caada 1. INTRODUCTION Let a, I deote a sequece of atural umbers which satisfies
More informationNew Inequalities For Convex Sequences With Applications
It. J. Ope Problems Comput. Math., Vol. 5, No. 3, September, 0 ISSN 074-87; Copyright c ICSRS Publicatio, 0 www.i-csrs.org New Iequalities For Covex Sequeces With Applicatios Zielaâbidie Latreuch ad Beharrat
More informationarxiv: v1 [math.co] 23 Mar 2016
The umber of direct-sum decompositios of a fiite vector space arxiv:603.0769v [math.co] 23 Mar 206 David Ellerma Uiversity of Califoria at Riverside August 3, 208 Abstract The theory of q-aalogs develops
More informationM A T H F A L L CORRECTION. Algebra I 1 4 / 1 0 / U N I V E R S I T Y O F T O R O N T O
M A T H 2 4 0 F A L L 2 0 1 4 HOMEWORK ASSIGNMENT #4 CORRECTION Algebra I 1 4 / 1 0 / 2 0 1 4 U N I V E R S I T Y O F T O R O N T O P r o f e s s o r : D r o r B a r - N a t a Correctio Homework Assigmet
More informationgcd(n, k) = 1 Kwang Ho Kim 1 and Sihem Mesnager 2 Pyongyang, Democratic People s Republic of Korea
Solvig x 2k + + x + a = 0 i F 2 gcd, k = with Kwag Ho Kim ad Sihem Mesager 2 Istitute of Mathematics, State Academy of Scieces ad PGItech Corp., Pyogyag, Democratic People s Republic of Korea khk.cryptech@gmail.com
More informationChapter IV Integration Theory
Chapter IV Itegratio Theory Lectures 32-33 1. Costructio of the itegral I this sectio we costruct the abstract itegral. As a matter of termiology, we defie a measure space as beig a triple (, A, µ), where
More informationAn Introduction to Randomized Algorithms
A Itroductio to Radomized Algorithms The focus of this lecture is to study a radomized algorithm for quick sort, aalyze it usig probabilistic recurrece relatios, ad also provide more geeral tools for aalysis
More informationSome p-adic congruences for p q -Catalan numbers
Some p-adic cogrueces for p q -Catala umbers Floria Luca Istituto de Matemáticas Uiversidad Nacioal Autóoma de México C.P. 58089, Morelia, Michoacá, México fluca@matmor.uam.mx Paul Thomas Youg Departmet
More informationSquare-Congruence Modulo n
Square-Cogruece Modulo Abstract This paper is a ivestigatio of a equivalece relatio o the itegers that was itroduced as a exercise i our Discrete Math class. Part I - Itro Defiitio Two itegers are Square-Cogruet
More informationA New Bound between Higher Order Nonlinearity and Algebraic Immunity
Available olie at wwwsciecedirectcom Procedia Egieerig 9 (01) 788 79 01 Iteratioal Workshop o Iformatio ad Electroics Egieerig (IWIEE) A New Boud betwee Higher Order Noliearity ad Algebraic Immuity Xueyig
More informationSingular Continuous Measures by Michael Pejic 5/14/10
Sigular Cotiuous Measures by Michael Peic 5/4/0 Prelimiaries Give a set X, a σ-algebra o X is a collectio of subsets of X that cotais X ad ad is closed uder complemetatio ad coutable uios hece, coutable
More informationIn number theory we will generally be working with integers, though occasionally fractions and irrationals will come into play.
Number Theory Math 5840 otes. Sectio 1: Axioms. I umber theory we will geerally be workig with itegers, though occasioally fractios ad irratioals will come ito play. Notatio: Z deotes the set of all itegers
More informationA Study on Some Integer Sequences
It. J. Cotemp. Math. Scieces, Vol. 3, 008, o. 3, 03-09 A Study o Some Iteger Sequeces Serpil Halıcı Sakarya Uiversity, Departmet of Mathematics Esetepe Campus, Sakarya, Turkey shalici@sakarya.edu.tr Abstract.
More informationChain conditions. 1. Artinian and noetherian modules. ALGBOOK CHAINS 1.1
CHAINS 1.1 Chai coditios 1. Artiia ad oetheria modules. (1.1) Defiitio. Let A be a rig ad M a A-module. The module M is oetheria if every ascedig chai!!m 1 M 2 of submodules M of M is stable, that is,
More informationCALCULATION OF FIBONACCI VECTORS
CALCULATION OF FIBONACCI VECTORS Stuart D. Aderso Departmet of Physics, Ithaca College 953 Daby Road, Ithaca NY 14850, USA email: saderso@ithaca.edu ad Dai Novak Departmet of Mathematics, Ithaca College
More informationK. Grill Institut für Statistik und Wahrscheinlichkeitstheorie, TU Wien, Austria
MARKOV PROCESSES K. Grill Istitut für Statistik ud Wahrscheilichkeitstheorie, TU Wie, Austria Keywords: Markov process, Markov chai, Markov property, stoppig times, strog Markov property, trasitio matrix,
More informationMath 475, Problem Set #12: Answers
Math 475, Problem Set #12: Aswers A. Chapter 8, problem 12, parts (b) ad (d). (b) S # (, 2) = 2 2, sice, from amog the 2 ways of puttig elemets ito 2 distiguishable boxes, exactly 2 of them result i oe
More informationAn analog of the arithmetic triangle obtained by replacing the products by the least common multiples
arxiv:10021383v2 [mathnt] 9 Feb 2010 A aalog of the arithmetic triagle obtaied by replacig the products by the least commo multiples Bair FARHI bairfarhi@gmailcom MSC: 11A05 Keywords: Al-Karaji s triagle;
More informationA NOTE ON INVARIANT SETS OF ITERATED FUNCTION SYSTEMS
Acta Math. Hugar., 2007 DOI: 10.1007/s10474-007-7013-6 A NOTE ON INVARIANT SETS OF ITERATED FUNCTION SYSTEMS L. L. STACHÓ ad L. I. SZABÓ Bolyai Istitute, Uiversity of Szeged, Aradi vértaúk tere 1, H-6720
More informationRiesz-Fischer Sequences and Lower Frame Bounds
Zeitschrift für Aalysis ud ihre Aweduge Joural for Aalysis ad its Applicatios Volume 1 (00), No., 305 314 Riesz-Fischer Sequeces ad Lower Frame Bouds P. Casazza, O. Christese, S. Li ad A. Lider Abstract.
More informationGeneralized Reed-Solomon Codes with Sparsest and Balanced Generator Matrices
Geeralized Reed-Solomo Codes with Sparsest ad Balaced Geerator Matrices Wetu Sog ad Kui Cai Sigapore Uiversity of Techology ad Desig, Sigapore Email: {wetu sog, cai kui}@sutd.edu.sg arxiv:1801.02315v1
More informationOn Nonsingularity of Saddle Point Matrices. with Vectors of Ones
Iteratioal Joural of Algebra, Vol. 2, 2008, o. 4, 197-204 O Nosigularity of Saddle Poit Matrices with Vectors of Oes Tadeusz Ostrowski Istitute of Maagemet The State Vocatioal Uiversity -400 Gorzów, Polad
More informationComplex Stochastic Boolean Systems: Generating and Counting the Binary n-tuples Intrinsically Less or Greater than u
Proceedigs of the World Cogress o Egieerig ad Computer Sciece 29 Vol I WCECS 29, October 2-22, 29, Sa Fracisco, USA Complex Stochastic Boolea Systems: Geeratig ad Coutig the Biary -Tuples Itrisically Less
More informationn=1 a n is the sequence (s n ) n 1 n=1 a n converges to s. We write a n = s, n=1 n=1 a n
Series. Defiitios ad first properties A series is a ifiite sum a + a + a +..., deoted i short by a. The sequece of partial sums of the series a is the sequece s ) defied by s = a k = a +... + a,. k= Defiitio
More informationCommon Coupled Fixed Point of Mappings Satisfying Rational Inequalities in Ordered Complex Valued Generalized Metric Spaces
IOSR Joural of Mathematics (IOSR-JM) e-issn: 78-578, p-issn:319-765x Volume 10, Issue 3 Ver II (May-Ju 014), PP 69-77 Commo Coupled Fixed Poit of Mappigs Satisfyig Ratioal Iequalities i Ordered Complex
More informationSome properties of Boubaker polynomials and applications
Some properties of Boubaker polyomials ad applicatios Gradimir V. Milovaović ad Duša Joksimović Citatio: AIP Cof. Proc. 179, 1050 (2012); doi: 10.1063/1.756326 View olie: http://dx.doi.org/10.1063/1.756326
More informationMath 61CM - Solutions to homework 3
Math 6CM - Solutios to homework 3 Cédric De Groote October 2 th, 208 Problem : Let F be a field, m 0 a fixed oegative iteger ad let V = {a 0 + a x + + a m x m a 0,, a m F} be the vector space cosistig
More informationk-generalized FIBONACCI NUMBERS CLOSE TO THE FORM 2 a + 3 b + 5 c 1. Introduction
Acta Math. Uiv. Comeiaae Vol. LXXXVI, 2 (2017), pp. 279 286 279 k-generalized FIBONACCI NUMBERS CLOSE TO THE FORM 2 a + 3 b + 5 c N. IRMAK ad M. ALP Abstract. The k-geeralized Fiboacci sequece { F (k)
More informationProperties of Fuzzy Length on Fuzzy Set
Ope Access Library Joural 206, Volume 3, e3068 ISSN Olie: 2333-972 ISSN Prit: 2333-9705 Properties of Fuzzy Legth o Fuzzy Set Jehad R Kider, Jaafar Imra Mousa Departmet of Mathematics ad Computer Applicatios,
More informationEllipsoid Method for Linear Programming made simple
Ellipsoid Method for Liear Programmig made simple Sajeev Saxea Dept. of Computer Sciece ad Egieerig, Idia Istitute of Techology, Kapur, INDIA-08 06 December 3, 07 Abstract I this paper, ellipsoid method
More informationarxiv: v1 [math.fa] 3 Apr 2016
Aticommutator Norm Formula for Proectio Operators arxiv:164.699v1 math.fa] 3 Apr 16 Sam Walters Uiversity of Norther British Columbia ABSTRACT. We prove that for ay two proectio operators f, g o Hilbert
More informationEnergy of a Hypercube and its Complement
Iteratioal Joural of Algebra, Vol. 6, 01, o. 16, 799-805 Eergy of a Hypercube ad its Complemet Xiaoge Che School of Iformatio Sciece ad Techology, Zhajiag Normal Uiversity Zhajiag Guagdog, 54048 P.R. Chia
More informationPairs of disjoint q-element subsets far from each other
Pairs of disjoit q-elemet subsets far from each other Hikoe Eomoto Departmet of Mathematics, Keio Uiversity 3-14-1 Hiyoshi, Kohoku-Ku, Yokohama, 223 Japa, eomoto@math.keio.ac.jp Gyula O.H. Katoa Alfréd
More informationDisjoint Systems. Abstract
Disjoit Systems Noga Alo ad Bey Sudaov Departmet of Mathematics Raymod ad Beverly Sacler Faculty of Exact Scieces Tel Aviv Uiversity, Tel Aviv, Israel Abstract A disjoit system of type (,,, ) is a collectio
More informationBijective Proofs of Gould s and Rothe s Identities
ESI The Erwi Schrödiger Iteratioal Boltzmagasse 9 Istitute for Mathematical Physics A-1090 Wie, Austria Bijective Proofs of Gould s ad Rothe s Idetities Victor J. W. Guo Viea, Preprit ESI 2072 (2008 November
More informationFormulas for the Number of Spanning Trees in a Maximal Planar Map
Applied Mathematical Scieces Vol. 5 011 o. 64 3147-3159 Formulas for the Number of Spaig Trees i a Maximal Plaar Map A. Modabish D. Lotfi ad M. El Marraki Departmet of Computer Scieces Faculty of Scieces
More informationOn Some Properties of Digital Roots
Advaces i Pure Mathematics, 04, 4, 95-30 Published Olie Jue 04 i SciRes. http://www.scirp.org/joural/apm http://dx.doi.org/0.436/apm.04.46039 O Some Properties of Digital Roots Ilha M. Izmirli Departmet
More informationMATH 304: MIDTERM EXAM SOLUTIONS
MATH 304: MIDTERM EXAM SOLUTIONS [The problems are each worth five poits, except for problem 8, which is worth 8 poits. Thus there are 43 possible poits.] 1. Use the Euclidea algorithm to fid the greatest
More informationBenaissa Bernoussi Université Abdelmalek Essaadi, ENSAT de Tanger, B.P. 416, Tanger, Morocco
EXTENDING THE BERNOULLI-EULER METHOD FOR FINDING ZEROS OF HOLOMORPHIC FUNCTIONS Beaissa Beroussi Uiversité Abdelmalek Essaadi, ENSAT de Tager, B.P. 416, Tager, Morocco e-mail: Beaissa@fstt.ac.ma Mustapha
More informationA constructive analysis of convex-valued demand correspondence for weakly uniformly rotund and monotonic preference
MPRA Muich Persoal RePEc Archive A costructive aalysis of covex-valued demad correspodece for weakly uiformly rotud ad mootoic preferece Yasuhito Taaka ad Atsuhiro Satoh. May 04 Olie at http://mpra.ub.ui-mueche.de/55889/
More informationStructural Functionality as a Fundamental Property of Boolean Algebra and Base for Its Real-Valued Realizations
Structural Fuctioality as a Fudametal Property of Boolea Algebra ad Base for Its Real-Valued Realizatios Draga G. Radojević Uiversity of Belgrade, Istitute Mihajlo Pupi, Belgrade draga.radojevic@pupi.rs
More informationSection 5.1 The Basics of Counting
1 Sectio 5.1 The Basics of Coutig Combiatorics, the study of arragemets of objects, is a importat part of discrete mathematics. I this chapter, we will lear basic techiques of coutig which has a lot of
More informationCounting Well-Formed Parenthesizations Easily
Coutig Well-Formed Parethesizatios Easily Pekka Kilpeläie Uiversity of Easter Filad School of Computig, Kuopio August 20, 2014 Abstract It is well kow that there is a oe-to-oe correspodece betwee ordered
More informationOn Generalized Fibonacci Numbers
Applied Mathematical Scieces, Vol. 9, 215, o. 73, 3611-3622 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/1.12988/ams.215.5299 O Geeralized Fiboacci Numbers Jerico B. Bacai ad Julius Fergy T. Rabago Departmet
More informationLecture 11: Channel Coding Theorem: Converse Part
EE376A/STATS376A Iformatio Theory Lecture - 02/3/208 Lecture : Chael Codig Theorem: Coverse Part Lecturer: Tsachy Weissma Scribe: Erdem Bıyık I this lecture, we will cotiue our discussio o chael codig
More informationModern Algebra. Previous year Questions from 2017 to Ramanasri
Moder Algebra Previous year Questios from 017 to 199 Ramaasri 017 S H O P NO- 4, 1 S T F L O O R, N E A R R A P I D F L O U R M I L L S, O L D R A J E N D E R N A G A R, N E W D E L H I. W E B S I T E
More informationSome identities involving Fibonacci, Lucas polynomials and their applications
Bull. Math. Soc. Sci. Math. Roumaie Tome 55103 No. 1, 2012, 95 103 Some idetities ivolvig Fiboacci, Lucas polyomials ad their applicatios by Wag Tigtig ad Zhag Wepeg Abstract The mai purpose of this paper
More information6. Uniform distribution mod 1
6. Uiform distributio mod 1 6.1 Uiform distributio ad Weyl s criterio Let x be a seuece of real umbers. We may decompose x as the sum of its iteger part [x ] = sup{m Z m x } (i.e. the largest iteger which
More informationFINITE GROUPS WITH THREE RELATIVE COMMUTATIVITY DEGREES. Communicated by Ali Reza Ashrafi. 1. Introduction
Bulleti of the Iraia Mathematical Society Vol. 39 No. 2 203), pp 27-280. FINITE GROUPS WITH THREE RELATIVE COMMUTATIVITY DEGREES R. BARZGAR, A. ERFANIAN AND M. FARROKHI D. G. Commuicated by Ali Reza Ashrafi
More informationThe On-Line Heilbronn s Triangle Problem in d Dimensions
Discrete Comput Geom 38:5 60 2007 DI: 0.007/s00454-007-323-x Discrete & Computatioal Geometry 2007 Spriger Sciece+Busiess Media, Ic. The -Lie Heilbro s Triagle Problem i d Dimesios Gill Barequet ad Alia
More information