English
Related papers

Related papers: Automated generation of Kochen-Specker sets

200 papers

Kochen-Specker (KS) sets are key tools for proving some fundamental results in quantum theory and also have potential applications in quantum information processing. However, so far, their intrinsic complexity has prevented experimentalists…

Recent results show that Kochen-Specker (KS) sets of observables are fundamental to quantum information, computation, and foundations beyond previous expectations. Among KS sets, those that are unique up to unitary transformations (i.e.,…

Quantum Physics · Physics 2025-07-28 Stefan Trandafir , Adán Cabello

Fully revealing the mathmatical structure of quantum contextuality is a significant task, while some known contextuality theories are only applicable for rank-1 projectors. That is because they adopt the observable-based definitions. This…

Quantum Physics · Physics 2025-01-17 Songyi Liu , Yongjun Wang , Baoshan Wang , Yunyi Jia

The Kochen-Specker theorem states that a 3-dimensional complex Euclidean space admits a finite configuration of projective lines such that the corresponding quantum observables (the orthogonal projectors) cannot be assigned with 0 and 1…

Quantum Physics · Physics 2015-05-13 Artur Ruuge

This article delves into the concept of quantum contextuality, specifically focusing on proofs of the Kochen-Specker theorem obtained by assigning Pauli observables to hypergraph vertices satisfying a given commutation relation. The…

Quantum Physics · Physics 2025-08-27 Axel Muller , Alain Giorgetti

Contextuality is a key distinguishing feature between classical and quantum physics. It expresses a fundamental obstruction to describing quantum theory using classical concepts. In turn, when understood as a resource for quantum…

Quantum Physics · Physics 2025-01-17 Markus Frembs

A set of quantum measurements exhibits quantum contextuality when any consistent value assignment to the measurement outcomes leads to a contradiction with quantum theory. In the original Kochen-Specker-type of argument the measurement…

Quantum Physics · Physics 2022-07-25 Pascal Höhn , Zhen-Peng Xu , Matthias Kleinmann

Existing dialog datasets contain a sequence of utterances and responses without any explicit background knowledge associated with them. This has resulted in the development of models which treat conversation as a sequence-to-sequence…

Computation and Language · Computer Science 2018-09-24 Nikita Moghe , Siddhartha Arora , Suman Banerjee , Mitesh M. Khapra

Kochen-Specker theorem rules out the non-contextual assignment of values to physical magnitudes. Here we enrich the usual orthomodular structure of quantum mechanical propositions with modal operators. This enlargement allows to refer…

Quantum Physics · Physics 2009-11-13 Graciela Domenech , Hector Freytes , Christian de Ronde

We show that all possible 388 4-dim Kochen-Specker (KS) (vector) sets (of yes-no questions) with 18 through 23 vectors and 844 sets with 24 vectors all with component values from \{-1,0,1\} can be obtained by stripping vectors off a single…

Quantum Physics · Physics 2010-04-20 Mladen Pavicic , Norman D. Megill , Jean-Pierre Merlet

The Kochen-Specker (KS) theorem is a corner-stone result in the foundations of quantum mechanics describing the fundamental difference between quantum theory and classical non-contextual theories. Recently specific substructures termed…

Quantum Physics · Physics 2023-07-11 Yuan Liu , Ravishankar Ramanathan , Karol Horodecki , Monika Rosicka , Paweł Horodecki

Generative models, such as large language models or text-to-image diffusion models, can generate relevant responses to user-given queries. Response-based vector embeddings of generative models facilitate statistical analysis and inference…

Machine Learning · Statistics 2025-11-12 Aranyak Acharyya , Joshua Agterberg , Youngser Park , Carey E. Priebe

This research introduces a novel text generation model that combines BERT's semantic interpretation strengths with GPT-4's generative capabilities, establishing a high standard in generating coherent, contextually accurate language. Through…

Computation and Language · Computer Science 2024-11-20 Jiajing Chen , Shuo Wang , Zhen Qi , Zhenhong Zhang , Chihang Wang , Hongye Zheng

This paper presents an architecture for the generation of spoken monologues with contextually appropriate intonation. A two-tiered information structure representation is used in the high-level content planning and sentence planning stages…

cmp-lg · Computer Science 2008-02-03 Scott Prevost

Kochen-Specker (KS) vector systems are sets of vectors in R^3 with the property that it is impossible to assign 0s and 1s to the vectors in such a way that no two orthogonal vectors are assigned 0 and no three mutually orthogonal vectors…

Quantum Physics · Physics 2011-11-15 Felix Arends , Joel Ouaknine , Charles W. Wampler

Bipartite perfect quantum strategies (BPQSs) allow two players isolated from each other to win every trial of a nonlocal game. BPQSs have crucial roles in recent developments in quantum information and quantum computation. However, only few…

Quantum Physics · Physics 2025-07-28 Stefan Trandafir , Adán Cabello

We consider algebras underlying Hilbert spaces used by quantum information algorithms. We show how one can arrive at equations on such algebras which define n-dimensional Hilbert space subspaces which in turn can simulate quantum systems on…

Quantum Physics · Physics 2007-05-23 Mladen Pavicic

Many existing conversation models that are based on the encoder-decoder framework have focused on ways to make the encoder more complicated to enrich the context vectors so as to increase the diversity and informativeness of generated…

Computation and Language · Computer Science 2021-05-31 Bin Sun , Shaoxiong Feng , Yiwei Li , Jiamou Liu , Kan Li

It was presented by Cabello and Nakamura [A. Cabello, Phys. Rev. Lett. 90, 190401 (2003)], that the Kochen-Specker theorem applies to two dimensions if one uses Positive Operator-Valued Measures. We show that contextuality in their models…

Quantum Physics · Physics 2008-07-24 Andrzej Grudka , Pawel Kurzynski

We discuss two approaches to producing generalized parity proofs of the Kochen-Specker theorem. Such proofs use contexts of observables whose product is $I$ or $-I$; we call them constraints. In the first approach, one starts with a fixed…

Quantum Physics · Physics 2014-01-15 Petr Lisonek , Robert Raussendorf , Vijaykumar Singh