Mathematics Commons^™

On Construction Of The Smallest One-Sided Confidence Interval For The Difference Of Two Proportions, Weizhen Wang

Mathematics and Statistics Faculty Publications

For my class of one-sided 1 - α confidence intervals with a certain monotonicity ordering on the random confidence limit, the smallest interval, in the sense of the set inclusion for the difference of two proportions of two independent binomial random variables, is constructed based on a direct analysis of coverage probability function. A special ordering on the confidence limit is developed and the corresponding smallest confidence interval is derived. This interval is then applied to identify the minimum effective dose (MED) for binary data in dose-response studies, and a multiple test procedure that controls the familywise error rate at …

Applying Metric Regularity To Compute Condition Measure Of Smoothing Algorithm For Matrix Games, Boris S. Mordukhovich, Javier Peña, Vera Roshchina

Mathematics Research Reports

Abstract. We develop an approach of variational analysis and generalized differentiation to conditioning issues for two-person zero-sum matrix games. Our major results establish precise relationships between a certain condition measure of the smoothing first-order algorithm proposed in (4] and the exact bound of metric regularity for an associated set-valued mapping. In this way we compute the aforementioned condition measure in terms of the initial matrix game data.

An Algorithm For Wavelet–Based Elemental Spectrum Analysis, Bruce Kessler

Mathematics Faculty Publications

At the previous Approximation Theory XII meeting, I discussed some preliminary work with the Applied Physics Institute at Western Kentucky University in using multiwavelets to provide an objective analysis of gamma-ray spectrum generated from fast neutron bombardment of objects, for the purpose of identifying the elemental composition of the object. The method discussed at the time worked moderately well with the limited amount of data provided, but subsequent use with data sets of different compounds and with different detectors brought to light serious flaws with its implementation.

This talk will illustrate those issues and will address how they have been …

Validation Of A Novel Approach To Solving Multibody Systems Using Hamilton's Weak Principle, Ashton D. Hainge

Theses and Dissertations

A novel approach for formulating and solving for the dynamic response of multibody systems has been developed using Hamilton’s Law of Varying Action as its unifying principle. In order to assure that the associated computer program is sufficiently robust when applied across a wide range of dynamic systems, the program must be verified and validated. The purpose of the research was to perform the verification and validation of the program. Results from the program were compared with closed-form and numerical solutions of simple systems, such as a simple pendulum and a rotating pendulum. The accuracy of the program for complex …

First-Order And Second-Order Optimality Conditions For Nonsmooth Constrained Problems Via Convolution Smoothing, Andrew C. Eberhard, Boris S. Mordukhovich

Mathematics Research Reports

This paper mainly concerns deriving first-order and second-order necessary (and partly sufficient) optimality conditions for a general class of constrained optimization problems via smoothing regularization procedures based on infimal-like convolutions/envelopes. In this way we obtain first-order optimality conditions of both lower subdifferential and upper subdifferential types and then second-order conditions of three kinds involving, respectively, generalized second-order directional derivatives, graphical derivatives of first-order subdifferentials, and secondorder subdifferentials defined via coderivatives of first-order constructions.

Software Internationalization: A Framework Validated Against Industry Requirements For Computer Science And Software Engineering Programs, John Huân Vũ

Master's Theses

View John Huân Vũ's thesis presentation at http://youtu.be/y3bzNmkTr-c.

In 2001, the ACM and IEEE Computing Curriculum stated that it was necessary to address "the need to develop implementation models that are international in scope and could be practiced in universities around the world." With increasing connectivity through the internet, the move towards a global economy and growing use of technology places software internationalization as a more important concern for developers. However, there has been a "clear shortage in terms of numbers of trained persons applying for entry-level positions" in this area. Eric Brechner, Director of Microsoft Development Training, suggested …

Enhanced Metric Regularity And Lipschitzian Properties Of Variational Systems, Francisco J. Aragón Artacho, Boris S. Mordukhovich

Mathematics Research Reports

This paper mainly concerns the study of a large class of variational systems governed by parametric generalized equations, which encompass variational and hemivariational inequalities, complementarity problems, first-order necessary optimality conditions, and other optimization-related models important for optimization theory and applications. An efficient approach to these issues has been developed in our preceding work [1] establishing qualitative and quantitative relationships between conventional metric regularity jsubregularity and Lipschitzian/calmness properties in the framework of parametric generalized equations in arbitrary Banach spaces. This paper provides, on one hand, significant extensions of the major results in [1] to new partial metric regularity and hemiregularity properties. …

Improved Automated Monitoring And New Analysis Algorithm For Circadean Phototaxis Rhythms In Chlamydomonas, Christa Gaskill, Jennifer Forbes-Stovall, Bruce Kessler, Mike Young, Claire A. Rinehart, Sigrid Jacobshagen

Mathematics Faculty Publications

Automated monitoring of circadian rhythms is an efficient way of gaining insight into oscillation parameters like period and phase for the underlying pacemaker of the circadian clock. Measurement of the circadian rhythm of phototaxis (swimming towards light) exhibited by the green alga Chlamydomonas reinhardtii has been automated by directing a narrow and dim light beam through a culture at regular intervals and determining the decrease in light transmittance due to the accumulation of cells in the beam. In this study, the monitoring process was optimized by constructing a new computercontrolled measuring machine that limits the test beam to wavelengths reported …

Integer Functions On The Cycle Space And Edges Of A Graph, Dan Slilaty

Mathematics and Statistics Faculty Publications

A directed graph has a natural Z-module homomorphism from the underlying graph’s cycle space to Z where the image of an oriented cycle is the number of forward edges minus the number of backward edges. Such a homomorphism preserves the parity of the length of a cycle and the image of a cycle is bounded by the length of that cycle. Pretzel and Youngs (SIAM J. Discrete Math. 3(4):544–553, 1990) showed that any Z-module homomorphism of a graph’s cycle space to Z that satisfies these two properties for all cycles must be such a map induced from an edge direction …

Singular Points Of Real Sextic Curves I, David A. Weinberg, Nicholas J. Willis

Faculty Publications - Department of Mathematics

A complete classification of the individual types of singular points is given for irreducible real sextic curves. This classification is derived by using the computer algebra system Maple. There are 191 types of singular points for real irreducible sextic curves. We clarify that the classification is based on computing just enough of the Puiseux expansion to separate the branches. A significant portion of the proof consists of a sequence of large symbolic computations that can be done nicely using Maple.

Parallelization Of The Wolff Single-Cluster Algorithm, Jevgenijs Kaupužs, Jānis Rimšāns, Roderick V.N. Melnik

Mathematics Faculty Publications

A parallel [open multiprocessing (OpenMP)] implementation of the Wolff single-cluster algorithm has been developed and tested for the three-dimensional (3D) Ising model. The developed procedure is generalizable to other lattice spin models and its effectiveness depends on the specific application at hand. The applicability of the developed methodology is discussed in the context of the applications, where a sophisticated shuffling scheme is used to generate pseudorandom numbers of high quality, and an iterative method is applied to find the critical temperature of the 3D Ising model with a great accuracy. For the lattice with linear size L=1024, we have …

Optimal Control And Feedback Design Of State-Constrained Parabolic Systems In Uncertainty Conditions, Boris S. Mordukhovich

Mathematics Research Reports

The paper concerns minimax control problems for linear multidimensional parabolic systems with distributed uncertain perturbations and control functions acting in the Dirichlet boundary conditions. The underlying parabolic control system is functioning under hard/pointwise constraints on control and state variables. The main goal is to design a feedback control regulator that ensures the required state performance and robust stability under any feasible perturbations and minimize an energy-type functional under the worst perturbations from the given area. We develop a constructive approach to the minimax control design of constrained parabolic systems that is based on certain characteristic features of the parabolic dynamics …

Periodic Solutions Of Neutral Delay Integral Equations Of Advanced Type, Muhammad Islam, Nasrin Sultana, James Booth

Mathematics Faculty Publications

We study the existence of continuous periodic solutions of a neutral delay integral equation of advanced type. In the analysis we employ three fixed point theorems: Banach, Krasnosel'skii, and Krasnosel'skii-Schaefer. Krasnosel'skii-Schaefer fixed point theorem requires an a priori bound on all solutions. We employ a Liapunov type method to obtain such bound.

A Vision For Acms, James Bradley

ACMS Journal 2010-2011

This paper presents a vision for the mission of the ACMS. It considers some plausible connections between mathematics and theology as well as some big questions that Christian mathematicians might fruitfully explore. It examines the current cultural norms of the mathematics guild, why these are problematic for Christians, and some possible ways the ACMS might respond.

Traveling Wave Solutions For A Nonlocal Reaction-Diffusion Model Of Influenza A Drift, Joaquin Riviera, Yi Li

Mathematics and Statistics Faculty Publications

In this paper we discuss the existence of traveling wave solutions for a nonlocal reaction-diffusion model of Influenza A proposed in Lin et. al. (2003). The proof for the existence of the traveling wave takes advantage of the different time scales between the evolution of the disease and the progress of the disease in the population. Under this framework we are able to use the techniques from geometric singular perturbation theory to prove the existence of the traveling wave.

Methods Of Variational Analysis In Pessimistic Bilevel Programming, Samarathunga M. Dassanayaka

Wayne State University Dissertations

Bilevel programming problems are of growing interest both from theoretical and practical points of view. These models are used in various applications, such as economic planning, network design, and so on. The purpose of this dissertation is to study the pessimistic (or strong) version of bilevel programming problems in finite-dimensional spaces. Problems of this type are intrinsically nonsmooth (even for smooth initial data) and can be treated by using appropriate tools of modern variational analysis and generalized differentiation developed by B. Mordukhovich.

This dissertation begins with analyzing pessimistic bilevel programs, formulation of the problems, literature review, practical application, existence of …

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.

A Time Series Analysis Of The New Jersey Meadowlands Weather And Air Quality Data, Steven Spero

Theses, Dissertations and Culminating Projects

This research applies time series methods to determine relationships among a set of weather variables which are continually monitored in the Hackensack Meadowlands region of northern New Jersey. Weather data includes chemical and atmospheric factors. Chemical factors are Nitrogen Oxide, atmospheric Ozone, Carbon Monoxide, and Carbon Dioxide. Weather factors are wind speed, barometric pressure, air temperature, humidity, and solar radiation. Additionally, traffic density and time of week are brought in as categorical factors. This research attempts to (a) introduce the reader to various time series methodologies, (b) find a significant and efficient model for forecasting Nitrogen Oxide levels, and (c) …

A Class Of Discontinuous Petrov–Galerkin Methods. Ii. Optimal Test Functions, Leszek Demkowicz, Jay Gopalakrishnan

Mathematics and Statistics Faculty Publications and Presentations

We lay out a program for constructing discontinuous Petrov–Galerkin (DPG) schemes having test function spaces that are automatically computable to guarantee stability. Given a trial space, a DPG discretization using its optimal test space counterpart inherits stability from the well posedness of the undiscretized problem. Although the question of stable test space choice had attracted the attention of many previous authors, the novelty in our approach lies in the fact we identify a discontinuous Galerkin (DG) framework wherein test functions, arbitrarily close to the optimal ones, can be locally computed. The idea is presented abstractly and its feasibility illustrated through …

A Projection-Based Error Analysis Of Hdg Methods, Jay Gopalakrishnan, Bernardo Cockburn, Francisco-Javier Sayas

Mathematics and Statistics Faculty Publications and Presentations

We introduce a new technique for the error analysis of hybridizable discontinuous Galerkin (HDG) methods. The technique relies on the use of a new projection whose design is inspired by the form of the numerical traces of the methods. This renders the analysis of the projections of the discretization errors simple and concise. By showing that these projections of the errors are bounded in terms of the distance between the solution and its projection, our studies of influence of the stabilization parameter are reduced to local analyses of approximation by the projection. We illustrate the technique on a specific HDG …

A Class Of Discontinuous Petrov–Galerkin Methods. Part I: The Transport Equation, Leszek Demkowicz, Jay Gopalakrishnan

Mathematics and Statistics Faculty Publications and Presentations

Considering a simple model transport problem, we present a new finite element method. While the new method fits in the class of discontinuous Galerkin (DG) methods, it differs from standard DG and streamline diffusion methods, in that it uses a space of discontinuous trial functions tailored for stability. The new method, unlike the older approaches, yields optimal estimates for the primal variable in both the element size h and polynomial degree p, and outperforms the standard upwind DG method.

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 …

Linearly Ordered Topological Spaces And Weak Domain Representability, Joe Mashburn

Mathematics Faculty Publications

It is well known that domain representable spaces, that is topological spaces that are homeomorphic to the space of maximal elements of some domain, must be Baire. In this paper it is shown that every linearly ordered topological space (LOTS) is homeomorphic to an open dense subset of a weak domain representable space. This means that weak domain representable spaces need not be Baire.

Coarsening In High Order, Discrete, Ill-Posed Diffusion Equations, Catherine Kublik

Mathematics Faculty Publications

We study the discrete version of a family of ill-posed, nonlinear diffusion equations of order 2n. The fourth order (n=2) version of these equations constitutes our main motivation, as it appears prominently in image processing and computer vision literature. It was proposed by You and Kaveh as a model for denoising images while maintaining sharp object boundaries (edges). The second order equation (n=1) corresponds to another famous model from image processing, namely Perona and Malik's anisotropic diffusion, and was studied in earlier papers. The equations studied in this paper are high order analogues of the Perona-Malik equation, and like the …

Multigrid In A Weighted Space Arising From Axisymmetric Electromagnetics, Dylan M. Copeland, Jay Gopalakrishnan, Minah Oh

Mathematics and Statistics Faculty Publications and Presentations

Consider the space of two-dimensional vector functions whose components and curl are square integrable with respect to the degenerate weight given by the radial variable. This space arises naturally when modeling electromagnetic problems under axial symmetry and performing a dimension reduction via cylindrical coordinates. We prove that if the original three-dimensional domain is convex then the multigrid Vcycle applied to the inner product in this space converges, provided certain modern smoothers are used. For the convergence analysis, we first prove several intermediate results, e.g., the approximation properties of a commuting projector in weighted norms, and a superconvergence estimate for a …

Hybridization And Postprocessing Techniques For Mixed Eigenfunctions, Bernardo Cockburn, Jay Gopalakrishnan, F. Li, Ngoc Cuong Nguyen, Jaume Peraire

Mathematics and Statistics Faculty Publications and Presentations

We introduce hybridization and postprocessing techniques for the Raviart–Thomas approximation of second-order elliptic eigenvalue problems. Hybridization reduces the Raviart–Thomas approximation to a condensed eigenproblem. The condensed eigenproblem is nonlinear, but smaller than the original mixed approximation. We derive multiple iterative algorithms for solving the condensed eigenproblem and examine their interrelationships and convergence rates. An element-by-element postprocessing technique to improve accuracy of computed eigenfunctions is also presented. We prove that a projection of the error in the eigenspace approximation by the mixed method (of any order) superconverges and that the postprocessed eigenfunction approximations converge faster for smooth eigenfunctions. Numerical experiments using …

Multiresolution Inverse Wavelet Reconstruction From A Fourier Partial Sum, Nataniel Greene

Publications and Research

The Gibbs phenomenon refers to the lack of uniform convergence which occurs in many orthogonal basis approximations to piecewise smooth functions. This lack of uniform convergence manifests itself in spurious oscillations near the points of discontinuity and a low order of convergence away from the discontinuities.In previous work [11,12] we described a numerical procedure for overcoming the Gibbs phenomenon called the Inverse Wavelet Reconstruction method (IWR). The method takes the Fourier coefficients of an oscillatory partial sum and uses them to construct the wavelet coefficients of a non-oscillatory wavelet series. However, we only described the method standard wavelet series and …

Positive Solutions Of The (N-1, 1) Conjugate Boundary Value Problem, Bo Yang

Faculty Articles

We consider the (n - 1, 1) conjugate boundary value problem. Some upper estimates to positive solutions for the problem are obtained. We also establish some explicit sufficient conditions for the existence and nonexistence of positive solutions of the problem.

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 …

Bass’ Nk Groups And Cd H-Fibrant Hochschild Homology, G. Cortiñas, C. Haesemeyer, Mark E. Walker, C. Weibel

Department of Mathematics: Faculty Publications

The K-theory of a polynomial ring R[t ] contains the K-theory of R as a summand. For R commutative and containing Q, we describe K∗(R[t ])/K∗(R) in terms of Hochschild homology and the cohomology of Kähler differentials for the cdh topology.

We use this to address Bass’ question, whether K_n(R) = K_n(R[t ]) implies K_n(R) = K_n(R[t₁, t₂]). The answer to this question is affirmative when R is essentially of …