Existence of nonstationary bubbles in higher dimensions

We are interested in the existence of travelling-waves for the nonlinear Schrödinger equation in R^N with “ψ³−ψ⁵”-type nonlinearity. First, we prove an abstract result in critical point theory (a local variant of the classical saddle-point theorem). Using this result, we get the existence of travelling-waves moving with sufficiently small velocity in space dimension N4.     

On Equivalence of Moduli of Smoothness

It is known that iffW^k_p, thenω_m(f, t)_ptω_m−1(f′, t)_p…. Its inverse with any constants independent offis not true in general. Hu and Yu proved that the inverse holds true for splinesSwith equally spaced knots, thusω_m(S, t)_ptω_m−1(S′, t)_pt²ω_m−2(S″, t)_p…. In this paper, we extend their results to splines with any given knot sequence, and further to principal shift-invariant spaces and wavelets under certain conditions. Applications are given at the end of the paper.     

Approximation in Lp( ) from Spaces Spanned by the Perturbed Integer Translates of a Radial Function

The problem of approximating smooth L_p-functions from spaces spanned by the integer translates of a radially symmetric function φ is very well understood. In case the points of translation, Ξ, are scattered throughout ^d, the approximation problem is only well understood in the “stationary” setting. In this work, we provide lower bounds on the obtainable approximation orders in the “non-stationary” setting under the assumption that Ξ is a small perturbation of ^d. The functions which we can approximate belong to certain Besov spaces. Our results, which are similar in many respects to the known results for the case Ξ= ^d, apply specifically to the examples of the Gauss kernel and the generalized multiquadric.     

Nearly monotone and nearly convex approximation by smooth splines in ,

Given a monotone or convex function on a finite interval we construct splines of arbitrarily high order having maximum smoothness which are “nearly monotone” or “nearly convex” and provide the rate of -approximation which can be estimated in terms of the third or fourth (classical or Ditzian–Totik) moduli of smoothness (for uniformly spaced or Chebyshev knots). It is known that these estimates are impossible in terms of higher moduli and are no longer true for “purely monotone” and “purely convex” spline approximation.     

Enumeration and limit laws for series–parallel graphs

We show that the number g_n of labelled series–parallel graphs on n vertices is asymptotically g_ngn^−5/2γⁿn!, where γ and g are explicit computable constants. We show that the number of edges in random series–parallel graphs is asymptotically normal with linear mean and variance, and that it is sharply concentrated around its expected value. Similar results are proved for labelled outerplanar graphs and for graphs not containing K_2,3 as a minor.     

L-fuzzy quantifiers of type determined by fuzzy measures

The aim of this paper is, first, to introduce two new types of fuzzy integrals, namely, -fuzzy integral and →-fuzzy integral. The first integral is based on a fuzzy measure of L-fuzzy sets and the second one on a complementary fuzzy measure of L-fuzzy sets, where L is a complete residuated lattice. Some of their properties and a relation to the fuzzy (Sugeno) integral are investigated. Second, using these integrals, two classes of monadic L-fuzzy quantifiers of type 1 are defined. These L-fuzzy quantifiers can be used for modeling the semantics of natural language quantifiers like “all”, “some”, “many”, “none”, “at most half”, etc. Several semantic properties of these L-fuzzy quantifiers are studied.     

Sub-Laplacians of Holomorphic L-type on Rank One AN-Groups and Related Solvable Groups

Consider a right-invariant sub-Laplacian L on an exponential solvable Lie group G, endowed with a left-invariant Haar measure. Depending on the structure of G and possibly also that of L, L may admit differentiable L^p-functional calculi, or may be of holomorphic L^p-type for a given p≠2, as recent studies of specific classes of groups G and sub-Laplacians L have revealed. By “holomorphic L^p-type” we mean that every L^p-spectral multiplier for L is necessarily holomorphic in a complex neighborhood of some point in the L²-spectrum of L. This can only arise if the group algebra L¹(G) is non-symmetric. In this article we prove that, for large classes of exponential groups, including all rank one AN-groups, a certain Lie algebraic condition, which characterizes the non-symmetry of L¹(G) [37], also suffices for L to be of holomorphic L¹-type. Moreover, if this condition, which was first introduced by J. Boidol [6] in a different context, holds for generic points in the dual * of the Lie algebra of G, then L is of holomorphic L^p-type for every p≠2. Besides the non-symmetry of L¹(G), also the closedness of coadjoint orbits plays a crucial role. We also discuss an example of a higher rank AN-group. This example and our results in the rank one case suggest that sub-Laplacians on exponential Lie groups may be of holomorphic L¹-type if and only if there exists a closed coadjoint orbit Ω * such that the points of Ω satisfy Boidol's condition. In the course of the proof of our main results, whose principal strategy is similar as in [8], we develop various tools which may be of independent interest and largely apply to more general Lie groups. Some of them are certainly known as “folklore” results. For instance, we study subelliptic estimates on representation spaces, the relation between spectral multipliers and unitary representations, and develop some “holomorphic” and “continuous” perturbation theory for images of sub-Laplacians under “smoothly varying” families of irreducible unitary representations.     

Some results on embeddings of algebras, after de Bruijn and McKenzie

In 1957, N.G. de Bruijn showed that the symmetric group Sym(Ω) on an infinite set Ω contains a free subgroup on 2^card(Ω) generators, and proved a more general statement, a sample consequence of which is that for any group A of cardinality card(Ω), the group Sym(Ω) contains a coproduct of 2^card(Ω) copies of A, not only in the variety of all groups, but in any variety of groups to which A belongs. His key lemma is here generalized to an arbitrary variety of algebras V, and formulated as a statement about functors Set V. From this one easily obtains analogs of the results stated above with “group” and Sym(Ω) replaced by “monoid” and the monoid Self(Ω) of endomaps of Ω, by “associative K-algebra” and the K-algebra End_K (V) of endomorphisms of a K-vector-space V with basis Ω, and by “lattice” and the lattice Equiv(Ω) of equivalence relations on Ω. It is also shown, extending another result from de Bruijn's 1957 paper, that each of Sym(Ω), Self(Ω) and End_K(V) contains a coproduct of 2^card(Ω) copies of itself.That paper also gave an example of a group of cardinality 2^card(Ω) that was not embeddable in Sym(Ω), and R. McKenzie subsequently established a large class of such examples. Those results are shown here to be instances of a general property of the lattice of solution sets in Sym(Ω) of sets of equations with constants in Sym(Ω). Again, similar results - this time of varying strengths - are obtained for Self(Ω), End_K(V), and Equiv(Ω), and also for the monoid Rel(Ω) of binary relations on Ω.Many open questions and areas for further investigation are noted.     

Ridge wavelets on the ball

We present a ridge polynomial wavelet-type system on the unit ball in such that any continuous function can be expanded with respect to these wavelets. The order of the growth of the degrees of polynomials is optimal. Coefficient functionals are the inner products of the function and the corresponding elements of a “dual wavelet system”. The “dual wavelets” is also a ridge polynomial system with the same growth of the degrees of polynomials. The system is redundant.     

Lower bounds for optimal alignments of binary sequences

In parametric sequence alignment, optimal alignments of two sequences are computed as a function of matches, mismatches and spaces, producing many different optimal alignments. In the two-parameter case, Gusfield et al shows that the number of distinct optimal alignment summaries for a pair of sequences is O(n^2/3). Here we construct binary sequences of length n with 3/(2^7/3π^2/3)n^2/3+O(n^1/3logn) distinct optimal alignment summaries. This shows that the upper bound given by Gusfield et al. is tight over all alphabets, thereby disproving the “ conjecture”. Thus the maximum number of distinct optimal alignment summaries over all pairs of length n sequences is Θ(n^2/3).     

Notes on subtlety and ineffability in P κ λ

A type of subtlety for P_κλ called “strongly subtle” is introduced to show almost ineffability is consistencywise stronger than Shelah property. The following are also shown: is strongly subtle” has rather strong consequences. (ii) The ideal is not strongly subtle} is not λ-saturated , and completely ineffable ideal is not precipitous. (iii) In case that λ^<κ=2^λ, almost λ-ineffability coincides with λ-ineffability. (iv) It is not provable that κ is λ^<κ-ineffable whenever κ is λ-ineffable.Research partially supported by “Grant-in-Aid for Scientific research (C), The Ministry of Education, Science, Sports and Culture of Japan 09640299”, and “Japan Society for the Promotion of Science 14540142”.The author is very grateful to the referee for his correcting many errors and helpful suggestions.     

Orthogonal Rational Functions and Nested Disks

In Akhiezer's book [“The Classical Moment Problem and Some Related Questions in Analysis,” Oliver & Boyd, Edinburghasol;London, 1965] the uniqueness of the solution of the Hamburger moment problem, if a solution exists, is related to a theory of nested disks in the complex plane. The purpose of the present paper is to develop a similar nested disk theory for a moment problem that arises in the study of certain orthogonal rational functions. Let {α_n}^∞_n=0be a sequence in the open unit disk in the complex plane, let

Full-size image

( /|α_k|=−1 whenα_k=0), and let

Full-size image

We consider the following “moment” problem: Given a positive-definite Hermitian inner product ·, · on × , find a non-decreasing functionμon [−π, π] (or a positive Borel measureμon [−π,π)) such that

Full-size image

In particular we give necessary and sufficient conditions for the uniqueness of the solution in the case that If this series diverges the solution is always unique.     

Well-posedness of the Cauchy problem for the fractional power dissipative equation in critical Besov spaces

In this paper we study the Cauchy problem for the semilinear fractional power dissipative equation u_t+(−Δ)^αu=F(u) for the initial data u₀ in critical Besov spaces with , where α>0, F(u)=P(D)u^b+1 with P(D) being a homogeneous pseudo-differential operator of order d[0,2α) and b>0 being an integer. Making use of some estimates of the corresponding linear equation in the frame of mixed time–space spaces, the so-called “mono-norm method” which is different from the Kato's “double-norm method,” Fourier localization technique and Littlewood–Paley theory, we get the well-posedness result in the case .     

Constructing the Monster amalgam

The Monster group M contains a pair {C,N} of subgroups, where is the centralizer of an involution and N2^2+11+211.(M₂₄×Sym₃) is the normalizer of an elementary subgroup of order four with N∩C having index three in N. The amalgam {C,N} plays an important role in the existing constructions and uniqueness proofs for the Monster. We suggest a transparent construction of this amalgam.     

An analytic approximation to the cardinal functions of Gaussian radial basis functions on an infinite lattice

Gaussian radial basis functions (RBFs) have been very useful in computer graphics and for numerical solutions of partial differential equations where these RBFs are defined, on a grid with uniform spacing h, as translates of the “master” function (x;α,h)≡exp(-[α²/h²]x²) where α is a user-choosable constant. Unfortunately, computing the coefficients of (x-jh;α,h) requires solving a linear system with a dense matrix. It would be much more efficient to rearrange the basis functions into the equivalent “Lagrangian” or “cardinal” basis because the interpolation matrix in the new basis is the identity matrix; the cardinal basis C_j(x;α,h) is defined by the set of linear combinations of the Gaussians such that C_j(kh)=1 when k=j and C_j(kh)=0 for all integers . We show that the cardinal functions for the uniform grid are C_j(x;h,α)=C(x/h-j;α) where C(X;α)≈(α²/π)sin(πX)/sinh(α²X). The relative error is only about 4exp(-2π²/α²) as demonstrated by the explicit second order approximation. It has long been known that the error in a series of Gaussian RBFs does not converge to zero for fixed α as h→0, but only to an “error saturation” proportional to exp(-π²/α²). Because the error in our approximation to the master cardinal function C(X;α) is the square of the error saturation, there is no penalty for using our new approximations to obtain matrix-free interpolating RBF approximations to an arbitrary function f(x). The master cardinal function on a uniform grid in d dimensions is just the direct product of the one-dimensional cardinal functions. Thus in two dimensions . We show that the matrix-free interpolation can be extended to non-uniform grids by a smooth change of coordinates.     

Nonparametric denoising of signals with unknown local structure, I: Oracle inequalities

We consider the problem of pointwise estimation of multi-dimensional signals s, from noisy observations (y_τ) on the regular grid . Our focus is on the adaptive estimation in the case when the signal can be well recovered using a (hypothetical) linear filter, which can depend on the unknown signal itself. The basic setting of the problem we address here can be summarized as follows: suppose that the signal s is “well-filtered”, i.e. there exists an adapted time-invariant linear filter with the coefficients which vanish outside the “cube” {0,…,T}^d which recovers s₀ from observations with small mean-squared error. We suppose that we do not know the filter q^*, although, we do know that such a filter exists. We give partial answers to the following questions:

– is it possible to construct an adaptive estimator of the value s₀, which relies upon observations and recovers s₀ with basically the same estimation error as the unknown filter ?

– how rich is the family of well-filtered (in the above sense) signals?

We show that the answer to the first question is affirmative and provide a numerically efficient construction of a nonlinear adaptive filter. Further, we establish a simple calculus of “well-filtered” signals, and show that their family is quite large: it contains, for instance, sampled smooth signals, sampled modulated smooth signals and sampled harmonic functions.

Representation of a class of locally convex (M)-lattices

We prove a representation theorem for Hausdorff locally convex (M)-lattices which are Dedekind σ-complete, and whose topologies are order σ-continuous and monotonically complete. These turn out to be the weighted spaces c₀(T, H), defined in the paper for T ≠ and H ^T₊. We also characterize the dual of c₀(T, H), as the space l¹ (T, H) defined in the last section. The known representation (on c₀(T)) of Banach (M)-lattices with order continuous norm follows as a particular case. We obtain these results by first proving a new general isomorphism theorem, which seems to be of independent interest. Our notion of “monotonic topological completeness” is weaker than the usual completeness and seems to be very convenient in the framework of topological ordered vector spaces.     

Echo spectroscopy and atom optics billiards

We discuss a recently demonstrated type of microwave spectroscopy of trapped ultra-cold atoms known as “echo spectroscopy” [Phys. Rev. Lett., 2003;90:023001[1]–[4]]. Echo spectroscopy can serve as an extremely sensitive experimental tool for investigating quantum dynamics of trapped atoms even when a large number of states are thermally populated. We show numerical results for the stability of eigenstates of an atom-optics billiard of the Bunimovich type, and discuss its behavior under different types of perturbations. Finally, we propose to use special geometrical constructions to make a dephasing free dipole trap.     

Target pattern and spiral solutions to reaction-diffusion equations with more than one space dimension

We prove the existence of homogeneous target pattern and spiral solutions to equations of the form

Full-size image

; the spatial dimension is greater than one. As in the one-dimensional case, such solutions exist for discrete values of the asymptotic wave number (or equivalently, the frequency of oscillation of the entire solution). For target patterns, we construct solutions for a sequence of frequencies. For spirals, we construct only the “lowest mode” solution.     

On Fraïssé’s conjecture for linear orders of finite Hausdorff rank

We prove that the maximal order type of the wqo of linear orders of finite Hausdorff rank under embeddability is φ₂(0), the first fixed point of the ε-function. We then show that Fraïssé’s conjecture restricted to linear orders of finite Hausdorff rank is provable in  +“φ₂(0) is well-ordered” and, over , implies  +“φ₂(0) is well-ordered”.