{"id":"cfaedf98-cfd1-4eda-9188-75f412ba40ee","arxiv_id":"2608.02403","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Pure-state-preserving, non-reversible affine maps on the CHSH no-signaling polytope generate PR-box entanglement from product states, and all 288 such entangling maps are classified.","lead":"This paper finds irreversible but pure-state-preserving transformations in a toy 'boxworld' theory that turn uncorrelated product states into Popescu–Rohrlich boxes—the strongest nonlocal correlations allowed by no-signaling. The result shows that generating entanglement need not be a reversible process in generalized probabilistic theories.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Central claim depends on unrestricted affine maps; physical status of the new 'dynamics' is not established.","rationale":"I read the paper in good faith: it makes a well-defined mathematical claim about affine maps on the CHSH no-signaling polytope, proves the construction, and provides a classification. The mathematics appears correct—Lemma 3's proof is rigorous, and the completeness proof's steps check out. The single most load-bearing concern is the physical interpretation of these affine maps as 'dynamics' that 'generate beyond-quantum entanglement.' This hinges on the no-restriction hypothesis for transformations, which the paper acknowledges in Footnote 22. The postselected circuit is not a deterministic GPT transformation, and the paper does not establish complete positivity or an alternative physical implementation. This concern does not invalidate the theorems—it conditions the title and abstract claims. The reader's verdict of CONDITIONAL is exactly right; my stress-test does not move it. I propose a concrete test—checking complete positivity on the maximal tensor product—to settle the physical status. If the maps fail CP, the paper should be reframed as a classification of affine maps rather than a demonstration of physical beyond-quantum dynamics.","tokens_in":15233,"tokens_out":21477,"duration_ms":220577,"concrete_test":"Take a representative map φ from Theorem 1 and test whether it is completely positive in the GPT sense: check whether φ⊗id is positive on the maximal tensor product P_NS ⊗ P_NS. Concretely, enumerate (or use linear programming on) the extreme points of the 4-party no-signaling polytope, apply φ⊗id, and verify that the image always lies in the valid state space. If any image is outside, φ is not a completely positive channel, undermining the 'dynamics' interpretation under standard axioms.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The mathematical construction is sound: Theorem 1 defines affine, pure-state-preserving maps that send every pure input to a PR box, and the completeness argument in End Matter is convincing. However, the leap from 'affine map on P_NS' to 'dynamics that generates beyond-quantum entanglement' is load-bearing and insecure. The paper explicitly adopts the no-restriction convention (Footnote 22) that every affine map P_NS → P_NS is an allowed transformation. Under the more standard GPT requirement that transformations be completely positive—or at least implementable without postselection—the 288 maps may not be physically allowed. The postselected circuit of Eq. (21) is a conditional operation, not a deterministic channel; discarding failures would mix the output, and the paper itself leaves the 'optimal implementation' open. Thus the headline claim of a 'first explicit mechanism for generating beyond-quantum entanglement' is conditional on a nonstandard convention. If all affine maps are allowed, the result stands as a classification theorem; if physical transformations must be CP/no-postselection, the physical interpretation fails until a deterministic implementation is provided.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper studies pure-state-preserving (PSP) affine maps on the CHSH no-signaling polytope P_NS, the state space of the simplest bipartite boxworld. The main result, Theorem 1, constructs, for any distinct output settings Z^(±), distinct input settings W^(1), W^(2), and sign σ, an affine map ϕ:P_NS→P_NS defined by Eqs. (14)–(15), and proves that every pure input state—in particular every deterministic product state—is mapped to a PR box with the product of output correlators equal to −1. Theorem 2 states the converse: every entangling PSP map that is not measure-and-prepare belongs to this 288-map family. The paper further classifies all 3032 PSP maps into reversible, constant, measure-and-prepare, disentangling, and entangling families, with proofs in the End Matter and Supplemental Material. It also presents a postselected classical circuit that conditionally realizes the entangling map and discusses the implications for the distinction between reversibility and pure-state preservation in generalized probabilistic theories.","tokens_in":15476,"tokens_out":21313,"duration_ms":218574,"significance":"The mathematical content is significant and, based on the referee's checks, sound. The Theorem 1 construction is elementary and fully verified: for pure inputs the output correlators are signs whose product is −1, which is the exact PR-box characterization. The completeness proof in the End Matter and Supplement is largely rigorous and establishes a complete taxonomy of PSP maps, going well beyond the no-go theorem of Gross et al. by showing that within the affine-map convention, irreversible pure-state-preserving maps can generate entanglement. The paper is commendably explicit about the counting of maps and provides the full list. The main caveat concerns the physical interpretation: the claim that these maps constitute 'dynamics' or a 'mechanism' depends on the no-restriction convention for allowed transformations (Footnote 22). The only explicit implementation is postselected. If the affine-map convention is accepted, the result is a clean structural theorem; if not, the physical significance is not yet established. This distinction should be made central in a revision.","major_comments":[{"comment":"The central claim—'first explicit mechanism for generating beyond-quantum entanglement'—is conditional on the no-restriction convention of Footnote 22, where every affine map P_NS→P_NS is declared an allowed transformation. This convention is not universally accepted; under the common requirement that physical transformations be completely positive or at least implementable as deterministic operations, the 288 maps of Theorem 1 are not shown to be physical. The only explicit realization, Eq. (21), is a postselected circuit with success probability 1/2, and the paper states that 'the optimal implementation remains unknown.' To make the headline claim commensurate with the evidence, the authors should either (i) provide a deterministic implementation or a physical-principle argument that all affine maps are allowed, or (ii) rewrite the abstract and introduction to state that the result is","section":"Abstract, Footnote 22, Eq. (21), Conclusions"}],"minor_comments":[{"comment":"The circuit diagram and the formula in Eq. (22) are difficult to parse; the expression for p̂' appears to have inconsistent arguments. Please clarify the notation or move the detailed derivation to the Supplemental Material.","section":"Postselected circuit realization, Eqs. (21)–(22)"},{"comment":"There is a typo in the displayed formula: 't/leftfootl⫯ne→c+dt' should read 't ↦ c + d t'.","section":"Supplemental Material, Eq. (S27)"},{"comment":"The paper lists 128 reversible maps but does not explicitly note that the 2208 measure-and-prepare maps can themselves be entangling when one prepared state is a PR box; this is worth stating to avoid confusion with Theorem 2's 'not measure-and-prepare' qualifier.","section":"End Matter, Comprehensive list of PSP maps"},{"comment":"The term 'entanglement' is defined as failure of local realism, which is standard in GPT literature, but since the abstract and title use 'beyond-quantum entanglement,' a sentence clarifying the operational notion of entanglement in P_NS would help the reader.","section":"Introduction and state-space definition"}],"recommendation":"major_revision","confidential_remarks":"The mathematical result appears correct and publishable; the main issue is framing. I expect the authors can address the physical-interpretation concern with a careful rewrite of the abstract and a detailed discussion of the no-restriction convention. The completeness proofs, including those in the Supplemental Material, seem sound, so no additional mathematical verification is needed."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The core result here is real and, within the paper's own declared framework, it checks out. The construction in Theorem 1 is elementary, explicit, and easy to verify by hand: for pure inputs, the four output correlators are signs whose product is -1, which is exactly the PR-box condition. The completeness argument in the End Matter is also convincing. I went through the Heisenberg-picture proof, and although the write-up is dense and one sublemma (Lemma 3) could use a bit more scaffolding in the main text, the Supplemental Material fills the gaps. You get a clean census: 288 non-measure-and-prepare entangling PSP maps, plus a complete list of all 3032 PSP maps. That is a genuinely new addition to the GPT literature, which until now only had no-go results for reversible dynamics and trivial replacement maps. The distinction they draw between reversibility and pure-state preservation is worth taking seriously, especially because in quantum theory the two are nearly conflated.\n\nThe soft spot is not the math but the interpretive leap. The paper defines allowed transformations as all affine maps from the state space to itself, and it flags this in a footnote as a dynamical analogue of the no-restriction hypothesis. Under that convention, their maps are valid dynamics and the headline claim follows. But if you require transformations to be completely positive, or to be implementable without postselection, the 288 maps may not be physically allowed. Their own postselected circuit is a conditional operation, not a deterministic channel; the success probability is 1/2, and discarding failures would mix the output. They openly say the optimal implementation is unknown. So the phrase \"first explicit mechanism for generating beyond-quantum entanglement\" is true only if you buy the unrestricted-affine-maps convention. That is a legitimate convention in parts of the GPT literature, but it is not the only one, and the paper would be stronger if it stated more plainly that the physical status of these maps is convention-dependent.\n\nMy overall take: this is a competent, honest piece of work. The authors are clear about their assumptions, they do not overclaim in the technical sections, and the classification is a solid contribution for people working on the structure of no-signaling polytopes and GPT dynamics. If you are interested in what pure-state preservation means outside quantum theory, this is worth your time. I would send it to a serious referee. The referee should push on the operational implementability question and on whether the no-restriction convention is doing more work than the authors admit, but the main theorem should survive that scrutiny.","headline":"Solid classification theorem for pure-state-preserving maps on the CHSH polytope, with the physical 'dynamics' claim honestly conditioned on the no-restriction convention the authors declare.","tokens_in":15923,"tokens_out":803,"would_cite":true,"duration_ms":10182,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"In the simplest boxworld, irreversible pure-state-preserving maps turn every product pure state into a Popescu–Rohrlich box, and the paper classifies all such maps.","keywords":["boxworld","Popescu-Rohrlich box","pure-state preservation","entanglement generation","no-signaling polytope","generalized probabilistic theories","CHSH inequality","affine transformations"],"falsifier":"Check complete positivity of one of the 288 constructed maps in a GPT process representation; if any map fails, the interpretation as physical dynamics collapses. Alternatively, search for an entangling pure-state-preserving affine map on the CHSH no-signaling polytope that is not among the 288 — the completeness theorem (Theorem 2) asserts none exists.","tokens_in":15151,"feed_emoji":"📦","tokens_out":9120,"duration_ms":84858,"temperature":0.7,"pith_summary":"Entanglement generation was thought to be impossible in boxworld, a generalized probabilistic theory whose state space includes Popescu–Rohrlich (PR) boxes with correlations stronger than any quantum state, because earlier work showed that every reversible dynamics in this theory is trivial. This paper shows that the obstruction is reversibility, not pure-state preservation. It constructs 288 affine transformations of the no-signaling polytope that map every pure state — in particular every uncorrelated deterministic product state — to a PR box, and proves these are exactly the entangling pure-state-preserving maps that are not measure-and-prepare. These transformations are irreversible yet preserve purity, so they generate beyond-quantum entanglement without any mixing. The paper also gives a postselected classical circuit that implements the maps on encoded inputs, and a complete classification of all pure-state-preserving maps on the polytope (3032 in total).","feed_headline":"Irreversible maps turn product states into PR boxes","feed_subtitle":"Pure-state-preserving dynamics can create maximally nonlocal PR-box correlations from uncorrelated inputs.","key_machinery":"The proof rests on a Heisenberg-picture lemma: for any pure-state-preserving affine map, each output correlator φ†C_Z is either the constant ±1 or a signed input correlator ±C_W. The lemma is proved by averaging (O(p)−1)(O(p)+1)=0 over the sixteen deterministic vertices and the eight PR vertices of the polytope; orthogonality of the coordinate functions under these averages kills all local-marginal terms, leaving only constants and correlations. With this, the completeness argument places the four output correlators in a 2×2 matrix indexed by the output settings; when two distinct input correlators appear in adjacent entries, the positivity conditions force every pure input to map to a PR bo","core_discovery":"The central discovery is a family of affine maps whose output correlators are signed copies of two input correlators, arranged so that on every pure input state the product of the four output correlators is −1. Because a state of the CHSH no-signaling polytope is pure exactly when all its correlators are signs, this forces every pure input — including every deterministic product state — to a PR box. The maps are demonstrably not measure-and-prepare: the output depends on two distinct input correlators, not one. The completeness theorem pins down the necessity of this pattern: any entangling pure-state-preserving map that is not measure-and-prepare must belong to this 288-element family. The","pith_inferences":["Under more restrictive transformation axioms — for example, requiring complete positivity or forbidding postselection — the 288 maps may not be valid dynamics; in that case the paper's contribution would be a structural theorem about the polytope rather than a demonstration of physically realizable beyond-quantum entanglement.","The postselected circuit suggests a straightforward check: implement the circuit on a classical computer for all sixteen deterministic input boxes and confirm that the retained outputs are always PR boxes; if a single input yields a different pure state, the construction would fail.","The rigidity found here is for the bipartite CHSH scenario; in multipartite boxworld the state space contains genuinely multipartite extremal boxes, and whether pure-state-preserving dynamics can reach them from product states is an open question that the paper leaves to future work.","Read broadly, the reversibility/pure-state-preservation split offers a new lens on why quantum dynamics are reversible: if supraquantum correlations are to be dynamically inaccessible, a principle enforcing reversibility as a requirement on allowed transformations is a candidate explanation."],"forward_implications":["Entanglement generation in boxworld requires no mixing: deterministic product states can be driven to PR boxes by irreversible, pure-state-preserving dynamics.","The earlier no-go for reversible dynamics is sharpened: the obstruction is specifically reversibility, and pure-state preservation alone does not prevent entanglement generation.","Reversibility and pure-state preservation — two hallmarks of unitary dynamics that coincide in finite-dimensional quantum theory — come apart in boxworld, making the distinction physically meaningful.","The entangling maps are not abstract: a postselected classical circuit with success probability 1/2 simulates the entire map on an encoded representation of any input state.","The complete classification of pure-state-preserving maps (3032 in total) provides a clean target for future physical principles: any principle that rules out the 288 entangling maps must constrain the allowed transformations, not just the state space."],"fun_headline_variants":["Pure-state-preserving maps turn product states into PR boxes","Irreversible maps unlock PR-box entanglement from pure inputs","Beyond-quantum entanglement via pure-state maps","PR boxes generated from product states without mixing","Sign-based affine maps force PR boxes from pure states"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The paper assumes that every affine map from the no-signaling polytope to itself counts as an allowed dynamical transformation; if legitimate transformations must instead be completely positive or implementable without postselection, the constructed maps may not be physically realizable and the claim of a mechanism for generating beyond-quantum entanglement would not follow.","fun_headline_variants_meta":{"raw":{"variants":["Pure-state-preserving maps turn product states into PR boxes","Irreversible maps unlock PR-box entanglement from pure inputs","Beyond-quantum entanglement via pure-state maps","PR boxes generated from product states without mixing","Sign-based affine maps force PR boxes from pure states"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000837,"raw_usage":{"total_tokens":3448,"prompt_tokens":669,"completion_tokens":2779,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":413,"completion_tokens_details":{"reasoning_tokens":2704}},"tokens_in":413,"tokens_out":2779,"duration_ms":24038,"temperature":1.0,"reasoning_tokens":2704,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-04T07:55:11.804806+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Check complete positivity of one of the 288 constructed maps in a GPT process representation; if any map fails, the interpretation as physical dynamics collapses. Alternatively, search for an entangling pure-state-preserving affine map on the CHSH no-signaling polytope that is not among the 288 — the completeness theorem (Theorem 2) asserts none exists.","supporting_citations":[],"review_version":1}