Let $\ket{\0}$ and $\ket{\1}$ be two states that are promised to come from known subsets of orthogonal subspaces, but are otherwise unknown. Our paper probes the question of what can be achieved with respect to the basis $\{\ket{\0},\ket{\1}}^{\otimes n}$ of $n$ logical qubits, given only a few copies of the unknown states $\ket{\0}$ and $\ket{\1}$. A phase-invariant operator is one that is unchanged under the relative phase-shift $\ket{\1} \mapsto e^{i θ}\ket{\1}$, for any $θ$, of all of the $n$ qubits. We show that phase-invariant unitary operators can be implemented exactly with no copies and that phase-invariant states can be prepared exactly with at most $n$ copies each of $\ket{\0}$ and $\ket{\1}$; we give an explicit algorithm for state preparation that is efficient for some classes of states (e.g. symmetric states). We conjecture that certain non-phase-invariant operations are impossible to perform accurately without many copies. Motivated by optical implementations of quantum computers, we define ``quantum computation in a hidden basis'' to mean executing a quantum algorithm with respect to the phase-shifted hidden basis $\{\ket{\0}, e^{iθ}\ket{\1}\}$, for some potentially unknown $θ$; we give an efficient approximation algorithm for this task, for which we introduce an analogue of a coherent state of light, which serves as a bounded quantum phase reference frame encoding $θ$. Our motivation was quantum-public-key cryptography, however the techniques are general. We apply our results to quantum-public-key authentication protocols, by showing that a natural class of digital signature schemes for classical messages is insecure. We also give a protocol for identification that uses many of the ideas discussed and whose security relates to our conjecture (but we do not know if it is secure).
We show that every quantum computation can be described by Bayesian update of a probability distribution on a finite state space. When applied to the model of quantum computation with magic states, the size of this state space only depends on the number of magic states used in the quantum computation, and not on the length of the gate and measurement sequence.
We present an algebraic description of the sets of local correlations in arbitrary networks, when the parties have finite inputs and outputs. We consider networks generalizing the usual Bell scenarios by the presence of multiple uncorrelated sources. We prove a finite upper bound on the cardinality of the value sets of the local hidden variables. Consequently, we find that the sets of local correlations are connected, closed and semialgebraic, and bounded by tight polynomial Bell-like inequalities.
The Hidden Subgroup Problem in Affine Groups: Basis Selection in Fourier Sampling
许多量子算法,包括Shor著名的因式分解和离散对数算法,都是通过归约到隐子群问题来进行的,其中群G的子群H必须从H的左陪集上一致支撑的量子态y确定。这些隐藏的子群问题,然后解决傅里叶采样:量子傅里叶变换y的计算和测量。当基础群是非阿贝尔群时,傅立叶抽样范式的两个重要变体已经被确定:弱标准方法,其中仅测量表示名称,以及强标准方法,其中发生完全测量。强标准方法是否真的更强,也就是说,是否存在可以通过强方法重建而不能通过弱方法或任何其他已知方法重建的隐藏子群,这一点仍然是开放的。在本文中,我们肯定地解决了这个问题。证明了强标准方法可以有效地确定Zp与Zq的半直积的隐子群,其中q整除(p-1)且q = p / polylog(p).此外,弱标准方法和"遗忘“阿贝尔方法对这些群体是不够的。我们将其推广到Z_p的半直积上的隐子群问题的信息论解,通过\Z_q,其中q整除(p-1),特别是仿射群A_p.最后,我们证明了一类群的闭包性质,在这类群上隐子群问题可以有效地得到解决.
Measurement-based quantum computing is one of the most promising quantum computing models. Although various universal resource states have been proposed so far, it was open whether only two Pauli bases are enough for both of universal measurement-based quantum computing and its verification. In this paper, we construct a universal hypergraph state that only requires $X$ and $Z$-basis measurements for universal measurement-based quantum computing. We also show that universal measurement-based quantum computing on our hypergraph state can be verified in polynomial time using only $X$ and $Z$-bas…
We prove that universal quantum computation can be realized---using only linear optics and $χ^{(2)}$ (three-wave mixing) interactions---in any $(n+1)$-dimensional qudit basis of the $n$-pump-photon subspace. First, we exhibit a strictly universal gate set for the qubit basis in the one-pump-photon subspace. Next, we demonstrate qutrit-basis universality by proving that $χ^{(2)}$ Hamiltonians and photon-number operators generate the full $\mathfrak{u}(3)$ Lie algebra in the two-pump-photon subspace, and showing how the qutrit controlled-$Z$ gate can be implemented with only linear optics and $χ…
We numerically study the implementation of a universal two-qubit gate set, composed of CNOT, Hadamard, phase and $π/8$ gates, for transmon-based systems. The control signals to implement such gates are obtained using the Chopped Random Basis optimal control technique, with a target gate infidelity of $10^{-2}$. During the optimization processes we account for the leakage toward non-computational states, an important non-ideality affecting transmon qubits. We also test and benchmark the optimal control solutions against the introduction of Gaussian white noise and spectral distortion, two key n…
The Hidden Subgroup Problem (HSP) is a computational problem which includes as special cases integer factorization, the discrete logarithm problem, graph isomorphism, and the shortest vector problem. The celebrated polynomial-time quantum algorithms for factorization and the discrete logarithm are restricted versions of a generic polynomial-time quantum solution to the HSP for abelian groups, but despite focused research no full solution has yet been found. We propose a generalization of the HSP to include arbitrary algebraic structures and analyze this new problem on powers of 2-element algeb…
The asymmetric quantum Rabi model (AQRM) has a broken $\mathbb{Z}_2$ symmetry, with generally a non-degenerate eigenvalue spectrum. In some special cases where the asymmetric parameter is a multiple of the cavity frequency, stable level crossings typical of the $\mathbb{Z}_2$-symmetric quantum Rabi model are recovered, however, without any obvious parity-like symmetry. This unknown "symmetry" has thus been referred to as hidden symmetry in the literature. Here we show that this hidden symmetry is not limited to the AQRM, but exists in various related light-matter interaction models with an asy…
The conceptual divide between classical physics and quantum mechanics has not been satisfactorily bridged as yet. The purpose of this paper is to show that such a bridge exists naturally in the Green-Wolf complex scalar representation of electromagnetic fields and its extension to massive fields. The quantum mechanical theory of radiation that follows from the the Green-Wolf representation is applied to the cosmic microwave background radiation (CMBR) regarded as a universal medium, and the implications are explored.
Neural network quantum states (NQS) have been widely applied to spin-1/2 systems where they have proven to be highly effective. The application to systems with larger on-site dimension, such as spin-1 or bosonic systems, has been explored less and predominantly using spin-1/2 Restricted Boltzmann Machines (RBMs) with a one-hot/unary encoding. Here we propose a more direct generalisation of RBMs for spin-1 that retains the key properties of the standard spin-1/2 RBM, specifically trivial product states representations, labelling freedom for the visible variables and gauge equivalence to the ten…
We develop a more accurate secular form for the Redfield non-secular master equation, which is insensitive to the choice of the basis. This completely solves the ambiguity on which basis should be used when the secular approximation of the Redfield master equation is applied.
The data of four recent experiments --- conducted in Delft, Vienna, Boulder, and Munich with the aim of refuting nonquantum hidden-variables alternatives to the quantum-mechanical description --- are evaluated from a Bayesian perspective of what constitutes evidence in statistical data. We find that each of the experiments provides strong, or very strong, evidence in favor of quantum mechanics and against the nonquantum alternatives. This Bayesian analysis supplements the previous non-Bayesian ones, which refuted the alternatives on the basis of small p-values, but could not support quantum me…
Entanglement exhibits universal behavior near the ground-state critical point where correlations are long-ranged and the thermodynamic entropy is vanishing. On the other hand, a quantum quench imparts extensive energy and results in a build-up of entropy, hence no critical behavior is expected at long times. In this work, we present a new paradigm in the quench dynamics of integrable spin chains which exhibit a ground-state order-disorder phase transition at a critical line. Specifically, we consider a quench along the critical line which displays a volume-law behavior of the entropy and expon…