Extensions of the D(?k2)-triples {k2, k2 ± 1, 4k2 ± 1}

Let n be a nonzero integer. A set of m distinct positive integers is called a D(n)-m-tuple if the product of any two of them increased by n is a perfect square. Let k be a positive integer. In this paper, we show that if {k ², k ² + 1, 4k ² + 1, d} is a D(−k ²)-quadruple, then d = 1, and that if {k ² − 1, k ², 4k ² − 1, d} is a D(k ²)-quadruple, then d = 8k ²(2k ² − 1).     

The classical 1-system of Q?(7, q) and two-character sets

We will show that associated with the classical 1-system of the elliptic quadric Q ⁻(7, q) are certain infinite families of two-character sets with respect to hyperplanes, and partial ovoids of Q ⁺(15, q).     

Quasirecognition by prime graph of F4(q) where q?=?2n?>?2

The prime graph of a finite group G is denoted by Γ(G). In this paper as the main result, we show that if G is a finite group such that Γ(G) = Γ(F ₄(q)), where q = 2 ⁿ  > 2, then G has a unique nonabelian composition factor isomorphic to F ₄(q). We also show that if G is a finite group satisfying |G| = |F ₄(q)| and Γ(G) = Γ(F ₄(q)), where q = 2 ⁿ  > 2, then G @ F₄(q){G \cong F_4(q)}. As a consequence of our result we give a new proof for a conjecture of Shi and Bi for F ₄(q) where q = 2 ⁿ  > 2.     

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

Complete ( q 2?+ q +?8)/2-caps in the spaces PG (3, q ), q ≡ 2 (mod 3) an odd prime, and a complete 20-cap in PG (3, 5)

An infinite family of complete (q ² + q + 8)/2-caps is constructed in PG(3, q) where q is an odd prime ≡ 2 (mod 3), q ≥ 11. This yields a new lower bound on the second largest size of complete caps. A variant of our construction also produces one of the two previously known complete 20-caps in PG(3, 5). The associated code weight distribution and other combinatorial properties of the new (q ² + q + 8)/2-caps and the 20-cap in PG(3, 5) are investigated. The updated table of the known sizes of the complete caps in PG(3, q) is given. As a byproduct, we have found that the unique complete 14-arc in PG(2, 17) contains 10 points on a conic. Actually, this shows that an earlier general result dating back to the Seventies fails for q = 17.      

Linearizability of d-webs, d?≥?4, on two-dimensional manifolds

We find d – 2 relative differential invariants for a d-web, d 4, on a two-dimensional manifold and prove that their vanishing is necessary and sufficient for a d-web to be linearizable. If one writes the above invariants in terms of web functions f(x, y) and g₄(x, y),..., g_d(x, y), then necessary and sufficient conditions for the linearizabilty of a d-web are two PDEs of the fourth order with respect to f and g₄, and d – 4 PDEs of the second order with respect to f and g₄,..., g_d. For d = 4, this result confirms Blaschkes conjecture on the nature of conditions for the linearizabilty of a 4-web. We also give the Mathematica codes for testing 4- and d-webs (d > 4) for linearizability and examples of their usage.     

Surfaces with pg?=?q?=?1, K2?=?8 and nonbirational bicanonical map

We prove that if the bicanonical map of a minimal surface of general type S with p _g  = q = 1 and K_S²=8{K_{S}^2=8} is nonbirational, then it is a double cover onto a rational surface. An application of this theorem is the complete classification of minimal surfaces of general type with p_g=q=1, K_S²=8{p_{g}=q=1, K_{S}^2=8} and nonbirational bicanonical map.     

Involutions on surfaces with pg?=?q?=?0 and K2?=?3

We study surfaces of general type S with p _g  = 0 and K ² = 3 having an involution i such that the bicanonical map of S is not composed with i. It is shown that, if S/i is not rational, then S/i is birational to an Enriques surface or it has Kodaira dimension 1 and the possibilities for the ramification divisor of the covering map S → S/i are described. We also show that these two cases do occur, providing an example. In this example S has a hyperelliptic fibration of genus 3 and the bicanonical map of S is of degree 2 onto a rational surface.     

Carmichael numbers with a totient of the form a2?+?nb2

Let φ be the Euler function. Fix , and let be an arbitrary set of primes of positive lower natural density. Using a variant of the Alford–Granville–Pomerance construction, we show that there are infinitely many Carmichael numbers N with a totient of the form , where and is a nonempty product of primes from the set . In particular, for any fixed natural number n, there are infinitely many Carmichael numbers N such that φ(N) = a ² + nb ² for some positive integers a and b.     

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.     

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.     

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.     

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.     

半量子群U≥0

设U^≥0表示一个固定单李代数的半量子群,给出了U^≥0的性质和表示. 证明了Hopf代数U^≥0不是拟余交换的,因此左U^≥0模范畴不是辫子monoidal范畴. 在权模范畴W中,给出了所有单对象和投射对象. 最后描述了所有单的Yetter-Drinfel'd U^≥0权模.     

关于f+a(f(k))n值分布的一个注记

本文研究亚纯函数的值分布问题.利用值分布理论,获得了一个带精简密指量的模分布的不等式,改进了Xu和Yang等人的结果.     

Isoperimetric regions in spherical cones and Yamabe constants of M ×?S1

We study isoperimetric regions on Riemannian manifolds of the form (M ⁿ × (0, π), sin²(t)g + dt ²) where g is a metric of positive Ricci curvature ≥ n − 1. When g is an Einstein metric we use this to compute the Yamabe constant of (M ×\mathbbR, g+ dt² ){(M \times \mathbb{R}, g+ dt^2 )} and so to obtain lower bounds for the Yamabe invariant of M × S ¹.     

Sum of sequence spaces and matrix transformations mapping in s α 0 ((Δ ? λ I ) h ) + s β ( c ) ((Δ ? μ I ) l )

We deal with the sum of sequence spaces. Then we apply these results to characterize matrix transformations mapping between s ^h,l (λ, μ) = s _α ⁰((Δ − λI) ^h ) + s _β ^(c)((Δ − μI) ^l ) and s _γ . Among other things the aim of this paper is to reduce the set (s ^h,l (λ, μ), s _γ to a set of the form S _τ,γ .      

KO?i groups of G3(?n), n odd

We use the work of Karoubi and Mudrinski on the real Grothendieck's groups of certain complex projective bundles to show that the torsion of the KO ^–i groups of G ₃( ⁿ ), n odd, are related to the known torsion of the KO ^–i groups of G₂( ⁿ ).     

Weyl’s theorem for algebraically wF(p, r, q) operators with p, r?>?0 and q?≥?1

If T (or T*) is an algebraically wF(p, r, q) operator with p, r > 0 and q ≥ 1 acting in an infinite-dimensional separable Hilbert space, then we prove that Weyl’s theorem holds for f(T) for any f ∈ Hol(σ(T)), where Hol(σ(T)) is the set of all analytic functions in an open neighborhood of σ(T). Moreover, if T* is a wF(p, r, q) operator with p, r > 0 and q ≥ 1, then the a-Weyl’s theorem holds for f(T). In addition, if T (or T*) is an algebraically wF(p, r, q) operator with p, r > 0 and q ≥ 1, then we establish the spectral mapping theorems for the Weyl spectrum and for the essential approximate point spectrum of T for any f ∈ Hol(σ(T)), respectively. Finally, we examine the stability of Weyl’s theorem and the a-Weyl’s theorem under commutative perturbations by finite-rank operators.     

Projective line over the finite quotient ring GF(2)[x]/〈x3 ? x〉 and quantum entanglement: Theoretical background

We consider the projective line over the finite quotient ring R_⋄ ≡ GF(2)[x]/〈x ³ − x〉. The line is endowed with 18 points, spanning the neighborhoods of three pairwise distant points. Because R_⋄ is not a local ring, the neighbor (or parallel) relation is not an equivalence relation, and the sets of neighbors for two distant points hence overlap. There are nine neighbors of any point on the line, forming three disjoint families under the reduction modulo either of the two maximal ideals of the ring. Two of the families contain four points each, and they swap their roles when switching from one ideal to the other, the points in one family merging with (the image of) the point in question and the points in the other family passing in pairs into the remaining two points of the associated ordinary projective line of order two. The single point in the remaining family passes to the reference point under both maps, and its existence stems from a nontrivial character of the Jacobson radical of the ring. The quotient ring is isomorphic to GF(2) ⊗ GF(2). The projective line over features nine points, each of them surrounded by four neighbors and four distant points, and any two distant points share two neighbors. We surmise that these remarkable ring geometries are relevant for modeling entangled qubit states, which we will discuss in detail in Part II of this paper. __________ Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 151, No. 1, pp. 44–53, April, 2007.