Closed convex hulls,contents, and K‐spectral states

Our general result says that the closed convex hull of a set K consists of barycentres of probability contents (i.e., finitely additive set functions) on K. (Here K can be any nonempty subset of any nonempty compact convex set in any real or complex locally convex Hausdorff vector space.) In the equivalent setting of dual spaces, we give a very handy analytic criterion for a linear functional to be in the closed convex hull of a given nonempty point‐wise bounded set K of linear functionals (under some mild additional assumption). This is the notion of a K‐spectral state. Our criterion enhances the Abstract Bochner Theorem for unital commutative Banach *‐algebras (which easily follows from our result), in that it allows us to prescribe the set K on which a representing content should live. The content can be chosen to be a Radon measure if K is weak* compact. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Global Strong Solutions for the Viscous,Micropolar, Compressible Flow

In this paper, we consider the viscous, micropolar, compressible flow in one dimension. We give the proof of existence and uniqueness of strong solutions for the initial boundary problem that vacuum can be allowed initially.     

The localization sequence for the algebraic <Emphasis Type="Italic">K</Emphasis>-theory of topological <Emphasis Type="Italic">K</Emphasis>-theory

We verify a conjecture of Rognes by establishing a localization cofiber sequence of spectra \(K(\mathbb{Z})\to K(ku)\to K(KU) \to\Sigma K(\mathbb{Z})\) for the algebraic K-theory of topological K-theory. We deduce the existence of this sequence as a consequence of a dévissage theorem identifying the K-theory of the Waldhausen category of finitely generated finite stage Postnikov towers of modules over a connective \(A_\infty\) ring spectrum R with the Quillen K-theory of the abelian category of finitely generated \(\pi_{0}R\)-modules.     

非单C~*-代数α-比较性的等价刻画

给出非单C~*-代数α-比较性的等价刻画:当每个τ∈QT(■H)均为忠实时,■具有α-比较性,当且仅当对于任意的〈a〉,〈b〉∈Cu(■)且∝,若α·d_τ(a)≤在Cu(■)中成立;一般地,当QT(■H)≠Φ时,■具有α-比较性,当且仅当对于任意的,∈Cu(■),若存在η>0,使得d_τ(α)≤(α~(-1)-η)d_τ(b)(_τ∈QT(■H)),则≤在Cu(■)中成立.     

COSET DIAGRAMS FOR A HOMOMORPHIC IMAGE OF △（3, 3, k）

Let q be a prime power. By PL（Fq） the authors mean a projective line over the finite field Fq with the additional point ∞. In this article, the authors parametrize the conjugacy classes of nondegenerate homomorphisms which represent actions of △（3, 3, k） = （u, v： u^3 = v^3 = （uv）^k = 1〉on PL（Fq）, where q ≡ ±1（modk）. Also, for various values of k, they find the conditions for the existence of coset diagrams depicting the permutation actions of △（3, 3, k） on PL（Fq）. The conditions are polynomials with integer coefficients and the diagrams are such that every vertex in them is fixed by （u^-v^-）^k. In this way, they get △（3, 3, k） as permutation groups on PL（Fq）.     

Triangular embeddings of K((i-2) n,n,…,n)

For complete i-partite graphs of the form K(n₁, n, n, …, n) the largest value of n₁ that allows the graph to be triangularly-embedded into a surface is (i-2)n. In this paper the author constructs triangular embeddings into surfaces of some complete partite graphs of the form K((i-2)n, n, …, n). The embeddings are exhibited using embedding schemes but the surfaces into which K((i-2)n, n, …, n) are triangularly embedded can be seen to be particularly nice branched covers of a surface into which K(i-2, 1, 1,…,1) is triangularly embedded.     

Dynamical transition for S‐K‐T biological competing model with cross‐diffusion

The main objective of this paper is to study the dynamical transition for the S‐K‐T biological competition system with cross‐diffusion. Based on the spectral analysis, the principle of exchange of stabilities conditions for eigenvalues are obtained. By using the dynamical transition theory, 2 different types of dynamical transition for the S‐K‐T model are also derived. In addition, an example is given to illustrate our main results.     

Proper S(t,K,v)'s for t ≥ 3,v ≤ 16, |K| > 1 and Their Extensions

We characterize the proper t-wise balanced designs t-(v,K,1) for t ≥ 3, λ = 1 and v ≤ 16 with at least two block sizes. While we do not examine extensions of S(3,4,16)'s, we do determine all other possible extensions of S(3,K,v)'s for v ≤ 16. One very interesting extension is an S(4, {5,6}, 17) design.©1995 John Wiley & Sons, Inc.     

Identities with involution for the matrix algebra of order two in characteristic<Emphasis Type="Italic">p</Emphasis>

LetM ₂ (K) be the matrix algebra of order two over an infinite fieldK of characteristicp≠2. IfK is algebraically closed then, up to isomorphism, there are two involutions of first kind onM ₂ (K), namely the transpose and the symplectic. IfK is not algebraically closed, studying *-identities it is still sufficient to consider only these two involutions. We describe bases of the polynomial identities with involution in each of these cases. Supported by PhD grant from CNPq. Partially supported by CNPq and by CAPES.     

Deforming the Lie superalgebra of contact vector fields on <Emphasis Type="Italic">S</Emphasis><Superscript>1|2</Superscript> inside the Lie superalgebra of pseudodifferential operators on <Emphasis Type="Italic">S</Emphasis><Superscript>1|2</Superscript>

We classify deformations of the standard embedding of the Lie superalgebra $ \mathcal{K} $ \mathcal{K} (2) of contact vector fields on the (1, 2)-dimensional supercircle into the Lie superalgebra SΨD(S ^1|2 ) of pseudodifferential operators on the supercircle S ^1|2 . The proposed approach leads to the deformations of the central charge induced on $ \mathcal{K} $ \mathcal{K} (2) by the canonical central extension of SΨD(S ^1|2 ).     

Canonical formulas for <Emphasis Type="Italic">k</Emphasis>-potent commutative,integral, residuated lattices

Canonical formulas are a powerful tool for studying intuitionistic and modal logics. Indeed, they provide a uniform and semantic way of axiomatising all extensions of intuitionistic logic and all modal logics above K4. Although the method originally hinged on the relational semantics of those logics, recently it has been completely recast in algebraic terms. In this new perspective, canonical formulas are built from a finite subdirectly irreducible algebra by describing completely the behaviour of some operations and only partially the behaviour of some others. In this paper, we export the machinery of canonical formulas to substructural logics by introducing canonical formulas for k-potent, commutative, integral, residuated lattices (k-CIRL). We show that any subvariety of k-CIRL is axiomatised by canonical formulas. The paper ends with some applications and examples.     

Regularity for weakly (K1, K2)-quasiregular mappings

In this paper, we first give the definition of weakly (K1, K2)-quasiregular mappings, and then by using the Hodge decomposition and the weakly reverse Holder inequality, we obtain their regularity property: For any ql that satisfies 0 < K1n(n+4)/22n+1 × 100n2[23n/2(25n + 1)](n - q1) < 1, there exists p1 = p1(n, q1, K1, K2) > n, such that any (K1, K2)-quasiregular mapping f ∈W(loc)(1,q1)(Ω,Rn) is in fact in W(loc)(1,p1)(Ω,Rn). That is, f is (K1, K2)-quasiregular in the usual sense.     

OI_n的理想K(n,r)的极大逆子半群

Xn为n元有限集,OIn为Xn上的一切保序严格部分一一变换半群.记K(n,r)={α∈OIn∶|Tmα|≤r}(0≤r≤n-1)则K(n,r)(0≤r≤n-1)是OIn的理想.我们刻划了K(n,r)(1≤r≤n-1)的极大逆子半群.     

Assessing the Impact of a Statewide STEM Investment on K–12, Higher Education,and Business/Community STEM Awareness Over Time

Despite monetary and educational investments in science, technology, engineering, and mathematics (STEM) being at record high levels, little attention has been devoted to generating a common understanding of STEM. In addition, working with business, K–12 schools, and/or institutions of higher education to establish a grassroots effort to help community members understand the importance of STEM regarding the future prosperity of the United States in general, and specifically the preparedness of children for careers of now and the future, has been nonexistent. The purpose of our study is to assess the impact of a statewide STEM professional development program implemented for two years on STEM awareness over time among various community stakeholders (i.e., K–12 teachers, higher education faculty, and business members). STEM awareness and beliefs about STEM engagement, resources, student preparation, and careers all improved over time for all groups. However, business members had the greatest growth over time and held significantly higher awareness compared with the other groups in most areas. Our findings suggest that a statewide STEM partnership/network model is a viable option for growing collective impact and sustainability of STEM K–12 education.     

Invariant subspaces for operators in a general II<Subscript>1</Subscript>-factor

Let ℳ be a von Neumann factor of type II₁ with a normalized trace τ. In 1983 L. G. Brown showed that to every operator T∈ℳ one can in a natural way associate a spectral distribution measure μ _T (now called the Brown measure of T), which is a probability measure in ℂ with support in the spectrum σ(T) of T. In this paper it is shown that for every T∈ℳ and every Borel set B in ℂ, there is a unique closed T-invariant subspace affiliated with ℳ, such that the Brown measure of is concentrated on B and the Brown measure of is concentrated on ℂ∖B. Moreover, is T-hyperinvariant and the trace of is equal to μ _T(B). In particular, if T∈ℳ has a Brown measure which is not concentrated on a singleton, then there exists a non-trivial, closed, T-hyperinvariant subspace. Furthermore, it is shown that for every T∈ℳ the limit exists in the strong operator topology, and the projection onto is equal to 1_[0,r](A), for every r>0. Supported by The Danish National Research Foundation.     

Localization and tensorization properties of the curvature-dimension condition for metric measure spaces, II

This is an addendum to the paper [K. Bacher, K.T. Sturm, Localization and tensorization properties of the curvature-dimension condition for metric measure spaces, J. Funct. Anal. 259 (2010) 28-56]. We prove the tensorization property for the curvature-dimension condition, add some detailed calculations - including explicit dependence of constants - and comment on assumptions and conjectures concerning the local-to-global statement in Bacher and Sturm (2010) [1] and Villani (2009) [6], respectively.     

混合新几何体Γ_(-p，i)K的不等式

近来,Lutwak,Yang和Zhang提出了新几何体Γ_(-p)K的概念,获得一些结论.本文引入混合新几何体Γ_(-p,i)K的概念,即新几何体是它的特殊类,得到了混合新几何体的一些性质,并建立了相关的不等式.     

Going up of the <Emphasis Type="Italic">u</Emphasis>-invariant over formally real fields

Let F be a field of characteristic not 2, and assume that F has finite reduced stability. Let K/F be any finite extension. We prove that if the general u-invariant u(F) is finite, then u(K) is finite. This article is based on part of the author’s Ph.D. thesis, written under the supervision of Richard Elman.     

Rank of <Emphasis Type="Italic">K</Emphasis><Subscript>2</Subscript> of elliptic curves

We prove that (i) rank(K2(E)) 1 for all elliptic curves E defined over Q with a rational torsion point of exact order N 4; (ii) rank(K2(E)) 1 for all but at most one R-isomorphism class of elliptic curves E defined over Q with a rational torsion point of exact order 3. We give some sufficient conditions for rank(K2(EZ)) 1.     

Weak interpolation in extensions of the logics <Emphasis Type="Italic">S</Emphasis><Subscript>4</Subscript> and <Emphasis Type="Italic">K</Emphasis><Subscript>4</Subscript>

Conditions are specified which are necessary and sufficient for a logic over K4 to possess the weak interpolation property. For this goal to be met, simple transitive modal algebras are described, and we establish a criterion for the class of such algebras to be amalgamable. For extensions of K4, the weak interpolation property is proved decidable. Supported by RFBR (project No. 06-01-00358) and by the Council for Grants (under RF President) and State Aid of Leading Scientific Schools (grant NSh-335.2008.1). __________ Translated from Algebra i Logika, Vol. 47, No. 6, pp. 705–722, November–December, 2008.