Related papers: A constructive commutative quantum Lovasz Local Le…
We analyze the emergence of a minimal length for a large class of generalized commutation relations, preserving commutation of the position operators and translation invariance as well as rotation invariance (in dimension higher than one).…
Assume that $X$ is a Banach space of measurable functions for which Koml\'os' Theorem holds. We associate to any closed convex bounded subset $C$ of $X$ a coefficient $t(C)$ which attains its minimum value when $C$ is closed for the…
Simulating physical systems on near-term quantum computers often requires preparing states within constrained subspaces, like those with fixed particle number or spin. We use Lie algebraic techniques to prove that hardware-efficient gates…
From Ref. [Phys. Rev. Lett. 80(1998)4999] one knows that the quantum states secretly chosen from a certain set can be probabilistically cloned with positive cloning efficiencies if and only if all the states in the set are linearly…
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 introduce a coinductive version of the well-foundedness of N that is used in our proof within minimal logic of the constructive counterpart CLNP to the standard least number principle LNP. According to CLNP, an inhabited complemented…
We study the problem of sampling an approximately uniformly random satisfying assignment for atomic constraint satisfaction problems i.e. where each constraint is violated by only one assignment to its variables. Let $p$ denote the maximum…
This paper completes a previous work by constructing a class of positive-energy relativistic spatial localization observables in Minkowski spacetime within quantum field theory, using the stress-energy-momentum tensor smeared with suitable…
We generalise the notion of coherent states to arbitrary Lie algebras by making an analogy with the GNS construction in $C^*$-algebras. The method is illustrated with examples of semisimple and non-semisimple finite dimensional Lie algebras…
Determining the physical Hilbert space is often considered the most difficult but crucial part of completing the quantization of a constrained system. In such a situation it can be more economical to use effective constraint methods, which…
A generalized scheme for the construction of coherent states in the context of position-dependent effective mass systems has been presented. This formalism is based on the ladder operators and associated algebra of the system which are…
We prove numerically and by dualities the existence of modulated, commensurate and incommensurate states of topological quantum matter in simple systems of parafermions, motivated by recent proposals for the realization of such systems in…
According to mathematical constructivism, a mathematical object can exist only if there is a way to compute (or "construct") it; so, what is non-computable is non-constructive. In the example of the quantum model, whose Fock states are…
We introduce a realist, unextravagant interpretation of quantum theory that builds on the existing physical structure of the theory and allows experiments to have definite outcomes, but leaves the theory's basic dynamical content…
We propose the task of local state marking (LSM), where some multipartite quantum states chosen randomly from a known set of states are distributed among spatially separated parties without revealing the identities of the individual states.…
We show that every three-dimensional subspace of qutrit-qudit complex or real systems has a distinguishable basis under one-way local operations and classical communication (LOCC). In particular this solves an open problem proposed in [J.…
The main purpose of thispaper is to show that composite quantum-like (QL) systems can closely mimic the separable states of quantum systems, and that suitable physical systems exhibiting these states exist. It is shown that QL graphs can…
We define a general formulation of quantum PCPs, which captures adaptivity and multiple unentangled provers, and give a detailed construction of the quantum reduction to a local Hamiltonian with a constant promise gap. The reduction turns…
We formulate and prove the local twist version of the Yamanaka-Oshikawa-Affleck theorem, an extension of the Lieb-Schultz-Mattis theorem, for one-dimensional systems of quantum particles or spins. We can treat almost any translationally…
A Markovian wave function collapse model is presented where the collapse-inducing operator, constructed from quantum fields, is a manifestly covariant generalization of the mass density operator utilized in the nonrelativistic Continuous…