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 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).     

On the existence of Hadamard matrices

Given any natural number q > 3 we show there exists an integer t ? [2log₂(q ? 3)] such that an Hadamard matrix exists for every order 2^sq where s > t. The Hadamard conjecture is that s = 2.This means that for each q there is a finite number of orders 2^υq for which an Hadamard matrix is not known. This is the first time such a statement could be made for arbitrary q.In particular it is already known that an Hadamard matrix exists for each 2^sq where if q = 2^m ? 1 then s ? m, if q = 2^m + 3 (a prime power) then s ? m, if q = 2^m + 1 (a prime power) then s ? m + 1.It is also shown that all orthogonal designs of types (a, b, m ? a ? b) and (a, b), 0 ? a + b ? m, exist in orders m = 2^t and 2^t+2 · 3, t ? 1 a positive integer.     

Plancherel Formula for Berezin Deformation of L on Riemannian Symmetric Space

Consider natural representations of the pseudounitary group U(p, q) in the space of holomorphic functions on the Cartan domain (Hermitian symmetric space) U(p, q)/(U(p)×U(q)). Berezin representations of O(p, q) are the restrictions of such representations to the subgroup O(p, q). We obtain the explicit Plancherel formula for the Berezin representations. The support of the Plancherel measure is a union of many series of representations. The density of the Plancherel measure on each piece of the support is an explicit product of Γ-functions. We also show that the Berezin representations give an interpolation between L² on noncompact symmetric space O(p, q)/O(p)×O(q) and L² on compact symmetric space O(p+q)/O(p)×O(q).     

Heilbronn's conjecture on Waring's number (mod p)

Let p be a prime k|p−1, t=(p−1)/k and γ(k,p) be the minimal value of s such that every number is a sum of s kth powers . We prove Heilbronn's conjecture that γ(k,p)?k1/2 for t>2. More generally we show that for any positive integer q, γ(k,p)?C(q)k1/q for ?(t)?q. A comparable lower bound is also given. We also establish exact values for γ(k,p) when ?(t)=2. For instance, when t=3, γ(k,p)=a+b−1 where a>b>0 are the unique integers with a²+b²+ab=p, and when t=4, γ(k,p)=a−1 where a>b>0 are the unique integers with a²+b²=p.     

Classification of p-adic 6-dimensional filiform Leibniz algebras by solutions of x q = a

We study the p-adic equation x ^q = a over the field of p-adic numbers. We construct an algorithm which gives a solvability criteria in the case of q = p ^m and present a computer program to compute the criteria for any fixed value of m ≤ p ? 1. Moreover, using this solvability criteria for q = 2; 3; 4; 5; 6, we classify p-adic 6-dimensional filiform Leibniz algebras.     

On an extension of a theorem on conjugacy class sizes

Let G be a finite group. We extend Alan Camina’s theorem on conjugacy classes sizes which asserts that if the conjugacy classes sizes of G are {1, p ^a , q ^b , p ^a q ^b }, where p and q are two distinct primes and a and b are integers, then G is nilpotent. We show that let G be a group and assume that the conjugacy classes sizes of elements of primary and biprimary orders of G are exactly {1, p ^a , n,p ^a n} with (p, n) = 1, where p is a prime and a and n are positive integers. If there is a p-element in G whose index is precisely p ^a , then G is nilpotent and n = q ^b for some prime q ≠ p.     

Zeta function of the projective curveaY 21 =bX 21 +cZ 21 over a class of finite fields, for odd primesl

Letp andl be rational primes such thatl is odd and the order ofp modulol is even. For such primesp andl, and fore = l, 2l, we consider the non-singular projective curvesaY ²¹ =bX ²¹ +cZ ²¹ defined over finite fields F_q such thatq = p ^α? l(mode).We see that the Fermat curves correspond precisely to those curves among each class (fore = l, 2l), that are maximal or minimal over F_q. We observe that each Fermat prime gives rise to explicit maximal and minimal curves over finite fields of characteristic 2. Fore = 2l, we explicitly determine the ζ -function(s) for this class of curves, over F_q, as rational functions in the variablet, for distinct cases ofa, b, andc, in F _q ^* . Theζ-function in each case is seen to satisfy the Weil conjectures (now theorems) for this concrete class of curves. Fore = l, 2l, we determine the class numbers for the function fields associated to each class of curves over F_q. As a consequence, when the field of definition of the curve(s) is fixed, this provides concrete information on the growth of class numbers for constant field extensions of the function field(s) of the curve(s).     

Embeddability of restricted linear spaces

In this note we examine the problem of embedding into finite projective planes finite linear spaces with p points and q lines satisfying (q ? p)² ? p and q ? 2.     

Relative (pa,pb, pa,pa−b-Difference Sets: A Unified Exponent Bound and a Local Ring Construction

We show that for an odd prime p the exponent of an abelian group of order p^a+b containing a relative (p^a, p^b, p^a, p^a−b)-difference set cannot exceed p^⌊a/2⌋+1. Furthermore, we give a new local ring construction of relative (q^2u, q, q^2u, q^2u−1)-difference sets for prime powers q. Finally, we discuss an important open case concerning the existence of abelian relative (p^a, p, p^a, p^a−1)-difference sets.     

Oscillation theorems for second order nonlinear differential equations

Some oscillation criteria are established for certain second order nonlinear differential equations of the form (a(t)ψ(x(t)) x^. (t))^. + p(t) x^. (t) + q(t)f(x(t)) = 0. These criteria improve upon some of the known results by Kura, Kamenev and Philos.     

Oscillation theorems for second-order nonlinear differential equations with damped term

Several oscillation criteria are given for the second-order damped nonlinear differential equation (a(t)[y′(t)]^σ′i +p(t)[y′(t)]^σ +q(t)f(y(t)) = 0, where σ > 0 is any quotient of odd integers, a ϵ C(R, (0, ∞)), p(t) and q(t) are allowed to change sign on [t_o, ∞), and f ϵ Cl (R, R) such that xf (x) > 0 for x≠0. Our results improve and extend some known oscillation criteria. Examples are inserted to illustrate our results.     

On the generators of subgroups of unit groups of group rings

In this paper we find the generators of a subgroup of finite index in the unit group of the integral group ring of the metacyclic group of orderpq given byG=(a,x:a ^p=1=x ^q ,xax ⁻¹=a ^f ), wherep is an odd prime,q>2 a divisor ofp-1, andf belongs to the exponentq modulop.     

Equalities on the number of conjugacy classes of the Sylow p-subgroups of GL(n,q)

We denote by Gn the group of the upper unitriangular matrices over F_q, the finite field with q = p^t elements, and r(G_n) the number of conjugacy classes of G_n. In this paper, we obtain the value of r(G_n) modulo (q² -1)(q -1). We prove the following equalities     

Some results about the cross-correlation function between two maximal linear sequences

Let {a₁} and {a_d1} be two maximal linear sequences of period pⁿ ? 1. The cross-correlation function is defined by C_d(t) =

for t = 0, t…pⁿ ? 2, where $\text{ζ = exp(2π}\text{1}\text{p}\text{)}$. We find some new general results about C_d(t). We also determine the values and the number of occurences of each value of C_d(t) for several new values of d.     

Extension of a theorem of Cauchy and Jacobi

Let q and p be prime with q = a² + b² ≡ 1 (mod 4), a ≡ 1 (mod 4), and p = qf + 1. In the nineteenth century Cauchy (Mém. Inst. France17 (1840), 249–768) and Jacobi (J. für Math.30 (1846), 166–182) generalized the work of earlier authors, who had determined certain binomial coefficients (mod p) (see H. J. S. Smith, “Report on the Theory of Numbers,” Chelsea, 1964), by determining two products of factorials given by Π_kkf! (mod p = qf + 1) where k runs through the quadratic residues and the quadratic non-residues (mod q), respectively. These determinations are given in terms of parameters in representations of p^h or of 4p^h by binary quadratic forms. A remarkable feature of these results is the fact that the exponent h coincides with the class number of the related quadratic field. In this paper C. R. Mathews' (Invent. Math.54 (1979), 23–52) recent explicit evaluation of the quartic Gauss sum is used to determine four products of factorials (mod p = qf + 1, q ≡ 5 (mod 8) > 5), given by Π_kkf! where k runs through the quartic residues (mod q) and the three cosets which may be formed with respect to this subgroup. These determinations appear to be considerably more difficult. They are given in terms of parameters in representations of 16p^h by quaternary quadratic forms. Stickelberger's theorem is required to determine the exponent h which is shown to be closely related to the class number of the imaginary quartic field Q(i√2q + 2a√q), q = a² + b² ≡ 5 (mod 8), a odd.     

Hopf bifurcation for functional equations

Using a “concrete” representation for the adjoint, the spectrum of the class of linear transformations T which are bounded on L^p(?∞, ∞), 1 < p < ∞ into itself and which satisfy the functional equation Tt(a) = m(a) t(a), ?∞ < a < ∞, a ≠ 0, where m(a) = 1 or (sgn a) and where (t(a)f)(x) = f(ax), is studied.     

Markov measures and extended zeta functions

In this paper we study a family of representations of the Cuntz algebras O _p where p is a prime. These algebras are built on generators and relations. They are C ^?-algebras and their representations are a part of non-commutative harmonic analysis. Starting with specific generators and relations we pass to an ambient C ^?-algebra, for example in one of the Cuntz-algebras. Our representations are motivated by the study of frequency bands in signal processing: We construct induced measures attached to those representations which turned out to be related to a class of zeta functions. For a particular case those measures give rise to a class of Markov measures and q-Bernoulli polynomials. Our approach is amenable to applications in problems from dynamics and mathematical physics: We introduce a deformation parameter q, and an associated family of q-relations where the number q is a ??quantum-deformation,?? and also a parameter in a scale of (Riemann-Ruelle) zeta functions. Our representations are used in turn in a derivation of formulas for this q-zeta function.     

Extinction and non-extinction for a polytropic filtration equation with a nonlocal source

In this article, the authors establish the conditions for the extinction of solutions, in finite time, of the fast diffusive polytropic filtration equation u _t ?=?div(|?u ^m | ^p?2?u ^m )?+?a∫_Ω u ^q (y,?t)dy with a, q, m?>?0, p?>?1, m(p???1)?R ^N (N?>?2). More precisely speaking, it is shown that if q?>?m(p???1), any non-negative solution with small initial data vanishes in finite time, and if 0?q?m(p???1), there exists a solution which is positive in Ω for all t?>?0. For the critical case q?=?m(p???1), whether the solutions vanish in finite time or not depends on the comparison between a and μ, where μ?=?∫?_Ωφ ^p?1(x)dx and φ is the unique positive solution of the elliptic problem ?div(|?φ| ^p?2?φ)?=?1, x?∈?Ω; φ(x)?=?0, x?∈??Ω.