Digital Commons Network^™

Doubling Measures, Monotonicity, And Quasiconformality, Leonid V. Kovalev, Diego Maldonado, Jang-Mei Wu

Mathematics - All Scholarship

We construct quasiconformal mappings in Euclidean spaces by integration of a discontinuous kernel against doubling measures with suitable decay. The differentials of mappings that arise in this way satisfy an isotropic form of the doubling condition. We prove that this isotropic doubling condition is satisfied by the distance functions of certain fractal sets. Finally, we construct an isotropic doubling measure that is not absolutely continuous with respect to the Lebesgue measure.

Asymmetric Games For Convolution Systems With Applications To Feedback Control Of Constrained Parabolic Equations, Boris S. Mordukhovich

Mathematics Research Reports

The paper is devoted to the study of some classes of feedback control problems for linear parabolic equations subject to hard/pointwise constraints on both Dirichlet boundary controls and state dynamic/output functions in the presence of uncertain perturbations within given regions. The underlying problem under consideration, originally motivated by automatic control of the groundwater regime in irrigation networks, is formalized as a minimax problemof optimal control, where the control strategy is sought as a feedback law. Problems of this type are among the most important in control theory and applications - while most challenging and difficult. Based on the Maximum Principle …

Suboptimal Feedback Control Design Of Constrained Parabolic Systems In Uncertainty Conditions, Boris S. Mordukhovich

Mathematics Research Reports

The paper concerns minimax control problems forlinear 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 an efficient approach to the minimax control design of constrained parabolic systems that is based on certain characteristic features of the parabolic dynamics including …

Generalized Differentiation Of Parameter-Dependent Sets And Mappings, Boris S. Mordukhovich, Bingwu Wang

Mathematics Research Reports

The paper concerns new aspects of generalized differentiation theory that plays a crucial role in many areas of modern variational analysis, optimization, and their applications. In contrast to the majority of previous developments, we focus here on generalized differentiation of parameter-dependent objects (sets, set-valued mappings, and nonsmooth functions), which naturally appear, e.g., in parametric optimization and related topics. The basic generalized differential constructions needed in this case are different for those known in parameter-independent settings, while they still enjoy comprehensive calculus rules developed in this paper.

Optimal Control Of Nonconvex Differential Inclusions, Boris S. Mordukhovich

Mathematics Research Reports

The paper concerns new aspects of generalized differentiation theory that plays a crucial role in many areas of modern variational analysis, optimization, and their applications. In contrast to the majority of previous developments, we focus here on generalized differentiation of parameter-dependent objects (sets, set-valued mappings, and nonsmooth functions), which naturally appear, e.g., in parametric optimization and related topics. The basic generalized differential constructions needed in this case are different for those known in parameter-independent settings, while they still enjoy comprehensive calculus rules developed in this paper.

Toral Algebraic Sets And Function Theory On Polydisks, Jim Agler, John E. Mccarthy, Mark Stankus

Mathematics

A toral algebraic set A is an algebraic set in Cⁿ whose intersection with Tⁿ is sufficiently large to determine the holomorphic functions on A. We develop the theory of these sets, and give a number of applications to function theory in several variables and operator theoretic model theory. In particular, we show that the uniqueness set for an extremal Pick problem on the bidisk is a toral algebraic set, that rational inner functions have zero sets whose irreducible components are not toral, and that the model theory for a commuting pair of contractions with finite defect …

Epi-Convergent Discretization Of The Generalizaed Bolza Problem In Dynamic Optimization, Boris S. Mordukhovich, Teemu Pennanen

Mathematics Research Reports

The paper is devoted to well-posed discrete approximations of the so-called generalized Bolza problem of minimizing variational functionals defined via extended-real-valued functions. This problem covers more conventional Bolza-type problems in the calculus of variations and optimal control of differential inclusions as well of parameterized differential equations. Our main goal is find efficient conditions ensuring an appropriate epi-convergence of discrete approximations, which plays a significant role in both the qualitative theory and numerical algorithms of optimization and optimal control. The paper seems to be the first attempt to study epi-convergent discretizations of the generalized Bolza problem; it establishes several rather general …

Simple Braids For Surface Homeomorphisms, Kamlesh Parwani

Faculty Research and Creative Activity

Let S be a compact, oriented surface with negative Euler characteristic and f:S→S be a homeomorphism isotopic to the identity. If there exists a periodic orbit with a non-zero rotation vector (p→,q), then there exists a simple braid with the same rotation vector.

Efficient Domination In Knights Graphs, Anne Sinko, Peter J. Slater

Mathematics Faculty Publications

The influence of a vertex set S ⊆V(G) is I(S) = Σ_v∈S(1 + deg(v)) = Σ_v∈S |N[v]|, which is the total amount of domination done by the vertices in S. The efficient domination number F(G) of a graph G is equal to the maximum influence of a packing, that is, F(G) is the maximum number of vertices one can dominate under the restriction that no vertex gets dominated more than once.

In …

Some Issues In The Art Image Database Systems, Peter L. Stanchev, David Green Jr., Boyan N. Dimitrov

Mathematics Publications

In this paper we illustrate several aspects of art databases, such as: the spread of the multimedia art images; the main characteristics of art images; main art images search models; unique characteristics for art image retrieval; the importance of the sensory and semantic gaps. In addition, we present several interesting features of an art image database, such as: image indexing; feature extraction; analysis on various levels of precision; style classification. We stress color features and their base, painting analysis and painting styles. We study also which MPEG-7 descriptors are best for fine painting images retrieval. An experimental system is developed …

Asymptotic Sign-Solvability, Multiple Objective Linear Programming, And The Nonsubstitution Theorem, L Clayton, R Herring, Allen G. Holder, J Holzer, C Nightingale, T Stohs

Mathematics Faculty Research

In this paper we investigate the asymptotic stability of dynamic, multiple-objective linear programs. In particular, we show that a generalization of the optimal partition stabilizes for a large class of data functions. This result is based on a new theorem about asymptotic sign-solvable systems. The stability properties of the generalized optimal partition are used to extend a dynamic version of the Nonsubstitution Theorem.

Partitioning Multiple Objective Optimal Solutions With Applications In Radiotherapy Design, Allen G. Holder

Mathematics Faculty Research

The optimal partition for linear programming is induced by any strictly complementary solution, and this partition is important because it characterizes the optimal set. However, constructing a strictly complementary solution in the presence of degeneracy was not practical until interior point algorithms became viable alternatives to the simplex algorithm. We develop analogs of the optimal partition for linear programming in the case of multiple objectives and show that these new partitions provide insight into the optimal set (both pareto optimality and lexicographic ordering are considered). Techniques to produce these optimal partitions are provided, and examples from the design of radiotherapy …

Explicit Symmetries Of Strict Feedforward Control Systems, Issa Amadou Tall, Witold Respondek

Miscellaneous (presentations, translations, interviews, etc)

We show that any symmetry of a smooth strict feedforward system is conjugated to a scaling translation and any 1-parameter family of symmetries to a family of scaling translations along the first variable. We compute explicitly those symmetries by finding the conjugating diffeomorphism. We deduce, in accordance with our previous work, that a smooth system is feedback equivalent to a strict feedforward form if and only if it gives rise to a sequence of systems, such that each element of the sequence, firstly, possesses an infinitesimal symmetry whose flow is conjugated to a 1- parameter families of scaling translations and, …

Simple Braids For Surface Homeomorphisms, Kamlesh Parwani

Faculty Research and Creative Activity

Let S be a compact, oriented surface with negative Euler characteristic and f:S→S be a homeomorphism isotopic to the identity. If there exists a periodic orbit with a non-zero rotation vector (p→,q), then there exists a simple braid with the same rotation vector.

Teaching Time Savers: Some Advice On Giving Advice, Michael E. Orrison Jr.

All HMC Faculty Publications and Research

There are always a lot of questions that need to be answered at the beginning of a course. When are office hours? What are the grading policies? How many exams will there be? Will late homework be accepted? We have all seen the answers to these sorts of questions form the bulk of a standard course syllabus, and most of us feel an obligation (and rightly so) to provide such information.

Linear Conditions Imposed On Flag Varieties, Julianna S. Tymoczko

Mathematics Sciences: Faculty Publications

We study subvarieties of the flag variety called Hessenberg varieties, defined by certain linear conditions. These subvarieties arise naturally in applications including geometric representation theory, number theory, and numerical analysis. We describe completely the homology of Hessenberg varieties over GLn(ℂ) and show that they have no odd-dimensional homology. We provide an explicit geometric construction which partitions each Hessenberg variety into pieces homeomorphic to affine space. We characterize these affine pieces by fillings of Young tableaux and show that the dimension of the affine piece can be computed by combinatorial rules generalizing the Eulerian numbers. We give an equivalent formulation of …

Conformality And Q-Harmonicity In Carnot Groups, Luca Capogna, Michael Cowling

Mathematics Sciences: Faculty Publications

We show that if f is a 1-quasiconformal map defined on an open subset of a Carnot group G, then composition with f preserves Q-harmonic functions. We combine this with a regularity theorem for Q-harmonic functions and an algebraic regularity theorem for maps between Carnot groups to show that f is smooth. We give some applications to the study of rigidity.

Ahlfors Type Estimates For Perimeter Measures In Carnot-Carathéodory Spaces, Luca Capogna, Nicola Garofalo

Mathematics Sciences: Faculty Publications

We study the relationship between the geometry of hypersurfaces in a Carnot-Carathéodory (CC) space and the Ahlfors regularity of the corresponding perimeter measure. To this end we establish comparison theorems for perimeter estimates between an hypersurface and its tangent space, and between a CC geometry and its "tangent" Carnot group structure.

Local Energy Decay For Solutions Of Multi-Dimensional Isotropic Symmetric Hyperbolic Systems, Thomas C. Sideris, Becca Thomases

Mathematics Sciences: Faculty Publications

The local decay of energy is established for solutions to certain linear, multidimensional symmetric hyperbolic systems, with constraints. The key assumptions are isotropy and nondegeneracy of the associated symbols. Examples are given, including Maxwell's equations and linearized elasticity. Such estimates prove useful in treating nonlinear perturbations.

Solutions For The Cell Cycle In Cell Lines Derived From Human Tumors, B. Zubik-Kowal

Mathematics Faculty Publications and Presentations

The goal of the paper is to compute efficiently solutions for model equations that have the potential to describe the growth of human tumor cells and their responses to radiotherapy or chemotherapy. The mathematical model involves four unknown functions of two independent variables: the time variable t and dimensionless relative DNA content x. The unknown functions can be thought of as the number density of cells and are solutions of a system of four partial differential equations. We construct solutions of the system, which allow us to observe the number density of cells for different t and x values. …

Overinterpolation, Dan Coman, Evgeny A. Poletsky

Mathematics - All Scholarship

In this paper we study the consequences of overinterpolation, i.e., the situation when a function can be interpolated by polynomial, or rational, or algebraic functions in more points that normally expected. We show that in many cases such a function has specific forms.

A New Integrable Equation With Cuspons And W/M-Shape-Peaks Solitons, Zhijun Qiao

School of Mathematical and Statistical Sciences Faculty Publications and Presentations

In this paper, we propose a new completely integrable wave equation: mt+mx u2 −ux 2 +2m2ux=0, m=u−uxx. The equation is derived from the two dimensional Euler equation and is proven to have Lax pair and bi-Hamiltonian structures. This equation possesses new cusp solitons—cuspons, instead of regular peakons ce− −ct with speed c. Through investigating the equation, we develop a new kind of soliton solutions—“W/M”-shape-peaks solitons. There exist no smooth solitons for this integrable water wave equation.

Balanced Biorthogonal Scaling Vectors Using Fractal Function Macroelements On [0,1], Bruce Kessler

Mathematics Faculty Publications

Geronimo, Hardin, et al have previously constructed orthogonal and biorthogonal scaling vectors by extending a spline scaling vector with functions supported on $[0,1]$. Many of these constructions occurred before the concept of balanced scaling vectors was introduced. This paper will show that adding functions on $[0,1]$ is insufficient for extending spline scaling vectors to scaling vectors that are both orthogonal and balanced. We are able, however, to use this technique to extend spline scaling vectors to balanced, biorthogonal scaling vectors, and we provide two large classes of this type of scaling vector, with approximation order two and three, respectively, with …

On Area-Stationary Surfaces In Certain Neutral Kaehler 4-Manifolds, Brendan Guilfoyle, Wilhelm Klingenberg

Publications

We study surfaces in TN that are area-stationary with respect to a neutral Kaehler metric constructed on TN from a riemannian metric g on N. We show that holomorphic curves in TN are area-stationary, while lagrangian surfaces that are area-stationary are also holomorphic and hence totally null. However, in general, area stationary surfaces are not holomorphic. We prove this by constructing counter-examples. In the case where g is rotationally symmetric, we find all area stationary surfaces that arise as graphs of sections of the bundle TN→N and that are rotationally symmetric. When (N,g) is the round 2-sphere, TN can be …

Random Dynamics (Siuc 2006 Outstanding Scholar Public Lecture), Salah-Eldin A. Mohammed

Miscellaneous (presentations, translations, interviews, etc)

No abstract provided.

Improving The Convergence And Computational Efficiency Of Deformable Image Registration Calculation By Incorporating Prior Knowledge, S. Kamath, Eduard Schreibmann, Doron Levy, Dana C. Paquin, Lei Xing

Mathematics

Abstract of a paper presented at the 48th Annual Meeting of the American Society for Therapeutic Radiology and Oncology.

Multiscale Image Registration, Dana C. Paquin, Doron Levy, Lei Xing

Mathematics

Abstract of paper presented at the 48th Annual Meeting of the American Society for Therapeutic Radiology and Oncology.

Double-Slit Interference And Temporal Topos, Goro Kato, Tsunefumi Tanaka

Mathematics

The electron double-slit interference is re-examined from the point of view of temporal topos. Temporal topos (or t-topos) is an abstract algebraic (categorical) method using the theory of sheaves. A brief introduction to t-topos is given. When the structural foundation for describing particles is based on t-topos, the particle-wave duality of electron is a natural consequence. A presheaf associated with the electron represents both particle-like and wave-like properties depending upon whether an object in the site (t-site) is specified (particle-like) or not (wave-like). It is shown that the localization of the electron at one of the slits is equivalent to …

Bayesian Wavelet-Based Methods For The Detection Of Multiple Changes Of The Long Memory Parameter, Kyungduk Ko

Mathematics Faculty Publications and Presentations

Long memory processes are widely used in many scientific fields, such as economics, physics, and engineering. Change point detection problems have received considerable attention in the literature because of their wide range of possible applications. Here we describe a wavelet-based Bayesian procedure for the estimation and location of multiple change points in the long memory parameter of Gaussian autoregressive fractionally integrated moving average models (ARFIMA(p, d, q)), with unknown autoregressive and moving average parameters. Our methodology allows the number of change points to be unknown. The reversible jump Markov chain Monte Carlo algorithm is used for posterior inference. The method …

Change Point Estimation Of Bilevel Functions, Leming Qu, Yi-Cheng Tu

Mathematics Faculty Publications and Presentations

Reconstruction of a bilevel function such as a bar code signal in a partially blind deconvolution problem is an important task in industrial processes. Existing methods are based on either the local approach or the regularization approach with a total variation penalty. This article reformulated the problem explicitly in terms of change points of the 0-1 step function. The bilevel function is then reconstructed by solving the nonlinear least squares problem subject to linear inequality constraints, with starting values provided by the local extremas of the derivative of the convolved signal from discrete noisy data. Simulation results show a considerable …