Pith. sign in

REVIEW 1 cited by

On product, generic and random generic quantum satisfiability

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 0910.2058 v2 pith:S5RBAXCV submitted 2009-10-12 quant-ph cond-mat.stat-mechcs.CC

On product, generic and random generic quantum satisfiability

classification quant-ph cond-mat.stat-mechcs.CC
keywords satisfiabilitygenericquantumproductprojectorsrandomresultscriterion
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
Share X Bluesky LinkedIn Reddit HN
read the original abstract

We report a cluster of results on k-QSAT, the problem of quantum satisfiability for k-qubit projectors which generalizes classical satisfiability with k-bit clauses to the quantum setting. First we define the NP-complete problem of product satisfiability and give a geometrical criterion for deciding when a QSAT interaction graph is product satisfiable with positive probability. We show that the same criterion suffices to establish quantum satisfiability for all projectors. Second, we apply these results to the random graph ensemble with generic projectors and obtain improved lower bounds on the location of the SAT--unSAT transition. Third, we present numerical results on random, generic satisfiability which provide estimates for the location of the transition for k=3 and k=4 and mild evidence for the existence of a phase which is satisfiable by entangled states alone.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. A Slice-Rank Drift Bound for Random Quantum \(k\)-SAT

    quant-ph 2026-07 accept novelty 7.0

    Random quantum k-SAT is unsatisfiable above density α⋆(k)∼2^k/k, improving the prior O(2^k) upper bound by a factor of order k, with α⋆(3)≈1.947.