Related papers: Classical vs. quantum satisfiability in linear con…
After formulating a no-go theorem for perfect quantum-classical hybrid systems, a new consistency requirement based on standard statistical considerations is noted. It is shown that such requirement is not fulfilled by the mean-field…
The existence of a classical limit describing interacting particles in a second-quantized theory of identical particles with bosonic symmetry is proved. This limit exists in addition to a previously established classical limit with a…
Replacing vector type of interaction of the Thirring-Wess model by the chiral type a new model is presented which is termed here as chiral Thirring-Wess model. Ambiguity parameters of regularization is so chosen that the model falls into…
The vast and complicated large-qubit state space forbids us to comprehensively capture the dynamics of modern quantum computers via classical simulations or quantum tomography. Recent progress in quantum learning theory prompts a crucial…
We consider the problems of determining the feasibility of a linear congruence, producing a solution to a linear congruence, and finding a spanning set for the nullspace of an integer matrix, where each problem is considered modulo an…
Certain classical statistical systems with strong local constraints are known to exhibit Coulomb phases, where long-range correlation functions have power-law forms. Continuous transitions from these into ordered phases cannot be described…
In the first part of the paper, we classify linear integrable (multi-dimensionally consistent) quad-equations on bipartite isoradial quad-graphs in $\mathbb C$, enjoying natural symmetries and the property that the restriction of their…
The issue of consistency is crucial in quantum gravity. It has recently been intensively addressed for effective symmetry-reduced models. In this article, we exhaustively study the anomaly freedom of effective loop quantum cosmology with…
Any satisfiability problem in conjunctive normal form can be solved in polynomial time by reducing it to a 3-sat formulation and transforming this to a Linear Complementarity problem (LCP) which is then solved as a linear program (LP). Any…
Many satisfiability modulo theories solvers implement a variant of the DPLL(T ) framework which separates theory-specific reasoning from reasoning on the propositional abstraction of the formula. Such solvers conclude that a formula is…
The global existence of classical solutions to strongly coupled parabolic systems is shown to be equivalent to the availability of an iterative scheme producing a sequence of solutions with uniform continuity in the BMO norms. Amann's…
It is an oft-cited fact that no quantum code can support a set of fault-tolerant logical gates that is both universal and transversal. This no-go theorem is generally responsible for the interest in alternative universality constructions…
Anomalies are renormalization group invariants that constrain the dynamics of quantum field theories. We show that certain anomalies for discrete global symmetries imply that the underlying theory either spontaneously breaks its generalized…
Hidden-variable models aim to reproduce the results of quantum theory and to satisfy our classical intuition. Their refutation is usually based on deriving predictions that are different from those of quantum mechanics. Here instead we…
We demonstrate exciting similarities between classical and quantum many body systems whose microscopic dynamics are composed of non-reciprocal three-site facilitated exclusion processes. We show that the quantum analogue of the classical…
We examine whether metrological resolution beyond coherent states is a nonclassical effect. We show that this is true for linear detection schemes but false for nonlinear schemes, and propose a very simple experimental setup to test it. We…
Quantum theory demands that, in contrast to classical physics, not all properties can be simultaneously well defined. The Heisenberg Uncertainty Principle is a manifestation of this fact. Another important corollary arises that there can be…
This paper considers the problem of testing whether there exists a non-negative solution to a possibly under-determined system of linear equations with known coefficients. This hypothesis testing problem arises naturally in a number of…
We study the concepts of compatibility and separability and their implications for quantum and classical systems. These concepts are illustrated on a macroscopic model for the singlet state of a quantum system of two entangled spin 1/2 with…
We propose a system of equations to describe the interaction of a quasiclassical variable $X$ with a set of quantum variables $x$ that goes beyond the usual mean field approximation. The idea is to regard the quantum system as continuously…