Manuscript En08-A@1 · En08-A.tex · section · c688d76d

Classical linear wires

Legal schedules and a local record model › Classical linear wires · lines 501–525

En08-A@1#eq:or

Back to manuscript

Assign a distinct channel name to each edge . Only produces it and only consumes it. At event , a controllable local bit and the incoming bits determine

The event writes to a private record and creates a fresh outgoing channel carrying for each outgoing edge. The empty disjunction is zero.

The intervention class consists initially of changes to the controllable bits, with the remaining bits fixed. Observations include the private record. Each event also carries an identifier; a uniform equality-test primitive with an identifier parameter separates any two events. Identifiers are data, not different reduction shapes.

A degree bound gives finitely many possible arities. Copying a classical bit to fresh channels does not duplicate an owned channel name and makes no claim about cloning quantum states.

Displayed formulas in this passage

  • En08-A@1#eq:or · line 507

Nearby in this section