SearcharxivSearch

arXiv subjects

Daniel Collins

Publications and source records attributed to Daniel Collins.

At least 19 recordsLinked to original sources

Networks of quantum reference frames and the nature of conserved quantities

We show that networks of quantum frames of reference, in which one frame may be used to produce multiple other frames that in their turn prepare systems which may interact with one another, have counterintuitive properties that make following the exchange of conserved quantities very subtle, and raise questions about the very nature of conserved quantities. In addition, we present an alternative approach to analysing quantum reference frames that we believe will be useful in discussions related to quantum frames of reference.

quant-ph

Dissipative continuation for ground-state preparation at chemical transition states

Simulating chemical reactions exhibits a pronounced unevenness in computational difficulty: while equilibrium reactant and product geometries are often tractable, transition-state (TS) geometries frequently display strong multi-reference character that challenges both classical solvers and coherent quantum state-preparation methods. We introduce a dissipative continuation protocol for preparing electronic ground states near TS geometries within a hybrid classical--quantum workflow. In the intended setting, classical electronic-structure methods supply an approximate TS geometry, a computationally motivated continuation path, and a locally compatible active-space representation along that path. Starting from a warm start at a tractable geometry on the same aligned path, the quantum routine transports the state toward the TS using orbital-gauge-aligned Hamiltonians and engineered dissipative cooling primitives that repeatedly contract population into the instantaneous low-energy sector. We prove that, for continuation paths satisfying a Lipschitz smoothness condition and a localized Eigenstate Thermalization Hypothesis (ETH)-motivated downward-drift condition within the relevant energy window, the ground state at the target geometry can be prepared to total energy error $\epsilon_E$ with total ideal cooling-step complexity $\widetilde{O}(C_{\mathrm{DK}}^2 N_o^2 / \epsilon_E)$. Here $C_{\mathrm{DK}}$ quantifies ground-state rotation along the aligned path. The corresponding logical gate count is obtained by multiplying this primitive count by the cost of implementing one dissipative step, which is polynomial in the block-encoding size of the Lindbladian under standard Lindblad-simulation algorithms. This identifies a structured regime in which dissipative continuation provides a conditional route to ground-state preparation at strongly correlated TS geometries.

quant-ph

Charge acceleration without radiation

The existence of electromagnetic radiation - radio-waves, microwaves, light, x-rays and so on - is one of the most important physical phenomena, and our ability to manipulate them is one of the most significant technological achievement of humankind. Underlying this ability is our understanding of how radiation is produced: whenever an electric charge is accelerated, it radiates. Or, at least, this is how it has been hitherto universally thought. Here we prove that quantum mechanically electric charges can be accelerated without radiating. The physical setup leading to this behavior is relatively simple (once one knows what to do) but its reasons are deep: it relies on the fact that quantum mechanically particles can be accelerated even when no forces act on them, via the Aharonov-Bohm effect. As we argue, the effect presented here is just them tip of an iceberg - it implies the need to reconsider the basic understanding of radiation. Finally, it seems clear that the effect goes far beyond electromagnetism and applies to any kind of radiation.

quant-ph

Juggernaut: Efficient Crypto-Agnostic Byzantine Agreement

It is well known that a trusted setup allows one to solve the Byzantine agreement problem in the presence of $t<n/2$ corruptions, bypassing the setup-free $t<n/3$ barrier. Alas, the overwhelming majority of protocols in the literature have the caveat that their security crucially hinges on the security of the cryptography and setup, to the point where if the cryptography is broken, even a single corrupted party can violate the security of the protocol. Thus these protocols provide higher corruption resilience ($n/2$ instead of $n/3$) for the price of increased assumptions. Is this trade-off necessary? We further the study of crypto-agnostic Byzantine agreement among $n$ parties that answers this question in the negative. Specifically, let $t_s$ and $t_i$ denote two parameters such that (1) $2t_i + t_s < n$, and (2) $t_i \leq t_s < n/2$. Crypto-agnostic Byzantine agreement ensures agreement among honest parties if (1) the adversary is computationally bounded and corrupts up to $t_s$ parties, or (2) the adversary is computationally unbounded and corrupts up to $t_i$ parties, and is moreover given all secrets of all parties established during the setup. We propose a compiler that transforms any pair of resilience-optimal Byzantine agreement protocols in the authenticated and information-theoretic setting into one that is crypto-agnostic. Our compiler has several attractive qualities, including using only $O(\lambda n^2)$ bits over the two underlying Byzantine agreement protocols, and preserving round and communication complexity in the authenticated setting. In particular, our results improve the state-of-the-art in bit complexity by at least two factors of $n$ and provide either early stopping (deterministic) or expected constant round complexity (randomized). We therefore provide fallback security for authenticated Byzantine agreement for free for $t_i \leq n/4$.

cs.DC

Conservation Laws For Every Quantum Measurement Outcome

In the paradigmatic example of quantum measurements, whenever one measures a system which starts in a superposition of two states of a conserved quantity, it jumps to one of the two states, implying different final values for the quantity that should have been conserved. The standard law of conservation for quantum mechanics handles this jump by stating only that the total distribution of the conserved quantity over repeated measurements is unchanged, but states nothing about individual cases. Here however we show that one can go beyond this and have conservation in each individual instance. We made our arguments in the case of angular momentum of a particle on a circle, where many technicalities simplify, and bring arguments to show that this holds in full generality. Hence we argue that the conservation law in quantum mechanics should be rewritten, to go beyond its hitherto statistical formulation, to state that the total of a conserved quantity is unchanged in every individual measurement outcome. As a further crucial element, we show that conservation can be localised at the level of the system of interest and its relevant frame of reference, and is independent on any assumptions on the distribution of the conserved quantity over the entire universe.

quant-ph

Angular Momentum Flows without anything carrying it

Transfer of conserved quantities between two remote regions is generally assumed to be a rather trivial process: a flux of particles carrying the conserved quantities propagates from one region to another. We however demonstrate a flow of angular momentum from one region to another across a region of space in which there is a vanishingly small probability of any particles (or fields) being present. This shows that the usual view of how conservation laws work needs to be revisited.

quant-ph

Social Value Orientation and Integral Emotions in Multi-Agent Systems

Human social behavior is influenced by individual differences in social preferences. Social value orientation (SVO) is a measurable personality trait which indicates the relative importance an individual places on their own and on others' welfare when making decisions. SVO and other individual difference variables are strong predictors of human behavior and social outcomes. However, there are transient changes human behavior associated with emotions that are not captured by individual differences alone. Integral emotions, the emotions which arise in direct response to a decision-making scenario, have been linked to temporary shifts in decision-making preferences. In this work, we investigated the effects of moderating social preferences with integral emotions in multi-agent societies. We developed Svoie, a method for designing agents which make decisions based on established SVO policies, as well as alternative integral emotion policies in response to task outcomes. We conducted simulation experiments in a resource-sharing task environment, and compared societies of Svoie agents with societies of agents with fixed SVO policies. We find that societies of agents which adapt their behavior through integral emotions achieved similar collective welfare to societies of agents with fixed SVO policies, but with significantly reduced inequality between the welfare of agents with different SVO traits. We observed that by allowing agents to change their policy in response to task outcomes, agents can moderate their behavior to achieve greater social equality. \end{abstract}

cs.MA

Classical-to-quantum non-signalling boxes

Here we introduce the concept of classical input - quantum output (C-Q) non-signalling boxes, a generalisation of the classical input - classical output (C-C) non-signalling boxes. We argue that studying such objects leads to a better understanding of the relation between quantum nonlocality and non-locality beyond quantum mechanics. The main issue discussed in the paper is whether there exist 'genuine' C-Q boxes or all C-Q boxes can be built from objects already known, namely C-C boxes acting on pre-shared entangled quantum particles. We show that large classes of C-Q boxes are non-genuine. In particular, we show that all bi-partite C-Q boxes with outputs that are pure states are non-genuine. We also present various strategies for addressing the general problem, i.e. for multi-partite C-Q boxes which output mixed states, whose answer is still open. Finally, we show that even some very simple non-genuine C-Q boxes require large amounts of C-C nonlocal correlations in order to simulate them.

quant-ph

Teleportation of Post-Selected Quantum States

Teleportation allows Alice to send a pre-prepared quantum state to Bob using only pre-shared entanglement and classical communication. Here we show that it is possible to teleport a state which is also $\it{post}$-selected. Post-selection of a state $\Phi$ means that after Alice has finished her experiment she performs a measurement and only keeps runs of the experiment where the measurement outcome is $\Phi$. We also demonstrate pre and post-selected $\it{port}$-based teleportation. Finally we use these protocols to perform instantaneous non-local quantum computation on pre and post-selected systems, and significantly reduce the entanglement required to instantaneously measure an arbitrary non-local variable of spatially separated pre and post-selected systems.

quant-ph

Analysis and Improvements of the Sender Keys Protocol for Group Messaging

Messaging between two parties and in the group setting has enjoyed widespread attention both in practice, and, more recently, from the cryptographic community. One of the main challenges in the area is constructing secure (end-to-end encrypted) and efficient messaging protocols for group conversations. The popular messaging applications WhatsApp and Signal utilise a protocol in which, instead of sharing a single group key, members have individual \textit{sender keys}, which are shared with all other group members. The Sender Keys protocol is claimed to offer forward security guarantees. However, despite its broad adoption in practice, it has never been studied formally in the cryptographic literature. In this paper we present the first analysis of the Sender Keys protocol along with some prospective improvements. To this end, we introduce a new cryptographic primitive, develop a game-based security model, present a security analysis in the passive and active settings, and propose several improvements to the protocol.

cs.CR

Online Payments by Merely Broadcasting Messages (Extended Version)

We address the problem of online payments, where users can transfer funds among themselves. We introduce Astro, a system solving this problem efficiently in a decentralized, deterministic, and completely asynchronous manner. Astro builds on the insight that consensus is unnecessary to prevent double-spending. Instead of consensus, Astro relies on a weaker primitive---Byzantine reliable broadcast---enabling a simpler and more efficient implementation than consensus-based payment systems. In terms of efficiency, Astro executes a payment by merely broadcasting a message. The distinguishing feature of Astro is that it can maintain performance robustly, i.e., remain unaffected by a fraction of replicas being compromised or slowed down by an adversary. Our experiments on a public cloud network show that Astro can achieve near-linear scalability in a sharded setup, going from $10K$ payments/sec (2 shards) to $20K$ payments/sec (4 shards). In a nutshell, Astro can match VISA-level average payment throughput, and achieves a $5\times$ improvement over a state-of-the-art consensus-based solution, while exhibiting sub-second $95^{th}$ percentile latency.

cs.DC

Anonymity Preserving Byzantine Vector Consensus

Collecting anonymous opinions finds various applications ranging from simple whistleblowing, releasing secretive information, to complex forms of voting, where participants rank candidates by order of preferences. Unfortunately, as far as we know there is no efficient distributed solution to this problem. Previously, participants had to trust third parties, run expensive cryptographic protocols or sacrifice anonymity. In this paper, we propose a resilient-optimal solution to this problem called AVCP, which tolerates up to a third of Byzantine participants. AVCP combines traceable ring signatures to detect double votes with a reduction from vector consensus to binary consensus to ensure all valid votes are taken into account. We prove our algorithm correct and show that it preserves anonymity with at most a linear communication overhead and constant message overhead when compared to a recent consensus baseline. Finally, we demonstrate empirically that the protocol is practical by deploying it on 100 machines geo-distributed in 3 continents: America, Asia and Europe. Anonymous decisions are reached within 10 seconds with a conservative choice of traceable ring signatures.

cs.DC

Frames of Reference and the Intrinsic Directional Information of a Particle With Spin

"Information is physical", and here we consider the physical directional information of a particle with spin. We ask whether, in the presence of a classical frame of reference, such a particle contains any intrinsic directional information, ie. information above that which can be transmitted by a classical bit. We show that when sending a large number of spins, the answer is asymptotically "no". For finite numbers of spins, N, we do not know the answer. We also show that any frame of reference which we can consider to be classical must use some resource which is exponentially large in N. This gives a quantitative meaning to the idea that classical objects are big.

quant-ph

Quantum Relays for Long Distance Quantum Cryptography

Quantum Cryptography is on the verge of commercial application. One of its greatest limitations is over long distance - secret key rates are low and the longest fibre over which any key has been exchanged is currently 100 km. We investigate the quantum relay, which can increase the maximum distance at which quantum cryptography is possible. The relay splits the channel into sections, and sends a different photon across each section, increasing the signal to noise ratio. The photons are linked as in teleportation, with entangled photon pairs and Bell measurements. We show that such a scheme could allow cryptography over hundreds of kilometers with today's detectors. It could not, however, improve the rate of key exchange over distances where the standard single section scheme already works. We also show that reverse key reconciliation, previously used in continuous variable quantum cryptography, gives a secure key over longer distances than forward key reconciliation.

quant-ph

A Relevant Two Qubit Bell Inequality Inequivalent to the CHSH Inequality

We computationally investigate the complete polytope of Bell inequalities for 2 particles with small numbers of possible measurements and outcomes. Our approach is limited by Pitowsky's connection of this problem to the computationally hard NP problem. Despite this, we find that there are very few relevant inequivalent inequalities for small numbers. For example, in the case with 3 possible 2-outcome measurements on each particle, there is just one new inequality. We describe mixed 2-qubit states which violate this inequality but not the CHSH. The new inequality also illustrates a sharing of bi-partite non-locality between three qubits: something not seen using the CHSH inequality. It also inspires us to discover a class of Bell inequalities with m possible n-outcome measurements on each particle.

quant-ph

Optical telecom networks as weak quantum measurements with post- selection

We show that weak measurements with post-selection, proposed in the context of the quantum theory of measurement, naturally appear in the everyday physics of fiber optics telecom networks through polarization-mode dispersion (PMD) and polarization-dependent losses (PDL). Specifically, the PMD leads to a time-resolved discrimination of polarization; the post-selection is done in the most natural way: one post-selects those photons that have not been lost because of the PDL. The quantum formalism is shown to simplify the calculation of optical networks in the telecom limit of weak PMD.

quant-ph

Quantum nonlocality, Bell inequalities and the memory loophole

In the analysis of experiments designed to reveal violation of Bell-type inequalities, it is usually assumed that any hidden variables associated with the nth particle pair would be independent of measurement choices and outcomes for the first $(n-1)$ pairs. Models which violate this assumption exploit what we call the {\it memory loophole}. We focus on the strongest type of violation, which uses the {\it 2-sided} memory loophole, in which the hidden variables for pair $n$ can depend on the previous measurement choices and outcomes in both wings of the experiment. We show that the 2-sided memory loophole allows a systematic violation of the CHSH inequality when the data are analysed in the standard way, but cannot produce a violation if a CHSH expression depending linearly on the data is used. In the first case, the maximal CHSH violation becomes small as the number of particle pairs tested becomes large. Hence, although in principle the memory loophole implies a slight flaw in existing analyses of Bell experiments, the data still strongly confirm quantum mechanics against local hidden variables. We consider also a related loophole, the {\it simultaneous measurement loophole}, which applies if all measurements on each side are carried out simultaneously. We show that this can increase the probability of violating the linearised CHSH inequality as well as other Bell-type inequalities.

quant-ph

Bell-type inequalities to detect true n-body non-separability

We analyze the structure of correlations among more than two quantum systems. We introduce a classification of correlations based on the concept of non-separability, which is different {\em a priori} from the concept of entanglement. Generalizing a result of Svetlichny [Phys. Rev. D {\bf 35} (1987) 3066] on 3-particle correlations, we find an inequality for $n$-particle correlations that holds under the most general separability condition and that is violated by some quantum-mechanical states.

quant-ph