Mathematics Commons^™

Why Sigmoid Transformation Helps Incorporate Logic Into Deep Learning: A Theoretical Explanation, Chitta Baral, Vladik Kreinovich

Departmental Technical Reports (CS)

Traditional neural networks start from the data, they cannot easily handle prior knowledge -- this is one of the reasons why they often take very long to train. It is desirable to incorporate prior knowledge into deep learning. For the case when this knowledge consists of propositional statements, a successful way to incorporate this knowledge was proposed in a recent paper by van Krieken et al. That paper uses the fact that a neural network does not directly return a truth value, it returns a real value -- in effect, the degree of confidence in the corresponding statement -- from …

A Survey On Varieties Generated By Small Semigroups And A Companion Website, João Araújo, João Pedro Araújo, Peter J. Cameron, Edmond W. H. Lee, Jorge Raminhos

Mathematics Faculty Articles

This paper presents new findings on varieties generated by small semigroups and groups, and offers a survey of existing results. A companion website is provided which hosts a computational system integrating automated reasoning tools, finite model builders, SAT solvers, and GAP. This platform is a living guide to the literature. In addition, the first complete and justified list of identity bases for all varieties generated by a semigroup of order up to 4 is provided as supplementary material. The paper concludes with an extensive list of open problems.

Bioactivity And Structural Properties Of Hydroxyapatite On Ti6a|4v And Si(100) Surfaces By Pulsed Laser Deposition, Salizhan Kylchbekov

Masters Theses & Specialist Projects

Although biomedical implant technology is very advanced, there are still caveats in terms of biocompatibility properties because metals are inert to biological processes such as osseointegration, cell growth, and cell adhesion. This results in statistically significant complications and opens rooms for improvements. Among many techniques to improve this problem, coating the metal surface with biologically functional materials has resulted in the best performances. Hydroxyapatite (HAP), Ca_₁₀(PO_₄)_₆(OH)_₂, is the most stable form of calcium phosphates in human body environment and is functional in key processes such as ion exchange, osteoblast (bone cells) formation, …

A Nonparametric Test For Comparing Survival Functions Based On Restricted Distance Correlation, Quinyang Zhang

Mathematical Sciences Faculty Publications and Presentations

In this article, we propose an omnibus test for comparing two survival functions under non-proportional hazards. The test statistic is based on a product-limit estimate of the restricted distance correlation, which is closely related to the L₂ distance between survival curves. The strong consistency is established under mild regularity conditions. Our simulation studies show that the new test has satisfactory power under proportional hazard and various non-proportional hazards settings including delayed treatment effect, diminishing effect, and crossing survival curves; therefore, it can be a competitive alternative to the existing omnibus tests such as Kolmogorov-Smirnov test, Cramer-von Mises test, two-stage …

Pappus Of Alexandria, Book Iii Of The Mathematical Collection, Pappus Of Alexandria, John B. Little

Holy Cross Bookshelf

John B. Little is the translator.

This is a translation of Book III of the Mathematical Collection by Pappus of Alexandria (ca. 290 - 350 CE) from the original Greek to English, following the edition of Friedrich Hultsch. While other books of the Mathematical Collection have been translated into English and short quotations from Book III have appeared in a number of places (see the Introduction), to my knowledge, no complete English translation of Book III has been published. Pappus was very influential as a sort of conduit between knowledge preserved from ancient Greek mathematics and European mathematicians in the …

If We Add Axiom Of Choice To Constructive Analysis, We Get Classical Arithmetic: An Exercise In Reverse Constructive Mathematics, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

A recent paper in Bulletin of Symbolic Logic reminded that the Axiom of Choice is, in general, false in constructive analysis. This result is an immediate consequence of a theorem -- first proved by Tseytin -- that every computable function is continuous. In this paper, we strengthen the result about the Axiom of Choice by proving that this axiom is as non-constructive as possible: namely, that if we add this axiom to constructive analysis, then we get full classical arithmetic.

When Is A Single "And"-Condition Enough?, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

In many practical situations, there are several possible decisions. Any general recommendation means specifying, for each possible decision, conditions under which this decision is recommended. In some cases, a single "and"-condition is sufficient: e.g., a condition under which a patient is recommended to take aspirin is that "the patient has a fever and the patient does not have stomach trouble". In other cases, conditions are more complicated. A natural question is: when is a single "and"-condition enough? In this paper, we provide an answer to this question.

Discrete Complementary Exponential And Sine Integral Functions, Samer Assaf, Tom Cuchta

Mathematics Faculty Research

Discrete analogues of the sine integral and complementary exponential integral functions are investigated. Hypergeometric representation, power series, and Laplace transforms are derived for each. The difficulties in extending these definitions to other common trigonometric integral functions are discussed.

Foundations Of Memory Capacity In Models Of Neural Cognition, Chandradeep Chowdhury

Master's Theses

A central problem in neuroscience is to understand how memories are formed as a result of the activities of neurons. Valiant’s neuroidal model attempted to address this question by modeling the brain as a random graph and memories as subgraphs within that graph. However the question of memory capacity within that model has not been explored: how many memories can the brain hold? Valiant introduced the concept of interference between memories as the defining factor for capacity; excessive interference signals the model has reached capacity. Since then, exploration of capacity has been limited, but recent investigations have delved into the …

Applications Of Survival Estimation Under Stochastic Order To Cancer: The Three Sample Problem, Sage Vantine

Honors Program Theses and Research Projects

Stochastic ordering of probability distributions holds various practical applications. However, in real-world scenarios, the empirical survival functions extracted from actual data often fail to meet the requirements of stochastic ordering. Consequently, we must devise methods to estimate these distribution curves in order to satisfy the constraint. In practical applications, such as the investigation of the time of death or the progression of diseases like cancer, we frequently observe that patients with one condition are expected to exhibit a higher likelihood of survival at all time points compared to those with a different condition. Nevertheless, when we attempt to fit a …

Energy Extraction, Or Lack Thereof, Nishanth Gudapati

Mathematics

The problem of stability of rotating black holes is the subject of a long standing research program since the 1960s and remains an unresolved problem in general relativity. A major obstacle in the black hole stability problem is that the energy of waves propagating through rotating black holes spacetimes is not necessarily positive-definite, due to the so called ergo-region. This is a serious complication that limits the efficacy of most mathematical techniques. In this expository article, we report that, despite the ergo-region, there exists a positive-definite total energy for axisymmetric Maxwell, gravitational and electrovacuum perturbations of Kerr and Kerr–Newman black …

Characterization Of The Long-Distance Dispersal Kernel Of White-Tailed Deer And Evaluating Its Impact On Chronic Wasting Disease Spread In Wisconsin, Mennatallah Gouda

All Graduate Theses and Dissertations, Fall 2023 to Present

Chronic Wasting Disease (CWD) is a fatal, untreatable neurodegenerative disease that infects deer and related species. It is highly contagious and caused by abnormal malfunction and assembly of normal cellular proteins into aggregation-prone proteins. The Centers for Disease Control and prevention report that the prevalence of CWD in free-ranging deer in the US is still relatively low. However, in several states the infection rates exceed 1 deer in 10. Deer may uptake CWD from direct interaction with infected individuals or from the environment. Infected individuals shed CWD into the environment through feces, urine, saliva or carcasses, and long-distance dispersal of …

Unexpectedness Stratified By Codimension, Frank Zimmitti

Department of Mathematics: Dissertations, Theses, and Student Research

A recent series of papers, starting with the paper of Cook, Harbourne, Migliore, and Nagel on the projective plane in 2018, studies a notion of unexpectedness for finite sets Z of points in N-dimensional projective space. Say the complete linear system L of forms of degree d vanishing on Z has dimension t yet for any general point P the linear system of forms vanishing on Z with multiplicity m at P is nonempty. If the dimension of L is more than the expected dimension of t−r, where r is N+m−1 choose …

(R2061) Differential Equations Involving A New Definition Of Complex Number Derivatives, Mehmet Pakdemirli

Applications and Applied Mathematics: An International Journal (AAM)

The recently proposed complex number differential operator is used in formulating ordinary differential equations for the first time. The differential operator definition is totally different than the real number differentiation of complex valued functions. The basic definitions and properties of the differential operator are given first. Various linear differential equations are treated containing the new differential operator. Associated theorems with the differential equations are given. Then the nonlinear differential equations of complex valued functions are treated. In separated form, the complex differential operator equations lead to nonlinear coupled real valued equations. Various nonlinear differential equations with complex number derivatives are …

Wavelet Compression As An Observational Operator In Data Assimilation Systems For Sea Surface Temperature, Bradley J. Sciacca

LSU New Orleans Theses and Dissertations

The ocean remains severely under-observed, in part due to its sheer size. Containing nearly billion of water with most of the subsurface being invisible because water is extremely difficult to penetrate using electromagnetic radiation, as is typically used by satellite measuring instruments. For this reason, most observations of the ocean have very low spatial-temporal coverage to get a broad capture of the ocean’s features. However, recent “dense but patchy” data have increased the availability of high-resolution – low spatial coverage observations. These novel data sets have motivated research into multi-scale data assimilation methods. Here, we demonstrate a new assimilation approach …

(R2054) Convergence Of Lagrange-Hermite Interpolation Using Non-Uniform Nodes On The Unit Circle, Swarnima Bahadur, Sameera Iqram, Varun .

Applications and Applied Mathematics: An International Journal (AAM)

In this research article, we brought into consideration the set of non-uniformly distributed nodes on the unit circle to investigate a Lagrange-Hermite interpolation problem. These nodes are obtained by projecting vertically the zeros of Jacobi polynomial onto the unit circle along with the boundary points of the unit circle on the real line. Explicitly representing the interpolatory polynomial as well as establishment of convergence theorem are the key highlights of this manuscript. The result proved are of interest to approximation theory.

Using Gamification To Foster Student Resilience And Motivation To Learn, And Using Games To Teach Significance Testing Concepts In The Statistics Classroom, Todd Partridge

All Graduate Theses and Dissertations, Fall 2023 to Present

Two studies are outlined in this dissertation.

In the first study, elements of Super Mario Bros. videos games were used to change the way college students in a beginners’ statistics course were graded on their work. This was part of an effort to help students remain optimistic in the face of challenging coursework and even failure on assignments and tests. The study shows that the changes made to the grading structure did help students to keep trying and to use the materials given to them by their professor until they achieved their desired grade in the course, and suggests ways …

A Mathematical App For The Conceptual Understanding Of Area And Perimeter, Jumela F. Sarmiento, Debbie Marie B. Verzosa, Maria Alva Q. Aberin, Ma. Louise Antonette De Las Penas, Agnes D. Garciano, Juan Carlo F. Mallari, Mark Anthony C. Tolentino

Mathematics Faculty Publications

This paper discusses an app that was developed to build a strong understanding of the concepts of area and perimeter in students. An important feature of the app is the three-component feature which highlights progressive learning: Explore, designed for the learning of the conceptual understanding of area and perimeter; Apply, where area and perimeter concepts are applied; and Create intended for constructing representations to develop higher order thinking skills. The pedagogical basis for the creation of the app, the game design elements employed in the app as well as the integration of the app in the classroom will be presented.

A Visualization App On Proving Geometric Concepts, Ma. Louise Antonette N. De Las Peñas, Debbie Marie B. Verzosa, Maria Alva Q. Aberin, Agnes D. Garciano, Jumela F. Sarmiento, Mark Anthony C. Tolentino, Juan Carlo F. Mallari

Mathematics Faculty Publications

This paper discusses the description, design and pedagogical basis of a mathematical app called Two Column Proof which provides students a framework for writing proofs of geometric statements. The app focuses on proving concepts on: properties of parallelograms, conditions that determine when a quadrilateral is a parallelogram, properties on trapezoids and kites for high school mathematics. It employs visual representations for students to understand the statement or reason of each given line in the proof, strengthening their logical and mathematical knowledge needed in the proof construction.

Design Of A Mobile App To Promote Understanding And Fluency In Finding The Equation Of A Line, Agnes D. Garciano, Maria Alva Q. Aberin, Ma Louise Antonette N. Delaspeñas, Juan Carlo F. Mallari, Jumela F. Sarmiento, Mark Anthony C. Tolentino, Debbie Marie B. Verzosa

Mathematics Faculty Publications

This paper focuses on the design of a mobile app called Pick or Fish that fosters comprehension and mastery of the concepts of slopes, y-intercepts and equations of lines. The app's pedagogical value lies in its potential to help students understand and become proficient in these concepts. The app is suitable for use on low-cost mobile devices. It functions within an engaging game-like setting featuring visual elements that enable students to see the effect of parameter changes on the direction of a line. The beginner and advanced levels of the app have scaffolding features that gradually introduce the students to …

Strategies Community College Mexican American Adult College Algebra Students Use When Graphing Function Transformations, Roxana Pamela Jimenez

Theses and Dissertations

This qualitative case study pursued to describe the different strategies Mexican American adult students in a local community college used to graph function transformations. Participants in the study were purposefully selected using a criterion sampling to ensure participants were atypical, above average students between the ages 18-22, and had a final course average of 89.5-100 in College Algebra. Three research questions were examined 1) In what ways do Mexican American adult college students graph a function transformation? 2) Which strategies do students implement when graphing a function transformation? Qualitative research methods using think aloud semi-structured interviews were used in this …

A Combinatorial Proof Of Supercranks For Partitions With A Fixed Number Of Parts, Jacob J. Gutierrez

Theses and Dissertations

In a previous paper by Eichhorn and Kronholm, a selection of supercranks for p(n,m) was established by generating functions. In this paper we will reprove this result with combinatorial witnesses for the selection of supercranks via integer lattice points.

Attitudes Towards Mathematics Of Developmental Mathematics Students In A Community College, Benjamin Ortiz

Theses and Dissertations

Reformations to developmental mathematics aim to remove barriers for students entering higher education. Challenges like costly multi-course sequences and high failure rates prohibit students’ access to college-level math courses and prevent degree or certification completion. Understanding factors that foster student success is critical to increase student success. This study focuses on students’ attitudes towards mathematics, utilizing the novice-expert continuum through Code et al.’s Mathematical Attitude and Perceptions Survey (MAPS) instrument. Student expertise scores, including all MAPS dimensions and specific dimension scores, were assigned. Kruskal-Wallis Rank-Sum tests identified differences in student populations by course and attitude dimension. …

Case Studies Of Algebra 1 Teachers Selection And Implementation Of Mathematics Tasks Toward Situated Learning, Luis Román Sauceda

Theses and Dissertations

Mathematical tasks are vital in active learning, especially in situated learning. Adequate selection and appropriate implementation of tasks are steps toward success in engaging students for active learning. This study explored how a professional development (PD) workshop influences teacher participants’ capabilities in selecting, redesigning, implementing, and reflecting on mathematical tasks to promote situated and active learning. The teacher participants were Algebra 1 teachers from a South Texas secondary school. During the workshop, participants developed and implemented activities after being shown situated learning strategies to promote student-centered learning. They were required to design hypothetical dialogues to simulate their class practice before …

Quasipolynomials And The Unimodality Of Gaussian Polynomials, Paul Marsh

Theses and Dissertations

We illustrate a method to prove the unimodality of Gaussian polynomials ${N+m \brack m}$ for $m = 5$ and $6$, building upon Dr. Brandt Kronholm's work, which proved unimodality for $m = 2,3,$ and $4$. Our approach involves viewing coefficients $p(n,m,N)$ of Gaussian polynomials $N+m \brack m$ based on how far away $n$ is from the central coefficient $p(\lfloor\frac{mN}{2}\rfloor,m,N)$ and then creating generating functions for those coefficients. We then take the difference of neighboring generating functions and change those generating functions into quasipolynomials to verify that their coefficients are non-negative. While the generalization of these generating functions for the coefficients …

An Automatic Solver For Optimal Control Problems, Marcel Efren Benitez

Theses and Dissertations

Optimal control theory is a study that is used to find a control for a dynamical system over a period of time such that a objection function is optimized. In this study we will be looking at optimal control problems for ordinary differential equations or ODEs and see that we can use an automatic solver using the forward-backward sweep using Matlab to solve for them from an 1 dimension to bounded cases and to nth dimension cases.

Convolution And Autoencoders Applied To Nonlinear Differential Equations, Noah Borquaye

Electronic Theses and Dissertations

Autoencoders, a type of artificial neural network, have gained recognition by researchers in various fields, especially machine learning due to their vast applications in data representations from inputs. Recently researchers have explored the possibility to extend the application of autoencoders to solve nonlinear differential equations. Algorithms and methods employed in an autoencoder framework include sparse identification of nonlinear dynamics (SINDy), dynamic mode decomposition (DMD), Koopman operator theory and singular value decomposition (SVD). These approaches use matrix multiplication to represent linear transformation. However, machine learning algorithms often use convolution to represent linear transformations. In our work, we modify these approaches to …

Complex Dimensions Of 100 Different Sierpinski Carpet Modifications, Gregory Parker Leathrum

Master's Theses

We used Dr. M. L. Lapidus's Fractal Zeta Functions to analyze the complex fractal dimensions of 100 different modifications of the Sierpinski Carpet fractal construction. We will showcase the theorems that made calculations easier, as well as Desmos tools that helped in classifying the different fractals and computing their complex dimensions. We will also showcase all 100 of the Sierpinski Carpet modifications and their complex dimensions.

An Exposition Of The Curvature Of Warped Product Manifolds, Angelina Bisson

Electronic Theses, Projects, and Dissertations

The field of differential geometry is brimming with compelling objects, among which are warped products. These objects hold a prominent place in differential geometry and have been widely studied, as is evident in the literature. Warped products are topologically the same as the Cartesian product of two manifolds, but with distances in one of the factors in skewed. Our goal is to introduce warped product manifolds and to compute their curvature at any point. We follow recent literature and present a previously known result that classifies all flat warped products to find that there are flat examples of warped products …

A Bridge Between Graph Neural Networks And Transformers: Positional Encodings As Node Embeddings, Bright Kwaku Manu

Electronic Theses and Dissertations

Graph Neural Networks and Transformers are very powerful frameworks for learning machine learning tasks. While they were evolved separately in diverse fields, current research has revealed some similarities and links between them. This work focuses on bridging the gap between GNNs and Transformers by offering a uniform framework that highlights their similarities and distinctions. We perform positional encodings and identify key properties that make the positional encodings node embeddings. We found that the properties of expressiveness, efficiency and interpretability were achieved in the process. We saw that it is possible to use positional encodings as node embeddings, which can be …