arxiv: v1 [math.co] 3 Nov 2014
|
|
- Ferdinand Weaver
- 6 years ago
- Views:
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
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 informationACI-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 informationJORDAN 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 informationCIRCULAR 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 informationA 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 informationOn 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 informationEVALUATION 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 information0.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 information22m: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 informationStrongly 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 informationNotes 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 informationarxiv: 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 information18.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 information88 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 informationELEMENTARY 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 informationTOPOLOGICAL 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 informationMINIMAL 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 informationMATH 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 informationDISTINGUISHING 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 informationAnalytic 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 informationARCS 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 informationHere 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 informationORTHOGONAL 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 informationTHE 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 informationON 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 informationCounting 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 informationAPPENDIX 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 informationDOMINO 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 informationBare-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 informationA 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 informationDistinct 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 informationINITIAL 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 informationTHE 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 informationFRACTIONAL 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 informationarxiv: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 informationMATH 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 informationDeterminants 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 information1 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 informationA 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 information5 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 informationA 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 informationa 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 information0 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 informationThe 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 informationIntroductory 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 informationThe 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 informationMinimal 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 informationLaura 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 informationQuivers 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 informationKernels 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 informationContinuity. 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 informationThe 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
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 informationA 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 informationA 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 informationSpectra 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 informationTHE 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 informationPartial 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 informationA 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 informationODD 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 informationPERIODIC 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 informationHessenberg 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 informationHonors 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 informationBoolean 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 informationRefined 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 informationVARIETIES 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 informationTwo 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 information3 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 informationSpectra 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 informationSOLUTIONS 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 informationNordhaus-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 informationCombinatorics 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 information1 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 informationPRIMES 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 informationReview 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 informationUnmixed 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 informationSome 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 informationThe 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 informationResonance 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 informationOn 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 informationLinear 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 informationExtension 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 informationCollatz 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 informationA 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 informationAntoni 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 informationThe 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 informationAcyclic 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 informationToufik 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 informationPattern 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 informationGroups 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 informationMTH 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 informationMUTUALLY 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 informationJó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 informationMaximal 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 informationThe 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 informationProduct 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 informationEIGENVALUES 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 informationZygfryd 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 informationSpanning 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