Biflatness of ℓ<Superscript>1</Superscript>-Semilattice Algebras

We show that if L is a semilattice then the ℓ¹-convolution algebra of L is biflat precisely when L is "uniformly locally finite". Our proof technique shows in passing that if this convolution algebra is biflat then it is isomorphic as a Banach algebra to the Banach space ℓ¹(L) equipped with pointwise multiplication. At the end we sketch how these techniques may be extended to prove an analogous characterisation of biflatness for Clifford semigroup algebras.     

Uniformity seminorms on ℓ<Superscript>∞</Superscript> and applications

A key tool in recent advances in understanding arithmetic progressions and other patterns in subsets of the integers is certain norms or seminorms. One example is the norms on ℤ/Nℤ introduced by Gowers in his proof of Szemerédi’s Theorem, used to detect uniformity of subsets of the integers. Another example is the seminorms on bounded functions in a measure preserving system (associated to the averages in Furstenberg’s proof of Szemerédi’s Theorem) defined by the authors. For each integer k ≥ 1, we define seminorms on ℓ^∞(ℤ) analogous to these norms and seminorms. We study the correlation of these norms with certain algebraically defined sequences, which arise from evaluating a continuous function on the homogeneous space of a nilpotent Lie group on a orbit (the nilsequences). Using these seminorms, we define a dual norm that acts as an upper bound for the correlation of a bounded sequence with a nilsequence. We also prove an inverse theorem for the seminorms, showing how a bounded sequence correlates with a nilsequence. As applications, we derive several ergodic theoretic results, including a nilsequence version of the Wiener-Wintner ergodic theorem, a nil version of a corollary to the spectral theorem, and a weighted multiple ergodic convergence theorem.     

Weierstrass representation for discrete isotropic surfaces in ℝ<Superscript>2,1</Superscript>, ℝ<Superscript>3,1</Superscript>, and ℝ<Superscript>2,2</Superscript>

Using an integrable discrete Dirac operator, we construct a discrete version of the Weierstrass representation for hyperbolic surfaces parameterized along isotropic directions in ℝ^2,1, ℝ^3,1, and ℝ^2,2. The corresponding discrete surfaces have isotropic edges. We show that any discrete surface satisfying a general monotonicity condition and having isotropic edges admits such a representation.     

Combined ℓ<Subscript>2</Subscript> data and gradient fitting in conjunction with ℓ<Subscript>1</Subscript> regularization

We are interested in minimizing functionals with ℓ₂ data and gradient fitting term and ℓ₁ regularization term with higher order derivatives in a discrete setting. We examine the structure of the solution in 1D by reformulating the original problem into a contact problem which can be solved by dual optimization techniques. The solution turns out to be a ’smooth’ discrete polynomial spline whose knots coincide with the contact points while its counterpart in the contact problem is a discrete version of a spline with higher defect and contact points as knots. In 2D we modify Chambolle’s algorithm to solve the minimization problem with the ℓ₁ norm of interacting second order partial derivatives as regularization term. We show that the algorithm can be implemented efficiently by applying the fast cosine transform. We demonstrate by numerical denoising examples that the ℓ₂ gradient fitting term can be used to avoid both edge blurring and staircasing effects.      

Complex lines in complex hyperbolic space <Emphasis Type="Italic">H</Emphasis><Stack><Subscript>ℂ</Subscript><Superscript>2</Superscript></Stack>

Let p ₁, p ₂, p ₃, p ₄ be four pairwise distinct points in the boundary of complex hyperbolic 2-space H _ℂ² and any three points do not lie in the same C-circle. We show that we are always able to group the four points into two classes such that each class contains two points, the two complex lines spanned by each class are ultra-parallel or intersect. As an application, we can simplify the discussion in the paper [7], in which Parker and Platis used the global geometry coordinates to describe the Falbel’s cross-ratio variety of the four pairwise distinct points on the ∂H _ℂ².     

On the Nitsche conjecture for harmonic mappings in ℝ<Superscript>2</Superscript> and ℝ<Superscript>3</Superscript>

We give the new inequality related to the J. C. C. Nitsche conjecture (see [6]). Moreover, we consider the two- and three-dimensional case. LetA(r, 1)={z:r<|z|<1}. Nitsche's conjecture states that if there exists a univalent harmonic mapping from an annulusA(r, 1), to an annulusA(s, 1), thens is at most 2r/(r ²+1).Lyzzaik's result states thats<t wheret is the length of the Grötzsch's ring domain associated withA(r, 1) (see [5]). Weitsman's result states thats≤1/(1+1/2(r logr)²) (see [8]).Our result for two-dimensional space states thats≤1/(1+1/2 log² r) which improves Weitsman's bound for allr, and Lyzzaik's bound forr close to 1. For three-dimensional space the result states thats≤1/(r?logr).     

The geometric structure of Chebyshev sets in ℓ<Superscript>∞</Superscript>(<Emphasis Type="Italic">n</Emphasis>)

A subset M of a normed linear space X is called a Chebyshev set if each x X has a unique nearest point in M. We characterize Chebyshev sets in (n) in geometric terms and study the approximative properties of sections of Chebyshev sets, suns, and strict suns in (n) by coordinate subspaces.__________Translated from Funktsionalnyi Analiz i Ego Prilozheniya, Vol. 39, No. 1, pp. 1–10, 2005Original Russian Text Copyright © by A. R. AlimovSupported by RFBR grant No.02-01-00248.Translated by A. R. Alimov     

Factoriality of complete intersections in ℙ<Superscript>5</Superscript>

Let X be a complete intersection of two hypersurfaces F _n and F _k in ℙ⁵ of degree n and k, respectively, with n ≥ k, such that the singularities of X are nodal and F _k is smooth. We prove that if the threefold X has at most (n + k − 2)(n − 1) − 1 singular points, then it is factorial.     

Coefficients of half-integral weight modular forms modulo ℓ<Superscript><Emphasis Type="Italic">j</Emphasis></Superscript>

Suppose that 5 is prime, that j0 is an integer, and that F(z) is a half-integral weight modular form with integral Fourier coefficients. We give some general conditions under which the coefficients of F are well-distributed modulo ^j. As a consequence, we settle many cases of a classical conjecture of Newman by proving, for each prime power ^j with 5, that the ordinary partition function p(n) takes each value modulo ^j infinitely often.Mathematics Subject Classification (2000): 11F33, 11P83The first author thanks the National Science Foundation for its support through grant DMS 01-34577. The second author thanks the National Science Foundation for its support through a VIGRE postdoctoral fellowship.Acknowledgement The authors thank the referee for suggestions which improved the exposition in this paper.     

Projective Multi-Resolution Analyses for L<Superscript>2</Superscript>(ℝ<Superscript>2</Superscript>)

We define the notion of projective multiresolution analyses, for which, by definition, the initial space corresponds to a finitely generated projective module over the algebra C(Tⁿ) of continuous complex-valued functions on an n-torus. The case of ordinary multi-wavelets is that in which the projective module is actually free. We discuss the properties of projective multiresolution analyses, including the frames which they provide for L²(ⁿ). Then we show how to construct examples for the case of any diagonal 2 × 2 dilation matrix with integer entries, with initial module specified to be any fixed finitely generated projective C(T²)-module. We compute the isomorphism classes of the corresponding wavelet modules.     

The Bourgain ?-index of mixed Tsirelson space

Suppose that is a sequence of regular families of finite subsets of such that contains all singletons, and (θ_n)_n=1^∞ is a nonincreasing null sequence in (0,1). The mixed Tsirelson space is the completion of c₀₀ with respect to the implicitly defined norm

     

Conformally flat Lorentzian hypersurfaces in ℝ<Stack><Subscript>1</Subscript><Superscript>4</Superscript></Stack> with three distinct principal curvatures

A three dimensional Lorentzian hypersurface x: M ₁ ³ → ? ₁ ⁴ is called conformally flat if its induced metric is conformal to the flat Lorentzian metric, and this property is preserved under the conformal transformation of ? ₁ ⁴ . Using the projective light-cone model, for those whose shape operators have three distinct real eigenvalues, we calculate the integrability conditions by constructing a scalar conformal invariant and a canonical moving frame in this paper. Similar to the Riemannian case, these hypersurfaces can be determined by the solutions to some system of partial differential equations.     

Optimum super-simple mixed covering arrays of type <Emphasis Type="Italic">a</Emphasis><Superscript>1</Superscript><Emphasis Type="Italic">b</Emphasis><Superscript><Emphasis Type="Italic">k</Emphasis>−1</Superscript>

A mixed covering array (MCA) of type (_v 1, v ₂,..., v _k ), denoted by MCA_λ (N; t, k, (v ₁, v ₂,..., v _k )), is an N × k array with entries in the i-th column from a set _{V i} of v _i symbols and has the property that each N × t sub-array covers all the t-tuples at least λ times, where 1 ≤ i ≤ k. An MCA _λ (N; t, k, (_v 1, v ₂,..., v _k )) is said to be super-simple, if each of its N × (t + 1) sub-arrays contains each (t + 1)-tuple at most once. Recently, it was proved by Tang, Yin and the author that an optimum super-simple MCA of type (a, b, b,..., b) is equivalent to a mixed detecting array (DTA) of type (a, b, b,..., b) with optimum size. Such DTAs can be used to generate test suites to identify and determine the interaction faults between the factors in a component-based system. In this paper, some combinatorial constructions of optimum super-simple MCAs of type (a, b, b,..., b) are provided. By employing these constructions, some optimum super-simple MCAs are then obtained. In particular, the spectrum across which optimum super-simple MCA₂(2b ²; 2, 4, (a, b, b, b))′s exist, is completely determined, where 2 ≤ a ≤ b.     

<Emphasis Type="Italic">L</Emphasis><Superscript>1</Superscript>-spectrum of Banach space valued Ornstein–Uhlenbeck operators

We characterize the L ¹(E,μ _∞)-spectrum of the Ornstein–Uhlenbeck operator , where μ _∞ is the invariant measure for the Ornstein–Uhlenbeck semigroup generated by L. The main result covers the general case of an infinite-dimensional Banach space E under the assumption that the point spectrum of A ^* is nonempty and extends several recent related results.     

On a space of smooth functions on a convex unbounded set in ℝ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript> admitting holomorphic extension in ℂ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

For some given logarithmically convex sequence M of positive numbers we construct a subspace of the space of rapidly decreasing infinitely differentiable functions on an unbounded closed convex set in ? ⁿ . Due to the conditions on M each function of this space admits a holomorphic extension in ? ⁿ . In the current article, the space of holomorphic extensions is considered and Paley-Wiener type theorems are established. To prove these theorems, some auxiliary results on extensions of holomorphic functions satisfying some weighted L ²-bounds in a domain of holomorphy in ? ⁿ are obtained with the aid of L. Hörmander’s method of L ²-bounds for the \(\bar \partial\) operator. Also, some new facts on the Fourier-Laplace transform of tempered distributions complementing some well-known results of V.S. Vladimirov are employed.     

Integral formulas for closed spacelike hypersurfaces in anti-de Sitter space <Emphasis Type="Italic">H</Emphasis><Stack><Subscript>1</Subscript><Superscript><Emphasis Type="Italic">n</Emphasis>+1</Superscript></Stack> (−1)

In this paper, we study closed k-maximal spacelike hypersurfaces M ⁿ in anti-de Sitter space H ₁ ⁿ⁺¹ (−1) with two distinct principal curvatures and give some integral formulas about these hypersurfaces. The first author was supported by Japan Society for Promotion of Science. The third author was supported by grant Proj. No. R17-2008-001-01000-0 from Korea Science & Engineering Foundation.     

Bergman type operators on mixed norm spaces over the ball in ℂ<Superscript>n</Superscript>

The paper considers Bergman type operators introduced by Shields and Williams depending on a normal pair of weight functions. We prove that there exist values of parameter ß for which these operators are bounded on mixed norm spaces L(p, q, ß) on the unit ball in Cⁿ.     

Conjugacy classes are dense in the space of mixing ℤ<Superscript> <Emphasis Type="Italic">d</Emphasis> </Superscript>-actions

The density of each conjugacy class in the space of mixing Z^d-actions is proved. This result implies the genericity of rank 1, the triviality of the centralizer, and the absence of factors.     

Constant angle surfaces in ℍ<Superscript>2</Superscript> × ℝ

We classify all surfaces in ℍ² × ℝ for which the unit normal makes a constant angle with the ℝ-direction. Here ℍ² is the hyperbolic plane. The author was supported by grants CEEX ET 5883/2006-2008 and PNII ID_ 398/2007-2010 ANCS (Romania).