Two Quantum Protocols for Oblivious Set-member Decision Problem.
Ontology highlight
ABSTRACT:
SUBMITTER: Shi RH
PROVIDER: S-EPMC4626847 | biostudies-other | 2015
REPOSITORIES: biostudies-other
Similar Datasets
Project description:Here we consider using quantum annealing to solve Set Cover with Pairs (SCP), an NP-hard combinatorial optimization problem that plays an important role in networking, computational biology, and biochemistry. We show an explicit construction of Ising Hamiltonians whose ground states encode the solution of SCP instances. We numerically simulate the time-dependent Schrödinger equation in order to test the performance of quantum annealing for random instances and compare with that of simulated annealing. We also discuss explicit embedding strategies for realizing our Hamiltonian construction on the D-wave type restricted Ising Hamiltonian based on Chimera graphs. Our embedding on the Chimera graph preserves the structure of the original SCP instance and in particular, the embedding for general complete bipartite graphs and logical disjunctions may be of broader use than that the specific problem we deal with.
| S-EPMC5037405 | biostudies-literature
Project description:There has been a strong recent interest in applying quantum theory (QT) outside physics, including in cognitive science. We analyze the applicability of QT to two basic properties in opinion polling. The first property (response replicability) is that, for a large class of questions, a response to a given question is expected to be repeated if the question is posed again, irrespective of whether another question is asked and answered in between. The second property (question order effect) is that the response probabilities frequently depend on the order in which the questions are asked. Whenever these two properties occur together, it poses a problem for QT. The conventional QT with Hermitian operators can handle response replicability, but only in the way incompatible with the question order effect. In the generalization of QT known as theory of positive-operator-valued measures (POVMs), in order to account for response replicability, the POVMs involved must be conventional operators. Although these problems are not unique to QT and also challenge conventional cognitive theories, they stand out as important unresolved problems for the application of QT to cognition. Either some new principles are needed to determine the bounds of applicability of QT to cognition, or quantum formalisms more general than POVMs are needed.
| S-EPMC4208824 | biostudies-literature
Project description:What does it mean for one quantum process to be more disordered than another? Interestingly, this apparently abstract question arises naturally in a wide range of areas such as information theory, thermodynamics, quantum reference frames, and the resource theory of asymmetry. Here we use a quantum-mechanical generalization of majorization to develop a framework for answering this question, in terms of single-shot entropies, or equivalently, in terms of semi-definite programs. We also investigate some of the applications of this framework, and remarkably find that, in the context of quantum thermodynamics it provides the first complete set of necessary and sufficient conditions for arbitrary quantum state transformations under thermodynamic processes, which rigorously accounts for quantum-mechanical properties, such as coherence. Our framework of generalized thermal processes extends thermal operations, and is based on natural physical principles, namely, energy conservation, the existence of equilibrium states, and the requirement that quantum coherence be accounted for thermodynamically.
| S-EPMC6297236 | biostudies-literature
Project description:Density matrix quantum Monte Carlo (DMQMC) is a recently developed method for stochastically sampling the N-particle thermal density matrix to obtain exact-on-average energies for model and ab initio systems. We report a systematic numerical study of the sign problem in DMQMC based on simulations of atomic and molecular systems. In DMQMC, the density matrix is written in an outer product basis of Slater determinants. In principle, this means that DMQMC needs to sample a space that scales in the system size, N, as O[(exp(N))2]. In practice, removing the sign problem requires a total walker population that exceeds a system-dependent critical walker population (Nc), imposing limitations on both storage and compute time. We establish that Nc for DMQMC is the square of Nc for FCIQMC. By contrast, the minimum Nc in the interaction picture modification of DMQMC (IP-DMQMC) is only linearly related to the Nc for FCIQMC. We find that this difference originates from the difference in propagation of IP-DMQMC versus canonical DMQMC: the former is asymmetric, whereas the latter is symmetric. When an asymmetric mode of propagation is used in DMQMC, there is a much greater stochastic error and is thus prohibitively expensive for DMQMC without the interaction picture adaptation. Finally, we find that the equivalence between IP-DMQMC and FCIQMC seems to extend to the initiator approximation, which is often required to study larger systems with large basis sets. This suggests that IP-DMQMC offers a way to ameliorate the cost of moving between a Slater determinant space and an outer product basis.
| S-EPMC8515812 | biostudies-literature
Project description:Machine learning tools are increasingly used to improve the quality of care and the soundness of a treatment plan. Explainable AI (XAI) helps users in understanding the inner mechanisms of opaque machine learning models and is a driver of trust and adoption. Explanation methods for black-box models exist, but there is a lack of user studies on the interpretability of the provided explanations. We used a Think Aloud Protocol (TAP) to explore oncologists' assessment of a lung cancer relapse prediction system with the aim of refining the purpose-built explanation model for better credibility and utility. Novel to this context, TAP is used as a neutral methodology to elicit experts' thought processes and judgements of the AI system, without explicit prompts. TAP aims to elicit the factors which influenced clinicians' perception of credibility and usefulness of the system. Ten oncologists took part in the study. We conducted a thematic analysis of their verbalized responses, generating five themes that help us to understand the context within which oncologists' may (or may not) integrate an explainable AI system into their working day.
| S-EPMC10501571 | biostudies-literature
Project description:This article presents the results of an experiment, called the ABA experiment, designed to test a fundamental prediction of quantum probability theory when applied to human judgments and decisions. The prediction concerns the effect of one measurement on another when the measurements are incompatible (i.e., the answers to the measurements depend on the order of these measurements). After an initial measurement of an opinion on an issue, A, the answer to a second measurement on the same issue A immediately afterwards will certainly be the same as the first. However, according to the uncertainty principle, if a measurement of opinion on issue A is followed by an incompatible measurement on another issue, B, then the answer to a second measurement on issue A will become uncertain. This prediction was tested with 325 participants on a wide range of 12 different set of issues that were previously shown to be incompatible. Contrary to previous claims published in this journal, the empirical findings support the prediction of quantum probability theory applied to human judgments.
| S-EPMC5678685 | biostudies-literature
Project description:Essential to the functionality of qubit-based sensors are control protocols, which shape their response in frequency space. However, in common control routines out-of-band spectral leakage complicates interpretation of the sensor's signal. In this work, we leverage discrete prolate spheroidal sequences (a.k.a. Slepian sequences) to synthesize provably optimal narrowband controls ideally suited to spectral estimation of a qubit's noisy environment. Experiments with trapped ions demonstrate how spectral leakage may be reduced by orders of magnitude over conventional controls when a near resonant driving field is modulated by Slepians, and how the desired narrowband sensitivity may be tuned using concepts from RF engineering. We demonstrate that classical multitaper techniques for spectral analysis can be ported to the quantum domain and combined with Bayesian estimation tools to experimentally reconstruct complex noise spectra. We then deploy these techniques to identify previously immeasurable frequency-resolved amplitude noise in our qubit's microwave synthesis chain.
| S-EPMC5736660 | biostudies-literature
Project description:Quantum decision theory (QDT) is a recently developed theory of decision making based on the mathematics of Hilbert spaces, a framework known in physics for its application to quantum mechanics. This framework formalizes the concept of uncertainty and other effects that are particularly manifest in cognitive processes, which makes it well suited for the study of decision making. QDT describes a decision maker's choice as a stochastic event occurring with a probability that is the sum of an objective utility factor and a subjective attraction factor. QDT offers a prediction for the average effect of subjectivity on decision makers, the quarter law. We examine individual and aggregated (group) data, and find that the results are in good agreement with the quarter law at the level of groups. At the individual level, it appears that the quarter law could be refined in order to reflect individual characteristics. This article revisits the formalism of QDT along a concrete example and offers a practical guide to researchers who are interested in applying QDT to a dataset of binary lotteries in the domain of gains.
| S-EPMC5148595 | biostudies-literature
Project description:In modeling the human affective system and applying lessons learned to human-robot interaction, the challenge is to handle ambiguous emotional states of an agency (whether human or artificial), probabilistic decisions, and freedom of choice in affective and behavioral patterns. Moreover, many cognitive processes seem to run in parallel whereas seriality is the standard in conventional computation. Representation of contextual aspects of behavior and processes and of self-directed neuroplasticity are still wanted and so we attempt a quantum-computational construction of robot affect, which theoretically should be able to account for indefinite and ambiguous states as well as parallelism. Our Quantum Coppélia (Q-Coppélia) is a translation into quantum logics of the fuzzy-based Silicon Coppélia system, which simulates the progression of a robot's attitude towards its user. We show the entire circuitry of the Q-Coppélia framework, aiming at contemporary descriptions of (neuro)psychological processes. Arguably, our work provides a system for simulating and handling affective interactions among various agencies from an understanding of the relations between quantum algorithms and the fundamental nature of psychology.
| S-EPMC9705568 | biostudies-literature
Project description:Hit-to-lead virtual screening frequently relies on a cascade of computational methods that starts with rapid calculations applied to a large number of compounds and ends with more expensive computations restricted to a subset of compounds that passed initial filters. This work focuses on set up protocols for alchemical free energy (AFE) scoring in the context of a Docking-MM/PBSA-AFE cascade. A dataset of 15 congeneric inhibitors of the ACK1 protein was used to evaluate the performance of AFE set up protocols that varied in the steps taken to prepare input files (using previously docked and best scored poses, manual selection of poses, manual placement of binding site water molecules). The main finding is that use of knowledge derived from X-ray structures to model binding modes, together with the manual placement of a bridging water molecule, improves the R2 from 0.45 ± 0.06 to 0.76 ± 0.02 and decreases the mean unsigned error from 2.11 ± 0.08 to 1.24 ± 0.04 kcal mol-1. By contrast a brute force automated protocol that increased the sampling time ten-fold lead to little improvements in accuracy. Besides, it is shown that for the present dataset hysteresis can be used to flag poses that need further attention even without prior knowledge of experimental binding affinities.
| S-EPMC6413950 | biostudies-literature