In this paper, we address the issue of enhancing coherence of a state under stochastic strictly incoherent operations. Based on the $l_1$ norm of coherence, we obtain the maximal value of coherence that can be achieved for a state undergoing a stochastic strictly incoherent operation and the maximal probability of obtaining the maximal coherence. Our findings indicate that a pure state can be transformed into a maximally coherent state under a stochastic strictly incoherent operation if and only if all the components of the pure state are nonzero while a mixed state can never be transformed into a maximally coherent state under a stochastic strictly incoherent operation.

Quantum state preparation in high-dimensional systems is an essential requirement for many quantum-technology applications. The engineering of an arbitrary quantum state is, however, typically strongly dependent on the experimental platform chosen for implementation, and a general framework is still missing. Here we show that coined quantum walks on a line, which represent a framework general enough to encompass a variety of different platforms, can be used for quantum state engineering of arbitrary superpositions of the walker's sites. We achieve this goal by identifying a set of conditions that fully characterize the reachable states in the space comprising walker and coin and providing a method to efficiently compute the corresponding set of coin parameters. We assess the feasibility of our proposal by identifying a linear optics experiment based on photonic orbital angular momentum technology.

We apply the adiabatic nuclei convergent close-coupling method to electron-impact dissociative excitation of ${\mathrm{H}}_2$ in the low-energy regime. Differential and integrated cross sections are presented for excitation of the $b{}^3\mathrm{\Sigma }_u^{+}$ state, the primary pathway to dissociation of ${\mathrm{H}}_2$ at low energies. Agreement with experiment is satisfactory. Results are also presented for the isotopologues ${\mathrm{D}}_2$, ${\mathrm{T}}_2$, HD, HT, and DT, which show a pronounced isotope effect near threshold in both the differential and integrated cross sections.

We studied the wave fields in a temporal photonic crystal, namely a medium with periodic modulation of the permittivity and/or permeability. If the frequency of the wave is one-half, or three-halves, etc. of the modulation frequency, we find that the waves are standing in both an unbounded medium and in a (nonabsorbing) slab. At these frequencies (temporal Brillouin-zone boundaries) the group velocity is infinite in magnitude—unlike the case of spatially periodic media.

The uncertainty relation is a distinguishing feature of quantum theory, characterizing the incompatibility of noncommuting observables in the preparation of quantum states. Recently, many uncertainty relations were proposed with improved lower bounds and were deemed capable of incorporating multiple observables. Here we report an experimental verification of seven uncertainty relations of this type with single-photon measurements. The results, while confirming these uncertainty relations, show as well the relative stringency of various uncertainty lower bounds.

We study the nonescape probability for tunneling decay of two identical noninteracting particles which are entangled due to symmetrization. As a consequence, the two-particle nonescape probability, which gives the probability that the particles remain within the potential region, may be written as the sum of two terms: a direct term and an exchange term which is added or subtracted according to symmetrization. At the initial time the direct term decays exponentially in the usual way, but the exchange term vanishes due to the orthonormality of the initial states. As time evolves the exchange term builds up until it becomes comparable to the direct term at time $t_0$. Thereafter, the symmetric and antisymmetric nonescape probabilities decay in a distinctive way. The buildup time typically lasts several lifetimes and implies that during the relevant exponentially decaying regime the probability of finding the particles within the interaction region is insensitive to the symmetry of the decaying particles. That is, the particles decay as if they were distinguishable. This might be experimentally verified in the tunneling decay of atoms in ultracold gases.

Gleason's theorem is a statement that, given some reasonable assumptions, the Born rule used to calculate probabilities in quantum mechanics is essentially unique [A. M. Gleason, Indiana Univ. Math. J. 6, 885 (1957)]. We show that Gleason's theorem contains within it also the structure of sequential measurements, and along with this the state update rule. We give a small set of axioms, which are physically motivated and analogous to those in Busch's proof of Gleason's theorem [P. Busch, Phys. Rev. Lett. 91, 120403 (2003)], from which the familiar Kraus operator form follows. An axiomatic approach has practical relevance as well as fundamental interest, in making clear those assumptions which underlie the security of quantum communication protocols. Interestingly, the two-time formalism is seen to arise naturally in this approach.

While quantum speed-up in solving certain decision problems by a fault-tolerant universal quantum computer has been promised, a timely research interest includes how far one can reduce the resource requirement to demonstrate a provable advantage in quantum devices without demanding quantum error correction, which is crucial for prolonging the coherence time of qubits. We propose a model device made of locally interacting multiple qubits, designed such that simultaneous single-qubit measurements on it can output probability distributions whose average-case sampling is classically intractable, under similar assumptions as the sampling of noninteracting bosons and instantaneous quantum circuits. Notably, in contrast to these previous unitary-based realizations, our measurement-based implementation has two distinctive features. (i) Our implementation involves no adaptation of measurement bases, leading output probability distributions to be generated in constant time, independent of the system size. Thus, it could be implemented in principle without quantum error correction. (ii) Verifying the classical intractability of our sampling is done by changing the Pauli measurement bases only at certain output qubits. Our usage of random commuting quantum circuits in place of computationally universal circuits allows a unique unification of sampling and verification, so they require the same physical resource requirements in contrast to the more demanding verification protocols seen elsewhere in the literature.

Hypergraph states are generalizations of graph states where controlled-$Z$ gates on edges are replaced with generalized controlled-$Z$ gates on hyperedges. Hypergraph states have several advantages over graph states. For example, certain hypergraph states, such as the Union Jack states, are universal resource states for measurement-based quantum computing with only Pauli measurements, while graph state measurement-based quantum computing needs non-Clifford basis measurements. Furthermore, it is impossible to classically efficiently sample measurement results on hypergraph states unless the polynomial hierarchy collapses to the third level. Although several protocols have been proposed to verify graph states with only sequential single-qubit Pauli measurements, there was no verification method for hypergraph states. In this paper, we propose a method for verifying a certain class of hypergraph states with only sequential single-qubit Pauli measurements. Importantly, no i.i.d. property of samples is assumed in our protocol: any artificial entanglement among samples cannot fool the verifier. As applications of our protocol, we consider verified blind quantum computing with hypergraph states, and quantum computational supremacy demonstrations with hypergraph states.

Constructively simulating quantum systems furthers our understanding of qualitative and quantitative features which may be analytically intractable. In this paper, we directly simulate and explore the entanglement structure present in the paradigmatic example for exponential quantum speedups: Shor's algorithm. To perform our simulation, we construct a dynamic tree tensor network which manifestly captures two salient circuit features for modular exponentiation. These are the natural two-register bipartition and the invariance of entanglement with respect to permutations of the top-register qubits. Our construction help identify the entanglement entropy properties, which we summarize by a scaling relation. Further, the tree network is efficiently projected onto a matrix product state from which we efficiently execute the quantum Fourier transform. Future simulation of quantum information states with tensor networks exploiting circuit symmetries is discussed.

A current bottleneck for quantum computation is the realization of high-fidelity two-qubit quantum operations between two or more quantum bits in arrays of coupled qubits. Gates based on parametrically driven tunable couplers offer a convenient method to entangle multiple qubits by selectively activating different interaction terms in the effective Hamiltonian. Here, we theoretically and experimentally study a superconducting qubit setup with two transmon qubits connected via a capacitively coupled tunable bus. We develop a time-dependent Schrieffer-Wolff transformation and derive analytic expressions for exchange-interaction gates swapping excitations between the qubits (iswap) and for two-photon gates creating and annihilating simultaneous two-qubit excitations (bswap). We find that the bswap gate is generally slower than the more commonly used iswap gate, but features favorable scalability properties with less severe frequency-crowding effects, which typically degrade the fidelity in multiqubit setups. Our theoretical results are backed by experimental measurements as well as exact numerical simulations including the effects of higher transmon levels and dissipation.

Quantum coherence is the most essential characteristic of quantum physics, specifcially, when it is subject to the resource-theoretical framework, it is considered as the most fundamental resource for quantum techniques. Other quantum resources, e.g., entanglement, are all based on coherence. Therefore, it becomes urgently important to learn how to preserve coherence in quantum channels. The best preservation is coherence freezing, which has been studied recently. However, in these studies, the freezing condition is theoretically calculated, and there still lacks a practical way to achieve this freezing; in addition the channels are usually fixed, but actually, there are also degrees of freedom that can be used to adapt the channels to quantum states. Here we develop a self-guided quantum coherence freezing method, which can guide either the quantum channels (tunable-channel scheme with upgraded channels) or the initial state (fixed-channel scheme) to the coherence-freezing zone from any starting estimate. Specifically, in the fixed-channel scheme, the final-iterative quantum states all satisfy the previously calculated freezing condition. This coincidence demonstrates the validity of our method. Our work will be helpful for the better protection of quantum coherence.

Compared to the atomic chip, which has been a powerful platform to perform an astonishing range of applications from rapid Bose-Einstein condensate (BEC) production to the atomic clock, the molecular chip is only in its infant stages. Recently a one-dimensional electric lattice was demonstrated to trap polar molecules on a chip. This excellent work opens up the way to building a molecular chip laboratory. Here we propose a two-dimensional (2D) electric lattice on a chip with concise and robust structure, which is formed by arrays of squared gold wires. Arrays of microtraps that originate in the microsize electrodes offer a steep gradient and thus allow for confining both light and heavy polar molecules. Theoretical analysis and numerical calculations are performed using two types of sample molecules, $\mathrm{N}{\mathrm{D}}_3$ and SrF, to justify the possibility of our proposal. The height of the minima of the potential wells is about 10 μm above the surface of the chip and can be easily adjusted in a wide range by changing the voltages applied on the electrodes. These microtraps offer intriguing perspectives for investigating cold molecules in periodic potentials, such as quantum computing science, low-dimensional physics, and some other possible applications amenable to magnetic or optical lattice. The 2D adjustable electric lattice is expected to act as a building block for a future gas-phase molecular chip laboratory.

We present a plasmon-shaped polarization gating for high-order-harmonic generation by using a linearly polarized laser field to illuminate two orthogonal bow-tie nanostructures. The results show that when these two bow-tie nanostructures have nonidentical geometrical sizes, the transverse and longitudinal components of the incident laser field will experience different phase responses, thus leading to a time-dependent ellipticity of laser field. For the polarizing angle of incident laser field in the range from ${45}^{\circ }$ to ${60}^{\circ }$, the dominant harmonic emission is gated within the few optical cycles where the laser ellipticity is below 0.3. Then sub-50-as isolated attosecond pulses (IAPs) can be generated. Such a plasmon-shaped polarization gating is robust for IAP generation against the variations of the carrier-envelope phases of the laser pulse. Moreover, by changing the geometrical size of one of the bow-tie nanostructures, the electron dynamics can be effectively controlled and the more efficient supercontinuum as well as IAP can be generated.

Based on the experimental evidence that impurities contribute to the dissipation properties of solid-state open quantum systems, we provide here a description in terms of nonlinear quantum Langevin equations of the role played by two-level systems in the dynamics of a bosonic degree of freedom. Our starting point is represented by the description of the system-environment coupling in terms of coupling to two separate reservoirs, modeling the interaction with external bosonic modes and two-level systems, respectively. Furthermore, we show how this model represents a specific example of a class of open quantum systems that can be described by nonlinear quantum Langevin equations. Our analysis offers a potential explanation of the parametric effects recently observed in circuit-QED cavity optomechanics experiments.

Open quantum systems exhibiting initial system-environment correlations are notoriously difficult to simulate. We point out that given a sufficiently long sample of the exact short-time evolution of the open system dynamics, one may employ transfer tensors for the further propagation of the reduced open system state. This approach is numerically advantageous and allows for the simulation of quantum correlation functions in hardly accessible regimes. We benchmark this approach against analytically exact solutions and exemplify it with the calculation of emission spectra of multichromophoric systems as well as for the reverse temperature estimation from simulated spectroscopic data. Finally, we employ our approach for the detection of spectral signatures of electromagnetically induced transparency in open three-level systems.

Upper bounds on the secret-key-agreement capacity of a quantum channel serve as a way to assess the performance of practical quantum-key-distribution protocols conducted over that channel. In particular, if a protocol employs a quantum repeater, achieving secret-key rates exceeding these upper bounds is evidence of having a working quantum repeater. In this paper, we extend a recent advance [Liuzzo-Scorpo et al., Phys. Rev. Lett. 119, 120503 (2017)] in the theory of the teleportation simulation of single-mode phase-insensitive Gaussian channels such that it now applies to the relative entropy of entanglement measure. As a consequence of this extension, we find tighter upper bounds on the nonasymptotic secret-key-agreement capacity of the lossy thermal bosonic channel than were previously known. The lossy thermal bosonic channel serves as a more realistic model of communication than the pure-loss bosonic channel, because it can model the effects of eavesdropper tampering and imperfect detectors. An implication of our result is that the previously known upper bounds on the secret-key-agreement capacity of the thermal channel are too pessimistic for the practical finite-size regime in which the channel is used a finite number of times, and so it should now be somewhat easier to witness a working quantum repeater when using secret-key-agreement capacity upper bounds as a benchmark.