Math 774 Homework 3. Austin Mohr. October 11, Let µ be the usual Möbius function, namely 0, if n has a repeated prime factor; µ(d) = 0,

Size: px
Start display at page:

Download "Math 774 Homework 3. Austin Mohr. October 11, Let µ be the usual Möbius function, namely 0, if n has a repeated prime factor; µ(d) = 0,"

Transcription

1 Math 774 Homework 3 Austin Mohr October 11, 010 Problem 1 Let µ be the usual Möbius function, namely 0, if n has a repeate prime factor; µ(n = 1, if n = 1; ( 1 k, if n is a prouct of k istinct primes. Proposition 1. For all n N, µ( = { 1, if n = 1; 0, if n > 1. Proof. The conclusion is clear for n = 1. Let now n an consier some iviing n. If has a repeate prime factor, then µ( contributes nothing to the sum. Thus, letting A = { : ivies n an has at most one copy of each istinct prime factor of n}, we have µ( = µ(. A Let now A. If is the prouct of an even number of istinct primes, then µ( = 1. Similarly, if is the prouct of an o number of istinct primes, then µ( = 1. Eviently, the number elements of A that are the prouct of an even number of prime factors is the same as the number of elements of A that are the prouct of an o number of prime factors (these can be viewe as the number of bitstrings of a fixe length. Therefore, µ( = 0, as esire. A 1

2 Proposition. For functions f, g : Z R an for all n N, f(n = g( if an only if g(n = ( n µ f(. Proof. ( We have, for all n N, ( n µ f( = ( n µ g(m m = µ m n {:m,} = g(m m n = m n g(m l n m {:m,} ( n g(m µ (l. ( n µ By 1, we see that the sum on the right is equal to zero except in the case when m = n. Thus, we have ( n µ f( = g(nµ(1 as esire. ( We have, for all n N, g( = m = m n = g(n, ( µ f(m m {:m,} = m n f(m = m n f(m l n m ( µ f(m m ( µ m {:m,} µ (l.

3 By 1, we see that the sum on the right is equal to zero except in the case when m = n. Thus, we have g( = f(nµ(1 as esire. Problem = f(n, Let S n consist of two a 1 s, two a s,..., two a n s. Proposition 3. The number of sequences obtaine from S n such that, for all i, the a i s are not ajacent is given by n ( n (n k! ( 1 k k n k. k=0 Proof. Let A i enote the set of all sequences in which the two a i s are together. Without loss of generality, we compute the size of A 1, as each A i has the same carinality. We may treat a 1 a 1 as single element a an etermine the number of permutations on S n \ {a 1, a 1 } {a}. Using multinomial coefficients, we see that (n 1! A 1 = n 1. In a similar fashion, we see that A 1 A k = (n k! n k, for any k. Letting S be the set of sequences with the esire properties, the inclusion-exclusion formula gives S = n ( n (n k! ( 1 k k n k. k=0 For n = 3, the above formula gives 30 sequences of the esire type. Below we explicitly list all 30 such sequences (using a, b, an c, for simplicity. 3

4 abcabc bcabca cabcab abcacb bcabca cabcba abcbac bcabac cabacb abcbca bcacba cababc abacbc bcacab cacbab acbabc bcbaca cbacab acbacb bacbac cbacba acbcab bacabc cbabca acbcba bacacb cbabac acabcb babcac cbcaba Proposition 4. The number of arrangements of S n on a circle is given by (n 1! n + (n 1!. Proof. Since we consier rotations of a circle to be equivalent, we may insist that the first position be a 1. As before, we fill the remaining n 1 positions in (n 1! n 1 ways. Now, rotating the secon a 1 into the first position gives (except in a special case an arrangement that has alreay been counte, so we upate our count to (n 1! n. The case in which this rotation oes not give another arrangement is when the first n characters are in precisely the same orer as the last n characters. Since we insist on having a 1 in the first position, there are (n 1! such arragements (arranging a,..., a n forces the remaining placements. Thus, our final count becomes (n 1! n + (n 1!. Proposition 5. Let A n enote the number of sequences obtaine from S n such that, for all i, the a i s are not ajacent The number of arrangements of S n on a circle subject to the same constraints is given by (n 3A n 1 + (n 1!. Proof. As before, we use rotation to insist that a 1 be in the first position. Next, arrange the elements of the multiset {a, a,..., a n, a n } as a sequence, which can be accomplishe in A n 1 ways. Now, we may freely appen a 1 to the beginning of this sequence an then associate the en of the sequence the the element just prior to a 1 in a circle. It remains to insert the other a 1. Since it cannot be ajacent to the first a 1, there are n 3 possible placements. As before, however, rotating the secon a 1 into the first position may prouce another circle that has alreay been enumerate. We upate our count in the same way as before, thus arriving at (n 3A n 1+(n 1! istinct circles. 4

5 For n =, the above formula gives 1 circles of the esire type an, for n = 3, 4 circles. Below we explicitly list all such sequences (using a, b, an c, for simplicity. Problem 3 n = abab n = 3 abcabc abcacb abcbac abacbc Let I n be the ientity matrix of orer n, let J n be the all ones matrix of orer n, an let A n = J n I n. Proposition 6. The number of erangements on n istinct elements is equal to per A n. Proof. A typical term of the expansion of per A n is of the form a 1σ(1 a nσ(n, for some permutation σ. From the structure of A n, we see that { 0 if σ(i = i a iσ(i = 1 otherwise. Thus, a term in the expansion is equal to 1 precisely when it is a erangement, an so summing over all permutations counts the number of erangements. Proposition 7. For all n N, et A n = ( 1 n 1 (n 1. Proof. Our goal is to perform row operations so that A n is in upper-triangular form, an so has eterminant equal to the prouct of its iagonal. For convenience, we emonstrate the operations on A 4. The operations reaily generalize to A n. 5

6 Row = Row - Row 3 Row 3 = Row 3 - Row 4 Row 4 = Row 4 - Row Transpose Row 1 an Row Row 4 = Row 4 + Row + Row Thus, accounting for the change in sign inuce by the transposition of rows, we have et A n = ( 1( 1 n (n 1 = ( 1 n 1 (n 1. Proposition 8. The expansion of et A n has n! D n terms of 0, Dn+( 1n 1 (n 1 terms of 1, an Dn+( 1n (n 1 terms of -1. 6

7 Proof. Due to the structure of A n, we get term of 0 precisely when the acting permutation has a fixe point. Hence, there are n! D n terms of 0. By a previous observation, we know that et A n = ( 1 n 1 (n 1. Letting a be the number of terms of 1 an b be the number of terms of -1, we have the system which yiels the solution a + b = D n a b = ( 1 n 1 (n 1, a = D n + ( 1 n 1 (n 1 b = D n + ( 1 n (n 1. Proposition 9. Let U n be the n th ménage number an C n be the circulant of size n. For all n N, per(j n I n C n = U n. Proof. For convenience, we consier the the case where n = 4. The result reaily generalizes. The matrix J 4 I 4 C 4 is of the form As previously observe, a term in the expansion of the permanent is equal to 1 precisely when a iσ(i = 1 for all i an is equal to 0, otherwise. We see that a 1σ(1 = 1 whenever σ(1 / {1, 4}, a σ( = 1 whenever σ( / {1, }, a 3σ(3 = 1 whenever σ(3 / {, 3}, an a 4σ(4 = 1 whenever σ(4 / {3, 4}. These are precisely the conitions on the women in the ménage problem once the men have been seate (uner the stanar seating arrangement. Thus, summing over all permutations gives the ménage number U 4. Similarly, per(j n I n C n = U n. 7

8 Problem 4 The number of ways to choose a 0,..., a 9 as a permutation of {0,..., 9} so that no column of the array a 0 a 1 a a 3 a 4 a 5 a 6 a 7 a 8 a 9 repeats any number is given by 10 j=0 (10 j! j g(10, kg(10, j k, k=0 where g(n, k enotes the number of ways to choose k nonajacent elements from n elements arrange on a cycle. Proof. Let Pj i enote the property that a given permutation of the a s has a j equal to the value in row i (i = 0 or 1 an column j of the matrix (an so the permutation oes not meet the esire constraints. Let the properties be arrange on two cycles. The first cycle will be P0 0, P 0 1, P 1 0, P 1 1,..., P 4 0, P 4 1, P 0 0. The secon cycle will be P5 0, P 5 1, P 6 0, P 6 1,..., P 9 0, P 9 1, P 5 0. Observe that every permutation failing to meet the constraint of inucing no repeate element in the matrix correspons to a subset of {Pj i 0 i 1, 0 j 10} having size at most 10 an containing no pair of ajacent P s (where ajacency is efine by the cycles. Here, the size of the subset specifies the number of entries in which the permutation fails an the chosen P s specify for what reason the permutation fails. Notice that any two ajacent P s cannot occur at the same time, as they either specify a failure in the same column for two ifferent reasons (for example, P0 0 an P 0 1, or they specify that two ifferent a s are assigne the same element of {0,..., 9} (for example, P0 1 an P 1 0. Now, we compute the esire quantity in the following way. Let A j be the number of permutations failing the matrix conition in at least j columns. We may view this as summing over all possible j 0 + j 1 = j, where we select j 0 properties from the first cycle an j 1 properties from the secon cycle while maintaining that no pair of selecte properties are ajacent. We then permute the remaining elements freely. All tol, we have A j = (10 j! j g(kg(j k. k=0 8

9 Thus, by inclusion-exclusion, we obtain that the number of permutations satisfying the matrix constraint is given by as esire. Problem 5 10 j=0 (10 j! j g(10, kg(10, j k, k=0 We now etermine the number of wheels of length n in r. Let A = [r] be the set of colors. Let S n,r be the set of n-samples of A, {(a 1, a n a i A}. Define the shift φ : S n,r S n,r by φ(a 1,..., a n := (a,..., a n, a 1. We say two samples α, β S n,r are circularly equivalent, written α β, if there exists k such that φ k (α = β. A wheel is an equivalence class S n,r uner. That is, two colorings give the same wheel if one is a rotation of the other. A wheel W has perio if, for all α W, φ (α = α an, for all <, φ (α α. Proposition 10. If a wheel has length n an perio, then n. Proof. By the ivision algorithm, there are q an r with 0 r < such that n = q + r. It follows irectly that α = φ n (α = φ q+r (α = φ r (φ q (α = φ r (α. Since 0 r <, it must be that r = 0, an so n = q, as esire. Proposition 11. Let M( enote the number of wheels of length an perio in r colors. Prove that, for all n M( = r n. 9

10 Proof. Observe first that S n,r = r n. By the previous proposition, we know that summing over all iviing n is equivalent to summing over all possible perios for wheels of S n,r (one can easily construct a wheel having perio for any iviing n. Thus, it suffices to show that, for each iviing n, M( counts all elements of S n,r belonging to wheels with perio. Let S be such an element. Now, S can be viewe as the concatenation of n copies of a sample of length an perio. (For example, when n =, S = (a 1,..., a, a 1,..., a. Thus, efining S amounts to efining the first entries of S. To o so, we first choose any of the M( wheels, an then choose one of the circularly equivalent samples represente by the chosen wheel. Therefore, there are M( possibilities for S. As previous observe, summing over all iviing n gives the esire result. Proposition 1. For all n N, M(n = 1 µ(r n. n Proof. Let f(n = r n an g(n = nm(n. Applying the Möbius inversion formula to the result of the previous proposition, we have nm(n = ( n µ r, from which it follows that M(n = 1 n ( n µ r = 1 µ ( r n. n Proposition 13. The total number of wheels of length n in r colors is given by T (n := M(. Proof. As previously observe, the collection of possible perios for wheels of length n are precisely the values of iviing n. Now, a wheel of length n can be viewe as the concatenation of n copies of a wheel of length an 10

11 perio. Thus, efining the wheel amounts to efining its first entries. For each value of, this can be accomplishe in M( ways. Thus, summing over all iviing n (that is, over all possible perios, we enumerate all wheels of length n. As an example, the number of wheels of length 3 on r colors is given by T (3 = 3 M( = M(1 + M(3 = µ(r µ(r = µ(1r + 1 ( µ(1r 3 + µ(3r 3 = r + 1 ( r 3 r 3 = r3 + r. 3 11

ALGEBRAIC AND ANALYTIC PROPERTIES OF ARITHMETIC FUNCTIONS

ALGEBRAIC AND ANALYTIC PROPERTIES OF ARITHMETIC FUNCTIONS ALGEBRAIC AND ANALYTIC PROPERTIES OF ARITHMETIC FUNCTIONS MARK SCHACHNER Abstract. When consiere as an algebraic space, the set of arithmetic functions equippe with the operations of pointwise aition an

More information

On the enumeration of partitions with summands in arithmetic progression

On the enumeration of partitions with summands in arithmetic progression AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 8 (003), Pages 149 159 On the enumeration of partitions with summans in arithmetic progression M. A. Nyblom C. Evans Department of Mathematics an Statistics

More information

Diagonalization of Matrices Dr. E. Jacobs

Diagonalization of Matrices Dr. E. Jacobs Diagonalization of Matrices Dr. E. Jacobs One of the very interesting lessons in this course is how certain algebraic techniques can be use to solve ifferential equations. The purpose of these notes is

More information

19 Eigenvalues, Eigenvectors, Ordinary Differential Equations, and Control

19 Eigenvalues, Eigenvectors, Ordinary Differential Equations, and Control 19 Eigenvalues, Eigenvectors, Orinary Differential Equations, an Control This section introuces eigenvalues an eigenvectors of a matrix, an iscusses the role of the eigenvalues in etermining the behavior

More information

Permanent vs. Determinant

Permanent vs. Determinant Permanent vs. Determinant Frank Ban Introuction A major problem in theoretical computer science is the Permanent vs. Determinant problem. It asks: given an n by n matrix of ineterminates A = (a i,j ) an

More information

LATTICE-BASED D-OPTIMUM DESIGN FOR FOURIER REGRESSION

LATTICE-BASED D-OPTIMUM DESIGN FOR FOURIER REGRESSION The Annals of Statistics 1997, Vol. 25, No. 6, 2313 2327 LATTICE-BASED D-OPTIMUM DESIGN FOR FOURIER REGRESSION By Eva Riccomagno, 1 Rainer Schwabe 2 an Henry P. Wynn 1 University of Warwick, Technische

More information

Applications of the Wronskian to ordinary linear differential equations

Applications of the Wronskian to ordinary linear differential equations Physics 116C Fall 2011 Applications of the Wronskian to orinary linear ifferential equations Consier a of n continuous functions y i (x) [i = 1,2,3,...,n], each of which is ifferentiable at least n times.

More information

Two formulas for the Euler ϕ-function

Two formulas for the Euler ϕ-function Two formulas for the Euler ϕ-function Robert Frieman A multiplication formula for ϕ(n) The first formula we want to prove is the following: Theorem 1. If n 1 an n 2 are relatively prime positive integers,

More information

Möbius Inversions and their Applications

Möbius Inversions and their Applications Nebraska Wesleyan University May 5, 2015 Jewelry Store Question You offer custom mae bracelets of length n mae up of k ifferent types of beas. How many ifferent bracelets can you make? Bracelet Jewelry

More information

Iterated Point-Line Configurations Grow Doubly-Exponentially

Iterated Point-Line Configurations Grow Doubly-Exponentially Iterate Point-Line Configurations Grow Doubly-Exponentially Joshua Cooper an Mark Walters July 9, 008 Abstract Begin with a set of four points in the real plane in general position. A to this collection

More information

Zachary Scherr Math 503 HW 5 Due Friday, Feb 26

Zachary Scherr Math 503 HW 5 Due Friday, Feb 26 Zachary Scherr Math 503 HW 5 Due Friay, Feb 26 1 Reaing 1. Rea Chapter 9 of Dummit an Foote 2 Problems 1. 9.1.13 Solution: We alreay know that if R is any commutative ring, then R[x]/(x r = R for any r

More information

LEGENDRE TYPE FORMULA FOR PRIMES GENERATED BY QUADRATIC POLYNOMIALS

LEGENDRE TYPE FORMULA FOR PRIMES GENERATED BY QUADRATIC POLYNOMIALS Ann. Sci. Math. Québec 33 (2009), no 2, 115 123 LEGENDRE TYPE FORMULA FOR PRIMES GENERATED BY QUADRATIC POLYNOMIALS TAKASHI AGOH Deicate to Paulo Ribenboim on the occasion of his 80th birthay. RÉSUMÉ.

More information

Chromatic number for a generalization of Cartesian product graphs

Chromatic number for a generalization of Cartesian product graphs Chromatic number for a generalization of Cartesian prouct graphs Daniel Král Douglas B. West Abstract Let G be a class of graphs. The -fol gri over G, enote G, is the family of graphs obtaine from -imensional

More information

Year 11 Matrices Semester 2. Yuk

Year 11 Matrices Semester 2. Yuk Year 11 Matrices Semester 2 Chapter 5A input/output Yuk 1 Chapter 5B Gaussian Elimination an Systems of Linear Equations This is an extension of solving simultaneous equations. What oes a System of Linear

More information

Consider for simplicity a 3rd-order IIR filter with a transfer function. where

Consider for simplicity a 3rd-order IIR filter with a transfer function. where Basic IIR Digital Filter The causal IIR igital filters we are concerne with in this course are characterie by a real rational transfer function of or, equivalently by a constant coefficient ifference equation

More information

Witt#5: Around the integrality criterion 9.93 [version 1.1 (21 April 2013), not completed, not proofread]

Witt#5: Around the integrality criterion 9.93 [version 1.1 (21 April 2013), not completed, not proofread] Witt vectors. Part 1 Michiel Hazewinkel Sienotes by Darij Grinberg Witt#5: Aroun the integrality criterion 9.93 [version 1.1 21 April 2013, not complete, not proofrea In [1, section 9.93, Hazewinkel states

More information

6 General properties of an autonomous system of two first order ODE

6 General properties of an autonomous system of two first order ODE 6 General properties of an autonomous system of two first orer ODE Here we embark on stuying the autonomous system of two first orer ifferential equations of the form ẋ 1 = f 1 (, x 2 ), ẋ 2 = f 2 (, x

More information

Basic IIR Digital Filter Structures

Basic IIR Digital Filter Structures Basic IIR Digital Filter Structures The causal IIR igital filters we are concerne with in this course are characterie by a real rational transfer function of or, equivalently by a constant coefficient

More information

Linear First-Order Equations

Linear First-Order Equations 5 Linear First-Orer Equations Linear first-orer ifferential equations make up another important class of ifferential equations that commonly arise in applications an are relatively easy to solve (in theory)

More information

Math 1B, lecture 8: Integration by parts

Math 1B, lecture 8: Integration by parts Math B, lecture 8: Integration by parts Nathan Pflueger 23 September 2 Introuction Integration by parts, similarly to integration by substitution, reverses a well-known technique of ifferentiation an explores

More information

REAL ANALYSIS I HOMEWORK 5

REAL ANALYSIS I HOMEWORK 5 REAL ANALYSIS I HOMEWORK 5 CİHAN BAHRAN The questions are from Stein an Shakarchi s text, Chapter 3. 1. Suppose ϕ is an integrable function on R with R ϕ(x)x = 1. Let K δ(x) = δ ϕ(x/δ), δ > 0. (a) Prove

More information

DIFFERENTIAL GEOMETRY, LECTURE 15, JULY 10

DIFFERENTIAL GEOMETRY, LECTURE 15, JULY 10 DIFFERENTIAL GEOMETRY, LECTURE 15, JULY 10 5. Levi-Civita connection From now on we are intereste in connections on the tangent bunle T X of a Riemanninam manifol (X, g). Out main result will be a construction

More information

3.7 Implicit Differentiation -- A Brief Introduction -- Student Notes

3.7 Implicit Differentiation -- A Brief Introduction -- Student Notes Fin these erivatives of these functions: y.7 Implicit Differentiation -- A Brief Introuction -- Stuent Notes tan y sin tan = sin y e = e = Write the inverses of these functions: y tan y sin How woul we

More information

Multiplicative properties of sets of residues

Multiplicative properties of sets of residues Multiplicative properties of sets of resiues C. Pomerance Hanover an A. Schinzel Warszawa Abstract: We conjecture that for each natural number n, every set of resiues mo n of carinality at least n/2 contains

More information

Section 2.7 Derivatives of powers of functions

Section 2.7 Derivatives of powers of functions Section 2.7 Derivatives of powers of functions (3/19/08) Overview: In this section we iscuss the Chain Rule formula for the erivatives of composite functions that are forme by taking powers of other functions.

More information

Sturm-Liouville Theory

Sturm-Liouville Theory LECTURE 5 Sturm-Liouville Theory In the three preceing lectures I emonstrate the utility of Fourier series in solving PDE/BVPs. As we ll now see, Fourier series are just the tip of the iceberg of the theory

More information

TOEPLITZ AND POSITIVE SEMIDEFINITE COMPLETION PROBLEM FOR CYCLE GRAPH

TOEPLITZ AND POSITIVE SEMIDEFINITE COMPLETION PROBLEM FOR CYCLE GRAPH English NUMERICAL MATHEMATICS Vol14, No1 Series A Journal of Chinese Universities Feb 2005 TOEPLITZ AND POSITIVE SEMIDEFINITE COMPLETION PROBLEM FOR CYCLE GRAPH He Ming( Λ) Michael K Ng(Ξ ) Abstract We

More information

NOTES ON THE DIVISIBILITY OF GCD AND LCM MATRICES

NOTES ON THE DIVISIBILITY OF GCD AND LCM MATRICES NOTES ON THE DIVISIBILITY OF GCD AND LCM MATRICES PENTTI HAUKKANEN AND ISMO KORKEE Receive 10 November 2004 Let S {,,...,x n } be a set of positive integers, an let f be an arithmetical function. The matrices

More information

arxiv: v1 [math.co] 15 Sep 2015

arxiv: v1 [math.co] 15 Sep 2015 Circular coloring of signe graphs Yingli Kang, Eckhar Steffen arxiv:1509.04488v1 [math.co] 15 Sep 015 Abstract Let k, ( k) be two positive integers. We generalize the well stuie notions of (k, )-colorings

More information

Optimal CDMA Signatures: A Finite-Step Approach

Optimal CDMA Signatures: A Finite-Step Approach Optimal CDMA Signatures: A Finite-Step Approach Joel A. Tropp Inst. for Comp. Engr. an Sci. (ICES) 1 University Station C000 Austin, TX 7871 jtropp@ices.utexas.eu Inerjit. S. Dhillon Dept. of Comp. Sci.

More information

Relatively Prime Uniform Partitions

Relatively Prime Uniform Partitions Gen. Math. Notes, Vol. 13, No., December, 01, pp.1-1 ISSN 19-7184; Copyright c ICSRS Publication, 01 www.i-csrs.org Available free online at http://www.geman.in Relatively Prime Uniform Partitions A. Davi

More information

Quantum Algorithms: Problem Set 1

Quantum Algorithms: Problem Set 1 Quantum Algorithms: Problem Set 1 1. The Bell basis is + = 1 p ( 00i + 11i) = 1 p ( 00i 11i) + = 1 p ( 01i + 10i) = 1 p ( 01i 10i). This is an orthonormal basis for the state space of two qubits. It is

More information

On colour-blind distinguishing colour pallets in regular graphs

On colour-blind distinguishing colour pallets in regular graphs J Comb Optim (2014 28:348 357 DOI 10.1007/s10878-012-9556-x On colour-blin istinguishing colour pallets in regular graphs Jakub Przybyło Publishe online: 25 October 2012 The Author(s 2012. This article

More information

HEURISTIC SEARCH. Janez ALE S, Bojan MOHAR and Tomaz PISANSKI. University of Ljubljana. Department of Mathematics. Slovenija

HEURISTIC SEARCH. Janez ALE S, Bojan MOHAR and Tomaz PISANSKI. University of Ljubljana. Department of Mathematics. Slovenija HEURISTIC SEARCH FOR HAMILTON CYCLES IN CUBIC GRAPHS Janez ALE S, Bojan MOHAR and Tomaz PISANSKI University of Ljubljana Department of Mathematics 61111 Ljubljana Slovenija August 24, 1995 Abstract. A

More information

Ramsey numbers of some bipartite graphs versus complete graphs

Ramsey numbers of some bipartite graphs versus complete graphs Ramsey numbers of some bipartite graphs versus complete graphs Tao Jiang, Michael Salerno Miami University, Oxfor, OH 45056, USA Abstract. The Ramsey number r(h, K n ) is the smallest positive integer

More information

Homework 5 Solutions

Homework 5 Solutions Homewor 5 Solutions Enrique Treviño October 10, 2014 1 Chater 5 Problem 1. Exercise 1 Suose that G is a finite grou with an element g of orer 5 an an element h of orer 7. Why must G 35? Solution 1. Let

More information

Some vector algebra and the generalized chain rule Ross Bannister Data Assimilation Research Centre, University of Reading, UK Last updated 10/06/10

Some vector algebra and the generalized chain rule Ross Bannister Data Assimilation Research Centre, University of Reading, UK Last updated 10/06/10 Some vector algebra an the generalize chain rule Ross Bannister Data Assimilation Research Centre University of Reaing UK Last upate 10/06/10 1. Introuction an notation As we shall see in these notes the

More information

SYMMETRIC KRONECKER PRODUCTS AND SEMICLASSICAL WAVE PACKETS

SYMMETRIC KRONECKER PRODUCTS AND SEMICLASSICAL WAVE PACKETS SYMMETRIC KRONECKER PRODUCTS AND SEMICLASSICAL WAVE PACKETS GEORGE A HAGEDORN AND CAROLINE LASSER Abstract We investigate the iterate Kronecker prouct of a square matrix with itself an prove an invariance

More information

Acute sets in Euclidean spaces

Acute sets in Euclidean spaces Acute sets in Eucliean spaces Viktor Harangi April, 011 Abstract A finite set H in R is calle an acute set if any angle etermine by three points of H is acute. We examine the maximal carinality α() of

More information

DECOMPOSITION OF POLYNOMIALS AND APPROXIMATE ROOTS

DECOMPOSITION OF POLYNOMIALS AND APPROXIMATE ROOTS DECOMPOSITION OF POLYNOMIALS AND APPROXIMATE ROOTS ARNAUD BODIN Abstract. We state a kin of Eucliian ivision theorem: given a polynomial P (x) an a ivisor of the egree of P, there exist polynomials h(x),

More information

Diophantine Approximations: Examining the Farey Process and its Method on Producing Best Approximations

Diophantine Approximations: Examining the Farey Process and its Method on Producing Best Approximations Diophantine Approximations: Examining the Farey Process an its Metho on Proucing Best Approximations Kelly Bowen Introuction When a person hears the phrase irrational number, one oes not think of anything

More information

Kinematics of Rotations: A Summary

Kinematics of Rotations: A Summary A Kinematics of Rotations: A Summary The purpose of this appenix is to outline proofs of some results in the realm of kinematics of rotations that were invoke in the preceing chapters. Further etails are

More information

Rank, Trace, Determinant, Transpose an Inverse of a Matrix Let A be an n n square matrix: A = a11 a1 a1n a1 a an a n1 a n a nn nn where is the jth col

Rank, Trace, Determinant, Transpose an Inverse of a Matrix Let A be an n n square matrix: A = a11 a1 a1n a1 a an a n1 a n a nn nn where is the jth col Review of Linear Algebra { E18 Hanout Vectors an Their Inner Proucts Let X an Y be two vectors: an Their inner prouct is ene as X =[x1; ;x n ] T Y =[y1; ;y n ] T (X; Y ) = X T Y = x k y k k=1 where T an

More information

On the number of isolated eigenvalues of a pair of particles in a quantum wire

On the number of isolated eigenvalues of a pair of particles in a quantum wire On the number of isolate eigenvalues of a pair of particles in a quantum wire arxiv:1812.11804v1 [math-ph] 31 Dec 2018 Joachim Kerner 1 Department of Mathematics an Computer Science FernUniversität in

More information

Zachary Scherr Math 503 HW 3 Due Friday, Feb 12

Zachary Scherr Math 503 HW 3 Due Friday, Feb 12 Zachary Scherr Math 503 HW 3 Due Friay, Feb 1 1 Reaing 1. Rea sections 7.5, 7.6, 8.1 of Dummit an Foote Problems 1. DF 7.5. Solution: This problem is trivial knowing how to work with universal properties.

More information

The chromatic number of graph powers

The chromatic number of graph powers Combinatorics, Probability an Computing (19XX) 00, 000 000. c 19XX Cambrige University Press Printe in the Unite Kingom The chromatic number of graph powers N O G A A L O N 1 an B O J A N M O H A R 1 Department

More information

Name (please print) Mathematics Final Examination December 14, 2005 I. (4)

Name (please print) Mathematics Final Examination December 14, 2005 I. (4) Mathematics 513-00 Final Examination December 14, 005 I Use a direct argument to prove the following implication: The product of two odd integers is odd Let m and n be two odd integers Since they are odd,

More information

Physics 5153 Classical Mechanics. The Virial Theorem and The Poisson Bracket-1

Physics 5153 Classical Mechanics. The Virial Theorem and The Poisson Bracket-1 Physics 5153 Classical Mechanics The Virial Theorem an The Poisson Bracket 1 Introuction In this lecture we will consier two applications of the Hamiltonian. The first, the Virial Theorem, applies to systems

More information

International Journal of Pure and Applied Mathematics Volume 35 No , ON PYTHAGOREAN QUADRUPLES Edray Goins 1, Alain Togbé 2

International Journal of Pure and Applied Mathematics Volume 35 No , ON PYTHAGOREAN QUADRUPLES Edray Goins 1, Alain Togbé 2 International Journal of Pure an Applie Mathematics Volume 35 No. 3 007, 365-374 ON PYTHAGOREAN QUADRUPLES Eray Goins 1, Alain Togbé 1 Department of Mathematics Purue University 150 North University Street,

More information

PDE Notes, Lecture #11

PDE Notes, Lecture #11 PDE Notes, Lecture # from Professor Jalal Shatah s Lectures Febuary 9th, 2009 Sobolev Spaces Recall that for u L loc we can efine the weak erivative Du by Du, φ := udφ φ C0 If v L loc such that Du, φ =

More information

The numbers inside a matrix are called the elements or entries of the matrix.

The numbers inside a matrix are called the elements or entries of the matrix. Chapter Review of Matries. Definitions A matrix is a retangular array of numers of the form a a a 3 a n a a a 3 a n a 3 a 3 a 33 a 3n..... a m a m a m3 a mn We usually use apital letters (for example,

More information

On the Equivalence Between Real Mutually Unbiased Bases and a Certain Class of Association Schemes

On the Equivalence Between Real Mutually Unbiased Bases and a Certain Class of Association Schemes Worcester Polytechnic Institute DigitalCommons@WPI Mathematical Sciences Faculty Publications Department of Mathematical Sciences 010 On the Equivalence Between Real Mutually Unbiase Bases an a Certain

More information

A check digit system over a group of arbitrary order

A check digit system over a group of arbitrary order 2013 8th International Conference on Communications an Networking in China (CHINACOM) A check igit system over a group of arbitrary orer Yanling Chen Chair of Communication Systems Ruhr University Bochum

More information

More from Lesson 6 The Limit Definition of the Derivative and Rules for Finding Derivatives.

More from Lesson 6 The Limit Definition of the Derivative and Rules for Finding Derivatives. Math 1314 ONLINE More from Lesson 6 The Limit Definition of the Derivative an Rules for Fining Derivatives Eample 4: Use the Four-Step Process for fining the erivative of the function Then fin f (1) f(

More information

The Kepler Problem. 1 Features of the Ellipse: Geometry and Analysis

The Kepler Problem. 1 Features of the Ellipse: Geometry and Analysis The Kepler Problem For the Newtonian 1/r force law, a miracle occurs all of the solutions are perioic instea of just quasiperioic. To put it another way, the two-imensional tori are further ecompose into

More information

INTERSECTION HOMOLOGY OF LINKAGE SPACES IN ODD DIMENSIONAL EUCLIDEAN SPACE

INTERSECTION HOMOLOGY OF LINKAGE SPACES IN ODD DIMENSIONAL EUCLIDEAN SPACE INTERSECTION HOMOLOGY OF LINKAGE SPACES IN ODD DIMENSIONAL EUCLIDEAN SPACE DIRK SCHÜTZ Abstract. We consier the mouli spaces M (l) of a close linkage with n links an prescribe lengths l R n in -imensional

More information

Multiplicative properties of sets of residues

Multiplicative properties of sets of residues Multiplicative properties of sets of resiues C. Pomerance Hanover an A. Schinzel Warszawa Abstract: We conjecture that for each natural number n, every set of resiues mo n of carinality at least n/2 contains

More information

u!i = a T u = 0. Then S satisfies

u!i = a T u = 0. Then S satisfies Deterministic Conitions for Subspace Ientifiability from Incomplete Sampling Daniel L Pimentel-Alarcón, Nigel Boston, Robert D Nowak University of Wisconsin-Maison Abstract Consier an r-imensional subspace

More information

Periods of quadratic twists of elliptic curves

Periods of quadratic twists of elliptic curves Perios of quaratic twists of elliptic curves Vivek Pal with an appenix by Amo Agashe Abstract In this paper we prove a relation between the perio of an elliptic curve an the perio of its real an imaginary

More information

Introduction to the Vlasov-Poisson system

Introduction to the Vlasov-Poisson system Introuction to the Vlasov-Poisson system Simone Calogero 1 The Vlasov equation Consier a particle with mass m > 0. Let x(t) R 3 enote the position of the particle at time t R an v(t) = ẋ(t) = x(t)/t its

More information

Exploring Combinatorics: Inclusion{exclusion

Exploring Combinatorics: Inclusion{exclusion Exploring Combinatorics: Inclusion{exclusion Like the textbook (section 3.7), we introuce inclusion{exclusion with a silly problem. Problem. A group of stuents attens three kins of classes: art classes,

More information

Lecture 5. Symmetric Shearer s Lemma

Lecture 5. Symmetric Shearer s Lemma Stanfor University Spring 208 Math 233: Non-constructive methos in combinatorics Instructor: Jan Vonrák Lecture ate: January 23, 208 Original scribe: Erik Bates Lecture 5 Symmetric Shearer s Lemma Here

More information

Math 775 Homework 1. Austin Mohr. February 9, 2011

Math 775 Homework 1. Austin Mohr. February 9, 2011 Math 775 Homework 1 Austin Mohr February 9, 2011 Problem 1 Suppose sets S 1, S 2,..., S n contain, respectively, 2, 3,..., n 1 elements. Proposition 1. The number of SDR s is at least 2 n, and this bound

More information

OPG S. LIST OF FORMULAE [ For Class XII ] OP GUPTA. Electronics & Communications Engineering. Indira Award Winner

OPG S. LIST OF FORMULAE [ For Class XII ] OP GUPTA. Electronics & Communications Engineering. Indira Award Winner OPG S MAHEMAICS LIS OF FORMULAE [ For Class XII ] Covering all the topics of NCER Mathematics et Book Part I For the session 0-4 By OP GUPA Electronics & Communications Engineering Inira Awar Winner Visit

More information

Calculus of Variations

Calculus of Variations Calculus of Variations Lagrangian formalism is the main tool of theoretical classical mechanics. Calculus of Variations is a part of Mathematics which Lagrangian formalism is base on. In this section,

More information

Homework 3 - Solutions

Homework 3 - Solutions Homework 3 - Solutions The Transpose an Partial Transpose. 1 Let { 1, 2,, } be an orthonormal basis for C. The transpose map efine with respect to this basis is a superoperator Γ that acts on an operator

More information

Multiplicative properties of sets of residues

Multiplicative properties of sets of residues Multiplicative properties of sets of resiues C. Pomerance Hanover an A. Schinzel Warszawa Abstract: Given a natural number n, we ask whether every set of resiues mo n of carinality at least n/2 contains

More information

Lectures - Week 10 Introduction to Ordinary Differential Equations (ODES) First Order Linear ODEs

Lectures - Week 10 Introduction to Ordinary Differential Equations (ODES) First Order Linear ODEs Lectures - Week 10 Introuction to Orinary Differential Equations (ODES) First Orer Linear ODEs When stuying ODEs we are consiering functions of one inepenent variable, e.g., f(x), where x is the inepenent

More information

A simple model for the small-strain behaviour of soils

A simple model for the small-strain behaviour of soils A simple moel for the small-strain behaviour of soils José Jorge Naer Department of Structural an Geotechnical ngineering, Polytechnic School, University of São Paulo 05508-900, São Paulo, Brazil, e-mail:

More information

A FURTHER REFINEMENT OF MORDELL S BOUND ON EXPONENTIAL SUMS

A FURTHER REFINEMENT OF MORDELL S BOUND ON EXPONENTIAL SUMS A FURTHER REFINEMENT OF MORDELL S BOUND ON EXPONENTIAL SUMS TODD COCHRANE, JEREMY COFFELT, AND CHRISTOPHER PINNER 1. Introuction For a prime p, integer Laurent polynomial (1.1) f(x) = a 1 x k 1 + + a r

More information

Math 730 Homework 6. Austin Mohr. October 14, 2009

Math 730 Homework 6. Austin Mohr. October 14, 2009 Math 730 Homework 6 Austin Mohr October 14, 2009 1 Problem 3A2 Proposition 1.1. If A X, then the family τ of all subsets of X which contain A, together with the empty set φ, is a topology on X. Proof.

More information

Regular tree languages definable in FO and in FO mod

Regular tree languages definable in FO and in FO mod Regular tree languages efinable in FO an in FO mo Michael Beneikt Luc Segoufin Abstract We consier regular languages of labele trees. We give an effective characterization of the regular languages over

More information

Math 115 Section 018 Course Note

Math 115 Section 018 Course Note Course Note 1 General Functions Definition 1.1. A function is a rule that takes certain numbers as inputs an assigns to each a efinite output number. The set of all input numbers is calle the omain of

More information

Logarithmic spurious regressions

Logarithmic spurious regressions Logarithmic spurious regressions Robert M. e Jong Michigan State University February 5, 22 Abstract Spurious regressions, i.e. regressions in which an integrate process is regresse on another integrate

More information

MEASURES WITH ZEROS IN THE INVERSE OF THEIR MOMENT MATRIX

MEASURES WITH ZEROS IN THE INVERSE OF THEIR MOMENT MATRIX MEASURES WITH ZEROS IN THE INVERSE OF THEIR MOMENT MATRIX J. WILLIAM HELTON, JEAN B. LASSERRE, AND MIHAI PUTINAR Abstract. We investigate an iscuss when the inverse of a multivariate truncate moment matrix

More information

Optimal Variable-Structure Control Tracking of Spacecraft Maneuvers

Optimal Variable-Structure Control Tracking of Spacecraft Maneuvers Optimal Variable-Structure Control racking of Spacecraft Maneuvers John L. Crassiis 1 Srinivas R. Vaali F. Lanis Markley 3 Introuction In recent years, much effort has been evote to the close-loop esign

More information

7. Localization. (d 1, m 1 ) (d 2, m 2 ) d 3 D : d 3 d 1 m 2 = d 3 d 2 m 1. (ii) If (d 1, m 1 ) (d 1, m 1 ) and (d 2, m 2 ) (d 2, m 2 ) then

7. Localization. (d 1, m 1 ) (d 2, m 2 ) d 3 D : d 3 d 1 m 2 = d 3 d 2 m 1. (ii) If (d 1, m 1 ) (d 1, m 1 ) and (d 2, m 2 ) (d 2, m 2 ) then 7. Localization To prove Theorem 6.1 it becomes necessary to be able to a enominators to rings (an to moules), even when the rings have zero-ivisors. It is a tool use all the time in commutative algebra,

More information

c 2003 Society for Industrial and Applied Mathematics

c 2003 Society for Industrial and Applied Mathematics SIAM J DISCRETE MATH Vol 7, No, pp 7 c 23 Society for Inustrial an Applie Mathematics SOME NEW ASPECTS OF THE COUPON COLLECTOR S PROBLEM AMY N MYERS AND HERBERT S WILF Abstract We exten the classical coupon

More information

The Case of Equality in the Dobrushin Deutsch Zenger Bound

The Case of Equality in the Dobrushin Deutsch Zenger Bound The Case of Equality in the Dobrushin Deutsch Zenger Boun Stephen J Kirklan Department of Mathematics an Statistics University of Regina Regina, Saskatchewan CANADA S4S 0A2 Michael Neumann Department of

More information

arxiv: v1 [cs.ds] 31 May 2017

arxiv: v1 [cs.ds] 31 May 2017 Succinct Partial Sums an Fenwick Trees Philip Bille, Aners Roy Christiansen, Nicola Prezza, an Freerik Rye Skjoljensen arxiv:1705.10987v1 [cs.ds] 31 May 2017 Technical University of Denmark, DTU Compute,

More information

Lecture notes on Witt vectors

Lecture notes on Witt vectors Lecture notes on Witt vectors Lars Hesselholt The purpose of these notes is to give a self-containe introuction to Witt vectors. We cover both the classical p-typical Witt vectors of Teichmüller an Witt

More information

Table of Common Derivatives By David Abraham

Table of Common Derivatives By David Abraham Prouct an Quotient Rules: Table of Common Derivatives By Davi Abraham [ f ( g( ] = [ f ( ] g( + f ( [ g( ] f ( = g( [ f ( ] g( g( f ( [ g( ] Trigonometric Functions: sin( = cos( cos( = sin( tan( = sec

More information

Some properties of random staircase tableaux

Some properties of random staircase tableaux Some properties of ranom staircase tableaux Sanrine Dasse Hartaut Pawe l Hitczenko Downloae /4/7 to 744940 Reistribution subject to SIAM license or copyright; see http://wwwsiamorg/journals/ojsaphp Abstract

More information

Homotopy colimits in model categories. Marc Stephan

Homotopy colimits in model categories. Marc Stephan Homotopy colimits in moel categories Marc Stephan July 13, 2009 1 Introuction In [1], Dwyer an Spalinski construct the so-calle homotopy pushout functor, motivate by the following observation. In the category

More information

1 Math 285 Homework Problem List for S2016

1 Math 285 Homework Problem List for S2016 1 Math 85 Homework Problem List for S016 Note: solutions to Lawler Problems will appear after all of the Lecture Note Solutions. 1.1 Homework 1. Due Friay, April 8, 016 Look at from lecture note exercises:

More information

ON THE DISTANCE BETWEEN SMOOTH NUMBERS

ON THE DISTANCE BETWEEN SMOOTH NUMBERS #A25 INTEGERS (20) ON THE DISTANCE BETWEEN SMOOTH NUMBERS Jean-Marie De Koninc Département e mathématiques et e statistique, Université Laval, Québec, Québec, Canaa jm@mat.ulaval.ca Nicolas Doyon Département

More information

G4003 Advanced Mechanics 1. We already saw that if q is a cyclic variable, the associated conjugate momentum is conserved, L = const.

G4003 Advanced Mechanics 1. We already saw that if q is a cyclic variable, the associated conjugate momentum is conserved, L = const. G4003 Avance Mechanics 1 The Noether theorem We alreay saw that if q is a cyclic variable, the associate conjugate momentum is conserve, q = 0 p q = const. (1) This is the simplest incarnation of Noether

More information

Levy Process and Infinitely Divisible Law

Levy Process and Infinitely Divisible Law Stat205B: Probability Theory (Spring 2003) Lecture: 26 Levy Process an Infinitely Divisible Law Lecturer: James W. Pitman Scribe: Bo Li boli@stat.berkeley.eu Levy Processes an Infinitely Divisible Law

More information

A Note on Modular Partitions and Necklaces

A Note on Modular Partitions and Necklaces A Note on Moular Partitions an Neclaces N. J. A. Sloane, Rutgers University an The OEIS Founation Inc. South Aelaie Avenue, Highlan Par, NJ 08904, USA. Email: njasloane@gmail.com May 6, 204 Abstract Following

More information

Introduction to Markov Processes

Introduction to Markov Processes Introuction to Markov Processes Connexions moule m44014 Zzis law Gustav) Meglicki, Jr Office of the VP for Information Technology Iniana University RCS: Section-2.tex,v 1.24 2012/12/21 18:03:08 gustav

More information

Improving Estimation Accuracy in Nonrandomized Response Questioning Methods by Multiple Answers

Improving Estimation Accuracy in Nonrandomized Response Questioning Methods by Multiple Answers International Journal of Statistics an Probability; Vol 6, No 5; September 207 ISSN 927-7032 E-ISSN 927-7040 Publishe by Canaian Center of Science an Eucation Improving Estimation Accuracy in Nonranomize

More information

arxiv: v1 [math.co] 31 Mar 2008

arxiv: v1 [math.co] 31 Mar 2008 On the maximum size of a (k,l)-sum-free subset of an abelian group arxiv:080386v1 [mathco] 31 Mar 2008 Béla Bajnok Department of Mathematics, Gettysburg College Gettysburg, PA 17325-186 USA E-mail: bbajnok@gettysburgeu

More information

Technion - Computer Science Department - M.Sc. Thesis MSC Constrained Codes for Two-Dimensional Channels.

Technion - Computer Science Department - M.Sc. Thesis MSC Constrained Codes for Two-Dimensional Channels. Technion - Computer Science Department - M.Sc. Thesis MSC-2006- - 2006 Constraine Coes for Two-Dimensional Channels Keren Censor Technion - Computer Science Department - M.Sc. Thesis MSC-2006- - 2006 Technion

More information

Math Review for Physical Chemistry

Math Review for Physical Chemistry Chemistry 362 Spring 27 Dr. Jean M. Stanar January 25, 27 Math Review for Physical Chemistry I. Algebra an Trigonometry A. Logarithms an Exponentials General rules for logarithms These rules, except where

More information

Determinant and Trace

Determinant and Trace Determinant an Trace Area an mappings from the plane to itself: Recall that in the last set of notes we foun a linear mapping to take the unit square S = {, y } to any parallelogram P with one corner at

More information

2Algebraic ONLINE PAGE PROOFS. foundations

2Algebraic ONLINE PAGE PROOFS. foundations Algebraic founations. Kick off with CAS. Algebraic skills.3 Pascal s triangle an binomial expansions.4 The binomial theorem.5 Sets of real numbers.6 Surs.7 Review . Kick off with CAS Playing lotto Using

More information

Math 300 Winter 2011 Advanced Boundary Value Problems I. Bessel s Equation and Bessel Functions

Math 300 Winter 2011 Advanced Boundary Value Problems I. Bessel s Equation and Bessel Functions Math 3 Winter 2 Avance Bounary Value Problems I Bessel s Equation an Bessel Functions Department of Mathematical an Statistical Sciences University of Alberta Bessel s Equation an Bessel Functions We use

More information

JUST THE MATHS UNIT NUMBER DIFFERENTIATION 2 (Rates of change) A.J.Hobson

JUST THE MATHS UNIT NUMBER DIFFERENTIATION 2 (Rates of change) A.J.Hobson JUST THE MATHS UNIT NUMBER 10.2 DIFFERENTIATION 2 (Rates of change) by A.J.Hobson 10.2.1 Introuction 10.2.2 Average rates of change 10.2.3 Instantaneous rates of change 10.2.4 Derivatives 10.2.5 Exercises

More information

'HVLJQ &RQVLGHUDWLRQ LQ 0DWHULDO 6HOHFWLRQ 'HVLJQ 6HQVLWLYLW\,1752'8&7,21

'HVLJQ &RQVLGHUDWLRQ LQ 0DWHULDO 6HOHFWLRQ 'HVLJQ 6HQVLWLYLW\,1752'8&7,21 Large amping in a structural material may be either esirable or unesirable, epening on the engineering application at han. For example, amping is a esirable property to the esigner concerne with limiting

More information

Euler equations for multiple integrals

Euler equations for multiple integrals Euler equations for multiple integrals January 22, 2013 Contents 1 Reminer of multivariable calculus 2 1.1 Vector ifferentiation......................... 2 1.2 Matrix ifferentiation........................

More information