Mathematics Commons^™

Computational Methods For Nonlinear Systems Analysis With Applications In Mathematics And Engineering, Geoffrey Kenneth Rose

Mechanical & Aerospace Engineering Theses & Dissertations

An investigation into current methods and new approaches for solving systems of nonlinear equations was performed. Nontraditional methods for implementing arc-length type solvers were developed in search of a more robust capability for solving general systems of nonlinear algebraic equations. Processes for construction of parameterized curves representing the many possible solutions to systems of equations versus finding single or point solutions were established. A procedure based on these methods was then developed to identify static equilibrium states for solutions to multi-body-dynamic systems. This methodology provided for a pictorial of the overall solution to a given system, which demonstrated the possibility …

Flagellar Swimming In Viscoelastic Fluids: Role Of Fluid Elastic Stress Revealed By Simulations Based On Experimental Data, Chuanbin Li, Boyang Qin, Arvind Gopinath, Paulo E. Arratia, Becca Thomases, Robert D. Guy

Mathematics Sciences: Faculty Publications

Many important biological functions depend on microorganisms' ability to move in viscoelastic fluids such as mucus and wet soil. The effects of fluid elasticity on motility remain poorly understood, partly because the swimmer strokes depend on the properties of the fluid medium, which obfuscates the mechanisms responsible for observed behavioural changes. In this study, we use experimental data on the gaits of Chlamydomonas reinhardtii swimming in Newtonian and viscoelastic fluids as inputs to numerical simulations that decouple the swimmer gait and fluid type in order to isolate the effect of fluid elasticity on swimming. In viscoelastic fluids, cells employing the …

A Retinal Vessel Detection Approach Based On Shearlet Transform And Indeterminacy Filtering On Fundus Images, Florentin Smarandache, Yanhui Guo, Umit Budak, Abdulkadir Sengur

Branch Mathematics and Statistics Faculty and Staff Publications

A fundus image is an effective tool for ophthalmologists studying eye diseases. Retinal vessel detection is a significant task in the identification of retinal disease regions. This study presents a retinal vessel detection approach using shearlet transform and indeterminacy filtering. The fundus image’s green channel is mapped in the neutrosophic domain via shearlet transform. The neutrosophic domain images are then filtered with an indeterminacy filter to reduce the indeterminacy information. A neural network classifier is employed to identify the pixels whose inputs are the features in neutrosophic images. The proposed approach is tested on two datasets, and a receiver operating …

Neutrosophic Commutative N-Ideals In Bck-Algebras, Florentin Smarandache, Seok-Zun Song, Young Bae Jun

Branch Mathematics and Statistics Faculty and Staff Publications

The notion of a neutrosophic commutative N -ideal in BCK-algebras is introduced, and several properties are investigated. Relations between a neutrosophic N -ideal and a neutrosophic commutative N -ideal are discussed. Characterizations of a neutrosophic commutative N -ideal are considered.

Neutrosophic N -Structures Applied To Bck/Bci-Algebras, Florentin Smarandache, Young Bae Jun, Hashem Bordbar

Branch Mathematics and Statistics Faculty and Staff Publications

Neutrosophic N -structures with applications in BCK/BC I-algebras is discussed. The notions of a neutrosophic N -subalgebra and a (closed) neutrosophic N -ideal in a BCK/BC I-algebra are introduced, and several related properties are investigated. Characterizations of a neutrosophic N -subalgebra and a neutrosophic N -ideal are considered, and relations between a neutrosophic N -subalgebra and a neutrosophic N -ideal are stated. Conditions for a neutrosophic N -ideal to be a closed neutrosophic N -ideal are provided.

Cybersecurity: Time Series Predictive Modeling Of Vulnerabilities Of Desktop Operating System Using Linear And Non-Linear Approach, Nawa Raj Pokhrel, Hansapani Rodrigo, Chris P. Tsokos

School of Mathematical & Statistical Sciences Faculty Publications

Vulnerability forecasting models help us to predict the number of vulnerabilities that may occur in the future for a given Operating System (OS). There exist few models that focus on quantifying future vulnerabilities without consideration of trend, level, seasonality and non linear components of vulnerabilities. Unlike traditional ones, we propose a vulnerability analytic prediction model based on linear and non-linear approaches via time series analysis. We have developed the models based on Auto Regressive Moving Average (ARIMA), Artificial Neural Network (ANN), and Support Vector Machine (SVM) settings. The best model which provides the minimum error rate is selected for prediction …

Asymptotic Counting Formulas For Markoff-Hurwitz Tuples, Ryan Ronan

Dissertations, Theses, and Capstone Projects

The Markoff equation is a Diophantine equation in 3 variables first studied in Markoff's celebrated work on indefinite binary quadratic forms. We study the growth of solutions to an n variable generalization of the Markoff equation, which we refer to as the Markoff-Hurwitz equation. We prove explicit asymptotic formulas counting solutions to this generalized equation with and without a congruence restriction. After normalizing and linearizing the equation, we show that all but finitely many solutions appear in the orbit of a certain semigroup of maps acting on finitely many root solutions. We then pass to an accelerated subsemigroup of maps …

Some Results In Combinatorial Number Theory, Karl Levy

Dissertations, Theses, and Capstone Projects

The first chapter establishes results concerning equidistributed sequences of numbers. For a given $d\in\mathbb{N}$, $s(d)$ is the largest $N\in\mathbb{N}$ for which there is an $N$-regular sequence with $d$ irregularities. We compute lower bounds for $s(d)$ for $d\leq 10000$ and then demonstrate lower and upper bounds $\left\lfloor\sqrt{4d+895}+1\right\rfloor\leq s(d)< 24801d^{3} + 942d^{2} + 3$ for all $d\geq 1$. In the second chapter we ask if $Q(x)\in\mathbb{R}[x]$ is a degree $d$ polynomial such that for $x\in[x_k]=\{x_1,\cdots,x_k\}$ we have $|Q(x)|\leq 1$, then how big can its lead coefficient be? We prove that there is a unique polynomial, which we call $L_{d,[x_k]}(x)$, with maximum lead coefficient under these constraints and construct an algorithm that generates $L_{d,[x_k]}(x)$.

Interstructure Lattices And Types Of Peano Arithmetic, Athar Abdul-Quader

Dissertations, Theses, and Capstone Projects

The collection of elementary substructures of a model of PA forms a lattice, and is referred to as the substructure lattice of the model. In this thesis, we study substructure and interstructure lattices of models of PA. We apply techniques used in studying these lattices to other problems in the model theory of PA.

In Chapter 2, we study a problem that had its origin in Simpson, who used arithmetic forcing to show that every countable model of PA has an expansion to PA^∗ that is pointwise definable. Enayat later showed that there are 2^ℵ₀ models with …

Lessons From Between The White Lines For Isolated Data Scientists, Benjamin Baumer

Mathematics Sciences: Faculty Publications

Many current and future data scientists will be “isolated”—working alone or in small teams within a larger organization. This isolation brings certain challenges as well as freedoms. Drawing on my considerable experience both working in the professional sports industry and teaching in academia, I discuss troubled waters likely to be encountered by newly minted data scientists and offer advice about how to navigate them. Neither the issues raised nor the advice given are particular to sports and should be applicable to a wide range of knowledge domains.

Collaborative Research: Mathematics Of Doing, Understanding, Learning And Educating For Secondary Schools, Brynja R. Kohler

Funded Research Records

No abstract provided.

The Double Pivot Simplex Method, Fabio Vitor, Todd Easton

Mathematics Faculty Publications

The simplex method, created by George Dantzig, optimally solves a linear program by pivoting. Dantzig’s pivots move from a basic feasible solution to a different basic feasible solution by exchanging exactly one basic variable with a nonbasic variable. This paper introduces the double pivot simplex method, which can transition between basic feasible solutions using two variables instead of one. Double pivots are performed by identifying the optimal basis in a two variable linear program using a new method called the slope algorithm. The slope algorithm is fast and allows an iteration of DPSM to have the same theoretical running time …

On A Frobenius Problem For Polynomials, Ricardo Conceição, R. Gondim, M. Rodriguez

Math Faculty Publications

We extend the famous diophantine Frobenius problem to a ring of polynomials over a field~k. Similar to the classical problem we show that the n = 2 case of the Frobenius problem for polynomials is easy to solve. In addition, we translate a few results from the Frobenius problem over ℤ to k[t] and give an algorithm to solve the Frobenius problem for polynomials over a field k of sufficiently large size.

“Wrong” Side Interpolation By Positive Real Rational Functions, Daniel Alpay, Izchak Lewkowicz

Mathematics, Physics, and Computer Science Faculty Articles and Research

Using polynomial interpolation, along with structural properties of the family of rational positive real functions, we here show that a set of m nodes in the open left half of the complex plane, can always be mapped to anywhere in the complex plane by rational positive real functions whose degree is at most m. Moreover we introduce an easy-to-find parametrization in R2m+3 of a large subset of these interpolating functions.

Categorical Models For Equivariant Classifying Spaces, Bertrand J. Guillou, J. Peter May, Mona Merling

Mathematics Faculty Publications

Starting categorically, we give simple and precise models for classifying spaces of equivariant principal bundles. We need these models for work in progress in equi- variant infinite loop space theory and equivariant algebraic K–theory, but the models are of independent interest in equivariant bundle theory and especially equivariant covering space theory.

Evolution Of Superoscillations For Schrödinger Equation In A Uniform Magnetic Field, Fabrizio Colombo, Jonathan Gantner, Daniele C. Struppa

Mathematics, Physics, and Computer Science Faculty Articles and Research

Aharonov-Berry superoscillations are band-limited functions that oscillate faster than their fastest Fourier component. Superoscillations appear in several fields of science and technology, such as Aharonov’s weak measurement in quantum mechanics, in optics, and in signal processing. An important issue is the study of the evolution of superoscillations using the Schrödinger equation when the initial datum is a weak value. Some superoscillatory functions are not square integrable, but they are real analytic functions that can be extended to entire holomorphic functions. This fact leads to the study of the continuity of a class of convolution operators acting on suitable spaces of …

Challenges In Modeling Complexity Of Neglected Tropical Diseases: A Review Of Dynamics Of Visceral Leishmaniasis In Resource Limited Settings, Swati Debroy, Olivia F. Prosper, Austin Mishoe, Anuj Mubayi

Mathematics Faculty Publications

Objectives: Neglected tropical diseases (NTD), account for a large proportion of the global disease burden, and their control faces several challenges including diminishing human and financial resources for those distressed from such diseases. Visceral leishmaniasis (VL), the second-largest parasitic killer (after malaria) and an NTD affects poor populations and causes considerable cost to the affected individuals. Mathematical models can serve as a critical and cost-effective tool for understanding VL dynamics, however, complex array of socio-economic factors affecting its dynamics need to be identified and appropriately incorporated within a dynamical modeling framework. This study reviews literature on vector-borne diseases and collects …

Ar(1) Sequence With Random Coefficients:Regenerative Properties And Its Application, Krishna B. Athreya, Koushik Saha, Radhendushka Srivastava

Communications on Stochastic Analysis

No abstract provided.

Applications Of The Lichnerowicz Laplacian To Stress Energy Tensors, Paul Bracken

School of Mathematical & Statistical Sciences Faculty Publications

A generalization of the Laplacian for p-forms to arbitrary tensors due to Lichnerowicz will be applied to a 2-tensor which has physical applications. It is natural to associate a divergencefree symmetric 2-tensor to a critical point of a specific variational problem and it is this 2-tensor that is studied. Numerous results are obtained for the stress-energy tensor, such as its divergence and Laplacian. A remarkable integral formula involving a symmetric 2-tensor and a conformal vector field is obtained as well

Preventing Neurodegenerative Memory Loss In Hopfield Neuronal Networks Using Cerebral Organoids Or External Microelectronics, M. Morrison, P. D. Maia, J. N. Kutz

Mathematics Faculty Publications - Archive

Developing technologies have made significant progress towards linking the brain with brain-machine interfaces (BMIs) which have the potential to aid damaged brains to perform their original motor and cognitive functions. We consider the viability of such devices for mitigating the deleterious effects of memory loss that is induced by neurodegenerative diseases and/or traumatic brain injury (TBI). Our computational study considers the widely used Hopfield network, an autoassociative memory model in which neurons converge to a stable state pattern after receiving an input resembling the given memory. In this study, we connect an auxiliary network of neurons, which models the BMI …

Neuronal Correlation Parameter In The Idea Of Thermodynamic Entropy Of An N-Body Gravitationally Bounded System, Ioannis Haranas, Ioannis Gkigkitzis, Ilias S. Kotsireas, Carlos Austerlitz

Physics and Computer Science Faculty Publications

Understanding how the brain encodes information and performs computation requires statistical and functional analysis. Given the complexity of the human brain, simple methods that facilitate the interpretation of statistical correlations among different brain regions can be very useful. In this report we introduce a numerical correlation measure that may serve the interpretation of correlational neuronal data, and may assist in the evaluation of different brain states. The description of the dynamical brain system, through a global numerical measure may indicate the presence of an action principle which may facilitate a application of physics principles in the study of the human …

An Ancient Bankruptcy Solution Makes Economic Sense, Anh H. Ly, Michael Zakharevich, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

While econometrics is a reasonable recent discipline, quantitative solutions to economic problem have been proposed since the ancient times. In particular, solutions have been proposed for the bankruptcy problem: how to divide the assets between the claimants? One of the challenges of analyzing ancient solutions to economics problems is that these solutions are often presented not as a general algorithm, but as a sequence of examples. When there are only a few such example, it is often difficult to convincingly extract a general algorithm from them. This was the case, for example, for the supposedly fairness-motivated Talmudic solution to the …

Weakly Horospherically Convex Hypersurfaces In Hyperbolic Space, Vincent Bonini, Jie Qing, Jingyong Zhu

Mathematics

In Bonini et al. (Adv Math 280:506–548, 2015), the authors develop a global correspondence between immersed weakly horospherically convex hypersurfaces ϕ:Mn→Hn+1 and a class of conformal metrics on domains of the round sphere Sn . Some of the key aspects of the correspondence and its consequences have dimensional restrictions n≥3 due to the reliance on an analytic proposition from Chang et al. (Int Math Res Not 2004(4):185–209, 2004) concerning the asymptotic behavior of conformal factors of conformal metrics on domains of Sn . In this paper, we prove a new lemma about the asymptotic behavior of a functional combining the …

Circumferences Of 3-Connected Claw-Free Graphs, Ii, Zhi-Hong Chen

Scholarship and Professional Work - LAS

For a graph H , the circumference of H , denoted by c ( H ) , is the length of a longest cycle in H . It is proved in Chen (2016) that if H is a 3-connected claw-free graph of order n with δ ≥ 8 , then c ( H ) ≥ min { 9 δ − 3 , n } . In Li (2006), Li conjectured that every 3-connected k -regular claw-free graph H of order n has c ( H ) ≥ min { 10 k − 4 , n } . Later, Li posed …

Time Varying Parameter Estimation Scheme For A Linear Stochastic Differential Equation, Olusegun Michael Otunuga

Mathematics Faculty Research

In this work, an attempt is made to estimate time varying parameters in a linear stochastic differential equation. By defining mk as the local admissible sample/data observation size at time tk, parameters and state at time tk are estimated using past data on interval [tk−mk+1, tk]. We show that the parameter estimates at each time tk converge in probability to the true value of the parameters being estimated. A numerical simulation is presented by applying the local lagged adapted generalized method of moments (LLGMM) method to the stochastic differential models governing prices of energy …

On ΤΣ-Quasinormal Subgroups Of Finite Groups, James C. Beidleman, Alexander N. Skiba

Mathematics Faculty Publications

Let σ = {σ_i ∣ i ∈ I} be a partition of the set of all primes P and G a finite group. A set H of subgroups of G is said to be a complete Hall σ-set of G if every member ≠ 1 of H is a Hall σ_i-subgroup of G for some i ∈ I and H contains exactly one Hall σ_i-subgroup of G for every i such that σ_i ∩ π(G) ≠ ∅.

Let τ_H(A) = {σ_i ∈ σ …

A Weighted Möbius Function, Derek Garton

Mathematics and Statistics Faculty Publications and Presentations

Fix an odd prime ℓ and let G be the poset of isomorphism classes of finite abelian ℓ-groups, ordered by inclusion. If ξ:G→R^≥0 is a discrete probability distribution on G and A ∈ G, define the Ath moment of ξ to be . The question of determining conditions that ensure ξ is completely determined by its moments has been of recent interest in many problems of Cohen–Lenstra type. Furthermore, recovering ξ from its moments requires a new Möbius-type inversion formula on G. In this paper, we define this function, relate it to the classical Möbius …

An Efficient Image Segmentation Algorithm Using Neutrosophic Graph Cut, Florentin Smarandache, Yanhui Guo, Yaman Akbulut, Abdulkadir Sengur, Rong Xia

Branch Mathematics and Statistics Faculty and Staff Publications

Segmentation is considered as an important step in image processing and computer vision applications, which divides an input image into various non-overlapping homogenous regions and helps to interpret the image more conveniently. This paper presents an efficient image segmentation algorithm using neutrosophic graph cut (NGC). An image is presented in neutrosophic set, and an indeterminacy filter is constructed using the indeterminacy value of the input image, which is defined by combining the spatial information and intensity information. The indeterminacy filter reduces the indeterminacy of the spatial and intensity information. A graph is defined on the image and the weight for …

Involute Analysis: Virtual Discourse, Memory Systems And Archive In The Involutes Of Thomas De Quincey, Kimberley A. Garcia

Dissertations, Theses, and Capstone Projects

Thomas De Quincey’s involutes inform metaphysical thought on memory and language, particularly concerning multiplicity and the virtual, repetition and difference. When co-opting the mathematic and mechanic involute in Suspiria de Profundis, De Quincey generates an interdisciplinary matrix for the semiotics underpinning his philosophy of language and theory of memory and experience. Involutes entangle and reproduce. De Quincey’s involute exposes the concrete and actual through which all experience accesses the abstract or virtual. The materiality of their informatics and technics provides a literary model and theoretical precursor to a combination of archive and systems theory. The textuality of involute system(s)—both …

Morphogenesis And Growth Driven By Selection Of Dynamical Properties, Yuri Cantor

Dissertations, Theses, and Capstone Projects

Organisms are understood to be complex adaptive systems that evolved to thrive in hostile environments. Though widely studied, the phenomena of organism development and growth, and their relationship to organism dynamics is not well understood. Indeed, the large number of components, their interconnectivity, and complex system interactions all obscure our ability to see, describe, and understand the functioning of biological organisms.

Here we take a synthetic and computational approach to the problem, abstracting the organism as a cellular automaton. Such systems are discrete digital models of real-world environments, making them more accessible and easier to study then their physical world …