Geometry of finite-dimensional normed spaces,and continuous functions on the Euclidean sphere

Let ℝⁿ be the n-dimensional Euclidean space, and let { · } be a norm in Rⁿ. Two lines ℓ₁ and ℓ₂ in ℝⁿ are said to be { · }-orthogonal if their { · }-unit direction vectors e ₁ and e ₂ satisfy {e ₁ + e ₂} = {e ₁ − e ₂}. It is proved that for any two norms { · } and { · }′ in ℝⁿ there are n lines ℓ₁, ..., ℓ_n that are { · }-and { · }′-orthogonal simultaneously. Let be a continuous function on the unit sphere with center O. It is proved that there exists an (n − 1)-cube C centered at O, inscribed in , and such that all sums of values of f at the vertices of (n − 3)-faces of C are pairwise equal. If the function f is even, then there exists an n-cube with the same properties. Furthermore, there exists an orthonormal basis e ₁, ..., e _n such that for 1 ≤ i ≤ j ≤ n we have . Bibliography: 8 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 329, 2005, pp. 107–117.     

Categories with homotopy determine a closed model structure

In a category with homotopy (Definition 1.1), one can define a natural concept of (co)fibrations and weak equivalences (Sec. 2) such that some properties of a closed model category hold. If is a complete and cocomplete category (with respect to finite limits) with simplicial homotopy (Definition 1.3), one achieves a full closed model structure in (Theorem 4.6). For each category with homotopy , there exists a category with simplicial homotopy (see Sec. 5) (the simplicial envelope of ). If is already a complete category with simplicial homotopy, then is Quillen equivalent to (Theorem 5.9). __________ Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 41, Topology and Its Applications, 2006.     

Zeros of H ∞-Functions on Hyperplanes in \mathbb{B} n

Let ⁿ be the unit ball in ℂⁿ, n ≥ 2. Let T_α = {z ∈ ⁿ : (z, a) = |a|²} for a ∈ ⁿ and denote for a discrete set A in ⁿ. We find a sharp necessary condition for a set A to be a part of the zero-set for a function in H^∞( ⁿ). Bibliography 4 titles.__________Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 303, 2003, pp. 272–278.     

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.     

Finite p-groups with automorphism of a special form

Research on finite solvable groups with C-closed invariant subgroups has given rise to groups structured as follows. Let p, q₁, q₂, ..., q_m be distinct primes, n_i be the exponent of p modulo q_i, and n be the exponent of p modulo . Then G = Pλ〈x〉, where P is a group and ; Z_i; here, Z_i and P/Z(P) are elementary Abelian groups of respective orders and pⁿ, |x| = r, the element x acts irreducibly on P/Z(P) and on each of the subgroups Z_i, and . We state necessary and sufficient conditions for such groups to exist. __________ Translated from Algebra i Logika, Vol. 45, No. 4, pp. 379–389, July–August, 2006.     

Energy transfer in the Kuramoto-Sivashinskii equation on a multidimensional torus with Riemannian metric

In this paper, we consider the Kuramoto-Sivashinskii equation on the multidimensional torus with a Riemannian metric: where . For this equation the theorem on energy transfer holds. It is formulated in the following way. Let be the Fourier expansion of the function u. Denote by P _N and P _N ^⊥ the operators of rejection of the “leading” and, respectively, “lowest” terms of the Fourier expansion (harmonics), i.e., . For any ρ > 0,N ∈ ℕ, s ≥ n/2+5, and λ ∈ (0, 1), there exists R such that for any function. ϕ ∈ lying outside the ball in the ball , there exists an instant of time t ∈ (0, 1) such that g _KS ^t ϕ=ψ and . Here, R is a constant depending on the metric (g), n _s is the sth Sobolev norm, and is the C ¹-norm. __________ Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 24, Dynamical Systems and Optimization, 2005.     

Quadrangles Inscribed in a Closed Curve and the Vertices of a Curve

Let ABCDE be a pentagon inscribed in a circle. It is proved that if is a C⁴-generic smooth convex planar oval with four vertices (stationary points of curvature), then there are two similarities φ such that the quadrangle φ(ABCD) is inscribed in and the point φ(E)lies inside , as well as two similarities ψ such that the quadrangle ψ(ABCD) is inscribed in and ψ(E)lies outside . Itisalsoprovedthatif n is odd, then any smoothly embedded circle γ ↪ ℝⁿ contains the vertices of an equilateral (n + 1)-link polygonal line lying in a hyperplane of ℝⁿ. Bibliography: 7 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 299, 2003, pp. 241–251.     

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.     

Complexity bound for the absolute factorization of parametric polynomials

An algorithm is constructed for the absolute factorization of polynomials with algebraically independent parametric coefficients. It divides the parameter space into pairwise disjoint pieces such that the absolute factorization of polynomials with coefficients in each piece is given uniformly. Namely, for each piece there exist a positive integer l ≤ d, l variables C₁, ..., C_l algebraically independent over the ground field F, and rational functions b_J,j of the parameters and of the variables C₁, ..., C_l such that for any parametric polynomial f with coefficients in this piece, there exist c₁, ..., with f = Π _j G _j where G _j = Σ_|J| B _J,j Z ^J is absolutely irreducible. Here Z = (Z₀, ..., Z_n) are the variables of f, each B_J,j is the value of b_J,j at the coefficients of f and c₁, ..., c_l, and denotes the algebraic closure of F. The number of pieces does not exceed (2d²+1)^2n+3d+5, and the algorithm performs arithmetic operations in F (thus the number of operations is exponential in the number r = ( _n+1 ^n+1+d ) of coefficients of f), and its binary complexity is bounded by if F = ℚ and by if , where d is an upper bound on the degrees of polynomials. The techniques used include the Hensel lemma and the quantifier elimination in the theory of algebraically closed fields. Bibliography: 20 titles. Published in Zapiski Nauchnykh Seminarov POMI, Vol. 316, 2004, pp. 5–29.     

Conditions of Local Asymptotic Normality for Gaussian Stationary Processes

Let {\bold x}[] be a stationary Gaussian process with zero mean and spectral density f, let be the -algebra induced by the random variables {\bold x}[], D(R¹), and let _t, t > 0, be the -algebra induced by the random variables x[],supp [-t,t]. Denote by (f) the Gaussian measure on generated by {\bold x}. Let _t(f) be the restriction of (f) to _t. Let f and g be nonnegative functions such that the measures _t(f) and _t(g) are absolutely continuous. Put

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.      

Arithmetic Interpretability Types of Varieties and Some Additive Problems with Primes

We deal with varieties with one basic operation f(x₁,...,x_n) and one defining identity f(x₁,..., x_n) = f(x_π(1),...,x_π(n)), where π is a permutation whose cyclic set consists of distinct primes p₁,...,p_r, with the sum p₁+...+p_r = n. Their interpretability types, together with the greatest element 1 in a lattice ^int, are said to be arithmetic. It is proved that the arithmetic types constitute a distributive lattice _ar, which is dual to a lattice Sub _fΠ of finite subsets of the set Π of all primes. It is shown that for n ⩾ 2, the poset _ar( _n) of arithmetic types defined by permutations in _n, for n fixed, is a lattice iff n = 2, 3, 4, 6, 8, 9, 11. __________ Translated from Algebra i Logika, Vol. 44, No. 5, pp. 622–630, September–October, 2005.     

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.     

On relatively aspherical presentations and their central extensions

Under the condition of asphericity of a quotient group , mutual commutants of the form in hyperbolic groups G are investigated together with the structure of central subgroups in central extensions of . In particular, quotients of the form G/[g ^m , G] are considered, where g is an element of infinite order from a hyperbolic group G and m is sufficiently large (depending on g). __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 11, No. 2, pp. 115–125, 2005.     

Rauzy tilings and bounded remainder sets on the torus

For the two-dimensional torus , we construct the Rauzy tilings d⁰ ⊃ d¹ ⊃ … ⊃ d^m ⊃ …, where each tiling d^m+1 is obtained by subdividing the tiles of d^m. The following results are proved. Any tiling d^m is invariant with respect to the torus shift S(x) = x+ mod ℤ², where ζ⁻¹ > 1 is the Pisot number satisfying the equation x³− x²−x-¹ = 0. The induced map is an exchange transformation of B^md ⊂ , where d = d⁰ and . The map S^(m) is a shift of the torus , which is affinely isomorphic to the original shift S. This means that the tilings d^m are infinitely differentiable. If Z_N(X) denotes the number of points in the orbit S¹(0), S²(0), …, S^N(0) belonging to the domain B^md, then, for all m, the remainder r_N(B^md) = Z_N(B^md) − N ζ^m satisfies the bounds −1.7 < r_N(B^md) < 0.5. Bibliography: 10 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 322, 2005, pp. 83–106.     

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 .      

Some existence and nonexistence theorems for compact graphs of constant mean curvature with boundary in parallel planes

Given H≥0 and bounded convex curves α₁, ...,⇌_n, α in the plane z=0 bounding domains D₁, …, D_n, D, respectively, with if i ∈ j and with D_i ⊂ D, we obtain several results proving the existence of a constanth depending only on H and on the geometry of the curves α_i, α such that the Dirichlet problem for the constant mean curvature H equation: where may accept or not a solution.     

Generalized linear dynamical systems and the classification problem

We consider the classification of generalized linear controllable systems over the field = ℂ or = ℝ under transformations defined by the action of the group GL _n ( ) × GL _n ( ). We review the recent results of Cobb, Helmke, Shayman, Zhou, Hinrichsen, O’Halloran, and others on the geometric structure of the set of orbits C _n,m ( ) of generalized linear controllable systems, which in particular prove smoothness, compactness, and projectivity of C _n,m ( ) and evaluate its dimension. We show that C _n,m ( ) is a natural compactification of the set of orbits of ordinary linear controllable systems ∑ _n,m ( ) and the boundary C _n,m ( ) − ∑ _n,m ( ) consists of the orbits of singular generalized systems. __________ Translated from Nelineinaya Dinamika i Upravlenie, No. 4, pp. 153–166, 2004.     

Asymptotic properties of solutions of semilinear second-order elliptic equations in cylindrical domains

The equations under consideration have the following structure:

Lower semicontinuity of some functionals under PDE constraints: An \mathcal{A}-quasiconvex pair

The problem of establishing necessary and sufficient conditions for l.s.c. under PDE constraints is studied for a special class of functionals: