Partitions of natural numbers with the same representation functions

For a set A of nonnegative integers the representation functions R₂(A,n), R₃(A,n) are defined as the number of solutions of the equation n=a+a^′,a,a^′∈A with a<a^′, a?a^′, respectively. Let D(0)=0 and let D(a) denote the number of ones in the binary representation of a. Let A₀ be the set of all nonnegative integers a with even D(a) and A₁ be the set of all nonnegative integers a with odd D(a). In this paper we show that (a) if R₂(A,n)=R₂(N?A,n) for all n?2N−1, then R₂(A,n)=R₂(N?A,n)?1 for all n?12N²−10N−2 except for A=A₀ or A=A₁; (b) if R₃(A,n)=R₃(N?A,n) for all n?2N−1, then R₃(A,n)=R₃(N?A,n)?1 for all n?12N²+2N. Several problems are posed in this paper.     

Twisted Hecke L-values and period polynomials

Let f₁,…,fd be an orthogonal basis for the space of cusp forms of even weight 2k on Γ₀(N). Let L(fi,s) and L(fi,χ,s) denote the L-function of fi and its twist by a Dirichlet character χ, respectively. In this note, we obtain a “trace formula” for the values at integers m and n with 0<m,n<2k and proper parity. In the case N=1 or N=2, the formula gives us a convenient way to evaluate precisely the value of the ratio L(f,χ,m)/L(f,n) for a Hecke eigenform f.     

An Erd?s-Ko-Rado theorem for partial permutations

Let [n] denote the set of positive integers {1,2,…,n}. An r-partial permutation of [n] is a pair (A,f) where A⊆[n], |A|=r and f:A→[n] is an injective map. A set A of r-partial permutations is intersecting if for any (A,f), (B,g)∈A, there exists x∈A∩B such that f(x)=g(x). We prove that for any intersecting family A of r-partial permutations, we have .It seems rather hard to characterize the case of equality. For 8?r?n-3, we show that equality holds if and only if there exist x₀ and ε₀ such that A consists of all (A,f) for which x₀∈A and f(x₀)=ε₀.     

Cells in hyperspaces

Let C(X) denote the hyperspace of subcontinua of a continuum X. For A∈C(X), define the hyperspace . Let k∈N, k?2. We prove that A is contained in the core of a k-od if and only if C(A,X) contains a k-cell.     

Extreme points of Banach lattices related to conditional expectations

Let (X,F,μ) be a complete probability space, B a sub-σ-algebra, and Φ the probabilistic conditional expectation operator determined by B. Let K be the Banach lattice {f∈L¹(X,F,μ):‖Φ(|f|)_‖∞<∞} with the norm ‖f‖=‖Φ(|f|)_‖∞. We prove the following theorems:

(1)

The closed unit ball of K contains an extreme point if and only if there is a localizing set E for B such that supp(Φ(χE))=X.

(2)

Suppose that there is n∈N such that f?nΦ(f) for all positive f in L^∞(X,F,μ). Then K has the uniformly λ-property and every element f in the complex K with is a convex combination of at most 2n extreme points in the closed unit ball of K.

     

Maps preserving the nilpotency of products of operators

Let B(X) be the algebra of all bounded linear operators on the Banach space X, and let N(X) be the set of nilpotent operators in B(X). Suppose ?:B(X)→B(X) is a surjective map such that A,B∈B(X) satisfy AB∈N(X) if and only if ?(A)?(B)∈N(X). If X is infinite dimensional, then there exists a map f:B(X)→C?{0} such that one of the following holds:

(a)

There is a bijective bounded linear or conjugate-linear operator S:X→X such that ? has the form A?S[f(A)A]S^-1.

(b)

The space X is reflexive, and there exists a bijective bounded linear or conjugate-linear operator S : X′ → X such that ? has the form A ? S[f(A)A′]S⁻¹.

If X has dimension n with 3 ? n < ∞, and B(X) is identified with the algebra M_n of n × n complex matrices, then there exist a map f:M_n→C?{0}, a field automorphism ξ:C→C, and an invertible S ∈ M_n such that ? has one of the following forms:

     

Topological divisors of zero and Shilov boundary

Let L be a field complete for a non-trivial ultrametric absolute value and let (A,‖⋅‖) be a commutative normed L-algebra with unity whose spectral semi-norm is ‖⋅_‖si. Let Mult(A,‖⋅‖) be the set of continuous multiplicative semi-norms of A, let S be the Shilov boundary for (A,‖⋅_‖si) and let ψ∈Mult(A,‖⋅_‖si). Then ψ belongs to S if and only if for every neighborhood U of ψ in Mult(A,‖⋅‖), there exists θ∈U and g∈A satisfying ‖g_‖si=θ(g) and . Suppose A is uniform, let f∈A and let Z(f)={?∈Mult(A,‖⋅‖)|?(f)=0}. Then f is a topological divisor of zero if and only if there exists ψ∈S such that ψ(f)=0. Suppose now A is complete. If f is not a divisor of zero, then it is a topological divisor of zero if and only if the ideal fA is not closed in A. Suppose A is ultrametric, complete and Noetherian. All topological divisors of zero are divisors of zero. This applies to affinoid algebras. Let A be a Krasner algebra H(D) without non-trivial idempotents: an element f∈H(D) is a topological divisor of zero if and only if fH(D) is not a closed ideal; moreover, H(D) is a principal ideal ring if and only if it has no topological divisors of zero but 0 (this new condition adds to the well-known set of equivalent conditions found in 1969).     

On normal families and differential polynomials for meromorphic functions

We consider the normality criterion for a families F meromorphic in the unit disc Δ, and show that if there exist functions a(z) holomorphic in Δ, a(z)≠1, for each z∈Δ, such that there not only exists a positive number ε₀ such that |an(a(z)−1)−1|?ε₀ for arbitrary sequence of integers an(n∈N) and for any z∈Δ, but also exists a positive number B>0 such that for every f(z)∈F, B|f^′(z)|?|f(z)| whenever f(z)f^″(z)−a(z)(f^′2(z))=0 in Δ. Then is normal in Δ.     

On meromorphic extendibility

Let D be a bounded domain in the complex plane whose boundary consists of finitely many pairwise disjoint real-analytic simple closed curves. Let f be an integrable function on bD. In the paper we show how to compute the candidates for poles of a meromorphic extension of f through D and thus reduce the question of meromorphic extendibility to the question of holomorphic extendibility. Let A(D) be the algebra of all continuous functions on which are holomorphic on D. We prove that a continuous function f on bD extends meromorphically through D if and only if there is an N∈N∪{0} such that the change of argument of Pf+Q along bD is bounded below by −2πN for all P,Q∈A(D) such that Pf+Q≠0 on bD. If this is the case then the meromorphic extension of f has at most N poles in D, counting multiplicity.     

Characterization of the absence of a spectral gapfor a class of periodic Jacobi operators

Let q ∈ {2, 3} and let 0 = s₀ < s₁ < … < s_q = T be integers. For m, n ∈ Z, we put ¯m,n = {j ∈ Z| m? j ? n}. We set l_j = s_j − s_j−1 for j ∈ 1, q. Given (p₁,, p_q) ∈ R^q, let b: Z → R be a periodic function of period T such that b(·) = p_j on s_j−1 + 1, s_j for each j ∈ 1, q. We study the spectral gaps of the Jacobi operator (Ju)(n) = u(n + 1) + u(n − 1) + b(n)u(n) acting on l²(Z). By [λ_2j , λ_2j−1] we denote the jth band of the spectrum of J counted from above for j ∈ 1, T. Suppose that p_m ≠ p_n for m ≠ n. We prove that the statements (i) and (ii) below are equivalent for λ ∈ R and i ∈ 1, T − 1.     

Note on integer powers in sumsets

Let k,m,n?2 be integers. Let A be a subset of {0,1,…,n} with 0∈A and the greatest common divisor of all elements of A is 1. Suppose that

     

Annihilator-preserving maps, multipliers, and derivations

For a commutative subspace lattice L in a von Neumann algebra N and a bounded linear map f:N∩algL→B(H), we show that if Af(B)C=0 for all A,B,C∈N∩algL satisfying AB=BC=0, then f is a generalized derivation. For a unital C^∗-algebra A, a unital Banach A-bimodule M, and a bounded linear map f:A→M, we prove that if f(A)B=0 for all A,B∈A with AB=0, then f is a left multiplier; as a consequence, every bounded local derivation from a C^∗-algebra to a Banach A-bimodule is a derivation. We also show that every local derivation on a semisimple free semigroupoid algebra is a derivation and every local multiplier on a free semigroupoid algebra is a multiplier.     

An elementary operator with log-hyponormal, p-hyponormal entries

A Hilbert space operator A∈B(H) is p-hyponormal, A∈(p-H), if |A^∗|^2p?|A|^2p; an invertible operator A∈B(H) is log-hyponormal, A∈(?-H), if log(TT^∗)?log(T^∗T). Let d_AB=δ_AB or ?_AB, where δ_AB∈B(B(H)) is the generalised derivation δ_AB(X)=AX-XB and ?_AB∈B(B(H)) is the elementary operator ?_AB(X)=AXB-X. It is proved that if A,B^∗∈(?-H)∪(p-H), then, for all complex λ, , the ascent of (d_AB-λ)?1, and d_AB satisfies the range-kernel orthogonality inequality ‖X‖?‖X-(d_AB-λ)Y‖ for all X∈(d_AB-λ)^-1(0) and Y∈B(H). Furthermore, isolated points of σ(d_AB) are simple poles of the resolvent of d_AB. A version of the elementary operator E(X)=A₁XA₂-B₁XB₂ and perturbations of d_AB by quasi-nilpotent operators are considered, and Weyl’s theorem is proved for d_AB.     

Schauder estimates for a degenerate second order elliptic operator on a cube

In the present article we are concerned with a class of degenerate second order differential operators LA,b defined on the cube d[0,1], with d?1. Under suitable assumptions on the coefficients A and b (among them the assumption of their Hölder regularity) we show that the operator LA,b defined on C²(d[0,1]) is closable and its closure is m-dissipative. In particular, its closure is the generator of a C₀-semigroup of contractions on C(d[0,1]) and C²(d[0,1]) is a core for it. The proof of such result is obtained by studying the solvability in Hölder spaces of functions of the elliptic problem λu(x)−LA,bu(x)=f(x), x∈d[0,1], for a sufficiently large class of functions f.     

Inclusion relations and convolution properties of a certain class of analytic functions associated with the Ruscheweyh derivatives

Let A denote the class of functions f(z) with

f(0)=f^′(0)−1=0,     

Quantum integers and cyclotomy

A sequence of functions satisfies the functional equation for multiplication of quantum integers if f_mn(q)=f_m(q)f_n(q^m) for all positive integers m and n. This paper describes the structure of all sequences of rational functions with coefficients in Q that satisfy this functional equation.     

Extensions of convex and semiconvex functions and intervally thin sets

We call A⊂RNintervally thin if for all x,y∈RN and ε>0 there exist x^′∈B(x,ε), y^′∈B(y,ε) such that [x^′,y^′]∩A=∅. Closed intervally thin sets behave like sets with measure zero (for example such a set cannot “disconnect” an open connected set). Let us also mention that if the (N−1)-dimensional Hausdorff measure of A is zero, then A is intervally thin. A function f is preconvex if it is convex on every convex subset of its domain. The consequence of our main theorem is the following: Let U be an open subset ofRNand let A be a closed intervally thin subset of U. Then every preconvex functioncan be uniquely extended (with preservation of preconvexity) onto U. In fact we show that a more general version of this result holds for semiconvex functions.     

A spectral radius formula for the Fourier transform on compact groups and applications to random walks

Let G be a compact group, not necessarily abelian, let ? be its unitary dual, and for f∈L¹(G), let fn?f∗?∗f denote n-fold convolution of f with itself and f? the Fourier transform of f. In this paper, we derive the following spectral radius formula

     

On subword decomposition and balanced polynomials

Let H(x) be a monic polynomial over a finite field F=GF(q). Denote by Na(n) the number of coefficients in Hn which are equal to an element a∈F, and by G the set of elements a∈F^× such that Na(n)>0 for some n. We study the relationship between the numbers (Na(n))_a∈G and the patterns in the base q representation of n. This enables us to prove that for “most” n's we have Na(n)≈Nb(n), a,b∈G. Considering the case H=x+1, we provide new results on Pascal's triangle modulo a prime. We also provide analogous results for the triangle of Stirling numbers of the first kind.     

On classical adjoint-commuting mappings between matrix algebras

Let F be a field and let m and n be integers with m,n?3. Let M_n denote the algebra of n×n matrices over F. In this note, we characterize mappings ψ:M_n→M_m that satisfy one of the following conditions:

1.

|F|=2 or |F|>n+1, and ψ(adj(A+αB))=adj(ψ(A)+αψ(B)) for all A,B∈M_n and α∈F with ψ(I_n)≠0.

2.

ψ is surjective and ψ(adj(A-B))=adj(ψ(A)-ψ(B)) for every A,B∈M_n.

Here, adjA denotes the classical adjoint of the matrix A, and I_n is the identity matrix of order n. We give examples showing the indispensability of the assumption ψ(I_n)≠0 in our results.