Mathematics Commons^™

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 …

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 …

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 …

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.

Commuting Self-Adjoint Extensions Of Symmetric Operators Defined From The Partial Derivatives, Palle Jorgensen, Steen Pedersen

Mathematics and Statistics Faculty Publications

We consider the problem of finding commuting self-adjoint extensions of the partial derivatives {(1/i)(∂/∂x_j):j=1,...,d} with domain C^∞_c(Ω) where the self-adjointness is defined relative to L²(Ω), and Ω is a given open subset of R^d.

The Expected Wet Period Of Finite Dam With Exponential Inputs, Eui Yong Lee, Kimberly Kinateder

Mathematics and Statistics Faculty Publications

We use martingale methods to obtain an explicit formula for the expected wet period of the finite dam of capacity V, where the amounts of inputs are i.i.d exponential random variables and the output rate is one, when the reservoir is not empty. As a consequence, we obtain an explicit formula for the expected hitting time of either 0 or V and a new expression for the distribution of the number of overflows during the wet period, both without the use of complex analysis.

A Nonlinear Parabolic Equation Modelling Surfactant Diffusion, Xinfu Chen, Chaocheng Huang, Jennifer Zhao

Mathematics and Statistics Faculty Publications

An initial-boundary value problem for nonlinear parabolic equations modelling surfactant diffusions is investigated. The boundary conditions are of nonlinear adsorptive types, and the initial value has a single point jump. We study the well-posedness of the problem, the convergence of a numerical scheme, and the regularity as well as quantitative behaviour of solutions.

An Efficient Method For Band Structure Calculations In 3d Photonic Crystals, David C. Dobson, Jay Gopalakrishnan, Joseph E. Pasciak

Mathematics and Statistics Faculty Publications and Presentations

A method for computing band structures for three-dimensional photonic crystals is described. The method combines a mixed finite element discretization on a uniform grid with a fast Fourier transform preconditioner and a preconditioned subspace iteration algorithm. Numerical examples illustrating the behavior of the method are presented.

The Structure Of Free Semigroup Algebras, Kenneth R. Davidson, Elias Katsoulis, David R. Pitts

Department of Mathematics: Faculty Publications

A free semigroup algebra is WOT-closed algebra generated by an n-tuple of isometries with pairwise orthogonal ranges. The interest in these algebras arises primarily from two of their interesting features. The first is that they provide useful information about unitary invariants of representations of the Cuntz-Toeplitz algebras. The second is that they form a class of nonself-adjoint operator algebras which are of interest in their own right. This class contains a distinguished representative, the "non-commutative Toeplitz algebra", which is generated by the left regular representation of the free semigroup on n letters and denoted . This paper provides a general …

Euclidean Weights Of Codes From Elliptic Curves Over Rings, José Felipe Voloch, Judy L. Walker

Department of Mathematics: Faculty Publications

We construct certain error-correcting codes over finite rings and estimate their parameters. For this purpose, we need to develop some tools, notably an estimate for certain exponential sums and some results on canonical lifts of elliptic curves. These results may be of independent interest.

A code is a subset of Aⁿ, where A is a finite set (called the alphabet). Usually A is just the field of two elements and, in this case, one speaks of binary codes. Such codes are used in applications where one transmits information through noisy channels. By building redundancy into the code, transmitted …

Singular Solutions To A Nonlinear Elliptic Boundary Value Problem Originating From Corrosion Modeling, Kurt M. Bryan, Michael Vogelius

Mathematical Sciences Technical Reports (MSTR)

We consider a nonlinear elliptic boundary value problem on a planar domain. The exponential type nonlinearity in the boundary condition is one that frequently appears in the modeling of electrochemical systems. For the case of a disk we construct a family of exact solutions that exhibit limiting logarithmic singularities at certain points on the boundary. Based on these solutions we develop two criteria that we believe predict the possible locations of the boundary singularities on quite general domains.

Rotary Honing: A Variant Of The Taylor Paint-Scraper Problem, Christopher Hills, H. Moffatt

Articles

The three-dimensional Row in a corner of fixed angle α induced by the rotation in its plane of one of the boundaries is considered. A local similarity solution valid in a neighbourhood of the centre of rotation is obtained and the streamlines are shown to be closed curves. The effects of inertia are considered and are shown to be significant in a small neighbourhood of the plane of symmetry of the flow. A simple experiment confirms that the streamlines are indeed nearly closed; their projections on planes normal to the line of intersection of the boundaries are precisely the 'Taylor' …

Multigrid For The Mortar Finite Element Method, Jay Gopalakrishnan, Joseph E. Pasciak

Mathematics and Statistics Faculty Publications and Presentations

A multigrid technique for uniformly preconditioning linear systems arising from a mortar finite element discretization of second order elliptic boundary value problems is described and analyzed. These problems are posed on domains partitioned into subdomains, each of which is independently triangulated in a multilevel fashion. The multilevel mortar finite element spaces based on such triangulations (which need not align across subdomain interfaces) are in general not nested. Suitable grid transfer operators and smoothers are developed which lead to a variable Vcycle preconditioner resulting in a uniformly preconditioned algebraic system. Computational results illustrating the theory are also presented.

Tight Bounds On The Algebraic Connectivity Of A Balanced Binary Tree, Jason J. Molitierno, Michael Neumann, Bryan L. Shader

Mathematics Faculty Publications

In this paper, quite tight lower and upper bounds are obtained on the algebraic connectivity, namely, the second-smallest eigenvalue of the Laplacian matrix, of an unweighted balanced binary tree with k levels and hence n = 2^k - 1 vertices. This is accomplished by considering the inverse of a matrix of order k - 1 readily obtained from the Laplacian matrix. It is shown that the algebraic connectivity is 1/(2^k - 2k + 3) + 0(1/2^2k).

Oif Spaces, Zoltan Balogh, Harold Bennett, Dennis Burke, Gary Gruenhage, David Lutzer, Joe D. Mashburn

Mathematics Faculty Publications

A base β of a space X is called an OIF base when every element of B is a subset of only a finite number of other elements of β. We will explore the fundamental properties of spaces having such bases. In particular, we will show that in T2 spaces, strong OIF bases are the same as uniform bases, and that in T3 spaces where all subspaces have OIF bases, compactness, countable compactness, or local compactness will give metrizability.

Mortar Estimates Independent Of Number Of Subdomains, Jay Gopalakrishnan

Mathematics and Statistics Faculty Publications and Presentations

The stability and error estimates for the mortar finite element method are well established. This work examines the dependence of constants in these estimates on shape and number of subdomains. By means of a Poincar´e inequality and some scaling arguments, these estimates are found not to deteriorate with increase in number of subdomains.

Separation Property Of Solutions For A Semilinear Elliptic Equation, Yi Liu, Yi Li, Yinbin Deng

Mathematics and Statistics Faculty Publications

In this paper, we study the following elliptic problem[formula]where K(x) is a given function in C^α(ⁿ\0) for some fixed α∈(0, 1), p>1 is a constant. Some existence, monotonicity and asymptotic expansion at infinity of solutions of (*) are discussed.

Codes And Curves, Judy L. Walker

Department of Mathematics: Faculty Publications

When information is transmitted, errors are likely to occur. Coding theory examines effi cient ways of packaging data so that these errors can be detected, or even corrected. The traditional tools of coding theory have come from combinatorics and group theory. Lately, however, coding theorists have added techniques from algebraic geometry to their toolboxes. In particular, by re-interpreting the Reed- Solomon codes, one can see how to defi ne new codes based on divisors on algebraic curves. For instance, using modular curves over fi nite fi elds, Tsfasman, Vladut, and Zink showed that one can defi ne a sequence of …

Two-Groups With Few Conjugacy Classes, Nigel Boston, Judy L. Walker

Department of Mathematics: Faculty Publications

An old question of Brauer asking how fast numbers of conjugacy classes grow is investigated by considering the least number c_n of conjugacy classes in a group of order 2ⁿ. The numbers c_n are computed for n ≤ 14 and a lower bound is given for c₁₅. It is observed that c_n grows very slowly except for occasional large jumps corresponding to an increase in coclass of the minimal groups G_n. Restricting to groups that are 2-generated or have coclass at most 3 allows us to extend these computations.

Translation Theorems For Fourier-Feynman Transforms And Conditional Fourier-Feynman Transforms, Seung Jun Change, Chull Park, David Skough

Department of Mathematics: Faculty Publications

Translation theorems for Wiener integrals were given by Cameron and Martin in [3] and by Cameron and Graves in [2]. Translation theorems for analytic Feynman integrals were given by Cameron and Storvick in [4], [7] and translation theorems for Feynman integrals on abstract Wiener and Hilbert spaces were given by Chung and Kang in [12].

Collected Papers Vol. Iii, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

No abstract provided.