Dynamical Systems Commons^™

Gliders On The Sca Model, Alexa Renner

Mathematical Sciences Technical Reports (MSTR)

The Stranded Cellular Automata (SCA) model consists of a grid of cells which can each contain between zero and two strands apiece and two turning rules that control when strands turn and when they cross. While patterns on this model have been studied previously, such research has not needed an algebraic description of the model. We provide a formal algebraic definition of patterns on the model, define gliders on the model in a way which is semi-compatible with definitions of gliders in other cellular automata models, and classify all 1- and 2-stranded gliders on this model. In addition, we prove …

Counting Rotational Sets For Laminations Of The Unit Disk From First Principles, Michael J. Moorman, Gabriel B. Quijano, Matthew C. Williams Jr.

Rose-Hulman Undergraduate Mathematics Journal

By studying laminations of the unit disk, we can gain insight into the structure of Julia sets of polynomials and their dynamics in the complex plane. The polynomials of a given degree, d, have a parameter space. The hyperbolic components of such parameter spaces are in correspondence to rotational polygons, or classes of "rotational sets'', which we study in this paper. By studying the count of such rotational sets, and therefore the underlying structure of these rotational sets and polygons, we can gain insight into the interrelationship among hyperbolic components of the parameter space of these polynomials.

These rotational sets …

Relative Equilibria Of Pinwheel Point Mass Systems In A Planar Gravitational Field, Ritwik Gaur

Rose-Hulman Undergraduate Mathematics Journal

In this paper, we consider a planar case of the full two-body problem (F2BP) where one body is a pinwheel (four point masses connected via two perpendicular massless rods) and the other is a point mass. Relative equilibria (RE) are defined to be ordered pairs (r, θ) such that there exists a rotating reference frame under which the two bodies are in equilibrium when the distance between the point mass and the center of the pinwheel is r and the angle of the pinwheel within its orbit is θ. We prove that relative equilibria exist for …

Eigenvalue Algorithm For Hausdorff Dimension On Complex Kleinian Groups, Jacob Linden, Xuqing Wu

Rose-Hulman Undergraduate Mathematics Journal

In this manuscript, we present computational results approximating the Hausdorff dimension for the limit sets of complex Kleinian groups. We apply McMullen's eigenvalue algorithm \cite{mcmullen} in symmetric and non-symmetric examples of complex Kleinian groups, arising in both real and complex hyperbolic space. Numerical results are compared with asymptotic estimates in each case. Python code used to obtain all results and figures can be found at \url{https://github.com/WXML-HausDim/WXML-project}, all of which took only minutes to run on a personal computer.

Applying Hallgren’S Algorithm For Solving Pell’S Equation To Finding The Irrational Slope Of The Launch Of A Billiard Ball, Sangheon Choi

Mathematical Sciences Technical Reports (MSTR)

This thesis is an exploration of Quantum Computing applied to Pell’s equation in an attempt to find solutions to the Billiard Ball Problem. Pell’s equation is a Diophantine equation in the form of x² − ny² = 1, where n is a given positive nonsquare integer, and integer solutions are sought for x and y. We will be applying Hallgren’s algorithm for finding irrational periods in functions, in the context of billiard balls and their movement on a friction-less unit square billiard table. Our central research question has been the following: Given the cutting sequence of the billiard …

On Cantor Sets Defined By Generalized Continued Fractions, Danielle Hedvig, Masha Gorodetski

Rose-Hulman Undergraduate Mathematics Journal

We study a special class of generalized continuous fractions, both in real and complex settings, and show that in many cases, the set of numbers that can be represented by a continued fraction for that class form a Cantor set. Specifically, we study generalized continued fractions with a fixed absolute value and a variable coefficient sign. We ask the same question in the complex setting, allowing the coefficient's argument to be a multiple of \pi/2. The numerical experiments we conducted showed that in these settings the set of numbers formed by such continued fractions is a Cantor set for large …

Lebesgue Measure Preserving Thompson Monoid And Its Properties Of Decomposition And Generators, William Li

Rose-Hulman Undergraduate Mathematics Journal

This paper defines the Lebesgue measure preserving Thompson monoid, denoted by G, which is modeled on the Thompson group F except that the elements of G preserve the Lebesgue measure and can be non-invertible. The paper shows that any element of the monoid G is the composition of a finite number of basic elements of the monoid G and the generators of the Thompson group F. However, unlike the Thompson group F, the monoid G is not finitely generated. The paper then defines equivalence classes of the monoid G, use them to construct a monoid H …

Disjointness Of Linear Fractional Actions On Serre Trees, Henry W. Talbott

Rose-Hulman Undergraduate Mathematics Journal

Serre showed that, for a discrete valuation field, the group of linear fractional transformations acts on an infinite regular tree with vertex degree determined by the residue degree of the field. Since the p-adics and the polynomials over the finite field of order p act on isomorphic trees, we may ask whether pairs of actions from these two groups are ever conjugate as tree automorphisms. We analyze permutations induced on finite vertex sets, and show a permutation classification result for actions by these linear fractional transformation groups. We prove that actions by specific subgroups of these groups are conjugate only …

The Game Of Life On The Hyperbolic Plane, Yuncong Gu

Mathematical Sciences Technical Reports (MSTR)

In this paper, we work on the Game of Life on the hyperbolic plane. We are interested in different tessellations on the hyperbolic plane and different Game of Life rules. First, we show the exponential growth of polygons on the pentagon tessellation. Moreover, we find that the Group of 3 can keep the boundary of a set not getting smaller. We generalize the existence of still lifes by computer simulations. Also, we will prove some propositions of still lifes and cycles. There exists a still life under rules B1, B2, and S3.

Periodicity And Invertibility Of Lattice Gas Cellular Automata, Jiawen Wang

Mathematical Sciences Technical Reports (MSTR)

A cellular automaton is a type of mathematical system that models the behavior of a set of cells with discrete values in progressing time steps. The often complicated behaviors of cellular automata are studied in computer science, mathematics, biology, and other science related fields. Lattice gas cellular automata are used to simulate the movements of particles. This thesis aims to discuss the properties of lattice gas models, including periodicity and invertibility, and to examine their accuracy in reflecting the physics of particles in real life. Analysis of elementary cellular automata is presented to introduce the concept of cellular automata and …

New Experimental Investigations For The 3𝑥+1 Problem: The Binary Projection Of The Collatz Map, Benjamin Bairrington, Aaron Okano

Rose-Hulman Undergraduate Mathematics Journal

The 3x + 1 Problem, or the Collatz Conjecture, was originally developed in the early 1930's. It has remained unsolved for over eighty years. Throughout its history, traditional methods of mathematical problem solving have only succeeded in proving heuristic properties of the mapping. Because the problem has proven to be so difficult to solve, many think it might be undecidable. In this paper we brie y follow the history of the 3x + 1 problem from its creation in the 1930's to the modern day. Its history is tied into the development of the Cosper Algorithm, which maps binary sequences …

Divergence Diagrams: More Than Cantor Dust Lies At The Edge Of Feigenbaum Diagrams, John H. Rickert, Aaron Klebanoff

Mathematical Sciences Technical Reports (MSTR)

The dynamical system analysis of the logistic map f(x)=ax(1-x) is studied for values of a greater than 4.

Population Genetics: Estimation Of Distributions Through Systems Of Non-Linear Differential Equations, Nacer E. Abrouk, Robert J. Lopez

Mathematical Sciences Technical Reports (MSTR)

In stochastic population genetics, the fundamental quantity used for describing the genetic composition of a Mendelian population is the gene frequency. The process of change in the gene frequency is generally modeled as a stochastic process satisfying a stochastic differential equation. The drift and diffusion coefficients in this equation reflect such mechanisms as mutation, selection, and migration that affect the population. Except in very simple cases, it is difficult to determine the probability law of the stochastic process of change in gene frequency. We present a method for obtaining approximations of this process, enabling us to study models more realistic …

Linear Estimation: The Kalman-Bucy Filter, William Douglas Schindel

Graduate Theses - Mathematics

The problem of linear dynamic estimation, its solution as developed by Kalman and Bucy, and interpretations, properties and illustrations of that solution are discussed. The central problem considered is the estimation of the system state vector X, describing a linear dynamic system governed by

dx/dt = F(t)X(t) + G(t)U(t)

Y(t) = H(t)X(t) + V(t)

for observations of Y (system output), where V is a random observation-corrupting process, and U is a random system driving process.

An extension of the Kalman-Bucy filter to estimation in the absence of priori knowledge of the random process U and V is developed and illustrated.