Physical Sciences and Mathematics Commons^™

Minimal Congestion Trees, Shelly Jean Dawson

Theses Digitization Project

Analyzes the results of M.I. Ostrovskii's theorem of inequalities which estimate the minimal edge congestion for finite simple graphs. Uses the generic results of the theorem to examine and further reduce the parameters of inequalities for specific families of graphs, particularly complete graphs and complete bipartite graphs. Also, explores a possible minimal congestion tree for some grids while forming a conjecture for all grids.

Modeling Queueing Systems, Angela Zoi Leontas

Theses Digitization Project

The thesis introduces the theory of queueing systems and demonstrates its applicability to real life problems. It discusses (1) Markovian property and measures of effectiveness with exponential interarrival and service times; (2) Erlang service times, and a single server; (3) different goodness-of-fit tests that can be used to determine whether the exponential distribution is appropriate for a given set of data. A single server queueing system with exponential interarrival times and Erlang service times is simulated using Visual Basic for Applications (VBA).

A Framework For Inclusive Teaching In Stem Disciplines, Lois Reddick, Wayne Jacobson, Angela Linse, Darryl Yong

All HMC Faculty Publications and Research

A wide body of literature exists recounting the ways in which inclusive teaching practices and principles benefit students and positively impact learning, student retention, and professional development across disciplines. However, STEM faculty do not readily accept the traditional approach of examining course content from multiple perspectives as relevant to their course content or useful in their teaching. In this chapter, we propose a Framework for Inclusive Teaching in STEM Disciplines that reflects the contexts of teaching in these disciplines, and extends James Banks’ Five Dimensions of Multicultural Education to the distinct needs of STEM faculty in their classes. We also …

Double Birthday Magic Square, Arthur T. Benjamin

All HMC Faculty Publications and Research

No abstract provided.

Combinatorial Interpretations Of Spanning Tree Identities, Arthur T. Benjamin, Carl R. Yerger

All HMC Faculty Publications and Research

We present a combinatorial proof that the wheel graph Wn has L2n − 2 spanning trees, where Ln is the nth Lucas number, and that the number of spanning trees of a related graph is a Fibonacci number. Our proofs avoid the use of induction, determinants, or the matrix tree theorem.

Some Promising Approaches To Tumor-Immune Modeling, Lisette G. De Pillis, Ami E. Radunskaya

All HMC Faculty Publications and Research

Mathematical models of tumor-immune interactions provide an analytical framework in which to address specific questions regarding tumor-immune dynamics. We present a brief summary of several approaches we are currently exploring to model tumor growth, tumor-immune interactions, and treatments. Results to date have shown that simulations of tumor growth using different levels of immune stimulating ligands, effector cells, and tumor challenge, are able to reproduce data from published studies. We additionally present some of our current efforts in the investigation of optimal control to aid in determining improved treatment strategies.

Spatial Tumor-Immune Modeling, Lisette G. De Pillis, D G. Mallet, Ami E. Radunskaya

All HMC Faculty Publications and Research

In this paper, we carry out an examination of four mechanisms that can potentially lead to changing morphologies in a growing tumor: variations in nutrient consumption rates, cellular adhesion, excessive consumption of nutrients by tumor cells and immune cell interactions with the tumor. We present numerical simulations using a hybrid PDE-cellular automata (CA) model demonstrating the effects of each mechanism before discussing hypotheses about the contribution of each mechanism to morphology change.

Generalised E-Algebras Over Valuation Domains, Brendan Goldsmith, P. Zanardo

Articles

Let R be a valuation domain. We investigate the notions of E(R)- algebra and generalized E(R)-algebra and show that for wide classes of maximal valuation domains R, all generalized E(R)-algebras have rank one. As a by-product we prove if R is a maximal valuation domain of finite Krull dimension, then the two notions coincide. We give some examples of E(R)-algebras of finite rank that are decomposable, but show that over Nagata domains of small degree, the E(R)-algebras are, with one exception, the indecomposable finite rank algebras.

Effects Of Atmospheric Turbulence On The Propagation Of Flattened Gaussian Optical Beams, Doris Cowan

Electronic Theses and Dissertations

In an attempt to mitigate the effects of the atmosphere on the coherence of an optical (laser) beam, interest has recently been shown in changing the beam shape to determine if a different power distribution at the transmitter will reduce the effects of the random fluctuations in the refractive index. Here, a model is developed for the field of a flattened Gaussian beam as it propagates through atmospheric turbulence, and the resulting effects upon the scintillation of the beam and upon beam wander are determined. A comparison of these results is made with the like effects on a standard TEM00 …

On Prime Generation Through Primitive Divisors Of Recurrence Sequences, Richard Russell

Electronic Theses and Dissertations

We examine results concerning the generation of primes in certain types of integer sequences. The sequences discussed all have a connection in that each satisfies a recurrence relation. Mathematicians have speculated over many centuries that these sequences contain an infinite number of prime terms, however no proof has been given as such. We examine a less direct method of showing an infinitude of primes in each sequence by showing that the sequences contain an infinite number of terms with primitive divisors.

Multivariate Expansion Associated With Sheffer-Type Polynomials And Operators, Tian-Xiao He, Leetsch Hsu, Peter Shiue

Scholarship

With the aid of multivariate Sheffer-type polynomials and differential operators, this paper provides two kinds of general expansion formulas, called respectively the first expansion formula and the second expansion formula, that yield a constructive solution to the problem of the expansion of A(ˆt)f([g(t)) (a composition of any given formal power series) and the expansion of the multivariate entire functions in terms of multivariate Sheffer-type polynomials, which may be considered an application of the first expansion formula and the Sheffer-type operators. The results are applicable to combinatorics and special function theory.

The Life And Work Of D.H. Hyers, 1913-1997, Brent D. Singleton

Library Faculty Publications & Presentations

The following is a sketch of the life and work of Donald Holmes Hyers, Professor Emeritus from the University of Southern California. The theorem put forth by Hyers in 1941 concerning linear functional equations has gained a great deal of interest over the past two decades. Hundreds of articles have been written citing his works, many of which have furthered the theorem. This paper contains a brief description of Hyers’ theorem, a biographical essay and an extensive bibliography of Hyers’ work and works citing the Hyers theorem or the D.H. Hyers–S.M. Ulam–Th.M. Rassias theorem or related subjects of almost the …

Matrix-J-Unitary Non-Commutative Rational Formal Power Series, Daniel Alpay, D. S. Kalyuzhnyi-Verbovetzkii

Mathematics, Physics, and Computer Science Faculty Articles and Research

Formal power series in N non-commuting indeterminates can be considered as a counterpart of functions of one variable holomorphic at 0, and some of their properties are described in terms of coefficients. However, really fruitful analysis begins when one considers for them evaluations on N-tuples of n × n matrices (with n = 1, 2, . . .) or operators on an infinite-dimensional separable Hilbert space. Moreover, such evaluations appear in control, optimization and stabilization problems of modern system engineering.

In this paper, a theory of realization and minimal factorization of rational matrix-valued functions which are J-unitary on the imaginary …

Neutrosophic Rings, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In this book we define the new notion of neutrosophic rings. The motivation for this study is two-fold. Firstly, the classes of neutrosophic rings defined in this book are generalization of the two well-known classes of rings: group rings and semigroup rings. The study of these generalized neutrosophic rings will give more results for researchers interested in group rings and semigroup rings. Secondly, the notion of neutrosophic polynomial rings will cause a paradigm shift in the general polynomial rings. This study has to make several changes in case of neutrosophic polynomial rings. This would give solutions to polynomial equations for …

Sequences Of Numbers Involved In Unsolved Problems, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

Here it is a long list of sequences, functions, unsolved problems, conjectures, theorems, relationships, operations, etc. Some of them are inter-connected. 1) Consecutive Sequence: 1,12,123,1234,12345,123456,1234567,12345678,123456789,12345678910, 1234567891011,123456789101112,12345678910111213,... How many primes are there among these numbers? In a general form, the Consecutive Sequence is considered in an arbitrary numeration base B.

References:

Student Conference, University of Craiova, Department of Mathematics, April 1979, "Some problems in number theory" by Florentin Smarandache.

Arizona State University, Hayden Library, "The Florentin Smarandache papers" special collection, Tempe, AZ 85287-1006, USA.

The Encyclopedia of Integer Sequences", by N. J. A. Sloane and S. Plouffe, Academic Press, San Diego, …

The Linking Probability Of Deep Spider-Web Networks, Nicholas Pippenger

All HMC Faculty Publications and Research

We consider crossbar switching networks with base b (that is, constructed from b x b crossbar switches), scale k (that is, with b^k inputs, b^k outputs, and b^k links between each consecutive pair of stages), and depth l (that is, with l stages). We assume that the crossbars are interconnected according to the spider-web pattern, whereby two diverging paths reconverge only after at least k stages. We assume that each vertex is independently idle with probability q, the vacancy probability. We assume that b ≥ 2 and the vacancy probability q are fixed, and that k …

Communicating Applied Mathematics: Four Examples, Daniel E. Finkel, Christopher Kuster, Matthew Lasater, Rachel Levy, Jill P. Reese, Ilse C. F. Ipsen

All HMC Faculty Publications and Research

Communicating Applied Mathematics is a writing- and speaking-intensive graduate course at North Carolina State University. The purpose of this article is to provide a brief description of the course objectives and the assignments. Parts A–D of of this article represent the class projects and illustrate the outcome of the course:

• The Evolution of an Optimization Test Problem: From Motivation to Implementation, by Daniel E. Finkel and Jill P. Reese

• Finding the Volume of a Powder from a Single Surface Height Measurement, by Christopher Kuster

• Finding Oscillations in Resonant Tunneling Diodes, by Matthew Lasater

• …

Optimal Therapy Regimens For Treatment-Resistant Mutations Of Hiv, Weiqing Gu, Helen Moore

All HMC Faculty Publications and Research

In this paper, we use control theory to determine optimal treatment regimens for HIV patients, taking into account treatment-resistant mutations of the virus. We perform optimal control analysis on a model developed previously for the dynamics of HIV with strains of various resistance to treatment (Moore and Gu, 2005). This model incorporates three types of resistance to treatments: strains that are not responsive to protease inhibitors, strains not responsive to reverse transcriptase inhibitors, and strains not responsive to either of these treatments. We solve for the optimal treatment regimens analytically and numerically. We find parameter regimes for which optimal dosing …

The Maximal Regular Ideal Of Some Commutative Rings, Emad Abu Osba, Melvin Henriksen, Osama Alkam, Frank A. Smith

All HMC Faculty Publications and Research

In 1950 in volume 1 of Proc. Amer. Math. Soc., B. Brown and N. McCoy showed that every (not necessarily commutative) ring R has an ideal M (R) consisting of elements a for which there is an x such that axa=a, and maximal with respect to this property. Considering only the case when R is commutative and has an identity element, it is often not easy to determine when M(R) is not just the zero ideal. We determine when this happens in a number of cases: Namely when at least one of a or 1-a has a von Neumann inverse, …

Residue Class Rings Of Real-Analytic And Entire Functions, Marek Golasiński, Melvin Henriksen

All HMC Faculty Publications and Research

Let A(ℝ) and E(ℝ) denote respectively the ring of analytic and real entire functions in one variable. It is shown that if m is a maximal ideal of A(ℝ), then A(ℝ)/m is isomorphic either to the reals or a real closed field that is an η1-set, while if m is a maximal ideal of E(ℝ), then E(ℝ)/m is isomorphic to one of the latter two fields or to the field of complex numbers. Moreover, we study the residue class rings of prime ideals of these rings and their Krull dimensions. Use is made of a classical characterization of algebraically closed …

Reflections Acting Efficiently On A Building, Michael E. Orrison

All HMC Faculty Publications and Research

We show how Radon transforms may be used to apply efficiently the class sum of reflections in the finite general linear group GLn(Fq) to vectorsin permutation modules arising from the action of GLn(Fq) on the building oftype An−1(Fq).

Siegel’S Lemma With Additional Conditions, Lenny Fukshansky

CMC Faculty Publications and Research

Let K be a number field, and let W be a subspace of K-N, N >= 1. Let V-1,..., V-M be subspaces of KN of dimension less than dimension of W. We prove the existence of a point of small height in W\boolean OR(M)(i=1) V-i, providing an explicit upper bound on the height of such a point in terms of heights of W and V-1,..., V-M. Our main tool is a counting estimate we prove for the number of points of a subspace of K-N inside of an adelic cube. As corollaries to our main result we derive an explicit …

Integral Points Of Small Height Outside Of A Hypersurface, Lenny Fukshansky

CMC Faculty Publications and Research

Let F be a non-zero polynomial with integer coefficients in N variables of degree M. We prove the existence of an integral point of small height at which F does not vanish. Our basic bound depends on N and M only. We separately investigate the case when F is decomposable into a product of linear forms, and provide a more sophisticated bound. We also relate this problem to a certain extension of Siegel’s Lemma as well as to Faltings’ version of it. Finally we exhibit an application of our results to a discrete version of the Tarski plank problem.

From Measure To Integration, Sara Hernandez Mcloughlin

Theses Digitization Project

The thesis studies the notions of outer measure, Lebesgue measurable sets and Lebesgue measure, in detail. After developing Lebesgue integration over the real line, the Riemann integrable functions are classified as those functions whose set of points of discontinuity has measure zero. The convergence theorems are proven and it is shown how these theorems are valid under less stringent assumptions that are required for the Riemann integral. A detailed analysis of abstract measure theory for general measure spaces is given.

The Ground Axiom, Jonas Reitz

Dissertations, Theses, and Capstone Projects

Countable Short Recursively Saturated Models Of Arithmetic, Erez Shochat

Dissertations, Theses, and Capstone Projects

Short recursively saturated models of arithmetic are exactly the elementary initial segments of recursively saturated models of arithmetic. Since any countable recursively saturated model of arithmetic has continuum many elementary initial segments which are already recursively saturated, we turn our attention to the (countably many) initial segments which are not recursively saturated. We first look at properties of countable short recursively saturated models of arithmetic and show that although these models cannot be cofinally resplendent (an expandability property slightly weaker than resplendency), these models have non-definable expansions which are still short recursively saturated.

Coalgebras And Their Logics, Alexander Kurz

Engineering Faculty Articles and Research

"Transition systems pervade much of computer science. This article outlines the beginnings of a general theory of specification languages for transition systems. More specifically, transition systems are generalised to coalgebras. Specification languages together with their proof systems, in the following called (logical or modal) calculi, are presented by the associated classes of algebras (e.g., classical propositional logic by Boolean algebras). Stone duality will be used to relate the logics and their coalgebraic semantics."

Frames In Hilbert C*-Modules, Wu Jing

Electronic Theses and Dissertations

Since the discovery in the early 1950's, frames have emerged as an important tool in signal processing, image processing, data compression and sampling theory etc. Today, powerful tools from operator theory and Banach space theory are being introduced to the study of frames producing deep results in frame theory. In recent years, many mathematicians generalized the frame theory from Hilbert spaces to Hilbert C*-modules and got significant results which enrich the theory of frames. Also there is growing evidence that Hilbert C*-modules theory and the theory of wavelets and frames are tightly related to each other in many aspects. Both …

Eigenvalue Comparisons For Boundary Value Problems Of The Discrete Beam Equation, Jun Ji, Bo Yang

Faculty Articles

We study the behavior of all eigenvalues for boundary value problems of fourth-order difference equations Delta(4)yi = lambda a(i+2)y(i+2), - 1= b(j), 1

Atomic Hardy Space Theory For Unbounded Singular Integrals, Ryan Berndt

Mathematics Faculty Scholarship

No abstract provided.