Strong characterizing sequences for subgroups of compact groups

In [A. Biró, V.T. Sós, Strong characterizing sequences in simultaneous Diophantine approximation, J. Number Theory 99 (2003) 405–414] we proved that if Γ is a subgroup of the torus R/Z generated by finitely many independent irrationals, then there is an infinite subset AZ which characterizes Γ in the sense that for γR/Z we have ∑_aAaγ<∞ if and only if γΓ. Here we consider a general compact metrizable Abelian group G instead of R/Z, and we characterize its finitely generated free subgroups Γ by subsets AG^*, where G^* is the Pontriagin dual of G. For this case we prove stronger forms of the analogue of the theorem of the above mentioned work, and we find necessary and sufficient conditions for a kind of strengthening of this statement to be true.     

The Approximation Functional and Interpolation with Perturbed Continuity

The continuity conditions at the endpoints of interpolation theorems, Ta_BjM_j a_Aj for j=0, 1, can be written with the help of the approximation functional: E(t, Ta; B₁, B₀)_L^∞M₀ a_A0 and E(t, Ta; B₀, B₁)_L^∞M₁ a_A1. As a special case of the results we present here we show that in the hypotheses of the interpolation theorem the L^∞ norms can be replaced by BMO( ₊) norms. This leads to a strong version of the Stein-Weiss theorem on interpolation with change of measure. Another application of our results is that the condition fL⁰, i.e., f*L^∞, where f*(γ)=μ{|f|>γ} is the distribution function of f, can be replaced in interpolation with L(p, q) spaces by the weaker f*BMO( ₊).     

Mass Points of Measures and Orthogonal Polynomials on the Unit Circle

Orthogonal polynomials on the unit circle are completely determined by their reflection coefficients through the Szeg recurrences. We assume that the reflection coefficients tend to some complex number a with 0<a<1. The orthogonality measure μ then lives essentially on the arc {e^it :αt2π−α} where sin with α(0,π). Under the certain rate of convergence it was proved in (Golinskii et al. (J. Approx. Theory96 (1999), 1–32)) that μ has no mass points inside this arc. We show that this result is sharp in a sense. We also examine the case of the whole unit circle and some examples of singular continuous measures given by their reflection coefficients.     

Point spectra of partially power-bounded operators

Let T be an operator on a separable Banach space, and denote by σ_p(T) its point spectrum. We answer a question left open in (Israel J. Math. 146 (2005) 93–110) by showing that it is possible that be uncountable, yet Tⁿ∞. We further investigate the relationship between the growth of sequences (n_k) such that sup_kT^n_k<∞ and the possible size of .Analogous results are also derived for continuous operator semigroups (T_t)_t0.     

LOCAL TIME ANALYSIS OF ADDITIVE LEVY PROCESSES WITH DIFFERENT L(E)VY EXPONENTS

Let X1 XN be independent, classical Levy processes on R^d with Levy exponents ψ1,…, ψN, respectively. The corresponding additive Levy process is defined as the following N-parameter random field on R^d, X（t） △= X1（t1） ＋ ... ＋ XN（tN）, At∈N. Under mild regularity conditions on the ψi＇s, we derive estimate for the local and uniform moduli of continuity of local times of X = {X（t）; t ∈R^N}.     

Best constants of harmonic approximation on classes associated with the Laplace operator

We compute the best constants of approximation by entire functions of spherical type and by trigonometric polynomials of spherical degree on classes of functions f satisfying the condition Δ^kf_Lp1, where p=1 or 2 and Δ is the Laplace operator.     

Le lemme de Schur pour les représentations orthogonales

Let σ be an orthogonal representation of a group G on a real Hilbert space. We show that σ is irreducible if and only if its commutant σ(G)' is isomorphic to , or . This result is an analogue of the classical Schur lemma for unitary representations. In both cases (orthogonal and unitary), a representation is irreducible if and only if its commutant is a field. If σ is irreducible, we show that there exists a unitary irreducible representation π of G such that the complexification σ is unitarily equivalent to π if σ(G)' , to π π̄ if σ(G)' , and to π π if σ(G)' (here π̄ denotes the contragredient representation of π). These results are classical for a finite-dimensional σ, but seem to be new in the general case.     

Turán type reverse Markov inequalities for compact convex sets

For a compact convex set the well-known general Markov inequality holds asserting that a polynomial p of degree n must have p^′c(K)n²p. On the other hand for polynomials in general, p^′ can be arbitrarily small as compared to p.The situation changes when we assume that the polynomials in question have all their zeroes in the convex set K. This was first investigated by Turán, who showed the lower bounds p^′(n/2)p for the unit disk D and for the unit interval I[-1,1]. Although partial results provided general lower estimates of order , as well as certain classes of domains with lower bounds of order n, it was not clear what order of magnitude the general convex domains may admit here.Here we show that for all bounded and convex domains K with nonempty interior and polynomials p with all their zeroes lying in K p^′c(K)np holds true, while p^′C(K)np occurs for any K. Actually, we determine c(K) and C(K) within a factor of absolute numerical constant.     

Stable extendibility of vector bundles over lens spaces mod 3 and the stable splitting problem

Let Lⁿ(3) denote the (2n+1)-dimensional standard lens space mod 3. In this paper, we study the conditions for a given real vector bundle over Lⁿ(3) to be stably extendible to L^m(3) for every mn, and establish the formula on the power ζ^k=ζζ (k-fold) of a real vector bundle ζ over Lⁿ(3). Moreover, we answer the stable splitting problem for real vector bundles over Lⁿ(3) by means of arithmetic conditions.     

L-fuzzy quantifiers of type determined by fuzzy measures

The aim of this paper is, first, to introduce two new types of fuzzy integrals, namely, -fuzzy integral and →-fuzzy integral. The first integral is based on a fuzzy measure of L-fuzzy sets and the second one on a complementary fuzzy measure of L-fuzzy sets, where L is a complete residuated lattice. Some of their properties and a relation to the fuzzy (Sugeno) integral are investigated. Second, using these integrals, two classes of monadic L-fuzzy quantifiers of type 1 are defined. These L-fuzzy quantifiers can be used for modeling the semantics of natural language quantifiers like “all”, “some”, “many”, “none”, “at most half”, etc. Several semantic properties of these L-fuzzy quantifiers are studied.     

On rank-one perturbations of normal operators

This paper is concerned with operators on Hilbert space of the form T=D+uv where D is a diagonalizable normal operator and uv is a rank-one operator. It is shown that if and the vectors u and v have Fourier coefficients and with respect to an orthonormal basis that diagonalizes D that satisfy , then T has a nontrivial hyperinvariant subspace. This partially answers an open question of at least 30 years duration.     

Generalization of a criterion for semistable vector bundles

It is known that a vector bundle E on a smooth projective curve Y defined over an algebraically closed field is semistable if and only if there is a vector bundle F on Y such that both H⁰(X,EF) and H¹(X,EF) vanishes. We extend this criterion for semistability to vector bundles on curves defined over perfect fields. Let X be a geometrically irreducible smooth projective curve defined over a perfect field k, and let E be a vector bundle on X. We prove that E is semistable if and only if there is a vector bundle F on X such that Hⁱ(X,EF)=0 for all i. We also give an explicit bound for the rank of F.     

A vanishing theorem on Kaehler Finsler manifolds

Let M be a connected compact complex manifold endowed with a strongly pseudoconvex complex Finsler metric F. In this paper, we first define the complex horizontal Laplacian □_h and complex vertical Laplacian □_v on the holomorphic tangent bundle T^1,0M of M, and then we obtain a precise relationship among □_h,□_v and the Hodge–Laplace operator on (T^1,0M,,), where , is the induced Hermitian metric on T^1,0M by F. As an application, we prove a vanishing theorem of holomorphic p-forms on M under the condition that F is a Kaehler Finsler metric on M.     

Relative rearrangement and Lebesgue spaces with variable exponent

We apply the techniques of monotone and relative rearrangements to the nonrearrangement invariant spaces L^p()(Ω) with variable exponent. In particular, we show that the maps uL^p()(Ω)→k(t)u_*L^p_*()(0,measΩ) and uL^p()(Ω)→u_*L^p*()(0,measΩ) are locally -Hölderian (u_* (resp. p^*) is the decreasing (resp. increasing) rearrangement of u (resp. p)). The pointwise relations for the relative rearrangement are applied to derive the Sobolev embedding with eventually discontinuous exponents.     

Strong and uniform mean stability of cosine and sine operator functions

It is first observed that a uniformly bounded cosine operator function C() and the associated sine function S() are totally non-stable. Then, using a zero-one law for the Abel limit of a closed linear operator, we prove some results concerning strong mean stability and uniform mean stability of C(). Among them are: (1) C() is strongly (C,1)-mean stable (or (C,2)-mean stable, or Abel-mean stable) if and only if 0ρ(A)σ_c(A); (2) C() is uniformly (C,2)-mean stable if and only if S() is uniformly (C,1)-mean stable, if and only if , if and only if , if and only if C() is uniformly Abel-mean stable, if and only if S() is uniformly Abel-mean stable, if and only if 0ρ(A).     

Homology of Newtonian Coalgebras

Given a Newtonian coalgebra we associate to it a chain complex. The homology groups of this Newtonian chain complex are computed for two important Newtonian coalgebras arising in the study of flag vectors of polytopes:R a, b and Rc, d. The homology of Ra, b corresponds to the homology of the boundary of then -crosspolytope. In contrast, the homology of Rc, d depends on the characteristic of the underlying ring R. In the case the ring has characteristic 2, the homology is computed via cubical complexes arising from distributive lattices. This paper ends with a characterization of the integer homology ofZ c, d.     

On multipartite posets

A poset P=(X,) is m-partite if X has a partition X=X₁X_m such that (1) each X_i forms an antichain in P, and (2) xy implies xX_i and yX_j where i<j. In this article we derive a tight asymptotic upper bound on the order dimension of m-partite posets in terms of m and their bipartite sub-posets in a constructive and elementary way.     

Universal Polynomial Majorants on Convex Bodies

Let K be a convex body in ^d (d2), and denote by B_n(K) the set of all polynomials p_n in ^d of total degree n such that |p_n|1 on K. In this paper we consider the following question: does there exist a p*_nB_n(K) which majorates every element of B_n(K) outside of K? In other words can we find a minimal γ1 and p*_nB_n(K) so that |p_n(x)|γ |p*_n(x)| for every p_nB_n(K) and x ^d\K? We discuss the magnitude of γ and construct the universal majorants p*_n for evenn. It is shown that γ can be 1 only on ellipsoids. Moreover, γ=O(1) on polytopes and has at most polynomial growth with respect to n, in general, for every convex body K.     

Subconvexity bounds for Rankin–Selberg L-functions for congruence subgroups

Estimation of shifted sums of Fourier coefficients of cusp forms plays crucial roles in analytic number theory. Its known region of holomorphy and bounds, however, depend on bounds toward the general Ramanujan conjecture. In this article, we extended such a shifted sum meromorphically to a larger half plane Res>1/2 and proved a better bound. As an application, we then proved a subconvexity bound for Rankin–Selberg L-functions which does not rely on bounds toward the Ramanujan conjecture: Let f be either a holomorphic cusp form of weight k, or a Maass cusp form with Laplace eigenvalue 1/4+k², for . Let g be a fixed holomorphic or Maass cusp form. What we obtained is the following bound for the L-function L(s,fg) in the k aspect:

L(1/2+it,fg)k^{1−1/(8+4θ)+ε},