Search

Abstract The ultimate precision in quantum sensing could be achieved using optimal quantum probe states. However, current quantum sensing protocols do not use probe states optimally. Indeed, the calculation of optimal probe states remains an outstanding challenge. Here, we present an algorithm that efficiently calculates a probe state for correlated and uncorrelated measurement strategies. The algorithm involves a conic program, which minimizes a linear objective function subject to conic constraints on a operator-valued variable. Our algorithm outputs a probe state that is a simple function of the optimal variable. We prove that our algorithm finds the optimal probe state for channel estimation problems, even in the multiparameter setting. For many noiseless quantum sensing problems, we prove the optimality of maximally entangled probe states. We also analyze the performance of 3D-field sensing using various probe states. Our work opens the door for a plethora of applications in quantum metrology.

A Dicke state and its decohered state are invariant for permutation. However, when another qubits state to each of them is attached, the whole state is not invariant for permutation, and has a certain asymmetry for permutation. The amount of asymmetry can be measured by the number of distinguishable states under the group action or the mutual information. Generally, the amount of asymmetry of the whole state is larger than the amount of asymmetry of the added state. That is, the asymmetry activation happens in this case. This paper investigates the amount of the asymmetry activation under Dicke states. To address the asymmetry activation asymptotically, we introduce a new type of central limit theorem by using several formulas on hypergeometric functions. We reveal that the amounts of the asymmetry and the asymmetry activation with a Dicke state have a strictly larger order than those with the decohered state in a specific type of the limit.

Abstract Blind quantum computation (BQC) is a secure quantum computation method that protects the privacy of clients. Measurement-based quantum computation (MBQC) is a promising approach for realizing BQC. To obtain reliable results in blind MBQC, it is crucial to verify whether the resource graph states are accurately prepared in the adversarial scenario. However, previous verification protocols for this task are too resource-consuming or noise-susceptible to be applied in practice. Here, we propose a robust and efficient protocol for verifying arbitrary graph states with any prime local dimension in the adversarial scenario, which leads to a robust and efficient protocol for verifying the resource state in blind MBQC. Our protocol requires only local Pauli measurements and is thus easy to realize with current technologies. Nevertheless, it can achieve optimal scaling behaviors with respect to the system size and the target precision as quantified by the infidelity and significance level, which has never been achieved before. Notably, our protocol can exponentially enhance the scaling behavior with the significance level.

In quantum theory, a quantum state on a composite system of two parties realizes a non-negative probability with any measurement element with a tensor product form. However, there also exist non-quantum states which satisfy the above condition. Such states are called beyond-quantum states, and cannot be detected by standard Bell tests. To distinguish a beyond-quantum state from quantum states, we propose a measurement-device-independent (MDI) test for beyond-quantum state detection, which is composed of quantum input states on respective parties and quantum measurements across the input system and the target system on respective parties. The performance of our protocol is independent of the forms of the tested states and the measurement operators, which provides an advantage in practical scenarios. We also discuss the importance of tomographic completeness of the input sets to the detection.

It is a key issue to characterize the model of standard quantum theory out of general models by an operational condition. The framework of general probabilistic theories (GPTs) is a new information theoretical approach to single out standard quantum theory. It is known that traditional properties, for example, Bell-CHSH inequality, are not sufficient to single out standard quantum theory among possible models in GPTs. As a more precise property, we focus on the bound of the performance for an information task called state discrimination in general models. We give an equivalent condition for outperforming the minimum discrimination error probability under the standard quantum theory given by the trace norm. Besides, by applying the equivalent condition, we characterize standard quantum theory out of general models in GPTs by the bound of the performance for state discrimination.

Abstract Complex processes often arise from sequences of simpler interactions involving a few particles at a time. These interactions, however, may not be directly accessible to experiments. Here we develop the first efficient method for unravelling the causal structure of the interactions in a multipartite quantum process, under the assumption that the process has bounded information loss and induces causal dependencies whose strength is above a fixed (but otherwise arbitrary) threshold. Our method is based on a quantum algorithm whose complexity scales polynomially in the total number of input/output systems, in the dimension of the systems involved in each interaction, and in the inverse of the chosen threshold for the strength of the causal dependencies. Under additional assumptions, we also provide a second algorithm that has lower complexity and requires only local state preparation and local measurements. Our algorithms can be used to identify processes that can be characterized efficiently with the technique of quantum process tomography. Similarly, they can be used to identify useful communication channels in quantum networks, and to test the internal structure of uncharacterized quantum circuits.

Herein, we report the copper-catalyzed dehydrogenative C(sp2)–N bond formation of 4-pentenamides via nitrogen-centered radicals. This reaction provides a straightforward and efficient preparation method for γ-alkylidene-γ-lactams. Notably, we could controllably synthesize α,β-unsaturated- or α,β-saturated-γ-alkylidene-γ-lactams depending on the reaction conditions.

Inspired by quantum key distribution, we consider wireless communication between Alice and Bob when the noise generated in the intermediate space between Alice and Bob is controlled by Eve. Our model divides the channel noise into two parts, the noise generated during the transmission and the noise generated in the detector. Eve is allowed to control the former, but is not allowed to do the latter. While the latter is assumed to be a Gaussian random variable, the former is not assumed to be a Gaussian random variable. In this situation, using backward reconciliation and random sampling, we propose a protocol to generate secure keys between Alice and Bob under the assumption that Eve’s detector has a Gaussian noise and Eve is not so close to Alice’s transmitting device. In our protocol, the security criteria are quantitatively guaranteed even with finite block-length code based on the evaluation of error of the estimation of the channel.

In the quest to unlock the maximum potential of quantum sensors, it is of paramount importance to have practical measurement strategies that can estimate incompatible parameters with best precisions possible. However, it is still not known how to find practical measurements with optimal precisions, even for uncorrelated measurements over probe states. Here, we give a concrete way to find uncorrelated measurement strategies with optimal precisions. We solve this fundamental problem by introducing a framework of conic programming that unifies the theory of precision bounds for multiparameter estimates for uncorrelated and correlated measurement strategies under a common umbrella. Namely, we give precision bounds that arise from linear programs on various cones defined on a tensor product space of matrices, including a particular cone of separable matrices. Subsequently, our theory allows us to develop an efficient algorithm that calculates both upper and lower bounds for the ultimate precision bound for uncorrelated measurement strategies, where these bounds can be tight. In particular, the uncorrelated measurement strategy that arises from our theory saturates the upper bound to the ultimate precision bound. Also, we show numerically that there is a strict gap between the previous efficiently computable bounds and the ultimate precision bound.

The ability to extract relevant information is critical to learning. An ingenious approach as such is the information bottleneck, an optimisation problem whose solution corresponds to a faithful and memory-efficient representation of relevant information from a large system. The advent of the age of quantum computing calls for efficient methods that work on information regarding quantum systems. Here we address this by proposing a new and general algorithm for the quantum generalisation of information bottleneck. Our algorithm excels in the speed and the definiteness of convergence compared with prior results. It also works for a much broader range of problems, including the quantum extension of deterministic information bottleneck, an important variant of the original information bottleneck problem. Notably, we discover that a quantum system can achieve strictly better performance than a classical system of the same size regarding quantum information bottleneck, providing new vision on justifying the advantage of quantum machine learning.

An experimental verification of the maximally entangled state ensures that the constructed state is close to the maximally entangled state, but it does not guarantee that the state is exactly the same as the maximally entangled state. Further, the entanglement structure is not uniquely determined in general probabilistic theories even if we impose that the local subsystems are fully equal to quantum systems. Therefore, the existence of the maximally entangled state depends on whether the standard entanglement structure (SES) is valid. To examine this issue, we introduce pseudo SES as a structure of quantum composite system under natural assumptions based on the existence of projective measurements and the existence of approximations of all maximally entangled standard states. Surprisingly, there exist infinitely many pseudo SESs different from the SES. In our setting, any maximally entangled state can be arbitrarily approximated by an entangled state that belongs to our obtained pseudo standard entanglement structure. That is, experimental verification does not exclude the possibility of our obtained pseudo standard entanglement structure that is different from the standard entanglement structure. On the other hand, such pseudo structures never possess global unitary symmetry, i.e. global unitary symmetry is essential condition for the SES.

Self-testing is a technology to certify states and measurements using only the statistics of the experiment. Self-testing is possible if some extremal points in the set B_{Q} of quantum correlations for a Bell experiment are achieved, up to isometries, with specific states and measurements. However, B_{Q} is difficult to characterize, so it is also difficult to prove whether or not a given matrix of quantum correlations allows for self-testing. Here, we show how some tools from graph theory can help to address this problem. We observe that B_{Q} is strictly contained in an easy-to-characterize set associated with a graph, Θ(G). Therefore, whenever the optimum over B_{Q} and the optimum over Θ(G) coincide, self-testing can be demonstrated by simply proving self-testability with Θ(G). Interestingly, these maxima coincide for the quantum correlations that maximally violate many families of Bell-like inequalities. Therefore, we can apply this approach to prove the self-testability of many quantum correlations, including some that are not previously known to allow for self-testing. In addition, this approach connects self-testing to some open problems in discrete mathematics. We use this connection to prove a conjecture [M. Araújo et al., Phys. Rev. A, 88, 022118 (2013)] about the closed-form expression of the Lovász theta number for a family of graphs called the Möbius ladders. Although there are a few remaining issues (e.g., in some cases, the proof requires the assumption that measurements are of rank 1), this approach provides an alternative method to self-testing and draws interesting connections between quantum mechanics and discrete mathematics.

We investigate practical dense coding by imposing locality restrictions on decoders and symmetry restrictions on encoders within the resource theory of asymmetry framework. In this task, the sender Alice and the helper Fred preshare an entangled state. Alice encodes a classical message into the quantum state using a symmetric preserving encoder and sends the encoded state to Bob through a noiseless quantum channel. The receiver Bob and helper Fred are limited to performing quantum measurements satisfying certain locality restrictions to decode the classical message. We are interested in the ultimate dense coding capacity under these constraints. Our contributions are summarized as follows. First, we derive both one-shot and asymptotic optimal achievable transmission rates of the dense coding task under different encoder and decoder combinations. Surprisingly, our results reveal that the transmission rate cannot be improved even when the decoder is relaxed from one-way local operations and classical communication (LOCC) to two-way LOCC, separable measurements, and partial transpose positive measurements of the bipartite system. Second, depending on the class of allowed decoders with certain locality restrictions, we relax the class of encoding operations to superquantum encoders in the general probability theory framework and derive dense coding transmission rates under this setting. For example, when the decoder is fixed to a separable measurement, theoretically, a positive operation is allowed as an encoding operation. Remarkably, even under this superquantum relaxation, the transmission rate still cannot be lifted. This fact highlights the universal validity of our analysis on practical dense coding beyond quantum theory.

When a network has relay nodes, there is a risk that a part of the information is leaked to an untrusted relay. Secure network coding (secure NC) is known as a method to resolve this problem, which enables the secrecy of the message when the message is transmitted over a noiseless network and a part of the edges or a part of the intermediate (untrusted) nodes are eavesdropped. If the channels on the network are noisy, the error correction is applied to noisy channels before the application of secure NC on an upper layer. In contrast, secure physical layer network coding (secure PLNC) is a method to securely transmit a message by a combination of coding operation on nodes when the network is composed of set of noisy channels. Since secure NC is a protocol on an upper layer, secure PLNC can be considered as a cross-layer protocol. In this paper, we compare secure PLNC with a simple combination of secure NC and error correction over several typical network models studied in secure NC.

Many quantum computational tasks have inherent symmetries, suggesting a path to enhancing their efficiency and performance. Exploiting this observation, we propose representation matching, a generic probabilistic protocol for reducing the cost of quantum computation in a quantum network. We show that the representation-matching protocol is capable of reducing the communication or memory cost to almost the minimum in various tasks, including remote execution of unitary gate arrays, permutation gates, and unitary conjugation, as well as the storage and retrieval of unitary gates.

The paper (Hayashi M and Tsurumaru T 2012 New J. Phys. https://doi.org/10.1088/1367-2630/14/9/093014 https://doi.org/10.1088/1367-2630/14/9/093014 ) contains an error at the definition of g _t ( x ) in section 5.3 while g _t ( x ) is used for the second order asymptotic expansion for the sacrifice bit. This corrigendum corrects this error and shows its derivation.

We discuss the effect of sequential error injection on information leakage under a network code. We formulate a network code for the single transmission setting and the multiple transmission setting. Under this formulation, we show that the eavesdropper cannot increase the power of eavesdropping by sequential error injection when the operations in the network are linear operations. We demonstrated the usefulness of this reduction theorem by applying a concrete example of network.

Quantum communication over network is particularly appealing in a similar way to classical network communication, but a partially corrupted quantum network has not been sufficiently studied. We discuss quantum state transmission over a partially corrupted quantum network, in which the sender transmits m_{0} qudits, i.e., d-level systems, to the receiver via network, but m_{1} channels are corrupted. As our result, we show that the optimal transmission rate is at least (m_{0}−2m_{1}+1)logd under the following two settings. In the first case, the unitaries on intermediate nodes are arbitrary and the corruptions on the m_{1} channels are individual. In the second case, the unitaries on intermediate nodes are restricted to Clifford operations and the corruptions on the m_{1} channels are adaptive, i.e., they are caused by an attack with a quantum memory. Further, our code in the second case realizes the noiseless communication even with the single-shot setting and is constructed dependently only on the network topology and the places of the m_{1} corrupted channels.

Depolymerization and polymerization of the actin filament are indispensable in eukaryotes. The DNase I binding loop (D-loop), which forms part of the interface between the subunits in the actin filament, is an intrinsically disordered loop with a large degree of conformational freedom. Introduction of the double mutation G42A/G46A to the D-loop of the beta cytoskeletal mammalian actin restricted D-loop conformational freedom, whereas changes to the critical concentration were not large, and no major structural changes were observed. Polymerization and depolymerization rates at both ends of the filament were reduced, and cofilin binding was inhibited by the double mutation. These results indicate that the two glycines at the tip of the D-loop are important for actin dynamics, most likely by contributing to the large degree of conformational freedom.

We derive finite-length bounds for two problems with Markov chains: source coding with side-information where the source and side-information are a joint Markov chain and channel coding for channels with Markovian conditional additive noise. For this purpose, we point out two important aspects of finite-length analysis that must be argued when finite-length bounds are proposed. The first is the asymptotic tightness, and the other is the efficient computability of the bound. Then, we derive finite-length upper and lower bounds for the coding length in both settings such that their computational complexity is low. We argue the first of the above-mentioned aspects by deriving the large deviation bounds, the moderate deviation bounds, and second-order bounds for these two topics and show that these finite-length bounds achieve the asymptotic optimality in these senses. Several kinds of information measures for transition matrices are introduced for the purpose of this discussion.

The instantaneous quantum polynomial time (IQP) model is one of promising models to demonstrate a quantum computational advantage over classical computers. If the IQP model can be efficiently simulated by a classical computer, an unlikely consequence in computer science can be obtained (under some unproven conjectures). In order to experimentally demonstrate the advantage using medium or large-scale IQP circuits, it is inevitable to efficiently verify whether the constructed IQP circuits faithfully work. There exist two types of IQP models, each of which is the sampling on hypergraph states or weighted graph states. For the first-type IQP model, polynomial-time verification protocols have already been proposed. In this paper, we propose verification protocols for the second-type IQP model. To this end, we propose polynomial-time fidelity estimation protocols of weighted graph states for each of the following four situations where a verifier can (i) choose any measurement basis and perform adaptive measurements, (ii) only choose restricted measurement bases and perform adaptive measurements, (iii) choose any measurement basis and only perform non-adaptive measurements, and (iv) only choose restricted measurement bases and only perform non-adaptive measurements. In all of our verification protocols, the verifier’s quantum operations are only single-qubit measurements. Since we assume no independent and identically distributed property on quantum states, our protocols work in any situation.

We have developed a novel imaging cytometry system using a poly(methyl methacrylate (PMMA)) based microfluidic chip. The system was contamination-free, because sample suspensions contacted only with a flammable PMMA chip and no other component of the system. The transparency and low-fluorescence of PMMA was suitable for microscopic imaging of cells flowing through microchannels on the chip. Sample particles flowing through microchannels on the chip were discriminated by an image-recognition unit with a high-speed camera in real time at the rate of 200 event/s, e.g., microparticles 2.5 μm and 3.0 μm in diameter were differentiated with an error rate of less than 2%. Desired cells were separated automatically from other cells by electrophoretic or dielectrophoretic force one by one with a separation efficiency of 90%. Cells in suspension with fluorescent dye were separated using the same kind of microfluidic chip. Sample of 5 μL with 1 × 106 particle/mL was processed within 40 min. Separated cells could be cultured on the microfluidic chip without contamination. The whole operation of sample handling was automated using 3D micropipetting system. These results showed that the novel imaging flow cytometry system is practically applicable for biological research and clinical diagnostics.

A non-destructive method of collecting cultured cells after identifying their in situ functional characteristics is proposed. In this method, cells are cultivated on an alginate layer in a culture dish and released by spot application of a calcium chelate buffer that locally melts the alginate layer and enables the collection of cultured cells at the single-cell level. Primary hippocampal neurons, beating human embryonic stem (hES) cell-derived cardiomyocytes, and beating hES cell-derived cardiomyocyte clusters cultivated on an alginate layer were successfully released and collected with a micropipette. The collected cells were recultured while maintaining their physiological function, including beating, and elongated neurites. These results suggest that the proposed method may eventually facilitate the transplantation of ES- or iPS-derived cardiomyocytes and neurons differentiated in culture.

Type-II DNA topoisomerases resolve DNA entanglements such as supercoils, knots and catenanes by passing one segment of DNA duplex through a transient enzyme-bridged double-stranded break in another segment. The ATP-dependent passage reaction has previously been demonstrated at the single-molecule level, showing apparent processivity at saturating ATP. Here we directly observed the strand passage by human topoisomerase IIα, after winding a pair of fluorescently stained DNA molecules with optical tweezers for 30 turns into an X-shaped braid. On average 0.51 ± 0.33 µm (11 ± 6 turns) of a braid was unlinked in a burst of reactions taking 8 ± 4 s, the unlinked length being essentially independent of the enzyme concentration between 0.25-37 pM. The time elapsed before the start of processive unlinking decreased with the enzyme concentration, being ~100 s at 3.7 pM. These results are consistent with a scenario where the enzyme binds to one DNA for a period of ~10 s, waiting for multiple diffusional encounters with the other DNA to transport it across the break ~10 times, and then dissociates from the binding site without waiting for the exhaustion of transportable DNA segments.

This paper provides a formula for the sacrifice bit-length for privacy amplification with the Bennett–Brassard 1984 protocol for finite key lengths, when we employ the decoy method. Using the formula, we can guarantee the security parameter for a realizable quantum key distribution system. The key generation rates with finite key lengths are numerically evaluated. The proposed method improves the existing key generation rate even in the asymptotic setting.

We present a tight security analysis of the Bennett–Brassard 1984 protocol taking into account the finite-size effect of key distillation and achieving unconditional security. We begin by presenting a concise analysis utilizing the normal approximation of the hypergeometric function. Next we show that a similar tight bound can also be obtained by a rigorous argument without relying on any approximation. In particular, for the convenience of experimentalists who wish to evaluate the security of their quantum key distribution systems, we also give the explicit procedures of our key distillation and show how to calculate the secret key rate and the security parameter from a given set of experimental parameters. In addition to the exact values of key rates and security parameters, we also describe how to obtain their rough estimates using the normal approximation.

Quantum mechanics imposes a fundamental tradeoff between the accuracy of time measurements and the size of the systems used as clocks. When the measurements of different time intervals are combined, the errors due to the finite clock size accumulate, resulting in an overall inaccuracy that grows with the complexity of the set-up. Here, we introduce a method that, in principle, eludes the accumulation of errors by coherently transferring information from a quantum clock to a quantum memory of the smallest possible size. Our method could be used to measure the total duration of a sequence of events with enhanced accuracy, and to reduce the amount of quantum communication needed to stabilize clocks in a quantum network. [ABSTRACT FROM AUTHOR]

A variety of new measures of quantum Rényi mutual information and quantum Rényi conditional entropy have recently been proposed, and some of their mathematical properties explored. Here, we show that the Rényi mutual information attains operational meaning in the context of composite hypothesis testing, when the null hypothesis is a fixed bipartite state and the alternative hypothesis consists of all product states that share one marginal with the null hypothesis. This hypothesis testing problem occurs naturally in channel coding, where it corresponds to testing whether a state is the output of a given quantum channel or of a "useless" channel whose output is decoupled from the environment. Similarly, we establish an operational interpretation of Rényi conditional entropy by choosing an alternative hypothesis that consists of product states that are maximally mixed on one system. Specialized to classical probability distributions, our results also establish an operational interpretation of Rényi mutual information and Rényi conditional entropy. [ABSTRACT FROM AUTHOR]

Liposomes encapsulating cytoskeletons have drawn much recent attention to develop an artificial cell-like chemical-machinery; however, as far as we know, there has been no report showing isothermally reversible morphological changes of liposomes containing cytoskeletons because the sets of various regulatory factors, that is, their interacting proteins, are required to control the state of every reaction system of cytoskeletons. Here we focused on hydrostatic pressure to control the polymerization state of microtubules (MTs) within cell-sized giant liposomes (diameters ~10 μm). MT is the cytoskeleton formed by the polymerization of tubulin, and cytoskeletal systems consisting of MTs are very dynamic and play many important roles in living cells, such as the morphogenesis of nerve cells and formation of the spindle apparatus during mitosis. Using real-time imaging with a high-pressure microscope, we examined the effects of hydrostatic pressure on the morphology of tubulin-encapsulating giant liposomes. At ambient pressure (0.1 MPa), many liposomes formed protrusions due to tubulin polymerization within them. When high pressure (60 MPa) was applied, the protrusions shrank within several tens of seconds. This process was repeatedly inducible (around three times), and after the pressure was released, the protrusions regenerated within several minutes. These deformation rates of the liposomes are close to the velocities of migrating or shape-changing living cells rather than the shortening and elongation rates of the single MTs, which have been previously measured. These results demonstrate that the elongation and shortening of protrusions of giant liposomes is repeatedly controllable by regulating the polymerization state of MTs within them by applying and releasing hydrostatic pressure. [ABSTRACT FROM AUTHOR]

Efficient verification of pure quantum states in the adversarial scenario is crucial to many applications in quantum information processing, such as blind measurement-based quantum computation and quantum networks. However, little is known about this topic so far. Here, we establish a general framework for verifying pure quantum states in the adversarial scenario and clarify the resource cost. Moreover, we propose a simple and general recipe to constructing efficient verification protocols for the adversarial scenario from protocols for the nonadversarial scenario. With this recipe, arbitrary pure states can be verified in the adversarial scenario with almost the same efficiency as in the nonadversarial scenario. Many important quantum states can be verified in the adversarial scenario using local projective measurements with unprecedented high efficiencies. [ABSTRACT FROM AUTHOR]

We address perfect discrimination of two separable states. When available states are restricted to separable states, we can theoretically consider a larger class of measurements than the class of measurements allowed in quantum theory. The framework composed of the class of separable states and the above extended class of measurements is a typical example of general probabilistic theories. In this framework, we give a necessary and sufficient condition to discriminate two separable pure states perfectly. In particular, we derive measurements explicitly to discriminate two separable pure states perfectly, and find that some non-orthogonal states are perfectly distinguishable. However, the above framework does not improve the capacity, namely, the maximum number of states that are simultaneously and perfectly distinguishable. [ABSTRACT FROM AUTHOR]

In quantum metrology, it is widely believed that the quantum Cramér–Rao bound is an attainable bound. However, this is not always true. In order to clarify this point, we explain why the quantum Cramér–Rao bound cannot be attained. Here, we investigate noiseless channel estimation under energy constraint for states, using a physically reasonable error function, and present a state achieving the optimal rate as well as the attainable bound. We propose an experimental generation of the optimal states for enhanced metrology using squeezing transformations. This makes phase/unitary estimation physically implementable. [ABSTRACT FROM AUTHOR]

We focus on a data sequence produced by repetitive quantum measurement on an internal hidden quantum system, and call it a hidden Markovian process. Using a quantum version of the Perron–Frobenius theorem, we derive novel upper and lower bounds for the cumulant generating function of the sample mean of the data. Using these bounds, we derive the central limit theorem and large and moderate deviations for the tail probability. Then, we give the asymptotic variance by using the second derivative of the cumulant generating function. We also derive another expression for the asymptotic variance by considering the quantum version of the fundamental matrix. Further, we explain how to extend our results to a general probabilistic system. [ABSTRACT FROM AUTHOR]

A quantum measurement is Fisher symmetric if it provides uniform and maximal information on all parameters that characterize the quantum state of interest. Using (complex projective) 2-designs, we construct measurements on a pair of identically prepared quantum states that are Fisher symmetric for all pure states. Such measurements are optimal in achieving the minimal statistical error without adaptive measurements. We then determine all collective measurements on a pair that are Fisher symmetric for the completely mixed state and for all pure states simultaneously. For a qubit, these measurements are Fisher symmetric for all states. The minimal optimal measurements are tied to the elusive symmetric informationally complete measurements, which reflects a deep connection between local symmetry and global symmetry. In the study, we derive a fundamental constraint on the Fisher information matrix of any collective measurement on a pair, which offers a useful tool for characterizing the tomographic efficiency of collective measurements. [ABSTRACT FROM AUTHOR]

In quantum thermodynamics, effects of finiteness of the baths have been less considered. In particular, there is no general theory which focuses on finiteness of the baths of multiple conserved quantities. Then, we investigate how the optimal performance of generalized heat engines with multiple conserved quantities alters in response to the size of the baths. In the context of general theories of quantum thermodynamics, the size of the baths has been given in terms of the number of identical copies of a system, which does not cover even such a natural scaling as the volume. In consideration of the asymptotic extensivity, we deal with a generic scaling of the baths to naturally include the volume scaling. Based on it, we derive a bound for the performance of generalized heat engines reflecting finite-size effects of the baths, which we call fine-grained generalized Carnot bound. We also construct a protocol to achieve the optimal performance of the engine given by this bound. Finally, applying the obtained general theory, we deal with simple examples of generalized heat engines. As for an example of non-independent-and-identical-distribution scaling and multiple conserved quantities, we investigate a heat engine with two baths composed of an ideal gas exchanging particles, where the volume scaling is applied. The result implies that the mass of the particle explicitly affects the performance of this engine with finite-size baths. [ABSTRACT FROM AUTHOR]

We study systematically resource measures of coherence and entanglement based on Rényi relative entropies, which include the logarithmic robustness of coherence, geometric coherence, and conventional relative entropy of coherence together with their entanglement analogues. First, we show that each Rényi relative entropy of coherence is equal to the corresponding Rényi relative entropy of entanglement for any maximally correlated state. By virtue of this observation, we establish a simple operational connection between entanglement measures and coherence measures based on Rényi relative entropies. We then prove that all these coherence measures, including the logarithmic robustness of coherence, are additive. Accordingly, all these entanglement measures are additive for maximally correlated states. In addition, we derive analytical formulas for Rényi relative entropies of entanglement of maximally correlated states and bipartite pure states, which reproduce a number of classic results on the relative entropy of entanglement and logarithmic robustness of entanglement in a unified framework. Several nontrivial bounds for Rényi relative entropies of coherence (entanglement) are further derived, which improve over results known previously. Moreover, we determine all states whose relative entropy of coherence is equal to the logarithmic robustness of coherence. As an application, we provide an upper bound for the exact coherence distillation rate, which is saturated for pure states. [ABSTRACT FROM AUTHOR]

The optimal efficiency of quantum (or classical) heat engines whose heat baths are n-particle systems is given by the strong large deviation. We give the optimal work extraction process as a concrete energy-preserving unitary time evolution among the heat baths and the work storage. We show that our optimal work extraction turns the disordered energy of the heat baths to the ordered energy of the work storage, by evaluating the ratio of the entropy difference to the energy difference in the heat baths and the work storage, respectively. By comparing the statistical mechanical optimal efficiency with the macroscopic thermodynamic bound, we evaluate the accuracy of the macroscopic thermodynamics with finite-size heat baths from the statistical mechanical viewpoint. We also evaluate the quantum coherence effect on the optimal efficiency of the cycle processes without restricting their cycle time by comparing the classical and quantum optimal efficiencies. [ABSTRACT FROM AUTHOR]

We investigate the ability of a quantum measurement device to discriminate two states or, generically, two hypotheses. In full generality, the measurement can be performed a number n of times, and arbitrary preprocessing of the states and postprocessing of the obtained data are allowed. There is an intrinsic error associated with the measurement device, which we aim to quantify, that limits its discrimination power. We minimize various error probabilities (averaged or constrained) over all pairs of n-partite input states. These probabilities, or their exponential rates of decrease in the case of large n, give measures of the discrimination power of the device. For the asymptotic rate of the averaged error probability, we obtain a Chernoff-type bound, dual to the standard Chernoff bound for which the state pair is fixed and the optimization is over all measurements. The key point in the derivation is that identical copies of input states become optimal in asymptotic settings. Optimal asymptotic rates are also obtained for constrained error probabilities, dual to Stein's lemma and Hoeffding's bound. We further show that adaptive protocols where the state preparer gets feedback from the measurer do not improve the asymptotic rates. These rates thus quantify the ultimate discrimination power of a measurement device. [ABSTRACT FROM AUTHOR]

In the decoy quantum key distribution, we show that a smaller decoy intensity gives a better key generation rate in the asymptotic setting when we employ only one decoy intensity and the vacuum pulse. In particular, the counting rate of single photon can be perfectly estimated in the limit that the decoy intensity is infinitesimally small. The same property holds even when the intensities cannot be perfectly identified. Further, we propose a protocol to improve the key generation rate over the existing protocol under the same decoy intensity. [ABSTRACT FROM AUTHOR]

We propose a general framework for constructing universal steering criteria that are applicable to arbitrary bipartite states and measurement settings of the steering party. The same framework is also useful for studying the joint measurement problem. Based on the data-processing inequality for an extended Rényi relative entropy, we then introduce a family of steering inequalities, which detect steering much more efficiently than those inequalities known before. As illustrations, we show unbounded violation of a steering inequality for assemblages constructed from mutually unbiased bases and establish an interesting connection between maximally steerable assemblages and complete sets of mutually unbiased bases. We also provide a single steering inequality that can detect all bipartite pure states of full Schmidt rank. In the course of study, we generalize a number of results intimately connected to data-processing inequalities, which are of independent interest. [ABSTRACT FROM AUTHOR]

We introduce a simple protocol for verifiable measurement-only blind quantum computing. Alice, a client, can perform only single-qubit measurements, whereas Bob, a server, can generate and store entangled many-qubit states. Bob generates copies of a graph state, which is a universal resource state for measurement-based quantum computing, and sends Alice each qubit of them one by one. Alice adaptively measures each qubit according to her program. If Bob is honest, he generates the correct graph state, and, therefore, Alice can obtain the correct computation result. Regarding the security, whatever Bob does, Bob cannot get any information about Alice's computation because of the no-signaling principle. Furthermore, malicious Bob does not necessarily send the copies of the correct graph state, but Alice can check the correctness of Bob's state by directly verifying the stabilizers of some copies. [ABSTRACT FROM AUTHOR]

Minus end-directed cargo transport along microtubules (MTs) is exclusively driven by the molecular motor dynein in a wide variety of cell types. Interestingly, during evolution, plants have lost the genes encoding dynein; the MT motors that compensate for dynein function are unknown. Here, we show that two members of the kinesin-14 family drive minus end-directed transport in plants. Gene knockout analyses of the moss Physcomitrella patens revealed that the plantspecific class VI kinesin-14, KCBP, is required for minus end-directed transport of the nucleus and chloroplasts. Purified KCBP directly bound to acidic phospholipids and unidirectionally transported phospholipid liposomes along MTs in vitro. Thus, minus end-directed transport of membranous cargoes might be driven by their direct interaction with this motor protein. Newly nucleated cytoplasmic MTs represent another known cargo exhibiting minus end-directed motility, and we identified the conserved class I kinesin-14 (ATK) as the motor involved. These results suggest that kinesin-14 motors were duplicated and developed as alternative MT-based minus end-directed transporters in land plants. [ABSTRACT FROM AUTHOR]

As a modern approach for the foundation of quantum theory, existing studies of general probabilistic theories gave various models of states and measurements that are quite different from quantum theory. In this Letter, to seek a more realistic situation, we investigate models approximately close to quantum theory. We define larger measurement classes that are smoothly connected with the class of POVMs via a parameter, and investigate the performance of perfect discrimination. As a result, we give a sufficient condition of perfect discrimination, which shows a significant improvement beyond the class of POVMs. [ABSTRACT FROM AUTHOR]

We introduce a resource theory of channels relevant to communication via quantum channels, in which the set of constant channels--useless channels for communication tasks--are considered as free resources. We find that our theory with such a simple structure is useful to address central problems in quantum Shannon theory--in particular, we provide a converse bound for the one-shot nonsignaling assisted classical capacity that naturally leads to its strong converse property, as well as obtain the one-shot channel simulation cost with nonsignaling assistance. We clarify an intimate connection between the nonsignaling assistance and our formalism by identifying the nonsignaling assisted channel coding with the channel transformation under the maximal set of resource nongenerating superchannels, providing a physical characterization of the latter. Our results provide new perspectives and concise arguments to those problems, connecting the recently developed fields of resource theories to "classic" settings in quantum information theory and shedding light on the validity of resource theories of channels as effective tools to address practical problems. [ABSTRACT FROM AUTHOR]