Set Of Quantum Research Articles

New bioactive silver(I) complexes: Synthesis, characterization, anticancer, antibacterial and anticarbonic anhydrase II activities

Silver(I) complexes of alkyl sulfonic acide hydrazides were newly synthesized as homologous series. Methanesulfonic acide hydrazide (L1), ethanesulfonic acide hydrazide (L2), propanesulfonic acide hydrazide (L3) and butanesulfonic acide hydrazide (L4) were used for complexation with Ag(I) ions. The silver complexes obtained in the mol ratio of 1:2 have the structural formula as Ag(L1)2NO3 (I), Ag(L2)2NO3 (II), Ag(L3)2NO3(III), (Ag(L4)2NO3 (IV). The Ag(I) complexes exhibit distorted linear two-fold coordination in [AgL2]+ cations with uncoordinated nitrates. Ligands are chelated with silver(I) ions through unsubstituted primary nitrogen in hydrazide group. Ag(I) complexes were characterized by using elemental analysis, spectroscopic methods (FT-IR, LC-MS), magnetic susceptibility and conductivity measurements. Silver(I) complexes were optimized using PBEPBE/LanL2DZ/DEF2SV basic set performed by DFT method with the Gaussian 09 program package. The geometrical parameters, frontier molecular orbitals (HOMOs and LUMOs) and molecular electrostatic potential (MEP) mapped surfaces of the optimized geometries were also determined by this quantum set. The anticancer activities of silver(I) complexes on MCF-7 human breast cancer cell line were investigated by comparing IC50 values. The antibacterial activities of complexes were studied against Gram positive bacteria; S. aureus ATCC 6538, B. subtilis ATCC 6633, B. cereus NRRL-B-3711, E. faecalis ATCC 29212 and Gram negative bacteria; E. coli ATCC 11230, P. aeruginosa ATCC 15442, K. pneumonia ATCC 70063 by using disc diffusion method. The inhibition activities of Ag(I) complexes on carbonic anhydrase II enzyme (hCA II) were also investigated by comparing IC50 and Ki values. The biological activity screening shows that Ag(I) complex of butanesulfonicacidehydrazide (IV) has the highest activity against tested breast cancer cell lines MCF-7, Gram positive/Gram negative bacteria and carbonic anhydrase II (hCA II) isoenzyme.

Almost-quantum correlations and their refinements in a tripartite Bell scenario

We study the set of almost quantum correlations and their refinements in the simplest tripartite Bell scenario where each party is allowed to perform two dichotomic measurements. In contrast to its bipartite counterpart, we find that there already exist facet Bell inequalities that witness almost quantum correlations beyond quantum theory in this simplest tripartite Bell scenario. Furthermore, we study the relation between the almost quantum set and the hierarchy of supersets to the quantum set due to Navascu\'es-Pironio-Ac\'in (NPA) [Phys. Rev. Lett. 98, 010401 (2007)]. While the former lies between the first and the third level of the NPA hierarchy, we find that its second level does not contain and is not contained within the almost quantum set. Finally, we investigate the hierarchy of refinements to the almost quantum set due to Moroder et al. [Phys. Rev. Lett. 111, 030501 (2013)], which converges to the set of quantum correlations producible by quantum states having positive partial transposition. This allows us to consider (approximations of) the "biseparable" subsets of the almost-quantum set as well as of the quantum set of correlations, and thereby gain further insights on the subtle similarities and differences between the two sets. In addition, they allow us to identify candidate Bell-like inequalities that can serve as device-independent witnesses for genuine tripartite entanglement.

Tightness of correlation inequalities with no quantum violation

We study the faces of the set of quantum correlations, i.e., the Bell and noncontextuality inequalities without any quantum violation. First, we investigate the question whether every proper (tight) Bell inequality for two parties, other than the trivial ones from positivity, normalization and no-signaling can be violated by quantum correlations, i.e., whether the classical Bell polytope or the smaller correlation polytope share any facets with their respective quantum sets. To do this, we develop a recently derived bound on the quantum value of linear games based on the norms of game matrices to give a simple sufficient condition to identify linear games with no quantum advantage. Additionally we show how this bound can be extended to the general class of unique games, illustrating it for the case of three outcomes. We then show as a main result that the paradigmatic examples of correlation Bell inequalities with no quantum violation, namely the non-local computation games do not constitute tight Bell inequalities, not even for the correlation polytope. We also extend this to an arbitrary prime number of outcomes for a specific class of these games. We then study the faces in the simplest CHSH Bell scenario of binary dichotomic measurements, and identify edges in the set of quantum correlations in this scenario. Finally, we relate the non-contextual polytope of single-party correlation inequalities with the cut polytope $CUT(\nabla G)$, where $G$ denotes the compatibility graph of observables in the contextuality scenario and $\nabla G$ denotes the suspension graph of $G$. We observe that there exist tight non-contextuality inequalities with no quantum violation, and furthermore that this set of inequalities is beyond those implied by the Consistent Exclusivity principle.

Operational Meanings of Orders of Observables Defined through Quantum Set Theories with Different Conditionals

In quantum logic there is well-known arbitrariness in choosing a binary operation for conditional. Currently, we have at least three candidates, called the Sasaki conditional, the contrapositive Sasaki conditional, and the relevance conditional. A fundamental problem is to show how the form of the conditional follows from an analysis of operational concepts in quantum theory. Here, we attempt such an analysis through quantum set theory (QST). In this paper, we develop quantum set theory based on quantum logics with those three conditionals, each of which defines different quantum logical truth value assignment. We show that those three models satisfy the transfer principle of the same form to determine the quantum logical truth values of theorems of the ZFC set theory. We also show that the reals in the model and the truth values of their equality are the same for those models. Interestingly, however, the order relation between quantum reals significantly depends on the underlying conditionals. We characterize the operational meanings of those order relations in terms of joint probability obtained by the successive projective measurements of arbitrary two observables. Those characterizations clearly show their individual features and will play a fundamental role in future applications to quantum physics.

Universality of black hole quantum computing

By analyzing the key properties of black holes from the point of view of quantum information, we derive a model‐independent picture of black hole quantum computing. It has been noticed that this picture exhibits striking similarities with quantum critical condensates, allowing the use of a common language to describe quantum computing in both systems. We analyze such quantum computing by allowing coupling to external modes, under the condition that the external influence must be soft‐enough in order not to offset the basic properties of the system. We derive model‐independent bounds on some crucial time‐scales, such as the times of gate operation, decoherence, maximal entanglement and total scrambling. We show that for black hole type quantum computers all these time‐scales are of the order of the black hole half‐life time. Furthermore, we construct explicitly a set of Hamiltonians that generates a universal set of quantum gates for the black hole type computer. We find that the gates work at maximal energy efficiency. Furthermore, we establish a fundamental bound on the complexity of quantum circuits encoded on these systems, and characterize the unitary operations that are implementable. It becomes apparent that the computational power is very limited due to the fact that the black hole life‐time is of the same order of the gate operation time. As a consequence, it is impossible to retrieve its information, within the life‐time of a black hole, by externally coupling to the black hole qubits. However, we show that, in principle, coupling to some of the internal degrees of freedom allows acquiring knowledge about the micro‐state. Still, due to the trivial complexity of operations that can be performed, there is no time advantage over the collection of Hawking radiation and subsequent decoding.

Roadmap to Majorana surface codes

Surface codes offer a very promising avenue towards fault-tolerant quantum computation. We argue that two-dimensional interacting networks of Majorana bound states in topological superconductor/semiconductor heterostructures hold several distinct advantages in that direction, both concerning the hardware realization and the actual operation of the code. We here discuss how topologically protected logical qubits in this Majorana surface code architecture can be defined, initialized, manipulated, and read out. All physical ingredients needed to implement these operations are routinely used in topologically trivial quantum devices. In particular, we show that by means of quantum interference terms in linear conductance measurements, composite single-electron pumping protocols, and gate-tunable tunnel barriers, the full set of quantum gates required for universal quantum computation can be implemented.

Publisher's Note: Nonlocal games and optimal steering at the boundary of the quantum set [Phys. Rev. A94, 022116 (2016)

Received 13 September 2016DOI:https://doi.org/10.1103/PhysRevA.94.039902©2016 American Physical SocietyPhysics Subject Headings (PhySH)Research AreasNonlocalityQuantum entanglementGeneral Physics

Quantum conditional operations

An essential element of classical computation is the "if-then" construct, that accepts a control bit and an arbitrary gate, and provides conditional execution of the gate depending on the value of the controlling bit. On the other hand, quantum theory prevents the existence of an analogous universal construct accepting a control qubit and an arbitrary quantum gate as its input. Nevertheless, there are controllable sets of quantum gates for which such a construct exists. Here we provide a necessary and sufficient condition for a set of unitary transformations to be controllable, and we give a complete characterization of controllable sets in the two dimensional case. This result reveals an interesting connection between the problem of controllability and the problem of extracting information from an unknown quantum gate while using it.

Nonlocal games and optimal steering at the boundary of the quantum set

The boundary between classical and quantum correlations is well characterised by linear constraints called Bell inequalities. It is much harder to characterise the boundary of the quantum set itself in the space of no-signaling correlations. For the points on the quantum boundary that violate maximally some Bell inequalities, Oppenheim and Wehner [Science 330, 1072 (2010)] pointed out a complex property: the optimal measurements of Alice steer Bob's local state to the eigenstate of an effective operator corresponding to its maximal eigenvalue. This effective operator is the linear combination of Bob's local operators induced by the coefficients of the Bell inequality, and it can be interpreted as defining a fine-grained uncertainty relation. It is natural to ask whether the same property holds for other points on the quantum boundary, using the Bell expression that defines the tangent hyperplane at each point. We prove that this is indeed the case for a large set of points, including some that were believed to provide counterexamples. The price to pay is to acknowledge that the Oppenheim-Wehner criterion does not respect equivalence under the no-signaling constraint: for each point, one has to look for specific forms of writing the Bell expressions.

Linear conic formulations for two-party correlations and values of nonlocal games

In this work we study the sets of two-party correlations generated from a Bell scenario involving two spatially separated systems with respect to various physical models. We show that the sets of classical, quantum, no-signaling and unrestricted correlations can be expressed as projections of affine sections of appropriate convex cones. As a by-product, we identify a spectrahedral outer approximation to the set of quantum correlations which is contained in the first level of the Navascu\'es, Pironio and Ac\'in (NPA) hierarchy and also a sufficient condition for the set of quantum correlations to be closed. Furthermore, by our conic formulations, the value of a nonlocal game over the sets of classical, quantum, no-signaling and unrestricted correlations can be cast as a linear conic program. This allows us to show that a semidefinite programming upper bound to the classical value of a nonlocal game introduced by Feige and Lov\'asz is in fact an upper bound to the quantum value of the game and moreover, it is at least as strong as optimizing over the first level of the NPA hierarchy. Lastly, we show that deciding the existence of a perfect quantum (resp. classical) strategy is equivalent to deciding the feasibility of a linear conic program over the cone of completely positive semidefinite matrices (resp. completely positive matrices). By specializing the results to synchronous nonlocal games, we recover the conic formulations for various quantum and classical graph parameters that were recently derived in the literature.

Universal quantum computation with hybrid spin-Majorana qubits

We theoretically propose a set of universal quantum gates acting on a hybrid qubit formed by coupling a quantum dot spin qubit and Majorana fermion qubit. First, we consider a quantum dot tunnel-coupled to two topological superconductors. The effective spin-Majorana exchange facilitates a hybrid CNOT gate for which either qubit can be the control or target. The second setup is a modular scalable network of topological superconductors and quantum dots. As a result of the exchange interaction between adjacent spin qubits, a CNOT gate is implemented that acts on neighboring Majorana qubits, and eliminates the necessity of inter-qubit braiding. In both setups the spin-Majorana exchange interaction allows for a phase gate, acting on either the spin or the Majorana qubit, and for a SWAP or hybrid SWAP gate which is sufficient for universal quantum computation without projective measurements.

No Quantum Realization of Extremal No-Signaling Boxes.

The study of quantum correlations is important for fundamental reasons as well as for quantum communication and information processing tasks. On the one hand, it is of tremendous interest to derive the correlations produced by measurements on separated composite quantum systems from within the set of all correlations obeying the no-signaling principle of relativity, by means of information-theoretic principles. On the other hand, an important ongoing research program concerns the formulation of device-independent cryptographic protocols based on quantum nonlocal correlations for the generation of secure keys, and the amplification and expansion of random bits against general no-signaling adversaries. In both these research programs, a fundamental question arises: Can any measurements on quantum states realize the correlations present in pure extremal no-signaling boxes? Here, we answer this question in full generality showing that no nontrivial (not local realistic) extremal boxes of general no-signaling theories can be realized in quantum theory. We then explore some important consequences of this fact.

Proposal for implementing universal superadiabatic geometric quantum gates in nitrogen-vacancy centers

We propose a feasible scheme to implement a universal set of quantum gates based on geometric phases and superadiabatic quantum control. Consolidating the advantages of both strategies, the proposed quantum gates are robust and fast. The diamond nitrogen-vacancy center system is adopted as a typical example to illustrate the scheme. We show that these gates can be realized in a simple two-level configuration by appropriately controlling the amplitude, phase, and frequency of just one microwave field. The gate's robust and fast features are confirmed by comparing the fidelity of the proposed superadiabatic geometric phase (controlled-PHASE) gate with those of two other kinds of phase (controlled-PHASE) gates.

Correspondence behavior of classical and quantum dissipative directed transport via thermal noise.

We systematically study several classical-quantum correspondence properties of the dissipative modified kicked rotator, a paradigmatic ratchet model. We explore the behavior of the asymptotic currents for finite ℏ_{eff} values in a wide range of the parameter space. We find that the correspondence between the classical currents with thermal noise providing fluctuations of size ℏ_{eff} and the quantum ones without it is very good in general with the exception of specific regions. We systematically consider the spectra of the corresponding classical Perron-Frobenius operators and quantum superoperators. By means of an average distance between the classical and quantum sets of eigenvalues we find that the correspondence is unexpectedly quite uniform. This apparent contradiction is solved with the help of the Weyl-Wigner distributions of the equilibrium eigenvectors, which reveal the key role of quantum effects by showing surviving coherences in the asymptotic states.

Universal set of dynamically protected gates for bipartite qubit networks: Soft pulse implementation of the [[5,1,3]] quantum error-correcting code

We model repetitive quantum error correction (QEC) with the single-error-correcting five-qubit code on a network of individually controlled qubits with always-on Ising couplings. We use our previously designed universal set of quantum gates based on sequences of shaped decoupling pulses. In addition to being accurate quantum gates, the sequences also provide dynamical decoupling (DD) of low-frequency phase noise. The simulation involves integrating the unitary dynamics of six qubits over the duration of tens of thousands of control pulses, using classical stochastic phase noise as a source of decoherence. The combined DD and QEC protocol dramatically improves the coherence, with the QEC alone being responsible for more than an order of magnitude infidelity reduction.

Quantum Set Theory Extending the Standard Probabilistic Interpretation of Quantum Theory

The notion of equality between two observables will play many important roles in foundations of quantum theory. However, the standard probabilistic interpretation based on the conventional Born formula does not give the probability of equality between two arbitrary observables, since the Born formula gives the probability distribution only for a commuting family of observables. In this paper, quantum set theory developed by Takeuti and the present author is used to systematically extend the standard probabilistic interpretation of quantum theory to define the probability of equality between two arbitrary observables in an arbitrary state. We apply this new interpretation to quantum measurement theory, and establish a logical basis for the difference between simultaneous measurability and simultaneous determinateness.

All the self-testings of the singlet for two binary measurements

Self-testing refers to the possibility of characterizing uniquely (up to local isometries) the state and measurements contained in quantum devices, based only on the observed input-output statistics. Already in the basic case of the two-qubit singlet, self-testing is not unique: the two known criteria (the maximal violation of the CHSH inequality and the Mayers–Yao correlations) are not equivalent. It is unknown how many criteria there are. In this paper, we find the whole set of criteria for the ideal self-testing of a singlet with two measurements and two outcomes on each side; it coincides with all the extremal points of the quantum set that can be obtained by measuring the singlet.

Research on coherent anti-Stokes Raman scattering microscopy

In this paper, we analyze the process of coherent anti-Stokes Raman scattering (CARS) based on quantum theory and set up a traditional point-scanning CARS microscope. With this microscope, high-contrast images of polystyrene microspheres are obtained. By scanning polystyrene beads with 110 nm diameter, we reconstruct the point spread faction (PSF) of the system. And the full width at half maximum (FWHM) of the PSF shows a lateral resolution about 600 nm, which is larger than the theoretical value (～ 300 nm). Therefore, we propose several resolution-improvement approaches, which lay a strong foundation for the realization of nano-CARS microscopy.

The Emergence of Spacetime from the Quantum in Three Steps

The paper presents a very simple and straight forward yet pure mathematical derivation of the structure of actual spacetime from quantum set theory. This is achieved by utilizing elements of the topological theory of cobordism and the Menger-Urysohn dimensional theory in conjunction with von Neumann-Connes dimensional function of Klein-Penrose modular holographic boundary of the E8E8 exceptional Lie group bulk of our universe. The final result is a lucid sharp mental picture, namely that the quantum wave is an empty set representing the surface, i.e. boundary of the zero set quantum particle and in turn quantum spacetime is simply the boundary or the surface of the quantum wave empty set. The essential difference of the quantum wave and quantum spacetime is that the wave is a simple empty set while spacetime is a multi-fractal type of infinitely many empty sets with increasing degrees of emptiness.

Towards a Paraconsistent Quantum Set Theory

In this paper, we will attempt to establish a connection between quantum set theory, as developed by Ozawa, Takeuti and Titani, and topos quantum theory, as developed by Isham, Butterfield and Doring, amongst others. Towards this end, we will study algebraic valued set-theoretic structures whose truth values correspond to the clopen subobjects of the spectral presheaf of an orthomodular lattice of projections onto a given Hilbert space. In particular, we will attempt to recreate, in these new structures, Takeuti's original isomorphism between the set of all Dedekind real numbers in a suitably constructed model of set theory and the set of all self adjoint operators on a chosen Hilbert space.