arxiv: v1 [math.co] 3 Nov 2014

Size: px
Start display at page:

Download "arxiv: v1 [math.co] 3 Nov 2014"

Transcription

1 SPARSE MATRICES DESCRIBING ITERATIONS OF INTEGER-VALUED FUNCTIONS BERND C. KELLNER arxiv: v1 [math.co] 3 Nov 014 Abstract. We consider iterations of integer-valued functions φ, which have no fixed points in the domain of positive integers. We define a local function φ n, which is a subfunction of φ being restricted to the subdomain {0,..., n}. The iterations of φ n can be described by a certain n n sparse matrix M n and its powers. The determinant of the related n n matrix M n = I M n, where I is the identity matrix, acts as an indicator, whether the iterations of the local function φ n enter a cycle or not. If φ n has no cycle, then det M 1 n = 1 and the structure of the inverse M n can be characterized. Subsequently, we 1 give applications to compute the inverse M n for some special functions. At the end, we discuss the results in connection with the 3x + 1 and related problems. 1. Introduction Let Z and N be the set of integers and positive integers, respectively. Let N 0 = N {0}. Let n, m denote positive integers in this paper. Define the finite domain D n = {1,..., n} and let D n,0 = D n {0}. We consider integer-valued functions on domains S N, where φ S : S N, φ(x) x (x S). We may define a function φ induced by φ S by { φ S (x), if x S, φ(x) = 0, else, which has the properties that φ : N 0 N 0, φ(0) = 0, φ(x) x (x N), (1.1) having no fixed points in N. Let Φ be the set of all such functions satisfying (1.1). Note that a function φ does not have to be analytic, i.e. being an integer-valued polynomial. It can be arbitrarily defined, for example, using piecewise functions or tables of any complexity. 010 Mathematics Subject Classification. 11B83 (Primary) 11C0 (Secondary). Key words and phrases. Integer-valued functions, iterations, matrix, determinant, 3x + 1 problem. 1

2 BERND C. KELLNER We construct a local function φ n, that is a sub-function of φ Φ being restricted to the domain D n,0, by { φ(x), if (x, φ(x)) D φ n : D n,0 D n,0, φ n (x) = n, 0, else. We denote φ m = φ φ as an m-fold iteration of φ. We say that an iteration stops, if there exists an index k such that φ k (x) = 0, since all successive values of the iteration also vanish by definition. We say that φ has a cycle of length m, if there exists x N such that φ m (x) = x and φ m (x) x for m < m. If φ has a cycle of length m containing x, then we may define the set C(φ, m, x) = {φ(x),..., φ m (x)}, (1.) describing all elements of this cycle. By definition this set has the properties that x C(φ, m, x) and C(φ, m, x) = m. (1.3) Regarding φ n, we require that x D n to define a cycle C(φ n, m, x) of length m. Note that φ n cannot have a fixed point x D n by definition. Lemma 1.1. Let φ Φ. Assume that there exists a cycle C(φ, m, x). Then C(φ, m, x) = C(φ n, m, x) n max C(φ, m, x). Proof. Set N = max C(φ, m, x). If n N, then we have (φ(x), φ (x)),..., (φ m 1 (x), φ m (x)) D n, which also holds for φ n having the same function values by definition. Therefore φ n has the same cycle as φ in this case. Conversely, if n < N, then there exists an index i, such that φ i (x) > n showing that φ i (x), φ i n(x) / D n, where φ i n(x) = 0. Accordingly, C(φ, m, x) = C(φ n, m, x) implies that n N must hold. Lemma 1.. Let φ Φ and n 1. Assume that φ n has no cycle. We define the height of x D n regarding φ n by h(x) = min {k N : φ k n(x) = 0}. We then have 1 h(x) n (x D n ). Proof. Let x D n. The property h(x) 1 follows by definition. Next, we show that h(x) n. Assume to the contrary that φ n n(x) D n implying that h(x) > n. Since φ n has no cycle, we then obtain that X = {x, φ n (x),..., φ n n(x)} D n, where X must contain n + 1 distinct elements. This gives a contradiction to D n = n.

3 SPARSE MATRICES DESCRIBING ITERATIONS OF INTEGER-VALUED FUNCTIONS 3 We define the i-th unit vector of size n by e i and the zero vector by e 0, which we shall use in an unambiguous context. Let A, B, E n (, ), I n be n n matrices. As usual, I n denotes the identity matrix, where we use I instead, if possible. Define the matrix E n (i, j) = e i e t j, which only has the entry 1 at row i and column j and zeros elsewhere. Let #A denote the total number of nonzero entries of A. The term #A k should be read as #(A k ). We define for A and B that A B = 1, 1 i,j n A ij B ij 0 counting all entries, where both matrices have nonzero entries in common. We call A and B to be disjoint, if A B = 0 implying that #(A + B) = #A + #B. The main aim of the paper is to construct n n matrices, which are connected with the properties of a function φ Φ as well as its local function φ n. We define the following matrix by column vectors induced by the local function φ n by ( ) M n (φ) = e φn(1),..., e φn(n) Z n n (φ Φ, n ), (1.4) being a binary matrix with {0, 1} entries. Further we define the related matrix M n (φ) = I M n (φ) Z n n (φ Φ, n ), which consists of entries with { 1, 0, 1}. Since φ n has no fixed points in D n, the diagonal of M n (φ) and M n (φ) has only entries with 0 and 1, respectively. By construction the matrices M n (φ) and M n (φ) are sparse matrices, since #M n (φ) n and # M n (φ) n, both being of order O(n). The main property of M n (φ) is that for x D n the mapping coincides with x φ n (x) M n (φ) e x = e φn(x). (1.5) If there exists a cycle of φ, then det M n (φ) acts as an indicator for this event. This is shown by the following theorems. Theorem 1.3. Let φ Φ and n. If there exists a cycle C(φ n, m, x), then det M n (φ) = 0

4 4 BERND C. KELLNER and M n (φ) has an eigenvector v with eigenvalue 1 defined by v = e y. y C(φ n,m,x) Corollary 1.4. Let φ Φ. If φ has a cycle, then there exists an integer N such that det M n (φ) = 0 (n N). Proof. By assumption φ has a cycle, say C(φ, m, x). By Lemma 1.1 we can find an integer N such that C(φ, m, x) = C(φ n, m, x) (n N). Applying Theorem 1.3 for n N gives the result. Theorem 1.5. Let φ Φ and n. If φ n has no cycle, then we have the following statements: (1) The matrix M n (φ) is nilpotent of degree at most n. () The powers of M n (φ) are binary matrices satisfying #M n (φ) k n k (1 k n). They are disjoint for different exponents that M n (φ) k M n (φ) l = 0 (k l, k, l 1). (3) The related matrix M n (φ) is invertible, where det M n (φ) = 1. (4) The inverse M n (φ) 1 is a binary matrix with the properties that and M n (φ) 1 = I + M n (φ) + + M n (φ) n 1 n 1 ( ) n + 1 # M n (φ) 1 = n + #M n (φ) k. k=1 Remark 1.6. The bounds of Theorem 1.5 are sharp. If we consider the function φ Φ being induced by f(x) = x + 1, then M n (φ) is nilpotent of degree n, #M n (φ) k = n k for 1 k n, and consequently # M n (φ) 1 = ( ) n+1. This will be shown by Proposition 5.1 as an example. The next theorem shows that one can compute exact values for an arbitrary local function φ n, in case it has no cycle. Theorem 1.7. Let φ Φ and n. Assume that φ n has no cycle. Let and Define p ν = {x D n : h(x) = ν} (1 ν n) m = max 1 ν n {ν : p ν 1}. π = (p 1,..., p m ).

5 SPARSE MATRICES DESCRIBING ITERATIONS OF INTEGER-VALUED FUNCTIONS 5 Then π is an ordered partition of n and length m with 1 m n, where p 1,..., p m 1. We have the following statements: (1) The matrix M n (φ) is nilpotent of degree m. () We have M n (φ) k = E n (φ k n(x), x) (1 k m), where (3) We have (φ k n(x),x) D n #M n (φ) k = n k p ν (1 k m). ) M n (φ) 1 = (v 1,..., v n, where the column vectors satisfy that Moreover, v j = e j + h(j) 1 e φ ν n (j) # M n (φ) 1 = x D n h(x) = (1 j n). m νp ν nm ( ) m. An ordered partition of an integer, where the order of its summands is relevant, is also called a composition (cf. [, Chap. II, p. 13]). We will prove the theorems above in the following sections. We will give some applications of the theorems in Sections 5 and 6. See the figures therein for illustrations of examples of the matrices M n (φ) and M n (φ) 1.. Iterations Recall that φ n : D n,0 D n,0 can be any exotic function, i.e. φ n can be composed of piecewise functions of any complexity. This situation will be reflected in the following lemmas and propositions in this section. First, we define an orbit of an element x D n, collecting the iterations φ k n(x). Regarding these orbits we can define an equivalence relation on D n, which leads to a disjoint decomposition of D n. Second, these disjoint sets in question can be interpreted as labeled trees, whose properties establish the results. For basic graph theory see [, Chap. I.17, pp. 60]. Lemma.1. Let φ Φ and k, l, n N, where k l. If φ has no cycle, then φ k (x) φ l (x) Accordingly, if φ n has no cycle, then (x, φ k (x), φ l (x) N). φ k n(x) φ l n(x) (x, φ k n(x), φ l n(x) D n ).

6 6 BERND C. KELLNER Proof. By symmetry we may assume that k > l. Set y = φ l (x). Assume to the contrary that we have φ k (x) = φ l (x). This implies that φ k l (y) = y, contradicting that φ has no cycle or no fixed point. Similarly, if x, φ k n(x), φ l n(x) D n, then φ k n(x) = φ l n(x) also would imply, that φ n has a cycle or a fixed point. Lemma.. Let φ Φ and n 1. Assume that φ n has no cycle. Define the orbit of x D n by Ω(x) = {φ k n(x) : 0 k < h(x)} D n, where φ 0 n(x) = x is defined to be the identity function on D n and h(x) is the height of x. Then 1 Ω(x) = h(x) n (x D n ). There exists an equivalence relation on D n induced by φ n, such that x y Ω(x) Ω(y) (x, y D n ). (.1) Let denote [x] the equivalence class of x and the set of these classes. Define the set which covers all orbits of x [x]. Then gives a disjoint decomposition. D n = D n / Ω [x] = D n = Proof. By Lemma 1. we have the bounds Lemma.1 implies that It is easy to see that x [x] Ω(x ), (.) [x] D n Ω [x] (.3) 1 h(x) n (x D n ). 1 Ω(x) = h(x) n (x D n ). x y φ h(x) 1 n (x) = φ h(y) 1 n (y) (x, y D n ) (.4) defines an equivalence relation on D n. We show that this relation transfers to (.1) as follows. If there exists z Ω(x) Ω(y), then we have Ω(z) = {z, φ n (z),..., φ h(z) 1 n (z)} Ω(x) Ω(y). By construction of Ω( ) and Lemma.1, the elements of an orbit can be uniquely ordered by height. Thus, there exists only one element of height 1 in Ω( ). We then infer that φ h(z) 1 n (z) = φ h(x) 1 (x) = φ h(y) 1 (y), n n

7 SPARSE MATRICES DESCRIBING ITERATIONS OF INTEGER-VALUED FUNCTIONS 7 showing that x y. Conversely, if x y, then φ h(x) 1 n (x), φ h(y) 1 n (y) Ω(x) Ω(y), using the same arguments as above. After all, this shows (.1). The construction of Ω [x] in (.) implies that Ω [x] Ω [y] =, if [x] [y], applying (.1). This finally establishes the disjoint decomposition in (.3). Lemma.3. Let φ Φ and n 1. Assume that φ n has no cycle. Define ˆφ n ((x, k)) = (φ n (x), k 1) (x D n, k 1). Let [x] D n. Then there exists a labeled tree T [x] = Ω[x], which can be uniquely defined by its labeled nodes by T [x] = {(y, h(y)) : y Ω [x] }, (.5) preserving the structure induced by ˆφ n. The tree T [x] has the following properties: (1) There exists a unique root node (e, 1) T [x], where ˆφ n ((e, 1)) = (0, 0). () If a node (d, k) T [x] (k 1) has m child nodes, then they are given by {(c i, k + 1)} 1 i m satisfying ˆφ n ((c i, k + 1)) = (d, k) (1 i m). Proof. By construction of Ω [x], we obviously have a one-to-one correspondence We can define a labeled tree by y (y, h(y)) (y Ω [x] ). (.6) T [x] = {(y, h(y)) : y Ω [x] }, labeling the nodes with (y, h(y)) uniquely. We will show that T [x] = Ω[x] having the same structure. By Lemmas.1 and. we infer that an orbit Ω(y) represents a simple path {y, φ n (y),..., φ h(y) 1 n (y)}, (.7) where the elements are ordered by height. The set Ω [x] covers all orbits Ω(y), respectively simple paths as in (.7), where y [x]. Since the equivalence relation on D n satisfies (.4), all such simple paths are closed by a common element e, where e = φ h(y) 1 n (y) for all y [x], (.8) being the only element with height h(e) = 1 in Ω [x]. The structure of Ω [x] is induced by φ n, where each element y Ω [x] has its height and a successor φ n (y) Ω [x], if y e. By (.6) and the definition of ˆφ n the properties of Ω [x] are transferred to T [x]. As a result, the tree T [x] is a cover of simple paths. Each node (y, h(y)) T [x] has a parent node ˆφ n ((y, h(y))) = (φ n (y), h(y) 1) T [x], if y e.

8 8 BERND C. KELLNER Property (1): By (.8) there exists only one element e with h(e) = 1. Thus, (e, 1) T [x] is the unique root node with ˆφ n ((e, 1)) = (0, 0). Property (): We assume that (d, k) T [x] has m child nodes. Since T [x] is a cover of simple paths, there exist m different paths, such that {(c i, h(c i )), ˆφ n ((c i, h(c i ))) = (d, h(c i ) 1),..., (e, 1)} T [x] where h(c 1 ) = = h(c m ) = k + 1. (1 i m), Proposition.4. Let φ Φ and k, n 1. Assume that φ n has no cycle. Define Then we have In particular, J n,k (φ) = {x D n : φ k n(x) D n }. J n,k (φ) max(n k, 0). J n,1 (φ) = n D n. Proof. Since φ n has no cycle, we have by Lemma 1. that which implies that Define the complementary set such that φ n n(x) = 0 (x D n ), J n,k (φ) = 0 (k n). (.9) J n,k (φ) = {x D n : φ k n(x) = 0}, J n,k (φ) J n,k (φ) = D n. (.10) In view of (.9) and (.10), we will equivalently show for the remaining cases that J n,k (φ) k (1 k < n). (.11) By Lemmas. and.3, there exist unique labeled trees T [x] for [x] D n, where [x] D n T [x] = n. More precisely, they build a disjoint decomposition of D n, if we only consider the first component of the elements (y, h(y)) T [x]. We will count those elements in all trees, that vanish under φ k n. Since the elements can be ordered by height, we can write J n,k (φ) = {x D n : φ k n(x) = 0} = 1. (.1) [x] D n (y,j) T [x] j k In particular, we obtain by counting the root nodes via (.1) and using (.10) that J n,1 (φ) = D n 1 and J n,1 (φ) = n D n, (.13)

9 SPARSE MATRICES DESCRIBING ITERATIONS OF INTEGER-VALUED FUNCTIONS 9 showing the special case k = 1. Define J n,0 (φ) =. Instead of (.1), it is more convenient to consider s k = J n,k (φ)\j n,k 1 (φ) = 1 (1 k n), (.14) (y,k) T [x] [x] D n where s k is the number of elements having height k. We derive that n s k = J n,n (φ) = n, k=1 utilizing the telescoping sum induced by (.14), where the last equation follows by (.9) and (.10). Hence, S = (s 1,..., s n ) describes an ordered partition of n, where s 1 1 follows by (.13). Now, we use the properties of a tree T [x] given by Lemma.3: (1) A tree T [x], being a labeled tree, is connected. () The heights of a parent node (d, h(d)) T [x] and its child nodes (c i, h(c i )) T [x] differ by 1, such that h(c i ) = h(d) + 1. As a consequence, we infer that the sequence (s ν ) 1 ν n, counting elements of height 1 up to n, cannot have gaps, i.e. zero elements, in the middle, such that S = (s 1,..., s l 1, 0, s l+1,..., s n ) with some index l, where 1 < l < n, and s 1, s n 1. Therefore, we either must have S = (1,..., 1) or S = (s 1,..., s r, 0,..., 0), (.15) where 1 r < n and s 1,..., s r 1. In any case, we finally conclude by an easy counting argument that k J n,k (φ) = s ν k (1 k < n), (.16) since S is an ordered partition of n. This shows (.11) completing the proof. Proposition.5. Let φ Φ and k, n 1. Assume that φ n has no cycle. Let and Define p ν = {x D n : h(x) = ν} (1 ν n) m = max 1 ν n {ν : p ν 1}. π = (p 1,..., p m ). Then π is an ordered partition of n and length m with 1 m n, where p 1,..., p m 1. Moreover, k J n,k (φ) = n p ν (1 k m) and J n,k (φ) = 0 for k m.

10 10 BERND C. KELLNER Proof. We use and extend the proof of Proposition.4. Regarding (.15) the sequence (s ν ) 1 ν n counts elements of height 1 up to n. Therefore, we observe with m = r that π = (p 1,..., p m ) = (s 1,..., s r ), except for the case where π = (1,..., 1) and m = n. By (.10) and (.16) it follows that k J n,k (φ) = n (1 k m). Since π is an ordered partition of n, we have J n,m (φ) = 0 and consequently that J n,k (φ) = 0 for k m. Lemma.6. Let π = (p 1,..., p m ) be an ordered partition of n and length m, where 1 m n. Then m ( ) m νp ν nm. Proof. Let P n,m be the set of ordered partitions of n and length m. Define m ϱ(π) = νp ν (π P n,m ). We fix m 1 for now and use induction on n. For n = m, we only have π = (1,..., 1) P n,n. Then it follows that ( ) ( ) ( ) m + 1 m m ϱ(π) = = m nm. Now assume the result is true for n m. Let π = (p 1,..., p m ) P n,m. We set p ν π j = (p 1,..., p j 1, p j + 1, p j+1,..., p m ) (1 j m), (.17) observing that π j P n+1,m. We then obtain that ( ) m ϱ(π j) = ϱ(π) + j nm + j (n + 1)m ( ) m (1 j m). (.18) The set P n+1,m can be constructed from P n,m using (.17). Since π P n,m has been chosen arbitrarily, we infer that (.18) holds for any π P n+1,m showing the claim for n Matrix properties Recall the n n matrix E n (i, j) = e i e t j, which only has the entry 1 at row i and column j and zeros elsewhere. Lemma 3.1. Let n and a, b, c, d D n. Then { E n (a, d), if b = c, E n (a, b)e n (c, d) = 0, else.

11 SPARSE MATRICES DESCRIBING ITERATIONS OF INTEGER-VALUED FUNCTIONS 11 Proof. By definition we can write using Kronecker s delta. E n (a, b)e n (c, d) = (e a e t b)(e c e t d) = e a (e t be c )e t d = δ bc E n (a, d), Lemma 3.. Let A be an n n matrix with n. If A is nilpotent of degree k, then we have det(i A) = 1 and (I A) 1 = I + A + + A k 1. Proof. We first consider the decomposition I = (I A)(I + A + + A k 1 ), since A k = 0. This shows that I A is invertible with the inverse as given above. Since A is nilpotent, there exists a similar matrix U = T 1 AT, that is an upper triangular matrix having zeros in its diagonal. Thus, we obtain that I A = T (I U)T 1 and consequently that det(i A) = 1. Proposition 3.3. Let φ Φ and n. Then we have M n (φ) k = E n (φ k n(x), x) (k 1). (φ k n (x),x) D n Proof. We use induction on k. For k = 1, we infer by (1.4) that ( ) M n (φ) = e φn(1),, e φn(n) = E n (φ n (x), x). (φ n(x),x) D n Now assume the result is true for k. We then obtain that M n (φ) k+1 = M n (φ)m n (φ) k = E n (φ n (y), y) E n (φ k n(x), x) = = (φ n(y),y) D n (φ n(y),y) D n (φ k n(x),x) D n y=φ k n (x) (φ k+1 n (x),x) D n (φ k n (x),x) D n E n (φ n (y), y)e n (φ k n(x), x) E n (φ k+1 n (x), x). In the last two steps we have used Lemma 3.1 to exclude those products that provide a zero matrix. This shows the claim for k + 1. Corollary 3.4. Let φ Φ and n. If φ n has no cycle, then #M n (φ) k = J n,k (φ) n k (1 k n).

12 1 BERND C. KELLNER Proof. By Propositions.4 and 3.3 we conclude that #M n (φ) k = 1 = {(x, φ k n(x)) D n} = J n,k (φ) n k (1 k n). (φ k n (x),x) D n Proposition 3.5. Let φ Φ and n. If φ n has no cycle, then Proof. Assume to the contrary that we have M n (φ) k M n (φ) l = 0 (k l, k, l 1). M n (φ) k M n (φ) l 0 for some k l. We then have an entry of both M n (φ) k and M n (φ) l, such that E n (φ k n(y), y) = E n (φ l n(x), x) using Proposition 3.3. This implies that y = x D n and consequently φ k n(x) = φ l n(x) D n. The last condition gives a contradiction in view of Lemma Proof of theorems Proof of Theorem 1.3. The local function φ n has a cycle C(φ n, m, x) by assumption. Using (1.5) we have M n (φ) e y = e φn(y) (y C(φ n, m, x)). In view of (1.) and (1.3), φ n maps C(φ n, m, x) onto itself in a cyclic way. Define v = e y. y C(φ n,m,x) We then infer that M n (φ) v = v. As a result, the vector v is an eigenvector of M n (φ) with eigenvalue 1. Consequently, we obtain that det M n (φ) = det(i M n (φ)) = 0. Proof of Theorem 1.5. By assumption φ n Φ has no cycle. (1), (): By Propositions 3.3 and 3.5 the matrices M n (φ) k are binary matrices for k 1, which are disjoint for different exponents. The estimate #M n (φ) k n k (1 k n) (4.1) is given by Corollary 3.4. This implies that M n (φ) n is the zero matrix and consequently M n (φ) is nilpotent of degree at most n. (3), (4): By definition we have M n (φ) = I M n (φ). Since M n (φ) is nilpotent of degree at most n, we obtain by Lemma 3. that det M n (φ) = 1 and M n (φ) 1 = I + M n (φ) + + M n (φ) n 1. (4.) Recall that M n (φ) k I = 0, because φ n has no fixed points in D n, and that powers of M n (φ) are disjoint for different exponents. Therefore M n (φ) 1 is a binary matrix composed

13 SPARSE MATRICES DESCRIBING ITERATIONS OF INTEGER-VALUED FUNCTIONS 13 of binary matrices given on the right-hand side of (4.). Counting entries of these matrices above, we conclude by using the estimate in (4.1) that n 1 ( ) n + 1 # M n (φ) 1 = n + #M n (φ) k. k=1 Proof of Theorem 1.7. By assumption φ n Φ has no cycle. The properties of π are given by Proposition.5. (1), (): By Proposition 3.3 we have M n (φ) k = E n (φ k n(x), x) (k 1). (4.3) (φ k n (x),x) D n From Proposition.5 and Corollary 3.4 we infer that #M n (φ) k = J n,k (φ) = n k p ν (1 k m). (4.4) Since J n,m (φ) = 0, the matrix M n (φ) is nilpotent of degree m. (3): Since the nilpotent degree of M n (φ) is m n, we have by Lemma 3. that M n (φ) 1 = I + M n (φ) + + M n (φ) m 1. (4.5) As already argued in (4.) and below, the matrices of the right-hand side of (4.5) are disjoint to each other. Counting entries we obtain by means of (4.4) that # M n (φ) 1 = n + m 1 k=1 #M n (φ) k = using the fact that π is a partition of n and thus n k p ν = m ν=k+1 m 1 m k=0 ν=k+1 Alternatively, from (4.5) and using (4.3), we derive that This implies that M n (φ) 1 = I + m 1 p ν k=1 (φ k n (x),x) D n = I + h(x) 1 x D n p ν = (0 k < m). E n (φ k n(x), x) m νp ν, (4.6) E n (φ ν n(x), x). (4.7) # M n (φ) 1 = x D n h(x). (4.8)

14 14 BERND C. KELLNER Finally, combining (4.6) and (4.8), we achieve by applying Lemma.6 that # M n (φ) 1 = m ( ) m h(x) = νp ν nm. x D n It remains to show the structure of the inverse matrix M n (φ) 1. Let ) (v 1,..., v n M n (φ) 1 = From (4.7) we conclude for j = x that v j = e j + h(j) 1. e φ ν n (j) (1 j n). 5. Simple patterns In this section we shall give some applications. Define an n n sub-diagonal matrix as and as a zero matrix otherwise. n k D n,k = E n (j + k, j) (0 k < n) j=1 Proposition 5.1. Let φ be induced by f(x) = x + 1. Then φ Φ and has no cycle. We have the following statements for n : (1) The matrix M n (φ) is nilpotent of degree n. () We have M n (φ) k = D n,k, #M n (φ) k = n k (1 k n). (3) The inverse M n (φ) 1 is a full lower triangular matrix whose entire entries are 1. Consequently, # M n (φ) 1 = ( ) n+1. Proof. It is easily seen that φ k (x) = x + k for x N. Therefore, φ cannot have a cycle or a fixed point in N, hence φ Φ. By Theorem 1.7 we then obtain that M n (φ) k = E n (φ k n(x), x) = D n,k (1 k n), (φ k n(x),x) D n implying that #M n (φ) k = n k. This shows that M n (φ) is nilpotent of degree n. Theorem 1.5 provides that n 1 n 1 M n (φ) 1 = I + M n (φ) k = D n,k, k=1 which is a full lower triangular matrix having only entries with 1. As a consequence, we have # M n (φ) 1 = ( ) n+1. k=0

15 SPARSE MATRICES DESCRIBING ITERATIONS OF INTEGER-VALUED FUNCTIONS 15 Remark 5.. If one chooses f(x) = x + t with t Z\{0}, where f is defined on the subdomain N > t in case t < 0, then one similarly obtains the following shapes of the matrix M n (φ) 1, where φ is induced by f: (1) Case t = 1: M n (φ) 1 is a full lower triangular matrix shown by Proposition 5.1. () Case t > 1: M n (φ) 1 is a lower triangular matrix with M n (φ) 1 = n 1 t j=0 D n,jt. For t = this gives a checkerboard pattern. (3) Case t = 1: M n (φ) 1 is a full upper triangular matrix. (4) Case t < 1: M n (φ) 1 is an upper triangular matrix, which equals the transposed matrix of the case t > 1. The cases t 1 will be left to the reader. See Figure 5.1 for an example. Figure 5.1. Matrices M n (φ) and M n (φ) 1 Case n = 50: φ is induced by f(x) = x 7. Red entries: 1, blue entries: 1. For a second example, let P = {q 1, q,...} be the set of primes and Π(x) be the primecounting function. Define giving the next prime. ω : P P, ω(q j ) = q j+1 Proposition 5.3. Let φ be induced by ω. Then φ Φ and has no cycle. We have the following statements for n : (1) The matrix M n (φ) is nilpotent of degree Π(n).

16 16 BERND C. KELLNER () We have M n (φ) k = (3) We have Π(n) k j=1 M n (φ) 1 = I + E n (q j+k, q j ), #M n (φ) k = Π(n) k, (1 k Π(n)). 1 j<i Π(n) ( ) Π(n) E n (q i, q j ), # M n (φ) 1 = n +. Proof. Since ω k (q j ) = q j+k > q j for q j P and j, k 1, the induced function φ cannot have a cycle or a fixed point in N. Thus, we have φ Φ. By construction, φ(x) = 0 for x N 0 \P. Let N = Π(n), then D n P = {q 1,..., q N }. Using these properties and Theorem 1.7 we infer that M n (φ) k = (φ k n(x),x) D n E n (φ k n(x), x) = N k j=1 E n (q j+k, q j ) (1 k N). As a result, #M n (φ) k = N k for 1 k N, implying that M n (φ) is nilpotent of degree N. The last part follows by Theorem 1.5 and reordering the above sums that M n (φ) 1 = I + N 1 k=1 M n (φ) k = I + N 1 N k k=1 k=1 j=1 E n (q j+k, q j ) = I + 1 j<i N E n (q i, q j ). Counting entries of M n (φ) 1 in the equation above, we finally obtain that N 1 ( ) N # M n (φ) 1 = n + (N k) = n +. Figure 5.. Matrices M n (φ) and M n (φ) 1 Case n = 50: φ is induced by ω. Red entries: 1, blue entries: 1.

17 SPARSE MATRICES DESCRIBING ITERATIONS OF INTEGER-VALUED FUNCTIONS The 3x + 1 problem A variant of the Collatz function may be defined by { x/, if x is even, c(x) = (3x + 1)/, if x is odd. The behavior of the iterations of this function is known as the 3x + 1 problem. It is still an open problem to decide, whether a sequence of iterations I c (x) = (c k (x)) k 1, starting from a positive integer x, eventually returns to 1 entering a trivial cycle {1,} afterwards. It is conjectured that all such iterations eventually return to 1. For a wide survey of the 3x + 1 problem see Lagarias [3]. There are three possible cases of the behavior of a sequence I c (x): (1) It eventually enters the trivial cycle {1,}. () It eventually enters a cycle other than {1,}. (3) It is unbounded. We can establish a connection between the cases (1), (), and the given theory in the former sections. To get rid of the trivial cycle {1,}, we define 0, if x, φ c (x) = x/, if x > is even, (3x + 1)/, if x > is odd. Then we have φ c Φ. As a result of Corollary 1.4, if φ c has a cycle, then there exists an integer N such that det M n (φ c ) = 0 (n N). See Figure 6.1 for the simple shape of M n (φ c ) and the complicated shape of its inverse in the case n = 50. Regarding the local function φ c,n for this case, we can compute the following parameters using Theorem 1.7: π = (10, 4, 3, 3, 3, 3, 4,,,,,, 3,,, 1, 1, 1), m = 18. Consequently, the nilpotent degree of M n (φ c ) is 18 and m # M n (φ c ) 1 = νp ν = 348. Remark 6.1. Zeilberger [4] asked for an evaluation of determinants of certain d d matrices M(d) occurring in an enumeration problem. Actually, this was intended as a semijoke [5], because these matrices were disguised intentionally, hiding their close relationship to the 3x + 1 problem at first glance. Chapman [1] pointed out, that one obtains, after swapping columns of M(d), that det M(d) = ( 1) d det(i N(d)),

18 18 BERND C. KELLNER where N(d) is the matrix describing the local iteration of { (x 1)/, if x is odd, ψ(x) = 3x/ + 1, if x is even. Chapman showed that either N(d) is nilpotent and det M(d) = ( 1) d or N(d) has an eigenvector with eigenvalue 1 and det M(d) = 0, induced by a cycle of ψ. Furthermore, he established the connection to the 3x + 1 problem via c(x) = ψ(x 1) + 1. Figure 6.1. Matrices M n (φ c ) and M n (φ c ) 1 Case n = 50. Red entries: 1, blue entries: 1. As a last example, we consider a more complicated function with r = 3 branches: 0, if x 1, x/3, if x > 1 and x 0 (mod 3), φ r (x) = (x + 1)/3, if x > 1 and x 1 (mod 3), (5x 1)/3, if x > 1 and x (mod 3). Such functions are called generalized Collatz functions or residue-class-wise affine functions, which can be defined for any r, r being the number of branches, respectively, residue classes (cf. [3, (4.1), p. 1]). The modification here, that φ r (1) = 0, is only to prevent a fixed point at x = 1. In this way, we have φ r Φ. Again, we compute the parameters of the local function φ r,n for n = 50: π = (8,, 5, 5, 6, 4, 5, 8, 4,, 1), m = 11. Consequently, the nilpotent degree of M n (φ r ) is 11 and # M n (φ r ) 1 = m νp ν = 67.

19 SPARSE MATRICES DESCRIBING ITERATIONS OF INTEGER-VALUED FUNCTIONS 19 Figure 6.. Matrices M n (φ r ) and M n (φ r ) 1 Case n = 50. Red entries: 1, blue entries: 1. The 3x + 1 problem, as treated in Remark 6.1, was the starting point for the author to give a general theory here. All computations were performed using Mathematica. Acknowledgments We would like to thank Pieter Moree for helpful comments. References 1. R. Chapman, Zeilberger s determinant problem, (014), 1. Draft available at rutgers.edu/~zeilberg/mamarim/mamarimhtml/robinchapmannote.pdf.. L. Comtet, Advanced Combinatorics, D. Reidel, Dordrecht, J. C. Lagarias, The Ultimate Challenge: The 3x + 1 problem, Amer. Math. Soc., Providence, RI (010), D. Zeilberger, An Explicit Conjectured Determinant Evaluation Whose Proof Would Make Me Happy (and the OEIS richer), preprint on arxiv: [math.co], (014), D. Zeilberger, Personal communication (014). address: bk@bernoulli.org

Intrinsic products and factorizations of matrices

Intrinsic products and factorizations of matrices Available online at www.sciencedirect.com Linear Algebra and its Applications 428 (2008) 5 3 www.elsevier.com/locate/laa Intrinsic products and factorizations of matrices Miroslav Fiedler Academy of Sciences

More information

ACI-matrices all of whose completions have the same rank

ACI-matrices all of whose completions have the same rank ACI-matrices all of whose completions have the same rank Zejun Huang, Xingzhi Zhan Department of Mathematics East China Normal University Shanghai 200241, China Abstract We characterize the ACI-matrices

More information

JORDAN NORMAL FORM. Contents Introduction 1 Jordan Normal Form 1 Conclusion 5 References 5

JORDAN NORMAL FORM. Contents Introduction 1 Jordan Normal Form 1 Conclusion 5 References 5 JORDAN NORMAL FORM KATAYUN KAMDIN Abstract. This paper outlines a proof of the Jordan Normal Form Theorem. First we show that a complex, finite dimensional vector space can be decomposed into a direct

More information

CIRCULAR CHROMATIC NUMBER AND GRAPH MINORS. Xuding Zhu 1. INTRODUCTION

CIRCULAR CHROMATIC NUMBER AND GRAPH MINORS. Xuding Zhu 1. INTRODUCTION TAIWANESE JOURNAL OF MATHEMATICS Vol. 4, No. 4, pp. 643-660, December 2000 CIRCULAR CHROMATIC NUMBER AND GRAPH MINORS Xuding Zhu Abstract. This paper proves that for any integer n 4 and any rational number

More information

A connection between number theory and linear algebra

A connection between number theory and linear algebra A connection between number theory and linear algebra Mark Steinberger Contents 1. Some basics 1 2. Rational canonical form 2 3. Prime factorization in F[x] 4 4. Units and order 5 5. Finite fields 7 6.

More information

On families of anticommuting matrices

On families of anticommuting matrices On families of anticommuting matrices Pavel Hrubeš December 18, 214 Abstract Let e 1,..., e k be complex n n matrices such that e ie j = e je i whenever i j. We conjecture that rk(e 2 1) + rk(e 2 2) +

More information

EVALUATION OF A FAMILY OF BINOMIAL DETERMINANTS

EVALUATION OF A FAMILY OF BINOMIAL DETERMINANTS EVALUATION OF A FAMILY OF BINOMIAL DETERMINANTS CHARLES HELOU AND JAMES A SELLERS Abstract Motivated by a recent work about finite sequences where the n-th term is bounded by n, we evaluate some classes

More information

0.1 Rational Canonical Forms

0.1 Rational Canonical Forms We have already seen that it is useful and simpler to study linear systems using matrices. But matrices are themselves cumbersome, as they are stuffed with many entries, and it turns out that it s best

More information

22m:033 Notes: 3.1 Introduction to Determinants

22m:033 Notes: 3.1 Introduction to Determinants 22m:033 Notes: 3. Introduction to Determinants Dennis Roseman University of Iowa Iowa City, IA http://www.math.uiowa.edu/ roseman October 27, 2009 When does a 2 2 matrix have an inverse? ( ) a a If A =

More information

Strongly Regular Decompositions of the Complete Graph

Strongly Regular Decompositions of the Complete Graph Journal of Algebraic Combinatorics, 17, 181 201, 2003 c 2003 Kluwer Academic Publishers. Manufactured in The Netherlands. Strongly Regular Decompositions of the Complete Graph EDWIN R. VAN DAM Edwin.vanDam@uvt.nl

More information

Notes on the Matrix-Tree theorem and Cayley s tree enumerator

Notes on the Matrix-Tree theorem and Cayley s tree enumerator Notes on the Matrix-Tree theorem and Cayley s tree enumerator 1 Cayley s tree enumerator Recall that the degree of a vertex in a tree (or in any graph) is the number of edges emanating from it We will

More information

arxiv: v1 [math.co] 13 Dec 2014

arxiv: v1 [math.co] 13 Dec 2014 SEARCHING FOR KNIGHTS AND SPIES: A MAJORITY/MINORITY GAME MARK WILDON arxiv:1412.4247v1 [math.co] 13 Dec 2014 Abstract. There are n people, each of whom is either a knight or a spy. It is known that at

More information

18.S34 linear algebra problems (2007)

18.S34 linear algebra problems (2007) 18.S34 linear algebra problems (2007) Useful ideas for evaluating determinants 1. Row reduction, expanding by minors, or combinations thereof; sometimes these are useful in combination with an induction

More information

88 CHAPTER 3. SYMMETRIES

88 CHAPTER 3. SYMMETRIES 88 CHAPTER 3 SYMMETRIES 31 Linear Algebra Start with a field F (this will be the field of scalars) Definition: A vector space over F is a set V with a vector addition and scalar multiplication ( scalars

More information

ELEMENTARY LINEAR ALGEBRA

ELEMENTARY LINEAR ALGEBRA ELEMENTARY LINEAR ALGEBRA K R MATTHEWS DEPARTMENT OF MATHEMATICS UNIVERSITY OF QUEENSLAND First Printing, 99 Chapter LINEAR EQUATIONS Introduction to linear equations A linear equation in n unknowns x,

More information

TOPOLOGICAL COMPLEXITY OF 2-TORSION LENS SPACES AND ku-(co)homology

TOPOLOGICAL COMPLEXITY OF 2-TORSION LENS SPACES AND ku-(co)homology TOPOLOGICAL COMPLEXITY OF 2-TORSION LENS SPACES AND ku-(co)homology DONALD M. DAVIS Abstract. We use ku-cohomology to determine lower bounds for the topological complexity of mod-2 e lens spaces. In the

More information

MINIMAL GENERATING SETS OF GROUPS, RINGS, AND FIELDS

MINIMAL GENERATING SETS OF GROUPS, RINGS, AND FIELDS MINIMAL GENERATING SETS OF GROUPS, RINGS, AND FIELDS LORENZ HALBEISEN, MARTIN HAMILTON, AND PAVEL RŮŽIČKA Abstract. A subset X of a group (or a ring, or a field) is called generating, if the smallest subgroup

More information

MATH 320: PRACTICE PROBLEMS FOR THE FINAL AND SOLUTIONS

MATH 320: PRACTICE PROBLEMS FOR THE FINAL AND SOLUTIONS MATH 320: PRACTICE PROBLEMS FOR THE FINAL AND SOLUTIONS There will be eight problems on the final. The following are sample problems. Problem 1. Let F be the vector space of all real valued functions on

More information

DISTINGUISHING PARTITIONS AND ASYMMETRIC UNIFORM HYPERGRAPHS

DISTINGUISHING PARTITIONS AND ASYMMETRIC UNIFORM HYPERGRAPHS DISTINGUISHING PARTITIONS AND ASYMMETRIC UNIFORM HYPERGRAPHS M. N. ELLINGHAM AND JUSTIN Z. SCHROEDER In memory of Mike Albertson. Abstract. A distinguishing partition for an action of a group Γ on a set

More information

Analytic Number Theory Solutions

Analytic Number Theory Solutions Analytic Number Theory Solutions Sean Li Cornell University sxl6@cornell.edu Jan. 03 Introduction This document is a work-in-progress solution manual for Tom Apostol s Introduction to Analytic Number Theory.

More information

ARCS IN FINITE PROJECTIVE SPACES. Basic objects and definitions

ARCS IN FINITE PROJECTIVE SPACES. Basic objects and definitions ARCS IN FINITE PROJECTIVE SPACES SIMEON BALL Abstract. These notes are an outline of a course on arcs given at the Finite Geometry Summer School, University of Sussex, June 26-30, 2017. Let K denote an

More information

Here is an example of a block diagonal matrix with Jordan Blocks on the diagonal: J

Here is an example of a block diagonal matrix with Jordan Blocks on the diagonal: J Class Notes 4: THE SPECTRAL RADIUS, NORM CONVERGENCE AND SOR. Math 639d Due Date: Feb. 7 (updated: February 5, 2018) In the first part of this week s reading, we will prove Theorem 2 of the previous class.

More information

ORTHOGONAL ARRAYS OF STRENGTH 3 AND SMALL RUN SIZES

ORTHOGONAL ARRAYS OF STRENGTH 3 AND SMALL RUN SIZES ORTHOGONAL ARRAYS OF STRENGTH 3 AND SMALL RUN SIZES ANDRIES E. BROUWER, ARJEH M. COHEN, MAN V.M. NGUYEN Abstract. All mixed (or asymmetric) orthogonal arrays of strength 3 with run size at most 64 are

More information

THE DYNAMICS OF SUCCESSIVE DIFFERENCES OVER Z AND R

THE DYNAMICS OF SUCCESSIVE DIFFERENCES OVER Z AND R THE DYNAMICS OF SUCCESSIVE DIFFERENCES OVER Z AND R YIDA GAO, MATT REDMOND, ZACH STEWARD Abstract. The n-value game is a dynamical system defined by a method of iterated differences. In this paper, we

More information

ON TYPES OF MATRICES AND CENTRALIZERS OF MATRICES AND PERMUTATIONS

ON TYPES OF MATRICES AND CENTRALIZERS OF MATRICES AND PERMUTATIONS ON TYPES OF MATRICES AND CENTRALIZERS OF MATRICES AND PERMUTATIONS JOHN R. BRITNELL AND MARK WILDON Abstract. It is known that that the centralizer of a matrix over a finite field depends, up to conjugacy,

More information

Counting false entries in truth tables of bracketed formulae connected by m-implication

Counting false entries in truth tables of bracketed formulae connected by m-implication arxiv:1034645v1 [mathco] 1 Mar 01 Counting false entries in truth tables of bracketed formulae connected by m-implication Volkan Yildiz ah05146@qmulacuk or vo1kan@hotmailcouk Abstract Inthispaperwecount

More information

APPENDIX A. Background Mathematics. A.1 Linear Algebra. Vector algebra. Let x denote the n-dimensional column vector with components x 1 x 2.

APPENDIX A. Background Mathematics. A.1 Linear Algebra. Vector algebra. Let x denote the n-dimensional column vector with components x 1 x 2. APPENDIX A Background Mathematics A. Linear Algebra A.. Vector algebra Let x denote the n-dimensional column vector with components 0 x x 2 B C @. A x n Definition 6 (scalar product). The scalar product

More information

DOMINO TILING. Contents 1. Introduction 1 2. Rectangular Grids 2 Acknowledgments 10 References 10

DOMINO TILING. Contents 1. Introduction 1 2. Rectangular Grids 2 Acknowledgments 10 References 10 DOMINO TILING KASPER BORYS Abstract In this paper we explore the problem of domino tiling: tessellating a region with x2 rectangular dominoes First we address the question of existence for domino tilings

More information

Bare-bones outline of eigenvalue theory and the Jordan canonical form

Bare-bones outline of eigenvalue theory and the Jordan canonical form Bare-bones outline of eigenvalue theory and the Jordan canonical form April 3, 2007 N.B.: You should also consult the text/class notes for worked examples. Let F be a field, let V be a finite-dimensional

More information

A matrix over a field F is a rectangular array of elements from F. The symbol

A matrix over a field F is a rectangular array of elements from F. The symbol Chapter MATRICES Matrix arithmetic A matrix over a field F is a rectangular array of elements from F The symbol M m n (F ) denotes the collection of all m n matrices over F Matrices will usually be denoted

More information

Distinct distances between points and lines in F 2 q

Distinct distances between points and lines in F 2 q Distinct distances between points and lines in F 2 q Thang Pham Nguyen Duy Phuong Nguyen Minh Sang Claudiu Valculescu Le Anh Vinh Abstract In this paper we give a result on the number of distinct distances

More information

INITIAL COMPLEX ASSOCIATED TO A JET SCHEME OF A DETERMINANTAL VARIETY. the affine space of dimension k over F. By a variety in A k F

INITIAL COMPLEX ASSOCIATED TO A JET SCHEME OF A DETERMINANTAL VARIETY. the affine space of dimension k over F. By a variety in A k F INITIAL COMPLEX ASSOCIATED TO A JET SCHEME OF A DETERMINANTAL VARIETY BOYAN JONOV Abstract. We show in this paper that the principal component of the first order jet scheme over the classical determinantal

More information

THE DENOMINATORS OF POWER SUMS OF ARITHMETIC PROGRESSIONS. Bernd C. Kellner Göppert Weg 5, Göttingen, Germany

THE DENOMINATORS OF POWER SUMS OF ARITHMETIC PROGRESSIONS. Bernd C. Kellner Göppert Weg 5, Göttingen, Germany #A95 INTEGERS 18 (2018) THE DENOMINATORS OF POWER SUMS OF ARITHMETIC PROGRESSIONS Bernd C. Kellner Göppert Weg 5, 37077 Göttingen, Germany b@bernoulli.org Jonathan Sondow 209 West 97th Street, New Yor,

More information

FRACTIONAL FACTORIAL DESIGNS OF STRENGTH 3 AND SMALL RUN SIZES

FRACTIONAL FACTORIAL DESIGNS OF STRENGTH 3 AND SMALL RUN SIZES FRACTIONAL FACTORIAL DESIGNS OF STRENGTH 3 AND SMALL RUN SIZES ANDRIES E. BROUWER, ARJEH M. COHEN, MAN V.M. NGUYEN Abstract. All mixed (or asymmetric) orthogonal arrays of strength 3 with run size at most

More information

arxiv:math/ v1 [math.co] 13 Jul 2005

arxiv:math/ v1 [math.co] 13 Jul 2005 A NEW PROOF OF THE REFINED ALTERNATING SIGN MATRIX THEOREM arxiv:math/0507270v1 [math.co] 13 Jul 2005 Ilse Fischer Fakultät für Mathematik, Universität Wien Nordbergstrasse 15, A-1090 Wien, Austria E-mail:

More information

MATH 323 Linear Algebra Lecture 6: Matrix algebra (continued). Determinants.

MATH 323 Linear Algebra Lecture 6: Matrix algebra (continued). Determinants. MATH 323 Linear Algebra Lecture 6: Matrix algebra (continued). Determinants. Elementary matrices Theorem 1 Any elementary row operation σ on matrices with n rows can be simulated as left multiplication

More information

Determinants of Partition Matrices

Determinants of Partition Matrices journal of number theory 56, 283297 (1996) article no. 0018 Determinants of Partition Matrices Georg Martin Reinhart Wellesley College Communicated by A. Hildebrand Received February 14, 1994; revised

More information

1 Last time: least-squares problems

1 Last time: least-squares problems MATH Linear algebra (Fall 07) Lecture Last time: least-squares problems Definition. If A is an m n matrix and b R m, then a least-squares solution to the linear system Ax = b is a vector x R n such that

More information

A linear algebra proof of the fundamental theorem of algebra

A linear algebra proof of the fundamental theorem of algebra A linear algebra proof of the fundamental theorem of algebra Andrés E. Caicedo May 18, 2010 Abstract We present a recent proof due to Harm Derksen, that any linear operator in a complex finite dimensional

More information

5 Quiver Representations

5 Quiver Representations 5 Quiver Representations 5. Problems Problem 5.. Field embeddings. Recall that k(y,..., y m ) denotes the field of rational functions of y,..., y m over a field k. Let f : k[x,..., x n ] k(y,..., y m )

More information

A Numerical Algorithm for Block-Diagonal Decomposition of Matrix -Algebras, Part II: General Algorithm

A Numerical Algorithm for Block-Diagonal Decomposition of Matrix -Algebras, Part II: General Algorithm A Numerical Algorithm for Block-Diagonal Decomposition of Matrix -Algebras, Part II: General Algorithm Takanori Maehara and Kazuo Murota May 2008 / May 2009 Abstract An algorithm is proposed for finding

More information

a 11 x 1 + a 12 x a 1n x n = b 1 a 21 x 1 + a 22 x a 2n x n = b 2.

a 11 x 1 + a 12 x a 1n x n = b 1 a 21 x 1 + a 22 x a 2n x n = b 2. Chapter 1 LINEAR EQUATIONS 11 Introduction to linear equations A linear equation in n unknowns x 1, x,, x n is an equation of the form a 1 x 1 + a x + + a n x n = b, where a 1, a,, a n, b are given real

More information

0 Sets and Induction. Sets

0 Sets and Induction. Sets 0 Sets and Induction Sets A set is an unordered collection of objects, called elements or members of the set. A set is said to contain its elements. We write a A to denote that a is an element of the set

More information

The 4-periodic spiral determinant

The 4-periodic spiral determinant The 4-periodic spiral determinant Darij Grinberg rough draft, October 3, 2018 Contents 001 Acknowledgments 1 1 The determinant 1 2 The proof 4 *** The purpose of this note is to generalize the determinant

More information

Introductory Analysis I Fall 2014 Homework #9 Due: Wednesday, November 19

Introductory Analysis I Fall 2014 Homework #9 Due: Wednesday, November 19 Introductory Analysis I Fall 204 Homework #9 Due: Wednesday, November 9 Here is an easy one, to serve as warmup Assume M is a compact metric space and N is a metric space Assume that f n : M N for each

More information

The rank of connection matrices and the dimension of graph algebras

The rank of connection matrices and the dimension of graph algebras The rank of connection matrices and the dimension of graph algebras László Lovász Microsoft Research One Microsoft Way Redmond, WA 98052 August 2004 Microsoft Research Technical Report TR-2004-82 Contents

More information

Minimal basis for connected Markov chain over 3 3 K contingency tables with fixed two-dimensional marginals. Satoshi AOKI and Akimichi TAKEMURA

Minimal basis for connected Markov chain over 3 3 K contingency tables with fixed two-dimensional marginals. Satoshi AOKI and Akimichi TAKEMURA Minimal basis for connected Markov chain over 3 3 K contingency tables with fixed two-dimensional marginals Satoshi AOKI and Akimichi TAKEMURA Graduate School of Information Science and Technology University

More information

Laura Chihara* and Dennis Stanton**

Laura Chihara* and Dennis Stanton** ZEROS OF GENERALIZED KRAWTCHOUK POLYNOMIALS Laura Chihara* and Dennis Stanton** Abstract. The zeros of generalized Krawtchouk polynomials are studied. Some interlacing theorems for the zeros are given.

More information

Quivers of Period 2. Mariya Sardarli Max Wimberley Heyi Zhu. November 26, 2014

Quivers of Period 2. Mariya Sardarli Max Wimberley Heyi Zhu. November 26, 2014 Quivers of Period 2 Mariya Sardarli Max Wimberley Heyi Zhu ovember 26, 2014 Abstract A quiver with vertices labeled from 1,..., n is said to have period 2 if the quiver obtained by mutating at 1 and then

More information

Kernels of Directed Graph Laplacians. J. S. Caughman and J.J.P. Veerman

Kernels of Directed Graph Laplacians. J. S. Caughman and J.J.P. Veerman Kernels of Directed Graph Laplacians J. S. Caughman and J.J.P. Veerman Department of Mathematics and Statistics Portland State University PO Box 751, Portland, OR 97207. caughman@pdx.edu, veerman@pdx.edu

More information

Continuity. Chapter 4

Continuity. Chapter 4 Chapter 4 Continuity Throughout this chapter D is a nonempty subset of the real numbers. We recall the definition of a function. Definition 4.1. A function from D into R, denoted f : D R, is a subset of

More information

The cycle polynomial of a permutation group

The cycle polynomial of a permutation group The cycle polynomial of a permutation group Peter J. Cameron School of Mathematics and Statistics University of St Andrews North Haugh St Andrews, Fife, U.K. pjc0@st-andrews.ac.uk Jason Semeraro Department

More information

). In an old paper [11], I. N. Sanov

). In an old paper [11], I. N. Sanov ON TWO-GENERATOR SUBGROUPS IN SL 2 (Z), SL 2 (Q), AND SL 2 (R) ANASTASIIA CHORNA, KATHERINE GELLER, AND VLADIMIR SHPILRAIN ABSTRACT. We consider what some authors call parabolic Möbius subgroups of matrices

More information

A LOWER BOUND FOR THE SIZE OF A MINKOWSKI SUM OF DILATES. 1. Introduction

A LOWER BOUND FOR THE SIZE OF A MINKOWSKI SUM OF DILATES. 1. Introduction A LOWER BOUND FOR THE SIZE OF A MINKOWSKI SUM OF DILATES Y. O. HAMIDOUNE AND J. RUÉ Abstract. Let A be a finite nonempty set of integers. An asymptotic estimate of several dilates sum size was obtained

More information

A linear algebra proof of the fundamental theorem of algebra

A linear algebra proof of the fundamental theorem of algebra A linear algebra proof of the fundamental theorem of algebra Andrés E. Caicedo May 18, 2010 Abstract We present a recent proof due to Harm Derksen, that any linear operator in a complex finite dimensional

More information

Spectra of Semidirect Products of Cyclic Groups

Spectra of Semidirect Products of Cyclic Groups Spectra of Semidirect Products of Cyclic Groups Nathan Fox 1 University of Minnesota-Twin Cities Abstract The spectrum of a graph is the set of eigenvalues of its adjacency matrix A group, together with

More information

THE N-VALUE GAME OVER Z AND R

THE N-VALUE GAME OVER Z AND R THE N-VALUE GAME OVER Z AND R YIDA GAO, MATT REDMOND, ZACH STEWARD Abstract. The n-value game is an easily described mathematical diversion with deep underpinnings in dynamical systems analysis. We examine

More information

Partial Complements and Transposable Dispersions

Partial Complements and Transposable Dispersions 1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 7 (2004), Article 04.1.6 Partial Complements and Transposable Dispersions Clark Kimberling and John E. Brown Department of Mathematics University of

More information

A strongly polynomial algorithm for linear systems having a binary solution

A strongly polynomial algorithm for linear systems having a binary solution A strongly polynomial algorithm for linear systems having a binary solution Sergei Chubanov Institute of Information Systems at the University of Siegen, Germany e-mail: sergei.chubanov@uni-siegen.de 7th

More information

ODD PARTITIONS IN YOUNG S LATTICE

ODD PARTITIONS IN YOUNG S LATTICE Séminaire Lotharingien de Combinatoire 75 (2016), Article B75g ODD PARTITIONS IN YOUNG S LATTICE ARVIND AYYER, AMRITANSHU PRASAD, AND STEVEN SPALLONE Abstract. We show that the subgraph induced in Young

More information

PERIODIC POINTS OF THE FAMILY OF TENT MAPS

PERIODIC POINTS OF THE FAMILY OF TENT MAPS PERIODIC POINTS OF THE FAMILY OF TENT MAPS ROBERTO HASFURA-B. AND PHILLIP LYNCH 1. INTRODUCTION. Of interest in this article is the dynamical behavior of the one-parameter family of maps T (x) = (1/2 x

More information

Hessenberg Pairs of Linear Transformations

Hessenberg Pairs of Linear Transformations Hessenberg Pairs of Linear Transformations Ali Godjali November 21, 2008 arxiv:0812.0019v1 [math.ra] 28 Nov 2008 Abstract Let K denote a field and V denote a nonzero finite-dimensional vector space over

More information

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 1. Let R be a commutative ring with 1 0. (a) Prove that the nilradical of R is equal to the intersection of the prime

More information

Boolean Inner-Product Spaces and Boolean Matrices

Boolean Inner-Product Spaces and Boolean Matrices Boolean Inner-Product Spaces and Boolean Matrices Stan Gudder Department of Mathematics, University of Denver, Denver CO 80208 Frédéric Latrémolière Department of Mathematics, University of Denver, Denver

More information

Refined Inertia of Matrix Patterns

Refined Inertia of Matrix Patterns Electronic Journal of Linear Algebra Volume 32 Volume 32 (2017) Article 24 2017 Refined Inertia of Matrix Patterns Kevin N. Vander Meulen Redeemer University College, kvanderm@redeemer.ca Jonathan Earl

More information

VARIETIES WITHOUT EXTRA AUTOMORPHISMS I: CURVES BJORN POONEN

VARIETIES WITHOUT EXTRA AUTOMORPHISMS I: CURVES BJORN POONEN VARIETIES WITHOUT EXTRA AUTOMORPHISMS I: CURVES BJORN POONEN Abstract. For any field k and integer g 3, we exhibit a curve X over k of genus g such that X has no non-trivial automorphisms over k. 1. Statement

More information

Two Remarks on Skew Tableaux

Two Remarks on Skew Tableaux Two Remarks on Skew Tableaux Richard P. Stanley Department of Mathematics Massachusetts Institute of Technology Cambridge, MA 02139 rstan@math.mit.edu Submitted: 2011; Accepted: 2011; Published: XX Mathematics

More information

3 Matrix Algebra. 3.1 Operations on matrices

3 Matrix Algebra. 3.1 Operations on matrices 3 Matrix Algebra A matrix is a rectangular array of numbers; it is of size m n if it has m rows and n columns. A 1 n matrix is a row vector; an m 1 matrix is a column vector. For example: 1 5 3 5 3 5 8

More information

Spectra of Digraph Transformations

Spectra of Digraph Transformations Spectra of Digraph Transformations Aiping Deng a,, Alexander Kelmans b,c a Department of Applied Mathematics, Donghua University, 201620 Shanghai, China arxiv:1707.00401v1 [math.co] 3 Jul 2017 b Department

More information

SOLUTIONS OF SEMILINEAR WAVE EQUATION VIA STOCHASTIC CASCADES

SOLUTIONS OF SEMILINEAR WAVE EQUATION VIA STOCHASTIC CASCADES Communications on Stochastic Analysis Vol. 4, No. 3 010) 45-431 Serials Publications www.serialspublications.com SOLUTIONS OF SEMILINEAR WAVE EQUATION VIA STOCHASTIC CASCADES YURI BAKHTIN* AND CARL MUELLER

More information

Nordhaus-Gaddum Theorems for k-decompositions

Nordhaus-Gaddum Theorems for k-decompositions Nordhaus-Gaddum Theorems for k-decompositions Western Michigan University October 12, 2011 A Motivating Problem Consider the following problem. An international round-robin sports tournament is held between

More information

Combinatorics of non-associative binary operations

Combinatorics of non-associative binary operations Combinatorics of non-associative binary operations Jia Huang University of Nebraska at Kearney E-mail address: huangj2@unk.edu December 26, 2017 This is joint work with Nickolas Hein (Benedictine College),

More information

1 Matrices and Systems of Linear Equations. a 1n a 2n

1 Matrices and Systems of Linear Equations. a 1n a 2n March 31, 2013 16-1 16. Systems of Linear Equations 1 Matrices and Systems of Linear Equations An m n matrix is an array A = (a ij ) of the form a 11 a 21 a m1 a 1n a 2n... a mn where each a ij is a real

More information

PRIMES Math Problem Set

PRIMES Math Problem Set PRIMES Math Problem Set PRIMES 017 Due December 1, 01 Dear PRIMES applicant: This is the PRIMES 017 Math Problem Set. Please send us your solutions as part of your PRIMES application by December 1, 01.

More information

Review of Linear Algebra

Review of Linear Algebra Review of Linear Algebra Throughout these notes, F denotes a field (often called the scalars in this context). 1 Definition of a vector space Definition 1.1. A F -vector space or simply a vector space

More information

Unmixed Graphs that are Domains

Unmixed Graphs that are Domains Unmixed Graphs that are Domains Bruno Benedetti Institut für Mathematik, MA 6-2 TU Berlin, Germany benedetti@math.tu-berlin.de Matteo Varbaro Dipartimento di Matematica Univ. degli Studi di Genova, Italy

More information

Some notes on Coxeter groups

Some notes on Coxeter groups Some notes on Coxeter groups Brooks Roberts November 28, 2017 CONTENTS 1 Contents 1 Sources 2 2 Reflections 3 3 The orthogonal group 7 4 Finite subgroups in two dimensions 9 5 Finite subgroups in three

More information

The tensor algebra of power series spaces

The tensor algebra of power series spaces The tensor algebra of power series spaces Dietmar Vogt Abstract The linear isomorphism type of the tensor algebra T (E) of Fréchet spaces and, in particular, of power series spaces is studied. While for

More information

Resonance in orbits of plane partitions and increasing tableaux. Jessica Striker North Dakota State University

Resonance in orbits of plane partitions and increasing tableaux. Jessica Striker North Dakota State University Resonance in orbits of plane partitions and increasing tableaux Jessica Striker North Dakota State University joint work with Kevin Dilks (NDSU) and Oliver Pechenik (UIUC) February 19, 2016 J. Striker

More information

On Boolean functions which are bent and negabent

On Boolean functions which are bent and negabent On Boolean functions which are bent and negabent Matthew G. Parker 1 and Alexander Pott 2 1 The Selmer Center, Department of Informatics, University of Bergen, N-5020 Bergen, Norway 2 Institute for Algebra

More information

Linear Systems and Matrices

Linear Systems and Matrices Department of Mathematics The Chinese University of Hong Kong 1 System of m linear equations in n unknowns (linear system) a 11 x 1 + a 12 x 2 + + a 1n x n = b 1 a 21 x 1 + a 22 x 2 + + a 2n x n = b 2.......

More information

Extension of continuous functions in digital spaces with the Khalimsky topology

Extension of continuous functions in digital spaces with the Khalimsky topology Extension of continuous functions in digital spaces with the Khalimsky topology Erik Melin Uppsala University, Department of Mathematics Box 480, SE-751 06 Uppsala, Sweden melin@math.uu.se http://www.math.uu.se/~melin

More information

Collatz cycles with few descents

Collatz cycles with few descents ACTA ARITHMETICA XCII.2 (2000) Collatz cycles with few descents by T. Brox (Stuttgart) 1. Introduction. Let T : Z Z be the function defined by T (x) = x/2 if x is even, T (x) = (3x + 1)/2 if x is odd.

More information

A q-analogue OF THE GENERALIZED FACTORIAL NUMBERS

A q-analogue OF THE GENERALIZED FACTORIAL NUMBERS J. Korean Math. Soc. 47 (2010), No. 3, pp. 645 657 DOI 10.4134/JKMS.2010.47.3.645 A q-analogue OF THE GENERALIZED FACTORIAL NUMBERS Seok-Zun Song, Gi-Sang Cheon, Young-Bae Jun, and LeRoy B. Beasley Abstract.

More information

Antoni Marczyk A NOTE ON ARBITRARILY VERTEX DECOMPOSABLE GRAPHS

Antoni Marczyk A NOTE ON ARBITRARILY VERTEX DECOMPOSABLE GRAPHS Opuscula Mathematica Vol. 6 No. 1 006 Antoni Marczyk A NOTE ON ARBITRARILY VERTEX DECOMPOSABLE GRAPHS Abstract. A graph G of order n is said to be arbitrarily vertex decomposable if for each sequence (n

More information

The decomposability of simple orthogonal arrays on 3 symbols having t + 1 rows and strength t

The decomposability of simple orthogonal arrays on 3 symbols having t + 1 rows and strength t The decomposability of simple orthogonal arrays on 3 symbols having t + 1 rows and strength t Wiebke S. Diestelkamp Department of Mathematics University of Dayton Dayton, OH 45469-2316 USA wiebke@udayton.edu

More information

Acyclic Digraphs arising from Complete Intersections

Acyclic Digraphs arising from Complete Intersections Acyclic Digraphs arising from Complete Intersections Walter D. Morris, Jr. George Mason University wmorris@gmu.edu July 8, 2016 Abstract We call a directed acyclic graph a CI-digraph if a certain affine

More information

Toufik Mansour 1. Department of Mathematics, Chalmers University of Technology, S Göteborg, Sweden

Toufik Mansour 1. Department of Mathematics, Chalmers University of Technology, S Göteborg, Sweden COUNTING OCCURRENCES OF 32 IN AN EVEN PERMUTATION Toufik Mansour Department of Mathematics, Chalmers University of Technology, S-4296 Göteborg, Sweden toufik@mathchalmersse Abstract We study the generating

More information

Pattern Popularity in 132-Avoiding Permutations

Pattern Popularity in 132-Avoiding Permutations Pattern Popularity in 132-Avoiding Permutations The MIT Faculty has made this article openly available. Please share how this access benefits you. Your story matters. Citation As Published Publisher Rudolph,

More information

Groups of Prime Power Order with Derived Subgroup of Prime Order

Groups of Prime Power Order with Derived Subgroup of Prime Order Journal of Algebra 219, 625 657 (1999) Article ID jabr.1998.7909, available online at http://www.idealibrary.com on Groups of Prime Power Order with Derived Subgroup of Prime Order Simon R. Blackburn*

More information

MTH Linear Algebra. Study Guide. Dr. Tony Yee Department of Mathematics and Information Technology The Hong Kong Institute of Education

MTH Linear Algebra. Study Guide. Dr. Tony Yee Department of Mathematics and Information Technology The Hong Kong Institute of Education MTH 3 Linear Algebra Study Guide Dr. Tony Yee Department of Mathematics and Information Technology The Hong Kong Institute of Education June 3, ii Contents Table of Contents iii Matrix Algebra. Real Life

More information

MUTUALLY ORTHOGONAL FAMILIES OF LINEAR SUDOKU SOLUTIONS. 1. Introduction

MUTUALLY ORTHOGONAL FAMILIES OF LINEAR SUDOKU SOLUTIONS. 1. Introduction MUTUALLY ORTHOGONAL FAMILIES OF LINEAR SUDOKU SOLUTIONS JOHN LORCH Abstract For a class of linear sudoku solutions, we construct mutually orthogonal families of maximal size for all square orders, and

More information

Jónsson posets and unary Jónsson algebras

Jónsson posets and unary Jónsson algebras Jónsson posets and unary Jónsson algebras Keith A. Kearnes and Greg Oman Abstract. We show that if P is an infinite poset whose proper order ideals have cardinality strictly less than P, and κ is a cardinal

More information

Maximal perpendicularity in certain Abelian groups

Maximal perpendicularity in certain Abelian groups Acta Univ. Sapientiae, Mathematica, 9, 1 (2017) 235 247 DOI: 10.1515/ausm-2017-0016 Maximal perpendicularity in certain Abelian groups Mika Mattila Department of Mathematics, Tampere University of Technology,

More information

The cocycle lattice of binary matroids

The cocycle lattice of binary matroids Published in: Europ. J. Comb. 14 (1993), 241 250. The cocycle lattice of binary matroids László Lovász Eötvös University, Budapest, Hungary, H-1088 Princeton University, Princeton, NJ 08544 Ákos Seress*

More information

Product distance matrix of a tree with matrix weights

Product distance matrix of a tree with matrix weights Product distance matrix of a tree with matrix weights R B Bapat Stat-Math Unit Indian Statistical Institute, Delhi 7-SJSS Marg, New Delhi 110 016, India email: rbb@isidacin Sivaramakrishnan Sivasubramanian

More information

--------------------------------------------------------------------------------------------- Math 6023 Topics: Design and Graph Theory ---------------------------------------------------------------------------------------------

More information

EIGENVALUES AND EIGENVECTORS 3

EIGENVALUES AND EIGENVECTORS 3 EIGENVALUES AND EIGENVECTORS 3 1. Motivation 1.1. Diagonal matrices. Perhaps the simplest type of linear transformations are those whose matrix is diagonal (in some basis). Consider for example the matrices

More information

Zygfryd Kominek REMARKS ON THE STABILITY OF SOME QUADRATIC FUNCTIONAL EQUATIONS

Zygfryd Kominek REMARKS ON THE STABILITY OF SOME QUADRATIC FUNCTIONAL EQUATIONS Opuscula Mathematica Vol. 8 No. 4 008 To the memory of Professor Andrzej Lasota Zygfryd Kominek REMARKS ON THE STABILITY OF SOME QUADRATIC FUNCTIONAL EQUATIONS Abstract. Stability problems concerning the

More information

Spanning Trees in Grid Graphs

Spanning Trees in Grid Graphs Spanning Trees in Grid Graphs Paul Raff arxiv:0809.2551v1 [math.co] 15 Sep 2008 July 25, 2008 Abstract A general method is obtained for finding recurrences involving the number of spanning trees of grid

More information