Local structure of Rogers semilattices of Σ<Subscript>n</Subscript><Superscript>0</Superscript>-computable numberings

We deal in specific features of the algebraic structure of Rogers semilattices of _n ⁰-computable numberings, for n 2. It is proved that any Lachlan semilattice is embeddable (as an ideal) in such every semilattice, and that over an arbitrary non 0-principal element of such a lattice, any Lachlan semilattice is embeddable (as an interval) in it.Supported by INTAS grant No. 00-499, by FP Universities of Russia grant UR.04.01.013, and by the Grant Center for Fundamental Research (GCFR), project PD02-1.1-475.__________Translated from Algebra i Logika, Vol. 44, No. 2, pp. 148–172, March–April, 2005.     

Density of the Medvedev lattice of Π<Superscript>0</Superscript><Subscript>1</Subscript> classes

The partial ordering of Medvedev reducibility restricted to the family of ⁰₁ classes is shown to be dense. For two disjoint computably enumerable sets, the class of separating sets is an important example of a ⁰₁ class, which we call a ``c.e. separating class'. We show that there are no non-trivial meets for c.e. separating classes, but that the density theorem holds in the sublattice generated by the c.e. separating classes. Mathematics Subject Classification (2000): 03D30, 03D25     

Stable Cohomology of Spaces of Non-Resultant Systems of Homogeneous Polynomials in ℝ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

Stable rational cohomology groups of spaces of non-resultant homogeneous polynomial systems of growing degree in ?ⁿ are calculated.     

Katriel’s Operators for Products of Conjugacy Classes of S<Subscript>n</Subscript>

We define a family of differential operators indexed with fixed point free partitions. When these differential operators act on normalized power sum symmetric functions q(x), the coefficients in the decomposition of this action in the basis q(x) are precisely those of the decomposition of products of corresponding conjugacy classes of the symmetric group S_n. The existence of such operators provides a rigorous definition of Katriels elementary operator representation of conjugacy classes and allows to prove the conjectures he made on their properties.Work partially supported by a grant from the Natural Sciences and Engineering Research Council of Canada.Work partially supported by ECs Research Training Network Algebraic Combinatorics in Europe (grant HPRN-CT-2001-00272).     

Depth of <Emphasis Type="Italic">α</Emphasis>-completions of systems of Boolean functions

A problem of realization of Boolean functions by α-formulas is considered. These formulas are such that each subformula contains not more than one nontrivial principal subformula. The depth is considered as a complexity measure of a formula. Upper and lower polynomial estimates of Shannon functions for α-completions of finite systems of Boolean functions are obtained.     

Dual Complexes of Cubical Subdivisions of ℝ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

We use a distortion to define the dual complex of a cubical subdivision of ℝ ⁿ as an n-dimensional subcomplex of the nerve of the set of n-cubes. Motivated by the topological analysis of high-dimensional digital image data, we consider such subdivisions defined by generalizations of quad- and oct-trees to n dimensions. Assuming the subdivision is balanced, we show that mapping each vertex to the center of the corresponding n-cube gives a geometric realization of the dual complex in ℝ ⁿ .     

A blend of methods of recursion theory and topology: A Π<Subscript>1</Subscript><Superscript>0</Superscript> tree of shadow points

This paper is a sequel to our [7]. In that paper we constructed a ₁⁰ tree of avoidable points. Here we construct a ₁⁰ tree of shadow points. This tree is a tree of sharp filters, where a sharp filter is a nested sequence of basic open sets converging to a point. In the construction we assign to each basic open set on the tree an address in 2^<. One interesting fact is that while our ₁⁰ tree of sharp filters (a subtree of ^<) is isomorphic to the tree of addresses (a subtree of 2^<), the tree of addresses is recursively enumerable but not recursive. To achieve this end we use a finite injury priority argument.Mathematics Subject Classification (2000): 03D45, 03D80, 03C57, 54A20     

The Cayley graphs of ℤ<Superscript>d</Superscript> and the limits of vertex-primitive graphs of <Emphasis Type="Italic">HA</Emphasis>-type

We study the limits of the finite graphs that admit some vertex-primitive group of automorphisms with a regular abelian normal subgroup. It was shown in [1] that these limits are Cayley graphs of the groups ?^d. In this article we prove that for each d > 1 the set of Cayley graphs of ?^d presenting the limits of finite graphs with vertex-primitive and edge-transitive groups of automorphisms is countable (in fact, we explicitly give countable subsets of these limit graphs). In addition, for d < 4 we list all Cayley graphs of ?^d that are limits of minimal vertex-primitive graphs. The proofs rely on a connection of the automorphism groups of Cayley graphs of ?^d with crystallographic groups.     

On some properties of finite sums of ridge functions defined on convex subsets of ℝ<Superscript> <Emphasis Type="Italic">n</Emphasis> </Superscript>

Necessary conditions are established for the continuity of finite sums of ridge functions defined on convex subsets E of the space Rⁿ. It is shown that under some constraints imposed on the summed functions ?_i, in the case when E is open, the continuity of the sum implies the continuity of all ?_i. In the case when E is a convex body with nonsmooth boundary, a logarithmic estimate is obtained for the growth of the functions ?_i in the neighborhoods of the boundary points of their domains of definition. In addition, an example is constructed that demonstrates the accuracy of the estimate obtained.     

Inversion of integral of B-potential type with density from Φ<Subscript>γ</Subscript>

In [3], the inversion of an integral operator of potential type with constant characteristic generated by the many-dimensional generalized shift was obtained. In this paper, the author obtains a generalization of the results from [3] to the case of a shift of mixed type, i.e., on a part of the variable generalized shifts of integral nature adopted to deal with the Bessel singular differential operator act, whereas on the other part, the ordinary shift act. Also, it should be noted that in contrast to [3], the integral of B-potential type with homogeneous characteristic is considered in this paper. This generalization is attained by introducing general hypersingular integrals of the general form [8]. Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 57, Suzdal Conference–2006, Part 3, 2008.     

On sets of directions determined by subsets of ℝ<Superscript><Emphasis Type="Italic">d</Emphasis></Superscript>

Given E ? ? ^d , d ≥ 2, define

$D(E) \equiv \left\{ {{{x - y} \over {\left| {x - y} \right|}}:x,y \in E} \right\} \subset {S^{d - 1}}$

to be the set of directions determined by E. We prove that if the Hausdorff dimension of E is greater than d ? 1, then σ(D(E)) > 0, where σ denotes the surface measure on S ^d?1. In the process, we prove some tight upper and lower bounds for the maximal function associated with the Radon-Nikodym derivative of the natural measure on D. This result is sharp, since the conclusion fails to hold if E is a (d ? 1)-dimensional hyper-plane. This result can be viewed as a continuous analog of a recent result of Pach, Pinchasi, and Sharir ([22, 23]) on directions determined by finite subsets of ? ^d . We also discuss the case when the Hausdorff dimension of E is precisely d ? 1, where some interesting counter-examples have been obtained by Simon and Solomyak ([25]) in the planar case. In response to the conjecture stated in this paper, T. Orponen and T. Sahlsten ([20]) have recently proved that if the Hausdorff dimension of E equals d ? 1 and E is rectifiable and is not contained in a hyper-pane, the Lebesgue measure of the set of directions is still positive. Finally, we show that our continuous results can be used to recover and, in some cases, improve the exponents for the corresponding results in the discrete setting for large classes of finite point sets. In particular, we prove that a finite point set P ? ? ^d , d ≥ 3, satisfying a certain discrete energy condition (Definition 3.1) determines ? #P distinct directions.

     

Description of the Space of Riesz Potentials of Functions in a Grand Lebesgue Space on ℝ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

The Riesz potentials L^af, 0 < α < ∞, are considered in the framework of a grand Lebesgue space L_a^p),θ, 1 < p < ∞, θ > 0, on Rn with grandizers a ∈ L¹(?ⁿ), which are understood in the case α ≥ n/p in terms of distributions on test functions in the Lizorkin space. The images under I^α of functions in a subspace of the grand space which satisfy the so-called vanishing condition is studied. Under certain assumptions on the grandizer, this image is described in terms of the convergence of truncated hypersingular integrals of order α in this subspace.     

Solvability of a Class of Nonlinear Pseudo-Differential Equations in ℝ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

In the present work the existence of continuous and bounded solutions for a class of nonlinear pseudo-differential equations on ? ⁿ is proved. The monotonicity, asymptotic behavior and other properties for obtained solutions are also presented. Mentioned class of equations arises in p-adic string theory.     

Estimation of the best approximation of periodic functions of two variables by an “angle” in the metric of <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>

We obtain upper bounds in terms of Fourier coefficients for the best approximation by an angle and for norms in the metric of L _p for functions of two variables defined by trigonometric series with coefficients such that as l ₁ + l ₂ and

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.     

The Δ<Superscript>0</Superscript><Subscript><Emphasis Type="Italic">α</Emphasis></Subscript>-Computable Enumerations of the Classes of Projective Planes

Studying computable representations of projective planes, for the classes K of pappian, desarguesian, and all projective planes, we prove that K ^c /? admits no hyperarithmetical Friedberg enumeration and admits a Friedberg Δ⁰_α+3-computable enumeration up to a Δ⁰ _α -computable isomorphism.     

The global dynamics of a class of vector fields in ℝ<Superscript>3</Superscript>

In this paper, we find a bridge connecting a class of vector fields in ℝ³ with the planar vector fields and give a criterion of the existence of closed orbits, heteroclinic orbits and homoclinic orbits of a class of vector fields in ℝ³. All the possible nonwandering sets of this class of vector fields fall into three classes: (i) singularities; (ii) closed orbits; (iii) graphs of unions of singularities and the trajectories connecting them. The necessary and sufficient conditions for the boundedness of the vector fields are also obtained.     

The <Emphasis Type="Italic">C</Emphasis><Superscript>α</Superscript> regularity of a class of non-homogeneous ultraparabolic equations

We obtain the C ^α regularity for weak solutions of a class of non-homogeneous ultraparabolic equation, with measurable coefficients. The result generalizes our recent C ^α regularity results of homogeneous ultraparabolic equations. This work was supported by National Natural Science Foundation of China (Grant No. 10325104)