Counting cycles and finite dimensional L norms

We obtain sharp bounds for the number of n-cycles in a finite graph as a function of the number of edges, and prove that the complete graph is optimal in more ways than could be imagined. We prove sharp estimates on both ∑_i=1ⁿx_i^k and ∑_i=1ⁿ|x_i|^k, subject to the constraints that ∑_i=1ⁿx_i²=C and ∑_i=1ⁿx_i=0.     

The Algebraic K-Theory of Operator Algebras

We the study the algebraic K-theory of C *-algebras, forgetting the topology. The main results include a proof that commutative C*-algebras are K-regular in all degrees (that is, all theirN ^T K _iand extensions of the Fischer-Prasolov Theorem comparing algebraic and topological K-theory with finite coefficients.     

Extremal K -Theory and Index for C*-Algebras

We develop the general theory for a new functor K _e on the category of C ^*-algebras. The extremal K-set, K _e (A), of a C ^*-algebra A is defined by means of homotopy classes of extreme partial isometries. It contains K ₁ (A) and admits a partially defined addition extending the addition in K ₁ (A), so that we have an action of K ₁ (A) on K _e (A). We show how this functor relates to K ₀ and K ₁, and how it can be used as a carrier of information relating the various K-groups of ideals and quotients of A. The extremal K-set is then used to extend the classical theory of index for Fredholm and semi-Fredholm operators.     

K2 of a Ring via the G-Construction

We interpret the Steinberg symbols x_i,j(a) as homotopies contracting the elementary matrices e_i,j(a), the latters being represented by certain arcs in a simplicial model of the K-theory. We further prove the Steinberg relations for these homotopies. This provides an explicit map from K₂ of a ring, defined classically as ker(St(R) → GL(R)), to π₂ of the G-construction assigned to R. Though the two groups are known to be isomorphic, a certain work is to be done to prove that this explicit map is an isomorphism. Mathematics Subject Classification 1991: Primary 19B99, 19D99; secondary 18E10, 18F25.     

Classification of extensions of classifiable -algebras

For a certain class of extensions of C^*-algebras in which B and A belong to classifiable classes of C^*-algebras, we show that the functor which sends to its associated six term exact sequence in K-theory and the positive cones of K₀(B) and K₀(A) is a classification functor. We give two independent applications addressing the classification of a class of C^*-algebras arising from substitutional shift spaces on one hand and of graph algebras on the other. The former application leads to the answer of a question of Carlsen and the first named author concerning the completeness of stabilized Matsumoto algebras as an invariant of flow equivalence. The latter leads to the first classification result for nonsimple graph C^*-algebras.     

Symmetric K-Theory Spectra of C*-Categories

We define K-theory groups and symmetric K-theory spectra associated to ₂-graded C ^*-categories and show that the exterior product of K-theory groups can be expressed in terms of the smash product of symmetric spectra.     

Embedding an AH-Algebra into a Simple C*-Algebra with Prescribed KK-Data

Let X be a connected finite CW complex. We show that, given a positive homomorphism Hom(K _*(C(X)), K _*(A)) with [1 _C(X)][1 _A ], where A is a unital separable simple C ^*-algebra with real rank zero, stable rank one and weakly unperforated K ₀(A), there exists a homomorphism h: C(X)A such that h induces . We also prove a structure result for unital separable simple C ^*-algebras A with real rank zero, stable rank one and weakly unperforated K ₀(A), namely, there exists a simple AH-algebra of real rank zero contained in A which determines the K-theory of A.     

Fundamental groups of manifolds with <Emphasis Type="Italic">S</Emphasis><Superscript>1</Superscript>-category 2

A closed topological n-manifold M ⁿ is of S ¹-category 2 if it can be covered by two open subsets W ₁,W ₂ such that the inclusions W _i → M ⁿ factor homotopically through maps W _i → S ¹ → M ⁿ . We show that the fundamental group of such an n-manifold is a cyclic group or a free product of two cyclic groups with nontrivial amalgamation. In particular, if n = 3, the fundamental group is cyclic.      

<Emphasis Type="Italic">Φ</Emphasis>-Variation of a bifractional Brownian motion

Let B _H,K = {B _H,K (t)} _t⩾0 be a bifractional Brownian motion with parameters H ∈ (0, 1) and K ∈ (0, 1]. For a function Φ: [0, ∞) → [0, ∞) and for a partition κ = {t _i }_n ⁱ⁼⁰ of an interval [0, T] with T > 0, let {ie418-01}. We prove that, for a suitable Φ depending on H and K, {ie418-02} almost surely. The research was partially supported by the Lithuanian State Science and Studies Foundation, grant No. T-16/08     

Some greedyt-intersecting families of finite sequences

Letn, s ₁,s ₂, ... ands _n be positive integers. Assume is an integer for eachi}. For , , and , denotes _p (a)={j|1jn,a _j p}, , and . is called anI _t ^p -intersecting family if, for any a,b ,a _i b _i =min(a _i ,b _i )p for at leastt i's. is called a greedyI _t ^P -intersecting family if is anI _t ^p -intersecting family andW _p (A)W _p (B+A ^c ) for anyAS _p ( ) and any with |B|=t–1.In this paper, we obtain a sharp upper bound of | | for greedyI _t ^p -intersecting families in for the case 2ps _i (1in) ands ₁>s ₂>...>s _n .This project is partially supported by the National Natural Science Foundation of China (No.19401008) and by Postdoctoral Science Foundation of China.     

Equivalence of the C*-Algebras qℂ and C 0(ℝ2) in the Asymptotic Category

The results of Kasparov, Connes, Higson, and Loring imply the coincidence of the functors [[qℂ ⊗ K, B ⊗ K]] = [[C ₀(ℝ²) ⊗ K, B ⊗ K]] for any C*-algebra B; here[[A, B]] denotes the set of homotopy classes of asymptotic homomorphisms from A to B. Inthe paper, this assertion is strengthened; namely, it is shown that the algebras qℂ ⊗ K and C ₀(ℝ²) ⊗ K are equivalent in the category whose objects are C*-algebras and morphisms are classes of homotopic asymptotic homomorphisms. Some geometric properties of the obtained equivalence are studied. Namely, the algebras qℂ ⊗ K and C ₀(ℝ²) ⊗ K are represented as fields of C*-algebras; it is proved that the equivalence is not fiber-preserving, i.e., is does not take fibers to fibers. It is also proved that the algebras under consideration are not homotopy equivalent.__________Translated from Matematicheskie Zametki, vol. 77, no. 5, 2005, pp. 788–796.Original Russian Text Copyright ©2005 by T. V. Shul’man.     

A new look at KK-theory

We describe the Kasparov group KK(A, B) as the set of homotopy classes of homomorphisms from an algebra qA associated with A into K B. The algebra qA consists of K-theory differential forms over A. Its construction is dual to that of M ₂(A). The analysis of qA and of its interplay with M ₂(A) gives the basic results of KK-theory.Partially supported by NSF.     

The Atiyah-Segal completion theorem for C*-algebras

We generalize the Atiyah-Segal completion theorem to C ^*-algebras as follows. Let A be a C ^*-algebra with a continuous action of the compact Lie group G. If K _* ^G (A) is finitely generated as an R(G)-module, or under other suitable restrictions, then the I(G)-adic completion K _* ^G (A) is isomorphic to RK _*([A C(EG)]^G), where RK _* is representable K-theory for - C ^*-algebras and EG is a classifying space for G. As a corollary, we show that if and are homotopic actions of G, and if K _*(C ^* (G,A,)) and K _*(C ^* (G,A,)) are finitely generated, then K _*(C ^*(G,A,))K_*(C ^* (G,A,)). We give examples to show that this isomorphism fails without the completions. However, we prove that this isomorphism does hold without the completions if the homotopy is required to be norm continuous.This work was partially supported by an NSF Graduate Fellowship and by an NSF Postdoctoral Fellowship.     

A Polynomial Factorization Approach for the Discrete Time GIX/>G/1/K Queue

This paper proposes a polynomial factorization approach for queue length distribution of discrete time GI ^X /G/1 and GI _X /G/1/K queues. They are analyzed by using a two-component state model at the arrival and departure instants of customers. The equilibrium state-transition equations of state probabilities are solved by a polynomial factorization method. Finally, the queue length distributions are then obtained as linear combinations of geometric series, whose parameters are evaluated from roots of a characteristic polynomial.     

On the multi-phase M/G/1 queueing system with random feedback

In this paper we consider an M/G/1 queue with k phases of heterogeneous services and random feedback, where the arrival is Poisson and service times has general distribution. After the completion of the i-th phase, with probability θ _i the (i + 1)-th phase starts, with probability p _i the customer feedback to the tail of the queue and with probability 1 − θ _i − p _i  = q _i departs the system if service be successful, for i = 1, 2 , . . . , k. Finally in kth phase with probability p _k feedback to the tail of the queue and with probability 1 − p _k departs the system. We derive the steady-state equations, and PGF’s of the system is obtained. By using them the mean queue size at departure epoch is obtained.     

Rieffel projections in certain transformation group C*-algebras

LetA be the transformation groupC ^*-algebra associated with an arbitrary orientation-preserving homeomorphism of . ThisC ^*-algebra contains an infinite family of projections, called Rieffel projections, each of which generates theK ₀-groupK ₀(A). Although these projections must beK-theoretically equivalent, it is easy to see that most are not Murray-von Neumann equivalent. The mystery of how large the matrix algebra must be to implement theK-theory equivalence, is solved by explicitly constructing the equivalence in the smallest possible algebra:A with unit adjoined.Partially supported by NSF Grant DMS 8901923.     

A Fredholm operator approach to Morita equivalence

GivenC*-algebrasA andB and an imprimitivityA-B-bimoduleX, we construct an explicit isomorphismX _*:K _i (A)K _i (B), whereK _i denotes the complexK-theory functors fori=0, 1. Our techniques do not require separability nor the existence of countable approximate identities. We thus extend to generalC*-algebras the result of Brown, Green, and Rieffel according to which, strongly Morita equivalentC*-algebras have isomorphicK-groups. The method employed includes a study of Fredholm operators on Hilbert modules.On leave from the University of São Paulo, Brazil.     

On the <Emphasis Type="Italic">K</Emphasis>-Theory of Graph <Emphasis Type="Italic">C</Emphasis><Superscript>*</Superscript>-Algebras

We classify graph C ^*-algebras, namely, Cuntz-Krieger algebras associated to the Bass-Hashimoto edge incidence operator of a finite graph, up to strict isomorphism. This is done by a purely graph theoretical calculation of the K-theory of the C ^*-algebras and the method also provides an independent proof of the classification up to Morita equivalence and stable equivalence of such algebras, without using the boundary operator algebra. A direct relation is given between the K ₁-group of the algebra and the cycle space of the graph. We thank Jakub Byszewski for his input in Sect. 2.8. The position of the unit in K ₀( _Ч) was guessed based on some example calculations by Jannis Visser in his SCI 291 Science Laboratory at Utrecht University College.     

Torsion in Boundary Coinvariants and K -Theory for Affine Buildings

Let (G, I, N, S) be an affine topological Tits system, and let Γ be a torsion-free cocompact lattice in G. This article studies the coinvariants H ₀(Γ; C(Ω,Z)), where Ω is the Furstenberg boundary of G. It is shown that the class [1] of the identity function in H ₀(Γ; C(Ω, Z)) has finite order, with explicit bounds for the order. A similar statement applies to the K ₀ group of the boundary crossed product C ^*-algebra C(Ω)Γ. If the Tits system has type ? ₂, exact computations are given, both for the crossed product algebra and for the reduced group C ^*-algebra.     

Quantum Real Projective Space, Disc and Spheres

We define the C ^*-algebra of quantum real projective space R P _q ², classify its irreducible representations, and compute its K-theory. We also show that the q-disc of Klimek and Lesniewski can be obtained as a non-Galois Z ₂-quotient of the equator Podle quantum sphere. On the way, we provide the Cartesian coordinates for all Podle quantum spheres and determine an explicit form of isomorphisms between the C ^*-algebras of the equilateral spheres and the C ^*-algebra of the equator one.