scispace - formally typeset
Search or ask a question

Showing papers on "Operator algebra published in 2009"


Journal ArticleDOI
Seok Kim1
TL;DR: In this paper, the superconformal index for N = 6 Chern-Simons-matter theory with gauge group U ( N ) k × U (N ) − k at arbitrary allowed value of the Chern−Simons level k was calculated based on localization of the path integral for the index.

489 citations


Journal ArticleDOI
TL;DR: The results of Romelsberger for an N = 1 superconformal index counting protected operators, satisfying a BPS condition and which cannot be combined to form long multiplets, are analysed further in this paper.

417 citations


Journal ArticleDOI
TL;DR: A new theory is proposed to accurately simulate quantum dynamics in systems of identical particles based on the second quantization formalism of many-body quantum theory, which unifies the multilayer multiconfiguration time-dependent Hartree theory for both distinguishable and indistinguishable particles.
Abstract: A new theory is proposed to accurately simulate quantum dynamics in systems of identical particles. It is based on the second quantization formalism of many-body quantum theory, in which the Fock space is represented by occupation-number states. Within this representation the overall Fock space can be formally decomposed into smaller subspaces, and the wave function can be expressed as a multilayer multiconfiguration Hartree expansion involving subvectors in these subspaces. The theory unifies the multilayer multiconfiguration time-dependent Hartree theory for both distinguishable and indistinguishable particles. Specific formulations are given for systems of identical fermions, bosons, and combinations thereof. Practical implementations are discussed, especially for the case of fermions, to include the operator algebra that enforces the symmetry of identical particles. The theory is illustrated by a numerical example on vibrationally coupled electron transport.

181 citations


Journal ArticleDOI
TL;DR: In this article, the authors show how a noncommutative C*-algebra of observables A induces a topos T (A) in which the amalgamation of all of its commutative subalgebras comprises a single commutive C*algebra A. In this setting, states on A become probability measures (more precisely, valuations) on �, and self-adjoint elements of A define continuous functions fromto Scott's interval domain.
Abstract: The aim of this paper is to relate algebraic quantum mechanics to topos theory, so as to construct new foundations for quantum logic and quantum spaces. Moti- vated by Bohr's idea that the empirical content of quantum physics is accessible only through classical physics, we show how a noncommutative C*-algebra of observables A induces a topos T (A) in which the amalgamation of all of its commutative subalgebras comprises a single commutative C*-algebra A. According to the constructive Gelfand duality theorem of Banaschewski and Mulvey, the latter has an internal spectrum � (A) in T (A), which in our approach plays the role of the quantum phase space of the sys- tem. Thus we associate a locale (which is the topos-theoretical notion of a space and which intrinsically carries the intuitionistic logical structure of a Heyting algebra) to a C*-algebra (which is the noncommutative notion of a space). In this setting, states on A become probability measures (more precisely, valuations) on � , and self-adjoint elements of A define continuous functions (more precisely, locale maps) fromto Scott's interval domain. Noting that open subsets of � (A) correspond to propositions about the system, the pairing map that assigns a (generalized) truth value to a state and a proposition assumes an extremely simple categorical form. Formulated in this way, the quantum theory defined by A is essentially turned into a classical theory, internal to the topos T (A). These results were inspired by the topos-theoretic approach to quantum physics pro- posed by Butterfield and Isham, as recently generalized by Doring and Isham.

172 citations


Journal ArticleDOI
TL;DR: In this paper, it was shown that a simple vertex operator algebra generated by two weight 2 vectors is either a vertex algebra associated to an irreducible highest weight W(2, 2)- module or a tensor product of two simple Virasoro vertex operator algebras.
Abstract: In this paper the W-algebra W(2, 2) and its representation theory are studied. It is proved that a simple vertex operator algebra generated by two weight 2 vectors is either a vertex operator algebra associated to an irreducible highest weight W(2, 2)- module or a tensor product of two simple Virasoro vertex operator algebras. Furthermore, we show that any rational, C 2-cofinite and simple vertex operator algebra whose weight 1 subspace is zero, weight 2 subspace is 2-dimensional and with central charge c = 1 is isomorphic to $${L(\frac{1}{2},0)\otimes L(\frac{1}{2},0)}$$ .

120 citations


Journal ArticleDOI
TL;DR: In this article, a recursion relation for the explicit construction of integrable spin chain Hamiltonians with long-range interactions is presented, and the closed chain asymptotic Bethe equations for longrange spin chains transforming under a generic symmetry algebra are derived.
Abstract: We present a recursion relation for the explicit construction of integrable spin chain Hamiltonians with long-range interactions. Based on arbitrary shortrange (e.g. nearest neighbor) integrable spin chains, it allows us to construct an infinite set of conserved long-range charges. We explain the moduli space of deformation parameters by different classes of generating operators. The rapidity map and dressing phase in the long-range Bethe equations are a result of these deformations. The closed chain asymptotic Bethe equations for long-range spin chains transforming under a generic symmetry algebra are derived. Notably, our construction applies to generalizations of standard nearest neighbor chains such as alternating spin chains. We also discuss relevant properties for its application to planar D = 4, N = 4 and D = 3, N = 6 supersymmetric gauge theories. Finally, we present a map between long-range and inhomogeneous spin chains delivering more insight into the structures of these models, as well as their limitations at wrapping order.

97 citations


Journal ArticleDOI
TL;DR: In this paper, a theory of ordered *-vector spaces with an order unit was developed, and the authors proved fundamental results concerning positive linear functionals and states, and showed that the order (semi)norm on the space of self-adjoint elements admits multiple extensions to an order norm on the entire space.
Abstract: We develop a theory of ordered *-vector spaces with an order unit. We prove fundamental results concerning positive linear functionals and states, and we show that the order (semi)norm on the space of self-adjoint elements admits multiple extensions to an order (semi)norm on the entire space. We single out three of these (semi)norms for further study and discuss their significance for operator algebras and operator systems. In addition, we introduce a functorial method for taking an ordered space with an order unit and forming an Archimedean ordered space. We then use this process to describe an appropriate notion of quotients in the category of Archimedean ordered spaces.

97 citations


Journal ArticleDOI
TL;DR: In this paper, the concept of extremal biderivation of a triangular algebra is defined, and it is shown that under certain conditions, under certain assumptions, the extremal and inner biderivities of a triangle algebra can be combined.

81 citations


Posted Content
TL;DR: In this article, a survey of the recent goings-on in the classification of C$*$-algebras is presented, following the interesting link found between the Cuntz semigroup and the classical Elliott invariant and the fact that the Elliott conjecture does not hold at its boldest.
Abstract: In this article we survey some of the recent goings-on in the classification programme of C$^*$-algebras, following the interesting link found between the Cuntz semigroup and the classical Elliott invariant and the fact that the Elliott conjecture does not hold at its boldest. We review the construction of this object both by means of positive elements and via its recent interpretation using countably generated Hilbert modules (due to Coward, Elliott and Ivanescu). The passage from one picture to another is presented with full, concise, proofs. We indicate the potential role of the Cuntz semigroup in future classification results, particularly for non-simple algebras.

73 citations


Journal ArticleDOI
TL;DR: In this article, the ultrapower and the relative commutant of a C*-algebra or II_1 factor depend on the choice of the ultrafilter, and they extend the results of Ge-Hadwin and the first author.
Abstract: Several authors have considered whether the ultrapower and the relative commutant of a C*-algebra or II_1 factor depend on the choice of the ultrafilter. We settle each of these questions, extending results of Ge-Hadwin and the first author.

72 citations


Journal ArticleDOI
TL;DR: In this paper, a generalization of vector-valued frame theory, called operator-valued frames, is presented, which can be viewed as the multiplicity-tiplicity-one case and extends to higher multiplicity their dilation approach.
Abstract: We develop a natural generalization of vector-valued frame theory, we term operator-valued frame theory, using operator-algebraic methods. This extends work of the second author and D. Han which can be viewed as the mul- tiplicity one case and extends to higher multiplicity their dilation approach. We prove several results for operator-valued frames concerning duality, dis- jointeness, complementarity , and composition of operator valued frames and the relationship between the two types of similarity (left and right) of such frames. A key technical tool is the parametrization of Parseval operator val- ued frames in terms of a class of partial isometries in the Hilbert space of the analysis operator. We apply these notions to an analysis of multiframe gener- ators for the action of a discrete group G on a Hilbert space. One of the main results of the Han-Larson work was the parametrization of the Parseval frame generators in terms of the unitary operators in the von Neumann algebra gen- erated by the group representation, and the resulting norm path-connectedness of the set of frame generators due to the connectedness of the group of unitary operators of an arbitrary von Neumann algebra. In this paper we general- ize this multiplicity one result to operator-valued frames. However, both the parameterization and the proof of norm path-connectedness turn out to be necessarily more complicated, and this is at least in part the rationale for this paper. Our parameterization involves a class of partial isometries of a different von Neumann algebra. These partial isometries are not path-connected in the norm topology, but only in the strong operator topology. We prove that the set of operator frame generators is norm pathwise-connected precisely when the von Neumann algebra generated by the right representation of the group has no minimal projections. As in the multiplicity one theory there are analogous results for general (non-Parseval) frames.

Journal ArticleDOI
TL;DR: In this paper, the authors give a complete description of all derivations on the above algebras of operators in the case of type I von Neumann algebra M. In particular, if M is of type i ∞ then every derivation on LS(M) (resp. S(M,τ) ) is inner.

Journal ArticleDOI
TL;DR: In this paper, the superconformal index of the (2, 0) 6d theory on a Riemann surface with punctures is interpreted as the n-point correlation function of a 2D topological QFT living on the surface.
Abstract: We study the superconformal index for the class of N=2 4d superconformal field theories recently introduced by Gaiotto. These theories are defined by compactifying the (2,0) 6d theory on a Riemann surface with punctures. We interpret the index of the 4d theory associated to an n-punctured Riemann surface as the n-point correlation function of a 2d topological QFT living on the surface. Invariance of the index under generalized S-duality transformations (the mapping class group of the Riemann surface) translates into associativity of the operator algebra of the 2d TQFT. In the A_1 case, for which the 4d SCFTs have a Lagrangian realization, the structure constants and metric of the 2d TQFT can be calculated explicitly in terms of elliptic gamma functions. Associativity then holds thanks to a remarkable symmetry of an elliptic hypergeometric beta integral, proved very recently by van de Bult.

Journal ArticleDOI
TL;DR: In this article, the operator product expansion of Wilson-t Hooft operators in a twisted N = 4 super-Yang-Mills theory with gauge group G was studied, and the Montonen-Olive duality put strong constraints on the OPE and in the case G = SU (2 ) completely determines it.

Journal ArticleDOI
TL;DR: In this article, a new superconformal mechanics with Osp(4|2) symmetry is obtained by gauging the U(1) isometry of a superfield model, which is the one-particle case of the new = 4 super Calogero model.
Abstract: A new superconformal mechanics with OSp(4|2) symmetry is obtained by gauging the U(1) isometry of a superfield model. It is the one-particle case of the new = 4 super Calogero model recently proposed in arXiv:0812.4276 [hep-th]. Classical and quantum generators of the osp(4|2) superalgebra are constructed on physical states. As opposed to other realizations of = 4 superconformal algebras, all supertranslation generators are linear in the odd variables, similarly to the = 2 case. The bosonic sector of the component action is standard one-particle (dilatonic) conformal mechanics accompanied by an SU(2)/U(1) Wess-Zumino term, which gives rise to a fuzzy sphere upon quantization. The strength of the conformal potential is quantized.

Journal ArticleDOI
TL;DR: In this article, the authors introduce C-Algebras (quantum analogues of compact Riemann surfaces), defined by polynomial relations in non-commutative variables and containing a real parameter that, when taken to zero, provides a classical non-linear, Poisson-bracket, obtainable from a single Polynomial C(onstraint) function.
Abstract: We introduce C-Algebras (quantum analogues of compact Riemann surfaces), defined by polynomial relations in non-commutative variables and containing a real parameter that, when taken to zero, provides a classical non-linear, Poisson-bracket, obtainable from a single polynomial C(onstraint) function. For a continuous class of quartic constraints, we explicitly work out finite dimensional representations of the corresponding C-Algebras.

Journal ArticleDOI
TL;DR: In this paper, the maximal version of the coarse Baum-Connes assembly map for families of expanding graphs arising from residually finite groups is studied and its connections to the K-theory of (maximal) Roe algebras are discussed.

Posted Content
TL;DR: The notion of a subproduct system was introduced in this article, and a dilation theory for cp-semigroups has been developed for a general class of operators subject to homogeneous polynomial relations.
Abstract: The notion of a subproduct system, a generalization of that of a product system, is introduced We show that there is an essentially 1 to 1 correspondence between cp-semigroups and pairs (X,T) where X is a subproduct system and T is an injective subproduct system representation A similar statement holds for subproduct systems and units of subproduct systems This correspondence is used as a framework for developing a dilation theory for cp-semigroups Results we obtain: (i) a *-automorphic dilation to semigroups of *-endomorphisms over quite general semigroups; (ii) necessary and sufficient conditions for a semigroup of CP maps to have a *-endomorphic dilation; (iii) an analogue of Parrot's example of three contractions with no isometric dilation, that is, an example of three commuting, contractive normal CP maps on B(H) that admit no *-endomorphic dilation (thereby solving an open problem raised by Bhat in 1998) Special attention is given to subproduct systems over the semigroup N, which are used as a framework for studying tuples of operators satisfying homogeneous polynomial relations, and the operator algebras they generate As applications we obtain a noncommutative (projective) Nullstellansatz, a model for tuples of operators subject to homogeneous polynomial relations, a complete description of all representations of Matsumoto's subshift C*-algebra when the subshift is of finite type, and a classification of certain operator algebras -- including an interesting non-selfadjoint generalization of the noncommutative tori

Journal ArticleDOI
TL;DR: In this article, a semidefinite spectral triple for an algebra canonically associated to canonical quantum gravity is constructed, which is generated by based loops in a triangulation and its barycentric subdivisions.
Abstract: A semifinite spectral triple for an algebra canonically associated to canonical quantum gravity is constructed. The algebra is generated by based loops in a triangulation and its barycentric subdivisions. The underlying space can be seen as a gauge fixing of the unconstrained state space of Loop Quantum Gravity. This paper is the second of two papers on the subject.

Journal ArticleDOI
TL;DR: In this article, the duality theory of Gabor frames has been studied in non-commutative tori with Gabor analysis, where the first has its roots in operator algebras and the second in time-frequency analysis.

Journal ArticleDOI
TL;DR: In this paper, a vortex-like singularity for the scalar and gauge fields along a one-dimensional curve in spacetime is defined for the 1/2, 1/3 and 1/6 BPS operators in the Chern-Simons theory.
Abstract: We construct vortex loop operators in the three-dimensional N = 6 super- symmetric Chern-Simons theory recently constructed by Aharony, Bergman, Jafferis and Maldacena. These disorder loop operators are specified by a vortex-like singularity for the scalar and gauge fields along a one dimensional curve in spacetime. We identify the 1/2, 1/3 and 1/6 BPS loop operators in the Chern-Simons theory with excitations of M-theory corresponding to M2-branes ending along a curve on the boundary of AdS4 × S 7 /Zk. The vortex loop operators can also be given a purely geometric description in terms of regular "bubbling" solutions of eleven dimensional supergravity which are asymptotically AdS4 × S 7 /Zk.

Journal ArticleDOI
TL;DR: In this paper, a multidimensional version of the two-dimensional Schur multipliers studied by Kissin and Shulman is introduced, where the multipliers are defined as elements of the minimal tensor product of several C *-algebras satisfying certain boundedness conditions.
Abstract: We introduce multidimensional Schur multipliers and characterise them, generalising well-known results by Grothendieck and Peller. We define a multidimensional version of the two-dimensional operator multipliers studied recently by Kissin and Shulman. The multidimensional operator multipliers are defined as elements of the minimal tensor product of several C*-algebras satisfying certain boundedness conditions. In the case of commutative C * algebras, the multidimensional operator multipliers reduce to continuous multidimensional Schur multipliers. We show that the multipliers with respect to some given representations of the corresponding C * -algebras do not change if the representations are replaced by approximately equivalent ones. We establish a non-commutative and multidimensional version of the characterisations by Grothendieck and Peller which shows that universal operator multipliers can be obtained as certain weak limits of elements of the algebraic tensor product of the corresponding C * -algebras.

Journal ArticleDOI
TL;DR: In this paper, a topos-algebraic approach to quantum mechanics is presented, which is based on the notion of Bohrified propositions, in the sense that to each classical context it associates a yes-no question pertinent to this context, rather than being a single projection as in standard quantum logic.
Abstract: A decade ago, Isham and Butterfield proposed a topos theoretic approach to quantum mechanics, which meanwhile has been extended by Doering and Isham so as to provide a new mathematical foundation for all of physics. Last year, three of the present authors redeveloped and refined these ideas by combining the C*-algebraic approach to quantum theory with the so-called internal language of topos theory (see arXiv:0709.4364). The goal of the present paper is to illustrate our abstract setup through the concrete example of the C*-algebra M_n(C) of complex n x n matrices. This leads to an explicit expression for the pointfree quantum phase space and the associated logical structure and Gelfand transform of an n-level system. We also determine the pertinent non-probabilisitic state-proposition pairing (or valuation) and give a very natural topos-theoretic reformulation of the Kochen-Specker Theorem. In our approach, the nondistributive lattice P(M_n(C)) of projections in M_n(C)(which forms the basis of the traditional quantum logic of Birkhoff and von Neumann)is replaced by a specific distributive lattice of functions from the poset of all unital commutative C*-subalgebras of M_n(C) to P(M_n(C)). The latter lattice is essentially the (pointfree) topology of the quantum phase space mentioned above, and as such defines a Heyting algebra. Each element of the lattice corresponds to a ``Bohrified'' proposition, in the sense that to each classical context it associates a yes-no question pertinent to this context, rather than being a single projection as in standard quantum logic. Distributivity is recovered at the expense of the law of the excluded middle (Tertium Non Datur), whose demise is in our opinion to be welcomed, not just in intuitionistic logic in the spirit of Brouwer, but also in quantum logic in the spirit of von Neumann.

Journal ArticleDOI
TL;DR: For a scalar ξ, a notion of additive (generalized) ξ -Lie derivations is introduced in this paper.This notion coincides with the notion of (generalised) Lie derivations if ξ = 1.

Posted Content
TL;DR: In this paper, the authors discuss a set of strong, but probabilistically intelligible, axioms from which one can almost derive the appratus of finite dimensional quantum theory.
Abstract: I discuss a set of strong, but probabilistically intelligible, axioms from which one can almost derive the appratus of finite dimensional quantum theory. Stated informally, these require that systems appear completely classical as restricted to a single measurement, that different measurements, and likewise different pure states, be equivalent (up to the action of a compact group of symmetries), and that every state be the marginal of a bipartite non-signaling state perfectly correlating two measurements. This much yields a mathematical representation of measurements and states that is already very suggestive of quantum mechanics. In particular, in any theory satisfying these axioms, measurements can be represented by orthonormal subsets of, and states, by vectors in, an ordered real Hilbert space – in the quantum case, the space of Hermitian operators, with its usual tracial inner product. One final postulate (a simple minimization principle, still in need of a clear interpretation) forces the positive cone of this space to be homogeneous and self-dual and hence, to be the the state space of a formally real Jordan algebra. From here, the route to the standard framework of finite-dimensional quantum mechanics is quite short.

Journal ArticleDOI
TL;DR: In this article, a new form of superselection sectors of topological origin is developed, which includes several extensions of the traditional framework of Doplicher, Haag and Roberts in local quantum theories.
Abstract: A new form of superselection sectors of topological origin is developed. By that it is meant a new investigation that includes several extensions of the traditional framework of Doplicher, Haag and Roberts in local quantum theories. At first we generalize the notion of representations of nets of C*–algebras, then we provide a brand new view on selection criteria by adopting one with a strong topological flavour. We prove that it is coherent with the older point of view, hence a clue to a genuine extension. In this light, we extend Roberts’ cohomological analysis to the case where 1–cocycles bear non-trivial unitary representations of the fundamental group of the spacetime, equivalently of its Cauchy surface in the case of global hyperbolicity. A crucial tool is a notion of group von Neumann algebras generated by the 1–cocycles evaluated on loops over fixed regions. One proves that these group von Neumann algebras are localized at the bounded region where loops start and end and to be factorial of finite type I. All that amounts to a new invariant, in a topological sense, which can be defined as the dimension of the factor. We prove that any 1–cocycle can be factorized into a part that contains only the charge content and another where only the topological information is stored. This second part much resembles what in literature is known as geometric phases. Indeed, by the very geometrical origin of the 1–cocycles that we discuss in the paper, they are essential tools in the theory of net bundles, and the topological part is related to their holonomy content. At the end we prove the existence of net representations.

Posted Content
TL;DR: In this paper, the structure of the parafermion vertex operator algebra associated to an integrable highest weight module for any affine Kac-Moody algebra is studied.
Abstract: The structure of the parafermion vertex operator algebra associated to an integrable highest weight module for any affine Kac-Moody algebra is studied. In particular, a set of generators for this algebra has been determined.

Journal ArticleDOI
TL;DR: In this paper, a non-commutative analogue of classical invariant theory is established for the classical Lie algebra, where the subspace of invariants is shown to form a subalgebra, which is finitely generated.
Abstract: We establish a noncommutative analogue of the first fundamental theorem of classical invariant theory. For each quantum group associated with a classical Lie algebra, we construct a noncommutative associative algebra whose underlying vector space forms a module for the quantum group and whose algebraic structure is preserved by the quantum group action. The subspace of invariants is shown to form a subalgebra, which is finitely generated. We determine generators of this subalgebra of invariants and determine their commutation relations. In each case considered, the noncommutative modules we construct are flat deformations of their classical commutative analogues. Thus by taking the limit as $q\to 1$, our results imply the first fundamental theorem of classical invariant theory, and therefore generalise them to the noncommutative case.

Journal ArticleDOI
TL;DR: The (k, r) admissible Jack polynomials, recently proposed as many-body wavefunctions for non-Abelian fractional quantum Hall systems, have been conjectured to be related to some correlation functions of the minimal model of the algebra as mentioned in this paper.
Abstract: The (k, r) admissible Jack polynomials, recently proposed as many-body wavefunctions for non-Abelian fractional quantum Hall systems, have been conjectured to be related to some correlation functions of the minimal model of the algebra. By studying the degenerate representations of this conformal field theory, we provide a proof for this conjecture.

Journal ArticleDOI
TL;DR: In this paper, the authors generalize the construction of generally covariant quantum theories given in [BFV03] to encompass the conformal covariant case, and show that the Wick monomials without derivatives can be interpreted as fields in this generalized sense, provided a non-trivial choice of the renormalization constants is given.
Abstract: In this paper we generalize the construction of generally covariant quantum theories given in [BFV03] to encompass the conformal covariant case. After introducing the abstract framework, we discuss the massless conformally coupled Klein Gordon field theory, showing that its quantization corresponds to a functor between two certain categories. At the abstract level, the ordinary fields, could be thought of as natural transformations in the sense of category theory. We show that the Wick monomials without derivatives (Wick powers) can be interpreted as fields in this generalized sense, provided a non-trivial choice of the renormalization constants is given. A careful analysis shows that the transformation law of Wick powers is characterized by a weight, and it turns out that the sum of fields with different weights breaks the conformal covariance. At this point there is a difference between the previously given picture due to the presence of a bigger group of covariance. It is furthermore shown that the construction does not depend upon the scale μ appearing in the Hadamard parametrix, used to regularize the fields. Finally, we briefly discuss some further examples of more involved fields.