The X = M conjecture of Hatayama et al. asserts the equality between the one-dimensional configuration sum X expressed as the generating function of crystal paths with energy statistics and the fermionic formula M for all affine Kac–Moody algebra. In this paper we prove the X = M conjecture for tensor products of Kirillov–Reshetikhin crystals B1,s associated to symmetric powers for all nonexcep...

We study fragments of Allen’s algebra that contain a basic relation distinct from the equality relation. We prove that such a fragment is either NPcomplete or else contained in some already known tractable subalgebra. We obtain this result by giving a new uniform description of known maximal tractable subalgebras and then systematically using an algebraic technique for description of maximal su...

We consider the C*-algebraRq generated by the representation of the q-commutation relations on the twisted Fock space. We construct a canonical unitary U (= U(q)) from the twisted Fock space to the usual Fock space, such that URqU∗ contains the extended Cuntz algebra R0, for all q ∈ (−1, 1). We prove the equality URqU∗ = R0 for q satisfying: q < 1− 2|q|+ 2|q| − 2|q| + · · ·+ 2(−1)k|q|k2 + · · ·...

We initiate the study of reducts of relational structures up to primitive positive interdefinability: After providing the tools for such a study, we apply these tools in order to obtain a classification of the reducts of the logic of equality. It turns out that there exists a continuum of such reducts. Equivalently, expressed in the language of universal algebra, we classify those locally close...

We prove that the property of excision in algebraic K-theory is for a Q-algebra A equivalent to the H-unitality of the latter. Our excision theorem, in particular, implies Karoubi's conjecture on the equality of algebraic and topological K-theory groups of stable C*-algebras. It also allows us to identify the algebraic K-theory of the symbol map in the theory of pseudodifferential operators.

Many languages make use of verbal forms to express spatial relations and distinctions. Spatial notions are lexicalized into verb roots, as in come and go; they are expressed by derivational morphology such as Ineseño Chumash maquti ‘hither and thither’ or Shasta ehée ‘downward’ (Mithun 1999: 140-141); and, I will argue, they are expressed by verbal inflectional morphology in Nez Perce. This ver...

The relation $$xy-yx=h(y)$$ , where $$h$$ is a holomorphic function, occurs naturally in the definitions of some quantum groups. To attach rigorous meaning to right-hand side this equality, we assume that $$x$$ and $$y$$ are elements Banach algebra (or an Arens–Michael algebra). We prove universal generated by commutation kind can be represented explicitly as analytic Ore extension. An analysis...

This dissertation proposes a theory of temporal implicatures, and applies it to the study of tense in Mbya Guarani. It is composed of two parts. In the first one, I discuss the analyses of temporal implicatures developed by Musan (1995, 1997) and Magri (2009). Although I argue in favor of Magri's (2009) analysis, I reject two aspects of his proposal: that tense is universally or generically qua...

Background: tense marking by deaf signers, in the Brazilian Sign Language and in written Portuguese. Aim: to analyze verbal tense inflection in written Portuguese, to verify the relationship between the performance in using verbal tense inflexion and the educational status, and to verify tense marking in the production of sentences in the Brazilian sign language and in written Portuguese. Metho...

This paper explores the role of tense information in Chinese causal analysis. Both tasks of causal type classification and causal directionality identification are experimented to show the significant improvement gained from tense features. To automatically extract the tense features, a Chinese tense predictor is proposed. Based on large amount of parallel data, our semisupervised approach impr...