International Journal of Pure and Applied Mathematics Volume 118 No. 19 2018, 2169-2182 ISSN: 1311-8080 (printed version); ISSN: 1314-3395 (on-line version) url: http://www.ijpam.eu Special Issue ijpam.eu

The Bracing Rectangular Frameworks in STEAM Financial Engineering Education Program for Elementary School Students

Keunbae Choi1 and Namje Park2,3 1Dept. of Math. Education, Teachers College, Jeju National University [email protected] 2Department of Computer Education, Teachers College, Jeju National University [email protected] 3Elementary Education Research Institute, Jeju National University January 23, 2018

Abstract Background/Objectives: As the financial market be- comes more and more complicated and specialized due to development of IT technologies and globalization of the fi- nancial environment, financial engineering experts will come into the spotlight with the ability to analyze the situation of the financial market, to prospect the future, and analyze it scientifically and statistically based on mathematical un- derstanding and analysis ability. In this paper, we provide an algorithm to determine the rigidity of braced rectangular frameworks consisting of rectangular array of girder beams and riveted joints. Methods/Statistical analysis: The STEAM educa- tion program suggested in this paper will improve the logical

1

2169 International Journal of Pure and Applied Mathematics Special Issue

decision-making ability required to analyze and estimate the uncertain future accurately with scientific thinking, as well as to acquire the basic knowledge in the economic or mathe- matical area deemed necessary for the financial engineering experts. For the purpose of a coding program, we study the matrices induced by given rectangular frameworks. Findings: We have a necessary and sufficient condition to determine the rigidity of a rectangular framework. Also, we investigate an algorithm and python code of the problem. Key Words : Rectangular framework, , connected graph, disconnected graph, matrix, python.

1 Introduction

The new STEAM (Science, Technology, Engineering, Art, and Math) program suggested in this paper aims at helping students to have interest in financial engineering experts and to design their career creatively through the project on future promising career. The program was designed to help teachers and students understand the jobs and capabilities required for financial engineering experts through direction and execution of the financial engineering expert project. The STEAM program suggested in this paper will improve the logical decision-making ability required to analyze and estimate the uncertain future accurately with scientific thinking, as well as to acquire the basic knowledge in the economic or mathematical area deemed necessary for the financial engineering experts. With occurrence of the recent global economic crisis, this paper intends to provide the program which enables the students to acquire cre- ative thinking strategies required to handle this crisis wisely. Ulti- mately, the program will provide the students with the chance to have emotional experience through designing of financial products and communication for mutual evaluation. Many buildings are maintained by steel frameworks consisting of rectangular array of girder beams and welded or riveted joints. This is especially the case when designing high-rise buildings. However, for many reasons, these structures are treated as planar structures with pin-joints rather than rigid welds when joining the beams to- gether. The simplest form (see. Figure 1) is a rectangle consisting of four beams and four pin-joints. This structure is unstable because

2

2170 International Journal of Pure and Applied Mathematics Special Issue

it can be easily deformed under sufficiently high loads as Figure 1. For the stability of the structure, it must be braced.

Figure 1. Simplest rectangular framework6

In the case of larger structure containing many rectangular cells, it is possible to ensure the rigidity by attaching support rods to all the rectangular cells, but it is costly as shown in figure 2.

Figure 2. Rectangular framework

Actually, it is possible to ensure the rigidity of rectangular frameworks by providing the support rods in a part of the rect- angles. Then you can ask a natural question about what is the most economical way to ensure rigidity. To do this, you need to

3

2171 International Journal of Pure and Applied Mathematics Special Issue

know the ways to install the supports to ensure rigidity and what 1 7 is the least costly − . In this article, we will study a necessary and sufficient condition to determine the rigidity of a rectangular framework. Also, we investigate an algorithm and python code of the problem.

2 Rectangular frameworks and bipar- tite graph

The rigidity of rectangular frameworks with bracing is corresponds 1 7 to the connectivity of its bipartite graph − . Here, our bipartite graph is a graph; one set of vertices corresponds to the rows of the rectangular framework, the other set of vertices corresponds to the columns of the framework, and an edge joins a row-vertex and column-vertex if the cell in the corresponding row and column is 1 7 braced. In fact, it is well known that −

A rigid bracing of rectangular frameworks corresponds to con- • nected bipartite graphs (figure 3).

A non-rigid bracing of rectangular frameworks corresponds • to disconnected bipartite graphs (figure 4). A minimum rigid bracing of rectangular frameworks corresponds to spanning trees (figure 5)

Figure 3. Rigid rectangular framework and bipartite graph

4

2172 International Journal of Pure and Applied Mathematics Special Issue

Figure 4. Non-rigid rectangular framework and bipartite graph

Figure 5. Rigid rectangular framework and spanning

5

2173 International Journal of Pure and Applied Mathematics Special Issue

3 Rectangular frameworks and their ma- trix

In this section, for the purpose of a coding program, we study the matrices induced by given rectangular frameworks as shown in figure 6. Definition5. Let T be a rectangular framework and let MT = [aij], where aij = 1 if there is a braced cell in ith row and jth column in T, otherwise aij = 0. And let ET be the matrix deleted the rows of MT that the sum of entries is less than equal to 1. For example,

Figure 6. The matrices correspond to a rectangular framework.

Definition. Two row vectors rk and rl of ET (MT ) is r-connectable if there exists row vectors

ri1 , ri2 , ....., riw

of ET (MT ) such that

r .r = 0, r .r = 0, ...., r .r = 0 k i1 6 i1 i2 6 iw il 6

where is an inner product of two row vectors of ET (MT ) . In figure 6, the connected components of M are r1, r2, r3 and r4 . T { } { } The matrix ET has only one connected .

1. Theoretical results.

The following theorem is a modification of Theorem 105.

6

2174 International Journal of Pure and Applied Mathematics Special Issue

Theorem 1. A Rectangular framework T is rigid if and only if

(1) All row vectors of MT is non-zero.

(2) Every row of ET is r-connectable.

(3) The number of non-zero column vectors of ET is equal to the number of columns of MT .

Proof. Suppose that T is rigid. Then clearly (1) is satisfied. Also, the bipartite graph GT corresponding to T is connected. No- tice that zero row vectors in MT do not influence the connectedness of ET . Since a row vector ri of MT in which the only one entry is 1 is connected only one column cj in GT as shown in figure 7. That is to say, the degree of ri is 1. Hence the deleting of ri does not influence the connectedness of the remaining rows and also the row ri with degree 1 does not influence the connectedness of any two columns.

Figure 7. The row with degree 1 and the connectedness of bipartite graph

Thus (2) and (3) are satisfied. Conversely, we assume that the condition (1), (2) and (3) are satisfied. By (2), any two rows ri and rk of ET is connectable in GT . By (3), any cj (j=1, 2,...n) is connected to a row of ET inGT . By the condition (1), any the row of MT does not contained in ET is connected to a column in GT . Thus the bipartite graph GT is connected, and hence T is rigid8-13.

Corollary 23. Rectangular framework T is rigid if and only if

(1) All column vectors of MT is not zero.

7

2175 International Journal of Pure and Applied Mathematics Special Issue

(2) Every row of MT is r-connectable

Theorem 3. A Rectangular framework T is rigid as minimum bracings if and only if

(1) The number of non-zero column vectors of ET is equal to the number of columns of MT .

(2) The graph GE induced by ET is a .

Proof. Suppose that T is rigid as minimum bracing. Then by Theorem 1, the condition (1) is satisfied and also the graph GE t induced by ET = [r1r2...rk] is connected. If there exists a in GE, then one edge deleting in the cycle does not influence the connectedness of GE. Let ri be the changed row of ET (corre- sponding to one edge deleting in the cycle), in which some entry 1 of the row is changed with 0, and hence one extra beam in T is deleted. Let (ri) is the changed row from ri and let S be the rect- angular framework as one extra beam is deleted in T. The matrix t ES = [r1r2...(ri)...rk] induced by S has a r connected component r1, r2, ..., (ri), ...rk and the number of non-zero columns is equal to {the number of columns} of T. Thus S is rigid. This is a contradiction to the fact T is minimum rigid bracing of rectangular framework. Therefore (2) is satisfied. Conversely, we assume that the condition (1) and (2) are satisfied. Then we can easily prove that T is rigid 13 17 as minimum bracing from the definition of spanning tree − .

2. Algorithm and Python 8,9,10 code

Let MT and ET be matrices correspoding to rectangular frame- works T. Assume that the size of matrix M is m n. T × Step 1: If there exists a zero row vector in MT , then T is not rigid. Otherwise, go to Step 2. Step 2: Let s be a sum of all entries of MT . If s < m + n -1, then T is not rigid. If s m + n -1, then go to Step 3. ≥ Step 3: Construct ET from MT . If there exists a zero column vector in ET , then T is not rigid. Otherwise, go to Step 4. Step 4: If ET is r-connectable, the go to step 5. Otherwise, T is not rigid. The following is an ideal of the r-connectedness of the matrix ET . Choosing a row ri in ET , let D0 = ri = C0. For i = 1,

8

2176 International Journal of Pure and Applied Mathematics Special Issue

2,..., Rl is the set of all rows of the set r1,r 2, ..., rm Dl 1, in which { } − the dot product with some element of Rl 1 is non-zero as shown in − figure 8. Let Dl = Dl 1 Rl − S

Figure 8. Process matrix

14,15 Find minimum number k such that Rk is empty set .

(1) If the number of elements of the set Dk 1 is the number of rows − of the matrix ET , then go to Step 4.

(2) If the number of elements of the set Dk 1 is not the number of − rows of the matrix ET , then T is non-rigid.

Step 5: If the number of non-zero column vectors of ET is n, then T is rigid. Otherwise, T is non-rigid. The following (figure 9) is Python 3 code of our algorithm to 16 23 determine the rigidity of braced rectangular frameworks − .

9

2177 International Journal of Pure and Applied Mathematics Special Issue

Figure 9. Suggested python source code

10

2178 International Journal of Pure and Applied Mathematics Special Issue

4 Conclusion

The current convergence STEAM education performed in schools mainly consists of delivering knowledge to the students and expe- riencing the careers directly or indirectly by students. The conver- gence STEAM education will become ineffective if it fails to help students to design their own career and to develop the ability re- quired for the career. The program for elementary school students is composed of the activities which let them have indirect expe- rience in a greater category of financial engineering, and the pro- gram for middle/high school students is composed of the activities which let them to experience the jobs of the financial engineering experts. In addition to the financial and mathematical content el- ements, the program put an emphasis on mutual communication in the methodological aspects. Looking back into the past when the financial crisis started in USA and the failure in estimating risk encouraged self-examination for financial engineering experts, we also counted the risk communication ability in the key program domain. In this paper, we provide an algorithm to determine the rigidity of braced rectangular frameworks consisting of rectangu- lar array of girder beams and riveted joints. We have a necessary and sufficient condition to determine the rigidity of a rectangular framework. Also, we investigate an algorithm and python code of the problem. This paper is a generalization of the first author’s previous article.

5 Acknowledgment

This work was supported by the Ministry of Education of the Re- public of Korea and the National Research Foundation of Korea (NRF-2017S1A5A2A01026664)

References

[1] Bolker, E. D. & Henry Crapo., Bracing Rectangular Frame- works. I, SIAM J. Appl. Math. 36(3), June, 1997, 473-490. [2] Graver, J. E., Counting on frameworks: Counting on frame- works: Mathematics to Aid the design of Rigid Structures, the

11

2179 International Journal of Pure and Applied Mathematics Special Issue

Mathematical Association of America, United States of Amer- ica, 2001.

[3] Graver, J. E., Graduate Studies in Mathematics Volume 2: Combinatorial Rigidity, American Mathematical Society, 1991.

[4] Laine, S. T., The Grid Bracing Problem and a Generalization, Master’s Thesis of Worcester Polytechnic Institute, USA, 2006.

[5] Lee, J., Kwon, Y. S. & Choi, K. A study on the Bracing Rectan- gular Frameworks, J. Korea Soc. Math. Ed. Ser. E: Communi- cations of Mathematical Education, 30(2), May, 2016, 251-262.

[6] Wilson, R. J. & Wakins, J. J., Graphs;An introductory Ap- proach, John Wiley & Sons, Inc. 1990.

[7] Tan Weiyu Colin and Tay Tiong Seng, On the Bracings of m n Grids, SRP Report 2001.

[8] https://wikidocs.net/book/1

[9] https://en.wikipedia.org/wiki/NumPy

[10] https://www.youtube.com/watch?v=P3uCCN7

[11] Namje Park, Jin Kwak, Seungjoo Kim, Dongho Won, Howon Kim, WIPI Mobile Platform with Secure Service for Mobile RFID Network Environment, LNCS, Advanced Web and Net- work Technologies and Applications, 2016, Vol.3842, pp.741- 748.

[12] Park, J., Shin, S., Kang, N., Mutual Authentication and Key Agreement Scheme between Lightweight Devices in Internet of Things, J. Korea Inf. Commun. Soc., 2013, 38, pp.707714.

[13] Park N, Bang H-C,Mobile middleware platform for secure ves- sel traffic system in IoT service environment, Security Com- munication Network, 2016, 9(6), pp.500512.

[14] Lee D, Park N, Geocasting-based synchronization of Almanac on the maritime cloud for distributed smart surveillance, J Su- percomput, 2016, 73(3), pp.11031118.

12

2180 International Journal of Pure and Applied Mathematics Special Issue

[15] Park N, Hu H, Jin Q, Security and privacy mechanisms for sensor middleware and application in internet of things (IoT), Int J Distrib Sens Netw, 2016, Article 2965438.

[16] Park N, Kang N, Mutual authentication scheme in secure in- ternet of things technology for comfortable lifestyle, Sensors, 2016, 16(1), pp.116.

[17] Yeonghae Ko, Namje Park, A Study of IT Centered Smart Grid’s STEAM Curriculum and Class for 3rd and 4th Graders in Elementary School, Journal of the korean association of in- formation education, 2013, Vol.17 No.2 pp.167-175.

[18] Park N, Kim M, Implementation of load management applica- tion system using smart grid privacy policy in energy man- agement service environment, Clust Comput, 2014, 17(3), pp.653664.

[19] Park N, Implementation of inter-VTS data exchange format protocol based on mobile platform for next-generation vessel traffic service system, Int Inf Inst (Tokyo) Inf, 2014, 17(10A), pp.48474856.

[20] Park N, Park J, Kim H, Inter-authentication and session key sharing procedure for secure M2M/IoT environment, Int Inf Inst (Tokyo) Inf, 2015, 18(1), pp.261266.

[21] Park N, Implementation of inter-VTS data exchange format protocol based on mobile platform for next-generation vessel traffic service system, Int Inf Inst (Tokyo) Inf, 2014, 17(10A), pp.48474856.

[22] Park N, Implementation of terminal middleware platform for mobile RFID computing, Int J Ad Hoc Ubiquitous Comput, 2011, 8(4), pp.205219.

[23] Park N, Performance analysis for VTS-based data exchange protocol in e-navigation environment. Int J Multimed Ubiqui- tous Eng., 2016, 11(1), pp.337344.

13

2181 2182