On the exactness of certain inequalities in approximation theory

We prove the following: for every sequence {F_v}, F_v ? 0, F_v > 0 there exists a functionf such that

1. E_n(f)?F_n (n=0, 1, 2, ...) and
2. A_kn^?k? _v=1 ⁿ v^k?1 F_v?1?Ω_k (f, n^?1) (n=1, 2, ...).

     

On the main conjecture of Iwasawa theory for imaginary quadratic fields

Partially supported by NSF grant DMS-8501937 and by a Sloan fellowship     

A conjecture of Segre on diophantine approximation

In 1945,B. Segre proved the following classical theorem: Every irrational ξ has an infinity of rational approximationsp/q such that (0) $$\frac{{ - 1}}{{q^2 \sqrt {1 + 4\tau } }}< \frac{p}{q} - \xi< \frac{\tau }{{q^2 \sqrt {1 + 4\tau } }},$$ where τ is any given non-negative real number. Segre conjectured that when τ≠0 and τ^?1 is not an integer, inequalities (0) can be improved by replacing \(\sqrt {1 + 4\tau } \) and \(\sqrt {1 + 4\tau } /\tau \) with larger numbers. In this paper we prove that these two numbers can be replaced with the larger numbers \(\sqrt {1 + 4\tau } + 0.2\tau ^2 \{ \tau ^{ - 1} \} (1 - \{ \tau ^{ - 1} \} )\) and \(\sqrt {1 + 4\tau } /\tau + 0.2\tau ^2 \{ \tau ^{ - 1} \} (1 - \{ \tau ^{ - 1} \} )\) respectively, where {τ^?1} is the fractional part of τ^?1.     

On some extremal problems of approximation theory in the complex plane

In the Hardy Banach spaces H _q , Bergman Banach spaces H_q, and Banach spaces (p, q, ), we determine the exact values of the Kolmogorov, Bernstein, Gelfand, linear, and trigonometric n-widths of classes of functions analytic in the disk |z| < 1 and such that the averaged moduli of continuity of their r-derivatives are majorized by a certain function. For these classes, we also consider the problems of optimal recovery and coding of functions.__________Translated from Ukrainskyi Matematychnyi Zhurnal, Vol. 56, No. 9, pp. 1155–1171, September, 2004.     

On convergence rates in approximation theory for operator semigroups

We create a new, functional calculus, approach to approximation formulas for _C0$C_0$-semigroups on Banach spaces restricted to the domains of fractional powers of their generators. This approach allows us to equip the approximation formulas with rates which appear to be optimal in a natural sense. In the case of analytic semigroups, we improve our general results obtaining better convergence rates which are optimal in that case too. The setting of analytic semigroups includes also the case of convergence on the whole space. As an illustration of our approach, we deduce optimal convergence rates in classical approximation formulas for _C0$C_0$-semigroups restricted to the domains of fractional powers of their generators.     

Kaplansky conjecture in the theory of quadratic forms

This article considers the splitting properties of finite-dimensional division rings over universal splitting fields of quadratic forms. An example of a field with u-invariant equal to 6 is constructed, which contradicts Kaplansky's conjecture concerning u-invariants.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im, V. A. Steklova Akademii Nauk SSSR, Vol. 175, pp. 75–89, 1989.     

On speciality of bernstein jordan algebras *

The problem of speciality for Bernstein Jordan algebras is considered. Two examples of exceptional Bernstein Jordan algebras with special nucleus are constructed. The examples correspond to two different types of exceptional Jordan algebras: the first one is i-exceptional, and the second one is i-special.     

On the points-lines-planes conjecture

It has been conjectured that in any matroid, if W₁, W₂, W₃ denote the number of points, lines, and planes respectively, then W₂² ≥ W₁W₃. We prove this conjecture (and some strengthenings) for matroids in which no line has five or more points, thus generalizing a result of Stonesifer, who proved it for graphic matroids.     

On the Cameron-Praeger conjecture

This paper takes a significant step towards confirming a long-standing and far-reaching conjecture of Peter J. Cameron and Cheryl E. Praeger. They conjectured in 1993 that there are no non-trivial block-transitive 6-designs. We prove that the Cameron-Praeger conjecture is true for the important case of non-trivial Steiner 6-designs, i.e. for 6-(v,k,λ) designs with λ=1, except possibly when the group is PΓL(2,pe) with p=2 or 3, and e is an odd prime power.     

On the multiplier conjecture

The Multiplier Theorem is a celebrated theorem in the Design theory. The conditionp>λ is crucial to all known proofs of the multiplier theorem. However in all known examples of difference sets μ _p . is a multiplier for every primep with (p, v)=1 andp‖n. Thus there is the multiplier conjecture: “The multiplier theorem holds without the assumption thatp>λ”. The general form of the multiplier theorem may be viewed as an attempt to partially resolve the multiplier conjecture, where the assumption “p>λ” is replaced by “n ₁>λ”. Since then Newman (1963), Turyn (1964), and McFarland (1970) attempted to partially resolve the multiplier conjecture (see [7], [8], [9]). This paper will prove the following result using the representation theory of finite groups and the algebraic number theory: LetG be an abelian group of orderv,v ₀ be the exponent ofG, andD be a (v, k, λ)-difference set inG. Ifn=2_{n 1}, then the general form of the multiplier theorem holds without the assumption thatn ₁>λ in any of the following cases:

On the Vergne conjecture

Consider a Hamiltonian action by a compact Lie group on a possibly non-compact symplectic manifold. We give a short proof of a geometric formula for the decomposition into irreducible representations of the equivariant index of a \({{\mathrm{{{\mathrm{Spin}}}^c}}}\)-Dirac operator in this context. This formula was conjectured by Vergne in (Eur Math Soc Zürich I:635–664, 2007) and proved by Ma and Zhang in (Acta Math 212:11–57, 2014).