TheO(n3) algorithm for a special case of the maximum cost-to-time ratio cycle problem and its coherence with an eigenproblem of a matrix

Let twon×n matrices be given, namely a real matrixA=(a_ij) and a (0, 1)-matrixT=(t_ij). For a cyclic permutation=(i ₁,i ₂,...,i _k) of a subset of N={1, 2, ..., n} we define _A;T(), the cost-to-time ratio weight of, as . This paper presents an O(n³) algorithm for finding (A;T)=max _A;T(), the maximum cost-to-time ratio weight of the matricesA andT. Moreover a generalised eigenproblem is proposed.     

Adjoints of slant Toeplitz operators

In this paper, we will use the Birkhoff's ergodic theorem to do some finer analysis on the spectral properties of slant Toeplitz operators. For example, we will show that if is an invertibleL function on the unit circle, then almost every point in (A ^* ) is not an eigenvalue ofA ^* . More specifically, we will show that the point spectrum ofA ^* is contained in a circle with positive radius.     

On the On-line Number of Snacks Problem

In the number of snacks problem (NSP), which was originally proposed by our team, an on-line player is given the task of deciding how many shares of snacks his noshery should prepare each day. The on-line player must make his decision and then finish the preparation before the customers come to his noshery for the snacks; in other words, he must make decision in an on-line fashion. His goal is to minimize the competitive ratio, defined as _: C_A()/C_OPT(), where denotes a sequence of numbers of customers, C _OPT() is the cost of satisfying by an optimal off-line algorithm, and C _A() is the cost of satisfying by an on-line algorithm. In this paper we give a competitive algorithm for on-line number of snacks problem P1, the Extreme Numbers Harmonic Algorithm(ENHA), with competitive ratio 1+p(M-m)/(M+m), where M and m are two extreme numbers of customers over the total period of the game, and p is a ratio concerning the cost of the two types of situations, and then prove that this competitive ratio is the best one if an on-line player chooses a fixed number of shares of snacks for any sequence of numbers of customers. We also discuss several variants of the NSP and give some results for it. Finally, we propose a conjecture for the on-line NSP.     

Noncommutative Valuation Rings of the Quotient Artinian Ring of a Skew Polynomial Ring

Let R be a Dubrovin valuation ring of a simple Artinian ring Q and let Q[X,] be the skew polynomial ring over Q in an indeterminate X, where is an automorphism of Q. Consider the natural map from Q[X,]_XQ[X,] to Q, where Q[X,]_XQ[X,] is the localization of Q[X,] at the maximal ideal XQ[X,] and set , the complete inverse image of R by . It is shown that is a Dubrovin valuation ring of Q(X,) (the quotient ring of Q[X,]) and it is characterized in terms of X and Q. In the case where R is an invariant valuation ring, the given automorphism is classified into five types, in order to study the structure of (the value group of ). It is shown that there is a commutative valuation ring R with automorphism which belongs to each type and which makes Abelian or non-Abelian. Furthermore, some examples are used to show that several ideal-theoretic properties of a Dubrovin valuation ring of Q with finite dimension over its center, do not necessarily hold in the case where Q is infinite-dimensional. Presented by A. VerschorenMathematics Subject Classifications (2000) 16L99, 16S36, 16W60.     

The Connes–Moscovici Approach to Cyclic Cohomology for Compact Quantum Groups

Consider the Hopf algebra (A, ) of regular functions on a compact quantum group. Let (A ^o ,) denote its maximal dual Hopf algebra. We show that the tensor product Hopf algebra (H ₂,₂) of (A ^o ,) and its opposite Hopf algebra is endowed with a modular pair (,) in involution; a notion introduced by A. Connes and J. Moscovici, who associate canonically a cocyclic object to such Hopf algebras. Denote the Hopf cyclic cohomology thus obtained by HC ^* _(,)(H ₂). Next we define an action of H ₂),₂ on A and show that the Haar state of (A, ) is a -invariant -trace on A with respect to this action. This gives us a canonical map from HC ^* _(,)(H ₂) to the ordinary cyclic cohomology of A.     

Isolated point of spectrum ofP-hyponormal, log-hyponormal operators

LetT B(H) be a bounded linear operator on a complex Hilbert spaceH. Let ₀ (T) be an isolated point of (T) and let be the Riesz idempotent for ₀. In this paper, we prove that ifT isp-hyponormal or log-hyponormal, thenE is self-adjoint andE H=ker(H–₀)=ker(H–₀ ^*.This research was supported by Grant-in-Aid Research 1 No. 12640187.     

An Inequality for Tail Probabilities of Martingales with Bounded Differences

Let M _n =X₁+...+X_n be a martingale with bounded differences X_m=M_m-M_m-1 such that {|X_m| _m}=1 with some nonnegative _m. Write ²= ₁ ² + ... + _n ² . We prove the inequalities {M _nx}c(1-(x/)), {M _n x} 1- c(1- (-x/)) with a constant . The result yields sharp inequalities in some models related to the measure concentration phenomena.     

Boundary control of heat conduction

The paper considers control of the heat conduction process u_t — u = g from the initial state u(x, 0) to the final state u(x, t₁) in a fixed (finite) time t₁ via the coefficient (z) in the boundary condition Bu = (u/n) + (x)u. A uniqueness theorem is proved for the problem to find the process—control pair (u, ). The control problem is posed in terms of the coefficient in a boundary condition of the form Bu = (u/n) + (t)u.Translated from Nelineinye Dinamicheskie Sistemy: Kachestvennyi Analiz i Upravlenie — Sbornik Trudov, No. 3, pp. 93–97, 1993.     

On the spectrum determined growth assumption and the perturbation ofC 0 semigroups

The spectrum determined growth property ofC ₀ semigroups in a Banach space is studied. It is shown that ifA generates aC ₀ semigroup in a Banach spaceX, which satisfies the following conditions: 1) for any >s(A), sup{R(;A) | Re}<; 2) there is a ₀>(A) such that , xX, and , fX ^*, then (A=s(A). Moreover, it is also shown that ifA=A ₀+B is the infinitesimal generator of aC ₀ semigroup in Hilbert space, whereA ₀ is a discrete operator andB is bounded, then (A)=s(A). Finally the results obtained are applied to wave equation and thermoelastic system.     

On the continuity of the spectrum in certain Banach algebras

In this paper we describe some classes of linear operatorsTL(H) (mainly Toeplitz, Wiener-Hopf and singular integral) on a Hilbert spacesH such that the spectrum (T, L(H)) is continuous at the pointsT from these classes. We also describe some subalgebras of the algebras for which the spectrum (x,) becomes continuous at the pointsx when (x,) is restricted to the subalgebra . In particular, we show that the spectrum (x,) is continuous in Banach algebras with polynomial identities. Examples of such algebras are given.This research was partially supported by the Israel Science Foundation founded by the Israel Academy of Sciences and Humanities.     

On the error term in the mean square formula for the Riemann zeta-function in the critical strip

For 1/2<<1 fixed, letE (T) denote the error term in the asymptotic formula for . We obtain some new bounds forE (T), and an _-result which is the analogue of the strongest _-result in the classical Dirichlet divisor problem.     

Stress relaxation: Experiment,theory, and computer simulation

Experimental evidence on stress relaxation is analyzed first for a wide variety of classes of materials: metals and their alloys, synthetic and natural polymers, glasses and frozen non-polymeric organic liquids. Common features of curves (t) of relaxation of stress a as a function of time t are discussed, and the importance of the internal stress _i() noted. Theoretical approaches are then reviewed, with particular attention to the cooperative model and its modifications; that model corresponds well to the experimental results. Some simulation results obtained with the method of molecular dynamics are reported for ideal metal lattices, metal lattices with defects, and for polymeric systems. In agreement with both experiments and the cooperative theory, the simulated (log t) curves exhibit three regions: initial, nearly horizontal, starting at ₀; central, descending approximately linearly; and final, corresponding to _i. In agreement with the theory, the slope of the simulated central part is proportional to the initial effective stress ₀*= ₀– _i. The time range taken by the central part is strongly dependent on the defect concentration: the lower the defect concentration, the shorter the range. Imposition in the beginning of a high strain destroys largely the resistance of a material to deformation, resulting in low values of the internal stress _i. On the joint basis of experimental, theoretical, and numerical results, we explain the mechanism of stress relaxation in terms of deformations occuring in the immediate environment of the defects. Simulations show several common features in the behavior of metals and polymers. Apart from the defect concentration, the amount of free volumev _f is also important.Published in Mekhanika Kompozitnykh Materialov, Vol. 31, No. 5, pp. 591–606, September–Ocotober, 1995.     

The connection between the zeros of the ζ-function and sequences(g(p)), p prime,mod 1

In this paper we give the connection between the zeros of the -function and sequences(g(p)), p prime, mod 1 ifg(x)=x for 0, >0 or ifg(X) is a polynomial in .     

φ-Factors for Function Seminorms

Let (, A, ) be a measure space, a function seminorm on M, the space of measurable functions on , and M the space {f M : (f) < }. Every Borel measurable function : [0, ) [0, ) induces a function : M M by (f)(x) = (|f(x)|). We introduce the concepts of -factor and -invariant space. If is a -subadditive seminorm function, we give, under suitable conditions over , necessary and sufficient conditions in order that M be invariant and prove the existence of -factors for . We also give a characterization of the best -factor for a -subadditive function seminorm when is -finite. All these results generalize those about multiplicativity factors for function seminorms proved earlier.     

Reduction of operators with almost periodic symbols to operators overC *-Algebras on sections of associated bundles over a torus

A decomposition of any pseudodifferential operator (D) onR ⁿ with almost periodic symbol as 113-1 1 is obtained in the paper, where _A (D) is a pseudodifferential operator over a certainC ^*-algebraA acting on sections of a vector bundle over a torusT ⁿ whose fibre isA. The coincidence of spectra sp (D) = sp _A (D) is proved for all (D) either bounded or elliptic.     

Harmonic functions on nilpotent groups

For a probability measure on a locally compact groupG which is not supported on any proper closed subgroup, an elementF ofL (G) is called -harmonic if F(st)d(t)=F(s), for almost alls inG. Constant functions are -harmonic and it is known that for abelianG all -harmonic functions are constant. For other groups it is known that non constant -harmonic functions exist and the question of whether such functions exist on nilpotent groups is open, though a number of partial results are known. We show that for nilpotent groups of class 2 there are no non constant -harmonic functions. Our methods also enable us to give new proofs of results similar to the known partial results.     

Compact operators whose singular numbers have powerlike asymptotics

For a compact operator in a Hilbert space, let s_n(A), n =1, 2,... be the singular numbers and let N(s; A) =card{n N:s_n(A)>, s>0. For 0

a _p and not on the individual elementAa, (H. Weyl's lemma); this allows us to write _p (a), _pp (a), a_p. One obtains certain results regarding the functionals _p, _p (and about the analogous functionals for the positive and negative eigenvalues in the casea=a ^*=A ^*:A a. In particular: I. Ifa ₁ a _2p, then. II.Let a ₁,a _{2 pP} ,.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matetmaticheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 126, pp. 21–30, 1983.     

Taut Distance-Regular Graphs of Odd Diameter

Let denote a bipartite distance-regular graph with diameter D 4, valency k 3, and distinct eigenvalues ₀ > ₁ > ··· > _D. Let M denote the Bose-Mesner algebra of . For 0 i D, let E _i denote the primitive idempotent of M associated with _i . We refer to E ₀ and E _D as the trivial idempotents of M. Let E, F denote primitive idempotents of M. We say the pair E, F is taut whenever (i) E, F are nontrivial, and (ii) the entry-wise product E F is a linear combination of two distinct primitive idempotents of M. We show the pair E, F is taut if and only if there exist real scalars , such that _{i + 1 i + 1} – _{i – 1 i – 1} = _i ( _{i + 1} – _{i – 1}) + _i ( _{i + 1} – _{i – 1}) + (1 i D – 1)where ₀, ₁, ..., _D and ₀, ₁, ..., _D denote the cosine sequences of E, F, respectively. We define to be taut whenever has at least one taut pair of primitive idempotents but is not 2-homogeneous in the sense of Nomura and Curtin. Assume is taut and D is odd, and assume the pair E, F is taut. We show

Noetherian Equations for Matrices

Let L|K be a finite Galois extension. Using central simple algebras we deal with the crossed representations of G = Gal(L|K) over L which are defined as mappings X of G into GL_n(L) satisfying X = X X. The last equation is the Noetherian equation in case n=1. Furtheron, more general crossed projective representations are considered which obey an equation X X = Xf_, where f_, L.     

Logarithms and imaginary powers of closed linear operators

The imaginary powersA ^it of a closed linear operatorA, with inverse, in a Banach spaceX are considered as aC ₀-group {exp(itlogA);t R} of bounded linear operators onX, with generatori logA. Here logA is defined as the closure of log(1+A) – log(1+A ^–1). LetA be a linearm-sectorial operator of typeS(tan ), 0(/2), in a Hilbert spaceX. That is, |Im(Au, u)| (tan )Re(Au, u) foru D(A). Then ±ilog(1+A) ism-accretive inX andilog(1+A) is the generator of aC ₀-group {(1+A) ^it ;t R} of bounded imaginary powers, satisfying the estimate (1+A) ^it exp(|t|),t R. In particular, ifA is invertible, then ±ilogA ism-accretive inX, where logA is exactly given by logA=log(1+A)–log(1+A ^–1), and {A ^it;t R} forms aC ₀-group onX, with the estimate A ^it exp(|t|),t R. This yields a slight improvement of the Heinz-Kato inequality.