Distribution of the maxima of random Takagi functions

This paper concerns the maximum value and the set of maximum points of a random version of Takagi’s continuous, nowhere differentiable function. Let F(x):=∑ _n=1^∞ ε _n ϕ(2 ⁿ⁻¹ x), x ∈ R, where ɛ ₁, ɛ ₂, ... are independent, identically distributed random variables taking values in {−1, 1}, and ϕ is the “tent map” defined by ϕ(x) = 2 dist (x, Z). Let p:= P (ɛ ₁ = 1), M:= max {F(x): x ∈ R}, and := {x ∈ [0, 1): F(x) = M}. An explicit expression for M is given in terms of the sequence {ɛ _n }, and it is shown that the probability distribution μ of M is purely atomic if p < , and is singular continuous if p ≧ . In the latter case, the Hausdorff dimension and the multifractal spectrum of μ are determined. It is shown further that the set is finite almost surely if p < , and is topologically equivalent to a Cantor set almost surely if p ≧ . The distribution of the cardinality of is determined in the first case, and the almost-sure Hausdorff dimension of is shown to be (2p − 1)/2p in the second case. The distribution of the leftmost point of is also given. Finally, some of the results are extended to the more general functions Σa ^{n − 1} ɛ _n ϕ(2 ^{n − 1} x), where 0 < a < 1.      

On $$ \mathcal{C} $$*-sets and decompositions of continuous and ηζ-continuous functions

The main purpose of this paper is to introduce the concepts of *-sets, *-continuous functions and to obtain new decompositions of continuous and ηζ-continuous functions. Moreover, properties of *-sets and some properties of -sets are discussed.      

Some functional equations on standard operator algebras

The main purpose of this paper is to prove the following result. Let H be a complex Hilbert space, let (H) be the algebra of all bounded linear operators on H, and let (H) ⊂ (H) be a standard operator algebra which is closed under the adjoint operation. Suppose that T: (H) → (H) is a linear mapping satisfying T(AA* A) = T(A)A* A − AT(A*)A + AA*T(A) for all A ∈ (H). Then T is of the form T(A) = AB + BA for all A ∈ (H), where B is a fixed operator from (H). A result concerning functional equations related to bicircular projections is proved      

Projectively condensed semigroups,generalized completely regular semigroups and projective orthomonoids

The class of projectively condensed semigroups is a quasivariety of unary semigroups, the class of projective orthomonoids is a subquasivariety of . Some well-known classes of generalized completely regular semigroups will be regarded as subquasivarieties of . We give the structure semilattice composition and the standard representation of projective orthomonoids, and then obtain the structure theorems of various generalized orthogroups. Partially supported by a UGC (HK) grant #2060123 (04-05).     

Finite quasihypermetric spaces

Let (X, d) be a compact metric space and let (X) denote the space of all finite signed Borel measures on X. Define I: (X) → ℝ by I(μ) = ∫ _X ∫ _X d(x, y)dμ(x)dμ(y), and set M(X) = sup I(μ), where μ ranges over the collection of measures in (X) of total mass 1. The space (X, d) is quasihypermetric if I(μ) ≦ 0 for all measures μ in (X) of total mass 0 and is strictly quasihypermetric if in addition the equality I(μ) = 0 holds amongst measures μ of mass 0 only for the zero measure. This paper explores the constant M(X) and other geometric aspects of X in the case when the space X is finite, focusing first on the significance of the maximal strictly quasihypermetric subspaces of a given finite quasihypermetric space and second on the class of finite metric spaces which are L ¹-embeddable. While most of the results are for finite spaces, several apply also in the general compact case. The analysis builds upon earlier more general work of the authors [11] [13].      

Equations in finite fields with restricted solution sets. II (Algebraic equations)

Generalizing earlier results, it is shown that if are “large” subsets of a finite field F _q , then the equations a + b = cd, resp. ab + 1 = cd can be solved with . Other algebraic equations with solutions restricted to “large” subsets of F _q are also studied. The proofs are based on character sum estimates proved in Part I of the paper. Research partially supported by the Hungarian National Foundation for Scientific Research, Grants No. T 043623, T 043631 and T 049693.     

On the <Emphasis Type="Italic">ω</Emphasis><Subscript>1</Subscript> limits of subsets of the real line

We point out that it is consistent with ZFC that 2 ^ω > ℵ₁ and every subset of ℝ is the ω ₁ limit of a sequence of G _δ sets in ℝ. We prove also that assuming cov ( ) > ℵ₁, not every set in ℝ is the ω ₁ limit of a sequence of measurable sets. This solves two problems of T. Natkaniec and J. Wesołowska.      

Uniform boundedness of (<Emphasis Type="Italic">C</Emphasis>, 1) means of Jacobi expansions in weighted sup norms. II (Some necessary estimations)

The paper is concerned with bounds for integrals of the type

On ideals and quotients of A \mathcal{T} -algebras

Some results on A -algebras are given. We study the problem when ideals, quotients and hereditary subalgebras of A -algebras are A -algebras or A -algebras, and give a necessary and sufficient condition of a hereditary subalgebra of an A -algebra being an A -algebra.     

Nonparametric inference in a simple change-point model

In this paper, we consider a change point model allowing at most one change, X() = f() + e(), where f(t) = α + θ (t), 0 ≤ t ≤ 1, {e(), ..., e()} is a sequence of i.i.d. random variables distributed as e with 0 being the median of e. For this change point model, hypothesis test problem about the change-point t0 is studied and a test statistic is constructed. Furthermore, a nonparametric estimator of t0 is proposed and shown to be strongly consistent. Finally, we give an estimator of jump θ and obtain it’s asymptotic property. Performance of the proposed approach is investigated by extensive simulation studies. Research partially supported by National Natural Science Foundation of China (Grant No. 10471136), Ph.D. Program Foundation of the Ministry of Education of China, and Special Foundations of the Chinese Academy of Sciences and USTC     

Roots of C*-algebra elements under numerical range condition

Let be a C*-algebra with unit 1. For each a ∈ , the C*-algebra numerical range is defined by V(a) = {φ(a): φ ∈ , φ ≥ 0,φ(1) = 1}. In a 2003 paper Li, Rodman and Spitkovsky have found the ω-th roots of elements in C*-algebra under a numerical range condition, when ω ∈ [1,∞). In this paper, we will give a short proof of the above result in the case of ω is a positive integer number. We also give a simple proof for ω-th root of an element a ∈ , when ω ∈ [1,∞) and V(a)∩ {z ∈ ℂ: z ≤ 0} = . The first author was supported by the Shiraz university Research Council Grant No. 86-GRSC-32.     

The relation of dimension,entropy and Lyapunov exponent in random case

We consider random systems generated by two-sided compositions of random surface diffeomorphisms,together with an ergodic Borel probability measure μ.Let D(μω)be its dimension of the sample measure,then we prove a formula relating D(μω)to the entropy and Lyapunov exponents of the random system,where D(μω)is dimHμω,-/dinBμω,or-/dimBμω.     

Stability of homogeneity almost everywhere

We consider approximately ϕ-homogeneous mappings almost everywhere, that is functions F such that the difference F(αx) − ϕ(α)F(x) is in some sense bounded almost everywhere in a product space. We will prove, under some assumptions, that then either we have some kind of boundedness of ϕ and F, or there exist a homomorphism and a -homogeneous function , which are almost everywhere equal to ϕ and F, respectively. From this result we derive the superstability effect for the multiplicativity almost everywhere.      

On the prime radical and Baer’s lower nilradical of modules

Let M be a left R-module. In this paper a generalization of the notion of m-system set of rings to modules is given. Then for a submodule N of M, we define := { m ε M: every m-system containing m meets N}. It is shown that is the intersection of all prime submodules of M containing N. We define rad _R (M) = . This is called Baer-McCoy radical or prime radical of M. It is shown that if M is an Artinian module over a PI-ring (or an FBN-ring) R, then M/rad _R (M) is a Noetherian R-module. Also, if M is a Noetherian module over a PI-ring (or an FBN-ring) R such that every prime submodule of M is virtually maximal, then M/rad _R (M) is an Artinian R-module. This yields if M is an Artinian module over a PI-ring R, then either rad _R (M) = M or rad _R (M) = ∩ _i=1 ⁿ for some maximal ideals of R. Also, Baer’s lower nilradical of M [denoted by Nil_* ( _R M)] is defined to be the set of all strongly nilpotent elements of M. It is shown that, for any projective R-module M, rad _R (M) = Nil_*( _R M) and, for any module M over a left Artinian ring R, rad _R (M) = Nil_*( _R M) = Rad(M) = Jac(R)M. This research was in part supported by a grant from IPM (No. 85130016). Also this work was partially supported by IUT (CEAMA). The author would like to thank the anonymous referee for a careful checking of the details and for helpful comments that improved this paper.     

Oscillation theorems for second-order nonlinear neutral delay dynamic equations on time scales

By employing the generalized Riccati transformation technique, we will establish some new oscillation criteria and study the asymptotic behavior of the nonoscillatory solutions of the second-order nonlinear neutral delay dynamic equation

On the <Emphasis Type="Italic">C</Emphasis>*-valued triangle equality and inequality in Hilbert <Emphasis Type="Italic">C</Emphasis>*-modules

We prove that for two elements x, y in a Hilbert C*-module V over a C*-algebra the C*-valued triangle equality |x + y| = |x| + |y| holds if and only if 〈x, y〉 = |x| |y|. In addition, if has a unit e, then for every x, y ∊ V and every ɛ > 0 there are contractions u, υ ∊ such that |x + y| ≦ u|x|u* + υ|y|υ* + ɛe.      

Three-dimensional sets with small sumset

We describe the structure of three dimensional sets of lattice points, having a small doubling property. Let be a finite subset of ℤ³ such that dim = 3. If and , then lies on three parallel lines. Moreover, for every three dimensional finite set that lies on three parallel lines, if , then is contained in three arithmetic progressions with the same common difference, having together no more than terms. These best possible results confirm a recent conjecture of Freiman and cannot be sharpened by reducing the quantity υ or by increasing the upper bounds for .     

Real hypersurfaces in complex two-plane Grassmannians with commuting normal Jacobi operator

We give a complete classification of -invariant real hypersurfaces in complex two-plane Grassmannians G ₂(C ^m+2) with commuting normal Jacobi operator . The first author was supported by MCYT-FEDER grant BFM 2001-2871-C04-01, the second author by grant Proj. No. KRF-2006-351-C00004 from Korea Research Foundation and the third author by grant Proj. No. R14-2002-003-01001-0 from Korea Research Foundation, Korea 2006 and Proj. No. R17-2007-006-01000-0 from KOSEF.     

A note on the crossed product $$ \mathcal{R}(\mathcal{A},\alpha ) $$ associated with PSL2(ℝ)

Given the hyperbolic measure dxdy/y ² on the upper half plane ℍ, the rational actions of PSL₂(ℝ) on ℍ induces a continuous unitary representation α of this group on the Hilbert space L ²(ℍ, dxdy/y ²). Supposing that = {M _f : f ∈ L ^∞ (ℍ, dxdy/y ²)}, we show that the crossed product is of type I. In fact, the crossed product is *-isomorphic to the von Neumann algebra , where is the abelian group von Neumann algebra generated by the left regular representation of K. This work was supported by the Youth Foundation of Sichuan Education Department of China (Grant No. 2003B017)     

Compact corigid objects in triangulated categories and co-<Emphasis Type="Italic">t</Emphasis>-structures

In the work of Hoshino, Kato and Miyachi, [11], the authors look at t-structures induced by a compact object, , of a triangulated category, , which is rigid in the sense of Iyama and Yoshino, [12]. Hoshino, Kato and Miyachi show that such an object yields a non-degenerate t-structure on whose heart is equivalent to Mod(End()^op). Rigid objects in a triangulated category can the thought of as behaving like chain differential graded algebras (DGAs). Analogously, looking at objects which behave like cochain DGAs naturally gives the dual notion of a corigid object. Here, we see that a compact corigid object, , of a triangulated category, , induces a structure similar to a t-structure which we shall call a co-t-structure. We also show that the coheart of this non-degenerate co-t-structure is equivalent to Mod(End()^op), and hence an abelian subcategory of .