Embedding of baumslag-solitar groups into the generalized Baumslag-Solitar groups

A finitely generated group G that acts on a tree so that all vertex and edge stabilizers are infinite cyclic groups is called a generalized Baumslag-Solitar group or GBS-group. Let p and q be coprime integers other than 0, 1, and ?1. We prove that the Baumslag-Solitar group BS(p, q) embeds into G if and only if the equation x ^?1 y ^p x = y ^q is solvable in G for y ≠ 1; i.e., $\tfrac{p} {q} $ ∈ Δ(G), where Δ is the modular homomorphism.     

On p−q=c and related three term exponential Diophantine equations with prime bases

Using a theorem on linear forms in logarithms, we show that the equation p^x−2^y=p^u−2^v has no solutions (p,x,y,u,v) with x≠u, where p is a positive prime and x,y,u, and v are positive integers, except for four specific cases, or unless p is a Wieferich prime greater than 10¹⁵. More generally, we obtain a similar result for p^x−q^y=p^u−q^v>0 where q is a positive prime, . We solve a question of Edgar showing there is at most one solution (x,y) to p^x−q^y=2^h for positive primes p and q and positive integer h. Finally, we use elementary methods to show that, with a few explicitly listed exceptions, there are at most two solutions (x,y) to |p^x±q^y|=c and at most two solutions (x,y,z) to p^x±q^y±2^z=0, for given positive primes p and q and integer c.     

Rectifiable oscillations of self-adjoint and damped linear differential equations of second-order

Asymptotic and oscillatory behaviours near x=0 of all solutions y=y(x) of self-adjoint linear differential equation (Ppq): ^′(py^′)+qy=0 on (0,T], will be studied, where p=p(x) and q=q(x) satisfy the so-called Hartman-Wintner type condition. We show that the oscillatory behaviour near x=0 of (Ppq) is characterised by the nonintegrability of on (0,T). Moreover, under this condition, we show that the rectifiable (resp. unrectifiable) oscillations near x=0 of (Ppq) are characterised by the integrability (resp. nonintegrability) of on (0,T). Next, some invariant properties of rectifiable oscillations in respect to the Liouville transformation are proved. Also, Sturm?s comparison type theorem for the rectifiable oscillations is stated. Furthermore, previous results are used to establish such kind of oscillations for damped linear second-order differential equation y^″+g(x)y^′+f(x)y=0, and especially, the Bessel type damped linear differential equations are considered. Finally, some open questions are posed for the further study on this subject.     

On the class groups of cyclotomic extensions in presence of a solution to Catalan's equation

Catalan's conjecture states that the equation xp−yq=1 has no other integer solutions but ³²−²³=1. We investigate the consequences of existence of further solutions (with odd prime exponents p,q) upon the relative class group of the pth cyclotomic extension. We thus obtain several new results which merge into the condition

     

Generating pairs for the held groupHe

A groupG is said to be (l, m, n)-generated if it is a quotient group of the triangle groupT(p,q,r)=<x,y,z?x ^p =y ^q =z ^r =xyz=1>. In [15], the question of finding all triples (l, m, n) such that non-abelian finite simple groups are (l, m, n)-generated was posed. In this paper we partially answer this question for the sporadic groupHe. We continue the study of (p, q, r)-generations of the sporadic simple groups, where,p, q, r are distinct primes. The problem is resolved for the Held groupHe.     

Class number one quadratic fields and solvability of some Pellian equations

Consider these two types of positive square-free integers d≠ 1 for which the class number h of the quadratic field Q(√d) is odd: (1) d is prime∈ 1(mod 8), or d=2q where q is prime ≡ 3 (mod 4), or d=qr where q and r are primes such that q≡ 3 (mod 8) and r≡ 7 (mod 8); (2) d is prime ≡ 1 (mod 8), or d=qr where q and r are primes such that q≡r≡ 3 or 7 (mod 8). For d of type (2) (resp. (1)), let Π be the set of all primes (resp. odd primes) p∈N satisfying (d/p) = 1. Also, let δ :=0 (resp. δ :=1) if d≡ 2,3 (mod 4) (resp. d≡ 1 (mod 4)). Then the following are equivalent: (a) h=1; (b) For every p∈П at least one of the two Pellian equations Z ²-dY ² = ±4^δ p is solvable in integers. (c) For every p∈П the Pellian equation W ²-dV ² = 4^δ p ² has a solution (w,v) in integers such that gcd (w,v) divides 2^δ.     

On a comparison theorem

This paper gives a generalization of the Sturm comparison theorem for differential equations (p): y″ = p(t)y, (q): y″ = q(t)y under the assumption that the function p ? q changes its sign exactly once on [a, b] or ∝_t^bp ? q, ∝_a^tp ? q maintain the sign on [a, b]. The results are used for investigating the distributions of zeros of solutions and the derivative of solutions of (p), (q).     

Small point sets of PG(n, q 3) intersecting each k-subspace in 1 mod q points

The main result of this paper is that point sets of PG(n, q ³), q = p ^h , p ≥ 7 prime, of size less than 3(q ^3(n?k) + 1)/2 intersecting each k-space in 1 modulo q points (these are always small minimal blocking sets with respect to k-spaces) are linear blocking sets. As a consequence, we get that minimal blocking sets of PG(n, p ³), p ≥ 7 prime, of size less than 3(p ^3(n?k) + 1)/2 with respect to k-spaces are linear. We also give a classification of small linear blocking sets of PG(n, q ³) which meet every (n ? 2)-space in 1 modulo q points.     

Isometric embed-dings between classical Banach spaces,cubature formulas,and spherical designs

If an isometric embeddingl _p ^m →l _q ⁿ with finitep, q>1 exists, thenp=2 andq is an even integer. Under these conditions such an embedding exists if and only ifn?N(m, q) where $$\left( {\begin{array}{*{20}c} {m + q/2 - 1} \\ {m - 1} \\ \end{array} } \right) \leqslant N(m,q) \leqslant \left( {\begin{array}{*{20}c} {m + q - 1} \\ {m - 1} \\ \end{array} } \right).$$ To construct some concrete embeddings, one can use orbits of orthogonal representations of finite groups. This yields:N(2,q)=q/2+1 (by regular (q+2)-gon),N(3, 4)=6 (by icosahedron),N(3, 6)?11 (by octahedron), etc. Another approach is based on relations between embeddings, Euclidean or spherical designs and cubature formulas. This allows us to sharpen the above lower bound forN(m, q) and obtain a series of concrete values, e.g.N(3, 8)=16 andN(7, 4)=28. In the cases (m, n, q)=(3, 6, 10) and (3, 8, 15) some ε-embeddings with ε ～ 0.03 are constructed by the orbit method. The rigidness of spherical designs in Bannai's sense and a similar property for the embeddings are considered, and a conjecture of [7] is proved for any fixed (m, n, q).     

Mordell-Weil groups and Selmer groups of twin- prime elliptic curves

Let E = Eσ : y2 = x(x + σp)(x + σq) be elliptic curves, where σ = ±1, p and q are primenumbers with p+2 = q. (i) Selmer groups S(2)(E/Q), S(φ)(E/Q), and S(φ)(E/Q) are explicitly determined,e.g. S(2)(E+1/Q)= (Z/2Z)2, (Z/2Z)3, and (Z/2Z)4 when p ≡ 5, 1 (or 3), and 7(mod 8), respectively. (ii)When p ≡ 5 (3, 5 for σ = -1) (mod 8), it is proved that the Mordell-Weil group E(Q) ≌ Z/2Z Z/2Z,symbol, the torsion subgroup E(K)tors for any number field K, etc. are also obtained.     

Lower Bounds for Catalan's Equation

This paper begins with a short historical survey on Catalan's equation, namely x^p-y^q=1, where p andq are prime numbers and x, y are non-zero rational integers. It is conjectured that the only solution is the trivial solution 3²-2³=1. We prove that there is no non-trivial solution with p orq smaller than 30000. The tools to reach such a result are presented. A crucial role is played by a recent estimate of linear forms in two logarithms obtained by Laurent, Mignotte and Nestrenko. The criteria used are also quite recent. We give information on the enormous amount of computation needed for the verification.     

Existence and Nonexistence of Entire Positive Solutions of Semilinear Elliptic Systems

We show that entire positive solutions exist for the semilinear elliptic system Δu = p(x)v^α, Δv = q(x)u^β on R^N, N ≥ 3, for positive α and β, provided that the nonnegative functions p and q are continuous and satisfy appropriate decay conditions at infinity. We also show that entire solutions fail to exist if the functions p and q are of slow decay.     

On the diophantine equation y2 = 4qn + 4q + 1

It is known that a certain class of [n, k] codes over GF(q) is related to the diophantine equation y² = 4qⁿ + 4q + 1 (1). In Parts I and II of this paper, two different, and in a certain sense complementary, methods of approach to (1) are discussed and some results concerning (1) are given as applications. A typical result is that the only solutions to (1) are (y, n) = (5, 1), (7, 2), (11, 3) when q = 3 and (y, n) = (2q + 1, 2) when q = 3^f, f >- 2.     

Equivalent Blocks of Finite General Linear Groups in Non-describing Characteristic

J. Chuang, R. Kessar, and J. Rickard have proved Broué's Abelian defect group conjecture for many symmetric groups. We adapt the ideas of Kessar and Chuang towards finite general linear groups (represented over non-describing characteristic). We then describe Morita equivalences between certain p-blocks of GL_n(q) with defect group C_p^α × C_p^α, as q varies (see Theorem 2). Here p and q are coprime. This generalizes work of S. Koshitani and M. Hyoue, who proved the same result for principal blocks of GL_n(q) when p = 3, α = 1, in a different way.     

Nonlinear biharmonic equations with negative exponents

In this paper, we study global positive C⁴ solutions of the geometrically interesting equation: Δ²u+u−q=0 with q>0 in R³. We will establish several existence and non-existence theorems, including the classification result for q=7 with exactly linear growth condition.     

Widths and optimal sampling in spaces of analytic functions

Let Ω be a finitely-connected planar domain and μ be a positive measure with compact supportE in Ω. LetA _p be the unit ball of the Hardy spaceH ^p. The main result of this paper is that Kolmogorov, Gelfand, and linearn-widths ofA _p inL ^q are comparable in size to each other and to the sampling error ifq≤p. Moreover, ifp=q=2 andE is small enough, then all these quantities are equal.     

Exact bounds for simultaneous approximation of functions of two variables and their derivatives by bilinear splines

We find the exact value of the expression $$\varepsilon ^{(l,q)} {\mathbf{ }}(W^{(r,s)} ){\mathbf{ }}H^{w_1 ,w_2 } (G)) = \sup \{ ||f^{(l,q)} ( \cdot {\mathbf{ }}, \cdot ) - S_{1,1}^{(l,q)} (f;{\mathbf{ }} \cdot {\mathbf{ }}, \cdot )||_{C(G)} :f \in W^{(r,{\mathbf{ }}s)} H^{w_1 ,w_2 } (G)\} ,$$ , where? ^(l,q) (x,y)=? ^1+q ?/?x ^l ?y ^q (l, q=0, 1, 1≤l+q≤2) andS _1,1(f; x, y) is a bilinear spline interpolatingf(x, y) in the nodes of the grid Δ _mn =Δ _m ^x ×Δ _n ^y with Δ _m ^x :x _i =i/m (i=0, ..., m) and Δ _n ^y :y _j =j/n (j=0, ..., n). Here $(W^{(r,s)} ){\mathbf{ }}H^{w_1 ,w_2 } (G)$ is the class of functionsf(x, y) with continuous derivativesf ^(r,s)(x, y) (r, s=0, 1, 1≤r+s≤2) on the squareG=[0, 1]×[0, 1] and with the modulus of continuity satisfying the inequalityω(f ^(r,s);t, τ)≤ω ₁ (t)+ω ₂ (τ), whereω ₁ (τ) andω ₂ (τ) are the given moduli of continuity.     

Concerning a characterisation of Buekenhout-Metz unitals

In [7], for the casesq even andq=3, a characterisation of the Buekenhout-Metz unitals inPG(2,q ²) was given. We complete this characterisation by proving the result forq>3.     

Two-parameter families of quantum symmetry groups

We introduce and study natural two-parameter families of quantum groups motivated on one hand by the liberations of classical orthogonal groups and on the other by quantum isometry groups of the duals of the free groups. Specifically, for each pair (p,q) of non-negative integers we define and investigate quantum groups O⁺(p,q), B⁺(p,q), S⁺(p,q) and H⁺(p,q) corresponding to, respectively, orthogonal groups, bistochastic groups, symmetric groups and hyperoctahedral groups. In the first three cases the new quantum groups turn out to be related to the (dual free products of ) free quantum groups studied earlier. For H⁺(p,q) the situation is different and we show that , where the latter can be viewed as a liberation of the classical isometry group of the p-dimensional torus.     

On solvability of derivative dependent doubly singular boundary value problems

In this paper we establish existence of solutions of singular boundary value problem ?(p(x)y ^′(x))^′=q(x)f(x,y,py′) for 0<x≤b and $\lim_{x\rightarrow0^{+}}p(x)y^{\prime}(x)=0$ , α ₁ y(b)+β ₁ p(b)y ^′(b)=γ ₁ with p(0)=0 and q(x) is allowed to have integrable discontinuity at x=0. So the problem may be doubly singular. Here we consider $\lim_{x\rightarrow0^{+}}\frac{q(x)}{p'(x)}\neq0$ therefore $\lim_{x\rightarrow0^{+}}p(x)y'(x)=0$ does not imply y′(0)=0 unless $\lim_{x\rightarrow0^{+}}f(x,y(x),p(x)y'(x))=0$ .