Physical Sciences and Mathematics Commons^™

Models For Decision-Making - Second Edition, Steven Cosares, Fred Rispoli

Open Educational Resources

Decision-Making often refers to a multi-stage process that starts with some form of introspection or reflection about a situation in which a person or group of people find themselves. These ruminations usually lead to series of questions that need to be answered, or to a set of data that needs to be collected and analyzed, or to some calculations that need to be performed before someone can be in a position to make informed decisions and take appropriate actions.

We provide some simple examples of Quantitative Models, which are often found in a decision-making situation. We focus on the use …

Continuum Model Of Faceted Ice Crystal Growth In Cirrus Clouds In 1 Dimension, Ella Slattery

Summer Research

Ice crystals in cirrus clouds exhibit stable faceted growth and roughening which affects reflectivity. A numerically stable modelling system of partial differential equations representing the thickness of ice surfaces over time may assist in describing these features. A sinusoidal relationship between total thickness and water vapor deposition on the surface of ice crystals was observed experimentally; the modelling equation for this relationship was applied to the system in order to develop a one variable model. The developed one variable models continue to exhibit numerical instabilities prior to a Fourier Transform. Stable limit cycles of ice growth were observed in the …

Integrable Systems On Symmetric Spaces From A Quadratic Pencil Of Lax Operators, Rossen Ivanov

Conference papers

The article surveys the recent results on integrable systems arising from quadratic pencil of Lax operator L, with values in a Hermitian symmetric space. The counterpart operator M in the Lax pair defines positive, negative and rational flows. The results are illustrated with examples from the A.III symmetric space. The modeling aspect of the arising higher order nonlinear Schrödinger equations is briefly discussed.

Graphs Without A 2c3-Minor And Bicircular Matroids Without A U3,6-Minor, Daniel Slilaty

Mathematics and Statistics Faculty Publications

In this note we characterize all graphs without a 2C3-minor. A consequence of this result is a characterization of the bicircular matroids with no U3,6-minor.

Odd Solutions To Systems Of Inequalities Coming From Regular Chain Groups, Daniel Slilaty

Mathematics and Statistics Faculty Publications

Hoffman’s theorem on feasible circulations and Ghouila-Houry’s theorem on feasible tensions are classical results of graph theory. Camion generalized these results to systems of inequalities over regular chain groups. An analogue of Camion’s result is proved in which solutions can be forced to be odd valued. The obtained result also generalizes the results of Pretzel and Youngs as well as Slilaty. It is also shown how Ghouila-Houry’s result can be used to give a new proof of the graph- coloring theorem of Minty and Vitaver.

The Lagrangian Formulation For Wave Motion With A Shear Current And Surface Tension, Conor Curtin, Rossen Ivanov

Articles

The Lagrangian formulation for the irrotational wave motion is straightforward and follows from a Lagrangian functional which is the difference between the kinetic and the potential energy of the system. In the case of fluid with constant vorticity, which arises for example when a shear current is present, the separation of the energy into kinetic and potential is not at all obvious and neither is the Lagrangian formulation of the problem. Nevertheless, we use the known Hamiltonian formulation of the problem in this case to obtain the Lagrangian density function, and utilising the Euler-Lagrange equations we proceed to derive some …

Does Faceted Ice Growth Follow A Characteristic Pattern, Spencer Racca-Gwozdzik

Summer Research

Under certain heat conditions, ice crystals can form differently from the snowflakes that generally grow. Instead of attaching on the boundaries of a plane of ice, under these conditions, new water molecules will permeate a quasi-liquid layer above the ice that causes them to attach closer to the center of the plane and build up from there. These ice formations are close to cylindrical with patterns of roughness on the sides and top at the micrometer scale. The growth can be modeled with a system of partial differential equations that is similar to a reaction diffusion system. This project tries …

Neutrosophic Treatment Of The Modified Simplex Algorithm To Find The Optimal Solution For Linear Models, Florentin Smarandache, Maissam Ahmad Jdid

Branch Mathematics and Statistics Faculty and Staff Publications

Science is the basis for managing the affairs of life and human activities, and living without knowledge is a form of wandering and a kind of loss. Using scientific methods helps us understand the foundations of choice, decision-making, and adopting the right solutions when solutions abound and options are numerous. Operational research is considered the best that scientific development has provided because its methods depend on the application of scientific methods in solving complex issues and the optimal use of available resources in various fields, private and governmental work in peace and war, in politics and economics, in planning and …

Graphsearchnet: Enhancing Gnns Via Capturing Global Dependencies For Semantic Code Search, Shangqing Liu, Xiaofei Xie, Jjingkai Siow, Lei Ma, Guozhu Meng, Yang Liu

Research Collection School Of Computing and Information Systems

Code search aims to retrieve accurate code snippets based on a natural language query to improve software productivity and quality. With the massive amount of available programs such as (on GitHub or Stack Overflow), identifying and localizing the precise code is critical for the software developers. In addition, Deep learning has recently been widely applied to different code-related scenarios, ., vulnerability detection, source code summarization. However, automated deep code search is still challenging since it requires a high-level semantic mapping between code and natural language queries. Most existing deep learning-based approaches for code search rely on the sequential text ., …

Dynamic Function Learning Through Control Of Ensemble Systems, Wei Zhang, Vignesh Narayanan, Jr-Shin Li

Publications

Learning tasks involving function approximation are preva- lent in numerous domains of science and engineering. The underlying idea is to design a learning algorithm that gener- ates a sequence of functions converging to the desired target function with arbitrary accuracy by using the available data samples. In this paper, we present a novel interpretation of iterative function learning through the lens of ensemble dy- namical systems, with an emphasis on establishing the equiv- alence between convergence of function learning algorithms and asymptotic behavior of ensemble systems. In particular, given a set of observation data in a function learning task, we …

Optimal Agricultural Land Use: An Efficient Neutrosophic Linear Programming Method, Maisam Jdid, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

The increase in the size of the problems facing humans, their overlap, the division of labor, the multiplicity of departments, as well as the diversity of products and commodities, led to the complexity of business and the emergence of many administrative and production problems. It was necessary to search for appropriate methods to confront these problems. The science of operations research, with its diverse methods, provided the optimal solutions. It addresses many problems and helps in making scientific and thoughtful decisions to carry out the work in the best way within the available capabilities. Operations research is one of the …

Medical Diagnosis Via Refined Neutrosophic Fuzzy Logic: Detection Of Illness Using Neutrosophic Sets, K. Hemabala, B. Srinivasa Kumar, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

The objective of the paper is to implement and validate diagnosis in the medical field via refined neutrosophic fuzzy logic (RNFL). As such, we have proposed a Max-Min composition (MMC) method in RNFL. This method deals with the diagnosis under certain constraints like uncertainty and indeterminacy. Further, we have considered the diagnosis problems to validate the sensitivity analysis of the novel multi attribute decision-making technique. Finally, we gave the graphical representations and compared the obtained results with other existing measures in refined neutrosophic fuzzy sets.

On Refined Neutrosophic Finite P-Group, Sunday Adesina Adebisi, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

The neutrosophic automorphisms of a neutrosophic groups G (I) , denoted by Aut(G (I)) is a neu-trosophic group under the usual mapping composition. It is a permutation of G (I) which is also a neutrosophic homomorphism. Moreover, suppose that X1 = X(G (I)) is the neutrosophic group of inner neutrosophic auto-morphisms of a neutrosophic group G (I) and Xn the neutrosophic group of inner neutrosophic automorphisms of Xn-1. In this paper, we show that if any neutrosophic group of the sequence G (I), X1, X2, … is the identity, then G (I) is nilpotent.

Multipatch Stochastic Epidemic Model For The Dynamics Of A Tick-Borne Disease, Milliward Maliyoni, Holly D. Gaff, Keshlan S. Govinder, Faraimunashe Chirove

Biological Sciences Faculty Publications

Spatial heterogeneity and migration of hosts and ticks have an impact on the spread, extinction and persistence of tick-borne diseases. In this paper, we investigate the impact of between-patch migration of white-tailed deer and lone star ticks on the dynamics of a tick-borne disease with regard to disease extinction and persistence using a system of Itô stochastic differential equations model. It is shown that the disease-free equilibrium exists and is unique. The general formula for computing the basic reproduction number for all patches is derived. We show that for patches in isolation, the basic reproduction number is equal to the …

Modeling The Spread Of Covid-19 In Spatio-Temporal Context, S.H. Sathish Indika, Norou Diawara, Hueiwang Anna Jeng, Bridget D. Giles, Dilini S.K. Gamage

Mathematics & Statistics Faculty Publications

This study aims to use data provided by the Virginia Department of Public Health to illustrate the changes in trends of the total cases in COVID-19 since they were first recorded in the state. Each of the 93 counties in the state has its COVID-19 dashboard to help inform decision makers and the public of spatial and temporal counts of total cases. Our analysis shows the differences in the relative spread between the counties and compares the evolution in time using Bayesian conditional autoregressive framework. The models are built under the Markov Chain Monte Carlo method and Moran spatial correlations. …

The Mceliece Cryptosystem As A Solution To The Post-Quantum Cryptographic Problem, Isaac Hanna

Senior Honors Theses

The ability to communicate securely across the internet is owing to the security of the RSA cryptosystem, among others. This cryptosystem relies on the difficulty of integer factorization to provide secure communication. Peter Shor’s quantum integer factorization algorithm threatens to upend this. A special case of the hidden subgroup problem, the algorithm provides an exponential speedup in the integer factorization problem, destroying RSA’s security. Robert McEliece’s cryptosystem has been proposed as an alternative. Based upon binary Goppa codes instead of integer factorization, his cryptosystem uses code scrambling and error introduction to hinder decrypting a message without the private key. This …

Hamilton Cycles In Bidirected Complete Graphs, Arthur Busch, Mohammed A. Mutar, Daniel Slilaty

Mathematics and Statistics Faculty Publications

Zaslavsky observed that the topics of directed cycles in directed graphs and alternating cycles in edge 2-colored graphs have a common generalization in the study of coherent cycles in bidirected graphs. There are classical theorems by Camion, Harary and Moser, Häggkvist and Manoussakis, and Saad which relate strong connectivity and Hamiltonicity in directed "complete" graphs and edge 2-colored "complete" graphs. We prove two analogues to these theorems for bidirected "complete" signed graphs.

Uniqueness Of Steady State Positive Solutions To A General Elliptic System With Dirichlet Boundary Conditions, Joon Hyuk Kang

Faculty Publications

The purpose of this paper is to give conditions for the uniqueness of positive solution to a rather general type of elliptic system of the Dirichlet problem on a bounded domain Ω in Rⁿ. Also considered are the effects of perturbations on the coexistence state and uniqueness.

Response Of Planetary Waves And Tides To The 2019 Southern Hemisphere Ssw And Q2dw Enhancement In Jan-Feb 2020 Observed By Condor Meteor Radar In Chile And Adelaide Meteor Radar In Australia, Alan Liu, Zishun Qiao, Iain Reid, Javier Fuentes, Chris Adami

Publications

A new multi-static meteor radar (CONDOR) has recently been installed in northern Chile. This CONDOR meteor radar (30.3°S, 70.7°W) and the Adelaide meteor radar (35°S, 138°E) have provided longitudinally spaced observations of the mean winds, tides and planetary waves of the PW-tides interaction cases we present here. We have observed a Quasi-6-Day Wave (Q6DW) enhancement in MLT winds at the middle latitudes (30.3°S, 35°S) during the unusual minor South Hemisphere SSW 2019 by the ground-based meteor radars. Tidal analysis also indicates modulation of the Q6DW w/ amplitude ~15 [m/s] and diurnal tides w/ amplitude ~60 [m/s]. Another case we present …

One-Point Gleason Parts And Point Derivations In Uniform Algebras, Swarup Ghosh, Alexander J. Izzo

Faculty Articles & Research

It is shown that a uniform algebra can have a nonzero bounded point derivation while having no nontrivial Gleason parts. Conversely, a uniform algebra can have a nontrivial Gleason part while having no nonzero, even possibly unbounded, point derivations.

Minimizers Of Nonlocal Polyconvex Energies In Nonlocal Hyperelasticity, José C. Bellido, Javier Cueto, Carlos Mora-Corral

Department of Mathematics: Faculty Publications

We develop a theory of existence of minimizers of energy functionals in vectorial problems based on a nonlocal gradient under Dirichlet boundary conditions. The model shares many features with the peridynamics model and is also applicable to nonlocal solid mechanics, especially nonlinear elasticity. This nonlocal gradient was introduced in an earlier work, inspired by Riesz’ fractional gradient, but suitable for bounded domains. The main assumption on the integrand of the energy is polyconvexity. Thus, we adapt the corresponding results of the classical case to this nonlocal context, notably, Piola’s identity, the integration by parts of the determinant and the weak …

Approximation By Basis Pursuit: Background And Application To The Construction Of Efficient Spline Approximations, Babita Timalsina

Graduate Student Scholarship

Basis Pursuit was developed primarily as a tool in the field of signal processing, beginning in the mid 1990’s. The idea is to model the behavior of discrete signals using a wide range of functional behaviors and scales and to obtain an accurate and efficient representation of the signal using a minimal number of functions from a large “dictionary” of possible behaviors. The key observation is by formulating the representation as an ℓ1 optimization, the problem can be posed as a linear program so that the optimal solution uses no more than the number of constraints - it must be …

Bounds On Cohomological Support Varieties, Benjamin Briggs, Eloisa Grifo, Josh Pollitz

Department of Mathematics: Faculty Publications

Over a local ring R, the theory of cohomological support varieties attaches to any bounded complex M of finitely generated R-modules an algebraic variety VR(M) that encodes homological properties of M. We give lower bounds for the dimension of VR(M) in terms of classical invariants of R. In particular, when R is Cohen-Macaulay and not complete intersection we find that there are always varieties that cannot be realized as the cohomological support of any complex. When M has finite projective dimension, we also give an upper bound for dimVR(M) in terms of the dimension of the radical of the homotopy …

A Mode-Sum Prescription For The Renormalized Stress Energy Tensor On Black Hole Spacetimes, Peter Taylor, Cormac Breen, Adrian Ottewill

Articles

In this paper, we describe an extremely efficient method for computing the renormalized stress-energy tensor of a quantum scalar field in spherically symmetric black hole spacetimes. The method applies to a scalar field with arbitrary field parameters. We demonstrate the utility of the method by computing the renormalized stress-energy tensor for a scalar field in the Schwarzschild black hole spacetime, applying our results to discuss the null energy condition and the semiclassical backreaction.

Morton-Ordered Gpu Lattice Boltzmann Cfd Simulations With Application To Blood Flow, Gerald Gallagher, Fergal J. Boyle

Conference Papers

Computational fluid dynamics (CFD) is routinely used for numerically predicting cardiovascular-system medical device fluid flows. Most CFD simulations ignore the suspended cellular phases of blood due to computational constraints, which negatively affects simulation accuracy. A graphics processing unit (GPU) lattice Boltzmann-immersed boundary (LB-IB) CFD software package capable of accurately modelling blood flow is in development by the authors, focusing on the behaviour of plasma and stomatocyte, discocyte and echinocyte red blood cells during flow. Optimised memory ordering and layout schemes yield significant efficiency improvements for LB GPU simulations. In this work, comparisons of row-major-ordered Structure of Arrays (SoA) and Collected …

Permitted Sets And Convex Coding In Nonthreshold Linear Networks, Steven Collazos, Duane Nykamp

Mathematics Publications

Hebbian theory proposes that ensembles of neurons form a basis for neural processing. It is possible to gain insight into the activity patterns of these neural ensembles through a binary analysis, regarding neurons as either active or inactive. The framework of permitted and forbidden sets, introduced by Hahnloser, Seung, and Slotine (2003), is a mathematical model of such a binary analysis: groups of coactive neurons can be permitted or forbidden depending on the network's structure.

In order to widen the applicability of the framework of permitted sets, we extend the permitted set analysis from the original threshold-linear regime. …

Entropy Analysis Of Sutterby Nanofluid Flow Over A Riga Sheet With Gyrotactic Microorganisms And Cattaneo–Christov Double Diffusion, M. Faizan, F. Ali, K. Loganathan, A. Zaib, C. A. Reddy, Sara I. Abdelsalam

Basic Science Engineering

In this article, a Riga plate is exhibited with an electric magnetization actuator consisting of permanent magnets and electrodes assembled alternatively. This exhibition produces electromagnetic hydrodynamic phenomena over a fluid flow. A new study model is formed with the Sutterby nanofluid flow through the Riga plate, which is crucial to the structure of several industrial and entering advancements, including thermal nuclear reactors, flow metres and nuclear reactor design. This article addresses the entropy analysis of Sutterby nanofluid flow over the Riga plate. The Cattaneo–Christov heat and mass flux were used to examine the behaviour of heat and mass relaxation time. …

Computing Rational Powers Of Monomial Ideals, Pratik Dongre, Benjamin Drabkin, Josiah Lim, Ethan Partida, Ethan Roy, Dylan Ruff, Alexandra Seceleanu, Tingting Tang

Department of Mathematics: Faculty Publications

This paper concerns fractional powers of monomial ideals. Rational powers of a monomial ideal generalize the integral closure operation as well as recover the family of symbolic powers. They also highlight many interesting connections to the theory of convex polytopes. We provide multiple algorithms for computing the rational powers of a monomial ideal. We also introduce a mild generalization allowing real powers of monomial ideals. An important result is that given any monomial ideal I, the function taking a real number to the corresponding real power of I is a step function which is left continuous and has rational …

Maker Math: Exploring Mathematics Through Digitally Fabricated Tools With K–12 In-Service Teachers, Jason R. Harron, Yi Jin, Amy F. Hillen, Lindsey Mason, Lauren Siegel

Faculty Open Access Publishing Fund Collection

This paper reports on nine elementary, middle, and high school in-service teachers who participated in a series of workshops aimed at exploring the wonder, joy, and beauty of mathematics through the creation and application of digitally fabricated tools (i.e., laser-cut and 3D printed). Using the Technological Pedagogical and Content Knowledge (TPACK) framework to investigate technological, pedagogical, contextual, and content knowledge, researchers applied qualitative methods to uncover the affordances and constraints of teaching and learning math concepts with digitally fabricated tools and examined how the workshops supported broadening participation in mathematics by focusing on the connections between mathematical inquiry, nature, and …

Duality For Asymptotic Invariants Of Graded Families, Michael Dipasquale, Thái Thành Nguyễn, Alexandra Seceleanu

Department of Mathematics: Faculty Publications

The starting point of this paper is a duality for sequences of natural numbers which, under mild hypotheses, interchanges subadditive and superadditive sequences and inverts their asymptotic growth constants.

We are motivated to explore this sequence duality since it arises naturally in at least two important algebraic-geometric contexts. The first context is Macaulay- Matlis duality, where the sequence of initial degrees of the family of symbolic powers of a radical ideal is dual to the sequence of Castelnuovo-Mumford regularity values of a quotient by ideals generated by powers of linear forms. This philosophy is drawn from an influential paper of …