{"id":"27d21af4-caa1-47f1-a940-73c332e578f1","arxiv_id":"2506.10185","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":1.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A comprehensive review of symmetric multipartite quantum states, covering their mathematical structure, entanglement and nonlocality, verification, metrology uses, quantum error correction, and experimental generation.","lead":"Symmetric quantum states, which are unchanged when particles are swapped, are surveyed across their theory, certification, applications, and experimental platforms. The review organizes a large literature and points to open problems, but several key recent claims rest on not-yet-published works by the authors themselves.","discovery_kind":"review","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Central 'recent progress' claims about qudit DS separability rely on unpublished author results (Romero-Pallejà et al., a and b) that cannot be audited; the review should mark them as unverified or release proofs.","rationale":"The reader's headline claim is that the review's description of the current state of the art is accurate. The least secure part of that description is the set of separability results cited only to private communications and in-preparation papers by the same group. Sections III.A.2 and VII use [Romero-Pallejà et al., a] to assert that for multipartite qudit diagonal symmetric states positivity under the largest partition implies positivity under every partition, and [Romero-Pallejà et al., b] to assert a complete characterization of two-qutrit symmetric PPT-entangled edge states. These are not standard citations: one is explicitly 'Private Communication, 2025,' the other 'In preparation,' and neither proof is available. Because the review presents them as established, a reader cannot distinguish audited results from claims under development. A conditional verdict is therefore right; the review should either release the underlying proofs, add a clearly marked 'unpublished' caveat when invoking them, or weaken those specific statements. Secondary issue: Eqs. (8)-(9) as written fail to normalize correctly when summing over all group elements; e.g., Eq. (8) with N=3 and k=1 yields norm 2 rather than 1. This should be corrected, but it is less central than the unverifiable citations.","tokens_in":57425,"tokens_out":5642,"duration_ms":68493,"concrete_test":"Ask the authors to release the proofs or preprints behind [Romero-Pallejà et al., a] and [Romero-Pallejà et al., b], or to mark them explicitly as unverified in the review. Independently of that, test the largest-partition claim numerically: for N=3 qudits with d=3, generate a large random sample of diagonal symmetric states and check whether every state whose partial transpose over the 1:2 partition is positive also has positive partial transpose over the other partitions; a single counterexample invalidates the claimed reduction. For the two-qutrit edge-state characterization, check Eq. (19) against random PPT symmetric two-qutrit edge states found by semidefinite programming.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section III.A.2 and the concluding Section VII base two key state-of-the-art statements on works by the same authors that are not publicly available. First, [Romero-Pallejà et al., a], listed as 'Private Communication, 2025,' is used to assert 'strong analytical and numerical evidence' that for multipartite qudit diagonal symmetric states positivity under the largest partition implies positivity under all partitions, and to justify a map from multipartite DS separability to bipartite symmetric states. Second, [Romero-Pallejà et al., b], listed as 'In preparation,' is used to claim a complete characterization of two-qutrit symmetric PPT-entangled edge states, including the structural form in Eq. (19) and the rank condition (5,7). If either unpublished result is incorrect or changes, the review's claim that the PPT-entangled symmetric-state problem is now well characterized loses its support; the same holds for the open-problem framing that depends on these results. The manuscript does not flag these citations as unverified or as weaker than peer-reviewed results, so the reader cannot tell which parts of the 'recent progress' narrative are settled. This is a verifiability and correctness-risk concern concentrated at the exact point the central claim is most novel.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper is a broad review of symmetric quantum states, covering their representation-theoretic structure, entanglement and nonlocality properties, certification and verification techniques, applications in metrology, quantum error correction, communication and computation, and experimental platforms ranging from cold atoms to superconducting circuits. It argues that symmetric states are now well understood theoretically, are either separable or genuinely multipartite entangled, are particularly useful for metrology, and are routinely produced in the laboratory, and it concludes with a list of open problems.","tokens_in":57693,"tokens_out":9894,"duration_ms":116098,"significance":"If the underlying claims are correct, this review would be a useful and fairly comprehensive resource for the quantum information community. Its pedagogical presentation of Schur-Weyl duality, the completely-positive/copositive cone correspondence for diagonal symmetric states, permutationally invariant tomography, spin-squeezing witnesses, and the experimental survey are generally faithful to the published literature. The main strength is the breadth of synthesis, including very recent developments. The main risk is that several of the most novel 'recent progress' statements rest on private communications and an in-preparation manuscript by the review authors themselves, which the reader cannot independently audit; those claims need to be either made publicly available or explicitly labeled as unpublished/conjectural.","major_comments":[{"comment":"The two most novel state-of-the-art claims in the entanglement part are not independently checkable. First, the assertion that for multipartite qudit diagonal symmetric states positivity under the largest partition implies positivity under all partitions is attributed to [Romero-Pallejà et al., a], listed as 'Private Communication, 2025'. Second, the claimed complete characterization of two-qutrit symmetric PPT-entangled edge states, including the structural form in Eq. (19) and the rank condition (5,7), is attributed to [Romero-Pallejà et al., b], listed as 'In preparation'. Both references are by the review authors. Since neither document is publicly available, the reader cannot distinguish established results from unpublished claims, and the open-problem framing in Section VII inherits the same uncertainty. Please either replace these citations with published or arXiv-accessible works, include the proofs in an appendix, or explicitly mark the statements as unverified/unpublished results and conjectures in the main text.","section":"III.A.2, Eq. (19); VII"},{"comment":"The normalization of the symmetrized and Dicke states is inconsistent with the stated sum over all permutations. For example, for N=3 and k=1, Eq. (8) with C(3,1)=3 gives |D^3_1> = (2/sqrt(3))(|001>+|010>+|100>), whose norm is 2 rather than 1. The correct prefactor for a sum over all N! permutations is [N! k_0! ... k_{d-1}!]^{-1/2}, or alternatively the sum must be restricted to the distinct basis terms. The same issue appears in Eq. (2). Since the Dicke basis is used throughout Sections III-V, this normalization error should be corrected.","section":"II, Eqs. (2), (8)-(10)"}],"minor_comments":[{"comment":"The normalization condition is written as sum_{i=0}^{N-1} q_ii = 1, but it should run over i=0 to N for an N-qubit Dicke basis.","section":"III.A.1, Eq. (15)"},{"comment":"The caption states that the circuit prepares the Dicke state |D^3_2> of N=2 qubits with k=3 excitations; this should presumably read N=3 qubits with k=2 excitations.","section":"VI.F, Figure 8 caption"},{"comment":"The citation [Gulati et al.] is ambiguous: the reference list contains both a 'Private Communication, 2025' and an arXiv preprint [Gulati et al., 2025] with different coauthor lists. Please disambiguate which source supports the three-qutrit DS PPTES claim and which supports the d<=5 characterization, and state explicitly that the latter is an arXiv preprint rather than a peer-reviewed publication.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The review's most novel claims are supported by the authors' own private communication and in-preparation manuscripts, which is a serious verifiability issue for a review article. I would ask the editor to require that these results be made publicly available or clearly downgraded to conjectures before publication. The normalization error in the Dicke-state definition is also worth fixing at the proof stage."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Read the Marconi et al. review. The short version: it is a genuinely useful pedagogical survey of symmetric quantum states, but the sections that claim the most recent progress on qudit diagonal symmetric separability lean on two unpublished references from the same group, and that should be flagged before anyone treats those sections as settled.\n\nWhat it does well: the organization is clear; the CP-cone correspondence for two-qudit DS states is explained accurately; the metrology and experimental platforms are covered in an up-to-date way; and the references are representative. Someone entering the field will get a good map.\n\nThe soft spots are confined. First, the normalization in Eqs. (8)-(9) is off as written: summing over all N! permutations overcounts each distinct product state, so the factor sqrt(C(N,k)) is only correct if the sum is over distinct permutations. This is minor and standard, but it will confuse careful readers. Second, and more substantive, Sections III.A.2 and VII rely on Romero-Pallejà et al. (a) (Private Communication) and (b) (In preparation) for the existence of three-qutrit DS PPTES and for the complete characterization of two-qutrit symmetric PPT-entangled edge states. The review also uses a Gulati et al. private communication for an example. These are load-bearing for the 'recent progress' narrative. The bibliography does label them as private/in preparation, but the main text presents them with the same confidence as published results. The authors should mark them as unverified, or better, make the proofs public.\n\nThe review's central structural claim — symmetric states are either fully separable or genuinely multipartite entangled — is standard and correct. The open problem discussion is balanced. There are no invented equations or data in the parts I checked.\n\nWho the paper is for: graduate students and non-specialists wanting a broad overview. It deserves a serious referee: the scope justifies it, and the issues I raise are fixable by revision. I would send it out rather than desk reject it.","headline":"Useful pedagogical review of symmetric states, but the 'recent progress' claims on qudit DS separability rely on unpublished author references and should be marked provisional.","tokens_in":58148,"tokens_out":4126,"would_cite":true,"duration_ms":46542,"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":"This review argues that permutation-symmetric quantum states form a well-understood resource class: they are either fully separable or genuinely multipartite entangled, they saturate quantum precision limits, and the remaining open…","keywords":["symmetric quantum states","permutationally invariant states","Dicke states","multipartite entanglement","quantum metrology","entanglement witnesses","completely positive matrices","quantum state verification"],"falsifier":"A concrete way to test the load-bearing claim is to search numerically for a diagonal symmetric state of $N\\ge 3$ qudits with local dimension $d\\ge 3$ that is positive under partial transposition for the largest partition but negative for some other partition; finding one would falsify the claimed largest-partition criterion. Independently, a two-qutrit symmetric edge PPT-entangled state that cannot be written in the form of Eq. (19) would falsify the claimed complete characterization.","tokens_in":57258,"feed_emoji":"⚛️","tokens_out":11947,"duration_ms":124128,"temperature":0.7,"pith_summary":"Permutation-symmetric quantum states are multipartite states left unchanged when the particles are exchanged. This review argues that the symmetry is not a limitation but a resource: the symmetric subspace has a compact representation-theoretic structure, symmetric states are either fully separable or genuinely multipartite entangled, and they are the states that reach the Heisenberg precision limit in interferometric sensing. The review also contends that this theoretical clarity carries through to practice, with Dicke states prepared and certified in cold atoms, trapped ions, photonic circuits, and superconducting chips, and that the open questions that matter are the general characterization of PPT-entangled symmetric states and the status of the PPT2 conjecture. If the paper is right, the symmetric-state toolbox is one of the few places in quantum information where theory, verification, and experiment already line up.","feed_headline":"Symmetric states are all-or-nothing on entanglement","feed_subtitle":"Permutation invariance leaves only two entanglement extremes, and the entangled branch reaches the quantum precision limit.","key_machinery":"Three mechanisms carry the argument. The first is the representation-theoretic decomposition of $(\\mathbb{C}^d)^{\\otimes N}$ into sectors $H_\\lambda\\otimes K_\\lambda$ given by Schur-Weyl duality, whose maximal-spin sector is spanned by the Dicke states, the balanced superpositions of all permutations of $k$ excitations among $N$ parties; this is what makes symmetric-state entanglement questions tractable. The second is the isomorphism between a two-qudit diagonal symmetric state $\\rho_{DS}$ and a reduced matrix $M_d(\\rho_{DS})$ whose complete positivity is equivalent to separability, together with the dual correspondence between copositive matrices and entanglement witnesses on the symmetric subspace. The third is the quantum Fisher information framework, where the bound $F_Q[\\rho_K,J_z]\\le KN$ for $K$-producible states makes the Heisenberg limit a certificate of genuine multipartite entanglement.","core_discovery":"The paper's central claim, stated on its own terms, is that permutation symmetry compresses the multipartite entanglement problem without sacrificing its useful content. In the symmetric subspace of $(\\mathbb{C}^d)^{\\otimes N}$, Schur-Weyl duality leaves a single dominant sector $J=N/2$ spanned by Dicke states, and within that sector entanglement collapses to a dichotomy: a symmetric state is either fully separable or genuinely multipartite entangled, with no intermediate entanglement depth. For diagonal symmetric qubit states, positivity under partial transposition is necessary and sufficient for separability, and checking the largest partition $\\lfloor N/2\\rfloor:\\lceil N/2\\rceil$ suffices; for two-qudit diagonal symmetric states, separability is decided by complete positivity of the reduced matrix $M_d(\\rho_{DS})$, with PPT-entangled examples appearing exactly when the completely positive cone differs from the doubly nonnegative cone at $d\\ge 5$. On the metrological side, the review claims that symmetric states are maximally useful: random symmetric pure states typically reach Heisenberg scaling, and the quantum Fisher information bound $F_Q[\\rho_K,J_z]\\le KN$ converts metrological usefulness into an entanglement witness. The experimental sections then claim that these states are routinely generated across many platforms, making the theoretical characterization directly testable.","pith_inferences":["If the largest-partition positivity criterion for qudit diagonal symmetric states is confirmed, multipartite separability checks in this class reduce to a single bipartite PPT check, which would make numerical certification practical for systems currently out of reach.","The copositive-cone link suggests a targeted route to the PPT2 conjecture: look for a symmetric, non-diagonal state whose associated map composes two PPT channels into an entanglement-breaking one, or prove that none exists.","The fully-separable-or-GME dichotomy implies that tasks needing intermediate entanglement depth will generally require breaking exact symmetry, which points to partially permutationally invariant states as the natural resource for those tasks."],"forward_implications":["For $N$-qubit diagonal symmetric states, the separability problem is closed: PPT with respect to the largest partition decides separability, so no bound-entangled states hide in that subspace.","For two-qudit diagonal symmetric states, separability is exactly the complete-positivity problem for a matrix of dimension $d$; the PPT criterion is sufficient for $d\\le 4$, and the first PPT-entangled examples appear at $d=5$.","Symmetric states generically provide Heisenberg scaling in phase estimation, so metrological advantage is a typical property of the symmetric subspace rather than a fine-tuned one.","Dicke states can be verified with $O(N\\epsilon^{-1}\\log\\delta^{-1})$ copies in an adaptive test, and permutation-invariant tomography requires only $O(N^2)$ measurement settings.","Permutation-invariant (gnu) codes built from Dicke superpositions correct $t$ Pauli errors and reduce to GKP-like behavior in the large-$n$ limit, giving concrete quantum error correction uses."],"supporting_citations":[{"why":"Introduces Dicke states and the collective-spin model that anchors the symmetric subspace.","marker":"Dicke, 1954"},{"why":"Proves that symmetric states are either fully separable or genuinely multipartite entangled.","marker":"Ichikawa et al., 2008"},{"why":"Gives the first proof that PPT is sufficient for separability of diagonal symmetric qubit states.","marker":"Yu, 2016"},{"why":"Independently proves the same PPT-separability equivalence and shows that PPT states can still be nonlocal.","marker":"Quesada et al., 2017"},{"why":"Establishes the complete-positivity correspondence that decides separability of two-qudit diagonal symmetric states.","marker":"Tura et al., 2018"},{"why":"Supports the claimed generalization that positivity under the largest partition implies positivity under all partitions for qudit diagonal symmetric states.","marker":"Romero-Pallejà et al., a"},{"why":"Provides the claimed complete characterization of two-qutrit symmetric edge PPT-entangled states.","marker":"Romero-Pallejà et al., b"},{"why":"Proves the quantum Fisher information bound $F_Q[\\rho_K,J_z]\\le KN$ linking metrology to entanglement depth.","marker":"Hyllus et al., 2012"},{"why":"Independently derives the same quantum Fisher information bound for $K$-producible states.","marker":"Tóth, 2012"},{"why":"Shows that random symmetric pure states typically achieve Heisenberg scaling, underpinning the metrological claim.","marker":"Oszmaniec et al., 2016"}],"fun_headline_variants":["Symmetric states: entangled or separable, no middle ground","Permutation symmetry makes entanglement all-or-nothing","Symmetric states simplify to binary entanglement","Symmetric states reach Heisenberg scaling","Symmetric states: robust entanglement for quantum tasks"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The review's narrative of recent progress rests on two results that the authors themselves describe as private communication or in preparation: the claim that for high-dimensional diagonal symmetric states positivity under the largest partition implies positivity under every partition, and the claimed complete characterization of two-qutrit symmetric edge PPT-entangled states; if either result fails, the recent-progress story loses support.","fun_headline_variants_meta":{"raw":{"variants":["Symmetric states: entangled or separable, no middle ground","Permutation symmetry makes entanglement all-or-nothing","Symmetric states simplify to binary entanglement","Symmetric states reach Heisenberg scaling","Symmetric states: robust entanglement for quantum tasks"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00074,"raw_usage":{"total_tokens":3368,"prompt_tokens":1073,"completion_tokens":2295,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":689,"completion_tokens_details":{"reasoning_tokens":2226}},"tokens_in":689,"tokens_out":2295,"duration_ms":18903,"temperature":1.0,"reasoning_tokens":2226,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T04:31:54.476729+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A concrete way to test the load-bearing claim is to search numerically for a diagonal symmetric state of $N\\ge 3$ qudits with local dimension $d\\ge 3$ that is positive under partial transposition for the largest partition but negative for some other partition; finding one would falsify the claimed largest-partition criterion. Independently, a two-qutrit symmetric edge PPT-entangled state that cannot be written in the form of Eq. (19) would falsify the claimed complete characterization.","supporting_citations":[],"review_version":1}