Applied Mathematics Commons^™

Automatic Closure Of Invariant Linear Manifolds For Operator Algebras, Allan P. Donsig, Alan Hopenwasser, David R. Pitts

Department of Mathematics: Faculty Publications

Kadison's transitivity theorem implies that, for irreducible representations of C*-algebras, every invariant linear manifold is closed. It is known that CSL algebras have this property if, and only if, the lattice is hyperatomic (every projection is generated by a nite number of atoms). We show several other conditions are equivalent, including the condition that every invariant linear manifold is singly generated.

We show that two families of norm closed operator algebras have this property. First, let L be a CSL and suppose A is a norm closed algebra which is weakly dense in Alg L and is a bimodule over …

A Construction Of Compactly-Supported Biorthogonal Scaling Vectors And Multiwavelets On $R^2$, Bruce Kessler

Mathematics Faculty Publications

In \cite{K}, a construction was given for a class of orthogonal compactly-supported scaling vectors on $\R^{2}$, called short scaling vectors, and their associated multiwavelets. The span of the translates of the scaling functions along a triangular lattice includes continuous piecewise linear functions on the lattice, although the scaling functions are fractal interpolation functions and possibly nondifferentiable. In this paper, a similar construction will be used to create biorthogonal scaling vectors and their associated multiwavelets. The additional freedom will allow for one of the dual spaces to consist entirely of the continuous piecewise linear functions on a uniform subdivision of the …

Constructing Critical Indecomposable Codes, Judy L. Walker

Department of Mathematics: Faculty Publications

Critical indecomposable codes were introduced by Assmus, who also gave a recursive construction for these objects. One of the key ingredients in the construction is an auxiliary code, which is an indecomposable code of minimum distance at least 3. In terms of actually being able to construct all critical indecomposable codes, however, Assmus leaves many unanswered questions about these auxiliary codes. In this paper, we provide answers to these questions, including a description of when two equivalent auxiliary codes can yield inequivalent critical indecomposable codes, and results on both the minimum length and the maximum number of critical columns of …

What Mathematical Paradoxes Teach Us About Paradoxes In Christianity, Paul Bialek

ACMS Conference Proceedings 2001

In Christian academic circles, we talk about the integration of our faith and learning. That is, we seek to discover and develop connections between our Christian faith and our particular discipline. This is notoriously difficult when the discipline is mathematics. I have found that asking myself these three questions has helped me to integrate my Christian faith with mathematics, although they could be applied to any discipline: (1) How does the fact that I am a Christian affect the way I view mathematics? (2) How does the fact that I am a mathematician affect the way I view Christianity? (3) …

Three Problems From Number Theory, Robert Brabenec

ACMS Conference Proceedings 2001

This paper discusses the experiences of Wheaton College mathematics and computer science department colloquium as they explored open-ended problems.

The Soviet Concept Of The Correlation Of Forces, James Bradley

ACMS Conference Proceedings 2001

This paper takes a look at the Soviet Union’s accumulation of nuclear weapons during the Cold War and what mathematical strategy they employed to make their choices.

Gravitational Acceleration In Hades, Andrew Simoson

ACMS Conference Proceedings 2001

Does acceleration due to gravity increase or decrease upon descending from Earth’s surface? The answer—as we show—depends on one’s model for Earth’s density. For our Earth, gravity increases before it collapses to zero at Earth center.

Theism & Mathematical Realism, John Byl

ACMS Conference Proceedings 2001

This paper examines connections between theism and mathematical realism. Mathematical realism, which offers the best account of mathematics, strongly supports theism. Theism, in turn, supports mathematical realism. Theism readily explains the intricate relations between mathematics, matter, and mind. The attributes of the biblical God provide justification for classical mathematics.

Mathematics Memory Verses: Weekly Devotionals For Math Class, Mark Colgan

ACMS Conference Proceedings 2001

Each Monday during the semester I start class with a short devotional on a verse that relates in some way to mathematics. After three weeks I choose one of the three at random for students to write out on their quiz for a possible bonus point. This encourages students to practice memorizing Scripture and it gives us the opportunity to discuss biblical principles that relate to some of the topics we are studying in the course.

I would like to share some of the Bible verses and weekly devotionals I have used in my mathematics classes. These can be organized …

Parables For Mathematicians: With Good News For Curved Beings, Ashley Reiter Ahlin

ACMS Conference Proceedings 2001

Because we often lack the language for talking about such deep matters, the things of God can be hard to understand or talk about. The things that we do see and know were made by the same God of whom we speak. Thus, they are reflections of His nature, purposes, and ways and can help us to think and take about Him. This presentation expresses a parable using the language of math.

On Periodic Points On Maps Of Trees And The Expansive Property, Fred Worth

ACMS Conference Proceedings 2001

In this paper, we consider the expansive property (A homeomorphism, f, of a metric space, X, onto itself is called expansive if there is a positive number, ε, such that if x and y are distinct points of X, then there exists an integer, n = n(x,y), such that d(f n(x), f n(y)) > ε. It should be noted that n may be negative.) and how it relates to shift homeomorphisms of a tree with a single, surjective bonding map. We also consider some results regarding the periodicity of points in self-maps of trees.

Why Natural Selection Can't Design Anything, William A. Dembski

ACMS Conference Proceedings 2001

In The Fifth Miracle Paul Davies suggests that any laws capable of explaining the origin of life must be radically different from scientific laws known to date? The problem, as he sees it, with currently known scientific laws, like the laws of chemistry and physics, is that they cannot explain the key feature of life that needs to be explained. That feature is specified complexity. Life is both complex and specified. The basic institution here is straightforward. Davies rightly notes, laws (that is, necessities of nature) can explain specification but not complexity. Once life (or more generally some self-replicator) …

Mathematics As Worship, David J. Stucki

ACMS Conference Proceedings 2001

In keeping with the mission of this organization to explore the relationship of faith to our discipline, I would like to take this opportunity to investigate the relationship, if any, between mathematics and worship. There have been throughout history, at least since Pythagoras, connections made between the mathematical and the theological. Many of these such efforts have followed the Pythagorean cult in deifying number, thus making mathematics the object of worship. Othes have effectively situated theology in subservience to mathematical reason. However, these are not the only alternatives.

Once we admit the possibility of a connection between mathematics and theology, …

Thml: Theological Markup Language For The Christian Classics Ethereal Library, Harry Plantinga

ACMS Conference Proceedings 2001

This document describes the Theological Markup Language (ThML), an XML markup language for theological texts. ThML was developed for use in the Christian Classics Ethereal Library (CCEL), but it is hoped that the language will serve as a royalty-free format for theological texts in other applications. Key design goals are that the language should be (1) rich enough to represent information needed for digital libraries and for theological study involving multiple, related texts, including cross-reference, synchronization, indexing, and scripture references, (2) based on XML and usable with World Wide Web tools, (3) automatically convertible to other common formats, and (4) …

Integration Of A Christian Perspective In The Mathematical Sciences, Johan De Klerk

ACMS Conference Proceedings 2001

No abstract provided.

Cost Domination In Graphs, David John Erwin

Dissertations

Let G be a connected graph having order at least 2. A function f : V (G) —> {0 , 1 , . . . , diam G} for which f ( v ) < e(v) for every vertex v of G is a cost function on G. A vertex v with f ( v ) > 0 is an f-dominating vertex, and the set Vj~ = {v 6 V(G) : f(v) > 0} of f-dominating vertices is the f-dominating set. An /-dominating vertex v is said to f-dominate every vertex u with d(n, v) < f(u ), while …

Introduction (2001), Association Of Christians In The Mathematical Sciences

ACMS Conference Proceedings 2001

Thirteenth ACMS Conference on Mathematics from a Christian Perspective

Table Of Contents (2001), Association Of Christians In The Mathematical Sciences

ACMS Conference Proceedings 2001

Thirteenth ACMS Conference on Mathematics from a Christian Perspective

Schedule (2001), Association Of Christians In The Mathematical Sciences

ACMS Conference Proceedings 2001

Thirteenth ACMS Conference on Mathematics from a Christian Perspective

Separability Of Tilings, Nicholas Baeth, Jason Deblois, Lisa Powell

Mathematical Sciences Technical Reports (MSTR)

A tiling by triangles of an orientable surfaces is called kaleidoscopic if the local reflection in any edge of a triangle extends to a global isometry of the surface. Given such a global reflection the fixed point subset of the reflection consists of embedded circles (ovals) whose union is called the mirror of the reflection. The reflection is called separating if removal of the mirror disconnects the surface into two components. We consider surfaces such that the orientation preserving subgroup of the tiling group generated by the reflection is cyclic or abelian. A complete classification of those surfaces with separating …

Theism And Mathematical Realism, John Byl

ACMS Journal 2004

This paper examines connections between theism and mathematical realism. Mathematical realism, which offers the best account of mathematics, strongly supports theism. Theism, in turn, supports mathematical realism. Theism readily explains the intricate relations between mathematics, matter, and mind. The attributes of the biblical God provide a justification for classical mathematics.

Mathematics As Worship, David J. Stucki

ACMS Journal 2004

This paper treats worship in a broad, inclusive sense as the primary and necessary response of human beings to their creator. It provides a brief overview of the relationship between mathematics and theology from the Pythagoreans to the present. It argues that all knowledge is contingent upon faith and thus that contemplation of mathematical insights can lead to worship of God.

Biharmonic Maps On V-Manifolds, Yuan-Jen Chiang, Hongan Sun

Mathematics Articles

We generalize biharmonic maps between Riemannian manifolds into the case of the domain being V-manifolds. We obtain the first and second variations of biharmonic maps on V-manifolds. Since a biharmonic map from a compact V-manifold into a Riemannian manifold of nonpositive curvature is harmonic, we construct a biharmonic non-harmonic map into a sphere. We also show that under certain condition the biharmonic property of f implies the harmonic property of f. We finally discuss the composition of biharmonic maps on V-manifolds.

Topologically Pure Extensions, Peter Loth

Mathematics Faculty Publications

A proper short exact sequence 0→H →G→K→0 (*) in the category of locally compact abelian groups is said to be topologically pure if the induced sequence 0→nH→nG→nK→0 is proper short exact for all positive integers n. Some characterizations of topologically pure sequences in terms of direct decompositions, pure extensions and tensor products are established. A simple proof is given for a theorem on pure subgroups by Hartman and Hulanickl. Using topologically pure extensions, we characterize those splitting locally compact abelian groups whose torsion part is a direct sum of a compact …

Eddy Structures Induced Within A Wedge By A Honing Circular Arc, C. P. Hills

Articles

In this paper we outline an expeditious numerical procedure to calculate the Stokes flow in a corner due to the rotation of a scraping circular boundary. The method is also applicable to other wedge geometries. We employ a collocation technique utilising a basis of eddy (similarity) functions introduced by Moffatt (1964) that allows us to satisfy automatically the governing equations for the streamfunction and all the boundary conditions on the surface of the wedge. The circular honing problem thereby becomes one-dimensional requiring only the satisfaction of conditions on the circular boundary. The advantage of using the Moffatt eddy functions as …

Eddies Induced In Cylindrical Containers By A Rotating End Wall, Christopher Hills

Articles

The flow generated in a viscous liquid contained in a cylindrical geometry by a rotating end wall is considered. Recent numerical and experimental work has established several distinct phases of the motion when fluid inertia plays a significant role. The current paper, however, establishes the nature of the flow in the thus far neglected low Reynolds number regime. Explicitly, by employing biorthogonality relations appropriate to the current geometry, it is shown that a sequence of exponentially decaying eddies extends outward from the rotating end wall. The cellular structure is a manifestation of the dominance of complex eigensolutions to the homogeneous …

Decay Estimates Of Heat Transfer To Melton Polymer Flow In Pipes With Viscous Dissipation, Dongming Wei, Zhenbu Zhang

Mathematics Faculty Publications

In this work, we compare a parabolic equation with an elliptic equation both of which are used in modeling temperature profile of a power-law polymer flow in a semi-infinite straight pipe with circular cross section. We show that both models are well-posed and we derive exponential rates of convergence of the two solutions to the same steady state solution away from the entrance. We also show estimates for difference between the two solutions in terms of physical data.

A Critical Look At Self-Dual Codes, Judy L. Walker

Department of Mathematics: Faculty Publications

We investigate self-dual codes from a structural point of view. In particular, we study properties of critical indecomposable codes which appear in the spectrum of a self-dual code. As an application of the results we obtain, we revisit the study of self-dual codes of dimension at most 10.

In the late 1950’s, Slepian [4] became the first to take an abstract approach to the study of error-correcting codes. He introduced a structure theory for binary linear codes, developing in particular the idea of an indecomposable code; that is, a code which is not isomorphic to a nontrivial direct sum of …

Efficient Traitor Tracing Algorithms Using List Decoding, Alice Silverberg, Jessica Staddon, Judy L. Walker

Department of Mathematics: Faculty Publications

We use powerful new techniques for list decoding error-correcting codes to efficiently trace traitors. Although much work has focused on constructing traceability schemes, the complexity of the tracing algorithm has received little attention. Because the TA tracing algorithm has a runtime of O(N) in general, where N is the number of users, it is inefficient for large populations.We produce schemes for which the TA algorithm is very fast. The IPP tracing algorithm, though less efficient, can list all coalitions capable of constructing a given pirate. We give evidence that when using an algebraic structure, the ability to …

Normal Forms, Canonical Forms, And Invariants Of Single Input Nonlinear Systems Under Feedback, Issa Amadou Tall, Witold Respondek

Miscellaneous (presentations, translations, interviews, etc)

We study the feedback group action on single-input nonlinear control systems. We follow an approach of Kang and Krener based on analysing, step by step, the action of homogeneous transformations on the homogeneous part of the system. We construct a dual normal form and dual invariants with respect to those obtained by Kang. We also propose a canonical form and show that two systems are equivalent via a formal feedback if and only if their canonical forms coincide. We give an explicit construction of transformations bringing the system to its normal, dual normal, and canonical form.