We prove that the height of any algebraic computation tree for deciding membership in a semialgebraic set Σ ⊂ Rn is bounded from below by c1 log(bm(Σ)) m+ 1 − c2n, where bm(Σ) is the m-th Betti number of Σ with respect to “ordinary” (singular) homology, and c1, c2 are some (absolute) positive constants. This result complements the well known lower bound by Yao [7] for locally closed semialgebra...

School of Mathematical and Statistical Sciences, Arizona State University Abstract. Reiner-Stanton-White defined the cyclic sieving phenomenon (CSP) associated to a finite cyclic group action on a finite set and a polynomial. Sagan observed the CSP on the set of non-crossing matchings on [2n] := {1, 2, . . . , 2n} using the cyclic group C2n generated by a cyclic shift of order 2n and the q-Cata...

Earlier studies of influenza-specific CD8(+) T cell immunodominance hierarchies indicated that expression of the H2K(k) MHC class I allele greatly diminishes responses to the H2D(b)-restriced D(b)PA(224) epitope (acid polymerase, residues 224-233 complexed with H2D(b)). The results suggested that the presence of H2K(k) during thymic differentiation led to the deletion of a prominent Vβ7(+) subs...

A single locus, tentatively denoted Srlv-1 (susceptibility to radiation leukemia virus [RadLV]-1), confers dominant susceptibility to RadLV-induced leukemogenesis. Srlv-1 is not linked to H-2, and appears to be distinct from Fv-1 and Fv-2. Preliminary data suggest that Srlv-1 affected virus proliferation. A striking feature of this system is that Srlv-1 overrides the protection afforded by the ...