Digital Commons Network^™

A Generalized Kodaira Vanishing Theorem For Lie Algebroids And A Riemann–Roch Theorem For Singular Foliation, Tengzhou Hu

Arts & Sciences Graduate Student Theses and Dissertations

A Lie algebroid is a generalization of Lie algebra that provides a general framework to describe the symmetries of a manifold. In this thesis, we first generalize the Kodaira vanishing theorem, which is a basic result in complex geometry, to K\"{a}hler Lie algebroids. The generalization of the Kodaira vanishing theorem states that the kernel of the Lie algebroid Laplace operator on Lie algebroid positive line bundle-valued $(p,q)$-forms vanishes when $p+q$ is sufficiently large. The most difficult part of the proof of the generalized Kodaira vanishing theorem is the generalization of the K\"{a}hler identities to Lie algebroids. Secondly, we introduce Lie …

On The Hardness Of The Balanced Connected Subgraph Problem For Families Of Regular Graphs, Harsharaj Pathak

Theory & Applications of Graphs

The Balanced Connected Subgraph problem (BCS) was introduced by Bhore et al. In the BCS problem we are given a vertex-colored graph G = (V, E) where each vertex is colored “red” or “blue”. The goal is to find a maximum cardinality induced connected subgraph H of G such that H contains an equal number of red and blue vertices. This problem is known to be NP-hard for general graphs as well as many special classes of graphs. In this work we explore the time complexity of the BCS problem in case of regular graphs. We prove that the BCS …

The Vulnerabilities To The Rsa Algorithm And Future Alternative Algorithms To Improve Security, James Johnson

Cybersecurity Undergraduate Research Showcase

The RSA encryption algorithm has secured many large systems, including bank systems, data encryption in emails, several online transactions, etc. Benefiting from the use of asymmetric cryptography and properties of number theory, RSA was widely regarded as one of most difficult algorithms to decrypt without a key, especially since by brute force, breaking the algorithm would take thousands of years. However, in recent times, research has shown that RSA is getting closer to being efficiently decrypted classically, using algebraic methods, (fully cracked through limited bits) in which elliptic-curve cryptography has been thought of as the alternative that is stronger than …

Renormalized Stress-Energy Tensor For Scalar Fields In Hartle-Hawking, Boulware, And Unruh States In The Reissner-Nordström Spacetime, Julio Arrechea, Cormac Breen, Adrian Ottewill, Peter Taylor

Articles

In this paper, we consider a quantum scalar field propagating on the Reissner-Nordström black hole spacetime. We compute the renormalized stress-energy tensor for the field in the Hartle-Hawking, Boulware and Unruh states. When the field is in the Hartle-Hawking state, we renormalize using the recently developed “extended coordinate” prescription. This method, which relies on Euclidean techniques, is very fast and accurate. Once, we have renormalized in the Hartle-Hawking state, we compute the stress-energy tensor in the Boulware and Unruh states by leveraging the fact that the difference between stress-energy tensors in different quantum states is already finite. We consider a …

A Review On Possible Physical Meaning Of Elastic-Electromagnetic Mathematical Equivalences, Florentin Smarandache, Victor Christianto

Branch Mathematics and Statistics Faculty and Staff Publications

It is known, despite special theory of relativity has been widely accepted, in our recent draft submitted to this journal it is shown that some experiments have been carried out suggesting superluminal wave propagation, which make Minkowski lightcone not valid anymore. Therefore, it seems worth to reconsider the connection between elastic wave and electromagnetic wave equations, as in their early development. In this paper we will start with Maxwell-Dirac isomorphism, then we will find its connection with elastic wave equations.

Every Relu-Based Neural Network Can Be Described By A System Of Takagi-Sugeno Fuzzy Rules: A Theorem, Barnabas Bede, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

While modern deep-learning neural networks are very successful, sometimes they make mistakes, and since their results are "black boxes" -- no explanation is provided -- it is difficult to determine which recommendations are erroneous. It is therefore desirable to make the resulting computations explainable, i.e., to describe their results by using commonsense rules. In this paper, we use "fuzzy" techniques -- techniques developed by Lotfi Zadeh to deal with commonsense rules formulated by using imprecise ("fuzzy") words from natural language -- to show that such a rule-based representation is always possible. Our result does not yet provide the desired explainability, …

Smooth Non-Additive Integrals And Measures And Their Potential Applications, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

In this paper, we explain why non-additive integrals and measures are needed, how non-additive integrals and measures are related, how to use them in decision making, and how they can help in fundamental physics. These four topics are covered, correspondingly, in Sections 2-5 of this paper.

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 …

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 …

Measuring The Lengths Of Sperm Whales Of The Northern Gulf Of Mexico By Wavelet Analysis Of Their Usual Clicks, George Drouant

LSU New Orleans Theses and Dissertations

Abstract

Acoustic recordings of underwater sounds produced by marine mammals present an attractive alternative to costly and logistically complex ship based visual surveys for collecting population data for various species.

The first reported use of underwater acoustic recordings in the long-term monitoring of sperm whale populations was by Ackleh et al. (Ackleh et al., 2012). The paper describes counting sperm whale clicks at different locations to track population changes over time.

Analysis of sperm whale clicks offers additional insight into sperm whale populations. The echo location clicks (usual clicks) of sperm whales can be used to give an estimate of …

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 …

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 …

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 …

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 …

(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 …