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. Motivated 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 system. 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) from � to 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 proposed by Butterfield and Isham, as recently generalized by Döring and Isham.

Abstract. We prove a deletion-contraction formula for motivic Feynman rules given by the classes of the affine graph hypersurface complement in the Grothendieck ring of varieties. We derive explicit recursions and generating series for these motivic Feynman rules under the operation of multiplying edges in a graph and we compare it with similar formulae for the Tutte polynomial of graphs, both being specializations of the same universal recursive relation. We obtain similar recursions for graphs that are chains of polygons and for graphs obtained by replacing an edge by a chain of triangles. We show that the deletion-contraction relation can be lifted to the level of the category of mixed motives in the form of a distinguished triangle, similarly to what happens in categorifications of graph invariants. 1.

Abstract. A new heuristic method for the evaluation of definite integrals is presented. This method of brackets has its origin in methods developed for the evaluation of Feynman diagrams. We describe the operational rules and illustrate the method with several examples. The method of brackets reduces the evaluation of a large class of definite integrals to the solution of a linear system of equations. 1.

We construct infinite dimensional spectral triples associated with representations of the super-Virasoro algebra. In particular the irreducible, unitary positive energy representation of the Ramond algebra with central charge c and minimal lowest weight h = c/24 is graded and gives rise to a net of even θ-summable spectral triples with non-zero Fredholm index. The irreducible unitary positive energy representations of the Neveu-Schwarz algebra give rise to nets of even θ-summable generalised spectral triples where there is no Dirac operator but only a superderivation. AMS Subject classification: Primary 58B34, Secondary 17A36.

Abstract not found

We construct an additive category where objects are embedded graphs in the 3-sphere and morphisms are geometric correspondences given by 3-manifolds realized in different ways as branched covers of the 3-sphere, up to branched cover cobordisms. We consider dynamical systems obtained from associated convolution algebras endowed with time evolutions defined in terms of the underlying geometries. We describe the relevance of our construction to the problem of spectral correspondences in noncommutative geometry.

Abstract. We discuss the relation between the Wasserstein distance of order 1 between probability distributions on a metric space, arising in the study of Monge–Kantorovich transport problem, and the spectral distance of noncommutative geometry. Starting from a remark of Rieffel on compact manifolds, we first show that on any – i.e. non-necessary compact – complete Riemannian spin manifolds, the two distances coincide. Then, on convex manifolds in the sense of Nash embedding, we provide some natural upper and lower bounds to the distance between any two probability distributions. Specializing to the Euclidean space R n, we explicitly compute the distance for a particular class of distributions generalizing Gaussian wave packet. Finally we explore the analogy between the spectral and the Wasserstein distances in the noncommutative case, focusing on the standard model and the Moyal plane. In particular we point out that in the two-sheet space of the standard model, an optimal-transport interpretation of the metric requires a cost function that does not vanish on the diagonal. The latest is similar to the cost function occurring in the relativistic heat equation. Key words: noncommutative geometry; spectral triples; transport theory 2010 Mathematics Subject Classification: 58B34; 82C70 1

Abstract. Connes ’ noncommutative Riemannian distance formula is constructed in two steps, the first one being the construction of a path-independent geometrical functional using a global constraint on continuous functions. This paper generalizes this first step to Lorentzian geometry. We show that, in a globally hyperbolic spacetime, a single global timelike eikonal condition is sufficient to construct a path-independent Lorentzian distance function.

doi:10.3842/SIGMA.2010.067 Abstract. This paper contains the first written exposition of some ideas (announced in a previous survey) on an approach to quantum gravity based on Tomita–Takesaki modular theory and A. Connes non-commutative geometry aiming at the reconstruction of spectral geometries from an operational formalism of states and categories of observables in a covariant theory. Care has been taken to provide a coverage of the relevant background on modular theory, its applications in non-commutative geometry and physics and to the detailed discussion of the main foundational issues raised by the proposal.

Abstract. In this paper we are going to find a rooted tree representation from universal Hopf algebra of renormalization (in Connes-Marcolli’s approach in the study of renormalizable Quantum Field Theories under the scheme minimal subtraction in dimensional regularization). With attention to this new picture, interesting relations between this specific Hopf algebra and some important Hopf algebras of rooted trees and also Hopf algebra of (quasi-) symmetric functions are obtained. And moreover a new interpretation from universal singular frame, based on Hall rooted trees, is deduced such that it can be applied to the physical information of a renormalizable theory such as counterterms.