{"id":"a8d7248d-5fcf-46bb-84dd-271ff676668f","arxiv_id":"2501.07812","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The Qudit Cirq library adds qudit gate implementations, circuit building, and simulation to Google's Cirq, and this paper is its usage guide.","lead":"This paper documents a software library, Qudit Cirq, that extends Google's Cirq simulator to qudits, the d-level generalization of qubits. It offers code examples for creating qudits, applying gates, building circuits, and simulating them, aiming at researchers who want an off-the-shelf qudit simulation tool.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The paper's own GHZ example output and phase-gate formula are internally inconsistent, so the claim that the library implements the gates as described is unsupported without a runnable check.","rationale":"The paper is a software tutorial, so its central claim is about the library's existence and behavior. The strongest evidence for that claim would be runnable code and matching outputs. The manuscript instead contains at least one output (Example 1) that is inconsistent with the GHZ state it claims to prepare, a phase-gate formula that is malformed as typeset, and a CZ code block that imports the wrong gate. These are internal contradictions, not differences from external consensus, so they directly undermine the 'as described' part of the claim. I am not asserting the library is fraudulent or nonexistent; I am asserting that the paper as written does not demonstrate that the library works, and the errors suggest the text was not produced by executing the shown code. The reader's weakest assumption ('library exists and implementations are correct, but no verification') is close, but the specific evidence of internal inconsistency is a stronger and more actionable form of the same concern. The proposed check—running the exact Example 1 script against a pinned version of the library—would distinguish a documentation typo (outputs match theory but not the paper) from a real library bug (outputs match the paper's wrong values), and would give the authors a concrete fix. In a tutorial, correctness of examples is load-bearing, so a conditional acceptance requiring this verification and correction is appropriate.","tokens_in":5776,"tokens_out":6361,"duration_ms":61399,"concrete_test":"Download or install the library from the provided URL (recording the exact commit hash), run the exact Example 1 script from §7 with repetitions=10, and compare the measured outcomes to the paper's printed `2201011100` strings and to the GHZ distribution. Independently, print `quditPhaseGate(d).matrix()` for d=3 and d=4 and compare to the Section 3 formula using ω=e^{2πi/d}; if either check fails, the paper's description does not match the library, and the authors must correct the text or the gate definitions.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim—that Qudit Cirq provides ready-to-use, correct qudit gates—depends on the paper's examples and formulas being accurate. That condition is already violated in the text. Example 1 (GHZ preparation) prints `result=2201011100, 2201011100, 2201011100` for three qutrits. A GHZ state (|000>+|111>+|222>)/√3 must yield measurement outcomes with all three qutrits equal on every run; the printed string is not of that form and is inconsistent with the same section's state-vector output. Section 3's phase gate formula is garbled (`ωsps`pdq{2`) and for even d the exponent is non-integral, so the definition is unusable as written. The CZ example imports `quditPhaseGate` while using `quditCZGate`, and the extended `create_circuit` example references an undefined `quditTGate` with d=5,6 despite the U8 gate requiring prime dimension. These are not merely typos: they show the paper was not checked against the library, so the assertion that the library implements the stated gates 'as described' is unsupported. Without a versioned release or a reproducible test, the reader cannot tell whether the code or the paper is wrong.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This manuscript is a tutorial and user guide for \"Qudit Cirq\", an extension of Google's Cirq for qudit systems. It describes how to create qudits with cirq.LineQid, presents implementations of qudit X, Z, Hadamard, CNOT, phase (S), controlled-Z, and prime-dimension U_{pi/8} gates, explains two circuit-construction methods (manual and create_circuit), covers measurement and simulation, lists utility functions, and reports a performance benchmark. Two GHZ-state examples are given as end-to-end illustrations. The intended contribution is an off-the-shelf library that researchers familiar with Cirq can use to simulate qudit circuits.","tokens_in":5998,"tokens_out":8503,"duration_ms":82543,"significance":"The contribution is primarily practical: if the library is real, correct, and reproducible, it fills a gap in the Cirq ecosystem and provides a convenient starting point for qudit simulation. A notable strength is that the gate definitions are attributed to published sources (Howard and Vala; Jafarzadeh et al.; Wang et al.), and the tutorial includes explicit code snippets and expected outputs. However, the entire value of the manuscript depends on the accuracy and reproducibility of those snippets. As written, several formulas, import statements, and outputs are internally inconsistent, and no versioned release, installation instructions, or executable verification is provided. These issues are fixable, but they currently prevent the reader from verifying the central claim that the library implements the gates \"as described\".","major_comments":[{"comment":"The definition of the S gate is garbled in the typeset text: the formula appears as \"S|s> = ωsps`pdq{2|s>\" and the parameter p_d is never defined. As printed, the expression cannot be evaluated unambiguously, and if the intended exponent is s(s+d)/2, the exponent is not integral for even d, so the convention for the root of unity matters. Because this gate is advertised as a generator of the qudit Clifford group, this is a load-bearing definition that must be stated cleanly.","section":"§3, qudit S Gate"},{"comment":"The code block under \"Qudit Controlled-Z Gate\" imports quditPhaseGate but instantiates quditCZGate, while the surrounding text says \"Create a qudit Phase gate for dimension d=5\". The snippet therefore cannot be executed as printed and does not match the section heading. The import and the instantiated gate must be made consistent.","section":"§3, qudit Controlled-Z Gate"},{"comment":"The extended create_circuit example references quditTGate for dimensions 5 and 6, but the paper never defines a quditTGate; the only pi/8-type gate presented is quditU8Gate, which the text explicitly restricts to prime dimensions. Dimension 6 is not prime. Either the library contains a separate quditTGate that should be documented, or the example is wrong; as printed it is not reproducible.","section":"§4, Extended Usage of create_circuit"},{"comment":"The printed measurement output \"result=2201011100, 2201011100, 2201011100\" is not a standard Cirq Result representation for a single measurement key applied to three qutrits, and the text does not explain how the three comma-separated strings map to qutrits and repetitions. If the strings are intended to be per-qutrit outcome sequences, they are consistent with GHZ correlations, but this interpretation must be stated explicitly. As printed, the example is ambiguous and cannot be checked against the circuit shown, even though the accompanying state-vector output is correct.","section":"§7, Example 1"},{"comment":"The manuscript provides only a URL for the library and gives no installation instructions, versioned release identifier, commit hash, or test script. Because the central claim is that the library is ready-to-use and implements the gates as described, the reader cannot distinguish documentation errors from implementation errors or reproduce the examples. The revision should add a versioned release identifier, installation commands, and a minimal verification script that reproduces the stated outputs.","section":"General (reproducibility)"}],"minor_comments":[{"comment":"The abstract contains the typo \"curcuits\" and §8 contains \"Not suprisingly\"; please correct these.","section":"Abstract and §8"},{"comment":"The X-gate action X|s> = |s+1> and the CNOT action should state explicitly that addition is modulo d; otherwise the definitions are incomplete.","section":"§3, qudit X and CNOT definitions"},{"comment":"The prose says the function returns \"qudit order\" but the code uses qudit_order; please use a consistent name.","section":"§4, Method 2"},{"comment":"The qudit_measure gate is used in several examples but is never formally introduced; add a short definition or description of its behavior.","section":"§4 and §7"},{"comment":"The reference to \"the classic text from Chuang and Nielsen [2010]\" is incomplete and does not appear in the bibliography; please add the full citation.","section":"§3, U_{pi/8} gate"},{"comment":"The performance figure has no color scale or legend, and the admitted single-run methodology means it can only be interpreted as a qualitative trend; please add averaged timings with error bars and a labeled color scale, or explicitly label the figure as qualitative.","section":"§8, Figure"},{"comment":"Example 2 omits the import of create_circuit from qudit_cirq.circuit_builder (which is present in §4), and Example 1 uses printVector without showing its import; please add the missing imports so the snippets are self-contained.","section":"§7, Examples 1 and 2"}],"recommendation":"major_revision","confidential_remarks":"For the editor: this is essentially a software documentation manuscript. The intended contribution is useful, but the paper's own examples and code snippets contain several inconsistencies that prevent verification of the central claim, and no versioned artifact is provided. I consider these issues fixable through a careful revision that adds a reproducibility package and corrects the named sections, so I recommend major revision rather than rejection. The journal should also consider whether a tutorial format, with no new theoretical or experimental results, is within its scope."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nBottom line: this is a genuinely useful software tutorial with a real implementation behind it, but the paper as written has enough internal errors that I wouldn't trust it as documentation without a runnable check.\n\nWhat's new: the Qudit Cirq library itself, an extension of Cirq for qudits, with standard gates (X, Z, H, CNOT, phase, CZ, U8), a circuit builder, and simulator integration. The GHZ state-vector example is correct, and the code snippets are mostly consistent with Cirq's API. The authors also acknowledge QuForge and MQT Qudits, so they're not over-claiming novelty.\n\nSoft spots: several. The phase gate formula in Section 3 is garbled (`omega s(s+d)/2` with an undefined p_d), so it's unusable as written. More seriously, Example 1's measurement output (`result=2201011100, ...`) doesn't match the GHZ state: with three qutrits in a GHZ state, every measurement must give identical outcomes across qutrits, and the printed strings look like they belong to a different measurement grouping. The state-vector output is correct, which suggests the measurement output is a copy/paste mistake, but it's exactly the kind of thing that undermines confidence. The CZ example imports `quditPhaseGate` while calling `quditCZGate`, and the extended `create_circuit` example references undefined `quditTGate` with d=5,6, including a non-prime dimension. These are not just typos; they suggest the paper was never checked against the library.\n\nThe benchmark is admitted to be single-run, so it's illustrative at best. No versioned release or commit hash is given, so I can't independently verify the library from the paper alone.\n\nOverall: the core idea is sound and the library likely works, but the paper needs careful revision before I'd use it as a reference. For a software paper, this level of sloppiness is fixable.\n\nRecommendation: send it to peer review if the editors want to invest in a software contribution. The authors need to fix the errors and provide a reproducible artifact (versioned release, tests). If the library checks out, it's a useful resource for a niche audience. If not, the paper is just a buggy tutorial.","headline":"Useful library tutorial undone by internal errors that suggest the paper was never checked against the code.","tokens_in":6511,"tokens_out":3147,"would_cite":false,"duration_ms":30594,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"The Qudit Cirq library supplies ready-to-use qudit gates, circuits, and simulation as a thin extension to Cirq.","keywords":["qudits","quantum simulation","quantum gates","high-dimensional quantum computing","GHZ state","quantum software library","circuit simulation"],"falsifier":"Run the published three-qudit GHZ example in dimension 3 and check that the simulated state vector equals $(|000\\rangle+|111\\rangle+|222\\rangle)/\\sqrt{3}$ to numerical precision and that all measurement strings are equal; any deviation would show the gate implementations are not as claimed.","tokens_in":5554,"feed_emoji":"⚛️","tokens_out":8023,"duration_ms":74981,"temperature":0.7,"pith_summary":"The paper presents the Qudit Cirq library, an extension of the Cirq quantum-programming library that supplies ready-to-use building blocks for qudit quantum computation. It implements the qudit versions of common gates — X, Z, Hadamard, CNOT, phase, controlled-Z, and a prime-dimension analog of the π/8 gate — plus helpers for constructing circuits, measuring, and printing state vectors. The intended payoff is practical: a researcher who already works with Cirq can simulate d-level quantum systems without implementing qudit gates by hand. The paper backs this up with end-to-end examples that prepare qudit GHZ states and a short benchmark showing which combinations of dimension d and number of qudits n finish within a one-minute laptop budget.","feed_headline":"Ready-made qudit gates for high-dimensional quantum simulation","feed_subtitle":"An extension to Cirq lets researchers build and simulate d-level quantum circuits with common gates, out of the box.","key_machinery":"The load-bearing mechanism is the wrapper layer that maps qudit gate specifications onto Cirq's qudit-aware primitives. Cirq's Qid and LineQid abstractions already permit d-dimensional systems; the library fills in the gate definitions — with $\\omega = e^{2\\pi i/d}$ and the phase gate $S|s\\rangle = \\omega^{s(s+p_d)/2}|s\\rangle$, where $p_d=1$ for odd $d$ and $0$ otherwise — and a circuit-builder helper that accepts tuples of a gate type and qudit names. For the $U_{\\pi/8}$ gate the implementation follows a known construction for prime dimensions. The same abstraction lets users run measurement and simulation through Cirq's existing simulation engine.","core_discovery":"The central claim of the paper is that a thin library layer can make Cirq a complete working environment for qudit simulation. The library represents each qudit as a d-dimensional Qid object, defines gates by their action on the computational basis — for example $X|s\\rangle = |s+1\\rangle$, $Z|s\\rangle = \\omega^s|s\\rangle$, and the corresponding multi-qudit controlled operations — and lets those gates be appended to ordinary Cirq circuits and simulated with Cirq's simulator. The paper reports that this works for the included examples, including a three-qudit, dimension-three GHZ state whose final state vector matches $(|000\\rangle+|111\\rangle+|222\\rangle)/\\sqrt{3}$. The contribution is an implementation and tutorial, not a new theoretical result about qudits.","pith_inferences":["The paper does not itself prove the gate implementations are correct; a natural next check is to verify each gate's unitary matrix against the stated basis action for small dimensions, then test random circuits against a dense-matrix state-vector simulator.","Because the gate set includes Clifford generators plus a prime-dimension non-Clifford gate, the library could serve as a testbed for qudit randomized benchmarking or magic-state experiments, though those applications are not demonstrated here.","The reported benchmarks use one random circuit per dimension-and-qudit-count point; averaging over multiple random circuits would give a more reliable runtime envelope and would be a natural extension of the paper."],"forward_implications":["A researcher familiar with Cirq can go from importing the library to simulating qudit circuits without writing custom gate classes.","The enclosed GHZ examples demonstrate that entangled multi-qudit states and their measurement statistics are reproducible with the library's tools.","The benchmark gives a rough laptop-scale envelope for the library: for a fixed one-minute time limit, the maximum number of qudits decreases as the dimension increases.","Including a prime-dimension $U_{\\pi/8}$ gate means the library can be used to explore qudit versions of Clifford-plus-T style circuits."],"supporting_citations":[{"why":"supplies the GHZ-state circuit construction used in the end-to-end examples and an introduction to qudit systems.","marker":"[1]"},{"why":"provides the explicit construction that the paper follows for the prime-dimension $U_{\\pi/8}$ gate.","marker":"[3]"},{"why":"supports the claim that the phase and controlled-Z gates are generators of the qudit Clifford group.","marker":"[4]"},{"why":"is cited as the source for the qudit Hadamard gate definition.","marker":"[6]"}],"fun_headline_variants":["Qudit simulation made easy with Cirq extension","Simulate d-level quantum circuits with ready-made gates","Qudit gates out of the box for Cirq users","High-dimensional quantum simulation: now ready to use","Cirq gets qudit support with built-in gates and circuits"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the library's code is available and its gate implementations behave exactly as the tutorial claims; the paper provides no versioned release, installation command, or independent check of the code.","fun_headline_variants_meta":{"raw":{"variants":["Qudit simulation made easy with Cirq extension","Simulate d-level quantum circuits with ready-made gates","Qudit gates out of the box for Cirq users","High-dimensional quantum simulation: now ready to use","Cirq gets qudit support with built-in gates and circuits"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000296,"raw_usage":{"total_tokens":1645,"prompt_tokens":801,"completion_tokens":844,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":417,"completion_tokens_details":{"reasoning_tokens":765}},"tokens_in":417,"tokens_out":844,"duration_ms":7695,"temperature":1.0,"reasoning_tokens":765,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T20:34:28.095850+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Run the published three-qudit GHZ example in dimension 3 and check that the simulated state vector equals $(|000\\rangle+|111\\rangle+|222\\rangle)/\\sqrt{3}$ to numerical precision and that all measurement strings are equal; any deviation would show the gate implementations are not as claimed.","supporting_citations":[{"cited_title":"Efficient Fault-Tolerant Quantum Protocol for Differential Privacy in the Shuffle Model","cited_arxiv_id":"2409.04026","evidence_quote":"supplies the GHZ-state circuit construction used in the end-to-end examples and an introduction to qudit systems."},{"cited_title":"Qudit versions of the qubitπ/8 gate","cited_arxiv_id":null,"evidence_quote":"provides the explicit construction that the paper follows for the prime-dimension $U_{\\pi/8}$ gate."},{"cited_title":"Randomized benchmarking for qudit clifford gates","cited_arxiv_id":null,"evidence_quote":"supports the claim that the phase and controlled-Z gates are generators of the qudit Clifford group."},{"cited_title":"Qudits and high-dimensional quantum computing","cited_arxiv_id":null,"evidence_quote":"is cited as the source for the qudit Hadamard gate definition."}],"review_version":1}