关于环Fpm+uFpm+u2Fpm上循环码的注记

本文研究了环F_p^m+uF_p^m+u²F_p^m上长度为p^s的循环码分类.通过建立环F_p^m+uF_p^m+u²F_p^m到环F_p^m+uF_p^m的同态,给出了环F_p^m+uF_p^m+u²F_p^m上长度为p^s的循环码的新分类方法.应用这种方法,得到了环F_p^m+uF_p^m+u²F_p^m长度为p^s的循环码的码词数.     

The magid-ryan conjecture for 4-dimensional affine spheres

In this paper we prove the Magid-Ryan conjecture for 4-dimensional affine hyperspheres in R⁵. This conjecture states that every affine hypersphere with non-zero Pick invariant and constant sectional curvature is affinely equivalent with either (x ₁ ² ±x ₂ ² )(x ₃ ² ±x ₄ ² ...(x _2m−1 ² ±x _2m ² ) = 1 or (x ₁ ² ±x ₂ ² (x ₃ ² ±x ₄ ² )...(x _2m−1 ² ±x _2m ² )x _2m+1 = 1 where the dimensionn satisfiesn = 2m orn =2m + 1. This conjecture was proved in [11] in case the metric is positive definite and in [2] in case the metric is Lorentzian.     

On the existence of a field of stress rates in a hardening elastic-plastic medium : PMM vol. 38, n 6, 1974, pp. 1114–1121

The boundary value problem for the stress rates and rates of change fields in the quasi-static motion of a volume V of an elastic-plastic medium [1] consists of finding the pairs σ_ij^., _ij^. related by the governing equations of an appropriate model; here the σ_ij^. should be statically admissible i.e. should satisfy the equations and boundary conditions σ_ij=−X/._i; /.σ_ijn_j|S_p=p_i and _ij should be kinematically admissible i.e. 2/._ij = v_ij + v_ji, where v_i|S_u = u_io Here S_p and S_u are nonintersecting parts of the boundary of the volume V, X_i, p_i, u_i/.o are specified functions. The question of the existence of a solution of this problem reduces to the question of the functional reaching the lower bound in a set of kinematically admissible /._ij^o and statically admissible σ_ij/.^/*. However, its lower bound may not be reached if in the minimization we limit ourselves only to smooth fields. It is proposed to augment the set of admissible fields σ_ij/.^/*,_ij/.^o by closing them in the norm L₂ (for v_i^o this corresponds to closure in the norm II¹). Some properties of the functional I (σ_ij^*,_ij/.) are considered in the augmented set of admissible fields. It is shown that the equivalence of the two problems is conserved, where I (σ_ij^*,_ij⁰ can be minimized in σ_ij^/*,_ij^o or in σ_ij^/*,_ij/.^o, The lower bound is reached in each of three cases, at a single point. From the fact that u_i^o belongs to the Sobolev space W₂⁽¹⁾, there results the absence of surfaces of velocity discontinuity. Variational principles have been used in plasticity theory to construct models [2] and to investigate the existence and properties of solutions [1, 3].     

Partitioned matrices and Seidel convergence

Summary Without using spectral resolution, an elementary proof of convergence of Seidel iteration. The proof is based on the lemma (generalizing a lemma of P. Stein): If (A+A ^*)–B ^*(A+A ^*)B>0, whereB=–(P+L) ^–1 R,A=P+L (Lower)+R (upper), then Seidel iteration ofAX=Y ₀ converges if and only ifA+A ^*>0. This lemma has as corollaries not only the well-known results of E. Reich and Stein, but also applications to a matrix that can be far from symmetric, e.g.M=[A _ij ] ₁ ² , whereA ₂₁=–A ₁₂ ^* ,A ₁₁,A ₂₂ are invertible;A ₁₁ +A ₁₁ ^* =A₂₂+A ₂₂ ^* ; and the proper values ofA ₁₂ ^–1 A ₁₁,A ₁₂ ^*–1 A ₂₂ are in the interior of the unit disk.Supported under NSF GP 32527.Supported under NSF GP 8758.     

On some sets of dictionaries whose ω ‐powers have a given

A dictionary is a set of finite words over some finite alphabet X. The ω ‐power of a dictionary V is the set of infinite words obtained by infinite concatenation of words in V. Lecomte studied in [10] the complexity of the set of dictionaries whose associated ω ‐powers have a given complexity. In particular, he considered the sets ??( Σ ⁰k) (respectively, ??( Π ⁰_k), ??( Δ ¹₁)) of dictionaries V ? 2* whose ω ‐powers are Σ ⁰_k‐sets (respectively, Π ⁰_k‐sets, Borel sets). In this paper we first establish a new relation between the sets ??( Σ ⁰₂) and ??( Δ ¹₁), showing that the set ??( Δ ¹₁) is “more complex” than the set ??( Σ ⁰₂). As an application we improve the lower bound on the complexity of ??( Δ ¹₁) given by Lecomte, showing that ??( Δ ¹₁) is in Σ ¹ ₂(2^2*)\ Π ⁰₂. Then we prove that, for every integer k ≥ 2 (respectively, k ≥ 3), the set of dictionaries ??( Π ⁰_k+1) (respectively, ??( Σ ⁰_{k +1})) is “more complex” than the set of dictionaries ??( Π ⁰_k) (respectively, ??( Σ ⁰_k)) (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

First cohomology group of rank two Witt algebra to its Larsson modules

Let U = ℂ², Γ = ℤ², and let ℂ[x ₁^±1, x ₂^±1] be the ring of Laurent polynomials. The Witt algebra L is the Lie algebra of derivations over ℂ[x ₁^±1, x ₂^±1], which is spanned by elements of the form D(u, r) = x ^r (u ₁ d ₁ + u ₂ d ₂), u = (u ₁, u ₂) ∈ U, r ∈ Γ, where d ₁ and d ₂ are the degree derivations of ℂ[x ₁^±1, x ₂^±1]. The image of gl ₂-module V under Larsson functor F ^α , denoted by W = F ^α (V), gives a class of L-modules, often called the Larsson-modules of L. In this paper, we study the derivations from the Witt algebra L to its Larsson-modules W, and we determine the first cohomology group H ¹(L,W).     

A class of Hamiltonian and edge symmetric Cayley graphs on symmetric groups

Abstract. Let Sn be the symmetric group     

A braidlike presentation of Sp(n,p)

Forn even andp an odd prime a symplectic group Sp(n, p) is a quotient of the Artin braid groupB _n+1. Ifs ₁, …,s _n are standard generators ofB _n+1 then the kernel of the corresponding epimorphism is the normal closure of just four elements:s ₁ ^p ,(s ₁ s ₂)⁶,s ₁ ^(p+1)/2 s ₂ ⁴ s ₁ ^(p−1)/2 s ₂ ⁻² s ₁ ⁻¹ s ₂ ² and (s ₁ s ₂ s ₃)⁴ A ⁻¹ s ₁ ⁻² A, whereA=s ₂ s ₃ ⁻¹ s ₂ ^(p−1)/2 s ₄ s ₃ ² s ₄, all of them lying in the subgroupB ₅. Sp(n, p) acts on a vector space and the image of the subgroupB _n ofB _n+1 in Sp(n, p), denoted Sp(n−1,p), is a stabilizer of one vector. A sequence of inclusions …B _k+1·B _k … induces a sequence of inclusions …Sp(k,p)·Sp(k−1,p)…, which can be used to study some finite-valued invariants of knots and links in the 3-sphere via the Markov theorem. Partially supported by the Technion VPR-Fund.     

Existence of frame SOLS of type ab

An SOLS (self-orthogonal latin square) of order v with n_i missing sub-SOLS (holes) of order h_i (1ik), which are disjoint and spanning (i.e. ∑_i=1^k n_ih_i=v), is called a frame SOLS and denoted by FSOLS(h₁^n₁h₂^n₂ h_k^n_k). It has been proved that for b2 and n odd, an FSOLS(aⁿb¹) exists if and only if n4 and n1+2b/a. In this paper, we show the existence of FSOLS(aⁿb¹) for n even and FSOLS(aⁿ1¹) for n odd.     

G-convergence and the weak operator topology

We show that a bounded sequence (a_n)_n of symmetric d × d-matrix valued functions is G-convergent if and only if ((ι^∗︁a_nι)⁻¹ )_n converges in the weak operator topology. Here ι: R(grad₀) ↪ L²(Ω)^d denotes the (canonical) embedding from the range of the weak gradient grad₀ defined on H¹₀(Ω) into L²(Ω)_d, where Ω ⊆ ℝ^d is open and bounded. (© 2016 Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim)     

SOME EULER SPACES OF DIFFERENCE SEQUENCES OF ORDER m

Kizmaz [13] studied the difference sequence spaces e∞(△), c(△), and c0(△).Several article dealt with the sets of sequences of m-th order difference of which are bounded, convergent, or convergent to zero. Altay and Basar [5] and Altay, Basar, and Mursaleen [7] introduced the Euler sequence spaces eτ0, eτ0, andeτ∞, respectively. The main purpose of this article is to introduce the spaces eτ0(△(m)), eτc(△(m)), and eτ∞(△(m)) consisting of all sequences whose mth order differences are in the Euler spaces eτ0, eτc, and eτ∞, respectively. Moreover, the authors give some topological properties and inclusion relations, and determine the α-, β-, and γ-duals of the spaces eτ0(△(m)), eτc(△(m)), and eτ∞(△(m)), and the Schauder basis of the spaces eτ0(△(m)), eτc(△(m)). The last section of the article is devoted to the characterization of some matrix mappings on the sequence space eτc(△(m)).     

On the Uniqueness of Heat Flow of Harmonic Maps and Hydrodynamic Flow of Nematic Liquid Crystals

For any n-dimensional compact Riemannian manifold (M,g) without boundary and another compact Riemannian manifold (N,h), the authors establish the uniqueness of the heat flow of harmonic maps from M to N in the class C([0,T),W1,n). For the hydrodynamic flow (u,d) of nematic liquid crystals in dimensions n = 2 or 3, it is shown that the uniqueness holds for the class of weak solutions provided either (i) for n = 2, u ∈ Lt∞ L2x∩L2tHx1, ▽P∈ Lt4/3 Lx4/3 , and ▽d∈ L∞t Lx2∩Lt2Hx2; or (ii) for n = 3, u ∈ Lt∞ Lx2∩L2tHx1∩ C([0,T),Ln), P ∈ Ltn/2 Lxn/2 , and ▽d∈ L2tLx2 ∩ C([0,T),Ln). This answers affirmatively the uniqueness question posed by Lin-Lin-Wang. The proofs are very elementary.     

Compensated Compactness, Paracommutators, and Hardy Spaces

LetB₁: ⁿ× ^N₁→ ^m₁,B₂: ⁿ× ^N₂→ ^m₂andQ: ^m₂→ ^m₁be bilinear forms which are related as follows: ifμandνsatisfyB₁(ξ, μ)=0 andB₂(ξ, ν)=0 for someξ≠0, thenμ^τQν=0. Supposep⁻¹+q⁻¹=1. Coifman, Lions, Meyer and Semmes proved that, ifuL^p( ⁿ) andvL^q( ⁿ), and the first order systemsB₁(D, u)=0,B₂(D, v)=0 hold, thenu^τQvbelongs to the Hardy spaceH¹( ⁿ), provided that both (i)p=q=2, and (ii) the ranks of the linear mapsB_j(ξ, ·) : ^N_j→ ^m₁are constant. We apply the theory of paracommutators to show that this result remains valid when only one of the hypotheses (i), (ii) is postulated. The removal of the constant-rank condition whenp=q=2 involves the use of a deep result of Lojasiewicz from singularity theory.     

Kolmogorov Width of Classes of Smooth Functions on the Sphere

Let ^d−1{(x₁,…,x_d) ^d:x²₁+···+x²_d=1} be the unit sphere of the d-dimensional Euclidean space ^d. For r>0, we denote by B^r_p (1p∞) the class of functions f on ^d−1 representable in the formwhere dσ(y) denotes the usual Lebesgue measure on ^d−1, and P^λ_k(t) is the ultraspherical polynomial.For 1p,q∞, the Kolmogorov N-width of B^r_p in L^q( ^d−1) is given bythe left-most infimum being taken over all N-dimensional subspaces X_N of L^q( ^d−1).The main result in this paper is that for r2(d−1)²,where A_NB_N means that there exists a positive constant C, independent of N, such that C⁻¹A_NB_NCA_N.This extends the well-known Kashin theorem on the asymptotic order of the Kolmogorov widths of the Sobolev class of the periodic functions.     

On the integral of mean curvature of a flattened convex body in space forms

Under the assumptions that E _λ ⁿ is an n-dimensional, simply connected Riemannian manifold of constant sectional curvature λ and L _λ ^r is an r-dimensional, totally geodesic submanifold of E _λ ⁿ , the paper investigates the q-th integral of the mean curvature M _q ⁿ of a convex body K ^r in E _λ ⁿ and gives the expression of M _q ⁿ in the terms of M _p ^r , where M _p ^r is the p-th integral of the mean curvature of K ^r > in L _λ ^r . A result of L. A. Santaló [2] holds in particular.     

On semi-fredholm properties of a boundary value problem inR + n

The paper considers a boundary value problem with the help of the smallest closed extensionL ^∼ :H _k →H _{k 0}×B _{h 1}×...×B _{h N} of a linear operatorL :C ₍₀₎ ^∞ (R ₊ ⁿ ) →L(R ₊ ⁿ )×L(R ⁿ⁻¹)×...×L(R ⁿ⁻¹). Here the spacesH _k (the spaces ℬ _h ) are appropriate subspaces ofD′(R ₊ ⁿ ) (ofD′(R ⁿ⁻¹), resp.),L(R ₊ ⁿ ) andC ₍₀₎ ^∞ (R ₊ ⁿ )) denotes the linear space of smooth functionsR ⁿ →C, which are restrictions onR ₊ ⁿ of a function from the Schwartz classL (fromC ₀ ^∞ , resp.),L(R ⁿ⁻¹) is the Schwartz class of functionsR ⁿ⁻¹ →C andL is constructed by pseudo-differential operators. Criteria for the closedness of the rangeR(L ^∼) and for the uniqueness of solutionsL ^∼ U=F are expressed. In addition, ana priori estimate for the corresponding boundary value problem is established.     

On lower bounds for the widths of classes of functions defined by integral moduli of continuity

We establish lower bounds for the Kolmogorov widths d _2n-1(W ^r H ₁^ω.L _p ) and Gel’fand widths d ^2n-1(W ^r H ₁^ω.L _p ) of the classes of functions W ^r H ₁^ω with a convex integral modulus of continuity ω(t).     

Van Geemen's families of lines on special quintic threefolds

We study the families of lines on the quintic threefolds of the pencilx ₀ ⁵ +x ₁ ⁵ +x ₂ ⁵ +x ₃ ⁵ +x ₄ ⁵ -5tx ₀ x ₁ x ₂ x ₃ x ₄=0. We show that on the generic threefold of the pencil there exists a 1-dimensional family of lines that is not a cone. Partially supported by funds M.P.I.     

Smoothk-gonal curves with another fixed pencil

Let X be a smooth curve of genus g with two pencils, sayg _k ¹ andg _m ¹ . Here we show that, in general, dim|rg _k ¹ +ug _m ¹ | has the expected dimension and construct examples in which dim |rg _k ¹ +ug _m ¹ | has a prescribed value.