{"id":"30ef6442-e50e-4e67-ab56-21aac8549739","arxiv_id":"2510.07278","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"By mapping Fock occupations to Schur labels via the Jordan-Schwinger homomorphism and applying an inverse quantum Schur transform, the paper constructs a first-quantized state-preparation protocol with poly(L,N,log d,log ε^{-1}) non-Clifford gates (best variant).","lead":"Initial-state preparation is a known bottleneck in first-quantized quantum simulation. This paper offers one universal routine that maps any small superposition of occupation-number states into the first-quantized form, covering fermions, bosons, and paraparticles in any basis, and gives resource estimates placing it near the cost of current simulation pipelines.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Paraparticle universality contradicted by Table S1: Fock state |1,1,1> maps to four distinct Schur states, so the claimed occupation-to-Schur bijection is not a function.","rationale":"The reader correctly identified the non-unique occupation-to-Schur mapping as the weakest assumption. Stress-testing it shows this is not merely an unverified premise but a false statement. Table S1 provides an explicit counterexample: the Fock state |1,1,1> in the mixed-symmetry sector λ=(2,1,0) corresponds to four distinct Schur-basis states, two GT patterns times two σ copies. These states have different computational-basis expansions, so they are physically different. The paper's assertion that 'any valid σ may be used' only covers the S_N multiplicity; it does not address the U(d) weight-space degeneracy resolved by the GT pattern. Algorithm S1 (DynkinToGT) selects one GT pattern deterministically, but this choice is arbitrary and not justified by the input occupation numbers. Consequently, the LCU stage in Algorithm 1 cannot know which first-quantized state to prepare from the stated input for parastatistics. A simple dimension count for N=3,d=3, order-2 parabosons makes the impossibility of a bijection evident: 10 occupation configurations cannot label 26 allowed Schur states. This is an internal inconsistency, not a matter of external consensus or missing reference. Even if the corrected high-dimensional Schur transform [40] is verified, the universality claim fails for Green's paraparticles. The fermion/boson core may be salvageable, but the abstract's central claim requires substantial revision. The reader's CONDITIONAL verdict was based on these being addressable gaps; the dimension argument shows the bijection cannot exist, so the claim must be weakened, moving the verdict to REJECT for the current version.","tokens_in":25054,"tokens_out":15247,"duration_ms":131248,"concrete_test":"Run Algorithm 1 on the paraparticle input L=1, |n>=|1,1,1> for N=3,d=3 with λ=(2,1,0), once with GT pattern (2,0;1) and once with (1,1;1), keeping σ=T2 fixed. If the resulting computational-basis states are not proportional (as Table S1 suggests), the output depends on the arbitrary DynkinToGT choice, disproving the claimed bijection. Separately verify the dimension count: only 10 occupation-number configurations but 26 states in the allowed order-2 paraboson sector, so no injective map can exist.","verdict_should_be":"REJECT","load_bearing_attack":"The central claim requires an equivariant bijection between Fock occupations and Schur-basis states in each statistics sector. The paper's own Table S1 shows this fails for Green's parastatistics. For N=3, d=3, λ=(2,1,0) (order-2 parabosons), the Fock state |1,1,1> has Dynkin weight z=(0,0), which corresponds to two GT patterns (2,0;1) and (1,1;1) and two S3 copies T1,T2 — four distinct, mutually non-proportional computational-basis states (e.g., (|012>−|120>)/√2 vs (|021>−|210>)/√2 for T2). The text after Eq. (8) says 'any valid σ may be used', but that only addresses the σ copy; it does not resolve the GT degeneracy within a fixed σ. Algorithm S1 deterministically picks one GT pattern, making the prepared first-quantized state depend on an arbitrary convention rather than on the input Fock occupation. Dimension counting confirms no bijection is possible: for N=3,d=3, order-2 parabosons allow Schur sectors of total dimension 10+16=26, while there are only C(3+3−1,2)=10 occupation configurations. Thus the map |n>→|λ,μ,σ> is not a well-defined function in the paraparticle sector, and the algorithm cannot prepare a unique target state from occupation-number data alone. The 'universal' claim for Green's parastatistics is therefore contradicted by the paper's own data, independent of the unverified poly(log d) Schur transform.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a universal protocol for preparing first-quantized, symmetry-adapted initial states from second-quantized occupation-number superpositions. The core idea is to use the Jordan–Schwinger map to identify Fock occupation states with su(d) weight states inside the Schur–Weyl decomposition, prepare a superposition of the corresponding Schur labels via a block-encoded LCU, and then apply an inverse quantum Schur transform. The authors claim that the method applies to fermions, bosons, and Green's paraparticles of arbitrary order, in arbitrary single-particle bases, with non-Clifford gate complexity poly(L, N, log d, log ε^{-1}) for the most efficient variant when preparing L configurations of N particles over d modes. The paper includes a detailed resource model for the BCH Schur transform, LCU block encoding, and end-to-end Toffoli-equivalent costs, as well as a Supplemental Material with a concrete U(3) example and pseudocode for converting Dynkin weights to Gelfand–Tsetlin patterns.","tokens_in":25390,"tokens_out":7366,"duration_ms":63528,"significance":"If correct, the fermion and boson version of the construction is a clean and valuable contribution: Eq. (5) is invertible on the multiplicity-free sectors, the inverse Schur transform maps label states to determinants/permanents, and the resource estimates place the scheme within practical ranges for first-quantized simulation pipelines. The Supplemental Material is unusually detailed and self-contained, with explicit pseudocode, register encodings, error budgets, and reproducibility-friendly formulas for Toffoli-equivalent counts. The paper is also honest about the contested status of the high-dimensional Schur transform. However, the claimed universality for Green's paraparticles is contradicted by the paper's own Table S1, and the strongest complexity statement rests on an unverified external construction. These issues need to be resolved before the main claims can be accepted as stated.","major_comments":[{"comment":"The central claim of an equivariant bijection between Fock occupations and Schur-basis labels is false for Green's paraparticles. For λ=(2,1,0), N=d=3, the Fock state |1,1,1⟩ has Dynkin weight z=(0,0), which corresponds to two GT patterns, (2,0;1) and (1,1;1), within each σ copy, as Table S1 itself shows. These are distinct computational-basis superpositions, e.g., (|012⟩−|120⟩)/√2 vs (|021⟩−|210⟩)/√2. Eq. (5) maps occupations only to Dynkin weights, not to a unique Schur-basis state. Algorithm S1 resolves the degeneracy by an arbitrary deterministic convention, so Algorithm 1 prepares a state that is not a function of the input occupation number. Dimension counting confirms the impossibility: the order-2 paraboson sector has dimension 10+16=26, while there are only C(5,2)=10 occupation configurations. The universality claim for parastatistics is therefore contradicted by the paper's own","section":"§III, Table S1, Eq. (5)"},{"comment":"The abstract's 'most efficient variant' complexity poly(L,N,log d,log ε^{-1}) is not established. It relies on the high-dimensional Schur transform of Ref. [39], whose correctness the paper notes has been questioned; the corrected version [40] is cited but not verified or reproduced. Algorithm 1's own time-complexity statement is poly(L,N,d,log ε^{-1}), consistent with the BCH transform but not with the abstract. The authors should either provide a proof or detailed verification of the corrected high-dimensional transform, or state the strongest established theorem as poly(L,N,d,log ε^{-1}) and present the poly(log d) scaling as conditional on an external result.","section":"Abstract and Algorithm 1 (Time complexity)"}],"minor_comments":[{"comment":"The column header 'GT (x,y;z)' uses z both for the third GT coordinate and for the Dynkin weight; the compressed notation (x,y;k) is introduced in the text but not used consistently in the table. This is confusing and should be cleaned up.","section":"Table S1 caption"},{"comment":"All panels assume an equal superposition so that ℓ1=√L. For arbitrary normalized superpositions, ℓ1=Σ|c_i| can be larger (up to √L) depending on phase alignment; please state this assumption explicitly in the main text as well as the caption.","section":"Fig. 2 caption"},{"comment":"The LCU block-encoding step assumes that the coefficients c_i are classically known and that the Pauli strings X(λ,μ,σ) are precomputed. The paper does not discuss the classical cost of generating these strings or of running DynkinToGT for each configuration; a brief statement about this classical preprocessing cost would improve completeness.","section":"Eq. (8) and Algorithm 1, Step 3"},{"comment":"Algorithm S1 is described as 'sufficient for our purposes,' but the main text calls the map an equivariant bijection. The Supplemental acknowledgment that 'the inverse problem of reconstructing (x,y;k) from z is degenerate' directly conflicts with the main-text phrasing. This inconsistency should be resolved in revision.","section":"Supplemental Material, §IV"}],"recommendation":"major_revision","confidential_remarks":"The fermionic/bosonic construction is sound and the resource model is a strength, but the paraparticle universality claim is overreaching: the paper's own Table S1 shows that occupation numbers do not uniquely determine Schur-basis states in mixed-symmetry sectors. This is not a minor caveat but a load-bearing part of the abstract. A revision that narrows the universality claim to fermions and bosons, or rigorously defines paraparticle input states by Schur labels rather than occupations, would be appropriate. The poly(log d) complexity claim also needs to be made conditional or verified."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: for fermions and bosons, this is a real contribution with unusually detailed resource estimates. The universal parastatistics claim does not survive its own Table S1, and the abstract overstates the complexity scaling. None of that kills the core result, but the paper needs revision before I'd trust the broad claims.\n\nWhat's new: the pipeline of mapping Fock occupations to Schur labels via the Jordan–Schwinger map, block-encoding an LCU over GT patterns, and applying an inverse quantum Schur transform. I don't know that exact combination in the first-quantized state-preparation literature; prior work is basis-specific or handles symmetrization separately. For fermions (single-column) and bosons (single-row) the construction is clean: the sectors are multiplicity-free, Eq. (5) gives the weight, and the inverse Schur transform produces determinants/permanents. The supplement is genuinely detailed—QROAM-based PREP/SEL, RUS vs OAA, BCH Schur costs, qubit footprints. That's reproducible groundwork. The self-citation to their earlier LCU construction is appropriate since they reuse that exact circuit. They also flag the Krovi correctness question and cite the recent corrected transform; that's honest.\n\nSoft spots, in order of severity. The paraparticle universality claim is not well-defined. Table S1 shows that for N=3, d=3, lambda=(2,1,0), the Fock state |1,1,1> maps to two GT patterns within each of the two sigma copies—four distinct, non-proportional computational-basis states. Algorithm S1 picks one deterministically, so the prepared first-quantized state depends on an arbitrary convention, not on the input occupation data. The text's \"any valid sigma may be used\" addresses the symmetric-group copy only; it does not resolve the GT degeneracy. Dimension counting confirms there is no bijection here: 26 mixed-symmetry Schur states versus 10 occupation configurations. For Green's parastatistics, occupation numbers alone do not specify a unique first-quantized state; you need the multiplicity label as an input, or you need to say explicitly that you're preparing a particular immanant. That's an addressable problem, but the title and abstract's \"universal\" claim is currently overbroad. Also, the poly(log d) complexity relies on the corrected high-dimensional Schur transform (ref 40), whose correctness they cite but don't verify; the main-text poly(d) result with the BCH transform is on firmer ground.\n\nThe reader's conditional verdict is fair, and the stress-test note lands. Who benefits: people building first-quantized fault-tolerant chemistry or materials pipelines for fermions and bosons. I'd take the fermion/boson protocol seriously; I'd ignore the para claim until the mapping is defined properly. For peer review, I'd send it to referees with instructions to evaluate the fermion/boson claim and the para claim separately. With that revision, this becomes a useful paper.","headline":"Fermion/boson state-prep pipeline is solid and useful; the advertised universality over Green's parastatistics is contradicted by the paper's own Table S1.","tokens_in":25913,"tokens_out":2321,"would_cite":true,"duration_ms":23748,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["03.67.Lx"],"model":"deepseek-v4-flash","headline":"A universal protocol maps any polynomial-size superposition of occupation-number states into a first-quantized state in polynomial time, for fermions, bosons, and paraparticles in any single-particle basis.","keywords":["first-quantized quantum simulation","initial state preparation","Jordan-Schwinger map","quantum Schur transform","Schur-Weyl duality","Green's parastatistics","linear combination of unitaries","occupation-number states"],"falsifier":"Prepare the N = 3, d = 3 mixed-symmetry sector with target |1,1,1⟩ and compare the output for the two S_N copies σ = T1 and σ = T2 under a Hamiltonian that breaks the S_N symmetry: if the two resulting first-quantized states give different expectation values for the same occupation configuration, then occupation numbers do not determine a unique physical state and the claimed universal bijection for paraparticles is falsified.","tokens_in":24901,"feed_emoji":"⚛️","tokens_out":6238,"duration_ms":49047,"temperature":0.7,"pith_summary":"The paper claims to remove a long-standing bottleneck in first-quantized quantum simulation: preparing symmetry-adapted initial states. It exploits the Jordan–Schwinger Lie-algebra homomorphism to establish an equivariant bijection between Fock occupation states and su(d) weight states within the Schur–Weyl decomposition. Operationally, any target superposition of L occupation configurations is encoded as a superposition of Schur labels, prepared with a block-encoded linear combination of unitaries, and converted to the computational basis by an inverse quantum Schur transform. The claimed cost is poly(L, N, d, log ε⁻¹), dropping to poly(L, N, log d, log ε⁻¹) non-Clifford gates with the most efficient Schur transform. The protocol is claimed to work universally for fermions, bosons, and Green's paraparticles, making first-quantized simulation practical in arbitrary bases.","feed_headline":"Universal protocol prepares first-quantized states in polynomial time","feed_subtitle":"Jordan-Schwinger map plus an inverse Schur transform covers fermions, bosons, paraparticles, and any basis set.","key_machinery":"Jordan–Schwinger map and Schur–Weyl duality. The Jordan–Schwinger map Φ(X) = Σ X_{pq} a†_p a_q is a Lie-algebra homomorphism from gl(d, C) into the algebra of particle-number-conserving operators, turning the Cartan–Weyl generators of su(d) into first-quantized total operators. Schur–Weyl duality decomposes (C^d)^{⊗N} into U(d) irreps labeled by Young diagrams λ times S_N irreps labeled by σ, with Gelfand–Tsetlin patterns µ resolving weight degeneracies. The relation z_i = n_i − n_{i+1} provides an equivariant bijection between Fock states and weight states, letting the algorithm replace a second-quantized state by a superposition of Schur labels that an inverse quantum Schur transform (Baco","core_discovery":"First-quantized initial-state preparation is reduced to an efficient, statistics-agnostic change of basis. The Jordan–Schwinger map Φ(X) = Σ X_{pq} a†_p a_q is a Lie-algebra homomorphism that identifies number-conserving second-quantized operators with their first-quantized counterparts. Comparing Cartan generators gives z_i = n_i − n_{i+1}, an equivariant bijection between Fock occupations and su(d) Dynkin weights. Each occupation state maps to a Schur label |λ, µ, σ⟩; statistics are fixed by choosing the Young diagram λ, the target superposition of labels is prepared by a block-encoded linear combination of unitaries, and an inverse quantum Schur transform yields the desired first-quantize","pith_inferences":["Inference (not the paper's claim): the paper's own N = 3, d = 3 table shows that the mixed-symmetry Fock state |1,1,1⟩ corresponds to four distinct Schur-basis states; so for paraparticles the protocol requires an extra physical choice of symmetric-group copy σ that occupation numbers alone do not fix.","Inference (not the paper's claim): the advertised poly(log d) scaling depends on a corrected high-dimensional Schur transform whose correctness the paper acknowledges has been questioned but does not itself verify.","Inference (not the paper's claim): the same block-encoding pipeline could be reused for other Schur-basis tasks, such as preparing states with non-classical coefficients or block-diagonal Hamiltonian simulation, though the paper only sketches these directions.","Inference (not the paper's claim): because the bijection is equivariant, the pipeline may extend to coherent superpositions across different particle numbers or statistics sectors, but the algorithm as stated fixes λ and σ."],"forward_implications":["First-quantized simulation pipelines no longer need basis-specific or statistics-specific circuit redesign for initial-state preparation.","Any polynomial-size occupation-number superposition supplied by a classical algorithm can be loaded deterministically, with success probability controlled by the LCU norm and amplifiable to one.","The protocol extends to Green's parastatistics, making first-quantized simulations of parafermionic and parabosonic models feasible.","The block-encoded LCU stage cleanly separates classical data (coefficients) from the quantum change of basis, so improving either component directly lowers total cost.","If the high-dimensional Schur transform is verified, the non-Clifford cost drops to poly(log d), enabling simulations with very large mode counts."],"fun_headline_variants":["Universal first-quantized state prep in poly time","Fermions, bosons, paraparticles: one prep method, poly time","Inverse Schur transform makes initial-state prep efficient","Jordan-Schwinger map enables poly-time first-quantized prep","Poly-cost initial states for any particle statistics"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The universal claim assumes each Fock occupation state has a unique image in the Schur basis, yet the paper's own example shows |1,1,1⟩ maps to four distinct Schur states for mixed symmetry, leaving an unspecified physical choice for paraparticles.","fun_headline_variants_meta":{"raw":{"variants":["Universal first-quantized state prep in poly time","Fermions, bosons, paraparticles: one prep method, poly time","Inverse Schur transform makes initial-state prep efficient","Jordan-Schwinger map enables poly-time first-quantized prep","Poly-cost initial states for any particle statistics"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000714,"raw_usage":{"total_tokens":3051,"prompt_tokens":754,"completion_tokens":2297,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":498,"completion_tokens_details":{"reasoning_tokens":2214}},"tokens_in":498,"tokens_out":2297,"duration_ms":11171,"temperature":1.0,"reasoning_tokens":2214,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-04T10:59:15.127437+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Prepare the N = 3, d = 3 mixed-symmetry sector with target |1,1,1⟩ and compare the output for the two S_N copies σ = T1 and σ = T2 under a Hamiltonian that breaks the S_N symmetry: if the two resulting first-quantized states give different expectation values for the same occupation configuration, then occupation numbers do not determine a unique physical state and the claimed universal bijection for paraparticles is falsified.","supporting_citations":[],"review_version":1}