Physical Sciences and Mathematics Commons^™

Traveling Wavefronts In A Single Species Model With Nonlocal Diffusion And Age-Structure, Xue-Shi Li, Guo Lin

Turkish Journal of Mathematics

This paper is concerned with the existence of monotone traveling wavefronts in a single species model with nonlocal diffusion and age-structure. We first apply upper and lower solution technique to prove the result if the wave speed is larger than a threshold depending only on the basic parameters. When the wave speed equals to the threshold, we show the conclusion by passing to a limit function.

Warped Product Semi-Slant Submanifolds In Kenmotsu Manifolds, Mehmet Atçeken

Turkish Journal of Mathematics

In this paper, we research the existence or non-existence of warped product semi-slant submanifolds in Kenmotsu manifolds. Consequently, we see that there are no proper warped product semi-slant submanifolds in Kenmotsu manifolds such that totally geodesic and totally umbilical submanifolds of warped product are proper semi-slant and invariant (or anti-invariant), respectively.

The Essential Norm Of A Composition Operator On Orlicz Spaces, M. R. Jabbarzadeh

Turkish Journal of Mathematics

In this note we determine the lower and upper estimates for the essential norm of a composition operator on the Orlicz spaces under certain conditions.

Number Of Pseudo--Anosov Elements In The Mapping Class Group Of A Four--Holed Sphere, Feri̇he Atalan, Mustafa Korkmaz

Turkish Journal of Mathematics

We compute the growth series and the growth functions of reducible and pseudo-Anosov elements of the pure mapping class group of the sphere with four holes with respect to a certain generating set. We prove that the ratio of the number of pseudo-Anosov elements to that of all elements in a ball with center at the identity tends to one as the radius of the ball tends to infinity.

Properties Of The Generalized Laplace Transform And Transport Partial Dynamic Equation On Time Scales, Chris R. Ahrendt

Department of Mathematics: Dissertations, Theses, and Student Research

In this dissertation, we first focus on the generalized Laplace transform on time scales. We prove several properties of the generalized exponential function which will allow us to explore some of the fundamental properties of the Laplace transform. We then give a description of the region in the complex plane for which the improper integral in the definition of the Laplace transform converges, and how this region is affected by the time scale in question. Conditions under which the Laplace transform of a power series can be computed term-by-term are given. We develop a formula for the Laplace transform for …

Homomorphic Images Of Progenitors Of Order Three, Mark Gutierrez

Theses Digitization Project

The main purpose of this thesis is to construct finite groups as homomorphic images of infinite semi-direct products, 2*n : N, 3*n : N, and 3*n :m N, where 2*n and 3*n are free products of n copies of the cyclic group C₂ extended by N, a group of permutations on n letters.

The Riesz Representation Theorem For Linear Functionals, Thomas Daniel Schellhous

Theses Digitization Project

This study will investigate the Riesz representation theorem for linear functionals in relation to locally compact Hausdorff spaces. Two other theorems that are commonly called "Riesz representation theorem" are the theorem for finite-dimensional inner product spaces and the theorem for Hilbert spaces [BN00], and studying these interesting topics helps us to not only gain a better understanding of how linear functionals interact with vector spaces over which they are defined, but also to see faint threads that hint at a deep connection between the various fields of modern mathematics.

Voting In Agreeable Societies, Deborah E. Berg '06, Serguei Norine, Francis E. Su, Robin Thomas, Paul Wollan

All HMC Faculty Publications and Research

No abstract provided in this article.

Two-Player Envy-Free Multi-Cake Division, John Cloutier '03, Kathryn L. Nyman, Francis E. Su

All HMC Faculty Publications and Research

We introduce a generalized cake-cutting problem in which we seek to divide multiple cakes so that two players may get their most-preferred piece selections: a choice of one piece from each cake, allowing for the possibility of linked preferences over the cakes. For two players, we show that disjoint envy-free piece selections may not exist for two cakes cut into two pieces each, and they may not exist for three cakes cut into three pieces each. However, there do exist such divisions for two cakes cut into three pieces each, and for three cakes cut into four pieces each. The …

The Similarity Problem For Indefinite Sturm-Liouville Operators With Periodic Coefficients, Aleksey Kostenko

Articles

We investigate the problem of similarity to a self-adjoint operator for $J$-positive Sturm-Liouville operators $L=\frac{1}{\omega}(-\frac{d^2}{dx^2}+q)$ with $2\pi$-periodic coefficients $q$ and $\omega$. It is shown that if 0 is a critical point of the operator $L$, then it is a singular critical point. This gives us a new class of $J$-positive differential operators with the singular critical point 0. Also, we extend the Beals and Parfenov regularity conditions for the critical point $\infty$ to the case of operators with periodic coefficients.

A Categorical Semantics For Fuzzy Predicate Logic, Lawrence Stout

Scholarship

The object of this study is to look at categorical approaches to many valued logic, both propositional and predicate, to see how different logical properties result from different parts of the situation. In particular, the relationship between the categorical fabric I introduced at Linz in 2004 and the Fuzzy Logics studied by Hajek (2003) [5], Esteva et al. (2003) [1], and Hajek (1998) [4], comes from restricting the kind of structures used for truth values. We see how the structure of the various kinds of algebras shows up in the categorical logic, giving a variant on natural deduction for these …

From Permutahedron To Aassociahedron, Colum Watt, Thomas Brady

Articles

For each finite real reflection group $W$, we identify a copy of the type-$W$ simplicial generalised associahedron inside the corresponding simplicial permutahedron. This defines a bijection between the facets of the generalised associahedron and the elements of the type $W$ non-crossing partition lattice which is more tractable than previous such bijections. We show that the simplicial fan determined by this associahedron coincides with the Cambrian fan for $W$.

Multispace & Multistructure. Neutrosophic Transdisciplinarity (100 Collected Papers Of Sciences), Vol. Iv, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

The fourth volume, in my book series of “Collected Papers”, includes 100 published and unpublished articles, notes, (preliminary) drafts containing just ideas to be further investigated, scientific souvenirs, scientific blogs, project proposals, small experiments, solved and unsolved problems and conjectures, updated or alternative versions of previous papers, short or long humanistic essays, letters to the editors - all collected in the previous three decades (1980-2010) – but most of them are from the last decade (2000-2010), some of them being lost and found, yet others are extended, diversified, improved versions. This is an eclectic tome of 800 pages with papers …

Interval Linear Algebra, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

This Interval arithmetic or interval mathematics developed in 1950’s and 1960’s by mathematicians as an approach to putting bounds on rounding errors and measurement error in mathematical computations. However no proper interval algebraic structures have been defined or studies. In this book we for the first time introduce several types of interval linear algebras and study them. This structure has become indispensable for these concepts will find applications in numerical optimization and validation of structural designs. In this book we use only special types of intervals and introduce the notion of different types of interval linear algebras and interval vector …

Super Special Codes Using Super Matrices, Florentin Smarandache, W.B. Vasantha Kandasamy, K. Ilanthenral

Branch Mathematics and Statistics Faculty and Staff Publications

The new classes of super special codes are constructed in this book using the specially constructed super special vector spaces. These codes mainly use the super matrices. These codes can be realized as a special type of concatenated codes. This book has four chapters. In chapter one basic properties of codes and super matrices are given. A new type of super special vector space is constructed in chapter two of this book. Three new classes of super special codes namely, super special row code, super special column code and super special codes are introduced in chapter three. Applications of these …

Rank Distance Bicodes And Their Generalization, Florentin Smarandache, W.B. Vasantha Kandasamy, N. Suresh Babu, R.S. Selvaraj

Branch Mathematics and Statistics Faculty and Staff Publications

In this book the authors introduce the new notion of rank distance bicodes and generalize this concept to Rank Distance n-codes (RD n-codes), n, greater than or equal to three. This definition leads to several classes of new RD bicodes like semi circulant rank bicodes of type I and II, semicyclic circulant rank bicode, circulant rank bicodes, bidivisible bicode and so on. It is important to mention that these new classes of codes will not only multitask simultaneously but also they will be best suited to the present computerised era. Apart from this, these codes are best suited in cryptography. …

Advances And Applications Of Dsmt For Information Fusion (In Chinese), Florentin Smarandache, Jean Dezert

Branch Mathematics and Statistics Faculty and Staff Publications

No abstract provided.

Large Cardinals, Oliver Pechenik

Honors Papers

Infinite sets are a fundamental object of modern mathematics. Surprisingly, the existence of infinite sets cannot be proven within mathematics. Their existence, or even the consistency of their possible existence, must be justified extra-mathematically or taken as an article of faith. We describe here several varieties of large infinite set that have a similar status in mathematics to that of infinite sets, i.e. their existence cannot be proven, but they seem both reasonable and useful. These large sets are known as large cardinals. We focus on two types of large cardinal: inaccessible cardinals and measurable cardinals. Assuming the existence of …

Fusion Of Imprecise Qualitative Information, Florentin Smarandache, Xinde Li, Xianzhong Dai, Jean Dezert

Branch Mathematics and Statistics Faculty and Staff Publications

In this paper, we present a new 2-tuple linguistic representation model, i.e. Distribution Function Model (DFM), for combining imprecise qualitative information using fusion rules drawn from Dezert-Smarandache Theory (DSmT) framework. Such new approach allows to preserve the precision and efficiency of the combination of linguistic information in the case of either equidistant or unbalanced label model. Some basic operators on imprecise 2-tuple labels are presented together with their extensions for imprecise 2-tuple labels. We also give simple examples to show how precise and imprecise qualitative information can be combined for reasoning under uncertainty. It is concluded that DSmT can deal …

Neutrosophic Bilinear Algebras And Their Generalizations, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

This book introduces the concept of neutrosophic bilinear algebras and their generalizations to n-linear algebras, n>2. This book has five chapters. The reader should be well-versed with the notions of linear algebras as well as the concepts of bilinear algebras and n- linear algebras. Further the reader is expected to know about neutrosophic algebraic structures as we have not given any detailed literature about it. The first chapter is introductory in nature and gives a few essential definitions and references for the reader to make use of the literature in case the reader is not thorough with the basics. …

Stability And Dynamics Of Self-Similarity In Evolution Equations, Andrew J. Bernoff, Thomas P. Witelski

All HMC Faculty Publications and Research

A methodology for studying the linear stability of self-similar solutions is discussed. These fundamental ideas are illustrated on three prototype problems: a simple ODE with finite-time blow-up, a second-order semi-linear heat equation with infinite-time spreading solutions, and the fourth-order Sivashinsky equation with finite-time self-similar blow-up. These examples are used to show that self-similar dynamics can be studied using many of the ideas arising in the study of dynamical systems. In particular, the use of dimensional analysis to derive scaling invariant similarity variables is discussed, as well as the role of symmetries in the context of stability of self-similar dynamics. The …

Local Versus Global Search In Channel Graphs, A.H. Hunter, Nicholas Pippenger

All HMC Faculty Publications and Research

Previous studies of search in channel graphs has assumed that the search is global; that is, that the status of any link can be probed by the search algorithm at any time. We consider for the first time local search, for which only links to which an idle path from the source has already been established may be probed. We show that some well known channel graphs may require exponentially more probes, on the average, when search must be local than when it may be global.

Recognizing Graph Theoretic Properties With Polynomial Ideals, Jesus A. De Loera, Christopher J. Hillar, Peter N. Malkin, Mohamed Omar

All HMC Faculty Publications and Research

Many hard combinatorial problems can be modeled by a system of polynomial equations. N. Alon coined the term polynomial method to describe the use of nonlinear polynomials when solving combinatorial problems. We continue the exploration of the polynomial method and show how the algorithmic theory of polynomial ideals can be used to detect k-colorability, unique Hamiltonicity, and automorphism rigidity of graphs. Our techniques are diverse and involve Nullstellensatz certificates, linear algebra over finite fields, Gröbner bases, toric algebra, convex programming, and real algebraic geometry.

Mathematical Biology At An Undergraduate Liberal Arts College, Stephen C. Adolph, Lisette G. De Pillis

All HMC Faculty Publications and Research

Since 2002 we have offered an undergraduate major in Mathematical Biology at Harvey Mudd College. The major was developed and is administered jointly by the mathematics and biology faculty. In this paper we describe the major, courses, and faculty and student research and discuss some of the challenges and opportunities we have experienced.

Statistical Analysis Of Wastewater Remediation And Bio-Fuels Production Of Algae, Jay D. Jones

All Graduate Plan B and other Reports, Spring 1920 to Spring 2023

The Logan city wastewater treatment system consists of a series of seven large aerated ponds (460 acres) that biologically treats 15 million gallons per day of wastewater from Logan city and six other communities. Tighter regulations of allowed phosphorus levels in the effluent have recently been implemented due to environmental concerns of a downstream reservoir. The Biological Engineering program at Utah State University, the Bio-fuels Center, the Utah Water Research Laboratory (UWRL) and the city of Logan are working together to remediate the wastewater treatment system using microalgae. Algal growth requires the uptake of phosphorus. Thus, phosphorus in the effluent …

Evolving Models: A Density-Based Approach To Modeling Sexual Dimorphism And Adaptive Speciation, Audrey Smith

All Graduate Plan B and other Reports, Spring 1920 to Spring 2023

In this paper, we begin by extending existing deterministic and individual-based ecological models for sexual dimorphism and adaptive speciation into density-based mathematical models describing the density or number of individuals with various trait values, or phenotypes. These density-based models describe the dynamics of a population of males and females using both clonal and sexual reproduction. Each generation, the populations are subject to mating, mutation, and ecological dynamics including infraspecific competition and carrying capacity of the environment. By avoiding individual-based models, we are able to avoid simulations and instead achieve repeatable results.

Implementing these models numerically, we are able to show …

A New Nonlinear Classifier With A Penalized Signed Fuzzy Measure Using Effective Genetic Algorithm, Julia Hua Fang, Maria L. Rizzo, Honggang Wang, Kimberly Espy, Zhenyuan Wang

Mathematics Faculty Publications

This paper proposes a new nonlinear classifier based on a generalized Choquet integral with signed fuzzy measures to enhance the classification accuracy and power by capturing all possible interactions among two or more attributes. This generalized approach was developed to address unsolved Choquet-integral classification issues such as allowing for flexible location of projection lines in n-dimensional space, automatic search for the least misclassification rate based on Choquet distance, and penalty on misclassified points. A special genetic algorithm is designed to implement this classification optimization with fast convergence. Both the numerical experiment and empirical case studies show that this generalized …

General Flips And The Cd-Index, Daniel J. Wells

University of Kentucky Doctoral Dissertations

We generalize bistellar operations (often called flips) on simplicial manifolds to a notion of general flips on PL-spheres. We provide methods for computing the cd-index of these general flips, which is the change in the cd-index of any sphere to which the flip is applied. We provide formulas and relations among flips in certain classes, paying special attention to the classic case of bistellar flips. We also consider questions of "flip-connecticity", that is, we show that any two polytopes in certain classes can be connected via a sequence of flips in an appropriate class.

Algorithms For Upper Bounds Of Low Dimensional Group Homology, Joshua D. Roberts

University of Kentucky Doctoral Dissertations

A motivational problem for group homology is a conjecture of Quillen that states, as reformulated by Anton, that the second homology of the general linear group over R = Z[1/p; ζ_p], for p an odd prime, is isomorphic to the second homology of the group of units of R, where the homology calculations are over the field of order p. By considering the group extension spectral sequence applied to the short exact sequence 1 → SL₂ → GL₂ → GL₁ → 1 we show that the calculation of the homology …

Upper Bounds On The Splitting Of The Eigenvalues, Phuoc L. Ho

University of Kentucky Doctoral Dissertations

We establish the upper bounds for the difference between the first two eigenvalues of the relative and absolute eigenvalue problems. Relative and absolute boundary conditions are generalization of Dirichlet and Neumann boundary conditions on functions to differential forms respectively. The domains are taken to be a family of symmetric regions in Rⁿ consisting of two cavities joined by a straight thin tube. Our operators are Hodge Laplacian operators acting on k-forms given by the formula Δ^(k) = dδ+δd, where d and δ are the exterior derivatives and the codifferentials respectively. A result …