Symmetry in information flow

The article investigates information flow properties of symmetric multi-party protocols. It gives a sound and complete axiomatic system for properties of the functional dependence predicate that are common to all protocols with the same group of symmetries.     

Heat-diffusion maximal operators for Laguerre semigroups with negative parameters

We prove L^p boundedness for the maximal operator of the heat semigroup associated to the Laguerre functions, , when the parameter α is greater than -1. Namely, the maximal operator is of strong type (p,p) if p>1 and , when -1<α<0. If α?0 there is strong type for 1<p?∞. The behavior at the end points is studied in detail.     

Regularity of refinable function vectors

We study the existence and regularity of compactly supported solutions φ = (φ_v) _v=0 ^/r−1 of vector refinement equations. The space spanned by the translates of φ_v can only provide approximation order if the refinement maskP has certain particular factorization properties. We show, how the factorization ofP can lead to decay of |̸_v(u)| as |u| → ∞. The results on decay are used to prove uniqueness of solutions and convergence of the cascade algorithm.     

Calderón's formula associated with a differential operator on (0, ∞) and inversion of the generalized abel transform

We prove a Calderón reproducing formula for a continuous wavelet transform associated with a class of singular differential operators on the half line. We apply this result to derive a new inversion formula for the generalized Abel transform.     

On dualizing a multivariable Poisson summation formula

It is known [7] that dualizing a form of the Poisson summation formula yields a pair of linear transformations which map a function ø of one variable into a function and its cosine transform in a generalized sense. The present work presents conditions on ø for which the transform relation holds in the classical sense, and extends this result to a class of generalizations of the Poisson formula in any number of dimensions.     

Logarithmic bump conditions and the two-weight boundedness of Calderón–Zygmund operators

We prove that if a pair of weights (u,v)$(u,v)$ satisfies a sharp _Ap$A_p$-bump condition in the scale of all log bumps or certain loglog bumps, then Haar shifts map L^p(v)$L^p(v)$ into L^p(u)$L^p(u)$ with a constant quadratic in the complexity of the shift. This in turn implies the two weight boundedness for all Calderón–Zygmund operators. This gives a partial answer to a long-standing conjecture. We also give a partial result for a related conjecture for weak-type inequalities. To prove our main results we combine several different approaches to these problems; in particular we use many of the ideas developed to prove the _A2$A_2$ conjecture. As a byproduct of our work we also disprove a conjecture by Muckenhoupt and Wheeden on weak-type inequalities for the Hilbert transform. This is closely related to the recent counterexamples of Reguera, Scurry and Thiele.     

Vector-valued Littlewood-Paley-Stein theory for semigroups

We develop a generalized Littlewood-Paley theory for semigroups acting on L^p-spaces of functions with values in uniformly convex or smooth Banach spaces. We characterize, in the vector-valued setting, the validity of the one-sided inequalities concerning the generalized Littlewood-Paley-Stein g-function associated with a subordinated Poisson symmetric diffusion semigroup by the martingale cotype and type properties of the underlying Banach space. We show that in the case of the usual Poisson semigroup and the Poisson semigroup subordinated to the Ornstein-Uhlenbeck semigroup on Rⁿ, this general theory becomes more satisfactory (and easier to be handled) in virtue of the theory of vector-valued Calderón-Zygmund singular integral operators.     

Irregular sampling and the inverse spectral problem

We are interested in finding necessary and sufficient conditions for irregular sampling to hold. We shall show that the inverse spectral problem can be used to construct sampling type theorems from the knowledge of the sampling points only. This improves Kramer's theorem as it reveals all possible distributions of the sampling points together with a construction of the sampling functions.     

On the structure of spaces of uniformly convergent Fourier series

We first give some new examples of translation invariant subspaces of C or U without local unconditional structure. In the second part, we prove that U and U ⁺ do not have the Gordon–Lewis property. In the third part, we show that absolutely summing operators from U to a K-convex space are compact. As a consequence, U and U ⁺ are not isomorphic. At last, we prove that U and U ⁺ do not have the Daugavet property.     

On constructing new expansions of functions using linear operators

Let T,U be two linear operators mapped onto the function f such that U(T(f))=f, but T(U(f))≠f. In this paper, we first obtain the expansion of functions T(U(f)) and U(T(f)) in a general case. Then, we introduce four special examples of the derived expansions. First example is a combination of the Fourier trigonometric expansion with the Taylor expansion and the second example is a mixed combination of orthogonal polynomial expansions with respect to the defined linear operators T and U. In the third example, we apply the basic expansion U(T(f))=f(x) to explicitly compute some inverse integral transforms, particularly the inverse Laplace transform. And in the last example, a mixed combination of Taylor expansions is presented. A separate section is also allocated to discuss the convergence of the basic expansions T(U(f)) and U(T(f)).     

A littlewood-paley inequality for the Carleson operator

The Carleson operator is closely related to the maximal partial sum operator for Fourier series. We study generalizations of this operator in one and several variables.     

Quadratic variation functionals and dilation equations

Here we present some distribution function inequalities between certain functionals defined relative to a convolution approximation procedure. Such inequalities are best known when the approximation is made using dilations of the Gaussian or Cauchy kernels. In these cases, classical differential equations, the heat equation or Laplace's equation, provide the basis for comparisons; in the latter case, the quadratic functional is known as the Lusin area integral. The kernels we consider are compactly supported, and satisfy a dilation equation, rather than a differential equation. For these kernels, there is an intrinsic quadratic variation, defined from the dilation structure. We obtain good lambda distribution function inequalities between a maximal function and the quadratic variation functional.     

Boundedness of singular integrals of variable rough Calderón-Zygmund kernels along surfaces

Letn2. The authors establish theL ²( ⁿ )-boundedness of singular integrals with variable rough Calderón-Zygmund kernels associated to surfaces satisfying some conditions.The research is supported in part by the NNSF and the SEDF of China.     

Proof of a conjecture of José L. Rubio de Francia

Given a compact connected abelian group G, its dual group Γ can be ordered (in a non-canonical way) so that it becomes an ordered group. It is known that, for any such ordering on Γ and p in the range 1<p<∞, the characteristic function χ_I of an interval I in Γ is a p—multiplier with a uniform bound (independent of I) on the corresponding operator S_I on L^p(G). In this note it is shown that, for 1<p,q<∞, there is a constant C_p,q, independent of G and the particular ordering on Γ, such that for all sequences {I_j} of intervals in Γ and all sequences {f_j} in L^p(G). Such a result was conjectured by J.L. Rubio de Francia, who noted its validity when The present proof uses a transference argument, an approach which shows that any constant C_p,q for which the inequality holds when G = will serve for every G and every ordering on Γ. An added advantage of this approach is that it adapts to give an extension of the result for functions taking values in a UMD space.The work of the first author was partially supported by a grant from the National Science Foundation (U.S.A.). The second and third authors were partially supported by the HARP network HPRN-CT-2001-00273 of the European Commission and by grant BFM2001-0188 of Ministerio de Ciencia y Tecnologia.     

Proof of a conjecture on the supports of Wigner distributions

In this note we prove that the Wigner distribution of an f ∈ L₂(ℝ_n) cannot be supported by a set of finite measure in ℝ_2n unless f=0. We prove a corresponding statement for cross-ambiguity functions. As a strengthening of the conjecture we show that for an f ∈ L₂(ℝ_n) its Wigner distribution has a support of measure 0 or ∞ in any half-space of ℝ_2n.     

Bilinear operators with non-smooth symbol, I

This article proves the L^p-boundedness of general bilinear operators associated to a symbol or multiplier which need not be smooth. The Main Theorem establishes a general result for multipliers that are allowed to have singularities along the edges of a cone as well as possibly at its vertex. It thus unifies earlier results of Coifman-Meyer for smooth multipliers and ones, such the Bilinear Hilbert transform of Lacey-Thiele, where the multiplier is not smooth. Using a Whitney decomposition in the Fourier plane, a general bilinear operator is represented as infinite discrete sums of time-frequency paraproducts obtained by associating wave-packets with tiles in phase-plane. Boundedness for the general bilinear operator then follows once the corresponding L^p-boundedness of time-frequency paraproducts has been established. The latter result is the main theorem proved in Part in Part II, our subsequent article [11], using phase-plane analysis. In memory of A.P. Calderón     

Krivine's theorem and the indices of a Banach lattice

In this paper we shall present an exposition of a fundamental result due to J.L. Krivine about the local structure of a Banach lattice. In [3] Krivine proved that _p (1p) is finitely lattice representable in any infinite dimensional Banach lattice. At the end of the introduction of [3] it is then stated that a value of p for which this holds is given by, what we will call below, the upper index of the Banach lattice. He states that this follows from the methods of his paper and of the paper [5] of Maurey and Pisier. One can ask whether the theorem also holds for p equal to the lower index of the Banach lattice. At first glance this is not obvious from [3], since many theorems in [3] have as a hypothesis that the upper index of the Banach lattice is finite. This can e.g. also be seen from the book [6] of H.U. Schwarz, where only the result for the upper index is stated, while both indices are discussed. One purpose of this paper is clarify this point and to present an exposition of all the ingredients of a proof of Krivine's theorem for both the upper and lower index of a Banach lattice. We first gather some definitions and state some properties of the indices of a Banach lattice. For a discussion of these indices we refer to the book of Zaanen[7].     

A Levin-type algorithm for accelerating the convergence of Fourier series

A nonlinear sequence transformation is presented which is able to accelerate the convergence of Fourier series. It is tailored to be exact for a certain model sequence. As in the case of the Levin transformation and other transformations of Levin-type, in this model sequence the partial sum of the series is written as the sum of the limit (or antilimit) and a certain remainder, i.e., it is of Levin-type. The remainder is assumed to be the product of a remainder estimate and the sum of the first terms oftwo Poincaré-type expansions which are premultiplied by two different phase factors. This occurrence of two phase factors is the essential difference to the Levin transformation. The model sequence for the new transformation may also be regarded as a special case of a model sequence based on several remainder estimates leading to the generalized Richardson extrapolation process introduced by Sidi. An algorithm for the recursive computation of the new transformation is presented. This algorithm can be implemented using only two one-dimensional arrays. It is proved that the sequence transformation is exact for Fourier series of geometric type which have coefficients proportional to the powers of a numberq, |q|<1. It is shown that under certain conditions the algorithm indeed accelerates convergence, and the order of the convergence is estimated. Finally, numerical test data are presented which show that in many cases the new sequence transformation is more powerful than Wynn's epsilon algorithm if the remainder estimates are properly chosen. However, it should be noted that in the vicinity of singularities of the Fourier series the new sequence transformation shows a larger tendency to numerical instability than the epsilon algorithm.