A bachelor's thesis surveys deductive, inductive, sketch-based, LLM-based, and neuro-symbolic program synthesis, emphasizing correctness versus usability trade-offs.
Signatures of causality and determinism in a quantum theory of events
1 Pith paper cite this work. Polarity classification is still indexing.
abstract
By representing an event as the joint state of a detector-timer couple that interact with a system, we recover the familiar tensor product structure, used to describe spatially separated systems, in the context of timelike events. Furthermore, with this approach, we extend the superposition principle to the moment of occurrence of events. We then outline quantum signatures of causality that manifest through coherence in the detector state and correlation functions of time operators. Finally, we expand the scope of quantum information theoretic measures of state discrimination and information content, commonly used to characterize spatially separated systems, to events in spacetime. For causally connected events, we illustrate a deterministic relationship between events (akin to spatially entangled physical systems) where observing a previous event (one subsystem), enables us to delineate a later event (the other subsystem).
fields
cs.PL 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms
A bachelor's thesis surveys deductive, inductive, sketch-based, LLM-based, and neuro-symbolic program synthesis, emphasizing correctness versus usability trade-offs.