{"id":"119a938e-4823-4984-ab58-89dd4c540808","arxiv_id":"2508.03976","paper_version":1,"verdict":"CONDITIONAL","confidence":"LOW","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A parity-aware graphical calculus extends the ZX diagram language to fermionic modes, covering Gaussian states, partial traces, purification, fermionization/bosonization, and fermionic error-correcting codes.","lead":"Fermions are awkward to fit into the usual diagram systems used for quantum circuits because swapping two of them adds a minus sign. This paper lays out a set of diagram rules that carry that sign structure, turning fermionic many-body calculations into purely visual ones.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Central claim rests on parity-sign axioms in Section 2; with the full text unreadable, a single sign error in the fermionic SWAP/crossing rule would silently corrupt all applications.","rationale":"The reader's weakest_assumption identifies the same load-bearing concern: the correctness and completeness of the parity-twisted sign rules in the calculus's defining equations. My independent read, based on the abstract and the corrupted full text, reaches the same conclusion. The central claim is that diagrammatic manipulations reproduce fermionic anticommutation signs; this can only hold if the axioms in Section 2 are faithful to the parity-twisted superalgebra. The most vulnerable point is the fermionic SWAP/crossing rule, because a single missing or erroneous sign there would propagate through every proof in the paper. The full text being unreadable means no independent verification of the equations is possible from the provided material. This does not mean the paper is wrong; it means the correctness of the central claim is conditional on a successful sign-rule check. That aligns with the reader's CONDITIONAL verdict, so I recommend no change. My concrete test—verifying the defining equations against an explicit Majorana representation—directly targets the weakest assumption and would either confirm or refute the soundness of the sign conventions. I agree with the reader rather than partially or disagreeing because the concern is essentially identical, and I have not found a separate, more fundamental issue in the abstract or table of contents.","tokens_in":17698,"tokens_out":2708,"duration_ms":34755,"concrete_test":"Re-express every generator of the calculus as an explicit tensor in the standard fermionic Fock-space representation using Majorana operators (assign matrices to fermionic wires, qubit wires, and the fixed odd-parity state) and verify each defining equation from Section 2 as a matrix identity in a symbolic algebra system (e.g., SymPy or Mathematica). Specifically, check the fermionic crossing/SWAP rule: for two wires both in odd-parity states, swapping them must produce a factor -1 relative to the qubit SWAP, while even-odd and even-even crossings have no sign. If this identity fails, the calculus is unsound; if it passes, the sign axioms are at least internally consistent with standard fermionic physics. As a secondary check, use the verified generators to recompute one small application, e.g., the partial trace of a single Majorana mode from a two-mode Gaussian state, and compare the d","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central assertion is that the graphical calculus faithfully reproduces fermionic anticommutation signs. For this to be true, the defining generator set and tensor-network equations (Section 2) must exactly encode the parity-twisted superalgebra of fermionic modes. In particular, the rule for crossing/permuting fermionic wires must implement the fermionic SWAP sign: swapping two wires each carrying odd-parity states must introduce a relative phase -1 compared to the ordinary qubit SWAP, while crossings involving even-parity states carry no such sign. Every application in the paper—Gaussian states, partial traces of Majorana modes, purification, fermionization/bosonization maps, and fermionic code constructions—inherits all its phases from these axioms. If any sign convention in that equation set is wrong or incomplete, diagrammatic proofs would silently compute incorrect phases. The supplied full text is in a corrupted encoding, so the actual equations, figures, and derivations cannot be inspected. There is also no machine-checked verification or accompanying code. Consequently, the soundness of the central claim is entirely unverified. This is the standard burden for an axiomatic calculus, but it is the load-bearing assumption: a single sign error in the defining rules would invalidate the claim that the calculus 'extends the ZX calculus' for fermionic systems in a faithful way. The completeness of the generator set for the claimed applications is secondary; soundness of the sign conventions is primary and prior.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript proposes a graphical calculus for fermionic tensor networks, with indices including fermionic modes, qubits, and fixed odd-parity states. It claims to extend the ZX calculus and to enable purely diagrammatic computations for fermionic Gaussian states, partial traces of Majorana modes, purification protocols, fermionization and bosonization maps, and fermionic code constructions. The abstract is clear and the intended scope is substantial. However, the supplied full text is corrupted: equations, figures, and derivations are rendered as non-ASCII replacement glyphs, so the actual defining rules and the application derivations cannot be read or checked.","tokens_in":17902,"tokens_out":3934,"duration_ms":51754,"significance":"If correct, a fermionic graphical calculus that faithfully encodes anticommutation signs and extends the ZX calculus would be a useful contribution to tensor-network methods in quantum many-body physics and quantum information. The paper's axioms are not fitted to data and have no free parameters, which is a strength. The listed applications—Gaussian states, partial trace, purification, fermionization/bosonization, and quantum error-correcting codes—would demonstrate practical value. However, the central soundness claim, and especially the fermionic crossing/SWAP sign conventions, is entirely unverifiable from the supplied text. No machine-checked proofs or companion code are visible. The significance is therefore conditional on a readable and correct presentation of the defining equations.","major_comments":[{"comment":"The load-bearing content is the set of tensor-network equations defining the fermionic tensors, in particular the crossing rule that must implement the fermionic SWAP sign for pairs of odd-parity states. In the supplied PDF, Section 2 is unreadable: the equations appear as replacement glyphs, so I cannot check whether the relative phase -1 appears when two odd-parity wires are crossed, nor whether the generator set is complete for the targeted applications. Every later derivation inherits its phases from this section. The authors should provide a readable version with explicit sign conventions and, ideally, a standalone statement of the crossing rule and its derivation from the Majorana algebra.","section":"Section 2 (defining equations)"},{"comment":"The abstract claims applications to fermionic Gaussian states, partial traces of Majorana modes, purification, fermionization/bosonization, and fermionic codes. The corresponding derivations are not legible in the supplied text. I could not verify a single application-level equation or diagrammatic identity. The authors should ensure that all equations in Section 3 are readable and that at least one representative application—for example, the partial-trace rule or the purification protocol—is carried out explicitly enough to exhibit the sign handling.","section":"Section 3 (applications)"},{"comment":"The abstract states that the calculus 'can be used to perform various computations', but I found no explicit statement or proof of what the generator set is complete for. If completeness is claimed, it should be stated precisely and proved; if only a set of worked examples is claimed, the wording should be adjusted. This is secondary to soundness, but it matters for the paper's central assertion that the calculus 'extends the ZX calculus' in a usable way.","section":"General, claim of completeness"}],"minor_comments":[{"comment":"The PDF text is corrupted, with widespread non-ASCII replacement characters. This blocks all technical review. The manuscript should be regenerated with standard LaTeX fonts and correct encoding before resubmission.","section":"Full text / encoding"},{"comment":"The table of contents and references are also garbled in the supplied text, so I could not assess whether relevant prior work on ZX calculus and fermionic tensor networks is cited. Please ensure reference metadata is intact.","section":"References and numbering"}],"recommendation":"uncertain","confidential_remarks":"I cannot evaluate the technical content of this manuscript because the supplied PDF is unreadable. The central claim is plausible but completely unverified from the text. I recommend asking the authors to resubmit a properly encoded version before sending the paper for review; no judgment on the merits is possible at this stage."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nThe abstract announces something genuinely useful: a diagrammatic language that puts fermionic modes, qubit wires, and fixed odd-parity states into one ZX-style calculus, with concrete applications to Gaussian states, partial traces, purification, fermionization/bosonization, and fermionic codes. If the sign rules are right, this could serve as a common workbench for problems that currently live in separate literatures.\n\nWhat the paper does well: the generator set is sensible, the application list is ambitious but specific, and the axioms are presented as tensor-network equations that can in principle be checked. That is exactly the right way to build a calculus. The abstract is clear, and the table of contents suggests a real structure: definitions of the fermionic tensors, the rewrite equations, then the applications.\n\nThe soft spot is that we have not checked the equations. The supplied full text arrived in a corrupted encoding, so the actual figures, derivations, and sign conventions are unreadable. The entire framework hinges on the parity-twisted crossing rule in Section 2: swapping two odd-parity fermionic wires must introduce a -1 relative to the qubit crossing. One sign error there would silently corrupt every application, and there is no machine-checked proof or code to fall back on. This is not a flaw in the approach—it is the standard burden of any axiomatic calculus—but it is load-bearing. The completeness of the generator set for the listed tasks is a secondary, also unverified, question.\n\nThe circularity burden looks low: the calculus is definitional, and the applications are consistency checks rather than fitted predictions. The stress-test note correctly identifies where a referee should focus, but it does not land as a refutation of the paper's idea.\n\nThis paper is for researchers working on fermionic tensor networks, ZX calculus, fermionic codes, or many-body simulation who want a unified graphical toolkit. It deserves a serious referee. Send it to review with an explicit instruction to verify the crossing signs and to re-derive one or two of the applications from the axioms. My own willingness to cite it depends on that verification.","headline":"A coherent and useful-looking fermionic ZX-calculus, but the load-bearing sign axioms are exactly what we could not verify from the corrupt full text.","tokens_in":18480,"tokens_out":2437,"would_cite":false,"duration_ms":27467,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81P68"],"pacs":["03.67.-a"],"model":"deepseek-v4-flash","headline":"This paper introduces a graphical calculus of fermionic tensors that extends the ZX calculus, making fermionic many-body manipulations purely diagrammatic with anticommutation signs carried by the rewriting rules.","keywords":["graphical calculus","fermionic tensors","ZX calculus","Majorana modes","fermionic Gaussian states","tensor networks","fermionization","quantum error-correcting codes"],"falsifier":"Take the diagram for exchanging two odd-parity fermionic wires. Applying the calculus's swap rule twice must return the same diagram, and the single swap must produce exactly the standard exchange phase of two fermions. Also, compute the partial trace of a two-Majorana state by diagrams and compare with explicit matrix algebra; any mismatch in a global phase refutes the soundness of the equations.","tokens_in":17466,"feed_emoji":"📐","tokens_out":4964,"duration_ms":61406,"temperature":0.7,"pith_summary":"The paper aims to bring fermionic physics into the diagrammatic world of ZX calculus. It proposes a collection of fermionic tensor building blocks and tensor-network equations such that operations on fermionic states, partial traces, purifications, and bosonization maps can be derived by drawing and rewriting diagrams, with the awkward minus signs of anticommuting variables handled by the rules rather than by hand. If correct, standard fermionic computations become formal diagrammatic identities, and the same language covers both qubit-like and fermion-like systems. This matters because diagrammatic rewriting is compact, compositional, and well suited to automated or machine-checkable verification.","feed_headline":"A graphical calculus puts fermionic minus signs into diagrams","feed_subtitle":"ZX-style rewriting promises diagram-only proofs for Gaussian states, Majorana traces, purification, and fermionization.","key_machinery":"The central object is the collection of fermionic tensor generators together with their defining tensor-network equations. The load-bearing rule is the parity-twisted swap on wires carrying odd-parity fermionic states: moving one odd-parity wire past another introduces the sign $-1$, matching fermionic exchange statistics. All other equations—analogues of ZX spider, Hopf, bialgebra, and Frobenius identities—are chosen so that every diagram rewrite preserves that sign structure, which is what lets graphical proofs replace algebraic sign bookkeeping.","core_discovery":"The paper's central claim is that a modest set of fermionic tensor generators—wires carrying fermionic modes, qubits, and fixed odd-parity states—together with tensor-network equations suffices to express and manipulate fermionic physics entirely by diagrams. In this calculus, the usual chore of tracking phases from anticommuting operators is absorbed into the graph: crossing or merging odd-parity wires produces exactly the minus signs that fermionic algebra requires. The same equations reduce to ordinary ZX calculus when all wires are qubit-like, so qubit and fermion operations coexist in one language. Applications include fermionic Gaussian states, partial traces over Majorana modes, purif","pith_inferences":["We would push the calculus toward a rewriting system: if its equations are terminating and confluent, the language becomes a decision procedure for the class of fermionic identities it covers.","Because ZX calculus is tied to measurement-based quantum computing, this fermionic extension likely opens a diagrammatic route to fermionic measurement-based protocols, though the paper does not develop that application.","The odd-parity wires look like a categorical account of fermionic phases; one testable offshoot is to check whether the calculus captures the full fermionic linear-optical fragment, not just Gaussian states."],"forward_implications":["If the calculus is sound, every diagrammatic proof it supports is a valid fermionic identity, including Gaussian-state overlaps and expectation values.","Partial traces of Majorana-mode subsystems can be evaluated by local diagram rewrites rather than by expanding density matrices.","Purification protocols for fermionic states can be derived as graphical equalities, so the resulting purifications are correct by construction.","Fermionization and bosonization maps become expressible as diagrams, giving a single notational bridge between the two descriptions.","Fermionic code constructions become diagrammatic, extending the qubit ZX treatment to code states living on fermionic modes."],"supporting_citations":[],"fun_headline_variants":["Fermionic signs become diagram rewrites","Put fermion minus signs into diagrams","ZX calculus grows up: fermionic tensor rules","Graphical calculus tames fermionic antisymmetry","Diagram-only fermion predictions: signs built in"],"cache_read_input_tokens":2816,"weakest_assumption_plain":"The calculus is only as trustworthy as its axioms: if any defining tensor equation misencodes the fermionic anticommutation sign—particularly the $-1$ from swapping two odd-parity modes—every diagrammatic derivation built on it inherits wrong phases, and the claimed equivalence to fermionic physics fails.","fun_headline_variants_meta":{"raw":{"variants":["Fermionic signs become diagram rewrites","Put fermion minus signs into diagrams","ZX calculus grows up: fermionic tensor rules","Graphical calculus tames fermionic antisymmetry","Diagram-only fermion predictions: signs built in"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000298,"raw_usage":{"total_tokens":1496,"prompt_tokens":615,"completion_tokens":881,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":359,"completion_tokens_details":{"reasoning_tokens":826}},"tokens_in":359,"tokens_out":881,"duration_ms":10437,"temperature":1.0,"reasoning_tokens":826,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T00:58:44.456111+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take the diagram for exchanging two odd-parity fermionic wires. Applying the calculus's swap rule twice must return the same diagram, and the single swap must produce exactly the standard exchange phase of two fermions. Also, compute the partial trace of a two-Majorana state by diagrams and compare with explicit matrix algebra; any mismatch in a global phase refutes the soundness of the equations.","supporting_citations":[],"review_version":1}