Mathematics Commons^™

Robust Stability And Optimality Conditions For Parametric Infinite And Semi-Infinite Programs, M J. Cánovas, M A. Lopez, Boris S. Mordukhovich, J Parra

Mathematics Research Reports

This paper primarily concerns the study of parametric problems of infinite and semi-infinite programming, where functional constraints are given by systems of infinitely many linear inequalities indexed by an arbitrary set T, where decision variables run over Banach (infinite programming) or finite-dimensional (semi-infinite case) spaces, and where objectives are generally described by nonsmooth and nonconvex cost functions. The parameter space of admissible perturbations in such problems is formed by all bounded functions on T equipped with the standard supremum norm. Unless the index set T is finite, this space is intrinsically infinite-dimensional (nonreflexive and nonseparable) of the l(infinity)-type. By using …

On A-Ary Subdivision For Curve Design Ii. 3-Point And 5-Point Interpolatory Schemes, Jian-Ao Lian

Applications and Applied Mathematics: An International Journal (AAM)

The a-ary 3-point and 5-point interpolatery subdivision schemes for curve design are introduced for arbitrary odd integer a greater than or equal to 3. These new schemes further extend the family of the classical 4- and 6-point interpolatory schemes.

Metric Regularity Of Mappings And Generalized Normals To Set Images, Boris S. Mordukhovich, Nguyen Mau Nam, Bingwu Wang

Mathematics Research Reports

The primary goal of this paper is to study some notions of normals to nonconvex sets in finite-dimensional and infinite-dimensional spaces and their images under single-valued and set-valued mappings. The main motivation for our study comes from variational analysis and optimization, where the problems under consideration play a crucial role in many important aspects of generalized differential calculus and applications. Our major results provide precise equality formulas (sometimes just efficient upper estimates) allowing us to compute generalized normals in various senses to direct and inverse images of nonconvex sets under single-valued and set-valued mappings between Banach spaces. The main tools …

Asymptotic Behavior Of Linearized Viscoelastic Flow Problem, Yinnian He, Yi Li

Yi Li

In this article, we provide some asymptotic behaviors of linearized viscoelastic flows in a general two-dimensional domain with certain parameters small and the time variable large.

Asymptotic Behavior Of Linearized Viscoelastic Flow Problem, Yinnian He, Yi Li

Mathematics and Statistics Faculty Publications

In this article, we provide some asymptotic behaviors of linearized viscoelastic flows in a general two-dimensional domain with certain parameters small and the time variable large.

Optimization Of Delay-Differential Inclusions Of Infinite Dimensions, Boris S. Mordukhovich, Dong Wang, Lianwen Wang

Mathematics Research Reports

No abstract provided.

Limiting Subgradients Of Minimal Time Functions In Banach Spaces, Boris S. Mordukhovich, Nguyen Mau Nam

Mathematics Research Reports

The paper mostly concerns the study of generalized differential properties of the so-called minimal time functions associated, in particular, with constant dynamics and arbitrary closed target sets in control theory. Functions of this type play a significant role in many aspects of optimization, control theory: and Hamilton-Jacobi partial differential equations. We pay the main attention to computing and estimating limiting subgradients of the minimal value functions and to deriving the corresponding relations for Frechet type epsilon-subgradients in arbitrary Banach spaces.

Linearizable Feedforward Systems: A Special Class, Issa Amadou Tall

Miscellaneous (presentations, translations, interviews, etc)

We address the problem of linearizability of systems in feedforward form. In a recent paper [22] we completely solved the linearizability for strict feedforward systems. We extend here those results to a special class of feedforward systems. We provide an algorithm, along with explicit transformations, that linearizes the system by change of coordinates when some easily checkable conditions are met. We also re-analyze type II class of linearizable strict feedforward systems provided by Krstic in [9] and we show that this class is the unique linearizable among the class of quasi-linear strict feedforward systems (see Definition III.1). Our results allow …

Understanding Similarity: Bridging Geometric And Numeric Contexts For Proportional Reasoning, Dana Christine Cox

Dissertations

The concept of similarity is uniquely situated at the crossroads of geometric and numerical proportional reasoning. Although studies have documented the existence and nature of student difficulties with this topic, there exists a gap between documented visual insights of younger children and the quantitative inadequacies of older ones. Using a revised version of the Similarity Perception Test followed by 21 clinical interviews, this study investigated the visual and analytical strategies that are used by middle-school students to differentiate and construct similar figures.

New strategies for construction and differentiation were identified, and three overarching conclusions were drawn from the work. First, …

A Universal Theory Of Decoding And Pseudocodewords, Nathan Axvig, Deanna Dreher, Katherine Morrison, Eric T. Psota, Lance C. Pérez, Judy L. Walker

Department of Mathematics: Faculty Publications

The discovery of turbo codes [5] and the subsequent rediscovery of low-density parity-check (LDPC) codes [9, 18] represent a major milestone in the field of coding theory. These two classes of codes can achieve realistic bit error rates, between 10−5 and 10−12, with signalto- noise ratios that are only slightly above the minimum possible for a given channel and code rate established by Shannon’s original capacity theorems. In this sense, these codes are said to be near-capacity-achieving codes and are sometimes considered to have solved (in the engineering sense, at least) the coding problem for the additive white Gaussian noise …

Nonbinary Quantum Error-Correcting Codes From Algebraic Curves, Jon-Lark Kim, Judy L. Walker

Department of Mathematics: Faculty Publications

We give a generalized CSS construction for nonbinary quantum error-correcting codes. Using this we construct nonbinary quantum stabilizer codes from algebraic curves. We also give asymptotically good nonbinary quantum codes from a Garcia- Stichtenoth tower of function fields which are constructible in polynomial time.

Binary quantum error-correcting codes have been constructed in several ways. One interesting construction uses algebraic-geometry codes [2], [6], [7], [12], with the main idea being to apply the binary CSS construction [4], [5], [16] to the asymptotically good algebraic-geometry codes arising from the Garcia-Stichtenoth [11] tower of function fields over F_q2 (where q is a …

Necessary Conditions For Nonsmooth Optimization Problems With Operator Constraints In Metric Spaces, Boris S. Mordukhovich, Libin Mou

Mathematics Research Reports

This paper concerns nonsmooth optimization problems involving operator constraints given by mappings on complete metric spaces with values in nonconvcx subsets of Banach spaces. We derive general first-order necessary optimality conditions for such problems expressed via certain constructions of generalized derivatives for mappings on metric spaces and axiomatically defined subdifferentials for the distance function to nonconvex sets in Banach spaces. Our proofs arc based on variational principles and perturbation/approximation techniques of modern variational analysis. The general necessary conditions obtained are specified in the case of optimization problems with operator constraints dDScribcd by mappings taking values in approximately convex subsets of …

Positive Solutions Of A Third-Order Three-Point Boundary-Value Problem, Bo Yang

Faculty and Research Publications

We obtain upper and lower estimates for positive solutions of a third-order three-point boundary-value problem. Sufficient conditions for the existence and nonexistence of positive solutions for the problem are also obtained. Then to illustrate our results, we include an example.

A Symbolic Operator Approach To Power Series Transformation-Expansion Formulas, Tian-Xiao He

Tian-Xiao He

In this paper we discuss a kind of symbolic operator method by making use of the defined Sheffer-type polynomial sequences and their generalizations, which can be used to construct many power series transformation and expansion formulas. The convergence of the expansions are also discussed.

Radiotherapy Optimal Design: An Academic Radiotherapy Treatment Design System, R Acosta, W Brick, A Hanna, Allen Holder, D Lara, G Mcquillen, D Nevin, P Uhlig, B Salter

Mathematical Sciences Technical Reports (MSTR)

Optimally designing radiotherapy and radiosurgery treatments to increase the likelihood of a successful recovery from cancer is an important application of operations research. Researchers have been hindered by the lack of academic software that supports head-to-head comparisons of different techniques, and this article addresses the inherent difficulties of designing and implementing an academic treatment planning system. In particular, this article details the algorithms and the software design of Radiotherapy optimAl Design (RAD).

Uniform Uncertainty Principle And Signal Recovery Via Regularized Orthogonal Matching Pursuit, Deanna Needell, Roman Vershynin

CMC Faculty Publications and Research

This paper seeks to bridge the two major algorithmic approaches to sparse signal recovery from an incomplete set of linear measurements—L1-minimization methods and iterative methods (Matching Pursuits). We find a simple regularized version of Orthogonal Matching Pursuit (ROMP) which has advantages of both approaches: the speed and transparency of OMP and the strong uniform guarantees of L1-minimization. Our algorithm, ROMP, reconstructs a sparse signal in a number of iterations linear in the sparsity, and the reconstruction is exact provided the linear measurements satisfy the uniform uncertainty principle.

On Linearizability Of Strict Feedforward Systems, Issa Amadou Tall, Witold Respondek

Miscellaneous (presentations, translations, interviews, etc)

In this paper we address the problem of linearizability of systems in strict feedforward form. We provide an algorithm, along with explicit transformations, that linearizes a system by change of coordinates when some easily checkable conditions are met. Those conditions turn out to be necessary and sufficient, that is, if one fails the system is not linearizable. We revisit type I and type II classes of linearizable strict feedforward systems provided by Krstic in [6] and illustrate our algorithm by various examples mostly taken from [5], [6].

Rethinking Pythagorean Triples, William J. Spezeski

Applications and Applied Mathematics: An International Journal (AAM)

It has been known for some 2000 years how to generate Pythagorean Triples. While the classical formulas generate all of the primitive triples, they do not generate all of the triples. For example, the triple (9, 12, 15) can’t be generated from the formulas, but it can be produced by introducing a multiplier to the primitive triple (3, 4, 5). And while the classical formulas produce the triple (3, 4, 5), they don’t produce the triple (4, 3, 5); a transposition is needed. This paper explores a new set of formulas that, in fact, do produce all of the triples …

On A-Ary Subdivision For Curve Design: I. 4-Point And 6-Point Interpolatory Schemes, Jian-Ao Lian

Applications and Applied Mathematics: An International Journal (AAM)

The classical binary 4-point and 6-point interpolatery subdivision schemes are generalized to a-ary setting for any integer a greater than or equal to 3. These new a-ary subdivision schemes for curve design are derived easily from their corresponding two-scale scaling functions, a notion from the context of wavelets.

Signed Decomposition Of Fully Fuzzy Linear Systems, Tofigh Allahviranloo, Nasser Mikaeilvand, Narsis A. Kiani, Rasol M. Shabestari

Applications and Applied Mathematics: An International Journal (AAM)

System of linear equations is applied for solving many problems in various areas of applied sciences. Fuzzy methods constitute an important mathematical and computational tool for modeling real-world systems with uncertainties of parameters. In this paper, we discuss about fully fuzzy linear systems in the form AX = b (FFLS). A novel method for finding the non-zero fuzzy solutions of these systems is proposed. We suppose that all elements of coefficient matrix A are positive and we employ parametric form linear system. Finally, Numerical examples are presented to illustrate this approach and its results are compared with other methods.

Certain Expansion Formulae Involving A Basic Analogue Of Fox’S H-Function, S. D. Purohit, R. K. Yadav, S. L. Kalla

Applications and Applied Mathematics: An International Journal (AAM)

Certain expansion formulae for a basic analogue of the Fox’s H-function have been derived by the applications of the q-Leibniz rule for the Weyl type q-derivatives of a product of two functions. Expansion formulae involving a basic analogue of Meijer’s G-function and MacRobert’s E-function have been derived as special cases of the main results.

The Weak Euler Scheme For Stochastic Delay Equations, Evelyn Buckwar, Rachel Kuske, Salah-Eldin A. Mohammed, Tony Shardlow

Articles and Preprints

We study weak convergence of an Euler scheme for non-linear stochastic delay differential equations (SDDEs) driven by multidimensional Brownian motion. The Euler scheme has weak order of convergence 1, as in the case of stochastic ordinary differential equations (SODEs) (i.e., without delay). The result holds for SDDEs with multiple finite fixed delays in the drift and diffusion terms. Although the set-up is non-anticipating, our approach uses the Malliavin calculus and the anticipating stochastic analysis techniques of Nualart and Pardoux.

The Signed-Graphic Representations Of Wheels And Whirls, Dan Slilaty, Hongxun Qin

Mathematics and Statistics Faculty Publications

We characterize all of the ways to represent the wheel matroids and whirl matroids using frame matroids of signed graphs. The characterization of wheels is in terms of topological duality in the projective plane and the characterization of whirls is in terms of topological duality in the annulus.

Connectivity In Frame Matroids, Dan Slilaty, Hongxun Qin

Mathematics and Statistics Faculty Publications

We discuss the relationship between the vertical connectivity of a biased graph Ω and the Tutte connectivity of the frame matroid of Ω (also known as the bias matroid of Ω).

Methods Of Assessing And Ranking Probable Sources Of Error, Nataniel Greene

Publications and Research

A classical method for ranking n potential events as sources of error is Bayes' theorem. However, a ranking based on Bayes' theorem lacks a fundamental symmetry: the ranking in terms of blame for error will not be the reverse of the ranking in terms of credit for lack of error. While this is not a flaw in Bayes' theorem, it does lead one to inquire whether there are related methods which have such symmetry. Related methods explored here include the logical version of Bayes' theorem based on probabilities of conditionals, probabilities of biconditionals, and ratios or differences of credit to …

Traveling Waves And Shocks In A Viscoelastic Generalization Of Burgers' Equation, Victor Camacho '07, Robert D. Guy, Jon T. Jacobsen

All HMC Faculty Publications and Research

We consider traveling wave phenomena for a viscoelastic generalization of Burgers' equation. For asymptotically constant velocity profiles we find three classes of solutions corresponding to smooth traveling waves, piecewise smooth waves, and piecewise constant (shock) solutions. Each solution type is possible for a given pair of asymptotic limits, and we characterize the dynamics in terms of the relaxation time and viscosity.

A Wavelet-Based Method For Overcoming The Gibbs Phenomenon, 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. Here we describe a numerical procedure for overcoming the Gibbs phenomenon called the inverse wavelet reconstruction method. 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.

Failure Of Metric Regularity For Major Classes Of Variational Systems, Boris S. Mordukhovich

Mathematics Research Reports

The paper is devoted to the study of metric regularity, which is a remarkable property of set-valued mappings playing an important role in many aspects of nonlinear analysis and its applications. We pay the main attention to metric regularity of the so- called parametric variational systems that contain, in particular, various classes of parameterized/perturbed variational and hemivariational inequalities, complementarity systems, sets of optimal solutions and corresponding Lagrange multipliers in problems of parametric optimization and equilibria, etc. Based on the advanced machinery of generalized differentiation1 we surprisingly reveal that metric regularity fails for certain major classes of parametric variational systems, which …

An Overview Of Conditionals And Biconditionals In Probability, Nataniel Greene

Publications and Research

Conditional and biconditional statements are a standard part of symbolic logic but they have only recently begun to be explored in probability for applications in artificial intelligence. Here we give a brief overview of the major theorems involved and illustrate them using two standard model problems from conditional probability.

Local Cohomology And Support For Triangulated Categories, Dave Benson, Srikanth Iyengar, Henning Krause

Department of Mathematics: Faculty Publications

We propose a new method for defining a notion of support for objects in any compactly generated triangulated category admitting small coproducts. This approach is based on a construction of local cohomology functors on triangulated categories, with respect to a central ring of operators. Suitably specialized one recovers, for example, the theory for commutative noetherian rings due to Foxby and Neeman, the theory of Avramov and Buchweitz for complete intersection local rings, and varieties for representations of finite groups according to Benson, Carlson, and Rickard. We give explicit examples of objects whose triangulated support and cohomological support differ. In the …