Sooner and later waiting time problems in a two-state Markov chain

LetX ₁,X ₂,... be a time-homogeneous {0, 1}-valued Markov chain. LetF ₀ be the event thatl runs of 0 of lengthr occur and letF ₁ be the event thatm runs of 1 of lengthk occur in the sequenceX ₁,X ₂, ... We obtained the recurrence relations of the probability generating functions of the distributions of the waiting time for the sooner and later occurring events betweenF ₀ andF ₁ by the non-overlapping way of counting and overlapping way of counting. We also obtained the recurrence relations of the probability generating functions of the distributions of the sooner and later waiting time by the non-overlapping way of counting of 0-runs of lengthr or more and 1-runs of lengthk or more.     

On the Monotone Error Rule for Parameter Choice in Iterative and Continuous Regularization Methods

We consider in Hilbert spaces linear ill-posed problems Ax = y with noisy data y satisfying y –y. Regularized approximations x _r to the minimum-norm solution x of Ax = y are constructed by continuous regularization methods or by iterative methods. For the choice of the regularization parameter r (the stopping index n in iterative methods) the following monotone error rule (ME rule) is used: we choose r = r _ME (n = n _ME) as the largest r-value with the guaranteed monotonical decrease of the error x _r – x for r [0, r _ME] (x _n – x <#60; x _n–1 – x for n = 1, 2, ..., n _ME). Main attention is paid to iterative methods of gradient type and to nonstationary implicit iteration methods. As shown, the ME rule leads for many methods to order optimal error bounds. Comparisons with other rules for the choice of the stopping index are made and numerical examples are given.This revised version was published online in October 2005 with corrections to the Cover Date.     

Generalized Variation of Mappings with Applications to Composition Operators and Multifunctions

We study (set-valued) mappings of bounded -variation defined on the compact interval I and taking values in metric or normed linear spaces X. We prove a new structural theorem for these mappings and extend Medvedev's criterion from real valued functions onto mappings with values in a reflexive Banach space, which permits us to establish an explicit integral formula for the -variation of a metric space valued mapping. We show that the linear span GV (I;X) of the set of all mappings of bounded -variation is automatically a Banach algebra provided X is a Banach algebra. If h:I× X Y is a given mapping and the composition operator is defined by (f)(t)=h(t,f(t)), where tI and f:I X, we show that :GV (I;X) GV (I;Y) is Lipschitzian if and only if h(t,x)=h₀(t)+h₁(t)x, tI, xX. This result is further extended to multivalued composition operators with values compact convex sets. We prove that any (not necessarily convex valued) multifunction of bounded -variation with respect to the Hausdorff metric, whose graph is compact, admits regular selections of bounded -variation.     

Nonparametric Estimation of a Conditional Quantile for α-Mixing Processes

Let (X_i,Y _i) be a set of observations form a stationary -mixing process and (x) be the conditional -th quantile of Y given X = x. Several authors considered nonparametric estimation of (x) in the i.i.d. setting. Assuming the smoothness of FF(x), we estimate it by local polynomial fitting and prove the asymptotic normality and the uniform convergence.     

On the Completeness and Decidability of the Horn‐Like Fragment of the First‐Order Linear Temporal Logic

We prove the completeness and decidability of the Hornlike sequents, specifically, the socalled D₂sequents (of the firstorder linear temporal logic) considered in the author's paper [Lith. Math. J., 41(3), 266–281 (2001)]. In this paper, with the help of the infinitary calculus G_L, grounded by the author in his earlier papers, for D₂sequents we construct a D₂Sat calculus of the socalled saturated type consisting of decidable deductive procedures replacing the omegarule for the always operator. In the present paper, in order to prove the completeness and decidability of the calculus D₂Sat, we construct the socalled invariant decidable calculus D₂IN. We prove the equivalence of the calculi D₂IN, D₂Sat, and G _L ^** for the socalled saturated D₂sequents. From this equivalence, by reducing an arbitrary D₂sequent to a saturated D₂sequent, and also from the completeness of the G _L ^** calculus and decidability of the invariant calculus D₂IN, we deduce the completeness and decidability of the calculus D₂Sat in the class of D₂sequents.     

A Note on Base Change,Identities Involving τ(n), and a Congruence of Ramanujan

We use the theory of quadratic base change to derive some new identities involving the Ramanujan -function, and show how the Ramanujan congruence (n) ₁₁(n) (mod 691) follows.     

The ε c -Product of a Schwartz b-Space by a Quotient Banach Space and Applications

We define the -product of a -space by a quotient Banach space. We give conditions under which this -product will be monic. Finally, we define the _c -product of a Schwartz b-space by a quotient Banach space and we give some examples of applications.     

Fine Analysis of the Quasi-Orderings on the Power Set

We pursue the fine analysis of the quasi-orderings and on the power set of a quasi-ordering (Q,). We set X Y if every xX is majorized in by some yY, and X Y if every yY is minorized in by some xX. We show that both these quasi-orderings are -wqo if and only if the original quasi-ordering is ( )-wqo. For this holds also restricted to finite subsets, thus providing an example of a finitary operation on quasi-orderings which does not preserve wqo but preserves bqo.     

Bounds for optimalα-β binary trees

In this paper we consider a special kind of binary trees where each right edge is associated with a positive number and each left edge with a positive number( ). Given, and the number of nodesn, an optimal tree is one which minimizes the total weighted path length. An algorithm for constructing an optimal tree for given, , n is presented, based on which bounds for balances and total weighted path lengths of optimal trees are derived.     

On Decomposing an Abelian p-Group Under a p′-Operator Group

Let A be a p-group acting on a finite Abelian p-group P. We give a necessary and sufficient condition on an A-irreducible decomposition of ₁(P) = _i1U_i for the existence of an A-indecomposable decomposition of P = _i1R_i such that ₁(R_i) = U_i for all i I. This readily implies a main result of [1].2000 Mathematics Subject Classification: 20D15     

On Some Isomorphism on the Category of b-Spaces

Given a nuclear b-space N, we show that if is a finite or -finite measure space and 1p, then the functors L _loc ^p (,N.) and NL ^p (,.) are isomorphic on the category of b-spaces of L. Waelbroeck.     

On Cross-intersecting Families of Sets

A family of -element subsets and a family of k-element subsets of an n-element set are cross-intersecting if every set from has a nonempty intersection with every set from . We compare two previously established inequalities each related to the maximization of the product , and give a new and short proof for one of them. We also determine the maximum of for arbitrary positive weights ,_k.     

A Stationary Rho-Mixing Markov Chain Which Is Not “Interlaced” Rho-Mixing

A strictly stationary, countable-state Markov chain is constructed which is -mixing (with arbitrarily fast mixing rate) but fails to be *-mixing (interlaced-mixing).     

On σ-discrete borel mappings via quasi-metrics

Let X and Y be metrizable spaces. We show that, for a mapping f : X Y, there exists a quasi-metric X inducing the topology of X such that f regarded as a mapping from (X, max{, ^–1}) to Y is continuous if and only if f in the original topology of X is a -discrete map of Borel class 1. Further, we prove that, for every -discrete mapping f: X Y of Borel class + 1, there exists a compatible quasi-metric on X such that f : (X, max{, ^–1}) Y is of Borel class . We also investigate a more general situation when the range of the mapping under consideration is not necessarily metrizable. In passing, we obtain some results related to the behaviour of absolutely Borel sets and absolutely analytic spaces with respect to compatible quasi-metrics.     

Generalizations of Perfect, Semiperfect, and Semiregular Rings

For a ring R and a right R-module M, a submodule N of M is said to be -small in M if, whenever N + X = M with M/X singular, we have X = M. If there exists an epimorphism p: P M such that P is projective and Ker(p) is -small in P, then we say that P is a projective -cover of M. A ring R is called -perfect (resp., -semiperfect, -semiregular) if every R-module (resp., simple R-module, cyclically presented R-module) has a projective -cover. The class of all -perfect (resp., -semiperfect, -semiregular) rings contains properly the class of all right perfect (resp., semiperfect, semiregular) rings. This paper is devoted to various properties and characterizations of -perfect, -semiperfect, and -semiregular rings. We define (R) by (R)/Soc(R_R) = Jac(R/Soc(R_R)) and show, among others, the following results:

Rigidity and the lower bound theorem 1

Summary For an arbitrary triangulated (d-1)-manifold without boundaryC withf ₀ vertices andf ₁ edges, define . Barnette proved that (C)0. We use the rigidity theory of frameworks and, in particular, results related to Cauchy's rigidity theorem for polytopes, to give another proof for this result. We prove that ford4, if (C)=0 thenC is a triangulated sphere and is isomorphic to the boundary complex of a stacked polytope. Other results: (a) We prove a lower bound, conjectured by Björner, for the number ofk-faces of a triangulated (d-1)-manifold with specified numbers of interior vertices and boundary vertices. (b) IfC is a simply connected triangulatedd-manifold,d4, and (lk(v, C))=0 for every vertexv ofC, then (C)=0. (lk(v,C) is the link ofv inC.) (c) LetC be a triangulatedd-manifold,d3. Then Ske1₁( _d+2) can be embedded in skel₁ (C) iff (C)>0. ( _d is thed-dimensional simplex.) (d) IfP is a 2-simpliciald-polytope then . Related problems concerning pseudomanifolds, manifolds with boundary and polyhedral manifolds are discussed.     

Quasifree States in Some One-Dimensional Quantum Spin Models

We use numerical methods to investigate the SU _q(N) Perk–Schultz spin chain at the special quantum parameter value q=–e ^i/N . We discover simple laws applicable to a considerable part of the Hamiltonian spectrum, which in particular contains the energy of the ground state and the nearest excitations. The phenomenological formulas obtained resemble formulas for the spectrum of the free-fermion model. We formulate several hypotheses, some of which can be justified by constructing exact solutions of the system of Bethe-ansatz equations for finite-length chains. We obtain two sets of solutions of these equations. The first corresponds to the special value of the quantum parameter q and, in particular, describes the model ground state, which is antiferromagnetic. The second set of solutions describes a part of the spectrum belonging to the sectors where the numbers n _i of particles of different types (i=0,1,...,N–1) do not exceed unity for all the types except one. For this set, we obtain a simple spectrum at arbitrary values of q. It is hypothesized that this spectrum and the solutions of the Bethe-ansatz equations found in a closed form are intimately related to the existence of a special eigenstate for the transfer matrix of the auxiliary inhomogeneous SU _q(N–1) vertex model that is involved in constructing the system of Bethe-ansatz equations of a matrioshka structure. Indirect arguments based on combinatorial properties of the wave function of the relevant state are given to support this hypothesis.     

On the quantifier complexity of Δ<Subscript> n+1</Subscript> (T)– induction

In this paper we continue the study of the theories I _n+1 (T), initiated in [7]. We focus on the quantifier complexity of these fragments and theirs (non)finite axiomatization. A characterization is obtained for the class of theories such that I _n+1 (T) is _n+2 –axiomatizable. In particular, I _n+1 (I _n+1 ) gives an axiomatization of Th _n+2 (I _n+1 ) and is not finitely axiomatizable. This fact relates the fragment I _n+1 (I _n+1 ) to induction rule for _n+1 –formulas. Our arguments, involving a construction due to R. Kaye (see [9]), provide proofs of Parsons conservativeness theorem (see [16]) and (a weak version) of a result of L.D. Beklemishev on unnested applications of induction rules for _n+2 and _n+1 formulas (see [2]).Research partially supported by grant PB96–1345 (Spanish Goverment)Mathematics Subject Classification (2000): 03F30, 03H15     

On the a.s. Cesàro-α convergence for stationary or orthogonal random variables

We give a new direct proof of the a.s. convergence of the Cesàro- means of a stationary process (X _n) when 0<<1 andE(X _n ^p )<+ with p>1 and we show that this result does not hold in general for p=1. We also consider similar questions for orthogonal random variables. Finally, we study the a.s. convergence of Riesz harmonic means.     

On the spectral density and asymptotic normality of weakly dependent random fields

For weakly stationary random fields, conditions on coefficients of linear dependence are given which are, respectively, sufficient for the existence of a continuous spectral density, and necessary and sufficient for the existence of a continuous positive spectral density. For strictly stationary random fields, central limit theorems are proved under the corresponding unrestricted -mixing condition and just finite or barely infinite second moments. No mixing rate is assumed.