Digital Commons Network^™

The Complexity Of Local Stratification, Peter Cholak, Howard A. Blair

College of Engineering and Computer Science - Former Departments, Centers, Institutes and Projects

The class of locally stratified logic programs is shown to be Π 1 1-complete by the construction of a reducibility of the class of infinitely branching nondeterministic finite register machines.

Counting Order Classes Of Triple Products In Finite Groups, Scott Annin, Jennifer Ziebarth

Mathematical Sciences Technical Reports (MSTR)

Let G be a finite group and let W_G denote the proportion of triples, (.x:, y , z) , i n G3 for which x yz , x zy, y x z, zx y , yzx , and z y x have the same order. The following results are established.

i) G is abelian if, and only if, W_G = 1.

ii) W_G can be arbitrarily close to 1.

iii) Additional estimates on W_G

On The Noninterpolation Of Polyhedral Maps, Adrian Riskin, D.W. Barnette

Mathematics

In this paper we show that if attention is restricted to polyhedral embeddings of graphs, no theorem analogous to the Duke interpolation theorem for 2-cell embeddings is true. We also give two interesting classes of graphs: (i) a class in which the members have polyhedral embeddings in the torus and also in orientable manifolds of arbitrarily high genus, (ii) and another in which the members have polyhedral embeddings in the projective plane and also in orientable and nonorientable manifolds of arbitrarily low Euler characteristic.

Review: J.M. Aarts And T. Nishiura, Dimension And Extensions (Amsterdam, London, New York, And Tokyo, 1993), Melvin Henriksen

All HMC Faculty Publications and Research

Reviewed work: J. M. Aarts and T. Nishiura. Dimension and extensions. North-Holland Math. Library, Amsterdam, London, New York, and Tokyo, 1993, xii + 331 pp., $106.50. ISBN 0444897402.

Hankel Transforms In Generalized Fock Spaces, John Schmeelk

Mathematics and Applied Mathematics Publications

A classical Fock space consists of functions of the form,ϕ↔(ϕ0,ϕ1,…,ϕq),where ϕ0∈ℂ and ϕq∈Lp(ℝq), q≥1. We will replace the ϕq, q≥1 with test functions having Hankel transforms. This space is a natural generalization of a classical Fock space as seen by expanding functionals having abstract Taylor Series. The particular coefficients of such series are multilinear functionals having distributions as their domain. Convergence requirements set forth are somewhat in the spirit of ultra differentiable functions and ultra distribution theory. The Hankel transform oftentimes implemented in Cauchy problems will be introduced into this setting. A theorem will be proven relating the convergence of …

Fixed Point Theorems For Non-Self Maps I, Troy L. Hicks, Unda Marie Sauga

Mathematics and Statistics Faculty Research & Creative Works

Suppose f:C→X where C is a closed subset of X. Necessary and sufficient conditions are given for f to have a fixed point. All results hold when X is complete metric space. Several results hold in a much more general setting. © 1994, Hindawi Publishing Corporation. All rights reserved.

A Qualitative Study Of Planar Elastic Deformations, Stephen Thomas Wentworth

Theses Digitization Project

No abstract provided.

Nonstandard Analysis Based Calculus, Kathleen Renae Gibson

Theses Digitization Project

In the first part of the project the elementary development of an extended number system called Hyperreals is discussed. The second half of this project develops the basics of Nonstandard Analysis, including the theory of ultrafilters, and the formal construction of the Hyperreals.

The Splitting Theorem For Orbifolds, Joseph Borzellino, Shun-Hui Zhu

Mathematics

In this paper we wish to examine a generalization of the splitting theorem of Cheeger–Gromoll [CG] to Riemannian orbifolds. Roughly speaking, a Riemannian orbifold is a metric space locally modelled on quotients of Rie- mannian manifolds by finite groups of isometries. The term orbifold was coined by W. Thurston [T] sometime around the year 1976–77. The term is meant to suggest the orbit space of a group action on a manifold. A similar concept was introduced by I. Satake in 1956, where he used the term V–manifold (See [S1]). The “V” was meant to suggest a cone–like singularity. Since then, …

Fault-Tolerant Circuit-Switching Networks, Nicholas Pippenger, Geng Lin

All HMC Faculty Publications and Research

The authors consider fault-tolerant circuit-switching networks under a random switch failure model. Three circuit-switching networks of theoretical importance—nonblocking networks, rearrangeable networks, and superconcentrators—are studied. The authors prove lower bounds for the size (the number of switches) and depth (the largest number of switches on a communication path) of such fault-tolerant networks and explicitly construct such networks with optimal size Θ( n (log n)² ) and depth Θ( log n ).

Advection Of A Passive Scalar By A Vortex Couple In The Small-Diffusion Limit, Joseph F. Lingevitch, Andrew J. Bernoff

All HMC Faculty Publications and Research

We study the advection of a passive scalar by a vortex couple in the small-diffusion (i.e. large Péclet number, Pe) limit. The presence of weak diffusion enhances mixing within the couple and allows the gradual escape of the scalar from the couple into the surrounding flow. An averaging technique is applied to obtain an averaged diffusion equation for the concentration inside the dipole which agrees with earlier results of Rhines & Young for large times. At the outer edge of the dipole, a diffusive boundary layer of width O(Pe^−½) forms; asymptotic matching to the interior …

A Qualitative Analysis Of Differential Equations Of Population Dynamics, Kevin Brenner

Honors Theses, 1963-2015

An exploration of systems of equations modeling closed hypothetical ecosystems. Models are formed from biological assumptions about population. Models are constructed by combining or modifying simpler systems. The simple models used in constructing systems are the logistic, competition, and Lotka-Volterra models. Eigenvalues and eigenvectors are used to prove some results about the equilibria of the systems. Geometric perspectives of the systems are used to develop the intuitive approach of the work. Examples of graphed systems are included. Partial results are proven. Conjectures are formed. Difficulties in the work are described and suggestions for further work are given.

Regularity Of The Free-Boundary In Singular Stochastic Control, S. A. Williams, P. L. Chow, J. L. Menaldi

Mathematics Faculty Research Publications

No abstract provided.

Characterization Of The Local Lipschitz Constant, M. W. Bartelt, J. J. Swetits

Mathematics & Statistics Faculty Publications

A characterization, using polynomials introduced by A. V. Kolushov, is given for the local Lipschitz constant for the best approximation operator in Chebyshev approximation from a Haar set. The characterization is then used to study the existence of uniform local Lipschitz constants.

Finite Amplitude Convection Between Stress-Free Boundaries; Ginzburg-Landau Equations And Modulation Theory, Andrew J. Bernoff

All HMC Faculty Publications and Research

The stability theory for rolls in stress-free convection at finite Prandtl number is affected by coupling with low wavenumber two-dimensional mean-flow modes. In this work, a set of modified Ginzburg-Landau equations describing the onset of convection is derived which accounts for these additional modes. These equations can be used to extend the modulation equations of Zippelius & Siggia describing the breakup of rolls, bringing their stability theory into agreement with the results of Busse & Bolton.

Multiage Classrooms: A New Way To Learn Math, Martha Taylor Dever, Randy Zila, Noel N. Mansano

Teacher Education and Leadership Faculty Publications

No abstract provided.

Random Fixed Point Theorems For Nonexpansive And Contractive-Type Random Operators On Banach Spaces, Ismat Beg, Naseer Shahzad

Mathematics and System Engineering Faculty Publications

The existence of random fixed points for nonexpansive and pseudocontractive random multivalued operators defined on unbounded subsets of a Banach space is proved. A random coincidence point theorem for a pair of compatible random multivalued operators is established.

Linear Codes And Error-Correction, Karen Brown

Presidential Scholars Theses (1990 – 2006)

The process of encoding information for transmission from one source to another is a vital process in many areas of science and technology. Whenever coded information is sent, there arises a certain possibility that an error will occur, either during transmission or in decoding. Therefore, it is imperative to develop methods to detect and correct errors in a code. The study of coding theory is a "new" area of mathematics which is relatively undeveloped.

This paper focuses on the properties of linear codes -and their corresponding methods of error-correction. To simplify the issue, only binary block codes are studied; hence …

Some Conjectures Concerning Triangular Numbers, Bruce Brandt

Journal of the Minnesota Academy of Science

Strong empirical evidence supports conjectures that certain number patterns always hold. These patterns concern the function cr, defined by the equation cr(n) = n - m2, m2 being the nearest square to n, on the domain of the triangular numbers. Triangular squares or triangular numbers of the form m2+m are also mentioned in most of the conjectures. One of the conjectures, for example, is that the sum of cr over the triangular numbers up to a triangular square is 0. Some of these patterns can be described by strings of symbols, such as "S" and "L," formed by first writing …

Supplement To "Some Conjectures Concerning Triangular Numbers", Bruce Brandt

Journal of the Minnesota Academy of Science

In a previous paper (1), I stated many conjectures about triangular numbers. Since submitting that paper I have discovered many more results, including generalizations, which are presented here.

Group Cohomology, Modular Theory And Space-Time Symmetries, R. Brunetti, D. Guido, R. Longo

Physics - All Scholarship

The Bisognano-Wichmann property on the geometric behavior of the modular group of the von Neumann algebras of local observables associated to wedge regions in Quantum Field Theory is shown to provide an intrinsic sufficient criterion for the existence of a covariant action of the (universal covering of) the Poincar'e group. In particular this gives, together with our previous results, an intrinsic characterization of positive-energy conformal pre-cosheaves of von Neumann algebras. To this end we adapt to our use Moore theory of central extensions of locally compact groups by polish groups, selecting and making an analysis of a wider class of …

An Invariant Subspace Problem For P = 1 Bergman Spaces On Slit Domains, William T. Ross

Department of Math & Statistics Faculty Publications

In this paper, we characterize the z-invariant subspaces that lie between the Bergman spaces A¹(G) and A¹(G/K), where G is a bounded region in the complex plane and K is a compact subset of a simple arc of class C¹.

Analytic Besov Spaces And Invariant Subspaces Of Bergman Spaces, William T. Ross

Department of Math & Statistics Faculty Publications

In this paper, we examine the invariant subspaces (under the operator f -->z f) M of the Bergman space ^p_a (G\T) (where 1 < p < 2, G is a bounded region in C containing D, T is the unit circle, and D is the unit disk) which contain the characteristic functions x_D and x_G, i.e. the constant functions on the components of G\T. We will show that such M are in one-to-one correspondence with the invariant subspaces of the analytic Besov space AB_q (q is the conjugate index to p) and …

Hyperinvariant Subspaces Of The Harmonic Dirichlet Space, William T. Ross, Stefan Richter, Carl Sundberg

Department of Math & Statistics Faculty Publications

No abstract provided.

A Relationship Between The Fibonacci Sequence And Cantor's Ternary Set, John David Samons

UNF Graduate Theses and Dissertations

The Fibonacci sequence and Cantor's ternary set are two objects of study in mathematics. There is much theory published about these two objects, individually. This paper provides a fascinating relationship between the Fibonacci sequence and Cantor's ternary set. It is a fact that every natural number can be expressed as the sum of distinct Fibonacci numbers. This expression is unique if and only if no two consecutive Fibonacci numbers are used in the expression--this is known as Zekendorf's representation of natural numbers. By Zekendorf's representation, a function F from the natural numbers into [0,0.603] will be defined which has the …

Operator Equations And Invariant Subspaces, Valentin Matache

Mathematics Faculty Publications

Banach space operators acting on some fixed space X are considered. If two such operators A and B verify the condition A² = B² and if A has non-trivial hyperinvariant subspaces, then B has nontrivial invariant subspaces. If A and B commute and satisfy a special type of functional equation, and if A is not a scalar multiple of the identity, the author proves that if A has nontrivial invariant subspaces, then so does B.

On Endomorphisms And Automorphisms Of Some Pure Subgroups Of The Baer-Specker Group, A. L.S. Corner, Brendan Goldsmith

Articles

The endomoprhism algebras of certain pure subgroups of the Baer-Specker group are investigated to answer a question of Irwin. Automorphism groups of these Abelian groups are investigated and a realization theme is established.

Asymptotic Behavior Of Solutions Of Model Problems For A Coupled System, S. Shao

Mathematics and Statistics Faculty Publications

We study the asymptotic behavior of solutions of model problems for a coupled system. By consistent use of a priori estimates and asymptotic analysis, we present here an more efficient approach which provides precise descriptions of the asymptotic behabior of solutions of this system. Our results amplify and extend earlier results of Dorr, Patter, and Shampine and their treatment of this system. Meanwhile, the stability of the steady-state solutions of the corresponding time-dependent system is discussed.

Boundary And Interior Layer Behavior In A Time-Dependent Singularly Perturbed System, S. Shao

Mathematics and Statistics Faculty Publications

No abstract provided.

First Excess Levels Of Vector Processes, Jewgeni H. Dshalalow

Mathematics and System Engineering Faculty Publications

This paper analyzes the behavior of a point process marked by a two-dimensional renewal process with dependent components about some fixed (two-dimensional) level. The compound process evolves until one of its marks hits (i.e. reaches or exceeds) its associated level for the first time. The author targets a joint transformation of the first excess level, first passage time, and the index of the point process which labels the first passage time. The cases when both marks are either discrete or continuous or mixed are treated. For each of them, an explicit and compact formula is derived. Various applications to stochastic …