A major challenge in photonic quantum technologies is developing strategies to prepare suitable discrete-variable quantum states using simple input states, linear optics, and auxiliary photon measurements to identify successful outcomes. Fundamentally, this challenge arises from the lack of strong non-linearities on the single-photon level, meaning that photonic state preparation based on linear optics cannot benefit from the deterministic gate-based approach available to other physical platforms. Instead, the preparation of quantum states can be probabilistically implemented using single photons, linear-optical networks, and photon detection. However, determining whether an input state can be transformed into a target state using a specific measurement pattern - a problem that can be mapped to deciding the feasibility of a system of polynomial equations - is a complex problem in general. To solve it, we apply the Nullstellensatz Linear Algebra algorithm from algebraic geometry to quantum state generation; this can provide definitive no-go results by proving infeasibility when the state preparation task in question has no solution. We demonstrate this capability to validate and establish lower bounds on the physical resource requirements for the realization of several ubiquitous optical states and gates.
We describe an algorithm for quantum state tomography that converges in polynomial time to an estimate, together with a rigorous error bound on the fidelity between the estimate and the true state. The result suggests that state tomography on large quantum systems may be much more feasible than the exponential size of state space suggests. In many situations, the correctness of the state estimate can be certified from the data alone, with no a priori assumptions on the form of the measured state.
The no-cloning theorem states that an unknown quantum state cannot be cloned exactly and deterministically due to the linearity of quantum mechanics. Associated with this theorem is the quantitative no-cloning limit that sets an upper bound to the quality of the generated clones. However, this limit can be circumvented by abandoning determinism and using probabilistic methods. Here, we report an experimental demonstration of probabilistic cloning of arbitrary coherent states that clearly surpasses the no-cloning limit. Our scheme is based on a hybrid linear amplifier that combines an ideal det…
Non-deterministic noiseless amplification of a single mode can circumvent the unique challenges to amplifying a quantum signal, such as the no-cloning theorem, and the minimum noise cost for deterministic quantum state amplification. However, existing devices are not suitable for amplifying the fundamental optical quantum information carrier, a qubit coherently encoded across two optical modes. Here, we construct a coherent two-mode amplifier, to demonstrate the first heralded noiseless linear amplification of a qubit encoded in the polarization state of a single photon. In doing so, we increa…
A non trace-preserving map describing a probabilistic but heralded noiseless linear amplifier has recently been proposed and experimentally demonstrated. Here, we exhibit another remarkable feature of this peculiar transformation, namely its ability to serve as a universal single-mode squeezer regardless of the quadrature that is initially squeezed. Hence, it acts as an heralded phase-insensitive optical squeezer, conserving the signal-to-noise ratio just as a phase-sensitive optical amplifier but for all quadratures at the same time, which may offer new perspectives in quantum optical communi…
We derive an analytical description for the quantum state preparation using systems of on-off detectors. Our method will apply the true click statistics of such detector systems. In particular, we consider heralded quantum state preparation using correlated light fields, photon addition and photon subtraction processes. Using a post-selection procedure to a particular number of clicks of the detector system, the output states reveal a variety of quantum features. The rigorous description allows the identification and characterization of fundamentally unavoidable attenuations within given proce…
We derive a generic bound on the rate of decrease of transverse field for quantum annealing to converge to the ground state of a generic Ising model when quantum annealing is formulated as an infinite-time process. Our theorem is based on a rigorous upper bound on the excitation probability in the infinite-time limit and is a mathematically rigorous counterpart of a previously known result derived only from the leading-order term of the asymptotic expansion of adiabatic condition. Since our theorem gives a sufficient condition of convergence for a generic transverse-field Ising model, any spec…
Single-shot state preparation threshold: rigorous theorem and statistical mechanical mapping
Tsinghua University（清华大学）；Frontier Science Center for Quantum Information（量子信息前沿科学中心）；Yau Mathematical Sciences Center, Tsinghua University（清华大学丘成桐数学科学中心）；Beijing Academy of Quantum Information Sciences（北京量子信息科学研究院）；Hefei National Laboratory（合肥国家实验室）
In this paper,we present a rigorous demonstration and discussion of the quantum adiabatic theorem for systems having a non degenerate continuous spectrum. A new strategy is initiated by defining a kind of gap, "a virtual gap", for the continuous spectrum through the notion of eigendifferential (Weyl's packet) and using the differential projector operator. Finally we obtain the validity condition of the adiabatic approximation.
In this paper dedicated to the memory of Walter Philipp, we formalize the rules of classical$\to$ quantum correspondence and perform a rigorous mathematical analysis of the assumptions in Bell's NO-GO arguments.
The distribution of quantum states over long distances is limited by photon loss. Straightforward amplification as in classical telecommunications is not an option in quantum communication because of the no-cloning theorem. This problem could be overcome by implementing quantum repeater protocols, which create long-distance entanglement from shorter-distance entanglement via entanglement swapping. Such protocols require the capacity to create entanglement in a heralded fashion, to store it in quantum memories, and to swap it. One attractive general strategy for realizing quantum repeaters is b…
We obtain some rigorous results on limit theorems for quantum walks driven by many coins introduced by Brun et al. in the long time limit. The results imply that whether the behavior of a particle is quantum or classical depends on the three factors: the initial qubit, the number of coins M, d= [t/M], where t is time step. Our main theorem shows that we can see a transition from classical behavior to quantum one for a class of three factors.
We prove an accuracy threshold theorem for fault-tolerant quantum computation based on error detection and postselection. Our proof provides a rigorous foundation for the scheme suggested by Knill, in which preparation circuits for ancilla states are protected by a concatenated error-detecting code and the preparation is aborted if an error is detected. The proof applies to independent stochastic noise but (in contrast to proofs of the quantum accuracy threshold theorem based on concatenated error-correcting codes) not to strongly-correlated adversarial noise. Our rigorously established lower …
The quantum threshold theorem shows that a noisy quantum computer can accurately and efficiently simulate any ideal quantum computation provided that noise is weakly correlated and its strength is below a critical value known as the quantum accuracy threshold. This thesis provides a simpler and more transparent non-inductive proof of this theorem based on the concept of level reduction. This concept is also used in proving the quantum threshold theorem for coherent and leakage noise and for quantum computation by measurements. In addition, the proof provides a methodology which allows us to es…
We generalize the quantum adiabatic theorem to the non-Hermitian system and build a rigorous adiabaticity condition with respect to the adiabatic phase. The non-Hermitian Hamiltonian inverse engineering method is proposed for the purpose to adiabatically drive a artificial quantum state. For the sake of clearness, we take a concrete two-level system as an example to show the usefulness of the inverse engineering method. The numerical simulation result shows that our scheme can work well even under noise if the parameters are chosen appropriately. We can obtain the desired target state by adjus…
This paper implements in a simple but rigorous fashion a model of particle interaction involving all paths within a quantum system, both for configuration space and for spin. The model, which we call the space of all paths, leads to a locally explicable conceptual framework for quantum mechanics. Using it we present two counterexamples to Bell's theorem. Moreover, we show that the result places severe constraints on possible viable interpretations of quantum mechanics: Either an interpretation must in some form represent a quantum system in terms of all paths within the system or, alternativel…
The general problem of performance advantage obtainable by the use of nonclassical transmitted states over classical ones is considered. Attention is focused on the situation where system loss is significant and additive Gaussian noise may be present at the receiver. Under the assumption that the total received state is classical, rigorous output density operator representations and their trace distance bounds are developed for classical and nonclassical transmitted states. For applications with high loss in all modes, a practical No-Go theorem is enunciated that rules out the possibility of s…
We continue our investigation of the nonlinear SUSY for complex potentials started in the Part I (math-ph/0610024) and prove the theorems characterizing its structure in the case of non-diagonalizable Hamiltonians. This part provides the mathematical basis of previous studies. The classes of potentials invariant under SUSY transformations for non-diagonalizable Hamiltonians are specified and the asymptotics of formal eigenfunctions and associated functions are derived. Several results on the normalizability of associated functions at infinities are rigorously proved. Finally the Index Theorem …
I present arguments indicating the impossibility of spontaneously rotating quantum timecrystals, as recently proposed by Frank Wilczek [arXiv:1202.2539]. In particular, I prove a No-Go Theorem, rigorously ruling out the possibility of spontaneous ground-state (or thermal equilibrium) rotation for a broad class of systems.
The low-temperature regime of charge-qubit decoherence due to its Coulomb interaction with electrons tunneling through Luttinger liquid quantum-point contact (QPC) is investigated. The study is focused on quantum detector properties of Luttinger liquid QPC. It is shown, that in low-temperature limit the respective perturbative decoherence- and acquisition of information timescales both tend to diverge, thus, shadowing a true picture of low-temperature quantum detection for such quantum systems. Here I prove two general mathematical statements (S-theorem and S-lemma) about exact re-exponentiati…
Time evolution operator in quantum mechanics can be changed into a statistical operator by a Wick rotation. This strict relation between statistical mechanics and quantum evolution can reveal deep results when the thermodynamic limit is considered. These results translate in a set of theorems proving that these effects can be effectively at work producing an emerging classical world without recurring to any external entity that in some cases cannot be properly defined. In a many-body system has been recently shown that Gaussian decay of the coherence is the rule with a duration of recurrence m…
This thesis is devoted to a rigorous study of interacting quantum gases. The main objects of interest are the closely related concepts of excitation spectrum and quasiparticles. The immediate motivation of this work is to propose a spectral point of view concerning these two concepts. In the first part of this thesis we discuss the concepts of excitation spectrum and quasiparticles. We provide an overview of physical motivations and based on that we propose a spectral and Hamiltonian-based approach towards these terms. Based on that, we formulate definitions and propositions related to these c…
In this paper, the foundations of classical phenomenological thermodynamics are being thoroughly revisited. A new rigorous basis for thermodynamics is laid out in the main text and presented in full detail in the appendix. All relevant concepts, such as work, heat, internal energy, heat reservoirs, reversibility, absolute temperature and entropy, are introduced on an abstract level and connected through traditional results, such as Carnot's Theorem, Clausius' Theorem and the Entropy Theorem. The paper offers insights into the basic assumptions one has to make in order to formally introduce a p…
We have explained and comprehensively illustrated in Part I that the generalized Pauli constraints suggest a natural extension of the concept of active spaces. In the present Part II, we provide rigorous derivations of the theorems involved therein. This will offer in particular deeper insights into the underlying mathematical structure and will explain why the saturation of generalized Pauli constraints implies a specific simplified structure of the corresponding many-fermion quantum state. Moreover, we extend the results of Part I to non-fermionic multipartite quantum systems, revealing that…
For a large class of finite-range quantum spin models with half-integer spins, we prove that uniqueness of the ground state implies the existence of a low-lying excited state. For systems of linear size L, of arbitrary finite dimension, we obtain an upper bound on the excitation energy (i.e., the gap above the ground state) of the form (C\log L)/L. This result can be regarded as a multi-dimensional Lieb-Schultz-Mattis theorem and provides a rigorous proof of a recent result by Hastings.
We consider the two main theorems in the derivation of the Quantum Hamilton--Jacobi Equation from the Equivalence Postulate (EP) of quantum mechanics. The first one concerns a basic cocycle condition, which holds in any dimension with Euclidean or Minkowski metrics and implies a global conformal symmetry underlying the Quantum Hamilton--Jacobi Equation. In one dimension such a condition fixes the Schwarzian equation. The second theorem concerns energy quantization which follows rigorously from consistency of the equivalence postulate.
