Physical Sciences and Mathematics Commons^™

Emergence Of Quantum Theories From Classical Probability: Historical Origins, Developments, And Open Problems, Luigi Accardi, Yun-Gang Lu

Journal of Stochastic Analysis

No abstract provided.

Quantitatively Hyper-Positive Real Functions, Daniel Alpay, Izchak Lewkowicz

Mathematics, Physics, and Computer Science Faculty Articles and Research

Hyper-positive real, matrix-valued, rational functions are associated with absolute stability (the Lurie problem). Here, quantitative subsets of Hyper-positive functions, related through nested inclusions, are introduced. Structurally, this family of functions turns out to be matrix-convex and closed under inversion.

A state-space characterization of these functions through a corresponding Kalman-Yakubovich-Popov Lemma, is given. Technically, the classical Linear Matrix Inclusions, associated with passive systems, are here substituted by Quadratic Matrix Inclusions.

An Enticing Study Of Prime Numbers Of The Shape �� = ��^2 + ��^2, Xiaona Zhou

Publications and Research

We will study and prove important results on primes of the shape ��² + ��² using number theoretic techniques. Our analysis involves maps, actions over sets, fixed points and involutions. This presentation is readily accessible to an advanced undergraduate student and lay the groundwork for future studies.

An Asymptotic Formula For Integrals Of Products Of Jacobi Polynomials, Maxim Derevyagin, Nicholas Juricic

Journal of Stochastic Analysis

No abstract provided.

On Higher-Order Duality In Nondifferentiable Minimax Fractional Programming, S. Al-Homidan, Vivek Singh, I. Ahmad

Applications and Applied Mathematics: An International Journal (AAM)

In this paper, we consider a nondifferentiable minimax fractional programming problem with continuously differentiable functions and formulated two types of higher-order dual models for such optimization problem.Weak, strong and strict converse duality theorems are derived under higherorder generalized invexity.

Economics And Game Theory, Jeremiah Patrick Prenn

Mathematics Senior Showcase 2020

Game theory is one of the major fields of mathematics. Game theory is the study of how games, their players, and players’ strategies are defined, and how the games might play out. The outcomes of games are ultimately based on decisions, much like in the science of economics. Economics analyzes how scarce resources are to be allocated to suit unlimited needs. Every decision has an economic cost, and every decision has a utility value (utility being a quantitative measure of usefulness). Economics and game theory go hand in hand: Both analyze the effects of decisions and the rules imposed on …

The History And Application Of Benford's Law, Hunter Clark

Mathematics Senior Showcase 2020

My Poster is on the history and application of Benford’s law. This is a law that states that the leading digit of a set of numbers will be the number 1 approximately 30% of the time. This is a natural phenomenon and what I mean by that is that in order for this law to hold the numbers cannot be assigned. They must be random as in financial statements or logs. This law does not work on sets that are assigned such as time sheets and addresses. You will see in my poster that the original person to discover this …

Using The Chi-Square Test To Analyze Voter Behavior, Bailey Fadden

Mathematics Senior Showcase 2020

We explain the Chi-Square Test and how to use it to analyze voter behavior. Specifically we look at the behavior of U.S citizens and whether or not they voted in the 2016 U.S presidential election, and how this relates to income.

Morse-Code Encoded Eye Blinking As A Source Of Biometric Authentication Via Eeg, Ben Adams, Meghan Edgerton, Gabe Miles, Callum Young

Mathematics Senior Showcase 2020

Brain-Computer Interfaces (BCIs) have historically provided many uses in the medical field, including mobility for individuals with differing levels of paralysis. Present day research is focused around testing the efficacy of such devices on mental diseases such as Alzheimer's, Dementia, and Parkinson's. Leading companies that are spearheading the research of such devices, are looking at BCI's as a tool for solving many of the problems that these diseases produce, with the end goal of generalizing BCIs to appeal to the healthy layperson by providing an additional interface between them and the technological world. If such devices were present in society …

Internal Sorting Methods, Rebekah Marie Bitikofer

Mathematics Senior Showcase 2020

Internal sorting methods are possible when all of the items to be accessed fit in a computer's high-speed internal memory. There are quite a few (Knuth's third volume of The Art of Computer Programming covers 14 in total) but I will go over the four I found to be most versatile and useful. Each algorithm that I cover has a specific benefit that merits its' use in computer science. Some have faster run times (Heapsort), simpler code (Straight Insertion), run with a smaller memory space (Quicksort), or work well with large sets (Radix Sorting). Different sorting tasks lead users to …

Cybersecurity Of The Artificial Pancreas, D. J. Cooke, Andres Guzman, Robert Kinney, Christine Patterson, Josh Stone

Mathematics Senior Showcase 2020

We live in a world of cyber-enabled devices that enhance many aspects of life, including the treatment of diabetes. Type I Diabetes is a chronic autoimmune disorder characterized by destruction of pancreatic cells and subsequent deficiency of insulin - a crucial hormone in regulating blood glucose levels. The development of an Artificial Pancreas System is automating the maintenance of this disease by integrating wireless devices to continuously balance blood glucose levels without patient interaction. An integral part of this system is the Continuous Glucose Monitor (CGM) which wirelessly transmits blood glucose measurements every 5 minutes. CGMs and other Implantable Medical …

Construction Of A First Order Logic Theorem Prover, Luke Philip Tyler

Mathematics Senior Showcase 2020

There are many systems that have been researched in the past on automating the process of theorem proving in first-order logic. This research explores one of these systems, the tableau method. A point of interest within the tableau method is whether or not the method is sound and complete. This research was done in tandem with a computer implementation of the tableau method written in Haskell. The basic design of the implementation was to construct a fair rule for tableau expansion and expand the tableau until it was found to be closed, open, or infinite, thereby proving or disproving of …

Need For Shift-Invariant Fractional Differentiation Explains The Appearance Of Complex Numbers In Physics, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

Complex numbers are ubiquitous in physics, they lead to a natural description of different physical processes and to efficient algorithms for solving the corresponding problems. But why this seemingly counterintuitive mathematical construction is so natural here? In this paper, we provide a possible explanation of this phenomenon: namely, we show that complex numbers appear if take into account that some physical system are described by derivatives of fractional order and that a physically meaningful analysis of such derivatives naturally leads to complex numbers.

So How Were The Tents Of Israel Placed? A Bible-Inspired Geometric Problem, Julio Urenda, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

In one of the Biblical stories, prophet Balaam blesses the tents of Israel for being good. But what can be so good about the tents? A traditional Rabbinical interpretation is that the placement of the tents provided full privacy: from each entrance, one could not see what is happening at any other entrance. This motivates a natural geometric question: how exactly were these tents placed? In this paper, we provide an answer to this question.

The Surface Diffusion And The Willmore Flow For Uniformly Regular Hypersurfaces, Jeremy Lecrone, Yuanzhen Shao, Gieri Simonett

Department of Math & Statistics Faculty Publications

We consider the surface diffusion and Willmore flows acting on a general class of (possibly non–compact) hypersurfaces parameterized over a uniformly regular reference manifold possessing a tubular neighborhood with uniform radius. The surface diffusion and Willmore flows each give rise to a fourth–order quasilinear parabolic equation with nonlinear terms satisfying a specific singular structure. We establish well–posedness of both flows for initial surfaces that are C^1+α–regular and parameterized over a uniformly regular hypersurface. For the Willmore flow, we also show long–term existence for initial surfaces which are C^1+α–close to a sphere, and we prove …

A New Approach To The Q-Conjugacy Character Tables Of Finite Groups, Ali Moghani

Applications and Applied Mathematics: An International Journal (AAM)

In this paper, we study the Q-conjugacy character table of an arbitrary finite group and introduce a general relation between the degrees of Q-conjugacy characters with their corresponding reductions. This could be accomplished by using the Hermitian symmetric form. We provide a useful technique to calculate the character table of a finite group when its corresponding Qconjugacy character table is given. Then, we evaluate our results in some useful examples. Finally, by using GAP (Groups, Algorithms and Programming) package, we calculate all the dominant classes of the sporadic Conway group Co₂ enabling us to find all possible the integer-valued …

Generalized Smarandache Curves Of Spacelike And Equiform Spacelike Curves Via Timelike Second Binormal In 𝕽𝟏 𝟒, Emad Solouma

Applications and Applied Mathematics: An International Journal (AAM)

In this paper, we investigate spacelike Smarandache curves recording to the Frenet and the equiform Frenet frame of spacelike base curve with timelike second binormal vector in fourdimensional Minkowski space. Also, we compute the formulas of Frenet and equiform Frenet apparatus recording to the base curve. Furthermore, we give the geometric properties to these curves when is general helix.

On Submoduloids Of A Moduloid On Nexus, Reza Kamranialiabad, Abbas Hasankhani, Masoud Bolourian

Applications and Applied Mathematics: An International Journal (AAM)

In this paper, the submoduloid of a moduloid on nexus that is generated by a subset, cyclic submoduloid and bounded sets are defined and the properties of structures on it are investigated. Also, the fractions of a moduloid on nexus are defined and shown to be isomorphic with a moduloid on nexus.

Dual Pole Indicatrix Curve And Surface, Süleyman Senyurt, Abdussamet Çalıskan

Applications and Applied Mathematics: An International Journal (AAM)

In this paper, the vectorial moment vector of the unit Darboux vector, which consists of the motion of the Frenet vectors on any curve, is reexpressed in the form of Frenet vectors. According to the new version of this vector, the parametric equation of the ruled surface corresponding to the unit dual pole indicatrix curve is given. The integral invariants of this surface are rederived and illustrated by presenting with examples.

Delta Hedging Of Financial Options Using Reinforcement Learning And An Impossibility Hypothesis, Ronak Tali

All Graduate Theses and Dissertations, Spring 1920 to Summer 2023

In this thesis we take a fresh perspective on delta hedging of financial options as undertaken by market makers. The current industry standard of delta hedging relies on the famous Black Scholes formulation that prescribes continuous time hedging in a way that allows the market maker to remain risk neutral at all times. But the Black Scholes formulation is a deterministic model that comes with several strict assumptions such as zero transaction costs, log normal distribution of the underlying stock prices, etc. In this paper we employ Reinforcement Learning to redesign the delta hedging problem in way that allows us …

Classification Of Jacobian Elliptic Fibrations On A Special Family Of K3 Surfaces Of Picard Rank Sixteen, Thomas Hill

All Graduate Theses and Dissertations, Spring 1920 to Summer 2023

K3 surfaces are an important tool used to understand the symmetries in physics that link different string theories, called string dualities. For example, heterotic string theory compactified on an elliptic curve describes a theory physically equivalent to (dual to) F-theory compactified on a K3 surface. In fact, M-theory, the type IIA string, the type IIB string, the Spin(32)/Z₂ heterotic string, and the E₈ x E₈ heterotic string are all related by compactification on Calabi-Yau manifolds.

We study a special family of K3 surfaces, namely a family of rank sixteen K3 surfaces polarized by the lattice H⊕E …

Dynamic Neuromechanical Sets For Locomotion, Aravind Sundararajan

Doctoral Dissertations

Most biological systems employ multiple redundant actuators, which is a complicated problem of controls and analysis. Unless assumptions about how the brain and body work together, and assumptions about how the body prioritizes tasks are applied, it is not possible to find the actuator controls. The purpose of this research is to develop computational tools for the analysis of arbitrary musculoskeletal models that employ redundant actuators. Instead of relying primarily on optimization frameworks and numerical methods or task prioritization schemes used typically in biomechanics to find a singular solution for actuator controls, tools for feasible sets analysis are instead developed …

On Generating Functions In Additive Number Theory, Ii: Lower-Order Terms And Applications To Pdes, J. Brandes, Scott T. Parsell, C. Poulias, G. Shakan, R. C. Vaughn

Mathematics Faculty Publications

We obtain asymptotics for sums of the form

Sigma(p)(n=1) e(alpha(k) n(k) + alpha(1)n),

involving lower order main terms. As an application, we show that for almost all alpha(2) is an element of [0, 1) one has

sup(alpha 1 is an element of[0,1)) | Sigma(1 <= n <= P) e(alpha(1)(n(3) + n) + alpha(2)n(3))| << P3/4+epsilon,

and that in a suitable sense this is best possible. This allows us to improve bounds for the fractal dimension of solutions to the Schrodinger and Airy equations.

The Lattice Of Intuitionistic Fuzzy Topologies Generated By Intuitionistic Fuzzy Relations, Soheyb Milles

Applications and Applied Mathematics: An International Journal (AAM)

We generalize the notion of fuzzy topology generated by fuzzy relation given by Mishra and Srivastava to the setting of intuitionistic fuzzy sets. Some fundamental properties and necessary examples are given. More specifically, we provide the lattice structure to a family of intuitionistic fuzzy topologies generated by intuitionistic fuzzy relations. To that end, we study necessary structural characteristics such as distributivity, modularity and complementary of this lattice.

Fractional Nonlinear Volterra–Fredholm Integral Equations Involving Atangana–Baleanu Fractional Derivative: Framelet Applications, Mutaz Mohammad, Alexander Trounev

All Works

© 2020, The Author(s). In this work, we propose a framelet method based on B-spline functions for solving nonlinear Volterra–Fredholm integro-differential equations and by involving Atangana–Baleanu fractional derivative, which can provide a reliable numerical approximation. The framelet systems are generated using the set of B-splines with high vanishing moments. We provide some numerical and graphical evidences to show the efficiency of the proposed method. The obtained numerical results of the proposed method compared with those obtained from CAS wavelets show a great agreement with the exact solution. We confirm that the method achieves accurate, efficient, and robust measurement.

An Update On The Computational Theory Of Hamiltonian Period Functions, Bradley Joseph Klee

Graduate Theses and Dissertations

Lately, state-of-the-art calculation in both physics and mathematics has expanded to include the field of symbolic computing. The technical content of this dissertation centers on a few Creative Telescoping algorithms of our own design (Mathematica implementations are given as a supplement). These algorithms automate analysis of integral period functions at a level of difficulty and detail far beyond what is possible using only pencil and paper (unless, perhaps, you happen to have savant-level mental acuity). We can then optimize analysis in classical physics by using the algorithms to calculate Hamiltonian period functions as solutions to ordinary differential equations. The simple …

Asymptotic Expansion Of The L^2 Norms Of The Solutions To The Heat And Dissipative Wave Equations On The Heisenberg Group, Preston Walker

Theses and Dissertations

Motivated by the recent work on asymptotic expansions of heat and dissipative wave equations on the Euclidean space, and the resurgent interests in Heisenberg groups, this dissertation is devoted to the asymptotic expansions of heat and dissipative wave equations on Heisenberg groups. The Heisenberg group, $\mathbb{H}^{n}$, is the $\mathbb{R}^{2n+1}$ manifold endowed with the law $$(x,y,s)\cdot (x',y',s') = (x+x', y+y', s+ s' + \frac{1}{2} (xy' - x'y)),$$ where $x,y\in \mathbb{R}^{n}$ and $t\in \mathbb{R}$. Let $v(t,z)$ and $u(t,z)$ be solutions of the heat equation, $v_{t} - \mathcal{L} v=0$, and dissipative wave equation, $u_{tt}+u_{t} - \mathcal{L}u =0$, over the Heisenberg group respectively, where …

Proving Pairwise Intransitivity In Sets Of Dice, Erika Clary

Honors Projects

Prior research has been conducted regarding the intransitivity of a set of dice when a single die from a set is rolled against another die from that set and when two of the same dice are rolled against a different pair of two of the same dice. This project examines and proves that an intransitive cycle exists in every set of at least five dice when two different dice are rolled against two other different dice.

Sum Of Cubes Of The First N Integers, Obiamaka L. Agu

Electronic Theses, Projects, and Dissertations

In Calculus we learned that 􏰅Sum^{n}_{k=1} k = [n(n+1)]/2 , that Sum^{􏰅n}_{k=1} k^2 = [n(n+1)(2n+1)]/6 , and that Sum^{n}_{k=1} k^{3} = (n(n+1)/2)^{2}. These formulas are useful when solving for the area below quadratic or cubic function over an interval [a, b]. This tedious process, solving for areas under a quadratic or a cubic, served as motivation for the introduction of Riemman integrals. For the overzealous math student, these steps were replaced by a simpler method of evaluating antiderivatives at the endpoints a and b. From my recollection, a former instructor informed us to do the value of memorizing these formulas. …

Oer Ellipses And Traditional Rapanui Houses On Easter Island, Cynthia Huffman Ph.D.

Faculty Submissions

This worksheet activity is appropriate for secondary students in a class studying conic sections or students in a college algebra class. The first part of the activity gives an algebraic review of ellipses with exercises while the second part finds the equation of an ellipse corresponding to a Rapanui boat house foundation.