118 research outputs found
Convolution, Separation and Concurrency
A notion of convolution is presented in the context of formal power series
together with lifting constructions characterising algebras of such series,
which usually are quantales. A number of examples underpin the universality of
these constructions, the most prominent ones being separation logics, where
convolution is separating conjunction in an assertion quantale; interval
logics, where convolution is the chop operation; and stream interval functions,
where convolution is used for analysing the trajectories of dynamical or
real-time systems. A Hoare logic is constructed in a generic fashion on the
power series quantale, which applies to each of these examples. In many cases,
commutative notions of convolution have natural interpretations as concurrency
operations.Comment: 39 page
Resource theories of knowledge
How far can we take the resource theoretic approach to explore physics?
Resource theories like LOCC, reference frames and quantum thermodynamics have
proven a powerful tool to study how agents who are subject to certain
constraints can act on physical systems. This approach has advanced our
understanding of fundamental physical principles, such as the second law of
thermodynamics, and provided operational measures to quantify resources such as
entanglement or information content. In this work, we significantly extend the
approach and range of applicability of resource theories. Firstly we generalize
the notion of resource theories to include any description or knowledge that
agents may have of a physical state, beyond the density operator formalism. We
show how to relate theories that differ in the language used to describe
resources, like micro and macroscopic thermodynamics. Finally, we take a
top-down approach to locality, in which a subsystem structure is derived from a
global theory rather than assumed. The extended framework introduced here
enables us to formalize new tasks in the language of resource theories, ranging
from tomography, cryptography, thermodynamics and foundational questions, both
within and beyond quantum theory.Comment: 28 pages featuring figures, examples, map and neatly boxed theorems,
plus appendi
Quantale Modules, with Applications to Logic and Image Processing
We propose a categorical and algebraic study of quantale modules. The results
and constructions presented are also applied to abstract algebraic logic and to
image processing tasks.Comment: 150 pages, 17 figures, 3 tables, Doctoral dissertation, Univ Salern
Topos and Stacks of Deep Neural Networks
Every known artificial deep neural network (DNN) corresponds to an object in
a canonical Grothendieck's topos; its learning dynamic corresponds to a flow of
morphisms in this topos. Invariance structures in the layers (like CNNs or
LSTMs) correspond to Giraud's stacks. This invariance is supposed to be
responsible of the generalization property, that is extrapolation from learning
data under constraints. The fibers represent pre-semantic categories (Culioli,
Thom), over which artificial languages are defined, with internal logics,
intuitionist, classical or linear (Girard). Semantic functioning of a network
is its ability to express theories in such a language for answering questions
in output about input data. Quantities and spaces of semantic information are
defined by analogy with the homological interpretation of Shannon's entropy
(P.Baudot and D.B. 2015). They generalize the measures found by Carnap and
Bar-Hillel (1952). Amazingly, the above semantical structures are classified by
geometric fibrant objects in a closed model category of Quillen, then they give
rise to homotopical invariants of DNNs and of their semantic functioning.
Intentional type theories (Martin-Loef) organize these objects and fibrations
between them. Information contents and exchanges are analyzed by Grothendieck's
derivators
- …