Physical Sciences and Mathematics Commons^™

Representations From Group Actions On Words And Matrices, Joel T. Anderson

Master's Theses

We provide a combinatorial interpretation of the frequency of any irreducible representation of Sn in representations of Sn arising from group actions on words. Recognizing that representations arising from group actions naturally split across orbits yields combinatorial interpretations of the irreducible decompositions of representations from similar group actions. The generalization from group actions on words to group actions on matrices gives rise to representations that prove to be much less transparent. We share the progress made thus far on the open problem of determining the irreducible decomposition of certain representations of Sm × Sn arising from group actions on matrices.

Jones Polynomial Obstructions For Positivity Of Knots, Lizzie Buchanan

Dartmouth College Ph.D Dissertations

The fundamental problem in knot theory is distinguishing one knot from another. We accomplish this by looking at knot invariants. One such invariant is positivity. A knot is positive if it has a diagram in which all crossings are positive. A knot is almost-positive if it does not have a diagram where all crossings are positive, but it does have a diagram in which all but one crossings are positive. Given a knot with an almost-positive diagram, it is in general very hard to determine whether it might also have a positive diagram. This work provides positivity obstructions for three …

(R2051) Analysis Of Map/Ph1, Ph2/2 Queueing Model With Working Breakdown, Repairs, Optional Service, And Balking, G. Ayyappan, G. Archana

Applications and Applied Mathematics: An International Journal (AAM)

In this paper, a classical queueing system with two types of heterogeneous servers has been considered. The Markovian Arrival Process (MAP) is used for the customer arrival, while phase type distribution (PH) is applicable for the offering of service to customers as well as the repair time of servers. Optional service are provided by the servers to the unsatisfied customers. The server-2 may get breakdown during the busy period of any type of service. Though the server- 2 got breakdown, server-2 has a capacity to provide the service at a slower rate to the current customer who is receiving service …

(R1986) Neutrosophic Soft Contra E-Continuous Maps, Contra E-Irresolute Maps And Application Using Distance Measure, P. Revathi, K. Chitirakala, A. Vadivel

Applications and Applied Mathematics: An International Journal (AAM)

We introduce and investigate neutrosophic soft contra e-continuous maps and contra e-irresolute maps in neutrosophic soft topological spaces with examples. Also, neutrosophic soft contra econtinuous maps are compared with neutrosophic soft continuous maps, δ-continuous maps, δ- semi continuous maps, δ-pre continuous maps and e∗ continuous maps in neutrosophic soft topological spaces. We derive some useful results and properties related to them. An application in decision making problem using distance measure is given. An example of a candidate selection from a company interview is formulated as neutrosophic soft model problem and the hamming distance measure is applied to calculate the distance …

Asymptotic Stability Of Solitary Waves For The 1d Nls With An Attractive Delta Potential, Satoshi Masaki, Jason Murphy, Jun Ichi Segata

Mathematics and Statistics Faculty Research & Creative Works

We Consider the One-Dimensional Nonlinear Schrödinger Equation with an Attractive Delta Potential and Mass-Supercritical Nonlinearity. This Equation Admits a One-Parameter Family of Solitary Wave Solutions in Both the Focusing and Defocusing Cases. We Establish Asymptotic Stability for All Solitary Waves Satisfying a Suitable Spectral Condition, Namely, that the Linearized Operator Around the Solitary Wave Has a Two-Dimensional Generalized Kernel and No Other Eigenvalues or Resonances. in Particular, We Extend Our Previous Result [35] Beyond the Regime of Small Solitary Waves and Extend the Results of [19, 29] from Orbital to Asymptotic Stability for a Suitable Family of Solitary Waves.

Modeling And A Domain Decomposition Method With Finite Element Discretization For Coupled Dual-Porosity Flow And Navier–Stokes Flow, Jiangyong Hou, Dan Hu, Xuejian Li, Xiaoming He

Mathematics and Statistics Faculty Research & Creative Works

In This Paper, We First Propose and Analyze a Steady State Dual-Porosity-Navier–Stokes Model, Which Describes Both Dual-Porosity Flow and Free Flow (Governed by Navier–Stokes Equation) Coupled through Four Interface Conditions, Including the Beavers–Joseph Interface Condition. Then We Propose a Domain Decomposition Method for Efficiently Solving Such a Large Complex System. Robin Boundary Conditions Are Used to Decouple the Dual-Porosity Equations from the Navier–Stokes Equations in the Coupled System. based on the Two Decoupled Sub-Problems, a Parallel Robin-Robin Domain Decomposition Method is Constructed and Then Discretized by Finite Elements. We Analyze the Convergence of the Domain Decomposition Method with the Finite …

Natural Color Interpretation Of Interval-Valued Fuzzy Degrees, Victor L. Timchenko, Yury P. Kondratenko, Vladik Kreinovich, Olga Kosheleva

Departmental Technical Reports (CS)

Intuitively, interval-values fuzzy degrees are more adequate for representing expert uncertainty than the traditional [0,1]-based ones. Indeed, the very need for fuzzy degrees comes from the fact that experts often cannot describe their opinion not in terms of precise numbers, but by using imprecise ("fuzzy") words from natural language like "small". In such situations, it is strange to expect the same expert to be able to provide an exact number describing his/her degree of certainty; it is more natural to ask this expert to mark the whole interval (or even, more generally, a fuzzy set of possible degrees). In spite …

Logical Inference Inevitably Appears: Fuzzy-Based Explanation, Julio C. Urenda, Olga Kosheleva, Vladik Kreinovich, Orsolya Csiszar

Departmental Technical Reports (CS)

Many thousands years ago, our primitive ancestors did not have the ability to reason logically and to perform logical inference. This ability appeared later. A natural question is: was this appearance inevitable -- or was this a lucky incident that could have been missed? In this paper, we use fuzzy techniques to provide a possible answer to this question. Our answer is: yes, the appearance of logical inference in inevitable.

Why Softmax? Because It Is The Only Consistent Approach To Probability-Based Classification, Anatole Lokshin, Vladik Kreinovich

Departmental Technical Reports (CS)

In many practical problems, the most effective classification techniques are based on deep learning. In this approach, once the neural network generates values corresponding to different classes, these values are transformed into probabilities by using the softmax formula. Researchers tried other transformation, but they did not work as well as softmax. A natural question is: why is softmax so effective? In this paper, we provide a possible explanation for this effectiveness: namely, we prove that softmax is the only consistent approach to probability-based classification. In precise terms, it is the only approach for which two reasonable probability-based ideas -- Least …

Is Fully Explainable Ai Even Possible: Fuzzy-Based Analysis, Miroslav Svitek, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

One of the main limitations of many current AI-based decision-making systems is that they do not provide any understandable explanations of how they came up with the produced decision. Taking into account that these systems are not perfect, that their decisions are sometimes far from good, the absence of an explanation makes it difficult to separate good decisions from suspicious ones. Because of this, many researchers are working on making AI explainable. In some applications areas -- e.g., in chess -- practitioners get an impression that there is a limit to understandability, that some decisions remain inhuman -- not explainable. …

Which Activation Function Works Best For Training Artificial Pancreas: Empirical Fact And Its Theoretical Explanation, Lehel Dénes-Fazakas, Lásló Szilágyi, György Eigner, Olga Kosheleva, Martine Ceberio, Vladik Kreinovich

Departmental Technical Reports (CS)

One of the most effective ways to help patients at the dangerous levels of diabetes is an artificial pancreas, a device that constantly monitors the patient's blood sugar level and injects insulin based on this level. Patient's reaction to insulin is highly individualized, so the artificial pancreas needs to be trained on each patient. It turns out that the best training results are attained when instead of the usual ReLU neurons, we use their minor modification known as Exponential Linear Units (ELU). In this paper, we provide a theoretical explanation for the empirically observed effectiveness of ELUs.

Why Fuzzy Control Is Often More Robust (And Smoother): A Theoretical Explanation, Orsolya Csiszar, Gábor Csiszar, Olga Kosheleva, Martine Ceberio, Vladik Kreinovich

Departmental Technical Reports (CS)

In many practical situations, practitioners use easier-to-compute fuzzy control to approximate the more-difficult-co-compute optimal control. As expected, for many characteristics, this approximate control is slightly worse than the optimal control it approximates, However, with respect to robustness or smoothness, the approximating fuzzy control is often better than the original one. In this paper, we provide a theoretical explanation for this somewhat mysterious empirical phenomenon.

Dialogs Re-Enacted Across Languages, Version 2, Nigel G. Ward, Jonathan E. Avila, Emilia Rivas, Divette Marco

Departmental Technical Reports (CS)

To support machine learning of cross-language prosodic mappings and other ways to improve speech-to-speech translation, we present a protocol for collecting closely matched pairs of utterances across languages, a description of the resulting data collection and its public release, and some observations and musings. This report is intended for:

• people using this corpus
• people extending this corpus
• people designing similar collections of bilingual dialog data.

Change Notes. This version supersedes UTEP-CS-22-108. There is some new information and numerous clarifications, mostly arising from our experiences diversifying our corpus and helping a vendor to use this protocol.

On Colorings And Orientations Of Signed Graphs, Daniel Slilaty

Mathematics and Statistics Faculty Publications

A classical theorem independently due to Gallai and Roy states that a graph G has a proper k-coloring if and only if G has an orientation without coherent paths of length k. An analogue of this result for signed graphs is proved in this article.

(R1957) Some Types Of Continuous Function Via N-Neutrosophic Crisp Topological Spaces, A. Vadivel, C. John Sundar

Applications and Applied Mathematics: An International Journal (AAM)

The aim of this article is to introduced a new type of continuous functions such as N-neutrosophic crisp gamma continuous and weakly N-neutrosophic crisp gamma continuous functions in a N-neutrosophic crisp topological space and also discuss a relation between them in a N-neutrosophic crisp topological spaces. We also investigate some of their properties in N-neutrosophic crisp gamma continuous function via N-neutrosophic crisp topological spaces. Further, a contra part of continuity called N-neutrosophic crisp gamma-contra continuous map in a N-neutrosophic crisp topology is also initiated. Finally, an application based on neutrosophic score function of medical diagnosis is examined with graphical representation.

(R1977) On Geometry Of Equiform Smarandache Ruled Surfaces Via Equiform Frame In Minkowski 3-Space, Emad Solouma

Applications and Applied Mathematics: An International Journal (AAM)

In this paper, some geometric properties of equiform Smarandache ruled surfaces in Minkowski space E₁³ using an equiform frame are investigated. Also, we give the sufficient conditions that make these surfaces are equiform developable and equiform minimal related to the equiform curvatures and when the equiform base curve contained in a plane or general helix. Finally, we provide an example, such as these surfaces.

(R1997) Distance Measures Of Complex Fermatean Fuzzy Number And Their Application To Multi-Criteria Decision-Making Problem, V. Chinnadurai, S. Thayalan, A. Bobin

Applications and Applied Mathematics: An International Journal (AAM)

Multi-criteria decision-making (MCDM) is the most widely used decision-making method to solve many complex problems. However, classical MCDM approaches tend to make decisions when the parameters are imprecise or uncertain. The concept of a complex fuzzy set is new in the field of fuzzy set theory. It is a set that can collect and interpret the membership grades from the unit circle in a plane instead of the interval [0,1]. CFS cannot deal with membership and non-membership grades, while complex intuitionistic fuzzy set and complex Pythagorean fuzzy set works only for a limited range of values. The concept of a …

(R2026) Special Smarandache Ruled Surfaces According To Flc Frame In E^3, Süleyman Şenyurt, Kebire Hilal Ayvacı, Davut Canlı

Applications and Applied Mathematics: An International Journal (AAM)

In this study, we introduce some special ruled surfaces according to the Flc frame of a given polynomial curve. We name these ruled surfaces as TD₂, TD₁ ve D₂D₁ Smarandache ruled surfaces and provide their characteristics such as Gauss and mean curvatures in order to specify their developability and minimality conditions. Moreover, we examine the conditions if the parametric curves of the surfaces are asymptotic, geodesic or curvature line. Such conditions are also argued in terms of the developability and minimality conditions. Finally, we give an example and picture the corresponding graphs of ruled …

(R2028) A Brief Note On Space Time Fractional Order Thermoelastic Response In A Layer, Navneet Lamba, Jyoti Verma, Kishor Deshmukh

Applications and Applied Mathematics: An International Journal (AAM)

In this study, a one-dimensional layer of a solid is used to investigate the exact analytical solution of the heat conduction equation with space-time fractional order derivatives and to analyze its associated thermoelastic response using a quasi-static approach. The assumed thermoelastic problem was subjected to certain initial and boundary conditions at the initial and final ends of the layer. The memory effects and long-range interaction were discussed with the help of the Caputo-type fractional-order derivative and finite Riesz fractional derivative. Laplace transform and Fourier transform techniques for spatial coordinates were used to investigate the solution of the temperature distribution and …

Engaging Students With High-Stakes Problems, Deepak Basyal

Mathematics and Statistics

Engaging students in meaningful mathematics problem-solving is the intention of many education stakeholders around the world. Research suggests that the implementation of high-stakes problems in mathematics teaching is one way to strengthen students’ conceptual understanding. Many carefully crafted open-ended problems constitute high-stakes problems, and proper use of such problems in teaching and learning not only encourages learners’ flexible thinking but also helps detect their misconceptions. However, what is less practiced and understood is: how exactly one should aim to implement such problems in a classroom setting. Teaching pre-service middle school teachers for a few years using high-stakes (mostly open-ended problems) …

Strongly Invertible Knots, Equivariant Slice Genera, And An Equivariant Algebraic Concordance Group, Allison N. Miller, M. Powell

Mathematics & Statistics Faculty Works

We use the Blanchfield form to obtain a lower bound on the equivariant slice genus of a strongly invertible knot. For our main application, let K be a strongly invertible genus one slice knot with nontrivial Alexander polynomial. We show that the equivariant slice genus of an equivariant connected sum #ⁿ K is at least n/4. We also formulate an equivariant algebraic concordance group, and show that the kernel of the forgetful map to the classical algebraic concordance group is infinite rank.

Groups Of Non Positive Curvature And The Word Problem, Zoe Nepsa

Master's Theses

Given a group $\Gamma$ with presentation $\relgroup{\scr{\scr{A}}}{\scr{R}}$, a natural question, known as the word problem, is how does one decide whether or not two words in the free group, $F(\scr{\scr{A}})$, represent the same element in $\Gamma$. In this thesis, we study certain aspects of geometric group theory, especially ideas published by Gromov in the late 1980's. We show there exists a quasi-isometry between the group equipped with the word metric, and the space it acts on. Then, we develop the notion of a CAT(0) space and study groups which act properly and cocompactly by isometries on these spaces, such groups …

Bounds For The Regularity Radius Of Delone Sets, Nikolay Dolbilin, Alexey Garber, Egon Schulte, Marjorie Senechal

School of Mathematical and Statistical Sciences Faculty Publications and Presentations

Delone sets are discrete point sets X in Rd characterized by parameters (r,R), where (usually) 2r is the smallest inter-point distance of X, and R is the radius of a largest ``empty ball" that can be inserted into the interstices of X. The regularity radius ρ^d is defined as the smallest positive number ρ such that each Delone set with congruent clusters of radius ρ is a regular system, that is, a point orbit under a crystallographic group. We discuss two conjectures on the growth behavior of the regularity radius. Our ``Weak Conjecture" states that ρ^d=O(d2logd)R as d→∞, independent of~r. …

Apex Calculus: Und Edition (June 2023), Gregory Hartman, Department Of Mathematics, University Of North Dakota

Open Educational Resources

This text comprises a three–volume series on Calculus. The first part covers material taught in many “Calculus 1” courses: limits, derivatives, and the basics of integration, found in Chapters 1 through 6. The second text covers material often taught in “Calculus 2”: integration and its applications, along with an introduction to sequences, series and Taylor Polynomials, found in Chapters 7 through 10. The third text covers topics common in “Calculus 3” or “Multivariable Calculus”: parametric equations, polar coordinates, vector–valued functions, and functions of more than one variable, found in Chapters 11 through 15. All three are available separately for free. …

(R1965) Some More Properties On Generalized Double Fuzzy Z Alpha Open Sets, K. Jayapandian, A. Saivarajan, O. Uma Maheswari, J. Sathiyaraj

Applications and Applied Mathematics: An International Journal (AAM)

In this paper, a new class of sets termed as double fuzzy generalized Z alpha closed sets and double fuzzy generalized Z alpha open sets are introduced with the help of double fuzzy Z alpha open and double fuzzy Z alpha closed sets, respectively. Using these sets double fuzzy generalized Z alpha border, double fuzzy generalized Z alpha exterior and double fuzzy generalized Z alpha frontier of a fuzzy set in double fuzzy topological spaces are introduced. Also, the topological properties and characterizations of these sets and operators are studied. Furthermore, suitable examples have been provided to illustrate the theory.

Selecting The Most Adequate Fuzzy Operation For Explainable Ai: Empirical Fact And Its Possible Theoretical Explanation, Orsolya Csiszar, Gábor Csiszar, Martine Ceberio, Vladik Kreinovich

Departmental Technical Reports (CS)

A reasonable way to make AI results explainable is to approximate the corresponding deep-learning-generated function by a simple expression formed by fuzzy operations. Experiments on real data show that out of all easy-to-compute fuzzy operations, the best approximation is attained if we use an operation a + b − 0.5 ( limited to the interval [0,1]$. In this paper, we provide a possible theoretical explanation for this empirical result.

Quantifying Separability In Limit Groups, Keino Brown

Dissertations, Theses, and Capstone Projects

We show that for any finitely generated non-abelian subgroup H of a limit group L, there exists a finite-index subgroup K which is fully residually H. This generalizes the result of Wilton that limit groups admit local retractions. We also show that for any finitely generated subgroup of a limit group, there is a finite-dimensional representation of the limit group which separates the subgroup in the induced Zariski topology. As a corollary, we establish a polynomial upper bound on the size of the quotients used to separate a finitely generated subgroup in a limit group. This generalizes results of Louder, …

Discrete Polylogarithm Functions, Tom Cuchta, Dallas Freeman

Mathematics Faculty Research

We investigate a discrete analogue of the polylogarithm function. Difference and summation relations are obtained, as well as its connection to the discrete hypergeometric series.

An Explicit Construction Of Sheaves In Context, Tyler A. Bryson

Dissertations, Theses, and Capstone Projects

This document details the body of theory necessary to explicitly construct sheaves of sets on a site together with the development of supporting material necessary to connect sheaf theory with the wider mathematical contexts in which it is applied. Of particular interest is a novel presentation of the plus construction suitable for direct application to a site without first passing to the generated grothendieck topology.

Discrete Wiener Algebra In The Bicomplex Setting, Spectral Factorization With Symmetry, And Superoscillations, Daniel Alpay, Izchak Lewkowicz, Mihaela Vajiac

Mathematics, Physics, and Computer Science Faculty Articles and Research

In this paper we present parallel theories on constructing Wiener algebras in the bicomplex setting. With the appropriate symmetry condition, the bicomplex matrix valued case can be seen as a complex valued case and, in this matrix valued case, we make the necessary connection between bicomplex analysis and complex analysis with symmetry. We also write an application to superoscillations in this case.