Measurements of motionally averaged heteronuclear dipolar couplings in MAS NMR using R-type recoupling

A novel MAS NMR approach is presented for the determination of heteronuclear dipolar couplings in unoriented materials. The technique is based on the proton-detected local field (PDLF) protocol, and achieves dipolar recoupling by R-type radio-frequency irradiation. The experiment, which is called R-PDLF spectroscopy, is demonstrated on solid and liquid-crystalline systems. For mobile systems, it is shown that the R-PDLF scheme provides better dipolar resolution as compared to techniques combining conventional separated local field (SLF) spectroscopy with R-type recoupling.     

A complete description of Golay pairs for lengths up to 100

In his 1961 paper, Marcel Golay showed how the search for pairs of binary sequences of length with complementary autocorrelation is at worst a problem. Andres, in his 1977 master's thesis, developed an algorithm which reduced this to a search and investigated lengths up to 58 for existence of pairs. In this paper, we describe refinements to this algorithm, enabling a search at length 82. We find no new pairs at the outstanding lengths 74 and 82. In extending the theory of composition, we are able to obtain a closed formula for the number of pairs of length generated by a primitive pair of length . Combining this with the results of searches at all allowable lengths up to 100, we identify five primitive pairs. All others pairs of lengths less than 100 may be derived using the methods outlined.

     

Density of the Medvedev lattice of Π<Superscript>0</Superscript><Subscript>1</Subscript> classes

The partial ordering of Medvedev reducibility restricted to the family of ⁰₁ classes is shown to be dense. For two disjoint computably enumerable sets, the class of separating sets is an important example of a ⁰₁ class, which we call a ``c.e. separating class'. We show that there are no non-trivial meets for c.e. separating classes, but that the density theorem holds in the sublattice generated by the c.e. separating classes. Mathematics Subject Classification (2000): 03D30, 03D25     

Second-Order Subexponential Behavior of Subordinated Sequences

Suppose that , , and are three discrete probability distributions related by the equation (E): , where denotes the k-fold convolution of In this paper, we investigate the relation between the asymptotic behaviors of and . It turns out that, for wide classes of sequences and , relation (E) implies that , where is the mean of . The main object of this paper is to discuss the rate of convergence in this result. In our main results, we obtain O-estimates and exact asymptotic estimates for the difference .     

Analysis of Henrici's Transformation for Singular Problems

Henrici's transformation is the underlying scheme that generates, by cycling, Steffensen's method for the approximation of the solution of a nonlinear equation in several variables. The aim of this paper is to analyze the asymptotic behavior of the obtained sequence (s _n ^* ) by applying Henrici's transformation when the initial sequence (s _n ) behaves sublinearly. We extend the work done in the regular case by Sadok [17] to vector sequences in the singular case. Under suitable conditions, we show that the slowest convergence rate of (s _n ^* ) is to be expected in a certain subspace N of R ^p . More precisely, if we write s _n ^* =s _n ^* ,N+s _n ^* ,N, the orthogonal decomposition into N and N , then the convergence is linear for (s _n ^* ,N) but ( _n ^* ,N) converges to the same limit faster than the initial one. In certain cases, we can have N=R ^p and the convergence is linear everywhere.     

Strong tractability of multivariate integration using quasi-Monte Carlo algorithms

We study quasi-Monte Carlo algorithms based on low discrepancy sequences for multivariate integration. We consider the problem of how the minimal number of function evaluations needed to reduce the worst-case error from its initial error by a factor of depends on and the dimension . Strong tractability means that it does not depend on and is bounded by a polynomial in . The least possible value of the power of is called the -exponent of strong tractability. Sloan and Wozniakowski established a necessary and sufficient condition of strong tractability in weighted Sobolev spaces, and showed that the -exponent of strong tractability is between 1 and 2. However, their proof is not constructive.

In this paper we prove in a constructive way that multivariate integration in some weighted Sobolev spaces is strongly tractable with -exponent equal to 1, which is the best possible value under a stronger assumption than Sloan and Wozniakowski's assumption. We show that quasi-Monte Carlo algorithms using Niederreiter's -sequences and Sobol sequences achieve the optimal convergence order for any 0$"> independent of the dimension with a worst case deterministic guarantee (where is the number of function evaluations). This implies that strong tractability with the best -exponent can be achieved in appropriate weighted Sobolev spaces by using Niederreiter's -sequences and Sobol sequences.

     

A Note on Q-order of Convergence

To complement the property of Q-order of convergence we introduce the notions of Q-superorder and Q-suborder of convergence. A new definition of exact Q-order of convergence given in this note generalizes one given by Potra. The definitions of exact Q-superorder and exact Q-suborder of convergence are also introduced. These concepts allow the characterization of any sequence converging with Q-order (at least) 1 by showing the existence of a unique real number q [1,+] such that either exact Q-order, exact Q-superorder, or exact Q-suborder q of convergence holds.This revised version was published online in October 2005 with corrections to the Cover Date.     

Spherical classes and the Lambda algebra

Let be Singer's invariant-theoretic model of the dual of the lambda algebra with , where denotes the mod 2 Steenrod algebra. We prove that the inclusion of the Dickson algebra, , into is a chain-level representation of the Lannes-Zarati dual homomorphism

The Lannes-Zarati homomorphisms themselves, , correspond to an associated graded of the Hurewicz map

Based on this result, we discuss some algebraic versions of the classical conjecture on spherical classes, which states that Only Hopf invariant one and Kervaire invariant one classes are detected by the Hurewicz homomorphism. One of these algebraic conjectures predicts that every Dickson element, i.e. element in , of positive degree represents the homology class in for 2$">.

We also show that factors through , where denotes the differential of . Therefore, the problem of determining should be of interest.

     

Second-Order Subexponential Sequences and the Asymptotic Behavior of Their De Pril Transform

Suppose that { f(n), n N ₀ } is a sequence of positive real numbers and suppose that the sequence { a(n), n N ₀ } is given by a(0) = 0, and, for n 1, by the convolution equation nf(n) = a* f(n). The resulting sequence is denoted by a(n) = _f (n) and is called the De Pril transform of { f(n), n N ₀ } . In this paper, we consider first- and second-order asymptotic behavior of { _{f (n), n N 0} } for a large class of subexponential sequences { f(n), n N ₀ } . We also discuss some applications.