On best localized bandlimited functions

Let, for σ > 0, be the set of complex functions f ∈ L ¹ (ℝ) with the Fourier transforms vanishing outside the interval [−σ; σ]. In this paper, we study the problem of the best approximation of the Dirac function δ (which has the Fourier transform with widest support supp ) by functions . More precisely, we consider the quantity inf and its extremal functions . __________ Translated from Lietuvos Matematikos Rinkinys, Vol. 46, No. 4, pp. 548–564, October–December, 2006.     

Remarks on ample vector bundles of curve genus two

Let be an ample vector bundle of rank n – 1 on a smooth complex projective variety X of dimension n≥ 3 such that X is a -bundle over and that for any fiber F of the bundle projection . The pairs with = 2 are classified, where is the curve genus of . This allows us to improve some previous results. Received: 13 June 2006     

Properties of Auto- and Antiautomorphisms of Maximal Chain Structures and their Relations to i-Perspectivities

Let E be a non empty set, let P : = E × E, := {x × E|x ∈ E}, := {E × x|x ∈ E}, and := {C ∈ 2 ^P |∀X ∈ : |C ∩ X| = 1} and let . Then the quadruple resp. is called chain structure resp. maximal chain structure. We consider the maximal chain structure as an envelope of the chain structure . Particular chain structures are webs, 2-structures, (coordinatized) affine planes, hyperbola structures or Minkowski planes. Here we study in detail the groups of automorphisms , , , related to a maximal chain structure . The set of all chains can be turned in a group such that the subgroup of generated by the left-, by the right-translations and by ι the inverse map of is isomorphic to (cf. (2.14)).     

The Reduced Minimum Modulus in <Emphasis>C</Emphasis><Superscript>*</Superscript>-Algebras

We define the reduced minimum modulus of a nonzero element a in a unital C ^*-algebra by . We prove that . Applying this result to and its closed two side ideal , we get that dist , and for any if RR = 0, where and is the quotient homomorphism and . These results generalize corresponding results in Hilbert spaces.     

Metrics in the sphere of a C*-module

Given a unital C*-algebra and a right C*-module over , we consider the problem of finding short smooth curves in the sphere = {x ∈ : 〈x, x〉 = 1}. Curves in are measured considering the Finsler metric which consists of the norm of at each tangent space of . The initial value problem is solved, for the case when is a von Neumann algebra and is selfdual: for any element x ₀ ∈ and any tangent vector ν at x ₀, there exists a curve γ(t) = e ^tZ (x ₀), Z ∈ , Z* = −Z and ∥Z∥ ≤ π, such that γ(0) = x ₀ and (0) = ν, which is minimizing along its path for t ∈ [0, 1]. The existence of such Z is linked to the extension problem of selfadjoint operators. Such minimal curves need not be unique. Also we consider the boundary value problem: given x ₀, x ₁ ∈ , find a curve of minimal length which joins them. We give several partial answers to this question. For instance, let us denote by f ₀ the selfadjoint projection I − x ₀ ⊗ x ₀, if the algebra f ₀ f ₀ is finite dimensional, then there exists a curve γ joining x ₀ and x ₁, which is minimizing along its path.      

The general dévissage theorem for Witt groups of schemes

Let be a closed subscheme of the noetherian scheme X. We show that if X has a dualizing complex then there exists a dualizing complex of Z such that there is an isomorphism of coherent Witt groups for all . Received: 3 March 2006     

Isometries and direct decompositions of pseudo MV-algebras

In the paper isometries in pseudo MV-algebras are investigated. It is shown that for every isometry f in a pseudo MV-algebra = (A, ⊕, ⁻, ^∼, 0, 1) there exists an internal direct decomposition of with commutative such that and for each x ∈ A. On the other hand, if is an internal direct decomposition of a pseudo MV-algebra = (A, ⊕, ⁻, ^∼, 0, 1) with commutative, then the mapping g: A → A defined by is an isometry in and .      

Distribution of <Emphasis Type="Italic">q</Emphasis>-additive functions on the set of primes

We characterize the q-multiplicative functions which belong to or = the set of uniformly summable functions on the set of primes. Dedicated to Professor Jonas Kubilius on his 85th anniversary Published in Lietuvos Matematikos Rinkinys, Vol. 47, No. 1, pp. 29–38, January–March, 2007.     

Furstenberg family and chaos

A Furstenberg family F is a family,consisting of some subsets of the set of positive integers,which is hereditary upwards,i.e.A■B and A∈F imply B∈F.For a given system (i.e.,a pair of a complete metric space and a continuous self-map of the space) and for a Furstenberg family F, the definition of F-scrambled pairs of points in the space has been given,which brings the well-known scrambled pairs in Li-Yorke sense and the scrambled pairs in distribution sense to be F-scrambled pairs corresponding respectively to suitable Furstenberg family F.In the present paper we explore the basic properties of the set of F-scrambled pairs of a system.The generically F-chaotic system and the generically strongly F-chaotic system are defined.A criterion for a generically strongly F-chaotic system is showed.     

Relatively convex subsets of simply connected planar sets

Let D ⊂ ℜ² be simply connected. A subset K ⊂ D is relatively convex if a, b ∈ K, [a, b] ⊂ D implies [a, b] ⊂ K. We establish the following version of Helly’s Topological Theorem: If is a family of (at least 3) compact, polygonally connected and relatively convex subsets of D, then , provided each three members of meet. We also prove other results related to the combinatorial metric ρ_K(a, b) (= smallest number of edges of a polygonal path from a to b in K).     

On estimation and detection of a function of infinitely many variables

We observe an unknown function of infinitely many variables f = f(t), t = (t₁, ..., t_n, ... ) ∈, [0, 1]^∞, in the Gaussian white noise of level ε > 0. We suppose that in each variable there exists a 1-periodical σ-smooth extension of the function f(t) to IR ^∞. Taking a quantity σ > 0 and a positive sequence a = {a_k}, we consider the set that consists of functions f such that . We consider the cases a_k = k^α and a_k = exp(λk), α > 0, λ > 0. We would like to estimate a function f ∈ or to test the null hypothesis H₀: f = 0 against the alternatives f ∈ , where the set consists of functions f ∈ such that ∥f∥₂ ≥ r. In the estimation problem, we obtain the asymptotics (as ε → 0) of the minimax quadratic risk. In the detection problem, we study the sharp asymptotics of minimax separation rates f _ɛ ^* that provide distiguishability in the problems. Bibliography: 12 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 328, 2005, pp. 91–113.     

The spectrum for overlarge sets of directed triple systems

A directed triple system of order v,denoted by DTS(v,λ),is a pair(X,B)where X is a v- set and B is a collection of transitive triples on X such that every ordered pair of X belongs toλtriples of B.An overlarge set of disjoint DTS(v,λ),denoted by OLDTS(v,λ),is a collection{(Y\{y},A_i)}_i, such that Y is a(v 1)-set,each(Y\{y},A_i)is a DTS(v,λ)and all A_i's form a partition of all transitive triples of Y.In this paper,we shall discuss the existence problem of OLDTS(v,λ)and give the following conclusion:there exists an OLDTS(v,λ)if and only if eitherλ=1 and v≡0,1(mod 3),orλ=3 and v≠2.     

Vectorspacelike representation of absolute planes

The pointset E of an absolute plane can be provided with a binary operation "+" such that (E, +) becomes a loop and for each a E \ {o} the line [a] through o and a is a commutative subgroup of (E, +). Two elements a, b E \ {o} are called independent if [a] ∩ [b] = {o} and the absolute plane is called vectorspacelike if for any two independent elements we have E = [a] + [b] := {x + y | x [a], y [b]}. If is singular then (E, +) is a commutative group and is vectorspacelike iff is Euclidean. If is a hyperbolic plane then is vectorspacelike and in the continous case if a, b are independent, each point p has a unique representation as a quasilinear combination p = α · a + μ · b where α · a [a]and β · b [b] are points, α, β real numbers such that λ (o, λ · a) = |λ|· λ (o, a) and λ (o, μ · b) = |μ|. λ(o, b) and λ is the distance function. This work was partially supported by the Research Project of MIUR (Italian Ministery of Education and University) “Geometria combinatoria e sue applicazioni” and by the research group GNSAGA of INDAM. Dedicated to Walter Benz on the occasion of his 75 ^th birthday, in friendship     

On sandwich sets and congruences on regular semigroups

Let S be a regular semigroup and E(S) be the set of its idempotents. We call the sets S(e, f)f and eS(e, f) one-sided sandwich sets and characterize them abstractly where e, f ∈ E(S). For a, a′ ∈ S such that a = aa′a, a′ = a′aa′, we call S(a) = S(a′a, aa′) the sandwich set of a. We characterize regular semigroups S in which all S(e; f) (or all S(a)) are right zero semigroups (respectively are trivial) in several ways including weak versions of compatibility of the natural order. For every a ∈ S, we also define E(a) as the set of all idempotets e such that, for any congruence ϱ on S, aϱa ² implies that aϱe. We study the restrictions on S in order that S(a) or be trivial. For , we define on S by a b if . We establish for which S are or congruences.     

Lie and Jordan Ideals in Reflexive Algebras

A CDCSL algebra is a reflexive operator algebra with completely distributive and commutative subspace lattice. In this paper, we show, for a weakly closed linear subspace of a CDCSL algebra , that is a Lie ideal if and only if for all invertibles A in , and that is a Jordan ideal if and only if it is an associative ideal.     

Invariant and quasi-invariant transformations of measures that correspond to stable processes with independent increments

Let ξ(t), t ∈ [0, 1], be a strictly stable process with an index of stability α ∈ (0, 2). By we denote the law of ξ in the Skorokhod space [0,1]. For arbitrary strictly stable process ξ, we construct a semigroup of transformations of [0, 1] for which the measure is quasi-invariant. For strictly stable processes with positive and negative jumps, we construct a group of transformations of [0, 1] for which the measure is quasi-invariant. In the symmetric case, this group is a group of invariant transformations. Bibliography: 10 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 339, 2006, pp. 135–149.     

C*-Modular Vector States

Let be a C*-algebra and X a Hilbert C* -module. If is a projection, let be the p-sphere of X. For φ a state of with support p in and consider the modular vector state φ_x of given by The spheres provide fibrations

Supersaturation For Ramsey-Turán Problems

For an l-graph , the Turán number is the maximum number of edges in an n-vertex l-graph containing no copy of . The limit is known to exist [8]. The Ramsey–Turán density is defined similarly to except that we restrict to only those with independence number o(n). A result of Erdős and Sós [3] states that as long as for every edge E of there is another edge E′of for which |E∩E′|≥2. Therefore a natural question is whether there exists for which . Another variant proposed in [3] requires the stronger condition that every set of vertices of of size at least εn (0<ε<1) has density bounded below by some threshold. By definition, for every . However, even is not known for very many l-graphs when l>2. We prove the existence of a phenomenon similar to supersaturation for Turán problems for hypergraphs. As a consequence, we construct, for each l≥3, infinitely many l-graphs for which . We also prove that the 3-graph with triples 12a, 12b, 12c, 13a, 13b, 13c, 23a, 23b, 23c, abc, satisfies . The existence of a hypergraph satisfying was conjectured by Erdős and Sós [3], proved by Frankl and R?dl [6], and later by Sidorenko [14]. Our short proof is based on different ideas and is simpler than these earlier proofs. * Research supported in part by the National Science Foundation under grants DMS-9970325 and DMS-0400812, and an Alfred P. Sloan Research Fellowship. † Research supported in part by the National Science Foundation under grants DMS-0071261 and DMS-0300529.     

Fong characters and chains of normal subgroups

In this note, we show that if is a π-partial character of the π-separable group is a chain of normal subgroups of G, and H is a Hall π-subgroup of G, then has a Fong character α Irr(H) such that for every subgroup , every irreducible constituent of α _H∩N is Fong for N. We also show that if is quasi-primitive, then for every normal subgroup M of G the irreducible constituents of are Fong for M. Received: 21 July 2006 Revised: 17 January 2007     

Transformation of measures generated by jump Lévy processes

Let ξ(t), t ∈ [0, 1], be a jump Lévy process. We denote by the law of ξ in the Skorokhod space [0, 1]. Under some nondegeneracy condition on the Lévy measure Λ of the process, we construct a group of -preserving transformations of the space [0, 1]. Bibliography: 11 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 341, 2007, pp. 175–188.