arXiv subjects

Jacques Pienaar

Publications and source records attributed to Jacques Pienaar.

18 recordsLinked to original sources

arXiv2026

Quantum correlations in QBism's reconstruction program

QBism recasts quantum theory as a normative framework for an agent's probability assignments, with the Born rule taking the form of a consistency condition known as the Urgleichung. Motivated by this perspective, qplex theories provide a broader class of probabilistic models in which the sets of valid states and measurements are constrained by QBist-inspired geometric conditions. While qplexes have been extensively studied for single systems, their implications for bipartite correlations remain largely unexplored. In this work, we investigate bipartite correlations in qplex theories by expressing joint expectation values as inner products between suitably defined $C$-vectors. This geometric formulation allows Bell-type inequalities to be studied as optimization problems over qplex-compatible probability assignments. We first analyze the CHSH scenario and show that the shared inner-product structure of the $C$-vectors restricts the maximal value to the Tsirelson bound $2\sqrt{2}$. We then turn to the three-outcome CGLMP inequality $I_{2233}$ and find that the same qplex-derived norm and inner-product constraints allow a violation of up to $\leq 2+2\sqrt(3)/3 \approx 3.1547$ versus the quantum maximum of $\approx 2.8729$, thereby exhibiting super-quantum correlations. These results show that qplex geometry captures enough structure to reproduce an important quantum bound in the two-outcome case, but not enough to recover the full set of quantum correlation constraints. The analysis therefore suggests that additional principles are needed to complete the QBist reconstruction of quantum theory.

quant-ph↗

arXiv2026

Geant4-IcyMoons: Simulating Electron Interaction Physics in Irradiated Astrophysical Ices

Energetic particles continuously process water ice across astrophysical and planetary environments, from interstellar clouds and comets to icy planetary surfaces. Interpreting the resulting observables requires a physically grounded description of the underlying interactions, both to identify radiation-driven signatures and to distinguish them from superimposed chemical, thermal, and microphysical effects. We present Geant4-IcyMoons, an extension of Geant4-DNA developed for irradiated water ice and, ultimately, for materials embedded within it. In this study, we model the elastic and inelastic interactions of electrons with amorphous and hexagonal ice. For the first time, this enables a transport-ready Monte Carlo simulation of electron irradiation in water ice, linking incident-particle environments to the evolution of icy surfaces. We apply this framework to Jupiter's moon Europa as a representative case of electron bombardment of an icy surface. We show that, on the trailing hemisphere, the stronger low-energy electron bombardment confines much of the deposited energy to the upper $\lesssim 0.1$ cm, whereas on the leading hemisphere, the more energetic incident population drives deposition patterns to depths of tens of centimeters. This may contribute to the observed lens-like enrichment of radiolysis products centered on the equator of the trailing hemisphere. This work lays the foundation for treatments of ion irradiation and radiation chemistry in water ice and embedded materials.

astro-ph.IM↗

arXiv2021

Equality Saturation for Tensor Graph Superoptimization

One of the major optimizations employed in deep learning frameworks is graph rewriting. Production frameworks rely on heuristics to decide if rewrite rules should be applied and in which order. Prior research has shown that one can discover more optimal tensor computation graphs if we search for a better sequence of substitutions instead of relying on heuristics. However, we observe that existing approaches for tensor graph superoptimization both in production and research frameworks apply substitutions in a sequential manner. Such sequential search methods are sensitive to the order in which the substitutions are applied and often only explore a small fragment of the exponential space of equivalent graphs. This paper presents a novel technique for tensor graph superoptimization that employs equality saturation to apply all possible substitutions at once. We show that our approach can find optimized graphs with up to 16% speedup over state-of-the-art, while spending on average 48x less time optimizing.

cs.AI↗

arXiv2021

COMET: A Domain-Specific Compilation of High-Performance Computational Chemistry

The computational power increases over the past decades havegreatly enhanced the ability to simulate chemical reactions andunderstand ever more complex transformations. Tensor contractions are the fundamental computational building block of these simulations. These simulations have often been tied to one platform and restricted in generality by the interface provided to the user. The expanding prevalence of accelerators and researcher demands necessitate a more general approach which is not tied to specific hardware or requires contortion of algorithms to specific hardware platforms. In this paper we present COMET, a domain-specific programming language and compiler infrastructure for tensor contractions targeting heterogeneous accelerators. We present a system of progressive lowering through multiple layers of abstraction and optimization that achieves up to 1.98X speedup for 30 tensor contractions commonly used in computational chemistry and beyond.

cs.MS↗

arXiv2020

Extending the Agent in QBism

According to the subjective Bayesian interpretation of quantum mechanics (QBism), the instruments used to measure quantum systems are to be regarded as an extension of the senses of the agent who is using them, and quantum states describe the agent's expectations for what they will experience through these extended senses. How can QBism then account for the fact that (i) instruments must be calibrated before they can be used to `sense' anything; (ii) some instruments are more precise than others; (iii) more precise instruments can lead to discovery of new systems? Furthermore, is the agent `incoherent' if they prefer to use a less precise instrument? Here we provide answers to these questions.

quant-ph↗

arXiv2020

MLIR: A Compiler Infrastructure for the End of Moore's Law

This work presents MLIR, a novel approach to building reusable and extensible compiler infrastructure. MLIR aims to address software fragmentation, improve compilation for heterogeneous hardware, significantly reduce the cost of building domain specific compilers, and aid in connecting existing compilers together. MLIR facilitates the design and implementation of code generators, translators and optimizers at different levels of abstraction and also across application domains, hardware targets and execution environments. The contribution of this work includes (1) discussion of MLIR as a research artifact, built for extension and evolution, and identifying the challenges and opportunities posed by this novel design point in design, semantics, optimization specification, system, and engineering. (2) evaluation of MLIR as a generalized infrastructure that reduces the cost of building compilers-describing diverse use-cases to show research and educational opportunities for future programming languages, compilers, execution environments, and computer architecture. The paper also presents the rationale for MLIR, its original design principles, structures and semantics.

cs.PL↗

arXiv2020

Quantum causal models via QBism

This paper presents a framework for Quantum causal modeling based on the interpretation of causality as a relation between an observer's probability assignments to hypothetical or counterfactual experiments. The framework is based on the principle of `causal sufficiency': that it should be possible to make inferences about interventions using only the probabilities from a single `reference experiment' plus causal structure in the form of a DAG. This leads to several interesting results: we find that quantum measurements deserve a special status distinct from interventions, and that a special rule is needed for making inferences about what would happen if they are not performed (`un-measurements'). One natural candidate for this rule is found to be an equation of importance to the QBist interpretation of quantum mechanics. We find that the causal structure of quantum systems must have a `layered' structure, and that the model can naturally be made symmetric under reversal of the causal arrows.

quant-ph↗

arXiv2019

A time-reversible quantum causal model

Modern approaches to causal modeling give a central role to interventions, which require the active input of an observer and introduces an explicit `causal arrow of time'. Causal models typically adopt a mechanistic interpretation, according to which the direction of the causal arrow is intrinsic to the process being studied. Here we investigate whether the direction of the causal arrow might be a contribution from the observer, rather than an intrinsic property of the process. Working within a counterfactual and non-mechanistic interpretation of causal modeling developed in arXiv:1806.00895, we propose a definition of a `quantum observational scheme' that we argue characterizes the observer-invariant properties of a causal model. By restricting to quantum processes that preserve the maximally mixed state (unbiasedness) we find that the statistics is symmetric under reversal of the time-ordering. The resulting model can therefore accommodate the idea that the causal arrow is observer-dependent, indicating a route towards reconciling the causal arrow with time-symmetric laws of physics.

quant-ph↗

arXiv2018

Comment on `The notion of locality in relational quantum mechanics'

A recent paper [P. Martin-Dussaud, C. Rovelli, F. Zalamea, arXiv:1806.08150] has given a lucid treatment of Bell's notion of local causality within the framework of the relational interpretation of quantum mechanics. However, the authors went on to conclude that the quantum violation of Bell's notion of local causality is no more surprising than a common cause. Here, I argue that this conclusion is unwarranted by the authors' own analysis. On the contrary, within the framework outlined by the authors, I argue that the implications of the relational interpretation are much more radical.

quant-ph↗

arXiv2018

Quantum causal models via QBism: the short version

This paper is a concise summary of the main ideas presented in the companion paper `Quantum causal models via Quantum Bayesianism'[arXiv:1806.00895]. I present the proposed definition of a quantum causal model with minimal background and justification, focusing only on its essential physical properties. The mathematical structure and definitions are provided as an Appendix. I discuss the possible physical significance of the fact that the model is symmetric under causal inversion.

quant-ph↗

arXiv2018

Causal modeling the delayed choice experiment

Wave-particle duality has become one of the flagships of quantum mechanics. This counter-intuitive concept is highlighted in a delayed choice experiment, where the experimental setup that reveals either the particle or wave nature of a quantum system is decided after the system has entered the apparatus. Here we consider delayed choice experiments from the perspective of device-independent causal models and show their equivalence to a prepare-and-measure scenario. Within this framework, we consider Wheeler's original proposal and its variant using a quantum control and show that a simple classical causal model is capable of reproducing the quantum mechanical predictions. Nonetheless, among other results, we show that in a slight variant of Wheeler's Gedankenexperiment, a photon in an interferometer can indeed generate statistics incompatible with any non-retrocausal hidden variable model whose dimensionality is the same as that of the quantum system it is supposed to mimic. Our proposal tolerates arbitrary losses and inefficiencies making it specially suited to loophole-free experimental implementations.

quant-ph↗

arXiv2018

Space QUEST mission proposal: Experimentally testing decoherence due to gravity

Models of quantum systems on curved space-times lack sufficient experimental verification. Some speculative theories suggest that quantum properties, such as entanglement, may exhibit entirely different behavior to purely classical systems. By measuring this effect or lack thereof, we can test the hypotheses behind several such models. For instance, as predicted by Ralph and coworkers [T C Ralph, G J Milburn, and T Downes, Phys. Rev. A, 79(2):22121, 2009, T C Ralph and J Pienaar, New Journal of Physics, 16(8):85008, 2014], a bipartite entangled system could decohere if each particle traversed through a different gravitational field gradient. We propose to study this effect in a ground to space uplink scenario. We extend the above theoretical predictions of Ralph and coworkers and discuss the scientific consequences of detecting/failing to detect the predicted gravitational decoherence. We present a detailed mission design of the European Space Agency's (ESA) Space QUEST (Space - Quantum Entanglement Space Test) mission, and study the feasibility of the mission schema.

quant-ph↗

arXiv2017

Which causal structures might support a quantum-classical gap?

A causal scenario is a graph that describes the cause and effect relationships between all relevant variables in an experiment. A scenario is deemed `not interesting' if there is no device-independent way to distinguish the predictions of classical physics from any generalised probabilistic theory (including quantum mechanics). Conversely, an interesting scenario is one in which there exists a gap between the predictions of different operational probabilistic theories, as occurs for example in Bell-type experiments. Henson, Lal and Pusey (HLP) recently proposed a sufficient condition for a causal scenario to not be interesting. In this paper we supplement their analysis with some new techniques and results. We first show that existing graphical techniques due to Evans can be used to confirm by inspection that many graphs are interesting without having to explicitly search for inequality violations. For three exceptional cases -- the graphs numbered 15,16,20 in HLP -- we show that there exist non-Shannon type entropic inequalities that imply these graphs are interesting. In doing so, we find that existing methods of entropic inequalities can be greatly enhanced by conditioning on the specific values of certain variables.

quant-ph↗

arXiv2016

A relational approach to quantum reference frames for spins

In the literature on quantum reference frames, the internal (relative) properties of a system are defined as those which are preserved under an arbitrary change of reference frame. For a system of quantum spins, these are all properties preserved by proper spatial rotations of the laboratory. However, this approach does not account for the hypothetical possibility of the laboratory becoming entangled to the system, as described by a second laboratory (the `Wigner's friend' scenario), in which case the relationship between the two laboratories is not a rotation, but is fundamentally quantum. To overcome this limitation, we re-define the reference frame transformations to be those that preserve the fidelities between subsystems. This enables us to derive U(2) as the correct symmetry group for transformations of a system of N spin-half particles. Next, we propose that systems having the same internal properties should be regarded as physically equivalent in the absence of an external frame. Remarkably, this implies that a single spin in a superposition relative to a spin magnet is equivalent to a macroscopic superposition of the magnet relative to the spin. We discuss the implications of this result for the Wigner's friend paradox.

quant-ph↗

arXiv2016

Experimental test of photonic entanglement in accelerated reference frames

The quantization of the electromagnetic field has successfully paved the way for the development of the Standard Model of Particle Physics and has established the basis for quantum technologies. Gravity, however, continues to hold out against physicists' efforts of including it into the framework of quantum theory. Experimental techniques in quantum optics have only recently reached the precision and maturity required for the investigation of quantum systems under the influence of gravitational fields. Here, we report on experiments in which a genuine quantum state of an entangled photon pair was exposed to a series of different accelerations. We measure an entanglement witness for $g$ values ranging from 30 mg to up to 30 g - under free-fall as well on a spinning centrifuge - and have thus derived an upper bound on the effects of uniform acceleration on photonic entanglement. Our work represents the first quantum optics experiment in which entanglement is systematically tested in geodesic motion as well as in accelerated reference frames with acceleration a>>g = 9.81 m/s^2.

quant-ph↗

arXiv2015

A separable, dynamically local ontological model of quantum mechanics

A model of reality is called separable if the state of a composite system is equal to the union of the states of its parts, located in different regions of space. Spekkens has argued that it is trivial to reproduce the predictions of quantum mechanics using a separable ontological model, provided one allows for arbitrary violations of `dynamical locality'. However, since dynamical locality is strictly weaker than local causality, this leaves open the question of whether an ontological model for quantum mechanics can be both separable and dynamically local. We answer this question in the affirmative, using an ontological model based on previous work by Deutsch and Hayden. Although the original formulation of the model avoids Bell's theorem by denying that measurements result in single, definite outcomes, we show that the model can alternatively be cast in the framework of ontological models, where Bell's theorem does apply. We find that the resulting model violates local causality, but satisfies both separability and dynamical locality, making it a candidate for the `most local' ontological model of quantum mechanics.

quant-ph↗

arXiv2014

A graph-separation theorem for quantum causal models

A causal model is an abstract representation of a physical system as a directed acyclic graph (DAG), where the statistical dependencies are encoded using a graphical criterion called `d-separation'. Recent work by Wood & Spekkens shows that causal models cannot, in general, provide a faithful representation of quantum systems. Since d-separation encodes a form of Reichenbach's Common Cause Principle (RCCP), whose validity is questionable in quantum mechanics, we propose a generalised graph separation rule that does not assume the RCCP. We prove that the new rule faithfully captures the statistical dependencies between observables in a quantum network, encoded as a DAG, and is consistent with d-separation in a classical limit. We note that the resulting model is still unable to give a faithful representation of correlations stronger than quantum mechanics, such as the Popescu-Rorlich box.

quant-ph↗

arXiv2013

Causality Violation and Nonlinear Quantum Mechanics

It is currently unknown whether the laws of physics permit time travel into the past. While general relativity indicates the theoretical possibility of causality violation, it is now widely accepted that a theory of quantum gravity must play an essential role in such cases. As a striking example, the logical paradoxes usually associated with causality violation can be resolved by quantum effects. We ask whether the explicit construction of a theory that allows causality violation might in turn teach us something about quantum gravity. Taking the toy model of Deutsch as a starting point, in Part I we argue that, despite being a nonlinear modification of quantum mechanics, the model does not imply superluminal signalling and its predictions can be operationally verified by experimenters within an appropriate ontological setting. In Part II we show that the model can be directly applied to scalar quantum fields, provided the fields are sent back in time by an amount much larger than the coherence time of the wavepackets. We propose a generalisation of the model that lifts this constraint and recovers the predictions of standard quantum field theory when the size of the temporal jump is much smaller than the coherence time of the wavepackets. Finally, we discuss an extension of the model to ordinary gravitational time dilation. The resulting model generalises and extends earlier work on the topic and can be tested experimentally using current technology.

quant-ph↗