Physical Sciences and Mathematics Commons^™

Unary-Determined Distributive ℓ -Magmas And Bunched Implication Algebras, Natanael Alpay, Peter Jipsen, Melissa Sugimoto

Mathematics, Physics, and Computer Science Faculty Articles and Research

A distributive lattice-ordered magma (dℓ-magma) (A,∧,∨,⋅) is a distributive lattice with a binary operation ⋅ that preserves joins in both arguments, and when ⋅ is associative then (A,∨,⋅) is an idempotent semiring. A dℓ-magma with a top ⊤ is unary-determined if x⋅y=(x⋅⊤∧y)∨(x∧⊤⋅y). These algebras are term-equivalent to a subvariety of distributive lattices with ⊤ and two join-preserving unary operations p, q. We obtain simple conditions on p, q such that x⋅y=(px∧y)∨(x∧qy) is associative, commutative, idempotent and/or has an identity element. This generalizes previous results on the structure of doubly idempotent semirings and, in the case when the …

Algorithmic Correspondence For Relevance Logics, Bunched Implication Logics, And Relation Algebras Via An Implementation Of The Algorithm Pearl, Willem Conradie, Valentin Goranko, Peter Jipsen

Mathematics, Physics, and Computer Science Faculty Articles and Research

The non-deterministic algorithmic procedure PEARL (acronym for ‘Propositional variables Elimination Algorithm for Relevance Logic’) has been recently developed for computing first-order equivalents of formulas of the language of relevance logics LR in terms of the standard Routley-Meyer relational semantics. It succeeds on a large class of axioms of relevance logics, including all so called inductive formulas. In the present work we re-interpret PEARL from an algebraic perspective, with its rewrite rules seen as manipulating quasi-inequalities interpreted over Urquhart’s relevant algebras, and report on its recent Python implementation. We also show that all formulae on which PEARL succeeds are canonical, i.e., …

Generalized Grassmann Algebras And Applications To Stochastic Processes, Daniel Alpay, Paula Cerejeiras, Uwe Kaehler

Mathematics, Physics, and Computer Science Faculty Articles and Research

In this paper, we present the groundwork for an Itô/Malliavin stochastic calculus and Hida's white noise analysis in the context of a supersymmetry with Z₃-graded algebras. To this end, we establish a ternary Fock space and the corresponding strong algebra of stochastic distributions and present its application in the study of stochastic processes in this context.

On The Application Of Principal Component Analysis To Classification Problems, Jianwei Zheng, Cyril Rakovski

Mathematics, Physics, and Computer Science Faculty Articles and Research

Principal Component Analysis (PCA) is a commonly used technique that uses the correlation structure of the original variables to reduce the dimensionality of the data. This reduction is achieved by considering only the first few principal components for a subsequent analysis. The usual inclusion criterion is defined by the proportion of the total variance of the principal components exceeding a predetermined threshold. We show that in certain classification problems, even extremely high inclusion threshold can negatively impact the classification accuracy. The omission of small variance principal components can severely diminish the performance of the models. We noticed this phenomenon in …

Trilinear Smoothing Inequalities And A Variant Of The Triangular Hilbert Transform, Michael Christ, Polona Durcik, Joris Roos

Mathematics, Physics, and Computer Science Faculty Articles and Research

Lebesgue space inequalities are proved for a variant of the triangular Hilbert transform involving curvature. The analysis relies on a crucial trilinear smoothing inequality developed herein, and on bounds for an anisotropic variant of the twisted paraproduct.

The trilinear smoothing inequality also leads to Lebesgue space bounds for a corresponding maximal function and a quantitative nonlinear Roth-type theorem concerning patterns in the Euclidean plane.

Graph-Theoretic Partitioning Of Rnas And Classification Of Pseudoknots-Ii, Louis Petingi

Publications and Research

Dual graphs have been applied to model RNA secondary structures with pseudoknots, or intertwined base pairs. In previous works, a linear-time algorithm was introduced to partition dual graphs into maximally connected components called blocks and determine whether each block contains a pseudoknot or not. As pseudoknots can not be contained into two different blocks, this characterization allow us to efficiently isolate smaller RNA fragments and classify them as pseudoknotted or pseudoknot-free regions, while keeping these sub-structures intact. Moreover we have extended the partitioning algorithm by classifying a pseudoknot as either recursive or non-recursive in order to continue with our research …

Estimating Turbulence Distribution Over A Heterogeneous Path Using Time‐Lapse Imagery From Dual Cameras, Benjamin Wilson, Santasri Bose-Pillai, Jack E. Mccrae, Kevin J. Keefer, Steven T. Fiorino

Faculty Publications

Knowledge of turbulence distribution along an experimental path can help in effective turbulence compensation and mitigation. Although scintillometers are traditionally used to measure the strength of turbulence, they provide a path-integrated measurement and have limited operational ranges. A technique to profile turbulence using time-lapse imagery of a distant target from spatially separated cameras is presented here. The method uses the turbulence induced differential motion between pairs of point features on a target, sensed at a single camera and between cameras to extract turbulence distribution along the path. The method is successfully demonstrated on a 511 m almost horizontal path going …

On A Polyanalytic Approach To Noncommutative De Branges–Rovnyak Spaces And Schur Analysis, Daniel Alpay, Fabrizio Colombo, Kamal Diki, Irene Sabadini

Mathematics, Physics, and Computer Science Faculty Articles and Research

In this paper we begin the study of Schur analysis and of de Branges–Rovnyak spaces in the framework of Fueter hyperholomorphic functions. The difference with other approaches is that we consider the class of functions spanned by Appell-like polynomials. This approach is very efficient from various points of view, for example in operator theory, and allows us to make connections with the recently developed theory of slice polyanalytic functions. We tackle a number of problems: we describe a Hardy space, Schur multipliers and related results. We also discuss Blaschke functions, Herglotz multipliers and their associated kernels and Hilbert spaces. Finally, …

A New Method To Generate Superoscillating Functions And Supershifts, Yakir Aharonov, Fabrizio Colombo, Irene Sabadini, Tomer Shushi, Daniele C. Struppa, Jeff Tollaksen

Mathematics, Physics, and Computer Science Faculty Articles and Research

Superoscillations are band-limited functions that can oscillate faster than their fastest Fourier component. These functions (or sequences) appear in weak values in quantum mechanics and in many fields of science and technology such as optics, signal processing and antenna theory. In this paper, we introduce a new method to generate superoscillatory functions that allows us to construct explicitly a very large class of superoscillatory functions.

Krein Reproducing Kernel Modules In Clifford Analysis, Daniel Alpay, Paula Cerejeiras, Uwe Kähler

Mathematics, Physics, and Computer Science Faculty Articles and Research

Classic hypercomplex analysis is intimately linked with elliptic operators, such as the Laplacian or the Dirac operator, and positive quadratic forms. But there are many applications like the crystallographic X-ray transform or the ultrahyperbolic Dirac operator which are closely connected with indefinite quadratic forms. Although appearing in many papers in such cases Hilbert modules are not the right choice as function spaces since they do not reflect the induced geometry. In this paper we are going to show that Clifford-Krein modules are naturally appearing in this context. Even taking into account the difficulties, e.g., the existence of different inner products …

Application Of Randomness In Finance, Jose Sanchez, Daanial Ahmad, Satyanand Singh

Publications and Research

Brownian Motion which is also considered to be a Wiener process and can be thought of as a random walk. In our project we had briefly discussed the fluctuations of financial indices and related it to Brownian Motion and the modeling of Stock prices.

Interfacial Dynamics And Ionic Transport Of Radiologic Contrast Media In Carbohydrate Matrix: Utility And Limits Of X-Ray Imaging, Lin Mousa, Hayley Sanchez, Subhendra Sarkar, Zoya Vinokur

Publications and Research

Hello, our names are Lin Mousa and Hayley Sanchez, this semester we participated in a research project dedicated to analyzing the interactions of contrast media with the molecular components of fruits to compare how they would react with the human brain. This project involved the injection of fruits with varying contrasts and the imaging of the diffusion and interactions of the contrast within the fruits with X-rays. With setup technical parameters on the x-ray equipment images were taken with identical setups at an hourly rate for several days. The final results of this experiment indicated that contrasts such as Gadolinium …

Defect Detection In Atomic Resolution Transmission Electron Microscopy Images Using Machine Learning, Philip Cho, Aihua W. Wood, Krishnamurthy Mahalingam, Kurt Eyink

Faculty Publications

Point defects play a fundamental role in the discovery of new materials due to their strong influence on material properties and behavior. At present, imaging techniques based on transmission electron microscopy (TEM) are widely employed for characterizing point defects in materials. However, current methods for defect detection predominantly involve visual inspection of TEM images, which is laborious and poses difficulties in materials where defect related contrast is weak or ambiguous. Recent efforts to develop machine learning methods for the detection of point defects in TEM images have focused on supervised methods that require labeled training data that is generated via …

The Agnostic Structure Of Data Science Methods, Domenico Napoletani, Marco Panza, Daniele Struppa

MPP Published Research

In this paper we argue that data science is a coherent and novel approach to empirical problems that, in its most general form, does not build understanding about phenomena. Within the new type of mathematization at work in data science, mathematical methods are not selected because of any relevance for a problem at hand; mathematical methods are applied to a specific problem only by `forcing’, i.e. on the basis of their ability to reorganize the data for further analysis and the intrinsic richness of their mathematical structure. In particular, we argue that deep learning neural networks are best understood within …

The Effectiveness Of Professional Punters, Arthur N. Tanyel

Senior Honors Theses

Sports analytics have become a major part of how many sports fans enjoy the games they love. The trend has touched sports from football to cricket. One aspect of football that has been less discussed is punting. The current standard metrics, gross yardage and net yardage, give an idea of how a punter performed in a given season, but they also may be skewed by a number of factors, such as the skill of the offense or the punt coverage team. In this paper, we will look at some previous attempts to measure punting prowess, and then further develop a …

Free Semigroupoid Algebras From Categories Of Paths, Juliana Bukoski

Department of Mathematics: Dissertations, Theses, and Student Research

Given a directed graph G, we can define a Hilbert space H_G with basis indexed by the path space of the graph, then represent the vertices of the graph as projections on H_G and the edges of the graph as partial isometries on H_G. The weak operator topology closed algebra generated by these projections and partial isometries is called the free semigroupoid algebra for G. Kribs and Power showed that these algebras are reflexive, and that they are semisimple if and only if each path in the graph lies on a cycle. We extend …

Superoscillations And Analytic Extension In Schur Analysis, Daniel Alpay, Fabrizio Colombo, Irene Sabadini

Mathematics, Physics, and Computer Science Faculty Articles and Research

We give applications of the theory of superoscillations to various questions, namely extension of positive definite functions, interpolation of polynomials and also of Rfunctions; we also discuss possible applications to signal theory and prediction theory of stationary stochastic processes. In all cases, we give a constructive procedure, by way of a limiting process, to get the required results.

The Encyclopedia Of Neutrosophic Researchers - 4th Volume (2021), Florentin Smarandache, Maykel Leyva-Vazquez

Branch Mathematics and Statistics Faculty and Staff Publications

Este es el cuarto volumen de la Enciclopedia de Investigadores Neutróficos, editados a partir de materiales ofrecidos por los autores que respondieron a la invitación del editor. Los autores se enumeran alfabéticamente. La introducción contiene una breve historia de la neutrosófica, y en especial se su impacto en Latinoamérica junto con enlaces a los principales artículos y libros. Los conjuntos neutrosóficos, la lógica neutrosófica, la probabilidad neutrosófica, la estadística neutrosófica, el precálculo neutrosófico, el cálculo neutrosófico, la psicología neutrosófica, la sociología neutrosófica etc., están ganando una atención significativa en resolver muchos problemas de la vida real que implican incertidumbre, imprecisión, …

On Leibniz Cohomology, Jorg Feldvoss, Friedrich Wagemann

University Faculty and Staff Publications

In this paper we prove the Leibniz analogue of Whitehead's vanishing theorem for the Chevalley-Eilenberg cohomology of Lie algebras. As a consequence, we obtain the second Whitehead lemma for Leibniz algebras. Moreover, we compute the cohomology of several Leibniz algebras with ad joint or irreducible coefficients. Our main tool is a Leibniz analogue of the Hochschild-Serre spectral sequence, which is an extension of the dual of a spectral sequence of Pirashvili for Leibniz homology from symmetric bimodules to arbitrary bimodules.

Theory And Application Of Hypersoft Set, Florentin Smarandache, Muhammad Saeed, Muhammad Saqlain, Mohamed Abdel-Baset

Branch Mathematics and Statistics Faculty and Staff Publications

Aims and Scope Florentin Smarandache generalize the soft set to the hypersoft set by transforming the function �� into a multi-argument function. This extension reveals that the hypersoft set with neutrosophic, intuitionistic, and fuzzy set theory will be very helpful to construct a connection between alternatives and attributes. Also, the hypersoft set will reduce the complexity of the case study. The Book “Theory and Application of Hypersoft Set” focuses on theories, methods, algorithms for decision making and also applications involving neutrosophic, intuitionistic, and fuzzy information. Our goal is to develop a strong relationship with the MCDM solving techniques and to …

Total Differentiability And Monogenicity For Functions In Algebras Of Order 4, I. Sabadini, Daniele C. Struppa

Mathematics, Physics, and Computer Science Faculty Articles and Research

In this paper we discuss some notions of analyticity in associative algebras with unit. We also recall some basic tool in algebraic analysis and we use them to study the properties of analytic functions in two algebras of dimension four that played a relevant role in some work of the Italian school, but that have never been fully investigated.

Boxes, Extended Boxes And Sets Of Positive Upper Density In The Euclidean Space, Polona Durcik, Vjekoslav Kovač

Mathematics, Physics, and Computer Science Faculty Articles and Research

We prove that sets with positive upper Banach density in sufficiently large dimensions contain congruent copies of all sufficiently large dilates of three specific higher-dimensional patterns. These patterns are: 2n vertices of a fixed n-dimensional rectangular box, the same vertices extended with n points completing three-term arithmetic progressions, and the same vertices extended with n points completing three-point corners. Our results provide common generalizations of several Euclidean density theorems from the literature.

Green's Function For The Schrodinger Equation With A Generalized Point Interaction And Stability Of Superoscillations, Yakir Aharonov, Jussi Behrndt, Fabrizio Colombo, Peter Schlosser

Mathematics, Physics, and Computer Science Faculty Articles and Research

In this paper we study the time dependent Schrödinger equation with all possible self-adjoint singular interactions located at the origin, which include the δ and δ'-potentials as well as boundary conditions of Dirichlet, Neumann, and Robin type as particular cases. We derive an explicit representation of the time dependent Green's function and give a mathematical rigorous meaning to the corresponding integral for holomorphic initial conditions, using Fresnel integrals. Superoscillatory functions appear in the context of weak measurements in quantum mechanics and are naturally treated as holomorphic entire functions. As an application of the Green's function we study the stability …

Floor Plan Assignment In Elementary Mathematics Education, Tunde Jakab

Open Educational Resources

In this upper elementary mathematics education assignment, the prospective teachers gain hands-on experience in measuring distances in feet and inches, calculating areas, and converting distance and area measurements. Moreover, they solve a real-life situation by choosing the most economical tiles for their kitchen. This last part (3) of the assignment develops critical thinking and expressing one's thought processes. Part 3 can be used as an in-class discussion, which further promotes reasoning skills.

Interdisciplinary Thinking: Financial Literacy Crosses Disciplinary Boundaries, Marla A. Sole

Publications and Research

Financial literacy is ideally suited to be integrated into mathematics courses and taught in an interdisciplinary manner. Students learn best and are motivated when tackling real-world meaningful questions. This article shares how elementary mathematics was applied to better understand the debate about raising the minimum wage and the United States National Debt. To serve as a guide for other teachers who wish to incorporate financial literacy into their mathematics courses and take an interdisciplinary approach, this article suggests readings, data sets, and pedagogical practices. Students were engaged and enthusiastic to work on problems that challenged their thinking about financial issues.

Evolutionary Dynamics Of Bertrand Duopoly, Julian Killingback, Timothy Killingback

Computer Science Department Faculty Publication Series

Duopolies are one of the simplest economic situations where interactions between firms determine market behavior. The standard model of a price-setting duopoly is the Bertrand model, which has the unique solution that both firms set their prices equal to their costs-a paradoxical result where both firms obtain zero profit, which is generally not observed in real market duopolies. Here we propose a new game theory model for a price-setting duopoly, which we show resolves the paradoxical behavior of the Bertrand model and provides a consistent general model for duopolies.

Solving Neutrosophic Linear Equations Systems Using Symbolic Computation (Resolucion De Sistemas De Ecuaciones Lineales Neutrosóficas Mediante Computación Simbólica), Maykel Leyva-Vazquez, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

In this paper, we apply the concept of neutrosophic numbers to solve a systems of neutrophic linear equations using symbolic computation. Also, we utilize Jupyter, which is supported in Google Colaboratory for performing symbolic computation. The sympy library of Python is used to perform the process of neutrosophic computation. Systems of neutrosophic linear equations are solved through symbolic computation in Python. A case study was developed for the determination of vehicular traffic with indeterminacy. This king of computation opens new ways to deal with indeterminacy in real-world problems.

Analysis, Constructions And Diagrams In Classical Geometry, Marco Panza

MPP Published Research

Greek ancient and early modern geometry necessarily uses diagrams. Among other things, these enter geometrical analysis. The paper distinguishes two sorts of geometrical analysis and shows that in one of them, dubbed “intra-confgurational” analysis, some diagrams necessarily enter as outcomes of a purely material gesture, namely not as result of a codifed constructive procedure, but as result of a free-hand drawing.

Diagrams In Intra-Configurational Analysis, Marco Panza, Gianluca Longa

MPP Published Research

In this paper we would like to attempt to shed some light on the way in which diagrams enter into the practice of ancient Greek geometrical analysis. To this end, we will first distinguish two main forms of this practice, i.e., trans-configurational and intra-configurational. We will then argue that, while in the former diagrams enter in the proof essentially in the same way (mutatis mutandis) they enter in canonical synthetic demonstrations, in the latter, they take part in the analytic argument in a specific way, which has no correlation in other aspects of classical geometry. In intra-configurational analysis, diagrams represent …