All posts under category "Quantum Physics / Quant-Ph"
We revise our 'Physical Traces' paper in the light of the results in 'A Categorical Semantics of Quantum Protocols'. The key fact is that the notion of a strongly compact closed category allows abstract notions of adjoint, bipartite projector and inner product to be defined, and their key properties
The quantum logical and quantum information-theoretic traditions have exerted an especially powerful influence on Bub's thinking about the conceptual foundations of quantum mechanics. This paper discusses both the quantum logical and information-theoretic traditions from the point of view of their r
This paper considers the application of integral Linear Quadratic Gaussian (LQG) optimal control theory to a problem of cavity locking in quantum optics. The cavity locking problem involves controlling the error between the laser frequency and the resonant frequency of the cavity. A model for the ca
Recently, IBM, Google, and Intel showcased quantum computers ranging from 49 to 72 qubits. While these systems represent a significant milestone in the advancement of quantum computing, existing and near-term quantum computers are not yet large enough to fully support quantum error-correction. Such
In a previous publication we proposed discrete global optimization as a method to train a strong binary classifier constructed as a thresholded sum over weak classifiers. Our motivation was to cast the training of a classifier into a format amenable to solution by the quantum adiabatic algorithm. Ap
In this note, we show that quantum lower bounds obtained using the adversary method hold in the Hamiltonian oracle model.
We demonstrate that, if a truncated expansion of a wave function is small, then the standard excited states computational method, of optimizing one root of a secular equation, may lead to an incorrect wave function - despite the correct energy according to the theorem of Hylleraas, Undheim and McDon
This paper analyzes the relationship between initialization error and recall of a specific memory in the Grover algorithm for quantum database search. It is shown that the correct memory is obtained with high probability even when the initial state is far removed from the correct one. The analysis i
Any functor from the category of C*-algebras to the category of locales that assigns to each commutative C*-algebra its Gelfand spectrum must be trivial on algebras of nxn-matrices for n at least 3. The same obstruction applies to the Zariski, Stone, and Pierce spectra. The possibility of spectra in
In this note we address the question of whether any any quantum computational model that allows adaptive measurements can be simulated by a model that allows postselected measurements. We argue in the favor of this question and prove that adaptive measurements can be simulated by postselection. We a
An extension to computational mechanics complexity measure is proposed in order to tackle quantum states complexity quantification. The method is applicable to any $n-$partite state of qudits through some simple modifications. A Werner state was considered to test this approach. The results show tha
This note presents a quantum protocol for private information retrieval, in the single-server case and with information-theoretical privacy, that has O(sqrt{n})-qubit communication complexity, where n denotes the size of the database. In comparison, it is known that any classical protocol must use O
We show that the space of density matrices for n-qubit states, considered as a (2^n)^2 dimensional real vector space, has a basis consisting of density matrices of stabilizer states. We describe an application of this result to automated verification of quantum protocols.
This note is a friendly technical check of Jeffrey Bub's There is No Quantum World (arXiv:2512.18400v2). I flag one unambiguous mathematical slip (a cardinality identity that implicitly assumes the Continuum Hypothesis) and then point out a few places where the discussion of infinite tensor product
Another way to put it is that if you take the case of an orthogonal space, those mappings of this space on itself, which leave orthogonality intact, leave all angles intact, in other words, in those systems which can be used as models of the logical background for quantum theory, it is true that as
We report a direct demonstration of quantum-enhanced sensing in the Fourier domain by comparing single- and two-photon interference in a fiber-based interferometer under strictly identical noise conditions. The simultaneous acquisition of both signals provides a common-mode reference that enables a
The celebrated Heisenberg Uncertainty Principle Delta x Delta pge hbar/2 can allow measurement accuracies less than Delta x or Delta p. Classical analog of this is known as sub-Fourier sensitivity. We illustrate this phenomenon in a step by step process using the example of compass state, as suggest
This article presents a review of the current state of the art in the research field of cold and ultracold molecules. It serves as an introduction to the Special Issue of the New Journal of Physics on Cold and Ultracold Molecules and describes new prospects for fundamental research and technological
Proving the quantum Hamming bound for degenerate nonbinary stabilizer codes has been an open problem for a decade. In this note, I prove this bound for double error-correcting degenerate stabilizer codes. Also, I compute the maximum length of single and double error-correcting MDS stabilizer codes o
We consider a system of three identical bosons near a Feshbach resonance in the universal regime with large scattering length usually described by model independent zero-range potentials. We employ the adiabatic hyperspherical approximation and derive the rigorous large-distance equation for the adi
We describe an effective landscape introduced in [1] for the analysis of Constraint Satisfaction problems, such as Sphere Packing, K-SAT and Graph Coloring. This geometric construction reexpresses these problems in the more familiar terms of optimization in rugged energy landscapes. In particular, i
We show how to protect a stream of quantum information from decoherence induced by a noisy quantum communication channel. We exploit preshared entanglement and a convolutional coding structure to develop a theory of entanglement-assisted quantum convolutional coding. Our construction produces a Cald
The entropic formulation of the inertia and the gravity relies on quantum, geometrical and informational arguments. The fact that the results are completly classical is missleading. In this paper we argue that the entropic formulation provides new insights into the quantum nature of the inertia and
This paper gives the first separation of quantum and classical pure (i.e., non-cryptographic) computing abilities with no restriction on the amount of available computing resources, by considering the exact solvability of a celebrated unsolvable problem in classical distributed computing, the ``lead
The Code Equivalence problem is that of determining whether two given linear codes are equivalent to each other up to a permutation of the coordinates. This problem has a direct reduction to a nonabelian hidden subgroup problem (HSP), suggesting a possible quantum algorithm analogous to Shor's algor
The theory of open quantum systems served as a tool to prepare entanglement at the beginning stage of quantum technology and more recently provides an important tool for state preparation. Dynamics given by time dependent Lindbladians are Markovian and lead to decoherence, decay of correlation and c
In a recent letter [Information Processing Letters~104 (2007) 152-158], it has shown some sufficient conditions for commutativity of quantum weakest preconditions. This paper provides some alternative and simple characterizations for the commutativity of quantum weakest preconditions, i.e., Theorem
By assuming that a particle of energy hbar.omega is actually a dissipative system maintained in a nonequilibrium steady state by a constant throughput of energy (heat flow), the exact Schroedinger equation is derived, both for conservative and nonconservative systems. Thereby, only universal propert
Energy consumption is becoming a serious bottleneck for integrating quantum technologies within the existing global information infrastructure. In photonic architectures, considerable energy overheads stem from using lasers, whose high coherence was long considered indispensable for quantum state pr
The Quantum Decision Theory, developed recently by the authors, is applied to clarify the role of risk and uncertainty in decision making and in particular in relation to the phenomenon of dynamic inconsistency. By formulating this notion in precise mathematical terms, we distinguish three types of
The theory of matchgates is of interest in various areas in physics and computer science. Matchgates occur in e.g. the study of fermions and spin chains, in the theory of holographic algorithms and in several recent works in quantum computation. In this paper we completely characterize the class of
Pattern recognition is a central topic in Learning Theory with numerous applications such as voice and text recognition, image analysis, computer diagnosis. The statistical set-up in classification is the following: we are given an i.i.d. training set $(X_{1},Y_{1}),... (X_{n},Y_{n})$ where $X_{i}$
We report on the measurement of four-body recombination rate coefficients in an atomic gas. Our results obtained with an ultracold sample of cesium atoms at negative scattering lengths show a resonant enhancement of losses and provide strong evidence for the existence of a pair of four-body states,
Energy transfer (relaxation) phenomena are ubiquitous in nature. At a macroscopic level, the phenomenological theory of heat (Fourier law) successfully describes heat transfer and energy flow. However, its microscopic origin is still under debate. This is because the phenomena can contain many-body,
The problem Hamiltonian of the adiabatic quantum algorithm for the maximum-weight independent set problem (MIS) that is based on the reduction to the Ising problem (as described in [Choi08]) has flexible parameters. We show that by choosing the parameters appropriately in the problem Hamiltonian (wi
Cramer's (1986) transactional interpretation of quantum mechanics posits retrocausal influences in quantum processes in an attempt to alleviate some of the interpretational difficulties of the Copenhagen interpretation. In response to Cramer's theory, Maudlin (2002) has levelled a significant object
One of the most important questions in studying quantum computation is: whether a quantum computer can solve NP-complete problems more efficiently than a classical computer? In 2000, Farhi, et al. (Science, 292(5516):472--476, 2001) proposed the adiabatic quantum optimization (AQO), a paradigm that
In this article we present an analytic solution of the famous problem of diffraction and interference of electrons through one and two slits (for simplicity, only the one-dimensional case is considered). In addition to exact formulas, we exhibit various approximations of the electron distribution wh
It is not very well known that the philosopher Karl Popper has been one of the foremost critics of the orthodox interpretation of quantum physics for about six decades. This paper reconstructs in detail most of Popper's activities on foundations of quantum mechanics (FQM) in the period of 1950s and
We present a complete-quantum description of multi-particle Szilard engine which consists of a working substance and a Maxwell's demon. The demon is modeled as a multi-level quantum system with specific quantum control and the working substance consists of identical particles obeying Bose-Einstein o
Adiabatic quantum annealing is a paradigm of analog quantum computation, where a given computational job is converted to the task of finding the global minimum of some classical potential energy function and the search for the global potential minimum is performed by employing external kinetic quant
Two fundamental contributions to categorical quantum mechanics are presented. First, we generalize the CP-construction, that turns any dagger compact category into one with completely positive maps, to arbitrary dimension. Second, we axiomatize when a given category is the result of this constructio
While Quantum Information Science (QIS) is still in its infancy, the ability for quantum based hardware or computers to communicate and integrate with their classical counterparts will be a major requirement towards their success. Little attention however has been paid to this aspect of QIS. To mana
An intense effort is being made today to build a quantum computer. Instead of presenting what has been achieved, I invoke here analogies from the history of science in an attempt to glimpse what the future might hold. Quantum computing is possible in principle - there are no known laws of Nature tha
We study the quantum query complexity of minor-closed graph properties, which include such problems as determining whether an $n$-vertex graph is planar, is a forest, or does not contain a path of a given length. We show that most minor-closed properties---those that cannot be characterized by a fin
We recount the successful long career of classical physics, from Newton to Einstein, which was based on the philosophy of scientific realism. Special emphasis is given to the changing status and number of ontological entitities and arguments for their necessity at any time. Newton, initially, began
We study a model of communication complexity that encompasses many well-studied problems, including classical and quantum communication complexity, the complexity of simulating distributions arising from bipartite measurements of shared quantum states, and XOR games. In this model, Alice gets an inp
We review the definition and the concepts of the weak values and some measurement model to extract the weak value. This material is based on the author Ph.D. thesis 'Time in Weak Values and Discrete Time Quantum Walk' at Tokyo Institute of Technology (2011).
I make the case that the Universe according to unitary (no-collapse) quantum theory has a branching structure, and so can literally be regarded as a 'many-worlds' theory. These worlds are not part of the fundamental ontology of quantum theory - instead, they are to be understood as structures, or pa
Recently, Choi emph{et al}. proposed an assumption on Mayers-Lo-Chau (MLC) no-go theorem that the state of the entire quantum system is invariable to both participants before the unveiling phase. This means that the theorem is only applicable to static quantum bit commitment (QBC). This paper find t
Enter keywords to search articles