Modular periodicity of binomial coefficients

We prove that if the signed binomial coefficient viewed modulo p is a periodic function of i with period h in the range 0?i?k, then k+1 is a power of p, provided h is not too large compared to k. (In particular, 2h?k suffices). As an application, we prove that if G and H are multiplicative subgroups of a finite field, with H<G, and such that 1-α∈G for all α∈G?H, then G∪{0} is a subfield.     

Divisors of the number of Latin rectangles

A k×n Latin rectangle on the symbols {1,2,…,n} is called reduced if the first row is (1,2,…,n) and the first column is T(1,2,…,k). Let Rk,n be the number of reduced k×n Latin rectangles and m=⌊n/2⌋. We prove several results giving divisors of Rk,n. For example, (k−1)! divides Rk,n when k?m and m! divides Rk,n when m<k?n. We establish a recurrence which determines the congruence class of for a range of different t. We use this to show that Rk,n≡((−1)^k−1(k−1)!)ⁿ⁻¹. In particular, this means that if n is prime, then Rk,n≡1 for 1?k?n and if n is composite then if and only if k is larger than the greatest prime divisor of n.     

An improved local well-posedness result for the one-dimensional Zakharov system

The 1D Cauchy problem for the Zakharov system is shown to be locally well-posed for low regularity Schrödinger data and wave data under certain assumptions on the parameters k,l and 1<p?2, where , generalizing the results for p=2 by Ginibre, Tsutsumi and Velo. Especially we are able to improve the results from the scaling point of view, and also allow suitable k<0, l<−1/2, i.e. data u₀∉L² and (n₀,n₁)∉H−1/2×H−3/2, which was excluded in the case p=2.     

Finite jet determination of CR mappings

We prove the following finite jet determination result for CR mappings: Given a smooth generic submanifold M⊂CN, N?2, that is essentially finite and of finite type at each of its points, for every point p∈M there exists an integer ?p, depending upper-semicontinuously on p, such that for every smooth generic submanifold M^′⊂CN of the same dimension as M, if are two germs of smooth finite CR mappings with the same ?p jet at p, then necessarily for all positive integers k. In the hypersurface case, this result provides several new unique jet determination properties for holomorphic mappings at the boundary in the real-analytic case; in particular, it provides the finite jet determination of arbitrary real-analytic CR mappings between real-analytic hypersurfaces in CN of D'Angelo finite type. It also yields a new boundary version of H. Cartan's uniqueness theorem: if Ω,Ω^′⊂CN are two bounded domains with smooth real-analytic boundary, then there exists an integer k, depending only on the boundary ∂Ω, such that if are two proper holomorphic mappings extending smoothly up to ∂Ω near some point p∈∂Ω and agreeing up to order k at p, then necessarily H₁=H₂.     

Approximation numbers for the finite sections of Toeplitz operators with piecewise continuous symbols

In this paper we discuss the asymptotic distribution of the approximation numbers of the finite sections for a Toeplitz operator T(a)∈L(?p), 1<p<∞, where a is a piecewise continuous function on the unit circle. We prove that the behavior of the approximation numbers of the finite sections Tn(a)=PnT(a)Pn depends heavily on the Fredholm properties of the operators T(a) and . In particular, if the operators T(a) and are Fredholm on ?p, then the approximation numbers of Tn(a) have the so-called k-splitting property. But, in contrast with the case of continuous symbols, the splitting number k is in general larger than .     

The embeddability ordering of topological spaces

For K a set of topological spaces and X,Y∈K, the notation Xh_⊆Y means that X embeds homeomorphically into Y; and X∼Y means Xh_⊆Yh_⊆X. With , the equivalence relation ∼ on K induces a partial order h_? well-defined on K/∼ as follows: if Xh_⊆Y.For posets (P,P_?) and (Q,Q_?), the notation (P,P_?)?(Q,Q_?) means: there is an injection such that p₀P_?p₁ in P if and only if h(p₀)Q_?h(p₁) in Q. For κ an infinite cardinal, a poset (Q,Q_?) is a κ-universal poset if every poset (P,P_?) with |P|?κ satisfies (P,P_?)?(Q,Q_?).The authors prove two theorems which improve and extend results from the extensive relevant literature.

Theorem 2.2. There is a zero-dimensional Hausdorff space S with|S|=κsuch that(P(S)/∼,h_?)is a κ-universal poset.     

Class numbers of quadratic fields, Hasse invariants of elliptic curves, and the supersingular polynomial

Using the theory of elliptic curves, we show that the class number h(−p) of the field appears in the count of certain factors of the Legendre polynomials , where p is a prime >3 and m has the form (p−e)/k, with k=2,3 or 4 and . As part of the proof we explicitly compute the Hasse invariant of the Hessian curve y²+αxy+y=x³ and find an elementary expression for the supersingular polynomial ss_p(x) whose roots are the supersingular j-invariants of elliptic curves in characteristic p. As a corollary we show that the class number h(−p) also shows up in the factorization of certain Jacobi polynomials.     

Waring's number mod m

Let p be an odd prime and γ(k,pn) be the smallest positive integer s such that every integer is a sum of s kth powers . We establish γ(k,pn)?[k/2]+2 and provided that k is not divisible by (p−1)/2. Next, let t=(p−1)/(p−1,k), and q be any positive integer. We show that if ?(t)?q then γ(k,pn)?c(q)k1/q for some constant c(q). These results generalize results known for the case of prime moduli.

Video abstract

For a video summary of this paper, please visit http://www.youtube.com/watch?v=zpHYhwL1kD0.     

Inequalities for a polynomial and its derivative

Let , 1?μ?n, be a polynomial of degree n such that p(z)≠0 in |z|<k, k>0, then for 0<r?R?k, Dewan, Yadav and Pukhta [K.K. Dewan, R.S. Yadav, M.S. Pukhta, Inequalities for a polynomial and its derivative, Math. Inequal. Appl. 2 (2) (1999) 203-205] proved

     

Extensions for finite Chevalley groups I

Let G be a connected semisimple algebraic group defined and split over the field with p elements, and k be the algebraic closure of . Assume further that G is almost simple and simply connected and let be the finite Chevalley group consisting of -rational points of G where q=p^r for a non-negative integer r. In this paper, formulas are found relating extensions between simple -modules and extensions over G (considered as an algebraic group over k). One of these formulas, which only holds for primes p?3(h−1) (where h is the Coxeter number of G), is then used to show the vanishing of self-extensions between simple -modules except for certain simple modules when r=1 and the underlying root system is of type A₁ or C_n.     

The vanishing order of certain Hecke L-functions of imaginary quadratic fields

Let −D<−4 denote a fundamental discriminant which is either odd or divisible by 8, so that the canonical Hecke character of exists. Let d be a fundamental discriminant prime to D. Let 2k−1 be an odd natural number prime to the class number of . Let χ be the twist of the (2k−1)th power of a canonical Hecke character of by the Kronecker's symbol . It is proved that the vanishing order of the Hecke L-function L(s,χ) at its central point s=k is determined by its root number when , where the constant implied in the symbol ? depends only on k and ?, and is effective for L-functions with root number −1.     

Submersions on open symplectic manifolds

Let M be an open manifold with a symplectic form Ω, and N a manifold with dimN<dimM. We prove that submersions with symplectic fibres satisfy the h-principle. Such submersions define Dirac manifold structures on the given manifold. As an application to this result we show that CPn?CPk−1 admits a submersion into R2(2k−n) with symplectic fibres for n/2<k?n.     

Locally solvable vector fields and Hardy spaces

We characterize the boundary value of homegeneous solutions of planar one-sided locally solvable vector fields with analytic coefficients with the property that the Lp norm of their traces is locally uniformly bounded, 0<p?1. For p≠1/n, , the boundary value must locally belong to the local Hardy space hp(R) of Goldberg while for p=1/n, , the answer calls for a new class of atomic Hardy spaces if the vector field is of infinite type at some boundary point.     

Ono invariants of imaginary quadratic fields with class number three

Let Ed(x) denote the “Euler polynomial” x²+x+(1−d)/4 if and x²−d if . Set Ω(n) to be the number of prime factors (counting multiplicity) of the positive integer n. The Ono invariantOnod of is defined to be except when d=−1,−3 in which case Onod is defined to be 1. Finally, let hd=hk denote the class number of K. In 2002 J. Cohen and J. Sonn conjectured that hd=3⇔Onod=3 and is a prime. They verified that the conjecture is true for p<1.5×¹⁰⁷. Moreover, they proved that the conjecture holds for p>¹⁰¹⁷ assuming the extended Riemann Hypothesis. In this paper, we show that the conjecture holds for p?2.5×¹⁰¹³ by the aid of computer. And using a result of Bach, we also proved that the conjecture holds for p>2.5×¹⁰¹³ assuming the extended Riemann Hypothesis. In conclusion, we proved the conjecture is true assuming the extended Riemann Hypothesis.     

Heat-diffusion maximal operators for Laguerre semigroups with negative parameters

We prove L^p boundedness for the maximal operator of the heat semigroup associated to the Laguerre functions, , when the parameter α is greater than -1. Namely, the maximal operator is of strong type (p,p) if p>1 and , when -1<α<0. If α?0 there is strong type for 1<p?∞. The behavior at the end points is studied in detail.     

Local “superlinearity” and “sublinearity” for the p-Laplacian

We study the existence, nonexistence and multiplicity of positive solutions for a family of problems −Δpu=fλ(x,u), , where Ω is a bounded domain in RN, N>p, and λ>0 is a parameter. The family we consider includes the well-known nonlinearities of Ambrosetti-Brezis-Cerami type in a more general form, namely λa(x)uq+b(x)ur, where 0?q<p−1<r?p^∗−1. Here the coefficient a(x) is assumed to be nonnegative but b(x) is allowed to change sign, even in the critical case. Preliminary results of independent interest include the extension to the p-Laplacian context of the Brezis-Nirenberg result on local minimization in and , a C1,α estimate for equations of the form −Δpu=h(x,u) with h of critical growth, a strong comparison result for the p-Laplacian, and a variational approach to the method of upper-lower solutions for the p-Laplacian.     

Asymptotic behaviour of Verblunsky coefficients

Let , ζh≠ζk, h≠k and |ζj|=1, j=1,…,m, and consider the polynomials orthogonal with respect to , , where μ is a finite positive Borel measure on the unit circle with infinite points in its support, such that the reciprocal of its Szeg? function has an analytic extension beyond |z|<1. In this paper we deduce the asymptotic behaviour of their Verblunsky coefficients. By means of this result, an asymptotic representation for these polynomials inside the unit circle is also obtained.