Constructor Theory as Process Theory
- URL: http://arxiv.org/abs/2401.05364v1
- Date: Thu, 14 Dec 2023 12:58:55 GMT
- Title: Constructor Theory as Process Theory
- Authors: Stefano Gogioso (Hashberg Ltd), Vincent Wang-Ma\'scianica (Quantinuum
Ltd), Muhammad Hamza Waseem (Quantinuum Ltd), Carlo Maria Scandolo
(University of Calgary), Bob Coecke (Quantinuum Ltd)
- Abstract summary: We show how to formulate fundamental notions of constructor theory within the canvas of process theory.
We answer the question of how constructor theory relates to the broader body of process-theoretic literature.
- Score: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Constructor theory is a meta-theoretic approach that seeks to characterise
concrete theories of physics in terms of the (im)possibility to implement
certain abstract "tasks" by means of physical processes. Process theory, on the
other hand, pursues analogous characterisation goals in terms of the
compositional structure of said processes, concretely presented through the
lens of (symmetric monoidal) category theory. In this work, we show how to
formulate fundamental notions of constructor theory within the canvas of
process theory. Specifically, we exploit the functorial interplay between the
symmetric monoidal structure of the category of sets and relations, where the
abstract tasks live, and that of symmetric monoidal categories from physics,
where concrete processes can be found to implement said tasks. Through this, we
answer the question of how constructor theory relates to the broader body of
process-theoretic literature, and provide the impetus for future collaborative
work between the fields.
Related papers
- Generalised Process Theories [0.0]
We propose an alternative formalization using operad algebras, motivated by recent results connecting SMCs to operadic structures.
We provide an accessible yet rigorous formulation that unifies and extends traditional process-theoretic approaches.
arXiv Detail & Related papers (2025-02-14T18:47:07Z) - Theory building for empirical software engineering in qualitative research: Operationalization [4.268591926288843]
This paper presents a set of procedures to systematize the operationalization phase in theory building.
We operationalize the concepts and propositions that make up our theory to generate constructs and empirically testable hypotheses.
arXiv Detail & Related papers (2024-12-03T11:15:27Z) - Machine Learning and Theory Ladenness -- A Phenomenological Account [44.99833362998488]
We argue that both positions are overly simplistic and do not advance our understanding of the interplay between ML methods and domain theories.
Our analysis reveals that, while the construction of models can be relatively independent of domain theory, the practical implementation and interpretation of these models within a given specific domain still relies on fundamental theoretical assumptions and background knowledge.
arXiv Detail & Related papers (2024-09-17T15:29:14Z) - Learning Discrete Concepts in Latent Hierarchical Models [73.01229236386148]
Learning concepts from natural high-dimensional data holds potential in building human-aligned and interpretable machine learning models.
We formalize concepts as discrete latent causal variables that are related via a hierarchical causal model.
We substantiate our theoretical claims with synthetic data experiments.
arXiv Detail & Related papers (2024-06-01T18:01:03Z) - Pregeometry, Formal Language and Constructivist Foundations of Physics [0.0]
We discuss the metaphysics of pregeometric structures, upon which new and existing notions of quantum geometry may find a foundation.
We draw attention to evidence suggesting that the framework of formal language, in particular, homotopy type theory, provides the conceptual building blocks for a theory of pregeometry.
arXiv Detail & Related papers (2023-11-07T13:19:29Z) - The Generative Programs Framework [0.0]
We argue that any quantitative physical theory can be represented in the form of a generative program.
We suggest that these graphs can be interpreted as encoding relations of ontological priority,' and that ontological priority is a suitable generalisation of causation.
arXiv Detail & Related papers (2023-07-21T00:57:05Z) - A Category-theoretical Meta-analysis of Definitions of Disentanglement [97.34033555407403]
Disentangling the factors of variation in data is a fundamental concept in machine learning.
This paper presents a meta-analysis of existing definitions of disentanglement.
arXiv Detail & Related papers (2023-05-11T15:24:20Z) - Operational Theories as Structural Realism [0.0]
We argue that operational axiomatisations of quantum mechanics may be interpreted as a novel form of structural realism.
We discuss the consequences of this interpretation for the philosophy of structural realism and the future of operational theories.
arXiv Detail & Related papers (2022-01-23T17:00:58Z) - Quantum Simulation of Conformal Field Theory [77.34726150561087]
We describe a quantum algorithm to simulate the dynamics of conformal field theories.
A full analysis of the approximation errors suggests near-term applicability.
arXiv Detail & Related papers (2021-09-29T06:44:33Z) - Formalising Concepts as Grounded Abstractions [68.24080871981869]
This report shows how representation learning can be used to induce concepts from raw data.
The main technical goal of this report is to show how techniques from representation learning can be married with a lattice-theoretic formulation of conceptual spaces.
arXiv Detail & Related papers (2021-01-13T15:22:01Z) - Self-adjointness in Quantum Mechanics: a pedagogical path [77.34726150561087]
This paper aims to make quantum observables emerge as necessarily self-adjoint, and not merely hermitian operators.
Next to the central core of our line of reasoning, the necessity of a non-trivial declaration of a domain to associate with the formal action of an observable.
arXiv Detail & Related papers (2020-12-28T21:19:33Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.