Using the refinement equation for the construction of pre-wavelets III: Elliptic splines

The purpose of this paper is to provide multiresolution analysis, stationary subdivision and pre-wavelet decomposition onL ²(R ^d ) based on a general class of functions which includes polyharmonic B-splines.The work of this author has been partially supported by a DARPA grant.The work of this author has been partially supported by Fondo Nacional de Ciencia y Technologia under Grant 880/89.     

Approximation of average cost optimal policies for general Markov decision processes with unbounded costs

The aim of the paper is to show that Lyapunov-like ergodicity conditions on Markov decision processes with Borel state space and possibly unbounded cost provide the approximation of an average cost optimal policy by solvingn-stage optimization problems (n = 1, 2, ...). The used approach ensures the exponential rate of convergence. The approximation of this type would be useful to find adaptive procedures of control and to estimate stability of an optimal control under disturbances of the transition probability.Research supported in part by Consejo Nacional de Ciencia y Tecnologia (CONACYT) under grant 0635P-E9506.Research supported by Fondo del Sistema de Investigatión del Mar de Cortés under Grant SIMAC/94/CT-005.     

Weighted singularly perturbed hybrid stochastic systems

In this paper weighted singularly perturbed hybrid stochastic systems are discussed. Under some reasonable assumptions, it is shown that there exists a uniformly δ-optimal policy when the perturbation is sufficiently small.Received: December 2005 / Revised: March 2005This author was supported partially by National Natural Science Foundation of China under grant 60274050, 70221001 and 70328001.This author was supported partially by Australia Research Council Grant #A49532206.     

Quasiequational Theories of Flat Algebras

We prove that finite flat digraph algebras and, more generally, finite compatible flat algebras satisfying a certain condition are finitely q-based (possess a finite basis for their quasiequations). We also exhibit an example of a twelve-element compatible flat algebra that is not finitely q-based. The first author was partially supported by the grant # 201/02/0594 of the Grant Agency of the Czech Republic, and by the Institutional grant MSM0021620839; the second author was partially supported by the grant No. Tn37877 of the Hungarian National Foundation for Scientific Research (OTHA); the third author was supported by the NSF grant # DMS-9971352.     

An envelope theorem and some applications to discounted Markov decision processes

In this paper, an Envelope Theorem (ET) will be established for optimization problems on Euclidean spaces. In general, the Envelope Theorems permit analyzing an optimization problem and giving the solution by means of differentiability techniques. The ET will be presented in two versions. One of them uses concavity assumptions, whereas the other one does not require such kind of assumptions. Thereafter, the ET established will be applied to the Markov Decision Processes (MDPs) on Euclidean spaces, discounted and with infinite horizon. As the first application, several examples (including some economic models) of discounted MDPs for which the et allows to determine the value iteration functions will be presented. This will permit to obtain the corresponding optimal value functions and the optimal policies. As the second application of the ET, it will be proved that under differentiability conditions in the transition law, in the reward function, and the noise of the system, the value function and the optimal policy of the problem are differentiable with respect to the state of the system. Besides, various examples to illustrate these differentiability conditions will be provided. This work was partially supported by Benemérita Universidad Aut ónoma de Puebla (BUAP) under grant VIEP-BUAP 38/EXC/06-G, by Consejo Nacional de Ciencia y Tecnología (CONACYT), and by Evaluation-orientation de la COopération Scientifique (ECOS) under grant CONACyT-ECOS M06-M01.     

Separative cancellation for projective modules over exchange rings

A separative ring is one whose finitely generated projective modules satisfy the propertyA⊕A⋟A⊕B⋟B⊕B⇒A⋟B. This condition is shown to provide a key to a number of outstanding cancellation problems for finitely generated projective modules over exchange rings. It is shown that the class of separative exchange rings is very broad, and, notably, closed under extensions of ideals by factor rings. That is, if an exchange ringR has an idealI withI andR/I both separative, thenR is separative. The research of the first and fourth authors was partially supported by a grant from the DGICYT (Spain) and by the Comissionat per Universitats i Recerca de la Generalitat de Catalunya. That of the second author was partially supported by a grant from the NSF (USA). The final version of this paper was prepared while he was visiting the Centre de Recerca Matemàtica, Institut d'Estudis Catalans in Barcelona, and he thanks the CRM for its hospitality.     

Characterizing efficiency without linear structure: a unified approach

In this paper, we study a general optimization problem without linear structure under a reflexive and transitive relation on a nonempty set E, and characterize the existence of efficient points and the domination property for a subset of E through a generalization of the order-completeness condition introduced earlier. Afterwards, we study the abstract optimization problem by using generalized continuity concepts and establish various existence results. As an application, we extend and improve several existence results given in the literature for an optimization problem involving set-valued maps under vector and set criteria. The work of the first author was partially supported by CONICYT-Chile through FONDECYT 107-0689 and FONDAP-Matemáticas Aplicadas II; whereas that of the second and third author were supported in part by Ministerio de Educación y Ciencia (Spain), project MTM2006-02629 and by Junta de Castilla y León (Spain) Project VA027B06.     

The Theory of Multidimensional Persistence

Persistent homology captures the topology of a filtration—a one-parameter family of increasing spaces—in terms of a complete discrete invariant. This invariant is a multiset of intervals that denote the lifetimes of the topological entities within the filtration. In many applications of topology, we need to study a multifiltration: a family of spaces parameterized along multiple geometric dimensions. In this paper, we show that no similar complete discrete invariant exists for multidimensional persistence. Instead, we propose the rank invariant, a discrete invariant for the robust estimation of Betti numbers in a multifiltration, and prove its completeness in one dimension. The first author was partially supported by NSF under grant DMS-0354543. The second author was partially supported by DARPA under grant HR 0011-06-1-0038 and by ONR under grant N 00014-08-1-0908. Both authors were partially supported by DARPA under grant HR 0011-05-1-0007.     

A Sharp Form of the Cramér–Wold Theorem

The Cramér–Wold theorem states that a Borel probability measure P on ℝ ^d is uniquely determined by its one-dimensional projections. We prove a sharp form of this result, addressing the problem of how large a subset of these projections is really needed to determine P. We also consider extensions of our results to measures on a separable Hilbert space. First author partially supported by the Spanish Ministerio de Ciencia y Tecnología, grant BFM2002-04430-C02-02. Second author partially supported by Instituto de Cooperación Iberoamericana, Programa de Cooperación Interuniversitaria AL-E 2003. Third author partially supported by grants from NSERC and the Canada research chairs program.     

Packing directed circuits

We prove a conjecture of Younger, that for every integern0 there exists an integert0 such that for every digraphG, eitherG hasn vertex-disjoint directed circuits, orG can be made acyclic by deleting at mostt vertices.Research partially supported by DONET ECHM contract CHRXCT930090.Research partially supported by DIMACS, by NSF grant DMS-9401981 and by ONR grant N00014-92-J-1965, and partially performed under a consulting agreement with Bellcore.Research partially supported by DIMACS, by Université de Paris VI, by NSF grant DMS-9303761 and by ONR grant N00014-93-1-0325, and partially performed under a consulting agreement with Bellcore.     

Rational quadrature formulae on the unit circle with arbitrary poles

Interpolatory quadrature rules exactly integrating rational functions on the unit circle are considered. The poles are prescribed under the only restriction of not lying on the unit circle. A computable upper bound of the error is obtained which is valid for any choice of poles, arbitrary weight functions and any degree of exactness provided that the integrand is analytic on a neighborhood of the unit circle. A number of numerical examples are given which show the advantages of using such rules as well as the sharpness of the error bound. Also, a comparison is made with other error bounds appearing in the literature. The work of the first author was supported by the Dirección General de Investigación, Ministerio de Educación y Ciencia, under grants MTM2006-13000-C03-02 and MTM2006-07186 and by UPM and Comunidad de Madrid under grant CCG06-UPM/MTM-539. The work of the second author was partially supported by the Dirección General de Investigación, Ministerio de Educación y Ciencia, under grant MTM2005-08571.     

Gorenstein quivers

In this paper we characterize when the path ring associated to a quiver is Gorenstein (in the sense of Iwanaga [9]). Then, by using the notion of a Gorenstein category (cf. [2]), we extend the classes of quivers whose corresponding category of representations has finite Gorenstein global dimension. This extension includes non-noetherian quivers. E. E., S.E., and J.R.G.R., partially supported by the DGI MTM2005-03227. Estrada’s work was supported by a MEC/Fulbright grant from the Spanish Secretaría de Estado de Universidades e Investigación del Ministerio de Educación y Ciencia. Received: 28 February 2006     

Addendum to “examples of semiperfect rings”

We fill a gap in [4], and provide a rigorous example of a local ringR whose Jacobson radical is locally nilpotent, butM ₂(R) is not strongly π-regular. The online version of the original article can be found at The work of the first author was partially supported by the DGICYT (Spain), through the grant PB92-0586, and by the Comissionat per Universitats i Recerca de la Generalitat de Catalunya.     

On the equivalence of nonlinear complementarity problems and least-element problems

Strictly pseudomonotoneZ-maps operating on Banach lattices are considered. Equivalence of complementarity problems and least-element problems is established under certain regularity and growth conditions. This extends a recent result by Riddell (1981) for strictly monotoneZ-maps to the pseudomonotone case. Some other problems equivalent to the above are discussed as well.This work was partially supported by the National Science Council under grant NSC 82-0208-M-110-023.Corresponding author.     

Extension of Abel's Lemma with <Emphasis Type="Italic">q</Emphasis>-Series Implications

In previous work arising from the study of Ramanujan's Lost Notebook, a new Abel type lemma was proved. In this paper, we discuss extensions of this lemma and use it to prove many q-series identities. The first author was partially supported by NSF grant DMS–0200047. The second author was partially supported by FCT, Portugal, through program POCTI. 2000 Mathematics Subject Classification:Primary—33D15; Secondary—05A30     

Classification of manifolds with weakly 1/4-pinched curvatures

We show that a compact Riemannian manifold with weakly pointwise 1/4-pinched sectional curvatures is either locally symmetric or diffeomorphic to a space form. More generally, we classify all compact, locally irreducible Riemannian manifolds M with the property that M × R ² has non-negative isotropic curvature. The first author was partially supported by a Sloan Foundation Fellowship and by NSF grant DMS-0605223. The second author was partially supported by NSF grant DMS-0604960.     

Connected components in the space of composition operators on<Emphasis Type="Italic">H∞</Emphasis> functions of many variables

LetE be a complex Banach space with open unit ballB _e. The structure of the space of composition operators on the Banach algebra H∞, of bounded analytic functions onB _e with the uniform topology, is studied. We prove that the composition operators arising from mappings whose range lies strictly insideB _e form a path connected component. WhenE is a Hilbert space or aC _o(X)- space, the path connected components are shown to be the open balls of radius 2. The research of this author was supported by grant number SAB1999-0214 from the Ministerio de Educación, Cultura y Deporte during his stay at the Universidad de Valencia. The research of this author was partially supported DGES(Spain) pr. 96-0758. The research of this author was partially supported by Magnus Ehrnrooths stiftelse.     

A quasi-periodic Poincaré's theorem

We study the persistence of invariant tori on resonant surfaces of a nearly integrable Hamiltonian system under the usual Kolmogorov non-degenerate condition. By introducing a quasi-linear iterative scheme to deal with small divisors, we generalize the Poincaré theorem on the maximal resonance case (i.e., the periodic case) to the general resonance case (i.e., the quasi-periodic case) by showing the persistence of majority of invariant tori associated to non-degenerate relative equilibria on any resonant surface.The first author was partially supported by NSFC grant 19971042, the National 973 Project of China: Nonlinearity, and the outstanding young's project of the Ministry of Education of China.The second author was partially supported by NSF grant DMS9803581.Mathematics Subject Classification (2000): Primary 58F05, 58F27, 58F30     

On the convergence properties of Hildreth's quadratic programming algorithm

We prove the linear convergence rate of Hildreth's method for quadratic programming, in both its sequential and simulateneous versions. We give bounds on the asymptotic error constant and compare these bounds to those given by Mandel for the cyclic relaxation method for solving linear inequalities.Research of this author was partially supported by CNPq grant No. 301280/86.On leave from the Universidade Federal do Rio de Janeiro, Instituto de Matemática, Rio de Janeiro, R.J. 21.910, Brazil. Research of this author was partially supported by NIH grant HL28438.