On some special codes over Fp + uFp + uFp

We define a new map between codes over F_p + uF_p + u²F_p and F_p which is different to that defined in [2]. It is proved that the image of the linear cyclic code over the commutative ring F_p + uF_p + u²F_p with length n under this map is a distance-invariant quasi-cyclic code of index p² with length p²n over F_p. Moreover, it is proved that, if (n, p) = 1, then every code with length p²n over F_p which is the image of a linear (1 − u²)-cyclic code with length n over F_p + uF_p + u²F_p under this map is permutation equivalent to a quasi-cyclic code of index p².     

Isoperimetric type inequalities for harmonic functions

For 0<p<+∞ let hp be the harmonic Hardy space and let bp be the harmonic Bergman space of harmonic functions on the open unit disk U. Given 1?p<+∞, denote by ‖⋅bp_‖ and ‖⋅hp_‖ the norms in the spaces bp and hp, respectively. In this paper, we establish the harmonic hp-analogue of the known isoperimetric type inequality ‖fb2p_‖?‖fhp_‖, where f is an arbitrary holomorphic function in the classical Hardy space Hp. We prove that for arbitrary p>1, every function f∈hp satisfies the inequality

‖fb2p_‖?ap‖fhp_‖,     

Integral complete 4-partite graphs

A graph G is called integral if all the roots of the characteristic polynomial P(G;x) are integers. In the paper the first known integral complete 4-partite graph K_p1,p2,p3,p4, where p₁<p₂<p₃<p₄, is constructed.     

On a conjecture by B. Grünbaum

Denote by p_k(M) or υ_k(M) the number of k-gonal faces or k-valent of the convex 3-polytope M, respectively. Completely solving a problem by B. Grünbaum, the following theorem is proved: Given sequences of nonnegative integers p = (p₃, p₄,…p_m), υ = (υ₃, υ₄,…,υ_n) satisfying ∑_k?3(6−k)p_k + 2∑_k?3(3−k)υ_k = 12, there exists a convex 3-polytope M with p_k(M) = p_k for all k ≠ 6 and υ_k for all k ≠ 3 if and only if for the sequences p, υ the following does not hold: ∑p_i = 0 for i odd and ∑υ_i = 1 for i ? 0 (mod 3).     

On density of interpolation points,a Kadec-type theorem,and Saff's principle of contamination inL p-approximation

Letf ∈L _p (I) and denote byB _n,p (f) the polynomial of bestL _p-approximation tof of degreen (1<p<∞,I=[?1,1], the norm is weightedL _p-norm with an arbitrary positive weight). Extending a result proved by Saff and Shekhtman forp=2 we show that for every 1<p<∞ andf ∈L _p (I) (not a polynomial) points of sign change of the error functionf-B _n,p (f) are dense inI asn→∞.     

Integral complete multipartite graphs

A graph is called integral if all eigenvalues of its adjacency matrix are integers. In this paper, we investigate integral complete r-partite graphs K_p1,p2,…,pr=K_{a1·p1,a2·p2,…,as·ps} with s=3,4. We can construct infinite many new classes of such integral graphs by solving some certain Diophantine equations. These results are different from those in the existing literature. For s=4, we give a positive answer to a question of Wang et al. [Integral complete r-partite graphs, Discrete Math. 283 (2004) 231-241]. The problem of the existence of integral complete multipartite graphs K_{a1·p1,a2·p2,…,as·ps} with arbitrarily large number s remains open.     

Multilinear Calderón-Zygmund operators on the product of Lebesgue spaces with non-doubling measures

Under the assumption that μ is a non-doubling measure on Rd, the author proves that for the multilinear Calderón-Zygmund operator, its boundedness from the product of Hardy space H¹(μ)×H¹(μ) into L1/2(μ) implies its boundedness from the product of Lebesgue spaces Lp₁(μ)×Lp₂(μ) into Lp(μ) with 1<p₁,p₂<∞ and p satisfying 1/p=1/p₁+1/p₂.     

On the Littlewood cyclotomic polynomials

In this article, we study the cyclotomic polynomials of degree N−1 with coefficients restricted to the set {+1,−1}. By a cyclotomic polynomial we mean any monic polynomial with integer coefficients and all roots of modulus 1. By a careful analysis of the effect of Graeffe's root squaring algorithm on cyclotomic polynomials, P. Borwein and K.K. Choi gave a complete characterization of all cyclotomic polynomials with odd coefficients. They also proved that a polynomial p(x) with coefficients ±1 of even degree N−1 is cyclotomic if and only if p(x)=±Φp₁(±x)Φp₂(±xp₁)?Φpr(±xp₁p₂?pr−1), where N=p₁p₂?pr and the pi are primes, not necessarily distinct. Here is the pth cyclotomic polynomial. Based on substantial computation, they also conjectured that this characterization also holds for polynomials of odd degree with ±1 coefficients. We consider the conjecture for odd degree here. Using Ramanujan's sums, we solve the problem for some special cases. We prove that the conjecture is true for polynomials of degree α²pβ−1 with odd prime p or separable polynomials of any odd degree.     

On boundedness of discrete multilinear singular integral operators

Let m(ξ,η) be a measurable locally bounded function defined in R². Let 1?p₁,q₁,p₂,q₂<∞ such that pi=1 implies qi=∞. Let also 0<p₃,q₃<∞ and 1/p=1/p₁+1/p₂−1/p₃. We prove the following transference result: the operator

     

A sharp nonasymptotic bound and phase diagram of L 1/2 regularization

We derive a sharp nonasymptotic bound of parameter estimation of the L1/2 regularization.The bound shows that the solutions of the L1/2 regularization can achieve a loss within logarithmic factor of an ideal mean squared error and therefore underlies the feasibility and effectiveness of the L1/2regularization.Interestingly,when applied to compressive sensing,the L1/2 regularization scheme has exhibited a very promising capability of completed recovery from a much less sampling information.As compared with the Lp(0 p 1) penalty,it is appeared that the L1/2 penalty can always yield the most sparse solution among all the Lp penalty when 1/2 ≤ p 1,and when 0 p 1/2,the Lp penalty exhibits the similar properties as the L1/2 penalty.This suggests that the L1/2 regularization scheme can be accepted as the best and therefore the representative of all the Lp(0 p 1) regularization schemes.     

Criteria for embedding of spaces constructed by the method of means with arbitrary quasi-concave functional parameters

We consider a generalization ?(X₀,X₁)_p0,p1 of the method of means to arbitrary non-degenerate functional parameter. In this case non-trivial embedding ?(X₀,X₁)_p0,p1⊂ψ(X₀,X₁)_q0,q1 take place. We find necessary and sufficient condition for such embedding if 1?q₀?p₀?∞ and 1?q₁?p₁?∞ or 1?p₀?q₀?∞ and 1?p₁?q₁?∞.     

Uniqueness and nondegeneracy for some nonlinear elliptic problems in a ball

In this paper we study the uniqueness and nondegeneracy of positive solutions of nonlinear problems of the type Δ_pu+f(r,u)=0 in the unit ball B, u=0 on ∂B. Here Δ_p denotes the p Laplace operator Δ_p=div(|∇u|^p−2∇u), p>1. The main ideas rely on the Maximum Principle and an implicit function theorem that we derive in a suitable weighted space. This space is essential to deal with the case p≠2.     

Torsion points on the jacobian of a Fermat quotient

Let p≥5 be a prime, ζ a primitive pth root of unity and λ=1−ζ. For 1≤s≤p−2, the smooth projective model C_p,s of the affine curve v^p=u^s(1−u) is a curve of genus (p−1)/2 whose jacobian J_p,s has complex multiplication by the ring of integers of the cyclotomic field Q(ζ). In 1981, Greenberg determined the field of rationality of the p-torsion subgroup of J_p,s and moreover he proved that the λ³-torsion points of J_p,s are all rational over Q(ζ). In this paper we determine quite explicitly the λ³-torsion points of J_p,1 for p=5 and p=7, as well as some further p-torsion points which have interesting arithmetical applications, notably to the complementary laws of Kummer’s reciprocity for pth powers.     

Line graph eigenvalues and line energy of caterpillars

The energy of a graph G is the sum of the absolute values of the eigenvalues of the adjacency matrix of G. A caterpillar is a tree in which the removal of all pendant vertices makes it a path. Let d?3 and n?2(d-1). Let p=[p₁,p₂,…,p_d-1] with p₁?1,p₂?1,…,p_d-1?1 such that

p₁+p₂+?+p_d-1=n-d+1.     

Compositions of Polynomials with Coefficients in a Given Field

Let F ⊂ K be fields of characteristic 0, and let K[x] denote the ring of polynomials with coefficients in K. Let p(x) = ∑_k = 0ⁿa_kx^k ∈ K[x], a_n ≠ 0. For p ∈ K[x]\F[x], define D_F(p), the F deficit of p, to equal n − max{0 ≤ k ≤ n : a_k∉F}. For p ∈ F[x], define D_F(p) = n. Let p(x) = ∑_k = 0ⁿa_kx^k and let q(x) = ∑_j = 0^mb_jx^j, with a_n ≠ 0, b_m ≠ 0, a_n, b_m ∈ F, b_j∉F for some j ≥ 1. Suppose that p ∈ K[x], q ∈ K[x]\F[x], p, not constant. Our main result is that p ° q ∉ F[x] and D_F(p ° q) = D_F(q). With only the assumption that a_nb_m ∈ F, we prove the inequality D_F(p ° q) ≥ D_F(q). This inequality also holds if F and K are only rings. Similar results are proven for fields of finite characteristic with the additional assumption that the characteristic of the field does not divide the degree of p. Finally we extend our results to polynomials in two variables and compositions of the form p(q(x, y)), where p is a polynomial in one variable.     

Isotoping Heegaard surfaces in neat positions with respect to critical distance Heegaard surfaces

Suppose a closed orientable 3-manifold M has a genus g Heegaard surface P with distance d(P)=2g. Let Q be another genus g Heegaard surface which is strongly irreducible. Then we show that there is a height function f:M→I induced from P such that by isotopy, Q is deformed into a position satisfying the following; (1) fQ_| has 2g+2 critical points p₀,p₁,…,p2g+1 with f(p₀)<f(p₁)<?<f(p2g+1) where p₀ is a minimum and p2g+1 is a maximum, and p₁,…,p2g are saddles, (2) if we take regular values ri (i=1,…,2g+1) such that f(pi−1)<ri<f(pi), then f−1(ri)∩Q consists of a circle if i is odd, and f−1(ri)∩Q consists of two circles if i is even.     

On two-dimensional gas expansion for pressure-gradient equations of Euler system

In this paper we establish the existence of global continuous solutions of gas expansion into a vacuum for the two-dimensional pressure-gradient equations in gas dynamics. Under irrotational condition, By hodograph transformation, the flow is governed by the equation (p−p²_v)p_uu+2p_up_vp_uv+(p−p²_u)p_vv=0, which can be further reduced to a inhomogeneous linearly degenerate system of three equations. Then the problem of the expansion of a wedge of gas into a vacuum is solved in the same way.     

Moser's theorem for lower dimensional tori

Moser's C^?-version of Kolmogorov's theorem on the persistence of maximal quasi-periodic solutions for nearly-integrable Hamiltonian system is extended to the persistence of non-maximal quasi-periodic solutions corresponding to lower-dimensional elliptic tori of any dimension n between one and the number of degrees of freedom. The theorem is proved for Hamiltonian functions of class C^? for any ?>6n+5 and the quasi-periodic solutions are proved to be of class C^p for any p with 2<p<p_* for a suitable p_*=p_*(n,?)>2 (which tends to infinity when ?→∞).     

La fonction maximale de Hardy–Littlewood sur une classe d'espaces métriques mesurables

In this Note, we study the behavior of the Hardy–Littlewood maximal function M on cusp manifolds in terms of the growth of the volume of the base space. In particular, we prove that for all 1<p₀<+∞ fixed, there exists such a manifold on which M is bounded on L^p for p>p₀ but not for 1?p<p₀. To cite this article: H.-Q. Li, C. R. Acad. Sci. Paris, Ser. I 338 (2004).     

A note on acyclic edge coloring of complete bipartite graphs

An acyclic edge coloring of a graph is a proper edge coloring such that there are no bichromatic (2-colored) cycles. The acyclic chromatic index of a graph is the minimum number k such that there is an acyclic edge coloring using k colors and is denoted by a^′(G). Let Δ=Δ(G) denote the maximum degree of a vertex in a graph G. A complete bipartite graph with n vertices on each side is denoted by K_n,n. Alon, McDiarmid and Reed observed that a^′(K_p−1,p−1)=p for every prime p. In this paper we prove that a^′(K_p,p)≤p+2=Δ+2 when p is prime. Basavaraju, Chandran and Kummini proved that a^′(K_n,n)≥n+2=Δ+2 when n is odd, which combined with our result implies that a^′(K_p,p)=p+2=Δ+2 when p is an odd prime. Moreover we show that if we remove any edge from K_p,p, the resulting graph is acyclically Δ+1=p+1-edge-colorable.