A uniform coprimality result for some arithmetic functions

Using analytic methods, an asymptotic formula, which holds uniformly for squarefree positive integers d in a suitable range, is obtained for the number of positive integers n ≤ x such that (d,f(n)) = 1, where f is an integer-valued multiplicative function such that f(p) is a polynomial in p for p prime, and where d has no prime divisor from a certain finite exceptional set. Examples of such functions f are Euler's function φ and the divisor functions σ_ν (ν = 1,2,…), which case d is assumed to be odd.     

Representation sets for integral binary quadratic forms over the rationals

Let f be an integral binary form of discriminant d which represents n integrally. Two rational representations (r, s) and (r′, s′), with denominators prime to n, of n by f are called semiequivalent with respect to f if there is a rational automorph of f with determinant 1 and denominator m which takes (r, s) into (r′, s′) where (m, n) = 1 and m contains no factors p of d such that $\text{d}\text{p}{}^2$ is a discriminant. The number of such equivalence classes for a given f and n is sometimes finite. This number is obtained for forms with negative discriminants which have one class in each primitive genus.     

On minima of rational indefinite quadratic forms

Let f(x) be an indefinite quadratic form with real coefficients in n variables with nonzero determinant d. The collection of all values of $\text{v(f) = |d|}{}^{\mathrm{<mtext>?1</mtext><mtext>n</mtext>}}\text{inf}\text{|f(x)|}$, where infimum is taken over x ∈ Zⁿ such that f(x) ≠ 0 (x ≠ 0) is called the spectrum of nonzero minima (spectrum of minima) of such forms. The spectrum is said to be discrete if for every δ > 0, there are only finitely many values of v(f) > δ. It is proved that for rational quadratic forms in n ≥ 3 variables and real quadratic forms in n ≥ 21 variables the spectra of nonzero minima are discrete. Also the spectra of minima of indefinite ternary and quaternary rational quadratic forms are discrete.     

On the order of an automorphism of a smooth hypersurface

In this paper we give an effective criterion as to when a positive integer q is the order of an automorphism of a smooth hypersurface of dimension n and degree d, for every d ≥ 3, n ≥ 2, (n, d) ≠ (2, 4), and gcd(q, d) = gcd(q, d ? 1) = 1. This allows us to give a complete criterion in the case where q = p is a prime number. In particular, we show the following result: If X is a smooth hypersurface of dimension n and degree d admitting an automorphism of prime order p then p < (d ? 1) ⁿ⁺¹; and if p > (d ? 1) ⁿ then X is isomorphic to the Klein hypersurface, n = 2 or n + 2 is prime, and p = Φ _n+2(1 ? d) where Φ _n+2 is the (n+2)-th cyclotomic polynomial. Finally, we provide some applications to intermediate jacobians of Klein hypersurfaces.     

Spinor equivalence of quadratic forms

Let f be an integral quadratic form in three or more variables and g any form in the genus of f. There exist an effectively determinable prime p and a form g′, belonging to the proper spinor genus of g, such that g′ is a p-neighbor of f in the graph of f. Using this, an alternative decision procedure for the spinor equivalence of quadratic forms is given.     

Equivalent conditions for noncentral generalized Laplacianness and independence of matrix quadratic forms

Let Y be an n×p multivariate normal random matrix with general covariance Σ_Y and W be a symmetric matrix. In the present article, the property that a matrix quadratic form Y^′WY is distributed as a difference of two independent (noncentral) Wishart random matrices is called the (noncentral) generalized Laplacianness (GL). Then a set of algebraic results are obtained which will give the necessary and sufficient conditions for the (noncentral) GL of a matrix quadratic form. Further, two extensions of Cochran’s theorem concerning the (noncentral) GL and independence of a family of matrix quadratic forms are developed.     

Degree-uniform lower bound on the weights of polynomials with given sign function

A Boolean function f: {0, 1} ⁿ → {0, 1} is called the sign function of an integer polynomial p of degree d in n variables if it is true that f(x) = 1 if and only if p(x) > 0. In this case the polynomial p is called a threshold gate of degree d for the function f. The weight of the threshold gate is the sum of the absolute values of the coefficients of p. For any n and d ≤ D ≤ $\frac{{\varepsilon n^{1/5} }} {{\log n}} $\frac{{\varepsilon n^{1/5} }} {{\log n}} we construct a function f such that there is a threshold gate of degree d for f, but any threshold gate for f of degree at most D has weight 2^{(dn)d /D4d} 2^{(\delta n)^d /D^{4d} } , where ɛ > 0 and δ > 0 are some constants. In particular, if D is constant, then any threshold gate of degree D for our function has weight 2^{W(nd )}2^{\Omega (n^d )} . Previously, functions with these properties have been known only for d = 1 (and arbitrary D) and for D = d. For constant d our functions are computable by polynomial size DNFs. The best previous lower bound on the weights of threshold gates for such functions was 2^Ω(n). Our results can also be translated to the case of functions f: {−1, 1} ⁿ → {−1, 1}.     

Uniqueness results for the one-dimensional p-Laplacian

This paper is concerned with positive solutions of the boundary value problem ^′(|y^′|^p−2y^′)+f(y)=0, y(−b)=0=y(b) where p>1, b is a positive parameter. Assume that f is continuous on (0,+∞), changes sign from nonpositive to positive, and f(y)/yp−1 is nondecreasing in the interval of f>0. The uniqueness results are proved using a time-mapping analysis.     

The exponential Lebesgue-Nagell equation X 2 + P 2m = Y n

Let p be an odd prime. In this paper, a complete classification of all positive integer solutions (x, y, m, n) of the equation x ²+p ^2m = y ⁿ , gcd(x, y) = 1, n > 2, is given. As a consequence, we solve the equation for certain interesting cases.     

Topological stability through extremely tame retractions

Suppose that F:(Rn×Rd,0)→(Rp×Rd,0) is a smoothly stable, Rd-level preserving germ which unfolds f:(Rn,0)→(Rp,0); then f is smoothly stable if and only if we can find a pair of smooth retractions r:(Rn+d,0)→(Rn,0) and s:(Rp+d,0)→(Rp,0) such that f°r=s°F. Unfortunately, we do not know whether f will be topologically stable if we can find a pair of continuous retractions r and s.The class of extremely tame (E-tame) retractions, introduced by du Plessis and Wall, are defined by their nice geometric properties, which are sufficient to ensure that f is topologically stable.In this article, we present the E-tame retractions and their relation with topological stability, survey recent results by the author concerning their construction, and illustrate the use of our techniques by constructing E-tame retractions for certain germs belonging to the E- and Z-series of singularities.     

Zeros of p-adic forms

We show that all p-adic quintic forms in at least n>4562911 variables have a non-trivial zero. We also derive a new result concerning systems of cubic and quadratic forms.     

Asymptotic estimates of sums involving the Moebius function

Let p(n) denote the smallest prime factor of an integer n>1 and let p(1)=∞. We study the asymptotic behavior of the sum M(x,y)=Σ_{1≤n≤x,p(n)>y}μ(n) and use this to estimate the size of A(x)=max_|f|≤1|Σ_2≤n<xμ(n)f(p(n))|, where μ(n) is the Moebius function. Applications of bounds for A(x), M(x,y) and similar quantities are discussed.     

On the distribution of values of certain divisor functions

Let {?_d} be a sequence of nonnegative numbers and f(n) = Σ?_d, the sum being over divisors d of n. We say that f has the distribution function F if for all c ≥ 0, the number of integers n ≤ x for which f(n) > c is asymptotic to xF(c), and we investigate when F exists and when it is continuous.     

Schatten class membership of Hankel operators on the unit sphere

Let H²(S) be the Hardy space on the unit sphere S in Cn, n?2. Consider the Hankel operator Hf=(1−P)Mf|H²(S), where the symbol function f is allowed to be arbitrary in L²(S,dσ). We show that for p>2n, Hf is in the Schatten class Cp if and only if f−Pf belongs to the Besov space Bp. To be more precise, the “if” part of this statement is easy. The main result of the paper is the “only if” part. We also show that the membership Hf∈C2n implies f−Pf=0, i.e., Hf=0.     

A Prime Sensitive Hankel Determinant of Jacobi Symbol Enumerators

We show that the determinant of a Hankel matrix of odd dimension n whose entries are the enumerators of the Jacobi symbols which depend on the row and the column indices vanishes if and only if n is composite. If the dimension is a prime p, then the determinant evaluates to a polynomial of degree p − 1 which is the product of a power of p and the generating polynomial of the partial sums of Legendre symbols. The sign of the determinant is determined by the quadratic character of −1 modulo p. The proof of the evaluation makes use of elementary properties of Legendre symbols, quadratic Gauss sums, and orthogonality of trigonometric functions.     

Exact number of positive solutions for semipositone problems

This paper is concerned with the exact number of positive solutions for the boundary value problem ^′(|y^′|^p−2y^′)+λf(y)=0 and y(−1)=y(1)=0, where p>1 and λ>0 is a positive parameter. We consider the case in which both f(u) and g(u)=(p−1)f(u)−uf^′(u) change sign exactly once from negative to positive on (0,∞).     

Computing the number of ways of representing primes by a norm form

Formulae for the number of different integral solutions ofa ²+b²+c²+d²+ac+bd=p are given wherep is a prime and the solution satisfies certain natural congruence conditions. Similar formulae are given for the case of the quadratic forma ²+b²+2c²+2d²+ac+bd.     

Exact multiplicity results for a class of two-point boundary value problems

This paper is concerned with the exact number of positive solutions for boundary value problems ^′(|y^′|^p−2y^′)+λf(y)=0 and y(−1)=y(1)=0, where p>1 and λ>0 is a positive parameter. We consider the case in which the nonlinearity f is positive on (0,∞) and (p−1)f(u)−uf^′(u) changes sign from negative to positive.     

A new characterization of alternating and symmetric groups

In this paper we prove that the alternating groupsA _n , forn=p, p+1, p+2 and symmetric groupsS _n , forn=p, p+1, wherep>=3 is a prime number, can be uniquely determined by their order components. As one of the important consequence of this characterization we show that the simple groupsA _n , wheren=p, p+1, p+2 andp>=3 is prime, satisfy in Thompson's conjecture and Shi's conjecture.     

Restricted Representations of Lie Superalgebras of Hamiltonian Type

Let F be an algebraically closed field of prime characteristic p?>?2, H(n) the Hamiltonian Lie superalgebra over F. The simple restricted H(n)-modules are studied and classified. Furthermore, a sufficient and necessary condition is provided for restricted Kac modules to be simple.