C~*-index of observable algebras in G-spin model

In two-dimensional lattice spin systems in which the spins take values in afinite group G,one can define a field algebra F which carries an action of a Hopf algebraD(G),the double algebra of G and moreover,an action of D(G;H),which is a subalgebraof D(G)determined by a subgroup H of G,so that F becomes a modular algebra.Theconcrete construction of D(G;H)-invariant subspace A_H in F is given.By constructingthe quasi-basis of conditional expectation γ_G of A_H onto A_G,the C~*-index of γ_G is exactlythe index of H in G.     

On representation theorem of <Emphasis Type="Italic">G</Emphasis>-expectations and paths of <Emphasis Type="Italic">G</Emphasis>-Brownian motion

We give a very simple and elementary proof of the existence of a weakly compact family of probability measures {Pθ ： θ∈θ} representing an important sublinear expectation- G-expectation E[·]. We also give a concrete approximation of a bounded continuous function X（ω） by an increasing sequence of cylinder functions Lip（Ω） in order to prove that Cb（Ω） belongs to the completion of Lip（Ω） under the natural norm E[｜·｜].     

Free <Emphasis Type="Italic">G</Emphasis>-spaces and maximal equivariant compactifications

For a compact Lie group G we prove that every free (resp., semifree) G-space admits a based-free (resp., semifree) G-compactification. Examples of finite- and infinite-dimensional G-spaces are presented that do not admit a free or based-free G-compactification. We give several characterizations of the maximal G-compactification β_GX that are further applied to prove the formula (β_GX)/H=β_G/H(X/H) for arbitrary closed normal subgroup H⊂G. Mathematics Subject Classification (2000) 54H15, 54D35     

On Resolvable Multipartite <Emphasis Type="Italic">G</Emphasis>-Designs

A necessary and sufficient condition for the existence of a _km–factorization of the complete symmetric k–partite multi-digraph K*(n₁,n₂,...,n_k) is obtained for odd k. As a consequence, a resolvable (k,n,km,) multipartite _km–design exists for odd k if and only if m|n. This deduces a result of Ushio when m=1 and k=3. Further, a necessary and sufficient condition for the existence of a _km–factorization of is established for even k, where denotes the wreath product of graphs. Finally, a simple and short proof for the non-existence of a _k–factorization of is obtained for odd k.Acknowledgments.The author thanks Dr. P. Paulraja for his useful ideas in writing this paper and the Department of Science and Technology, New Delhi, for its support (Project Grant No. DST/MS/103/99).Final version received: November 17, 2003     

On the <Emphasis Type="Italic">G</Emphasis>-compactifications of the rational numbers

We show that for any sufficiently homogeneous metrizable compactum X there is a Polish group G acting continuously on the space of rational numbers such that X is its unique G-compactification. This allows us to answer Problem 995 in the ‘Open Problems in Topology II’ book in the negative: there is a one-dimensional Polish group G acting transitively on for which the Hilbert cube is its unique G-completion.      

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.      

On <Emphasis Type="Italic">G</Emphasis>-invex multiobjective programming. Part II. Duality

This paper represents the second part of a study concerning the so-called G-multiobjective programming. A new approach to duality in differentiable vector optimization problems is presented. The techniques used are based on the results established in the paper: On G-invex multiobjective programming. Part I. Optimality by T.Antczak. In this work, we use a generalization of convexity, namely G-invexity, to prove new duality results for nonlinear differentiable multiobjective programming problems. For such vector optimization problems, a number of new vector duality problems is introduced. The so-called G-Mond–Weir, G-Wolfe and G-mixed dual vector problems to the primal one are defined. Furthermore, various so-called G-duality theorems are proved between the considered differentiable multiobjective programming problem and its nonconvex vector G-dual problems. Some previous duality results for differentiable multiobjective programming problems turn out to be special cases of the results described in the paper.     

The Proof of Inseparable Prime AW^＊—Algebras Being Primitive C^＊—Algebras

The relation between the inseparable prime C^*-algebras and primitive C^*-algebras is studied,and we prove that prime AW^*-algebras are all primitive C^*-algebras.     

(<Emphasis Type="Italic">s</Emphasis>, <Emphasis Type="Italic">t</Emphasis>, <Emphasis Type="Italic">d</Emphasis>)-bi-Koszul algebras

The paper focuses on the 1-generated positively graded algebras with non-pure resolutions and mainly discusses a new kind of algebras called(s,t,d)-bi-Koszul algebras as the generalization of bi-Koszul algebras. An(s,t,d)-bi-Koszul algebra can be obtained from two periodic algebras with pure resolutions. The generation of the Koszul dual of an(s,t,d)-bi-Koszul algebra is discussed. Based on it,the notion of strongly(s,t,d)-bi-Koszul algebras is raised and their homological properties are further discussed.     

On <Emphasis Type="Italic">G</Emphasis>-invex multiobjective programming. Part I. Optimality

In this paper, a generalization of convexity, namely G-invexity, is considered in the case of nonlinear multiobjective programming problems where the functions constituting vector optimization problems are differentiable. The modified Karush-Kuhn-Tucker necessary optimality conditions for a certain class of multiobjective programming problems are established. To prove this result, the Kuhn-Tucker constraint qualification and the definition of the Bouligand tangent cone for a set are used. The assumptions on (weak) Pareto optimal solutions are relaxed by means of vector-valued G-invex functions.     

On Homomorphisms between <Emphasis Type="Italic">C</Emphasis>*-Algebras and Linear Derivations on <Emphasis Type="Italic">C</Emphasis>*-Algebras

It is shown that every almost linear Pexider mappings f, g, h from a unital C*-algebra into a unital C*-algebra ℬ are homomorphisms when f(2 ⁿ _uy) = f(2 ⁿ u)f(y), g(2 ⁿ uy) = g(2 ⁿ u)g(y) and h(2 ⁿ uy) = h(2 ⁿ u)h(y) hold for all unitaries u ∈ , all y ∈ , and all n ∈ ℤ, and that every almost linear continuous Pexider mappings f, g, h from a unital C*-algebra of real rank zero into a unital C*-algebra ℬ are homomorphisms when f(2 ⁿ uy) = f(2 ⁿ u)f(y), g(2 ⁿ uy) = g(2 ⁿ u)g(y) and h(2 ⁿ uy) = h(2 ⁿ u)h(y) hold for all u ∈ {v ∈ : v = v* and v is invertible}, all y ∈ and all n ∈ ℤ. Furthermore, we prove the Cauchy-Rassias stability of *-homomorphisms between unital C*-algebras, and ℂ-linear *-derivations on unital C*-algebras. This work was supported by Korea Research Foundation Grant KRF-2003-042-C00008. The second author was supported by the Brain Korea 21 Project in 2005.     

Problem of invariant subspaces in <Emphasis Type="Italic">C</Emphasis>*-algebras

Let A be a separable simple C*-algebra. For each ;) on A such that π(a) has a non-trivial invariant subspace in Hπ.     

<Emphasis Type="Italic">C</Emphasis>*-Homomorphisms and duality of <Emphasis Type="Italic">C</Emphasis>*-discrete quantum groups

Let

Open image in new window

be a C*-discrete quantum group and let

Open image in new window

be the discrete quantum group associated with

Open image in new window

. Suppose that there exists a continuous action of

Open image in new window

on a unital C*-algebra

Open image in new window

so that

Open image in new window

becomes a

Open image in new window

-algebra. If there is a faithful irreducible vacuum representation π of

Open image in new window

on a Hilbert space H =

Open image in new window

with a vacuum vector Ω, which gives rise to a

Open image in new window

-invariant state, then there is a unique C*-representation (θ, H) of

Open image in new window

supplemented by the action. The fixed point subspace of

Open image in new window

under the action of

Open image in new window

is exactly the commutant of θ(

Open image in new window

).

     

Cyclic Descents and <Emphasis Type="Italic">P</Emphasis>-Partitions

Louis Solomon showed that the group algebra of the symmetric group _n has a subalgebra called the descent algebra, generated by sums of permutations with a given descent set. In fact, he showed that every Coxeter group has something that can be called a descent algebra. There is also a commutative, semisimple subalgebra of Solomon's descent algebra generated by sums of permutations with the same number of descents: an “Eulerian” descent algebra. For any Coxeter group that is also a Weyl group, Paola Cellini proved the existence of a different Eulerian subalgebra based on a modified definition of descent. We derive the existence of Cellini's subalgebra for the case of the symmetric group and of the hyperoctahedral group using a variation on Richard Stanley's theory of P-partitions.     

Isometric isomorphisms in proper <Emphasis Type="Italic">CQ</Emphasis>*-algebras

In this paper, we prove the Hyers-Ulam-Rassias stability of isometric homomorphisms in proper CQ＊-algebras for the following Cauchy-Jensen additive mapping： 2f[（x1＋x2）/2＋y]=f（x1）＋f（x2）＋2f（y） The concept of Hyers-Ulam-Rassias stability originated from the Th.M. Rassias＇ stability theorem that appeared in the paper： On the stability of the linear mapping in Banach spaces, Proc. Amer. Math. Soc., 72 （1978）, 297-300. This is applied to investigate isometric isomorphisms between proper CQ＊-algebras.     

Riesz <Emphasis Type="Italic">s</Emphasis>-Equilibrium Measures on <Emphasis Type="Italic">d</Emphasis>-Rectifiable Sets as <Emphasis Type="Italic">s</Emphasis> Approaches <Emphasis Type="Italic">d</Emphasis>

Let A be a compact set in of Hausdorff dimension d. For s ∈ (0,d) the Riesz s-equilibrium measure μ ^s is the unique Borel probability measure with support in A that minimizes

<Emphasis Type="Italic">W</Emphasis><Superscript>1,<Emphasis Type="Italic">p</Emphasis></Superscript>(R<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>)-boundedness for maximal functions

In this paper, we get W ^1,p (R ⁿ )-boundedness for tangential maximal function and nontangential maximal function, which improves J.Kinnunen, P.Lindqvist and Tananka’s results. Supported by the key Academic Discipline of Zhejiang Province of China under Grant No.2005 and the Zhejiang Provincial Natural Science Foundation of China.     

Some Notes on <Emphasis Type="Italic">C</Emphasis>- and <Emphasis Type="Italic">C</Emphasis>*-quotients of Frames

We characterise C*-quotients and C-quotients of completely regular frames in terms of ?ech-Stone compactifications and Lindelöfications, respectively. The latter is a frame-theoretic result with no spatial counterpart. We also characterise C*-quotients and dense C-quotients of completely regular frames in terms of normal covers.     

Dual <Emphasis Type="Italic">R</Emphasis>-matrix integrability

Using the R-operator on a Lie algebra satisfying the modified classical Yang-Baxter equation, we define two sets of functions that mutually commute with respect to the initial Lie-Poisson bracket on . We consider examples of the Lie algebras with the Kostant-Adler-Symes and triangular decompositions, their R-operators, and the corresponding two sets of mutually commuting functions in detail. We answer the question for which R-operators the constructed sets of functions also commute with respect to the R-bracket. We briefly discuss the Euler-Arnold-type integrable equations for which the constructed commutative functions constitute the algebra of first integrals. __________ Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 155, No. 1, pp. 147–160, April, 2008.     

<Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript> discrepancy of generalized two-dimensional Hammersley point sets

We determine the L _p discrepancy of the two-dimensional Hammersley point set in base b. These formulas show that the L _p discrepancy of the Hammersley point set is not of best possible order with respect to the general (best possible) lower bound on L _p discrepancies due to Roth and Schmidt. To overcome this disadvantage we introduce permutations in the construction of the Hammersley point set and show that there always exist permutations such that the L _p discrepancy of the generalized Hammersley point set is of best possible order. For the L ₂ discrepancy such permutations are given explicitly. F.P. is supported by the Austrian Science Foundation (FWF), Project S9609, that is part of the Austrian National Research Network “Analytic Combinatorics and Probabilistic Number Theory”.