English
Related papers

Related papers: New Kochen-Specker Sets in Four Dimensions

200 papers

We introduce a new class of algorithms for finding a short vector in lattices defined by codes of co-dimension $k$ over $\mathbb{Z}_P^d$, where $P$ is prime. The co-dimension $1$ case is solved by exploiting the packing properties of the…

Cryptography and Security · Computer Science 2024-01-24 Robert Lin , Peter W. Shor

Kochen-Specker theorems assure the breakdown of certain types of non-contextual hidden variable theories through the non-existence of global, holistic frame functions; alas they do not allow us to identify where this breakdown occurs, nor…

Quantum Physics · Physics 2014-03-11 Alastair A. Abbott , Cristian S. Calude , Karl Svozil

Kent's conclusion that ``non-contextual hidden variable theories cannot be excluded by theoretical arguments of the Kochen-Specker type once the imprecision in real world experiments is taken into account'' [Phys. Rev. Lett. 83, 3755…

Quantum Physics · Physics 2007-05-23 Adan Cabello

GHZ paradoxes are presented for all even numbers of qubits from four up. They are obtained from proofs of the Kochen-Specker (KS) theorem by showing how the assumption of noncontextuality can be justified on the basis of locality. The…

Quantum Physics · Physics 2015-06-11 Mordecai Waegell , P. K. Aravind

The Kochen-Specker theorem is one of the fundamental no-go theorems in quantum theory. It has far-reaching consequences for all attempts trying to give an interpretation of the quantum formalism. In this work, we examine the hypotheses…

Quantum Physics · Physics 2021-03-12 J. Acacio de Barros , Juan Pablo Jorge , Federico Holik

Quantum contextuality, as proved by Kochen and Specker, and also by Bell, should manifest itself in any state in any system with more than two distinguishable states and recently has been experimentally verified on various physical systems.…

Quantum Physics · Physics 2015-05-30 Sixia Yu , C. H. Oh

G. Moreno's abstract depiction of the Sedenions' normed zero-divisors, as homomorphic to the exceptional Lie group G2, is fleshed out by exploring further structures the A-D-E approach of Lie algebraic taxonomy keeps hidden. A breakdown of…

General Mathematics · Mathematics 2007-05-23 Robert P. C. de Marrais

The NP-complete problem Feedback Vertex Set is that of deciding whether or not it is possible, for a given integer $k\geq 0$, to delete at most $k$ vertices from a given graph so that what remains is a forest. The variant in which the…

Data Structures and Algorithms · Computer Science 2017-08-01 Marthe Bonamy , Konrad K. Dabrowski , Carl Feghali , Matthew Johnson , Daniel Paulusma

The Kochen-Specker theorem is a fundamental result in quantum foundations that has spawned massive interest since its inception. We show that within every Kochen-Specker graph, there exist interesting subgraphs which we term $01$-gadgets,…

The existence of large sets of Kirkman triple systems (LKTSs) is one of the best-known open problems in combinatorial design theory. Steiner quadruple systems with resolvable derived designs (RDSQSs) play an important role in the recursive…

Combinatorics · Mathematics 2023-02-14 Yan Liu , Jianguo Lei

We present CS-FLEURS, a new dataset for developing and evaluating code-switched speech recognition and translation systems beyond high-resourced languages. CS-FLEURS consists of 4 test sets which cover in total 113 unique code-switched…

Given a graph $G$ and a parameter $k$, the Chordal Vertex Deletion (CVD) problem asks whether there exists a subset $U\subseteq V(G)$ of size at most $k$ that hits all induced cycles of size at least 4. The existence of a polynomial kernel…

Data Structures and Algorithms · Computer Science 2017-07-18 Akanksha Agrawal , Daniel Lokshtanov , Pranabendu Misra , Saket Saurabh , Meirav Zehavi

We describe an algorithm to enumerate polytopes. This algorithm is then implemented to give a complete classification of combinatorial spheres of dimension 3 with 9 vertices and decide polytopality of those spheres. In particular, we…

Metric Geometry · Mathematics 2018-04-19 Moritz Firsching

A comparison was made of vectors derived by using ordinary co-occurrence statistics from large text corpora and of vectors derived by measuring the inter-word distances in dictionary definitions. The precision of word sense disambiguation…

cmp-lg · Computer Science 2016-08-31 Yoshiki Niwa , Yoshihiko Nitta

Distributed word representations, or word vectors, have recently been applied to many tasks in natural language processing, leading to state-of-the-art performance. A key ingredient to the successful application of these representations is…

Computation and Language · Computer Science 2018-03-30 Edouard Grave , Piotr Bojanowski , Prakhar Gupta , Armand Joulin , Tomas Mikolov

Let $\mathcal{K}_n$ be the so-called wild Kronecker quiver, i.e., a quiver with one source and one sink and $n\geq 3$ arrows from the source to the sink. The following problems will be studied for an arbitrary regular component…

Representation Theory · Mathematics 2012-09-05 Bo Chen

In this note, we construct explicit SOS decomposition of A Fourth Order Four Dimensional Hankel Tensor with A Symmetric Generating Vector, at the critical value. This is a supplementary note to Paper [3].

Optimization and Control · Mathematics 2015-03-12 Yannan Chen , Liqun Qi , Qun Wang

A new theory-independent noncontextuality inequality is presented [Phys. Rev. Lett. 115, 110403 (2015)] based on Kochen-Specker (KS) set without imposing the assumption of determinism. By proposing novel noncontextuality inequalities, we…

Quantum Physics · Physics 2016-12-14 Zhen-Peng Xu , Debashis Saha , Hong-Yi Su , Marcin Pawlowski , Jing-Ling Chen

Via computer search, we found seven non-isomorphic $1$-rotational Steiner systems $S(2,6,226)$ and six point-transitive Steiner systems $S(2,6,441)$, resolving two of $29$ previously undecided cases for $S(2,6,v)$.

Combinatorics · Mathematics 2026-05-20 Taras Banakh , Ivan Hetman , Alex Ravsky

It is known that the problem of deleting at most k vertices to obtain a proper interval graph (Proper Interval Vertex Deletion) is fixed parameter tractable. However, whether the problem admits a polynomial kernel or not was open. Here, we…

Data Structures and Algorithms · Computer Science 2015-03-20 Fedor V. Fomin , Saket Saurabh , Yngve Villanger
‹ Prev 1 4 5 6 7 8 10 Next ›