Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Generalized parity proofs of the Kochen-Specker theorem   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 set of constraints and methods of linear algebra are used to
produce subsets that are generalized parity proofs. Coding theory methods are
used for enumeration of the proofs by size. In the second approach, one starts
with the combinatorial structure of the set of constraints and one looks for
ways to suitably populate this structure with observables. As well, we are able
to show that many combinatorial structures can not produce parity proofs.

1
The categories of this paper are: cs
33
The categories of this paper are: plasm-ph
14
The categories of this paper are: math-ph
23
The categories of this paper are: solv-int
10
The categories of this paper are: q-bio
36
The categories of this paper are: cmp-lg
26
The categories of this paper are: bayes-an
17
The categories of this paper are: q-fin
25
The categories of this paper are: patt-sol
0
The categories of this paper are: hep-ph
4
The categories of this paper are: cond-mat
32
The categories of this paper are: atom-ph
30
The categories of this paper are: q-alg
15
The categories of this paper are: nucl-ex
27
The categories of this paper are: comp-gas
37
The categories of this paper are: supr-con