Mathematics Commons^™

Statistics For Anticyclotomic Iwasawa Invariants Of Elliptic Curves, Jeffrey Hatley, Debanjana Kundu, Anwesh Ray

School of Mathematical & Statistical Sciences Faculty Publications

We study the average behaviour of the Iwasawa invariants for Selmer groups of elliptic curves, considered over anticyclotomic Zp -extensions in both the definite and indefinite settings. The results in this paper lie at the intersection of arithmetic statistics and Iwasawa theory.

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

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.