3,903 research outputs found
Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers
We prove decidability of univariate real algebra extended with predicates for
rational and integer powers, i.e., and . Our decision procedure combines computation over real algebraic
cells with the rational root theorem and witness construction via algebraic
number density arguments.Comment: To appear in CADE-25: 25th International Conference on Automated
Deduction, 2015. Proceedings to be published by Springer-Verla
Quantum logic is undecidable
We investigate the first-order theory of closed subspaces of complex Hilbert
spaces in the signature , where `' is the
orthogonality relation. Our main result is that already its quasi-identities
are undecidable: there is no algorithm to decide whether an implication between
equations and orthogonality relations implies another equation. This is a
corollary of a recent result of Slofstra in combinatorial group theory. It
follows upon reinterpreting that result in terms of the hypergraph approach to
quantum contextuality, for which it constitutes a proof of the inverse sandwich
conjecture. It can also be interpreted as stating that a certain quantum
satisfiability problem is undecidable.Comment: 11 pages. v3: improved exposition. v4: minor clarification
The inflation hierarchy and the polarization hierarchy are complete for the quantum bilocal scenario
It is a fundamental but difficult problem to characterize the set of
correlations that can be obtained by performing measurements on quantum
mechanical systems. The problem is particularly challenging when the
preparation procedure for the quantum states is assumed to comply with a given
causal structure. Recently, a first completeness result for this quantum causal
compatibility problem has been given, based on the so-called quantum inflation
technique. However, completeness was achieved by imposing additional technical
constraints, such as an upper bound on the Schmidt rank of the observables.
Here, we show that these complications are unnecessary in the quantum bilocal
scenario, a much-studied abstract model of entanglement swapping experiments.
We prove that the quantum inflation hierarchy is complete for the bilocal
scenario in the commuting observables model of locality. We also give a bilocal
version of an observation by Tsirelson, namely that in finite dimensions, the
commuting observables model and the tensor product model of locality coincide.
These results answer questions recently posed by Renou and Xu. Finally, we
point out that our techniques can be interpreted more generally as giving rise
to an SDP hierarchy that is complete for the problem of optimizing polynomial
functions in the states of operator algebras defined by generators and
relations. The completeness of this polarization hierarchy follows from a
quantum de Finetti theorem for states on maximal -tensor products.Comment: Presentation improved and inaccuracy in lemma 11 remove
Complete Additivity and Modal Incompleteness
In this paper, we tell a story about incompleteness in modal logic. The story
weaves together a paper of van Benthem, `Syntactic aspects of modal
incompleteness theorems,' and a longstanding open question: whether every
normal modal logic can be characterized by a class of completely additive modal
algebras, or as we call them, V-BAOs. Using a first-order reformulation of the
property of complete additivity, we prove that the modal logic that starred in
van Benthem's paper resolves the open question in the negative. In addition,
for the case of bimodal logic, we show that there is a naturally occurring
logic that is incomplete with respect to V-BAOs, namely the provability logic
GLB. We also show that even logics that are unsound with respect to such
algebras do not have to be more complex than the classical propositional
calculus. On the other hand, we observe that it is undecidable whether a
syntactically defined logic is V-complete. After these results, we generalize
the Blok Dichotomy to degrees of V-incompleteness. In the end, we return to van
Benthem's theme of syntactic aspects of modal incompleteness
- …