Researcher profile

Cecilia Flori

Cecilia Flori contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - Emerging
7works
0followers
6topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

7 published item(s)

preprint2016arXiv

Compositories and Gleaves

Sheaves are objects of a local nature: a global section is determined by how it looks locally. Hence, a sheaf cannot describe mathematical structures which contain global or nonlocal geometric information. To fill this gap, we introduce the theory of "gleaves", which are presheaves equipped with an additional "gluing operation" of compatible pairs of local sections. This generalizes the conditional product structures of Dawid and Studený, which correspond to gleaves on distributive lattices. Our examples include the gleaf of metric spaces and the gleaf of joint probability distributions. A result of Johnstone shows that a category of gleaves can have a subobject classifier despite not being cartesian closed. Gleaves over the simplex category $Δ$, which we call compositories, can be interpreted as a new kind of higher category in which the composition of an $m$-morphism and an $n$-morphism along a common $k$-morphism face results in an $(m+n-k)$-morphism. The distinctive feature of this composition operation is that the original morphisms can be recovered from the composite morphism as initial and final faces. Examples of compositories include nerves of categories and compositories of higher spans.

preprint2013arXiv

Topos Analogues of the KMS State

We identify the analogues of KMS state in topos theory. Topos KMS states can be viewed as classes of truth objects associated with a measure μ^ρ(in one-to-one correspondence with an original KMS state ρ) which satisfies topos condition analogues to the ordinary KMS conditions. Topos KMS states can be defined both externally or internally according to whether the automorphism group of geometric morphisms acts externally on the topos structure, or the automorphism group is an object in the topos itself, in which case, it acts internally. We illustrate the formalism by a simple example on the Hilbert space $\Cl^3$.

preprint2012arXiv

Complex Numbers, One-Parameter of Unitary Transformations and Stone's Theorem in Topos Quantum Theory

Topos theory has been suggested first by Isham and Butterfield, and then by Isham and Doering, as an alternative mathematical structure within which to formulate physical theories. In particular, it has been used to reformulate standard quantum mechanics in such a way that a novel type of logic is used to represent propositions. In recent years the topic has been considerably progressing with the introduction of probabilities, group and group transformations. In the present paper we will introduce a candidate for the complex quantity value object and analyse its relation to the real quantity value object. By defining the Grothendieck k-extension of these two objects, so as to turn them into abelian groups, it is possible to define internal one parameter groups in a topos. We then use this new definition to construct the topos analogue of the Stone's theorem.

preprint2012arXiv

Group Action in Topos Quantum Physics

Topos theory has been suggested first by Isham and Butterfield, and then by Isham and Döring, as an alternative mathematical structure within which to formulate physical theories. In particular it has been used to reformulate standard quantum mechanics in such a way that a novel type of logic is used to represent propositions. In this paper we extend this formulation to include the notion of a group and group transformation in such a way that we overcome the problem of twisted presheaves. In order to implement this we need to change the type of topos involved, so as to render the notion of continuity of the group action meaningful.

preprint2012arXiv

The Holst Spin Foam Model via Cubulations

Spin foam models are an attempt for a covariant, or path integral formulation of canonical loop quantum gravity. The construction of such models usually rely on the Plebanski formulation of general relativity as a constrained BF theory and is based on the discretization of the action on a simplicial triangulation, which may be viewed as an ultraviolet regulator. The triangulation dependence can be removed by means of group field theory techniques, which allows one to sum over all triangulations. The main tasks for these models are the correct quantum implementation of the Plebanski constraints, the existence of a semiclassical sector implementing additional "Regge-like" constraints arising from simplicial triangulations, and the definition of the physical inner product of loop quantum gravity via group field theory. Here we propose a new approach to tackle these issues stemming directly from the Holst action for general relativity, which is also a proper starting point for canonical loop quantum gravity. The discretization is performed by means of a "cubulation" of the manifold rather than a triangulation. We give a direct interpretation of the resulting spin foam model as a generating functional for the n-point functions on the physical Hilbert space at finite regulator. This paper focuses on ideas and tasks to be performed before the model can be taken seriously. However, our analysis reveals some interesting features of this model: first, the structure of its amplitudes differs from the standard spin foam models. Second, the tetrad n-point functions admit a "Wick-like" structure. Third, the restriction to simple representations does not automatically occur -- unless one makes use of the time gauge, just as in the classical theory.

preprint2011arXiv

Review of the Topos Approach to Quantum Theory

Topos theory has been suggested by Döring and Isham as an alternative mathematical structure with which to formulate physical theories. In particular, the topos approach suggests a radical new way of thinking about what a theory of physics is and what its conceptual framework looks like. The motivation of using topos theory to express quantum theory lies in the desire to overcome certain interpretational problems inherent in the standard formulation of the theory. In particular, the topos reformulation of quantum theory overcomes the instrumentalist/Copenhagen interpretation thereby rendering the theory more realist. In the process one ends up with a multivalued/intuitionistic logic rather than a Boolean logic. In this article we shall review some of these developments.