Pith. sign in

REVIEW 2 cited by

A Process-Theoretic Church of the Larger Hilbert Space

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1905.13117 v1 pith:7P5DEFQ5 submitted 2019-05-30 quant-ph

classification quant-ph
keywords globaltheorylocalsystemshilbertprocessreconstructsystem
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

We show how to reconstruct a process theory of local systems starting from a global theory of reversible processes on a single global system, by using the purification principle. In such a process theory, local systems are not given, but rather `emerge' as the global system is decomposed into subsystems. Local systems thus have specific identities and their composition is naturally limited by structural constraints, a behaviour which we formalise by defining symmetric partially-monoidal categories. We reconstruct quantum theory from the global theories of unitary groups acting on projective Hilbert spaces.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Partitions in quantum theory

    quant-ph 2025-06 conditional novelty 7.0 of 10

    A definition of multipartitions of quantum systems into possibly non-factor sub-C* algebras, with a representation theorem showing that some partitions, such as fermionic modes, are not fully representable on tensor-p...

  2. Polycategorical Constructions for Unitary Supermaps of Arbitrary Dimension

    quant-ph 2022-07 unverdicted novelty 7.0 of 10

    Defines polyslot pslot[C] and srep[C] constructions on symmetric monoidal categories that reconstruct unitary supermaps and forbid time-loops in composition, with equivalence shown on path-contraction groupoids.

Pith tools