Embedding into l ∞2 Is Easy, Embedding into l ∞3 Is?NP-Complete

We give a new algorithm for enumerating all possible embeddings of a metric space (i.e., the distances between every pair within a set of n points) into ℝ² Cartesian space preserving their l _∞ (or l ₁) metric distances. Its expected time is (i.e., within a poly-log of the size of the input) beating the previous algorithm. In contrast, we prove that detecting l _∞³ embeddings is NP-complete. The problem is also NP-complete within l ₁² or l _∞² with the added constraint that the locations of two of the points are given or alternatively that the two dimensions are curved into a three-dimensional sphere. We also refute a compaction theorem by giving a metric space that cannot be embedded in l _∞³; however, it can be embedded if any single point is removed. This research is partially supported by NSERC grants. I would like to thank Steven Watson for his extensive help on this paper.     

On the subspace L((x ∧ y)m) of Sm(∧2?4)

We take the exterior power ℝ⁴ ∧ ℝ⁴ of the space ℝ⁴, its mth symmetric power V = S ^m (∧²ℝ⁴) = (ℝ⁴ ∧ ℝ⁴) ∨ (ℝ⁴ ∧ ℝ⁴) ∨ ... ∨(ℝ⁴ ∧ ℝ⁴), and put V ₀ = L((x ∧ y)∨ ... ∨(x ∧ y): x, y ∈ ℝ⁴). We find the dimension of V ₀ and an algorithm for distinguishing a basis for V ₀ efficiently. This problem arose in vector tomography for the purpose of reconstructing the solenoidal part of a symmetric tensor field. Original Russian Text Copyright ? 2009 Gubarev V. Yu. The author was supported by the State Maintenance Program for the Leading Scientific Schools of the Russian Federation (Grant NSh-344.2008.1). __________ Novosibirsk. Translated from Sibirskiĭ Matematicheskiĭ Zhurnal, Vol. 50, No. 3, pp. 503–514, May–June, 2009.     

Subexponential ultracontractivity and L p ? L q functional calculus

 We prove that if a symmetric submarkovian semigroup (T _t ) _t>0 satisfies an estimate of the form

Spherical Harmonic Analysis on Buildings of Type ? n

 To any locally finite thick building of type there is naturally associated a commutative algebra of operators. When is constructed from a local field F with local ring , and , then is isomorphic to the convolution algebra of compactly supported bi-K-invariant functions on PGL(n+1,F). We give a proof, valid for any , that the multiplicative functionals on may all be expressed in terms of Hall–Littlewood polynomials. Regarding as a subalgebra of the C ^*-algebra of bounded operators on the space of square summable functions on the vertex set of , we find the spectrum of the C ^*-algebra , the closure of . This generalizes results obtained in [3] when n = 1 and in [5] when n = 2.     

Gaussian Estimates of Order α and L p -Spectral Independence of Generators of C 0-Semigroups

We prove L^p-spectral independence for generators of C₀-semigroups estimated by the positive C₀-semigroup . In the preliminary process of the proof, we obtain the asymptotic expansion formula for the integral kernel of the C₀-semigroup .     

The Rν-generalized solution of a boundary value problem with a singularity belongs to the space W2,ν+β2+κ+1/κ+2 (Ω, δ)

In the present paper, for a boundary value problem with noncoordinated degeneration of the data and a singularity in the solution, we show that the R _ν -generalized solution belongs to the weighted space W _2,ν+gb ^2+κ+1/κ+2 (Ω, δ)(κ > 0). Original Russian Text ? V.A. Rukavishnikov, E.V. Kuznetsova, 2009, published in Differentsial’nye Uravneniya, 2009, Vol. 45, No. 6, pp. 894–898.     

The generalized bisymmetric solutions of the matrix equation A 1 X 1 B 1 + A 2 X 2 B 2 + ? + A l X l B l = C and its optimal approximation

For fixed generalized reflection matrix P, i.e. P ^T  = P, P ² = I, then matrix X is said to be generalized bisymmetric, if X = X ^T  = PXP. In this paper, an iterative method is constructed to find the generalized bisymmetric solutions of the matrix equation A ₁ X ₁ B ₁ + A ₂ X ₂ B ₂ + ⋯ + A _l X _l B _l  = C where [X ₁,X ₂, ⋯ ,X _l ] is real matrices group. By this iterative method, the solvability of the matrix equation can be judged automatically. When the matrix equation is consistent, for any initial generalized bisymmetric matrix group , a generalized bisymmetric solution group can be obtained within finite iteration steps in the absence of roundoff errors, and the least norm generalized bisymmetric solution group can be obtained by choosing a special kind of initial generalized bisymmetric matrix group. In addition, the optimal approximation generalized bisymmetric solution group to a given generalized bisymmetric matrix group in Frobenius norm can be obtained by finding the least norm generalized bisymmetric solution group of the new matrix equation , where . Given numerical examples show that the algorithm is efficient. Research supported by: (1) the National Natural Science Foundation of China (10571047) and (10771058), (2) Natural Science Foundation of Hunan Province (06JJ2053), (3) Scientific Research Fund of Hunan Provincial Education Department(06A017).     

关于一类弱Berwald的(α,β)-度量

本文研究了一类重要的形如F=α +εβ +β arctan(β/α) (ε为常数)的弱Berwald (α, β)-度量.利用S-曲率公式,获得了这类度量为弱Berwald度量的充要条件.并且还证明了F为具有标量旗曲率的弱Berwald度量当且仅当它们为Berwald度量且旗曲率消失.     

Small solutions of the congruencea1x12 +a2x22 +a3x32 +a4x42 ≡c(modp)

For any integersa ₁,a ₂,a ₃,a ₄ andc witha ₁ a ₂ a ₃ a ₄≢0(modp), this paper shows that there exists a solutionX=(x ₁,x ₂,x ₃,x ₄) ∈Z ⁴ of the congruencea ₁ x ₁ ² +a ₂ x ₂ ² +a ₃ x ₃ ² +a ₄ x ₄ ² ≡c(modp) such that

The inclusion of the Schur algebra in B(?2) is not inverse-closed

The Schur algebra is the algebra of operators which are bounded on ℓ ¹ and on ℓ ^∞. In this note, we exhibit an element of the group algebra of the free group with two generators, which, as a convolution operator, is invertible in ℓ ², and whose inverse is not bounded on ℓ ¹ nor on ℓ ^∞. In particular, this shows that the Schur algebra is not inverse-closed.     

Hα∞到Hβ∞复合算子的线性组合

设B是N维复空间C^N中的开单位球,φ_i为B上的解析自映射,H_α^∞表示定义在单位球上的加权解析函数空间.本文主要研究的是从空间H_α^∞到H_β^∞上的复合算子线性组合■的紧致性,其中λ_i(i=1,2,…,M)是非零常数.另外,根据紧致性等价条件,得出算子差分对(C_φ1-C_φ2)-(C_φ3-C_φ1)是紧致的当且仅当C_φ1-C_φ2与C_φ3-C_φ1都是紧致的算子.     

Optimality Conditions and Duality for?Nondifferentiable Multiobjective Fractional Programming Problems with?(C,α,ρ,d)-convexity

The purpose of this paper is to consider a class of nondifferentiable multiobjective fractional programming problems in which every component of the objective function contains a term involving the support function of a compact convex set. Based on the (C,α,ρ,d)-convexity, sufficient optimality conditions and duality results for weakly efficient solutions of the nondifferentiable multiobjective fractional programming problem are established. The results extend and improve the corresponding results in the literature.     

(α,β)-γ开集与(α,β)-γ-Ti空间

本文首先给出(α,β)-γ开集定义,获得了(α,β)-γ开集性质;然后引入了(α,β)-γ-T_i空间和(α,β)-γ-T_i^*空间概念(i=0,1/2,1,2,5/2),并得到它们更广泛的拓扑性质.     

探究6465+6564是素数还是合数?

在一本初等数论的书上,我看到这样一个问题:判断6465+6564是素数还是合数?可以想象这是一个很大的数,需要比较巧的方法才能判定.书上是这样解答的:根据费马小定理,如果a和p互素,p是素数,则ap-1≡1(mod p).     

泛系分析：数学.方法论.相对论.辩证思维

基于对广义系统、泛导、泛对称、泛箱原理、泛系相对性提出了新的分析模式与新的相对数学化的简化强化的定义，发展了泛系方法论与泛系相对论的框架与理法，具体内容涉及相对普适的数学化的泛系，200类对偶，对偶转化，泛对称转化，泛系辩证，八畴方法，泛系数学方法，广义量化，逼近转化原则，泛等价定理，供求分析，思维实验，广义灰色系统，等等     

二元三次样条空间S31,2(Δmn(2)) 的样条拟插值

本文首先利用由两组具有局部最小支集的样条所组成的基函数,构造非均匀2 型三角剖分上二元三次样条空间S₃^1,2(Δ_mn⁽²⁾)的若干样条拟插值算子. 这些变差缩减算子由样条函数B_ij¹支集上5 个网格点或中心和样条函数B_ij²支集上5 个网格点处函数值定义. 这些样条拟插值算子具有较好的逼近性,甚至算子V_mn（f） 能保持近最优的三次多项式性. 然后利用连续模,分析样条拟插值算子V_mn（f）一致逼近于充分光滑的实函数. 最后推导误差估计.     

On Minimal Projections in l∞(n)

 In this paper we present an estimate of the relative projection constant for a particular class of subspaces of of codimension two. In some cases the exact value of will be calculated. Also Theorem 2.5 from [11] will be generalized.     

一类α次殆β型螺形映照的偏差上界估计

本文研究了复向量空间Cn中开单位球Bn,复Banach空间中单位球B和域?p1,···,pn上一类α次殆β型螺形映照的偏差估计问题.利用不等式、矩阵及α次殆β型螺形映照的增长定理等方法,获得了上述域上的一类α次殆β型螺形映照的偏差上界估计,所得结果推广了一些已知的结论.     

Asymptotic stability for the Navier–Stokes equations in L n

Considering the Navier–Stokes equations in W ì \mathbbRⁿ\Omega \subset {\mathbb{R}}^n, we prove the asymptotic stability for weak solutions in the marginal class u ∈ C _B (0, ∞; L ⁿ ) with arbitrary initial and external perturbations.     

On the Diophantine Equation G n ( x )?= G m ( P ( x ))

 Let K be a field of characteristic 0 and let p, q, G ₀ , G ₁ , P ∈K[x], deg P ⩾ 1. Further, let the sequence of polynomials (G _n (x)) _n=0 ^∞ be defined by the second order linear recurring sequence