Physical Sciences and Mathematics Commons^™

How To Make Ai More Reliable, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

One of the reasons why the results of the current AI methods (especially deep-learning-based methods) are not absolutely reliable is that, in contrast to more traditional data processing techniques which are based on solid mathematical and statistical foundations, modern AI techniques use a lot of semi-heuristic methods. These methods have been, in many cases, empirically successful, but the absence of solid justification makes us less certain that these methods will work in other cases as well. To make AI more reliable, it is therefore necessary to provide mathematical foundations for the current semi-heuristic techniques. In this paper, we show that …

Why Magenta Is Not A Real Color, And How It Is Related To Fuzzy Control And Quantum Computing, Victor L. Timchenko, Yuriy P. Kondratenko, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

It is well known that every color can be represented as a combination of three basic colors: red, green, and blue. In particular, we can get several colors by combining two of the basic colors. Interestingly, while a combination of two neighboring colors leads to a color that corresponds to a certain frequency, the combination of two non-neighboring colors -- red and blue -- leads to magenta, a color that does not correspond to any frequency. In this paper, we provide a simple explanation for this phenomenon, and we also show that a similar phenomenon happens in two other areas …

How To Propagate Uncertainty Via Ai Algorithms, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

Any data processing starts with measurement results. Measurement results are never absolutely accurate. Because of this measurement uncertainty, the results of processing measurement results are, in general, somewhat different from what we would have obtained if we knew the exact values of the measured quantities. To make a decision based on the result of data processing, we need to know how accurate is this result, i.e., we need to propagate the measurement uncertainty through the data processing algorithm. There are many techniques for uncertainty propagation. Usually, they involve applying the same data processing algorithm several times to appropriately modified data. …

Me And Mathematics: “Doing What You’Re Talking About”: In Dialogue With My Family, Eden Morris

Dissertations, Theses, and Capstone Projects

This paper is a philosophically oriented accompaniment to my audio project (accessible through the following link: https://cuny.manifoldapp.org/projects/me-and-mathematics). Working together, the paper and audio collages form a call to action and a resource. My primary finding is the importance of doing what you’re talking about or exploring and implementing your ideas experientially. Doing what you’re talking about is important for effective teaching/learning and feeling in line with oneself. This working concept came to my attention during my research conversation with my oldest living relative, and then, again, with my youngest (non-baby) relative. This doing what you’re talking about is a way …

(R2067) Solutions Of Hyperbolic System Of Time Fractional Partial Differential Equations For Heat Propagation, Sagar Sankeshwari, Vinayak Kulkarni

Applications and Applied Mathematics: An International Journal (AAM)

Hyperbolic linear theory of heat propagation has been established in the framework of a Caputo time fractional order derivative. The solution of a system of integer and fractional order initial value problems is achieved by employing the Adomian decomposition approach. The obtained solution is in convergent infinite series form, demonstrating the method’s strengths in solving fractional differential equations. Moreover, the double Laplace transform method is employed to acquire the solution of a system of integer and fractional order boundary conditions in the Laplace domain. An inversion of double Laplace transforms has been achieved numerically by employing the Xiao algorithm in …

(R2074) A Comparative Study Of Two Novel Analytical Methods For Solving Time-Fractional Coupled Boussinesq-Burger Equation, Jyoti U. Yadav, Twinkle R. Singh

Applications and Applied Mathematics: An International Journal (AAM)

In this paper, a comparative study between two different methods for solving nonlinear timefractional coupled Boussinesq-Burger equation is conducted. The techniques are denoted as the Natural Transform Decomposition Method (NTDM) and the Variational Iteration Transform Method (VITM). To showcase the efficacy and precision of the proposed approaches, a pair of different numerical examples are presented. The outcomes garnered indicate that both methods exhibit robustness and efficiency, yielding approximations of heightened accuracy and the solutions in a closed form. Nevertheless, the VITM boasts a distinct advantage over the NTDM by addressing nonlinear predicaments without recourse to the application of Adomian polynomials. …

Bifurcations And Resultants For Rational Maps And Dynatomic Modular Curves In Positive Characteristic, Colette Lapointe

Dissertations, Theses, and Capstone Projects

No abstract provided.

A Thesis, Or Digressions On Sculptural Practice: In Which, Concepts & Influences Thereof Are Explained, Set Forth, Catalogued, Or Divulged By Way Of Commentaries To A Poem, First Conceived By The Artist, Fed Through Chatg.P.T., And Re-Edited By The Artist, To Which Are Added, Annotated References, Impressions And Ruminations Thereof, Also Including Private Thoughts & Personal Accounts Of The Artist, Jaimie An

Masters Theses

This thesis is an exercise in, perhaps a futile, attempt to trace just some of the ideas, stories, and musings I might meander through in my process. It’s not quite a map, nor is it a neat catalogue; it is a haphazard collection of tickets and receipts from a travel abroad, carelessly tossed in a carry-on, only to be stashed upon returning home. These ideas are derived from much greater thinkers and authors than myself; I am a mere collector or a translator, if that, and not a very good one, for much is lost. I do not claim comprehensive …

On The Ratio-Type Family Of Copulas, Farid El Ktaibi, Rachid Bentoumi, Mhamed Mesfioui

All Works

Investigating dependence structures across various fields holds paramount importance. Consequently, the creation of new copula families plays a crucial role in developing more flexible stochastic models that address the limitations of traditional and sometimes impractical assumptions. The present article derives some reasonable conditions for validating a copula of the ratio-type form (Formula presented.). It includes numerous examples and discusses the admissible range of parameter (Formula presented.), showcasing the diversity of copulas generated through this framework, such as Archimedean, non-Archimedean, positive dependent, and negative dependent copulas. The exploration extends to the upper bound of a general family of copulas, (Formula presented.), …

Why Empirical Membership Functions Are Well-Approximated By Piecewise Quadratic Functions: Theoretical Explanation For Empirical Formulas Of Novak's Fuzzy Natural Logic, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

Empirical analysis shows that membership functions describing expert opinions have a shape that is well described by a smooth combination of two quadratic segments. In this paper, we provide a theoretical explanation for this empirical phenomenon.

Why Fully Consistent Quantum Field Theories Require That The Space-Time Be At Least 10-Dimensional: A Commonsense Field-Based Explanation, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

It is known that quantum field theories that describe fields in our usual 4-dimensional space-times are not fully consistent: they predict meaningless infinite values for some physical quantities. There are some known tricks to avoid such infinities, but it is definitely desirable to have a fully consistent theory, a theory that would produce correct results without having to use additional tricks. It turns out that the only way to have such a theory is to consider space-times of higher dimensions, the smallest of which is 10. There are complex mathematical reasons for why 10 is the smallest such dimension. However, …

Why Is Grade Distribution Often Bimodal? Why Individualized Teaching Adds Two Sigmas To The Average Grade? And How Are These Facts Related?, Christian Servin, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

To make education more effective, to better use emerging technologies in education, we need to better understand the education process, to gain insights on this process. How can we check whether a new idea is indeed a useful insight? A natural criterion is that the new idea should explain some previously-difficult-to-explain empirical phenomenon. Since one of the main advantages of emerging educational technologies -- such as AI -- is the possibility of individualized education, a natural phenomenon to explain is the fact -- discovered by Benjamin Bloom -- that individualization adds two sigmas to the average grade. In this paper, …

Towards A More Subtle (And Hopefully More Adequate) Fuzzy "And"-Operation: Normalization-Invariant Multi-Input Aggregation Operators, Yusuf Güven, Vladik Kreinovich

Departmental Technical Reports (CS)

Many reasonable conditions have been formulated for a fuzzy "and"-operation: idempotency, commutativity, associativity, etc. It is known that the only "and"-operation that satisfies all these conditions is minimum, but minimum is not the most adequate description of expert's "and", and it often does not lead to the best control or the best decision. Many other more adequate "and"-operations (t-norms) have been proposed and effectively used, but they do not satisfy the natural idempotency condition. In this paper, we show that a small relaxation of the usual description of "and"-operations leads to the possibility of non-minimum idempotent operations. We also show …

Sigma_N-Correct Forcing Axioms, Benjamin P. Goodman

Dissertations, Theses, and Capstone Projects

I introduce a new family of axioms extending ZFC set theory, the Sigma_n-correct forcing axioms. These assert roughly that whenever a forcing name a' can be forced by a poset in some forcing class Gamma to have some Sigma_n property phi which is provably preserved by all further forcing in Gamma, then a' reflects to some small name such that there is already in V a filter which interprets that small name so that phi holds. Sigma_1-correct forcing axioms turn out to be equivalent to classical forcing axioms, while Sigma_2-correct forcing axioms for Sigma_2-definable forcing classes are consistent relative to …

Pt-Symmetry And Eigenmodes, Tamara Gratcheva

University Honors Theses

Spectra of systems with balanced gain and loss, described by Hamiltonians with parity and time-reversal (PT) symmetry is a rich area of research. This work studies by means of numerical techniques, how eigenvalues and eigenfunctions of a Schrodinger operator change as a gain-loss parameter changes. Two cases on a disk with zero boundary conditions are considered. In the first case, within the enclosing disk, we place a parity (P) symmetric configuration of three smaller disks containing gain and loss media, which does not have PT-symmetry. In the second case, we study a PT-symmetric configuration …

Dehn's Problems And Geometric Group Theory, Noelle Labrie

Master's Theses

In 1911, mathematician Max Dehn posed three decision problems for finitely

presented groups that have remained central to the study of combinatorial

group theory. His work provided the foundation for geometric group theory,

which aims to analyze groups using the topological and geometric properties

of the spaces they act on. In this thesis, we study group actions on Cayley

graphs and the Farey tree. We prove that a group has a solvable word problem

if and only if its associated Cayley graph is constructible. Moreover, we prove

that a group is finitely generated if and only if it acts geometrically …

Matrix Approximation And Image Compression, Isabella R. Padavana

Master's Theses

This thesis concerns the mathematics and application of various methods for approximating matrices, with a particular eye towards the role that such methods play in image compression. An image is stored as a matrix of values with each entry containing a value recording the intensity of a corresponding pixel, so image compression is essentially equivalent to matrix approximation. First, we look at the singular value decomposition, one of the central tools for analyzing a matrix. We show that, in a sense, the singular value decomposition is the best low-rank approximation of any matrix. However, the singular value decomposition has some …

On Near-Linear Cellular Automata Over Near Spaces, Abdul-Rahman M. Nasser

Dissertations

Cellular Automata can be considered as examples of massively parallel machines. They are computational mathematical objects consisting of a grid of cells, each of which can exist in a finite number of states. These cells evolve over discrete time steps according to a set of predefined rules based on the states of neighboring cells. The notion of cellular automata was first introduced by Ulam and von Neumann and then popularized by John H. Conway in the 1970s with one of the most famous examples being The Game of Life.

This research builds on and generalizes the work of Tullio Ceccherini-Silberstein …

A Microgenetic Learning Analysis Of Contextuality In Reasoning About Exponential Modeling, Elahe Allahyari

Dissertations

This work explores the complex cognitive processes students engage in when addressing contextual tasks requiring linear and exponential models. Grounded within Piagetian constructivism and the Knowledge in Pieces (KiP) epistemological perspective (diSessa, 1993, 2018), this empirical study in a clinical setting develops a Microgenetic Learning Analysis (MLA) of the reasoning of 14 students from an Algebra II course. It reveals the critical role of cognitive disequilibrium as an essential cognitive state for conceptual development and the process of reorganizing knowledge systems. The study uncovers the fluctuations in students’ reasoning patterns and the significant impact on students’ reasoning patterns of task-specific …

Multivalued Variational Inequalities With Generalized Fractional Φ-Laplacians, Vy Khoi Le

Mathematics and Statistics Faculty Research & Creative Works

In this article, we examine variational inequalities of the form (Formula presented.), where (Formula presented.) is a generalized fractional (Formula presented.) -Laplace operator, K is a closed convex set in a fractional Musielak–Orlicz–Sobolev space, and (Formula presented.) is a multivalued integral operator. We consider a functional analytic framework for the above problem, including conditions on the multivalued lower order term (Formula presented.) such that the problem can be properly formulated in a fractional Musielak–Orlicz–Sobolev space, and the involved mappings have certain useful monotonicity–continuity properties. Furthermore, we investigate the existence of solutions contingent upon certain coercivity conditions.

Differential Methylation Region Detection Via An Array-Adaptive Normalized Kernelweighted Model, Daniel Alhassan, Gayla R. Olbricht, Akim Adekpedjou

Mathematics and Statistics Faculty Research & Creative Works

A differentially methylated region (DMR) is a genomic region that has significantly different methylation patterns between biological conditions. Identifying DMRs between different biological conditions is critical for developing disease biomarkers. Although methods for detecting DMRs in microarray data have been introduced, developing methods with high precision, recall, and accuracy in determining the true length of DMRs remains a challenge. In this study, we propose a normalized kernel-weighted model to account for similar methylation profiles using the relative probe distance from "nearby" CpG sites. We also extend this model by proposing an array-adaptive version in attempt to account for the differences …

Parabolic And Non-Parabolic Surfaces With Small Or Large End Spaces Via Fenchel-Nielsen Parameters, Michael Antony Pandazis

Dissertations, Theses, and Capstone Projects

We consider conditions on the Fenchel-Nielsen parameters of a Riemann surface X that determine whether or not a surface X is parabolic. Fix a geodesic pants decomposition of a surface and call the boundary geodesics in the decomposition cuffs. For a zero or half-twist flute surface, we prove that parabolicity is equivalent to the surface having a covering group of the first kind. Using that result, we give necessary and sufficient conditions on the Fenchel-Nielsen parameters of a half-twist flute surface X with increasing cuff lengths such that X is parabolic. As an application, we determine whether or not each …

Higher Diffeology Theory, Emilio Minichiello

Dissertations, Theses, and Capstone Projects

Finite dimensional smooth manifolds have been studied for hundreds of years, and a massive theory has been built around them. However, modern mathematicians and physicists are commonly dealing with objects outside the purview of classical differential geometry, such as orbifolds and loop spaces. Diffeology is a new framework for dealing with such generalized smooth spaces. This theory (whose development started in earnest in the 1980s) has started to catch on amongst the wider mathematical community, thanks to its simplicity and power, but it is not the only approach to dealing with generalized smooth spaces. Higher topos theory is another such …

New Examples Of Self-Dual Near-Extremal Ternary Codes Of Length 48 Derived From 2-(47,23,11) Designs, Sanja Rukavina, Vladimir Tonchev

Michigan Tech Publications, Part 2

In a recent paper (Araya and Harada, 2023), Araya and Harada gave examples of self-dual near-extremal ternary codes of length 48 for 145 distinct values of the number A12 of codewords of minimum weight 12, and raised the question about the existence of codes for other values of A12. In this note, we use symmetric 2-(47,23,11) designs with an automorphism group of order 6 to construct self-dual near-extremal ternary codes of length 48 for 150 new values of A12.

Explicit Composition Identities For Higher Composition Laws In The Quadratic Case, Ajith A. Nair

Dissertations, Theses, and Capstone Projects

The theory of Gauss composition of integer binary quadratic forms provides a very useful way to compute the structure of ideal class groups in quadratic number fields. In addition to that, Gauss composition is also important in the problem of representations of integers by binary quadratic forms. In 2001, Bhargava discovered a new approach to Gauss composition which uses 2x2x2 integer cubes, and he proved a composition law for such cubes. Furthermore, from the higher composition law on cubes, he derived four new higher composition laws on the following spaces - 1) binary cubic forms, 2) pairs of binary quadratic …

Representation Theory And Its Applications In Physics, Max Varverakis

Master's Theses

Representation theory, which encodes the elements of a group as linear operators on a vector space, has far-reaching implications in physics. Fundamental results in quantum physics emerge directly from the representations describing physical symmetries. We first examine the connections between specific representations and the principles of quantum mechanics. Then, we shift our focus to the braid group, which describes the algebraic structure of braids. We apply representations of the braid group to physical systems in order to investigate quasiparticles known as anyons. Finally, we obtain governing equations of anyonic systems to highlight the differences between braiding statistics and conventional Bose-Einstein/Fermi-Dirac …

Hyperbolic Groups And The Word Problem, David Wu

Master's Theses

Mikhail Gromov’s work on hyperbolic groups in the late 1980s contributed to the formation of geometric group theory as a distinct branch of mathematics. The creation of hyperbolic metric spaces showed it was possible to define a large class of hyperbolic groups entirely geometrically yet still be able to derive significant algebraic properties. The objectives of this thesis are to provide an introduction to geometric group theory through the lens of quasi-isometry and show how hyperbolic groups have solvable word problem. Also included is the Stability Theorem as an intermediary result for quasi-isometry invariance of hyperbolicity.

A Brief Introduction To General Topology, Richard P. Millspaugh

Open Educational Resources

The material in this text is intended to be accessible to undergraduates who have had an introduction to elementary set theory and proof techniques. It includes sufficient material from general topology to prove the two main topological results found in a standard first semester calculus course: the Intermediate Value Theorem and the Extreme Value Theorem. This material can be found in Chapters 2 through 6 and makes up the bulk of the text. Rather than approaching these topics through use of the standard euclidean metric, it defines the standard topology on R in terms of the usual order on R. …

Linear Ode Systems Having A Fundamental Matrix Of The Form F(Mt), Kevin L. Shirley, Vicky W. Klima

CODEE Journal

We interweave scaffolded problem statements with exposition and examples to support the reader as they explore specific linear systems of differential equations with variable coefficients, $\vec{x}'(t)=A(t)\vec{x}(t)$ and initial value $\vec{x}(0)$. We begin with a constant $n\times n$ matrix $M$ and a real or complex-valued function $f$, analytic at the eigenvalues of $M$ with $f(0) = 1$, and construct a linear system of differential equations with solutions $x(t)=f(Mt)\vec{x}(0)$, where $t$ is a parameter in some interval including zero. In general, the solutions to the resulting non-autonomous system are more difficult to analyze than solutions to the constant coefficient case. However, some …

Numerical Simulations For A Non-Newtonian Power Law Fluids In Oscillating Lid-Driven Square Cavity, Nusrat Rehman, Rashid Mahmood, Sara Fatima

International Journal of Emerging Multidisciplinaries: Mathematics

Fluid flows in cavities has been one of the important benchmark problems in Computational Fluid Dynamics to test and validate open source and commercial codes. Fluid mixing plays a pivotal role in Chemical and Process engineering research. Cavities have emerged as valuable assets in facilitating mixing processes. Enhancement of mixing within cavities can be achieved through various means, including the installation of baffles within the domain, utilization of stirrers, and implementation of an oscillating lid. We focus on oscillating lid driven flows in cavities in this thesis including the non-Newtonian fluid (Power law model). Numerical simulations are performed for top …