Reconstruction and Subgaussian Operators in Asymptotic Geometric Analysis

We present a randomized method to approximate any vector from a set . The data one is given is the set T, vectors of and k scalar products , where are i.i.d. isotropic subgaussian random vectors in , and . We show that with high probability, any for which is close to the data vector will be a good approximation of , and that the degree of approximation is determined by a natural geometric parameter associated with the set T. We also investigate a random method to identify exactly any vector which has a relatively short support using linear subgaussian measurements as above. It turns out that our analysis, when applied to {−1, 1}-valued vectors with i.i.d. symmetric entries, yields new information on the geometry of faces of a random {−1, 1}-polytope; we show that a k- dimensional random {−1, 1}-polytope with n vertices is m-neighborly for The proofs are based on new estimates on the behavior of the empirical process when F is a subset of the L ₂ sphere. The estimates are given in terms of the γ ₂ functional with respect to the ψ ₂ metric on F, and hold both in exponential probability and in expectation. Received: November 2005, Revision: May 2006, Accepted: June 2006     

Multiplicity of standing wave solutions of nonlinear Schrödinger equations with electromagnetic fields

In this paper, we are concerned with the multiplicity of standing wave solutions of nonlinear Schr?dinger equations with electromagnetic fields

The Isotonic Cauchy Transform

Starting with an integral representation for the class of continuously differentiable solutions of the system

Selections of lattice-ordered Groups

It is well known that the quasitorsion class of archimedean -groups is the class of -groups G such that every closed convex -subgroup is a polar, and it is also well known that the class of -groups G such that every convex -subgroup is a polar is a torsion class. By defining a selection on -groups, these two results are generalized to show, whenever and are selections on -groups, the class of -groups G such that is a radical class. Three selections in particular — all convex -subgroups, all polars, and all closed convex -subgroups — and the radical classes determined by them are studied in some detail. Received March 7, 2006; accepted in final form August 29, 2006.     

Analytic first integrals of the FitzHugh – Nagumo systems

We study the analytical integrability of the FitzHugh–Nagumo systems in with parameters      

Linear Independence of Values of a Certain Lambert Series

Let K be or an imaginary quadratic number field, and q K an integer with |q| > 1. We give a quantitative version of the linear independence over K of the three numbers 1, , and an equivalent power series version. We also mention several open problems. Received: February 5, 2007. Revised: April 18, 2007.     

OPC Lattices and Congruence Heredity

We prove that if is a finite algebra which satisfies a nontrivial idempotent Mal’cev condition, and if Con contains a copy of an order polynomially complete lattice other than , , or Con, then Con is not hereditary. Received March 7, 2006; accepted in final form December 5, 2006.     

Testing Sign Conditions on a Multivariate Polynomial and Applications

Let f be a polynomial in of degree D. We focus on testing the emptiness and computing at least one point in each connected component of the semi-algebraic set defined by f > 0 (or f < 0 or f ≠ 0). To this end, the problem is reduced to computing at least one point in each connected component of a hypersurface defined by f − e = 0 for positive and small enough. We provide an algorithm allowing us to determine a positive rational number e which is small enough in this sense. This is based on the efficient computation of the set of generalized critical values of the mapping which is the union of the classical set of critical values of the mapping f and the set of asymptotic critical values of the mapping f. Then, we show how to use the computation of generalized critical values in order to obtain an efficient algorithm deciding the emptiness of a semi-algebraic set defined by a single inequality or a single inequation. At last, we show how to apply our contribution to determining if a hypersurface contains real regular points. We provide complexity estimates for probabilistic versions of the latter algorithms which are within arithmetic operations in . The paper ends with practical experiments showing the efficiency of our approach on real-life applications.      

Invariant Measures for Univalent Self-Maps of the Unit Disc

We develop a translation-type model for univalent self-maps φ of the unit disc having an interior fixed-point and use the model to classify the φ-invariant measures on . We are particularly interested in maps which can be embedded in continuous semigroups of holomorphic self-maps of . Received: February 2, 2007. Revised: June 18, 2007. Accepted: July 4, 2007.     

On the Schwarz reflection principle for monogenic functions

Let ∑ be either an oriented hyperplane or the unit sphere in , let be open and connected and let be an open and connected domain in such that . If in is a null solution of the Dirac operator (also called a monogenic function in ) which is continuously extendable to , then conditions upon are given enabling the monogenic extension of across . In such a way Schwarz reflection type principles for monogenic functions are established in the Spin (1) and Spin cases. The Spin (1) case includes the classical Schwarz reflection principle for holomorphic functions in the plane. The Spin case deals with so-called “half boundary value problems” for the Dirac operator. Received: 2 February 2006     

Thinning Out Redundant Empirical Data

Given a set of “empirical” points, whose coordinates are perturbed by errors, we analyze whether it contains redundant information, that is whether some of its elements could be represented by a single equivalent point. If this is the case, the empirical information associated to could be described by fewer points, chosen in a suitable way. We present two different methods to reduce the cardinality of which compute a new set of points equivalent to the original one, that is representing the same empirical information. Though our algorithms use basic notions of Cluster Analysis they are specifically designed for “thinning out” redundant data. We include some experimental results which illustrate the practical effectiveness of our methods.      

Commutative C*-Algebras of Toeplitz Operators on the Unit Ball, II. Geometry of the Level Sets of Symbols

In the first part [16] of this work, we described the commutative C*-algebras generated by Toeplitz operators on the unit ball whose symbols are invariant under the action of certain Abelian groups of biholomorphisms of . Now we study the geometric properties of these symbols. This allows us to prove that the behavior observed in the case of the unit disk (see [3]) admits a natural generalization to the unit ball . Furthermore we give a classification result for commutative Toeplitz operator C*-algebras in terms of geometric and “dynamic” properties of the level sets of generating symbols. This work was partially supported by CONACYT Projects 46936 and 44620, México.     

Determination of simple CM abelian surfaces defined over $${\mathbb{Q}}$$

It is known that in the moduli space of elliptic curves, there exist precisely nine -rational points represented by an elliptic curve with complex multiplication by the maximal order of an imaginary quadratic field. In Murabayashi and Umegaki (J Algebra 235:267–274, 2001) and Umegaki [Determination of all -rational CM-points in the moduli spaces of polarized abelian surfaces, Analytic number theory (Beijng/Kyoto, 1999). Dev. Math., vol 6. Kluwer, Dordrecht, pp 349–357, 2002] we determined all -rational points in (the moduli space of d-polarized abelian surfaces) represented by a d-polarized abelian surface whose endomorphism ring is isomorphic to the maximal order of a quartic CM-field by using the result in Murabayashi (J Reine Angew Math 470:1–26, 1996). In this paper, we prove that polarized abelian surfaces corresponding to these -rational CM points have a -rational model by constructing certain Hecke characters.     

A note on weak convergence in L^{1}_{\rm loc}({\mathbb{R}})

Let be a sequence of Borel measurable functions satisfying, for a function the inequalities

The theory of multi-dimensional polynomial approximation

We consider the problem of polynomial approximation to a real valued functionf defined on a compact set . An approximation theorem is proven in terms of the newly defined modulus of approximation. It is shown to imply a multidimensional Jackson type theorem which is stronger than previously known results even for the interval [−1, 1]. A strong multidimensional Bernstein type inverse theorem is also proven. We allow quite general approximation quasi-norms including for 0<q≤∞. We have found that the space of polynomials ℙ on a compact setX induces a semimetric which encapsulates the local structure of ℙ. Any semimetric ρ equivalent to suffices for the rough theory presented here. Many examples of sets and their metrics are presented.     

Divisors of Bernoulli Sums

Let where are independent Bernoulli random variables. In relation with the divisor problem, we evaluate the almost sure asymptotic order of the sums , where and is a sequence of positive integers. Received: May 23, 2007. Revised: June 8, 2007.     

Tolokonnikov’s Lemma for Real H ∞ and the Real Disc Algebra

We prove Tolokonnikov’s Lemma and the inner-outer factorization for the real Hardy space , the space of bounded holomorphic (possibly operator-valued) functions on the unit disc all of whose matrix-entries (with respect to fixed orthonormal bases) are functions having real Fourier coefficients, or equivalently, each matrix entry f satisfies for all z ∈ . Tolokonnikov’s Lemma for means that if f is left-invertible, then f can be completed to an isomorphism; that is, there exists an F, invertible in , such that F = [ f f _c ] for some f _c in . In control theory, Tolokonnikov’s Lemma implies that if a function has a right coprime factorization over , then it has a doubly coprime factorization in . We prove the lemma for the real disc algebra as well. In particular, and are Hermite rings. The work of the first author was supported by Magnus Ehrnrooth Foundation. Received: December 5, 2006. Revised: February 4, 2007.     

The Resolvent Problem and $${{H^{\infty}}}$$ -calculus of the Stokes Operator in Unbounded Cylinders with Several Exits to Infinity

It is proved that the Stokes operator in L^q -space on an infinite cylindrical domain of , , with several exits to infinity generates a bounded and exponentially decaying analytic semigroup and admits a bounded -calculus. For the resolvent estimates, the Stokes resolvent system with a prescribed divergence in an infinite straight cylinder with bounded cross-section is studied in L ^q where and is an arbitrary Muckenhoupt weight. The proofs use cut-off techniques and the theory of Schauder decomposition of UMD spaces based on -boundedness of operator families and on square function estimates involving Muckenhoupt weights.     

Group Algebras: Normal Subgroups and Ideals

The standard correspondence between the normal subgroups of the group G and some ideals of the group algebra FG is described. There is the problem of what we can say (or even prove) about a two-sided ideal of that does not contain any element of the form 1 − g ≠ 0, g ∈G of the standard basis of the augmentation ideal of . The main part of the argument of [2] yields the insight that, for such an ideal I there exists an expansion such that the ideal J of spanned by I contains an element 1 − h, h ∈ H \ G. Using the ideas of [2], we construct -thick groups H such that for every ideal J ≠ (0) of there are elements 1 − h ≠ 0 in J. This construction allows many variations. Examples of simple -thick groups were pointed out in [2]. A natural class of (in general non-simple) -full groups are the normal sections of the groups