Digital Commons Network^™

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.

For Discrete-Time Linear Dynamical Systems Under Interval Uncertainty, Predicting Two Moments Ahead Is Np-Hard, Luc Jaulin, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

In the first approximation, when changes are small, most real-world systems are described by linear dynamical equations. If we know the initial state of the system, and we know its dynamics, then we can, in principle, predict the system's state many moments ahead. In practice, however, we usually know both the initial state and the coefficients of the system's dynamics with some uncertainty. Frequently, we encounter interval uncertainty, when for each parameter, we only know its range, but we have no information about the probability of different values from this range. In such situations, we want to know the range …

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 …

What To Do If An Inflexible Tolerance Problem Has No Solutions: Probabilistic Justification Of Piegat's Semi-Heuristic Idea, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

In many practical situations, it is desirable to select the control parameters x1, ..., xn in such a way that the resulting quantities y1, ..., ym of the system lie within desired ranges. In such situations, we usually know the general formulas describing the dependence of yi on xj, but the coefficients of these formulas are usually only known with interval uncertainty. In such a situation, we want to find the tuples for which all yi's are in the desired intervals for all possible tuples of coefficients. But what if no such parameters are possible? Since we cannot guarantee the …

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 …

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

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 …

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

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 …

(R2068) A Study To Assess The Stress On Students Of Higher Education During Covid-19 Using Fuzzy Logic System, Monika Rathore, Uday Raj Singh, Sanjeev Kumar

Applications and Applied Mathematics: An International Journal (AAM)

The COVID-19 pandemic significantly disrupted various sectors, with higher education being one of the most severely affected. Students in higher education faced numerous challenges transitioning to online learning, leading to a surge in mental health issues. The abrupt shift in the mode of education and the inability of many students to adapt exacerbated their mental health struggles. This, in turn, contributed to a notable rise in student suicide rates in India during the pandemic-induced isolation period. Addressing this critical socio-psychological issue requires effective strategies for stress detection and management. The proposed study employed the Online Education Stress Scale (Online ESS) …

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 …

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.

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

(R2087) Modal Operators On Bipolar Intuitionistic Fuzzy Matrices, T. Muthuraji, P. Punitha Elizabeth

Applications and Applied Mathematics: An International Journal (AAM)

Bipolar intuitionistic fuzzy sets are currently a robust area in several industries. Additionally, bipolar intuitionistic fuzzy matrices are a highly regarded topic in many fields including psychology, engineering, qualitative reasoning and multi-criteria decision making. A civilization must deal with negative and positive problems. In this article, we discussed some algebraic properties of modal operators on bipolar intuitionistic fuzzy matrices. Finally, we derive some results of necessity and possibility operators along with Max-Min product.

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 …

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 …

On An Equivalence Of Divisors On M̄0,N From Gromov-Witten Theory And Conformal Blocks, Linda Chen

Mathematics & Statistics Faculty Works

We consider a conjecture that identifies two types of base point free divisors on M̄_0,n. The first arises from Gromov-Witten theory of a Grassmannian. The second comes from first Chern classes of vector bundles associated with simple Lie algebras in type A. Here we reduce this conjecture on M̄_0,n to the same statement for n = 4. A reinterpretation leads to a proof of the conjecture on M̄_0,n for a large class, and we give sufficient conditions for the non-vanishing of these divisors.

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

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 …

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 …

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 …

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 …

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 …

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

Dissertations, Theses, and Capstone Projects

No abstract provided.

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 …

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 …

Topological Indices And Their Applications In Designing Drugs, Fedaa Ismail Abunawa

Theses

This research delves into the use of indices, in the field of drug design with a specific focus on anticancer medications. Topological indices, values derived from representations of chemical structures provide meaningful connections to the physical and chemical characteristics of molecules. These Indices act as tools for predicting behavior playing a vital role in crafting therapeutic drugs. The study primarily delves into topological indices like the Sombor index, Randi´c index, and Atom Bond Connectivity (ABC) index, which are calculated for structures and their relationships with physical properties such as molar volume, refractive index, and flash point are explored using statistical …