Pith. sign in

REVIEW 1 cited by

Equivalence of relativistic causal structure and process terminality

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 1708.04118 v2 pith:CT6UP7HO submitted 2017-08-14 quant-ph gr-qc

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

In general relativity, `causal structure' refers to the partial order on space-time points (or regions) that encodes time-like relationships. Recently, quantum information and quantum foundations saw the emergence of a `causality principle'. In the form used in this paper, which we call `process terminality', it states that when the output of a process is discarded, then the process itself may as well be discarded. While causal structure and process terminality at first seem to be entirely different notions, they become equivalent when making explicit what the partial order actually encodes, that is, that an event in the past can influence one in its future, but not vice-versa. The framework in which we establish this equivalence is that of process theories. We show how several previous results are instances of this result and comment on how this framework could provide an ideal, minimal canvas for crafting theories of quantum gravity.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

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

  1. An order-theoretic circuit syntax and characterisation of the concept lattice

    quant-ph 2025-07 conditional novelty 7.0 of 10

    The concept lattice L_G is characterized as the unique smallest circuit with connectivity G that admits morphisms from every other circuit with the same connectivity.

Pith tools