Related papers: Quantum Merlin-Arthur and proofs without relative …
We investigate the structure of quantum proof systems by establishing collapse results that reveal simplifications in their complexity landscape. By extending classical theorems such as the Karp-Lipton theorem to quantum settings and…
We show that nonlinear resonances in a classically mixed phase space allow to define generic, strongly entangled multi-partite quantum states. The robustness of their multipartite entanglement increases with the particle number, i.e. in the…
We consider the minimal model program for varieties that are not Q-factorial. We show that, in many cases, its steps are simpler than expected. In particular, all flips are 1-complemented. The main applications are to log terminal…
Quantum resources, such as entanglement, can decrease the uncertainty of a parameter-estimation procedure beyond what is classically possible. This phenomenon is well described for noiseless systems with asymptotically many measurement…
Amplitudes are the major logical object in Quantum Theory. Despite this fact they presents no physical reality and in consequence only observables can be experimetally checked. We discuss the possibility of a theory of Quantum Probabilities…
We introduce a simple sub-universal quantum computing model, which we call the Hadamard-classical circuit with one-qubit (HC1Q) model. It consists of a classical reversible circuit sandwiched by two layers of Hadamard gates, and therefore…
By the method of intense terahertz laser spectroscopy, we provide strong evidence that if an integer quantum Hall (IQH) system has asymmetric confining potential and the external quantizing magnetic field has a nonzero in-plane component,…
A proof of quantumness is a type of challenge-response protocol in which a classical verifier can efficiently certify the quantum advantage of an untrusted prover. That is, a quantum prover can correctly answer the verifier's challenges and…
We present an alternative frequencists' proof of the quantum probability rule which does not make use of the frequency operator, with expectation that this can circumvent the recent criticism against the previous proofs which use it. We…
Entanglement-based attacks, which are subtle and powerful, are usually believed to render quantum bit commitment insecure. We point out that the no-go argument leading to this view implicitly assumes the evidence-of-commitment to be a…
A strong confluence result for Q*, a quantum lambda-calculus with measurements, is proved. More precisely, confluence is shown to hold both for finite and infinite computations. The technique used in the confluence proof is syntactical but…
On classical phase spaces admitting just one complex-differentiable structure, there is no indeterminacy in the choice of the creation operators that create quanta out of a given vacuum. In these cases the notion of a quantum is universal,…
We investigate the entanglement structure of the continuous multi-scale entanglement renormalization ansatz (cMERA) [Haegeman et al., Phys. Rev. Lett., 110, 100402 (2013)] for ground states of quantum field theories (QFTs). The cMERA,…
We present a generalization of quantum Stein's Lemma to the situation in which the alternative hypothesis is formed by a family of states, which can moreover be non-i.i.d.. We consider sets of states which satisfy a few natural properties,…
We consider quantum metrology in noisy environments, where the effect of noise and decoherence limits the achievable gain in precision by quantum entanglement. We show that by using tools from quantum error-correction this limitation can be…
Since the enlightening proofs of quantum contextuality first established by Kochen and Specker, and also by Bell, various simplified proofs have been constructed to exclude the non-contextual hidden variable theory of our nature at the…
We have made a variational analysis on an evolution of superconductivity from weak to strong coupling regime. In contrast to a crossover without thermodynamic anomaly found in a dilute system, we show the existence of a quantum phase…
We address quantum $M$-ary phase-shift keyed (PSK) communication channels in the presence of phase diffusion, and analyze the use of probabilistic noiseless linear amplifiers (NLA) to enhance performance of coherent signals. We consider…
We construct a quantum algorithm that creates the Laughlin state for an arbitrary number of particles $n$ in the case of filling fraction one. This quantum circuit is efficient since it only uses $n(n-1)/2$ local qudit gates and its depth…
A collapse-free version of quantum theory is examined to systematically study the role of the projection postulate. This foil theory assumes "passive" measurements that do not update quantum states although measurement outcomes still occur…