-
Bell vs Bell: a ding-dong battle over quantum incompleteness
Authors:
Michael J. W. Hall
Abstract:
Does determinism (or even the incompleteness of quantum mechanics) follow from locality and perfect correlations? In a 1964 paper John Bell gave the first demonstration that quantum mechanics is incompatible with local hidden variables. Since then a vigorous debate has rung out over whether he relied on an assumption of determinism or instead, as he later claimed in a 1981 paper, derived determini…
▽ More
Does determinism (or even the incompleteness of quantum mechanics) follow from locality and perfect correlations? In a 1964 paper John Bell gave the first demonstration that quantum mechanics is incompatible with local hidden variables. Since then a vigorous debate has rung out over whether he relied on an assumption of determinism or instead, as he later claimed in a 1981 paper, derived determinism from assumptions of locality and perfect correlation. This paper aims to bring clarity to the debate via simple examples and rigorous results. It is first recalled, via quantum and classical counterexamples, that the weakest statistical form of locality consistent with Bell's 1964 paper (parameter independence) is insufficient for the derivation of determinism. Attention is then turned to critically assess Bell's appealing to the Einstein-Rosen-Podolsky incompleteness argument to support his claim. It is shown this argument is itself incomplete, via counterexamples that expose two logical gaps. However, closing these gaps via a strong ``counterfactual'' reality criterion enables a rigorous derivation of each of quantum incompleteness, determinism and parameter independence, and in this sense justifies Bell's claim. Consequences for quantum interpretations are briefly discussed.
△ Less
Submitted 27 June, 2024;
originally announced June 2024.
-
Why quantum correlations are shocking
Authors:
Michael J. W. Hall
Abstract:
A simple minimalist argument is given for why some correlations between quantum systems boggle our classical intuition. The argument relies on two elementary physical assumptions, and recovers the standard experimentally-testable Bell inequality in a form that applies equally well to correlations between six-sided dice and between photon polarizations. The first assumption, that measurement select…
▽ More
A simple minimalist argument is given for why some correlations between quantum systems boggle our classical intuition. The argument relies on two elementary physical assumptions, and recovers the standard experimentally-testable Bell inequality in a form that applies equally well to correlations between six-sided dice and between photon polarizations. The first assumption, that measurement selection in a first lab leaves the measurement statistics in a remote lab invariant (no-signaling), has been empirically verified, and is shown to be equivalent to the existence of a joint probability distribution for quantities measured in the first lab. The observed violation of the Bell inequality is then equivalent to failure of a second assumption, that measurement selection in the remote lab leaves this joint distribution invariant. Indeed, the degree of violation lower-bounds the variation of the joint distribution. It directly follows there are just three possible physical mechanisms underlying such violations -- action-at-a-distance (superluminality), unavoidable common factors linking measurement choice and distant properties (conspiracy), and intrinsically incompatible physical quantities (complementarity). The argument extends to all Bell inequalities, and is briefly compared with other derivations.
△ Less
Submitted 18 June, 2024;
originally announced June 2024.
-
LeaPP: Learning Pathways to Polymorphs through machine learning analysis of atomic trajectories
Authors:
Steven W. Hall,
Porhouy Minh,
Sapna Sarupria
Abstract:
Understanding the mechanisms underlying crystal formation is crucial. For most systems, crystallization typically goes through a nucleation process that involves dynamics that happen at short time and length scales. Due to this, molecular dynamics serves as a powerful tool to study this phenomenon. Existing approaches to study the mechanism often focus analysis on static snapshots of the global co…
▽ More
Understanding the mechanisms underlying crystal formation is crucial. For most systems, crystallization typically goes through a nucleation process that involves dynamics that happen at short time and length scales. Due to this, molecular dynamics serves as a powerful tool to study this phenomenon. Existing approaches to study the mechanism often focus analysis on static snapshots of the global configuration, potentially overlooking subtle local fluctuations and history of the atoms involved in the formation of solid nuclei. To address this limitation, we propose a methodology that categorizes nucleation pathways into reactive pathways based on the time evolution of constituent atoms. Our approach effectively captures the diverse structural pathways explored by crystallizing Lennard-Jones-like particles and solidifying Ni$_3$Al, providing a more nuanced understanding of nucleating pathways. Moreover, our methodology enables the prediction of the resulting polymorph from each reactive trajectory. This deep learning-assisted comprehensive analysis offers an alternative view of crystal nucleation mechanisms and pathways.
△ Less
Submitted 21 June, 2024; v1 submitted 15 May, 2024;
originally announced May 2024.
-
Global Vulnerability Assessment of Mobile Telecommunications Infrastructure to Climate Hazards using Crowdsourced Open Data
Authors:
Edward J. Oughton,
Tom Russell,
Jeong** Oh,
Sara Ballan,
Jim W. Hall
Abstract:
The ongoing change in Earth`s climate is causing an increase in the frequency and severity of climate-related hazards, for example, from coastal flooding, riverine flooding, and tropical cyclones. There is currently an urgent need to quantify the potential impacts of these events on infrastructure and users, especially for hitherto neglected infrastructure sectors, such as telecommunications, part…
▽ More
The ongoing change in Earth`s climate is causing an increase in the frequency and severity of climate-related hazards, for example, from coastal flooding, riverine flooding, and tropical cyclones. There is currently an urgent need to quantify the potential impacts of these events on infrastructure and users, especially for hitherto neglected infrastructure sectors, such as telecommunications, particularly given our increasing dependence on digital technologies. In this analysis a global assessment is undertaken, quantifying the number of mobile cells vulnerable to climate hazards using open crowdsourced data equating to 7.6 million 2G, 3G, 4G and 5G assets. For a 0.01% annual probability event under a high emissions scenario (RCP8.5), the number of affected cells is estimated at 2.26 million for tropical cyclones, equating to USD 1.01 billion in direct damage (an increase against the historical baseline of 14% and 44%, respectively). Equally, for coastal flooding the number of potentially affected cells for an event with a 0.01% annual probability under RCP8.5 is 109.9 thousand, equating to direct damage costs of USD 2.69 billion (an increase against the baseline of 70% and 78%, respectively). The findings demonstrate the need for risk analysts to include mobile communications (and telecommunications more broadly) in future critical national infrastructure assessments. Indeed, this paper contributes a proven assessment methodology to the literature for use in future research for assessing this critical infrastructure sector.
△ Less
Submitted 7 November, 2023;
originally announced November 2023.
-
A High-Order Ultra-Weak Variational Formulation for Electromagnetic Waves Utilizing Curved Elements
Authors:
Timo Lähivaara,
William F. Hall,
Matti Malinen,
Dale Ota,
Vijaya Shankar,
Peter Monk
Abstract:
The Ultra Weak Variational Formulation (UWVF) is a special Trefftz discontinuous Galerkin method, here applied to the time-harmonic Maxwell's equations. The method uses superpositions of plane waves to represent solutions element-wise on a finite element mesh. We focus on our parallel UWVF implementation, called ParMax, emphasizing high-order solutions in the presence of scatterers with piecewise…
▽ More
The Ultra Weak Variational Formulation (UWVF) is a special Trefftz discontinuous Galerkin method, here applied to the time-harmonic Maxwell's equations. The method uses superpositions of plane waves to represent solutions element-wise on a finite element mesh. We focus on our parallel UWVF implementation, called ParMax, emphasizing high-order solutions in the presence of scatterers with piecewise smooth boundaries. We explain the incorporation of curved surface triangles into the UWVF, necessitating quadrature for system matrix assembly. We also show how to implement a total field and scattered field approach, together with the transmission conditions across an interface to handle resistive sheets. We note also that a wide variety of element shapes can be used, that the elements can be large compared to the wavelength of the radiation, and that a low memory version is easy to implement (although computationally costly). Our contributions are illustrated through numerical examples demonstrating the efficiency enhancement achieved by curved elements in the UWVF. The method accurately handles resistive screens, as well as perfect electric conductor and penetrable scatterers. By employing large curved elements and the low memory approach, we successfully simulated X-band frequency scattering from an aircraft. These innovations demonstrate the practicality of the UWVF for industrial applications.
△ Less
Submitted 7 January, 2024; v1 submitted 6 September, 2023;
originally announced September 2023.
-
What is the Impact of Releasing Code with Publications? Statistics from the Machine Learning, Robotics, and Control Communities
Authors:
Siqi Zhou,
Lukas Brunke,
Allen Tao,
Adam W. Hall,
Federico Pizarro Bejarano,
Jacopo Panerati,
Angela P. Schoellig
Abstract:
Open-sourcing research publications is a key enabler for the reproducibility of studies and the collective scientific progress of a research community. As all fields of science develop more advanced algorithms, we become more dependent on complex computational toolboxes -- sharing research ideas solely through equations and proofs is no longer sufficient to communicate scientific developments. Ove…
▽ More
Open-sourcing research publications is a key enabler for the reproducibility of studies and the collective scientific progress of a research community. As all fields of science develop more advanced algorithms, we become more dependent on complex computational toolboxes -- sharing research ideas solely through equations and proofs is no longer sufficient to communicate scientific developments. Over the past years, several efforts have highlighted the importance and challenges of transparent and reproducible research; code sharing is one of the key necessities in such efforts. In this article, we study the impact of code release on scientific research and present statistics from three research communities: machine learning, robotics, and control. We found that, over a six-year period (2016-2021), the percentages of papers with code at major machine learning, robotics, and control conferences have at least doubled. Moreover, high-impact papers were generally supported by open-source codes. As an example, the top 1% of most cited papers at the Conference on Neural Information Processing Systems (NeurIPS) consistently included open-source codes. In addition, our analysis shows that popular code repositories generally come with high paper citations, which further highlights the coupling between code sharing and the impact of scientific research. While the trends are encouraging, we would like to continue to promote and increase our efforts toward transparent, reproducible research that accelerates innovation -- releasing code with our papers is a clear first step.
△ Less
Submitted 19 August, 2023;
originally announced August 2023.
-
My Model is Unfair, Do People Even Care? Visual Design Affects Trust and Perceived Bias in Machine Learning
Authors:
Aimen Gaba,
Zhanna Kaufman,
Jason Chueng,
Marie Shvakel,
Kyle Wm. Hall,
Yuriy Brun,
Cindy Xiong Bearfield
Abstract:
Machine learning technology has become ubiquitous, but, unfortunately, often exhibits bias. As a consequence, disparate stakeholders need to interact with and make informed decisions about using machine learning models in everyday systems. Visualization technology can support stakeholders in understanding and evaluating trade-offs between, for example, accuracy and fairness of models. This paper a…
▽ More
Machine learning technology has become ubiquitous, but, unfortunately, often exhibits bias. As a consequence, disparate stakeholders need to interact with and make informed decisions about using machine learning models in everyday systems. Visualization technology can support stakeholders in understanding and evaluating trade-offs between, for example, accuracy and fairness of models. This paper aims to empirically answer "Can visualization design choices affect a stakeholder's perception of model bias, trust in a model, and willingness to adopt a model?" Through a series of controlled, crowd-sourced experiments with more than 1,500 participants, we identify a set of strategies people follow in deciding which models to trust. Our results show that men and women prioritize fairness and performance differently and that visual design choices significantly affect that prioritization. For example, women trust fairer models more often than men do, participants value fairness more when it is explained using text than as a bar chart, and being explicitly told a model is biased has a bigger impact than showing past biased performance. We test the generalizability of our results by comparing the effect of multiple textual and visual design choices and offer potential explanations of the cognitive mechanisms behind the difference in fairness perception and trust. Our research guides design considerations to support future work develo** visualization systems for machine learning.
△ Less
Submitted 7 August, 2023;
originally announced August 2023.
-
Differentially Flat Learning-based Model Predictive Control Using a Stability, State, and Input Constraining Safety Filter
Authors:
Adam W. Hall,
Melissa Greeff,
Angela P. Schoellig
Abstract:
Learning-based optimal control algorithms control unknown systems using past trajectory data and a learned model of the system dynamics. These controllers use either a linear approximation of the learned dynamics, trading performance for faster computation, or nonlinear optimization methods, which typically perform better but can limit real-time applicability. In this work, we present a novel nonl…
▽ More
Learning-based optimal control algorithms control unknown systems using past trajectory data and a learned model of the system dynamics. These controllers use either a linear approximation of the learned dynamics, trading performance for faster computation, or nonlinear optimization methods, which typically perform better but can limit real-time applicability. In this work, we present a novel nonlinear controller that exploits differential flatness to achieve similar performance to state-of-the-art learning-based controllers but with significantly less computational effort. Differential flatness is a property of dynamical systems whereby nonlinear systems can be exactly linearized through a nonlinear input map**. Here, the nonlinear transformation is learned as a Gaussian process and is used in a safety filter that guarantees, with high probability, stability as well as input and flat state constraint satisfaction. This safety filter is then used to refine inputs from a flat model predictive controller to perform constrained nonlinear learning-based optimal control through two successive convex optimizations. We compare our method to state-of-the-art learning-based control strategies and achieve similar performance, but with significantly better computational efficiency, while also respecting flat state and input constraints, and guaranteeing stability.
△ Less
Submitted 19 July, 2023;
originally announced July 2023.
-
Asymmetry and tighter uncertainty relations for Rényi entropies via quantum-classical decompositions of resource measures
Authors:
Michael J. W. Hall
Abstract:
It is known that the variance and entropy of quantum observables decompose into intrinsically quantum and classical contributions. Here a general method of constructing quantum-classical decompositions of resources such as uncertainty is discussed, with the quantum contribution specified by a measure of the noncommutativity of a given set of operators relative to the quantum state, and the classic…
▽ More
It is known that the variance and entropy of quantum observables decompose into intrinsically quantum and classical contributions. Here a general method of constructing quantum-classical decompositions of resources such as uncertainty is discussed, with the quantum contribution specified by a measure of the noncommutativity of a given set of operators relative to the quantum state, and the classical contribution generated by the mixedness of the state. Suitable measures of noncommutativity or 'quantumness' include quantum Fisher information, and the asymmetry of a given set, group or algebra of operators, and are generalised to nonprojective observables and quantum channels. Strong entropic uncertainty relations and lower bounds for Rényi entropies are obtained, valid for arbitrary discrete observables, that take the mixedness of the state into account via a classical contribution to the lower bound. These relations can also be interpreted without reference to quantum-classical decompositions, as tradeoff relations that bound the asymmetry of one observable in terms of the entropy of another.
△ Less
Submitted 26 May, 2023; v1 submitted 12 April, 2023;
originally announced April 2023.
-
Seismological Studies of Pulsating DA White Dwarfs Observed with the Kepler Space Telescope and K2 Campaigns 1-8
Authors:
Weston Hall,
Barbara G. Castanheira,
Agnès Bischoff-Kim
Abstract:
All single stars that are born with masses up to 8.5 - 10 $M_\odot$ will end their lives as a white dwarf (WD) star. In this evolutionary stage, WDs enter the cooling sequence, where the stars radiate away their thermal energy, and are basically cooling. As these stars cool, they reach temperatures and conditions that cause the stars to pulsate. Using differential photometry to produce light curve…
▽ More
All single stars that are born with masses up to 8.5 - 10 $M_\odot$ will end their lives as a white dwarf (WD) star. In this evolutionary stage, WDs enter the cooling sequence, where the stars radiate away their thermal energy, and are basically cooling. As these stars cool, they reach temperatures and conditions that cause the stars to pulsate. Using differential photometry to produce light curves, we can determine the observed periods of pulsation from the WD. We used the White Dwarf Evolution Code (WDEC) to calculate a grid of over one million models with various temperature, stellar mass and mass of helium and hydrogen layers, and calculated their theoretical pulsation periods. In this paper, we describe our approach to WD asteroseismology using WDEC models and we present seismological studies for 29 observed DAVs in the Kepler and K2 datasets, 25 of which have never been analyzed using these observations, and 19 of which have never been seismically analyzed in any capacity before. Learning about the internal structure of WDs place important constraints on the WD cooling sequence and our overall understanding of stellar evolution for low mass stars.
△ Less
Submitted 15 March, 2023;
originally announced March 2023.
-
Better Heisenberg limits, coherence bounds, and energy-time tradeoffs via quantum Rényi information
Authors:
Michael J. W. Hall
Abstract:
An uncertainty relation for the Rényi entropies of conjugate quantum observables is used to obtain a strong Heisenberg limit of the form ${\rm RMSE} \geq f(α)/(\langle N\rangle+\frac12)$, bounding the root mean square error of any estimate of a random optical phase shift in terms of average photon number, where $f(α)$ is maximised for non-Shannon entropies. Related simple yet strong uncertainty re…
▽ More
An uncertainty relation for the Rényi entropies of conjugate quantum observables is used to obtain a strong Heisenberg limit of the form ${\rm RMSE} \geq f(α)/(\langle N\rangle+\frac12)$, bounding the root mean square error of any estimate of a random optical phase shift in terms of average photon number, where $f(α)$ is maximised for non-Shannon entropies. Related simple yet strong uncertainty relations linking phase uncertainty to the photon number distribution, such as $ΔΦ\geq \max_n p_n$, are also obtained. These results are significantly strengthened via upper and lower bounds on the Rényi mutual information of quantum communication channels, related to asymmetry and convolution, and applied to the estimation (with prior information) of unitary shift parameters such as rotation angle and time, and to obtain strong bounds on measures of coherence. Sharper Rényi entropic uncertainty relations are also obtained, including time-energy uncertainty relations for Hamiltonians with discrete spectra. In the latter case almost-periodic Rényi entropies are introduced for nonperiodic systems.
△ Less
Submitted 17 November, 2022; v1 submitted 26 October, 2022;
originally announced October 2022.
-
Big Bang nucleosynthesis as a probe of new physics
Authors:
Carlos A. Bertulani,
Francis W. Hall,
Benjamin I. Santoyo
Abstract:
The Big Bang Nucleosynthesis (BBN) model is a cornerstone for the understanding of the evolution of the early universe, making seminal predictions that are in outstanding agreement with the present observation of light element abundances in the universe. Perhaps, the only remaining issue to be solved by theory is the so-called "lithium abundance problem". Dedicated experimental efforts to measure…
▽ More
The Big Bang Nucleosynthesis (BBN) model is a cornerstone for the understanding of the evolution of the early universe, making seminal predictions that are in outstanding agreement with the present observation of light element abundances in the universe. Perhaps, the only remaining issue to be solved by theory is the so-called "lithium abundance problem". Dedicated experimental efforts to measure the relevant nuclear cross sections used as input of the model have lead to an increased level of accuracy in the prediction of the light element primordial abundances. The rise of indirect experimental techniques during the preceding few decades has permitted the access of reaction information beyond the limitations of direct measurements. New theoretical developments have also opened a fertile ground for tests of physics beyond the standard model of atomic, nuclear, statistics, and particle physics. We review the latest contributions of our group for possible solutions of the lithium problem.
△ Less
Submitted 8 November, 2022; v1 submitted 8 October, 2022;
originally announced October 2022.
-
Ten Years after ImageNet: A 360° Perspective on AI
Authors:
Sanjay Chawla,
Preslav Nakov,
Ahmed Ali,
Wendy Hall,
Issa Khalil,
Xiaosong Ma,
Husrev Taha Sencar,
Ingmar Weber,
Michael Wooldridge,
Ting Yu
Abstract:
It is ten years since neural networks made their spectacular comeback. Prompted by this anniversary, we take a holistic perspective on Artificial Intelligence (AI). Supervised Learning for cognitive tasks is effectively solved - provided we have enough high-quality labeled data. However, deep neural network models are not easily interpretable, and thus the debate between blackbox and whitebox mode…
▽ More
It is ten years since neural networks made their spectacular comeback. Prompted by this anniversary, we take a holistic perspective on Artificial Intelligence (AI). Supervised Learning for cognitive tasks is effectively solved - provided we have enough high-quality labeled data. However, deep neural network models are not easily interpretable, and thus the debate between blackbox and whitebox modeling has come to the fore. The rise of attention networks, self-supervised learning, generative modeling, and graph neural networks has widened the application space of AI. Deep Learning has also propelled the return of reinforcement learning as a core building block of autonomous decision making systems. The possible harms made possible by new AI technologies have raised socio-technical issues such as transparency, fairness, and accountability. The dominance of AI by Big-Tech who control talent, computing resources, and most importantly, data may lead to an extreme AI divide. Failure to meet high expectations in high profile, and much heralded flagship projects like self-driving vehicles could trigger another AI winter.
△ Less
Submitted 30 September, 2022;
originally announced October 2022.
-
Simple precession calculation for Mercury: a linearization approach
Authors:
Michael J. W. Hall
Abstract:
The additional precession of Mercury due to general relativity can be calculated by a method that is no more difficult than solving for the Newtonian orbit. The method relies on linearizing the relativistic orbit equation, is simpler than standard textbook methods, and is closely related to Newton's theorem on revolving orbits. The main result is accurate to all orders in $\tfrac{1}{c}$ for near-c…
▽ More
The additional precession of Mercury due to general relativity can be calculated by a method that is no more difficult than solving for the Newtonian orbit. The method relies on linearizing the relativistic orbit equation, is simpler than standard textbook methods, and is closely related to Newton's theorem on revolving orbits. The main result is accurate to all orders in $\tfrac{1}{c}$ for near-circular orbits.
△ Less
Submitted 23 June, 2022;
originally announced June 2022.
-
Practical guide to replica exchange transition interface sampling and forward flux sampling
Authors:
Steven W. Hall,
Grisell Díaz Leines,
Sapna Sarupria,
Jutta Rogal
Abstract:
Path sampling approaches have become invaluable tools to explore the mechanisms and dynamics of so-called rare events that are characterized by transitions between metastable states separated by sizeable free energy barriers. Their practical application, in particular to ever more complex molecular systems, is, however, not entirely trivial. Focusing on replica exchange transition interface sampli…
▽ More
Path sampling approaches have become invaluable tools to explore the mechanisms and dynamics of so-called rare events that are characterized by transitions between metastable states separated by sizeable free energy barriers. Their practical application, in particular to ever more complex molecular systems, is, however, not entirely trivial. Focusing on replica exchange transition interface sampling (RETIS) and forward flux sampling (FFS), we discuss a range of analysis tools that can be used to assess the quality and convergence of such simulations which is crucial to obtain reliable results. The basic ideas of a step-wise evaluation are exemplified for the study of nucleation in several systems with different complexity, providing a general guide for the critical assessment of RETIS and FFS simulations.
△ Less
Submitted 21 March, 2022;
originally announced March 2022.
-
Experimentally ruling out joint reality based on operational completeness
Authors:
Qiuxin Zhang,
Yu Xiang,
Xiaoting Gao,
Chenhao Zhu,
Yuxin Wang,
Liangyu Ding,
Xiang Zhang,
Shuaning Zhang,
Shuming Cheng,
Michael J. W. Hall,
Qiongyi He,
Wei Zhang
Abstract:
Whether the observables of a physical system admit real values is of fundamental importance to a deep understanding of nature. In this work, we report a device-independent experiment to confirm that the joint reality of two observables on a single two-level system is incompatible with the assumption of operational completeness, which is strictly weaker than that of preparation noncontextuality. We…
▽ More
Whether the observables of a physical system admit real values is of fundamental importance to a deep understanding of nature. In this work, we report a device-independent experiment to confirm that the joint reality of two observables on a single two-level system is incompatible with the assumption of operational completeness, which is strictly weaker than that of preparation noncontextuality. We implement two observables on a trapped $^{171}{\rm Yb}^{+}$ ion to test this incompatibility via violation of certain inequalities derived from both linear and nonlinear criteria. Moreover, by introducing a highly controllable dephasing channel, we show that the nonlinear criterion is more robust against noise. Our results push the fundamental limit to delineate the quantum-classical boundary and pave the way for exploring relevant problems in other scenarios.
△ Less
Submitted 3 February, 2024; v1 submitted 10 March, 2022;
originally announced March 2022.
-
Relativistic Conceptions of Trustworthiness: Implications for the Trustworthy Status of National Identification Systems
Authors:
Paul R. Smart,
Wendy Hall,
Michael Boniface
Abstract:
Trustworthiness is typically regarded as a desirable feature of national identification systems (NISs); but the variegated nature of the trustor communities associated with such systems makes it difficult to see how a single system could be equally trustworthy to all actual and potential trustors. This worry is accentuated by common theoretical accounts of trustworthiness. According to such accoun…
▽ More
Trustworthiness is typically regarded as a desirable feature of national identification systems (NISs); but the variegated nature of the trustor communities associated with such systems makes it difficult to see how a single system could be equally trustworthy to all actual and potential trustors. This worry is accentuated by common theoretical accounts of trustworthiness. According to such accounts, trustworthiness is relativized to particular individuals and particular areas of activity, such that one can be trustworthy with regard to some individuals in respect of certain matters, but not trustworthy with regard to all trustors in respect of every matter. The present article challenges this relativistic approach to trustworthiness by outlining a new account of trustworthiness, dubbed the expectation-oriented account. This account allows for the possibility of an absolutist (or one-place) approach to trustworthiness. Such an account, we suggest, is the approach that best supports the effort to develop NISs. To be trustworthy, we suggest, is to minimize the error associated with trustor expectations in situations of social dependency (commonly referred to as trust situations), and to be trustworthy in an absolute sense is to assign equal value to all expectation-related errors in all trust situations. In addition to outlining the features of the expectation-oriented account, we describe some of the implications of this account for the design, development, and management of trustworthy NISs.
△ Less
Submitted 7 July, 2022; v1 submitted 17 December, 2021;
originally announced December 2021.
-
Comment on "Vindication of entanglement-based witnesses of non-classicality in hybrid systems"
Authors:
Michael J. W. Hall,
Marcel Reginatto
Abstract:
Models of quantum-classical interactions fall into two classes: those which allow the generation of quantum entanglement via a classical mediator (such as gravity), and those which do not. Marconato and Marletto have recently sought to distinguish between these classes by claiming that known members of the first class (based on the configuration-ensemble formalism introduced by us) fail to model t…
▽ More
Models of quantum-classical interactions fall into two classes: those which allow the generation of quantum entanglement via a classical mediator (such as gravity), and those which do not. Marconato and Marletto have recently sought to distinguish between these classes by claiming that known members of the first class (based on the configuration-ensemble formalism introduced by us) fail to model the mediator as a 'classical' system, and are nonlocal. We explicitly show that this claim is incorrect, and expose a large number of errors and misconceptions in their reasoning. We also point to a very simple and transparent example of the generation of entanglement between two qubits via a classical bit. It follows that there are models permitting the generation of entanglement via quantum-classical interactions that lie outside the remit of the theorem cited by Marconato and Marletto. We clarify the reasons for the limited applicability of various no-go theorems for entanglement generation.
△ Less
Submitted 7 July, 2022; v1 submitted 9 November, 2021;
originally announced November 2021.
-
Generalising the Horodecki criterion to nonprojective qubit measurements
Authors:
Michael J. W. Hall,
Shuming Cheng
Abstract:
The Horodecki criterion provides a necessary and sufficient condition for a two-qubit state to be able to manifest Bell nonlocality via violation of the Clauser-Horne-Shimony-Holt (CHSH) inequality. It requires, however, the assumption that suitable projective measurements can be made on each qubit, and is not sufficient for scenarios in which noisy or weak measurements are either desirable or una…
▽ More
The Horodecki criterion provides a necessary and sufficient condition for a two-qubit state to be able to manifest Bell nonlocality via violation of the Clauser-Horne-Shimony-Holt (CHSH) inequality. It requires, however, the assumption that suitable projective measurements can be made on each qubit, and is not sufficient for scenarios in which noisy or weak measurements are either desirable or unavoidable. By characterising two-valued qubit observables in terms of strength, bias, and directional parameters, we address such scenarios by providing necessary and sufficient conditions for arbitrary qubit measurements having fixed strengths and relative angles for each observer. In particular, we find the achievable maximal values of the CHSH parameter for unbiased measurements on arbitrary states, and, alternatively, for arbitrary measurements on states with maximally-mixed marginals, and determine the optimal angles in some cases. We also show that for certain ranges of measurement strengths it is only possible to violate the CHSH inequality via biased measurements. Finally, we use the CHSH inequality to obtain a simple necessary condition for the compatibility of two qubit observables.
△ Less
Submitted 6 January, 2022; v1 submitted 20 September, 2021;
originally announced September 2021.
-
safe-control-gym: a Unified Benchmark Suite for Safe Learning-based Control and Reinforcement Learning in Robotics
Authors:
Zhaocong Yuan,
Adam W. Hall,
Siqi Zhou,
Lukas Brunke,
Melissa Greeff,
Jacopo Panerati,
Angela P. Schoellig
Abstract:
In recent years, both reinforcement learning and learning-based control -- as well as the study of their safety, which is crucial for deployment in real-world robots -- have gained significant traction. However, to adequately gauge the progress and applicability of new results, we need the tools to equitably compare the approaches proposed by the controls and reinforcement learning communities. He…
▽ More
In recent years, both reinforcement learning and learning-based control -- as well as the study of their safety, which is crucial for deployment in real-world robots -- have gained significant traction. However, to adequately gauge the progress and applicability of new results, we need the tools to equitably compare the approaches proposed by the controls and reinforcement learning communities. Here, we propose a new open-source benchmark suite, called safe-control-gym, supporting both model-based and data-based control techniques. We provide implementations for three dynamic systems -- the cart-pole, the 1D, and 2D quadrotor -- and two control tasks -- stabilization and trajectory tracking. We propose to extend OpenAI's Gym API -- the de facto standard in reinforcement learning research -- with (i) the ability to specify (and query) symbolic dynamics and (ii) constraints, and (iii) (repeatably) inject simulated disturbances in the control inputs, state measurements, and inertial properties. To demonstrate our proposal and in an attempt to bring research communities closer together, we show how to use safe-control-gym to quantitatively compare the control performance, data efficiency, and safety of multiple approaches from the fields of traditional control, learning-based control, and reinforcement learning.
△ Less
Submitted 26 July, 2022; v1 submitted 13 September, 2021;
originally announced September 2021.
-
Recycling qubits for the generation of Bell nonlocality between independent sequential observers
Authors:
Shuming Cheng,
Lijun Liu,
Travis J. Baker,
Michael J. W. Hall
Abstract:
There is currently much interest in the recycling of entangled systems, for use in quantum information protocols by sequential observers. In this work, we study the sequential generation of Bell nonlocality via recycling one or both components of two-qubit states. We first give a description of two-valued qubit measurements in terms of measurement bias, strength, and reversibility, and derive usef…
▽ More
There is currently much interest in the recycling of entangled systems, for use in quantum information protocols by sequential observers. In this work, we study the sequential generation of Bell nonlocality via recycling one or both components of two-qubit states. We first give a description of two-valued qubit measurements in terms of measurement bias, strength, and reversibility, and derive useful tradeoff relations between them. Then, we derive one-sided monogamy relations for unbiased observables, that strengthen the recent Conjecture in [S. Cheng {\it et al.}, Phys. Rev. A \textbf{104}, L060201 (2021) ] that if the first pair of observers violate Bell nonlocality then a subsequent independent pair cannot, and give semi-analytic results for the best possible monogamy relation. We also extend the construction in [P. J. Brown and R. Colbeck, Phys. Rev. Lett. \textbf{125}, 090401 (2020)] to obtain (i)~a broader class of two-qubit states that allow the recycling of one qubit by a given number of observers on one side, and (ii)~a scheme for generating Bell nonlocality between arbitrarily many independent observers on each side, via the two-sided recycling of multiqubit states. Our results are based on a formalism that is applicable to more general problems in recycling entanglement, and hence is expected to aid progress in this field.
△ Less
Submitted 24 January, 2022; v1 submitted 8 September, 2021;
originally announced September 2021.
-
Riemannian Optimization for Distance-Geometric Inverse Kinematics
Authors:
Filip Marić,
Matthew Giamou,
Adam W. Hall,
Soroush Khoubyarian,
Ivan Petrović,
Jonathan Kelly
Abstract:
Solving the inverse kinematics problem is a fundamental challenge in motion planning, control, and calibration for articulated robots. Kinematic models for these robots are typically parametrized by joint angles, generating a complicated map** between the robot configuration and the end-effector pose. Alternatively, the kinematic model and task constraints can be represented using invariant dist…
▽ More
Solving the inverse kinematics problem is a fundamental challenge in motion planning, control, and calibration for articulated robots. Kinematic models for these robots are typically parametrized by joint angles, generating a complicated map** between the robot configuration and the end-effector pose. Alternatively, the kinematic model and task constraints can be represented using invariant distances between points attached to the robot. In this paper, we formalize the equivalence of distance-based inverse kinematics and the distance geometry problem for a large class of articulated robots and task constraints. Unlike previous approaches, we use the connection between distance geometry and low-rank matrix completion to find inverse kinematics solutions by completing a partial Euclidean distance matrix through local optimization. Furthermore, we parametrize the space of Euclidean distance matrices with the Riemannian manifold of fixed-rank Gram matrices, allowing us to leverage a variety of mature Riemannian optimization methods. Finally, we show that bound smoothing can be used to generate informed initializations without significant computational overhead, improving convergence. We demonstrate that our inverse kinematics solver achieves higher success rates than traditional techniques, and substantially outperforms them on problems that involve many workspace constraints.
△ Less
Submitted 10 December, 2023; v1 submitted 31 August, 2021;
originally announced August 2021.
-
Safe Learning in Robotics: From Learning-Based Control to Safe Reinforcement Learning
Authors:
Lukas Brunke,
Melissa Greeff,
Adam W. Hall,
Zhaocong Yuan,
Siqi Zhou,
Jacopo Panerati,
Angela P. Schoellig
Abstract:
The last half-decade has seen a steep rise in the number of contributions on safe learning methods for real-world robotic deployments from both the control and reinforcement learning communities. This article provides a concise but holistic review of the recent advances made in using machine learning to achieve safe decision making under uncertainties, with a focus on unifying the language and fra…
▽ More
The last half-decade has seen a steep rise in the number of contributions on safe learning methods for real-world robotic deployments from both the control and reinforcement learning communities. This article provides a concise but holistic review of the recent advances made in using machine learning to achieve safe decision making under uncertainties, with a focus on unifying the language and frameworks used in control theory and reinforcement learning research. Our review includes: learning-based control approaches that safely improve performance by learning the uncertain dynamics, reinforcement learning approaches that encourage safety or robustness, and methods that can formally certify the safety of a learned control policy. As data- and learning-based robot control methods continue to gain traction, researchers must understand when and how to best leverage them in real-world scenarios where safety is imperative, such as when operating in close proximity to humans. We highlight some of the open challenges that will drive the field of robot learning in the coming years, and emphasize the need for realistic physics-based benchmarks to facilitate fair comparisons between control and reinforcement learning approaches.
△ Less
Submitted 6 December, 2021; v1 submitted 13 August, 2021;
originally announced August 2021.
-
Professional Differences: A Comparative Study of Visualization Task Performance and Spatial Ability Across Disciplines
Authors:
Kyle Wm. Hall,
Anthony Kouroupis,
Anastasia Bezerianos,
Danielle Albers Szafir,
Christopher Collins
Abstract:
Problem-driven visualization work is rooted in deeply understanding the data, actors, processes, and workflows of a target domain. However, an individual's personality traits and cognitive abilities may also influence visualization use. Diverse user needs and abilities raise natural questions for specificity in visualization design: Could individuals from different domains exhibit performance diff…
▽ More
Problem-driven visualization work is rooted in deeply understanding the data, actors, processes, and workflows of a target domain. However, an individual's personality traits and cognitive abilities may also influence visualization use. Diverse user needs and abilities raise natural questions for specificity in visualization design: Could individuals from different domains exhibit performance differences when using visualizations? Are any systematic variations related to their cognitive abilities? This study bridges domain-specific perspectives on visualization design with those provided by cognition and perception. We measure variations in visualization task performance across chemistry, computer science, and education, and relate these differences to variations in spatial ability. We conducted an online study with over 60 domain experts consisting of tasks related to pie charts, isocontour plots, and 3D scatterplots, and grounded by a well-documented spatial ability test. Task performance (correctness) varied with profession across more complex visualizations, but not pie charts, a comparatively common visualization. We found that correctness correlates with spatial ability, and the professions differ in terms of spatial ability. These results indicate that domains differ not only in the specifics of their data and tasks, but also in terms of how effectively their constituent members engage with visualizations and their cognitive traits. Analyzing participants' confidence and strategy comments suggests that focusing on performance neglects important nuances, such as differing approaches to engage with even common visualizations and potential skill transference. Our findings offer a fresh perspective on discipline-specific visualization with recommendations to help guide visualization design that celebrates the uniqueness of the disciplines and individuals we seek to serve.
△ Less
Submitted 4 August, 2021;
originally announced August 2021.
-
Turing Award elites revisited: patterns of productivity, collaboration, authorship and impact
Authors:
Yinyu **,
Sha Yuan,
Zhou Shao,
Wendy Hall,
Jie Tang
Abstract:
The Turing Award is recognized as the most influential and prestigious award in the field of computer science(CS). With the rise of the science of science (SciSci), a large amount of bibliographic data has been analyzed in an attempt to understand the hidden mechanism of scientific evolution. These include the analysis of the Nobel Prize, including physics, chemistry, medicine, etc. In this articl…
▽ More
The Turing Award is recognized as the most influential and prestigious award in the field of computer science(CS). With the rise of the science of science (SciSci), a large amount of bibliographic data has been analyzed in an attempt to understand the hidden mechanism of scientific evolution. These include the analysis of the Nobel Prize, including physics, chemistry, medicine, etc. In this article, we extract and analyze the data of 72 Turing Award laureates from the complete bibliographic data, fill the gap in the lack of Turing Award analysis, and discover the development characteristics of computer science as an independent discipline. First, we show most Turing Award laureates have long-term and high-quality educational backgrounds, and more than 61% of them have a degree in mathematics, which indicates that mathematics has played a significant role in the development of computer science. Secondly, the data shows that not all scholars have high productivity and high h-index; that is, the number of publications and h-index is not the leading indicator for evaluating the Turing Award. Third, the average age of awardees has increased from 40 to around 70 in recent years. This may be because new breakthroughs take longer, and some new technologies need time to prove their influence. Besides, we have also found that in the past ten years, international collaboration has experienced explosive growth, showing a new paradigm in the form of collaboration. It is also worth noting that in recent years, the emergence of female winners has also been eye-catching. Finally, by analyzing the personal publication records, we find that many people are more likely to publish high-impact articles during their high-yield periods.
△ Less
Submitted 22 June, 2021;
originally announced June 2021.
-
What Can Knowledge Bring to Machine Learning? -- A Survey of Low-shot Learning for Structured Data
Authors:
Yang Hu,
Adriane Chapman,
Guihua Wen,
Dame Wendy Hall
Abstract:
Supervised machine learning has several drawbacks that make it difficult to use in many situations. Drawbacks include: heavy reliance on massive training data, limited generalizability and poor expressiveness of high-level semantics. Low-shot Learning attempts to address these drawbacks. Low-shot learning allows the model to obtain good predictive power with very little or no training data, where…
▽ More
Supervised machine learning has several drawbacks that make it difficult to use in many situations. Drawbacks include: heavy reliance on massive training data, limited generalizability and poor expressiveness of high-level semantics. Low-shot Learning attempts to address these drawbacks. Low-shot learning allows the model to obtain good predictive power with very little or no training data, where structured knowledge plays a key role as a high-level semantic representation of human. This article will review the fundamental factors of low-shot learning technologies, with a focus on the operation of structured knowledge under different low-shot conditions. We also introduce other techniques relevant to low-shot learning. Finally, we point out the limitations of low-shot learning, the prospects and gaps of industrial applications, and future research directions.
△ Less
Submitted 11 June, 2021;
originally announced June 2021.
-
A general model of MnSi-like spiral magnets
Authors:
K. P. W. Hall,
S. H. Curnoe
Abstract:
A general, symmetry-allowed model of nearest-neighbour interactions for MnSi-like magnets is presented. A left-handed helical magnet phase occurs within a large parameter space of the model, which is explored via numerical simulation. The relations between microscopic features of the spiral structure and various model parameters, including an external magnetic field, are determined and show good a…
▽ More
A general, symmetry-allowed model of nearest-neighbour interactions for MnSi-like magnets is presented. A left-handed helical magnet phase occurs within a large parameter space of the model, which is explored via numerical simulation. The relations between microscopic features of the spiral structure and various model parameters, including an external magnetic field, are determined and show good agreement with predictions from free energy considerations. A skyrmion structure is stabilized near the boundary.
△ Less
Submitted 4 May, 2021;
originally announced May 2021.
-
Limitations on sharing Bell nonlocality between sequential pairs of observers
Authors:
Shuming Cheng,
Lijun Liu,
Travis J. Baker,
Michael J. W. Hall
Abstract:
We give strong analytic and numerical evidence that, under mild measurement assumptions, two qubits cannot both be recycled to generate Bell nonlocality between multiple independent observers on each side. This is surprising, as under the same assumptions it is possible to recycle just one of the qubits an arbitrarily large number of times [P. J. Brown and R. Colbeck, Phys. Rev. Lett. 125, 090401…
▽ More
We give strong analytic and numerical evidence that, under mild measurement assumptions, two qubits cannot both be recycled to generate Bell nonlocality between multiple independent observers on each side. This is surprising, as under the same assumptions it is possible to recycle just one of the qubits an arbitrarily large number of times [P. J. Brown and R. Colbeck, Phys. Rev. Lett. 125, 090401 (2020)]. We derive corresponding 'one-sided monogamy relations' that rule out two-sided recycling for a wide range of parameters, based on a general tradeoff relation between the strengths and maximum reversibilities of qubit measurements. We also show if the assumptions are relaxed to allow sufficiently biased measurement selections, then there is a narrow range of measurement strengths that allows two-sided recycling for two observers on each side, and propose an experimental test. Our methods may be readily applied to other types of quantum correlations, such as steering and entanglement, and hence to general information protocols involving sequential measurements.
△ Less
Submitted 4 June, 2021; v1 submitted 23 February, 2021;
originally announced February 2021.
-
Policy choices can help keep 4G and 5G universal broadband affordable
Authors:
Edward J Oughton,
Niccolò Comini,
Vivien Foster,
Jim W Hall
Abstract:
The United Nations Broadband Commission has committed the international community to accelerate universal broadband. However, the cost of meeting this objective, and the feasibility of doing so on a commercially viable basis, are not well understood. Using scenario analysis, this paper compares the global cost-effectiveness of different infrastructure strategies for the develo** world to achieve…
▽ More
The United Nations Broadband Commission has committed the international community to accelerate universal broadband. However, the cost of meeting this objective, and the feasibility of doing so on a commercially viable basis, are not well understood. Using scenario analysis, this paper compares the global cost-effectiveness of different infrastructure strategies for the develo** world to achieve universal 4G or 5G mobile broadband. Utilizing remote sensing and demand forecasting, least-cost network designs are developed for eight representative low and middle-income countries (Malawi, Uganda, Kenya, Senegal, Pakistan, Albania, Peru and Mexico), the results from which form the basis for aggregation to the global level. The cost of meeting a minimum 10 Mbps per user is estimated at USD 1.7 trillion using 5G Non-Standalone, approximately 0.6% of annual GDP for the develo** world over the next decade. However, by creating a favorable regulatory environment, governments can bring down these costs by as much as three quarters, to USD 0.5 trillion (approximately 0.2% of annual GDP), and avoid the need for public subsidy. Providing governments make judicious choices, adopting fiscal and regulatory regimes conducive to lowering costs, universal broadband may be within reach of most develo** countries over the next decade.
△ Less
Submitted 19 February, 2021; v1 submitted 19 January, 2021;
originally announced January 2021.
-
Does locality plus perfect correlation imply determinism?
Authors:
Michael J. W. Hall
Abstract:
A 1964 paper by John Bell gave the first demonstration that quantum mechanics is incompatible with local hidden variables. There is an ongoing and vigorous debate on whether he relied on an assumption of determinism, or instead, as he later claimed, derived determinism from assumptions of locality and perfect correlation. This paper aims to bring clarity to the debate via simple examples and rigor…
▽ More
A 1964 paper by John Bell gave the first demonstration that quantum mechanics is incompatible with local hidden variables. There is an ongoing and vigorous debate on whether he relied on an assumption of determinism, or instead, as he later claimed, derived determinism from assumptions of locality and perfect correlation. This paper aims to bring clarity to the debate via simple examples and rigorous results. It is shown that the weak form of locality used in Bell's 1964 paper (parameter independence) is insufficient for such a derivation, whereas an independent form called outcome independence is sufficient even when weak locality does not hold. It further follows that outcome independence, by itself, implies that standard quantum mechanics is incomplete. It is also shown that an appeal by Bell to the Einstein-Rosen-Podolsky argument to support his claim fails, via examples that expose logical gaps in this argument. However, replacing the reality criterion underpinning the argument by a stronger criterion enables a rigorous derivation of both weak locality and determinism, as required for Bell's 1964 paper. Consequences for quantum interpretations, locality, and classical common causes are briefly discussed, with reference to an example of local classical indeterminism.
△ Less
Submitted 25 June, 2024; v1 submitted 29 September, 2020;
originally announced September 2020.
-
Measurement-dependence cost for Bell nonlocality: causal vs retrocausal models
Authors:
Michael J. W. Hall,
Cyril Branciard
Abstract:
Device independent protocols based on Bell nonlocality, such as quantum key distribution and randomness generation, must ensure no adversary can have prior knowledge of the measurement outcomes. This requires a measurement independence assumption: that the choice of measurement is uncorrelated with any other underlying variables that influence the measurement outcomes. Conversely, relaxing measure…
▽ More
Device independent protocols based on Bell nonlocality, such as quantum key distribution and randomness generation, must ensure no adversary can have prior knowledge of the measurement outcomes. This requires a measurement independence assumption: that the choice of measurement is uncorrelated with any other underlying variables that influence the measurement outcomes. Conversely, relaxing measurement independence allows for a fully `causal' simulation of Bell nonlocality. We construct the most efficient such simulation, as measured by the mutual information between the underlying variables and the measurement settings, for the Clauser-Horne-Shimony-Holt (CHSH) scenario, and find that the maximal quantum violation requires a mutual information of just $\sim 0.080$ bits. Any physical device built to implement this simulation allows an adversary to have full knowledge of a cryptographic key or `random' numbers generated by a device independent protocol based on violation of the CHSH inequality. We also show that a previous model for the CHSH scenario, requiring only $\sim 0.046$ bits to simulate the maximal quantum violation, corresponds to the most efficient `retrocausal' simulation, in which future measurement settings necessarily influence earlier source variables. This may be viewed either as an unphysical limitation of the prior model, or as an argument for retrocausality on the grounds of its greater efficiency. Causal and retrocausal models are also discussed for maximally entangled two-qubit states, as well as superdeterministic, one-sided and zigzag causal models.
△ Less
Submitted 23 July, 2020;
originally announced July 2020.
-
Graph-based Visual-Semantic Entanglement Network for Zero-shot Image Recognition
Authors:
Yang Hu,
Guihua Wen,
Adriane Chapman,
Pei Yang,
Mingnan Luo,
Yingxue Xu,
Dan Dai,
Wendy Hall
Abstract:
Zero-shot learning uses semantic attributes to connect the search space of unseen objects. In recent years, although the deep convolutional network brings powerful visual modeling capabilities to the ZSL task, its visual features have severe pattern inertia and lack of representation of semantic relationships, which leads to severe bias and ambiguity. In response to this, we propose the Graph-base…
▽ More
Zero-shot learning uses semantic attributes to connect the search space of unseen objects. In recent years, although the deep convolutional network brings powerful visual modeling capabilities to the ZSL task, its visual features have severe pattern inertia and lack of representation of semantic relationships, which leads to severe bias and ambiguity. In response to this, we propose the Graph-based Visual-Semantic Entanglement Network to conduct graph modeling of visual features, which is mapped to semantic attributes by using a knowledge graph, it contains several novel designs: 1. it establishes a multi-path entangled network with the convolutional neural network (CNN) and the graph convolutional network (GCN), which input the visual features from CNN to GCN to model the implicit semantic relations, then GCN feedback the graph modeled information to CNN features; 2. it uses attribute word vectors as the target for the graph semantic modeling of GCN, which forms a self-consistent regression for graph modeling and supervise GCN to learn more personalized attribute relations; 3. it fuses and supplements the hierarchical visual-semantic features refined by graph modeling into visual embedding. Our method outperforms state-of-the-art approaches on multiple representative ZSL datasets: AwA2, CUB, and SUN by promoting the semantic linkage modelling of visual features.
△ Less
Submitted 11 June, 2021; v1 submitted 8 June, 2020;
originally announced June 2020.
-
Multiple Attentional Pyramid Networks for Chinese Herbal Recognition
Authors:
Yingxue Xu,
Guihua Wen,
Yang Hu,
Mingnan Luo,
Dan Dai,
Yishan Zhuang,
Wendy Hall
Abstract:
Chinese herbs play a critical role in Traditional Chinese Medicine. Due to different recognition granularity, they can be recognized accurately only by professionals with much experience. It is expected that they can be recognized automatically using new techniques like machine learning. However, there is no Chinese herbal image dataset available. Simultaneously, there is no machine learning metho…
▽ More
Chinese herbs play a critical role in Traditional Chinese Medicine. Due to different recognition granularity, they can be recognized accurately only by professionals with much experience. It is expected that they can be recognized automatically using new techniques like machine learning. However, there is no Chinese herbal image dataset available. Simultaneously, there is no machine learning method which can deal with Chinese herbal image recognition well. Therefore, this paper begins with building a new standard Chinese-Herbs dataset. Subsequently, a new Attentional Pyramid Networks (APN) for Chinese herbal recognition is proposed, where both novel competitive attention and spatial collaborative attention are proposed and then applied. APN can adaptively model Chinese herbal images with different feature scales. Finally, a new framework for Chinese herbal recognition is proposed as a new application of APN. Experiments are conducted on our constructed dataset and validate the effectiveness of our methods.
△ Less
Submitted 13 May, 2020;
originally announced May 2020.
-
Property Decoupling across the Nucleus-Melt Interface during Polymer Crystal Nucleation
Authors:
Kyle Wm. Hall,
Simona Percec,
Wataru Shinoda,
Michael L. Klein
Abstract:
Spatial distributions are presented that quantitatively capture how polymer properties (e.g., segment alignment, density, and potential energy) vary with distance from nascent polymer crystals (nuclei) in prototypical polyethylene melts. It is revealed that the spatial extent of nuclei and their interfaces is metric-dependent as is the extent to which nucleus interiors are solid-like. As distance…
▽ More
Spatial distributions are presented that quantitatively capture how polymer properties (e.g., segment alignment, density, and potential energy) vary with distance from nascent polymer crystals (nuclei) in prototypical polyethylene melts. It is revealed that the spatial extent of nuclei and their interfaces is metric-dependent as is the extent to which nucleus interiors are solid-like. As distance from a nucleus increases, some properties, such as density, decay to melt-like behavior more rapidly than polymer segment alignment, indicating that a polymer nucleus resides in a nematic-like droplet. This nematic-like droplet region coincides with enhanced formation of ordered polymer segments that are not part of the nucleus. It is more favourable to find non-constituent ordered polymer segments near a nucleus than in the surrounding metastable melt, pointing to the possibility of one nucleus inducing the formation of other nuclei. These findings provide a conceptual bridge between polymer crystal nucleation under non-flow and flow conditions, and are used to rationalize previous results.
△ Less
Submitted 4 March, 2020;
originally announced March 2020.
-
Geometry of joint reality: device-independent steering and operational completeness
Authors:
Michael J. W. Hall,
Ángel Rivas
Abstract:
We look at what type of arguments can rule out the joint reality (or value definiteness) of two observables of a physical system, such as a qubit, and give several strong yet simple no-go results based on assumptions typically weaker than those considered previously. The first result uses simple geometry combined with a locality assumption to derive device-independent steering inequalities. These…
▽ More
We look at what type of arguments can rule out the joint reality (or value definiteness) of two observables of a physical system, such as a qubit, and give several strong yet simple no-go results based on assumptions typically weaker than those considered previously. The first result uses simple geometry combined with a locality assumption to derive device-independent steering inequalities. These may also be regarded as "conditional" Bell inequalities, are simpler in principle to test than standard Bell inequalities, and for two-qubit systems are related to properties of the quantum steering ellipsoid. We also derive a Bell inequality from locality and a one-sided reality assumption, and demonstrate a close connection between device-independent steering and Bell nonlocality. Moreover, we obtain a no-go result without the use of locality or noncontextuality assumptions, based on similar geometry and an assumption that we call "operational completeness". The latter is related to, but strictly weaker than, preparation noncontextuality. All arguments are given for finite statistics, without requiring any assumption that joint relative frequencies converge to some (unobservable) joint probability distribution. We also generalise a recent strong result of Pusey, for preparation noncontextuality, to the scenarios of device-independent steering and operational completeness.
△ Less
Submitted 6 November, 2019; v1 submitted 9 August, 2019;
originally announced August 2019.
-
Divining the Shape of Nascent Polymer Crystal Nuclei
Authors:
Kyle Wm. Hall,
Timothy W. Sirk,
Simona Percec,
Michael L. Klein,
Wataru Shinoda
Abstract:
We demonstrate that nascent polymer crystals (i.e., nuclei) are anisotropic entities, with neither spherical nor cylindrical geometry, in contrast to previous assumptions. In fact, cylindrical, spherical, and other high symmetry geometries are thermodynamically unfavorable. Moreover, post-critical transitions are necessary to achieve the lamellae that ultimately arise during the crystallization of…
▽ More
We demonstrate that nascent polymer crystals (i.e., nuclei) are anisotropic entities, with neither spherical nor cylindrical geometry, in contrast to previous assumptions. In fact, cylindrical, spherical, and other high symmetry geometries are thermodynamically unfavorable. Moreover, post-critical transitions are necessary to achieve the lamellae that ultimately arise during the crystallization of semicrystalline polymers. We also highlight how inaccurate treatments of polymer nucleation can lead to substantial errors (e.g., orders of magnitude discrepancies in predicted nucleation rates). These insights are based on quantitative analysis of over four million crystal clusters from the crystallization of prototypical entangled polyethylene melts. New comprehensive bottom-up models are needed to capture polymer nucleation.
△ Less
Submitted 5 August, 2019;
originally announced August 2019.
-
Design by Immersion: A Transdisciplinary Approach to Problem-Driven Visualizations
Authors:
Kyle Wm. Hall,
Adam J. Bradley,
Uta Hinrichs,
Samuel Huron,
Jo Wood,
Christopher Collins,
Sheelagh Carpendale
Abstract:
While previous work exists on how to conduct and disseminate insights from problem-driven visualization projects and design studies, the literature does not address how to accomplish these goals in transdisciplinary teams in ways that advance all disciplines involved. In this paper we introduce and define a new methodological paradigm we call design by immersion, which provides an alternative pers…
▽ More
While previous work exists on how to conduct and disseminate insights from problem-driven visualization projects and design studies, the literature does not address how to accomplish these goals in transdisciplinary teams in ways that advance all disciplines involved. In this paper we introduce and define a new methodological paradigm we call design by immersion, which provides an alternative perspective on problem-driven visualization work. Design by immersion embeds transdisciplinary experiences at the center of the visualization process by having visualization researchers participate in the work of the target domain (or domain experts participate in visualization research). Based on our own combined experiences of working on cross-disciplinary, problem-driven visualization projects, we present six case studies that expose the opportunities that design by immersion enables, including (1) exploring new domain-inspired visualization design spaces, (2) enriching domain understanding through personal experiences, and (3) building strong transdisciplinary relationships. Furthermore, we illustrate how the process of design by immersion opens up a diverse set of design activities that can be combined in different ways depending on the type of collaboration, project, and goals. Finally, we discuss the challenges and potential pitfalls of design by immersion.
△ Less
Submitted 17 October, 2019; v1 submitted 1 August, 2019;
originally announced August 2019.
-
Inner-Imaging Networks: Put Lenses into Convolutional Structure
Authors:
Yang Hu,
Guihua Wen,
Mingnan Luo,
Dan Dai,
Wenming Cao,
Zhiwen Yu,
Wendy Hall
Abstract:
Despite the tremendous success in computer vision, deep convolutional networks suffer from serious computation costs and redundancies. Although previous works address this issue by enhancing diversities of filters, they have not considered the complementarity and the completeness of the internal structure of the convolutional network. To deal with these problems, a novel Inner-Imaging architecture…
▽ More
Despite the tremendous success in computer vision, deep convolutional networks suffer from serious computation costs and redundancies. Although previous works address this issue by enhancing diversities of filters, they have not considered the complementarity and the completeness of the internal structure of the convolutional network. To deal with these problems, a novel Inner-Imaging architecture is proposed in this paper, which allows relationships between channels to meet the above requirement. Specifically, we organize the channel signal points in groups using convolutional kernels to model both the intra-group and inter-group relationships simultaneously. The convolutional filter is a powerful tool for modeling spatial relations and organizing grouped signals, so the proposed methods map the channel signals onto a pseudo-image, like putting a lens into convolution internal structure. Consequently, not only the diversity of channels is increased, but also the complementarity and completeness can be explicitly enhanced. The proposed architecture is lightweight and easy to be implemented. It provides an efficient self-organization strategy for convolutional networks so as to improve their efficiency and performance. Extensive experiments are conducted on multiple benchmark image recognition data sets including CIFAR, SVHN and ImageNet. Experimental results verify the effectiveness of the Inner-Imaging mechanism with the most popular convolutional networks as the backbones.
△ Less
Submitted 27 August, 2021; v1 submitted 22 April, 2019;
originally announced April 2019.
-
Experimental Verification of Anisotropic Invariance for Three-Qubit States
Authors:
Jie Zhu,
Meng-Jun Hu,
Shuming Cheng,
Michael J. W. Hall,
Chuan-Feng Li,
Guang-Can Guo,
Yong-Sheng Zhang
Abstract:
We experimentally test the recently predicted anisotropic invariance properties of pure three-qubit states, via generation and measurement of polarisation-path entangled three-qubit states. These properties do not require aligned reference frames and can be determined from measurements on any two of the qubits. They have several applications, such as a universal ordering of pairwise quantum correl…
▽ More
We experimentally test the recently predicted anisotropic invariance properties of pure three-qubit states, via generation and measurement of polarisation-path entangled three-qubit states. These properties do not require aligned reference frames and can be determined from measurements on any two of the qubits. They have several applications, such as a universal ordering of pairwise quantum correlations, strong monogamy relations for Bell inequalities and quantum steering, and a complementarity relation for Bell nonlocality versus 3-tangle, some of which we also test. The results indicate that anisotropic invariance, together with the three qubit Bloch vector lengths, can provide a robust and complete set of invariants for such states under local unitary transformations.
△ Less
Submitted 21 November, 2018;
originally announced November 2018.
-
On the dynamics of initially correlated open quantum systems: theory and applications
Authors:
Gerardo A. Paz-Silva,
Michael J. W. Hall,
Howard M. Wiseman
Abstract:
We show that the dynamics of any open quantum system that is initially correlated with its environment can be described by a set of (or less) completely positive maps, where d is the dimension of the system. Only one such map is required for the special case of no initial correlations. The same maps describe the dynamics of any system-environment state obtained from the initial state by a local op…
▽ More
We show that the dynamics of any open quantum system that is initially correlated with its environment can be described by a set of (or less) completely positive maps, where d is the dimension of the system. Only one such map is required for the special case of no initial correlations. The same maps describe the dynamics of any system-environment state obtained from the initial state by a local operation on the system. The reduction of the system dynamics to a set of completely positive maps allows known numerical and analytic tools for uncorrelated initial states to be applied to the general case of initially correlated states, which we exemplify by solving the qubit dephasing model for such states, and provides a natural approach to quantum Markovianity for this case. We show that this set of completely positive maps can be experimentally characterised using only local operations on the system, via a generalisation of noise spectroscopy protocols. As further applications, we first consider the problem of retrodicting the dynamics of an open quantum system which is in an arbitrary state when it becomes accessible to the experimenter, and explore the conditions under which retrodiction is possible. We also introduce a related one-sided or limited-access tomography protocol for determining an arbitrary bipartite state, evolving under a sufficiently rich Hamiltonian, via local operations and measurements on just one component. We simulate this protocol for a physical model of particular relevance to nitrogen-vacancy centres, and in particular show how to reconstruct the density matrix of a set of three qubits, interacting via dipolar coupling and in the presence of local magnetic fields, by measuring and controlling only one of them.
△ Less
Submitted 10 September, 2019; v1 submitted 30 October, 2018;
originally announced October 2018.
-
Experimental validation of quantum steering ellipsoids and tests of volume monogamy relations
Authors:
Chao Zhang,
Shuming Cheng,
Li Li,
Qiu-Yue Liang,
Bi-Heng Liu,
Yun-Feng Huang,
Chuan-Feng Li,
Guang-Can Guo,
Michael J. W. Hall,
Howard M. Wiseman,
Geoff J. Pryde
Abstract:
The set of all qubit states that can be steered to by measurements on a correlated qubit is predicted to form an ellipsoid---called the quantum steering ellipsoid---in the Bloch ball. This ellipsoid provides a simple visual characterisation of the initial 2-qubit state, and various aspects of entanglement are reflected in its geometric properties. We experimentally verify these properties via meas…
▽ More
The set of all qubit states that can be steered to by measurements on a correlated qubit is predicted to form an ellipsoid---called the quantum steering ellipsoid---in the Bloch ball. This ellipsoid provides a simple visual characterisation of the initial 2-qubit state, and various aspects of entanglement are reflected in its geometric properties. We experimentally verify these properties via measurements on many different polarisation-entangled photonic qubit states. Moreover, for pure 3-qubit states, the volumes of the two quantum steering ellipsoids generated by measurements on the first qubit are predicted to satisfy a tight monogamy relation, which is strictly stronger than the well-known monogamy of entanglement for concurrence. We experimentally verify these predictions, using polarisation and path entanglement. We also show experimentally that this monogamy relation can be violated by a mixed entangled state, which nevertheless satisfies a weaker monogamy relation.
△ Less
Submitted 4 March, 2019; v1 submitted 21 September, 2018;
originally announced September 2018.
-
A Storm in an IoT Cup: The Emergence of Cyber-Physical Social Machines
Authors:
Aastha Madaan,
Jason R. C. Nurse,
David De Roure,
Kieron O'Hara,
Wendy Hall,
Sadie Creese
Abstract:
The concept of social machines is increasingly being used to characterise various socio-cognitive spaces on the Web. Social machines are human collectives using networked digital technology which initiate real-world processes and activities including human communication, interactions and knowledge creation. As such, they continuously emerge and fade on the Web. The relationship between humans and…
▽ More
The concept of social machines is increasingly being used to characterise various socio-cognitive spaces on the Web. Social machines are human collectives using networked digital technology which initiate real-world processes and activities including human communication, interactions and knowledge creation. As such, they continuously emerge and fade on the Web. The relationship between humans and machines is made more complex by the adoption of Internet of Things (IoT) sensors and devices. The scale, automation, continuous sensing, and actuation capabilities of these devices add an extra dimension to the relationship between humans and machines making it difficult to understand their evolution at either the systemic or the conceptual level. This article describes these new socio-technical systems, which we term Cyber-Physical Social Machines, through different exemplars, and considers the associated challenges of security and privacy.
△ Less
Submitted 30 November, 2018; v1 submitted 16 September, 2018;
originally announced September 2018.
-
Entanglement of quantum fields via classical gravity
Authors:
Marcel Reginatto,
Michael J. W. Hall
Abstract:
We consider the coupling of quantum fields to classical gravity in the formalism of ensembles on configuration space, a model that allows a consistent formulation of interacting classical and quantum systems. Explicit calculations show that there are solutions for which two quantum fields are in an entangled state, even though their interaction occurs solely via a common classical gravitational fi…
▽ More
We consider the coupling of quantum fields to classical gravity in the formalism of ensembles on configuration space, a model that allows a consistent formulation of interacting classical and quantum systems. Explicit calculations show that there are solutions for which two quantum fields are in an entangled state, even though their interaction occurs solely via a common classical gravitational field, and that such entangled solutions can evolve from initially unentangled ones. These results support the observation of a previous paper that an observed generation of entanglement would not provide a definitive test of the nonclassical nature of gravity.
△ Less
Submitted 13 September, 2018;
originally announced September 2018.
-
Relaxed Bell Inequalities with Arbitrary Measurement Dependence for Each Observer
Authors:
Andrew S. Friedman,
Alan H. Guth,
Michael J. W. Hall,
David I. Kaiser,
Jason Gallicchio
Abstract:
Bell's inequality was originally derived under the assumption that experimenters are free to select detector settings independently of any local "hidden variables" that might affect the outcomes of measurements on entangled particles. This assumption has come to be known as "measurement independence" (also referred to as "freedom of choice" or "settings independence"). For a two-setting, two-outco…
▽ More
Bell's inequality was originally derived under the assumption that experimenters are free to select detector settings independently of any local "hidden variables" that might affect the outcomes of measurements on entangled particles. This assumption has come to be known as "measurement independence" (also referred to as "freedom of choice" or "settings independence"). For a two-setting, two-outcome Bell test, we derive modified Bell inequalities that relax measurement independence, for either or both observers, while remaining locally causal. We describe the loss of measurement independence for each observer using the parameters $M_1$ and $M_2$, as defined by Hall in 2010, and also by a more complete description that adds two new parameters, which we call $\hat{M}_1$ and $\hat{M}_2$, deriving a modified Bell inequality for each description. These "relaxed" inequalities subsume those considered in previous work as special cases, and quantify how much the assumption of measurement independence needs to be relaxed in order for a locally causal model to produce a given violation of the standard Bell-Clauser-Horne-Shimony-Holt (Bell-CHSH) inequality. We show that both relaxed Bell inequalities are tight bounds on the CHSH parameter by constructing locally causal models that saturate them. For any given Bell inequality violation, the new two-parameter and four-parameter models each require significantly less mutual information between the hidden variables and measurement settings than previous models. We conjecture that the new models, with optimal parameters, require the minimum possible mutual information for a given Bell violation. We further argue that, contrary to various claims in the literature, relaxing freedom of choice need not imply superdeterminism.
△ Less
Submitted 24 January, 2019; v1 submitted 4 September, 2018;
originally announced September 2018.
-
Nonlocality in Bell's theorem, in Bohm's theory, and in Many Interacting Worlds theorising
Authors:
Mojtaba Ghadimi,
Michael J. W. Hall,
Howard M. Wiseman
Abstract:
'Locality' is a fraught word, even within the restricted context of Bell's theorem. As one of us has argued elsewhere, that is partly because Bell himself used the word with different meanings at different stages in his career. The original, weaker, meaning for locality was in his 1964 theorem: that the choice of setting by one party could never affect the outcome of a measurement performed by a d…
▽ More
'Locality' is a fraught word, even within the restricted context of Bell's theorem. As one of us has argued elsewhere, that is partly because Bell himself used the word with different meanings at different stages in his career. The original, weaker, meaning for locality was in his 1964 theorem: that the choice of setting by one party could never affect the outcome of a measurement performed by a distant second party. The epitome of a quantum theory violating this weak notion of locality (and hence exhibiting a strong form of nonlocality) is Bohmian mechanics. Recently, a new approach to quantum mechanics, inspired by Bohmian mechanics, has been proposed: Many Interacting Worlds. While it is conceptually clear how the interaction between worlds can enable this strong nonlocality, technical problems in the theory have thus far prevented a proof by simulation. Here we report significant progress in tackling one of the most basic difficulties that needs to be overcome: correctly modelling wavefunctions with nodes.
△ Less
Submitted 4 September, 2018; v1 submitted 4 July, 2018;
originally announced July 2018.
-
Analytics for the Internet of Things: A Survey
Authors:
Eugene Siow,
Thanassis Tiropanis,
Wendy Hall
Abstract:
The Internet of Things (IoT) envisions a world-wide, interconnected network of smart physical entities. These physical entities generate a large amount of data in operation and as the IoT gains momentum in terms of deployment, the combined scale of those data seems destined to continue to grow. Increasingly, applications for the IoT involve analytics. Data analytics is the process of deriving know…
▽ More
The Internet of Things (IoT) envisions a world-wide, interconnected network of smart physical entities. These physical entities generate a large amount of data in operation and as the IoT gains momentum in terms of deployment, the combined scale of those data seems destined to continue to grow. Increasingly, applications for the IoT involve analytics. Data analytics is the process of deriving knowledge from data, generating value like actionable insights from them. This article reviews work in the IoT and big data analytics from the perspective of their utility in creating efficient, effective and innovative applications and services for a wide spectrum of domains. We review the broad vision for the IoT as it is shaped in various communities, examine the application of data analytics across IoT domains, provide a categorisation of analytic approaches and propose a layered taxonomy from IoT data to analytics. This taxonomy provides us with insights on the appropriateness of analytical techniques, which in turn shapes a survey of enabling technology and infrastructure for IoT analytics. Finally, we look at some tradeoffs for analytics in the IoT that can shape future research.
△ Less
Submitted 3 July, 2018;
originally announced July 2018.
-
Continuous degeneracy of the fcc kagome lattice with magnetic dipolar interactions
Authors:
Andrew R. Way,
Kyle P. W. Hall,
Ivan Saika-Voivod,
Martin L. Plumer,
Byron W. Southern
Abstract:
Results are presented on analytic and computational analyses of the spin states associated with a 3D fcc lattice composed of ABC stacked kagome planes of magnetic ions with only long-range dipole-dipole interactions. Extending previous work on the 2D kagome system, where discrete six-fold discrete degeneracy of the ground state was revealed [Holden et al. Phys. Rev. B 91, 224425 (2015)], we show t…
▽ More
Results are presented on analytic and computational analyses of the spin states associated with a 3D fcc lattice composed of ABC stacked kagome planes of magnetic ions with only long-range dipole-dipole interactions. Extending previous work on the 2D kagome system, where discrete six-fold discrete degeneracy of the ground state was revealed [Holden et al. Phys. Rev. B 91, 224425 (2015)], we show that the 3D lattice exhibits a continuous degeneracy characterized by just two spherical angles involving six sublattice spin vectors. Application of a Heat Bath Monte Carlo algorithm shows that thermal fluctuations reduce this degeneracy at very low temperature in an order-by-disorder process. A magnetic field applied along directions of high symmetry also results in lifting the continuous degeneracy to a subset of states from the original set of ground states. Metropolis Monte Carlo simulation results are also presented on the temperature and system size dependence of the energy, specific heat, and magnetization, providing evidence for a phase transition at T $\simeq$ 0.38 (in units of the dipole strength). The results can be relevant to a class of magnetic compounds having the AuCu$_3$ crystal structure.
△ Less
Submitted 19 September, 2019; v1 submitted 21 June, 2018;
originally announced June 2018.
-
Entropic Heisenberg limits and uncertainty relations from the Holevo information bound
Authors:
Michael J. W. Hall
Abstract:
Strong and general entropic and geometric Heisenberg limits are obtained, for estimates of multiparameter unitary displacements in quantum metrology, such as the estimation of a magnetic field from the induced rotation of a probe state in three dimensions. A key ingredient is the Holevo bound on the Shannon mutual information of a quantum communication channel. This leads to a Bayesian bound on pe…
▽ More
Strong and general entropic and geometric Heisenberg limits are obtained, for estimates of multiparameter unitary displacements in quantum metrology, such as the estimation of a magnetic field from the induced rotation of a probe state in three dimensions. A key ingredient is the Holevo bound on the Shannon mutual information of a quantum communication channel. This leads to a Bayesian bound on performance, in terms of the prior distribution of the displacement and the asymmetry of the input probe state with respect to the displacement group. A geometric measure of performance related to entropy is proposed for general parameter estimation. It is also shown how strong entropic uncertainty relations for mutually unbiased observables, such as number and phase, position and momentum, energy and time, and orthogonal spin-1/2 directions, can be obtained from elementary applications of Holevo's bound. A geometric interpretation of results is emphasised, in terms of the 'volumes' of quantum and classical statistical ensembles.
△ Less
Submitted 29 June, 2018; v1 submitted 4 April, 2018;
originally announced April 2018.
-
TritanDB: Time-series Rapid Internet of Things Analytics
Authors:
Eugene Siow,
Thanassis Tiropanis,
Xin Wang,
Wendy Hall
Abstract:
The efficient management of data is an important prerequisite for realising the potential of the Internet of Things (IoT). Two issues given the large volume of structured time-series IoT data are, addressing the difficulties of data integration between heterogeneous Things and improving ingestion and query performance across databases on both resource-constrained Things and in the cloud. In this p…
▽ More
The efficient management of data is an important prerequisite for realising the potential of the Internet of Things (IoT). Two issues given the large volume of structured time-series IoT data are, addressing the difficulties of data integration between heterogeneous Things and improving ingestion and query performance across databases on both resource-constrained Things and in the cloud. In this paper, we examine the structure of public IoT data and discover that the majority exhibit unique flat, wide and numerical characteristics with a mix of evenly and unevenly-spaced time-series. We investigate the advances in time-series databases for telemetry data and combine these findings with microbenchmarks to determine the best compression techniques and storage data structures to inform the design of a novel solution optimised for IoT data. A query translation method with low overhead even on resource-constrained Things allows us to utilise rich data models like the Resource Description Framework (RDF) for interoperability and data integration on top of the optimised storage. Our solution, TritanDB, shows an order of magnitude performance improvement across both Things and cloud hardware on many state-of-the-art databases within IoT scenarios. Finally, we describe how TritanDB supports various analyses of IoT time-series data like forecasting.
△ Less
Submitted 24 January, 2018;
originally announced January 2018.
-
Concepts of quantum non-Markovianity: a hierarchy
Authors:
Li Li,
Michael J. W. Hall,
Howard M. Wiseman
Abstract:
Markovian approximation is a widely-employed idea in descriptions of the dynamics of open quantum systems (OQSs). Although it is usually claimed to be a concept inspired by classical Markovianity, the term quantum Markovianity is used inconsistently and often unrigorously in the literature. In this report we compare the descriptions of classical stochastic processes and quantum stochastic processe…
▽ More
Markovian approximation is a widely-employed idea in descriptions of the dynamics of open quantum systems (OQSs). Although it is usually claimed to be a concept inspired by classical Markovianity, the term quantum Markovianity is used inconsistently and often unrigorously in the literature. In this report we compare the descriptions of classical stochastic processes and quantum stochastic processes (as arising in OQSs), and show that there are inherent differences that lead to the non-trivial problem of characterizing quantum non-Markovianity. Rather than proposing a single definition of quantum Markovianity, we study a host of Markov-related concepts in the quantum regime. Some of these concepts have long been used in quantum theory, such as quantum white noise, factorization approximation, divisibility, Lindblad master equation, etc.. Others are first proposed in this report, including those we call past-future independence, no (quantum) information backflow, and composability. All of these concepts are defined under a unified framework, which allows us to rigorously build hierarchy relations among them. With various examples, we argue that the current most often used definitions of quantum Markovianity in the literature do not fully capture the memoryless property of OQSs. In fact, quantum non-Markovianity is highly context-dependent. The results in this report, summarized as a hierarchy figure, bring clarity to the nature of quantum non-Markovianity.
△ Less
Submitted 6 July, 2018; v1 submitted 24 December, 2017;
originally announced December 2017.