Coefficient Condition forL1-Convergence of Walsh–Fourier Series

In this paper we give a condition with respect to Walsh–Fourier coefficients that implies theL₁-convergence of the corresponding Walsh–Fourier series. We show that theL₁-convergence class induced by this condition contains each one of the previously known convergence classes as a proper subset. We also show that our condition implies not only theL₁-convergence but also the convergence in the dyadic Hardy norm if the function represented by the series belongs to the dyadic Hardy space.     

On the Hopf–Schur group of a field

Let k be any field. We consider the Hopf–Schur group of k, defined as the subgroup of the Brauer group of k consisting of classes that may be represented by homomorphic images of finite-dimensional Hopf algebras over k. We show here that twisted group algebras and abelian extensions of k are quotients of cocommutative and commutative finite-dimensional Hopf algebras over k, respectively. As a consequence we prove that any tensor product of cyclic algebras over k is a quotient of a finite-dimensional Hopf algebra over k, revealing so that the Hopf–Schur group can be much larger than the Schur group of k.     

On K1 and K2 of Algebraic Surfaces

In this paper we study higher Chow groups of smooth, projective surfaces over a field k of characteristic zero, using some new Hodge theoretic methods which we develop for this purpose. In particular we investigate the subgroup of CH ^r+1 (X,r) with r = 1,2 consisting of cycles that are supported over a normal crossing divisor Z on X. In this case, the Hodge theory of the complement forms an interesting variation of mixed Hodge structures in any geometric deformation of the situation. Our main result is a structure theorem in the case where X is a very general hypersurface of degree d in projective 3-space for d sufficiently large and Z is a union of very general hypersurface sections of X. In this case we show that the subgroup of CH ^r+1 (X,r) we consider is generated by obvious cycles only arising from rational functions on X with poles along Z. This can be seen as a generalization of the Noether–Lefschetz theorem for r = 0. In the case r = 1 there is a similar generalization by Müller-Stach, but our result is more precise than it, since it is geometric and not only cohomological. The case r = 2 is entirely new and original in this paper. For small d, we construct some explicit examples for r = 1 and 2 where the corresponding higher Chow groups are indecomposable, i.e. not the image of certain products of lower order groups. In an appendix Alberto Collino constructs even more indecomposable examples in CH ³ (X,2) which move in a one-dimensional family on the surface X.Contribution to appendix.     

The least squares problem of the matrix equation A1X1B1^T ＋ A2X2B2^T = T

The matrix least squares （LS） problem minx ｜｜AXB^T--T｜｜F is trivial and its solution can be simply formulated in terms of the generalized inverse of A and B. Its generalized problem minx1,x2 ｜｜A1X1B1^T ＋ A2X2B2^T - T｜｜F can also be regarded as the constrained LS problem minx=diag（x1,x2） ｜｜AXB^T -T｜｜F with A = [A1, A2] and B = [B1, B2]. The authors transform T to T such that min x1,x2 ｜｜A1X1B1^T＋A2X2B2^T -T｜｜F is equivalent to min x=diag（x1 ,x2） ｜｜AXB^T - T｜｜F whose solutions are included in the solution set of unconstrained problem minx ｜｜AXB^T - T｜｜F. So the general solutions of min x1,x2 ｜｜A1X1B^T ＋ A2X2B2^T -T｜｜F are reconstructed by selecting the parameter matrix in that of minx ｜｜AXB^T - T｜｜F.     

On a Class of Integral Operators

In this paper we consider the space where dv _s is the Gaussian probability measure. We give necessary and sufficient conditions for the boundedness of some classes of integral operators on these spaces. These operators are generalizations of the classical Bergman projection operator induced by kernel function of Fock spaces over .      

On theL2-Discrepancy for Anchored Boxes

TheL₂-discrepancy for anchored axis-parallel boxes has been used in several recent computational studies, mostly related to numerical integration, as a measure of the quality of uniform distribution of a given point set. We point out that if the number of points is not large enough in terms of the dimension (e.g., fewer than 10⁴points in dimension 30) then nearly the lowest possibleL₂-discrepancy is attained by a pathological point set, and hence theL₂-discrepancy may not be very relevant for relatively small sets. Recently, Hickernell obtained a formula for the expectedL₂-discrepancy of certain randomized low-discrepancy set constructions introduced by Owen. We note that his formula remains valid also for several modifications of these constructions which admit a very simple and efficient implementation. We also report results of computational experiments with various constructions of low-discrepancy sets. Finally, we present a fairly precise formula for the performance of a recent algorithm due to Heinrich for computing theL₂-discrepancy.     

ON DEGENERATE WEAKLY （K1, K2）-QUASIREGULAR MAPPINGS

The authors first give the definition of degenerate weakly （K1,K2）-quasiregular mappings using the technique of exterior power and exterior differential forms, and then, using the method of McShane extension, a useful inequality is obtained, which can be used to derive the self-improving regularity.     

On K2 of One-Dimensional Local Rings

We study K₂ of one-dimensional local domains which are essentially of finite type over a field of characteristic 0. In particular, we show that Berger’s conjecture implies Geller’s conjecture for such rings. This verifies Geller’s conjecture in many new cases of interest. Received: September 2003     

Frustrated quantum two-dimensional J1-J2-J3 antiferromagnet in a spherically symmetric self-consistent approach

In the framework of a spherically symmetric self-consistent approach to two-time retarded spin-spin Green’s functions, we develop the theory of a two-dimensional frustrated J ₁ -J ₂ -J ₃ quantum S=1/2 antiferromagnet. We show that taking the damping of spin fluctuations into account is decisive in forming both the spin-liquid state and the state with long-range order. In particular, the existence of damping allows explaining the scaling behavior of the susceptibility χ(q, ω) of the CuO ₂ cuprate plane, the behavior of the spin spectrum in the two-plane case, and the occurrence of an incommensurable χ(q, ω) peak. In the case of the complete J₁-J ₂ -J ₃ model, in a single analytic approach, we find continuous transitions between three phases with long-range order (“checkerboard,” stripe, and helical (q, q) phases) through the spin-liquid state. We obtain good agreement with cluster computations for the J ₁ -J ₂ -J ₃ model and agreement with the neutron scattering data for the J ₁ -J ₂ model of cuprates.     

On the Converse Inequality of Markov Type inL2Norm

The converse inequality of Markov type is discussed in this note. The main result says that the best possible constant for this inequality is the square root of the least eigenvalue of a certain positive definite matrix. As applications of the main result, the Laguerre weight and Hermite weight are investigated in detail, and the best constants in these two cases are obtained explicitly.     

A generalized π2-diffeomorphism finiteness theorem

The π₂-diffeomorphism finiteness result of F. Fang-X. Rong and A. Petrunin-W. Tuschmann (independently) asserts that the diffeomorphic types of compact n-manifolds M with vanishing first and second homotopy groups can be bounded above in terms of n; and upper bounds on the absolute value of sectional curvature and diameter of M: In this paper, we will generalize this π₂-diffeomorphism finiteness by removing the condition that π₁(M) = 0 and asserting the diffeomorphism finiteness on the Riemannian universal cover of M:     

On the P4-components of graphs

Two edges are called P₄-adjacent if they belong to the same P₄ (chordless path on four vertices). P₄-components, in our terminology, are the equivalence classes of the transitive closure of the P₄-adjacency relation. In this paper, new results on the structure of P₄-components are obtained. On the one hand, these results allow us to improve the complexity of orienting P₄-comparability graphs and of recognizing P₄-indifference graphs from O(n⁵) and O(n⁶) to O(m²). On the other hand, by combining the modular decomposition with the substitution of P₄-components, a new unique tree representation for arbitrary graphs is derived which generalizes the homogeneous decomposition introduced by Jamison and Olariu (SIAM J. Discrete Math. 8 (1995) 448–463).     

关于振动核奇异积分的L2-有界性

在本文中,我们研究了形如S_B(f)(x)=∫_Rⁿ (K(x,y)e^iB(x,y)f(y)dy的振动核奇异积分的L²-有界性及相应的T(1)—定理,其中B非退化。对于相当广的一类核函数K,S_B的奇异性只取决于K在“0”点附近的奇异性;此外,为了建立T(1)—定理,我们把核函数的光滑性降到了一种近似于D_{i ni}-条件的积分条件。     

一类算子的正定性

本文给出了弹性力学和弹性结构力学中出现的一类十分广泛的算子的正定性的证明。通常遇到的二维三维弹性力学问题,薄板问题等的方程组的正定性问题可以看为它的特殊情形。     

On elements of given order in K2F

We generalize Steinberg symbols in K₂ of a ring, and we use them to investigate torsion elements in K₂. The results are based on papers of Rosset-Tate and Suslin.     

On the Algebra of Pair Integral Operators with Homogeneous Kernels

In this paper, we study the Banach algebra generated by multidimensional pair integral operators with homogeneous kernels. We describe necessary and sufficient conditions for operators from the algebra to be Fredholm and present a formula for calculating the index.     

K2 of a Ring via the G-Construction

We interpret the Steinberg symbols x_i,j(a) as homotopies contracting the elementary matrices e_i,j(a), the latters being represented by certain arcs in a simplicial model of the K-theory. We further prove the Steinberg relations for these homotopies. This provides an explicit map from K₂ of a ring, defined classically as ker(St(R) → GL(R)), to π₂ of the G-construction assigned to R. Though the two groups are known to be isomorphic, a certain work is to be done to prove that this explicit map is an isomorphism. Mathematics Subject Classification 1991: Primary 19B99, 19D99; secondary 18E10, 18F25.     

On the Integral Operators of the Third Kind

We establish some necessary and sufficient conditions for an operator in the space of square summable functions to be representable as a sum of multiplication by a bounded function and an integral operator.     

On a Family of Integral Operators of Hankel Type

In this paper we perform an explicit diagonalization of Hankel integral operators K ⁽⁰⁾, K ⁽¹⁾, K ⁽²⁾,... It turns out that each of these operators has a simple purely absolutely continuous spectrum filling in the interval [?1, 1]. This generalizes a result of Kostrykin and Makarov (Proc Am Math Soc 136:2067–2071, 2008).