{"id":"d102cc25-61c9-4770-bba9-129fb53cfc40","arxiv_id":"2507.10319","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For Lindblad dynamics with local dissipation, a quantum i.i.d. product state is a steady state iff simple single-site and two-site conditions hold, and a broad class of systems has such product steady states.","lead":"This paper gives exact conditions for when a driven, dissipative many-body quantum system has a steady state that factorizes into identical copies on every site. Such product steady states are exactly solvable and automatically free of spatial correlations and entanglement, which helps identify clean model systems for dissipative quantum phase transitions.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Abstract's no-go claim omits the uniqueness assumption; a simple H=0 model with uniform S^- dissipation has an entangled steady state, falsifying the unqualified statement.","rationale":"The paper's main mathematical results—Theorem 1's equivalence and Theorem 5's sufficient condition—appear correct after careful review. The proofs of Theorem 1 and Lemma 2 are internally consistent; the Schur-Weyl argument for B_com is standard; the examples check out. The load-bearing weakness is the no-go conclusion as advertised. Corollaries 6 and 7 explicitly assume uniqueness of the steady state (and absence of purely imaginary eigenvalues for exponential decay), but the abstract states the no-go theorem without these qualifiers. This is not merely a cosmetic omission: the counterexample with H=0 and uniform S^- dissipation satisfies all assumptions of Theorem 5 with H_com=0, yet possesses an entangled steady state alongside i.i.d. steady states. Thus the class of systems in the abstract does have steady-state entanglement whenever uniqueness fails. The reader's conditional verdict—accept with the requirement that the abstract be corrected to state the uniqueness premise—is exactly right. The concrete test above is decisive because it exhibits an explicit, minimal system in the advertised class with an entangled steady state, proving that the unqualified no-go claim is false.","tokens_in":37447,"tokens_out":47017,"duration_ms":536737,"concrete_test":"Verify the counterexample analytically: for the spinful fermion system with H=0 and L_i=c†_{i↓}c_{i↑} on n=2 sites, construct ρ=|ψ><ψ| with |ψ>=(|↓,0>+|0,↓>)/√2. Check that S^-_1|ψ>=S^-_2|ψ>=0, so each dissipator vanishes, and since H=0, L(ρ)=0. Compute the partial transpose of ρ; the negativity is 1/2, confirming entanglement. This shows a system meeting the abstract's class (and Theorem 5) has an entangled steady state, so the no-go statement requires the uniqueness premise. Optionally run the same check for n=3 with |ψ>=(|↓,0,0>+|0,↓,0>+|0,0,↓>)/√3.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central equivalences (Theorem 1, Lemma 2, Theorem 5) appear mathematically sound, but the advertised no-go conclusion is overstated. The abstract claims the findings 'lead to a no-go theorem that precludes quantum entanglement and spatial correlations in a broad class of quantum many-body steady states.' Corollaries 6 and 7, however, require the extra premise that the steady state is unique (and, for Corollary 7, that there are no purely imaginary Lindblad eigenvalues). Theorem 5 guarantees only existence of an i.i.d. steady state. Without uniqueness, the steady-state manifold can contain entangled states even in systems satisfying Theorem 5. Counterexample: take H=0 and uniform 1-local Lindblad operators L_i = S^-_i = c†_{i↓}c_{i↑} on a spinful fermion lattice. For n=2, |ψ>=(|↓,0>+|0,↓>)/√2 satisfies S^-_i|ψ>=0 for i=1,2, so L(|ψ><ψ|)=0. This |ψ> is a Bell state (negativity 1/2). The same system also has the i.i.d. steady state |00><00|, so the steady state is not unique. Hence the no-go conclusion holds only under the uniqueness assumption, which the abstract fails to state.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies when an open quantum many-body system governed by a GKSL master equation possesses a steady state of the quantum i.i.d. form ρ_loc^{⊗n}. The stated assumptions are a finite-dimensional local Hilbert space, 1-local Lindblad operators, and a Hamiltonian consisting of at most two-body terms. Theorem 1 gives four local conditions that are equivalent to L(ρ_loc^{⊗n})=0; Lemma 2 gives a simplified equivalence for full-rank ρ_loc; Lemma 4 characterizes, via Schur-Weyl duality, the set B_com of operators commuting with all quantum i.i.d. states; Theorem 5 gives a sufficient condition for existence of a quantum i.i.d. steady state; Theorem 8 characterizes dynamical stability of the i.i.d. form; and Theorem 9 gives closed-form expressions for time-correlation functions. Corollaries 6 and 7 state, under additional uniqueness and spectral assumptions, that steady states have no spatial correlations or entanglement and that these properties decay exponentially. Several spin, fermionic, and bosonic examples are worked out.","tokens_in":37652,"tokens_out":8320,"duration_ms":100982,"significance":"If the results hold, the paper provides a practically checkable set of local conditions for i.i.d. steady states and identifies a broad class of exactly solvable open many-body models. The proofs are largely self-contained: Theorem 1 and Lemma 2 are derived explicitly, and Lemma 4 includes a full Schur-Weyl argument. The examples give explicit steady states and correlation functions, and no parameters are fitted. The main advertised no-go conclusion, however, is a corollary that requires uniqueness of the steady state; the unqualified statement in the abstract and introduction overstates the domain of validity.","major_comments":[{"comment":"","section":"Abstract and Section I, with Corollaries 6 and 7"},{"comment":"","section":"Theorem 5 and Section II B"}],"minor_comments":[{"comment":"","section":"Example 6, Eq. (122)"},{"comment":"","section":"Theorem 5, Eqs. (40)-(41)"},{"comment":"","section":"Appendix B, Lemma 15(1)"},{"comment":"","section":"Eq. (12)"},{"comment":"","section":"Section III A, proof of Theorem 8"}],"recommendation":"major_revision","confidential_remarks":"The technical core of the paper appears sound, but the abstract's unqualified no-go claim is the kind of statement that will be read as the paper's main message. It must be qualified before publication. This is fixable by rewriting the abstract and introduction and by making the uniqueness assumption prominent in the statements of the corollaries."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"You should know two things about this paper. First, the central equivalence (Theorem 1) and the Schur-Weyl characterization of B_com (Lemma 4) are real results, not repackaged. The theorem reduces L(rho_loc^⊗n)=0 to four local conditions, and the proof via partial traces is explicit; I checked the key steps and they hold. Second, the advertised no-go claim is overstated. The abstract says the findings \"lead to a no-go theorem that precludes quantum entanglement and spatial correlations,\" but the actual no-go (Corollaries 6 and 7) requires the steady state to be unique. Without uniqueness, the statement is false: take H=0 with uniform 1-local Lindblad operators L_i = S^-_i on a spinful fermion lattice. For n=2, the Bell state (|↓,0>+|0,↓>)/√2 is annihilated by both S^-_i, so it is a steady state. The same system also has the i.i.d. steady state |00><00|, so the steady state is not unique. This directly contradicts the unqualified abstract claim.\n\nWhat the paper does well: Theorem 1 is a practical criterion; Lemma 4's use of Schur-Weyl duality to identify the commutant of all quantum i.i.d. states is clean. Theorem 5 gives a broad sufficient condition, and the examples (dissipative Heisenberg, t-J, Hubbard, hard-core bosons) are useful. Theorem 8 on dynamical stability is a nice addition, and the analytical correlation functions in Theorem 9 are a real bonus. The citation pattern is proper; [72] is indeed a special case, and the authors acknowledge it.\n\nSoft spots: beyond the abstract, some appendix arguments are compressed—the derivative argument in Lemma 15 and some example verifications are asserted rather than fully shown. That is minor. The bigger issue is framing. The theorems themselves are honest about uniqueness; the abstract and introduction are not. That needs a rewrite.\n\nWho is this for? Researchers working on exact steady states of dissipative many-body systems, especially those interested in when product states are exact. It deserves a serious referee; the core mathematics is sound and the results are new. I would send it to review, with a request to fix the abstract.\n\nRecommendation: engage with it. Ask for the abstract to state the uniqueness assumption for the no-go claim, and for the compressed appendix steps to be expanded where practicable.","headline":"Genuinely new equivalent condition for product steady states, with a real flaw: the abstract's no-go claim drops the uniqueness assumption, and without it the claim is false.","tokens_in":38207,"tokens_out":1908,"would_cite":true,"duration_ms":21992,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81S22","81R05"],"pacs":[],"model":"deepseek-v4-flash","headline":"For a broad class of open quantum many-body systems, a product of identical local states is a steady state exactly when four local conditions hold, and a large family of models becomes exactly solvable.","keywords":["open quantum systems","GKSL master equation","Lindblad dynamics","steady states","quantum i.i.d. states","permutation symmetry","Schur-Weyl duality","no-go theorem"],"falsifier":"Solve $L(\\hat{\\rho})=0$ exactly for a three-site spin-1/2 system with uniform local dissipation and a two-body Hamiltonian piece whose projected commutator with $\\hat{\\rho}_{\\mathrm{loc}}\\otimes\\hat{\\rho}_{\\mathrm{loc}}$ is nonzero; if $\\hat{\\rho}_{\\mathrm{loc}}^{\\otimes 3}$ lies in the kernel anyway, the equivalence in Theorem 1 is false.","tokens_in":37205,"feed_emoji":"⚛️","tokens_out":9034,"duration_ms":87551,"temperature":0.7,"pith_summary":"This paper asks when a many-body system exposed to local driving and dissipation settles into the simplest possible steady state: the same single-site density matrix repeated on every site, a quantum i.i.d. state. For finite-dimensional local Hilbert spaces, dynamics governed by the Gorini-Kossakowski-Sudarshan-Lindblad master equation, one-site jump operators, and at most two-body Hamiltonians, it proves that $L(\\hat{\\rho}_{\\mathrm{loc}}^{\\otimes n})=0$ holds if and only if four conditions are met. It then identifies a commuting algebra $\\mathcal{B}_{\\mathrm{com}}$ (spanned by permutation operators, plus number operators under superselection) and shows that any Hamiltonian built from $\\mathcal{B}_{\\mathrm{com}}$ plus uniform local terms has a quantum i.i.d. steady state, independent of lattice geometry and interaction strengths. These results turn the search for such steady states into a local calculation and, under a uniqueness assumption, rule out spatial correlations and entanglement in the steady state.","feed_headline":"Exact rule found for uncorrelated steady states in open quantum systems","feed_subtitle":"A theorem pins down when local drive and dissipation leave a many-body system in an identical-copy product state.","key_machinery":"The carrying object is $\\mathcal{B}_{\\mathrm{com}}$, the set of operators on the $n$-site Hilbert space that commute with every quantum i.i.d. state; Schur-Weyl duality identifies $\\mathcal{B}_{\\mathrm{com}}$ with the algebra generated by permutation operators (and site number operators under the number-superselection rule). Such operators act trivially on the i.i.d. structure, so when the Hamiltonian lies in $\\mathcal{B}_{\\mathrm{com}}$ plus uniform local terms, the steady state is determined entirely by the single-site Lindblad superoperator. The proof of Theorem 1 also rests on decomposing the Hamiltonian into irreducible one- and two-body pieces and projecting the Lindbladian onto $\\mathrm{Im}(\\hat{\\rho}_{\\mathrm{loc}}^{\\otimes n})$, which reduces a global kernel condition to local commutation relations.","core_discovery":"The central claim is an if-and-only-if characterization. For a system with finite local dimension $d$, GKSL dynamics, 1-local Lindblad operators, and an at-most-two-body Hamiltonian, $\\hat{\\rho}_{\\mathrm{loc}}^{\\otimes n}$ is annihilated by the Lindbladian exactly when: (i) every Lindblad operator leaves $\\mathrm{Im}(\\hat{\\rho}_{\\mathrm{loc}})$ invariant; (ii) the effective Hamiltonian leaves $\\mathrm{Im}(\\hat{\\rho}_{\\mathrm{loc}}^{\\otimes n})$ invariant; (iii) $\\hat{\\rho}_{\\mathrm{loc}}$ is a steady state of the projected single-site Lindbladian; and (iv) every projected irreducible two-body term commutes with $\\hat{\\rho}_{\\mathrm{loc}}\\otimes\\hat{\\rho}_{\\mathrm{loc}}$. For full-rank $\\hat{\\rho}_{\\mathrm{loc}}$ this reduces to the simpler pair of conditions that the local state is a single-site steady state and each two-body Hamiltonian piece commutes with $\\hat{\\rho}_{\\mathrm{loc}}\\otimes\\hat{\\rho}_{\\mathrm{loc}}$. The paper further proves that the operators commuting with all i.i.d. states are exactly the span of the permutation operators (together with number operators under the number-superselection rule), so any Hamiltonian made from them plus uniform local terms is guaranteed to have a quantum i.i.d. steady state found by solving a single-site Lindblad equation.","pith_inferences":["Beyond the paper: the same machinery suggests a classification of dissipative phase transitions—within the Theorem 5 class, any transition must come from non-uniqueness of the single-site steady state or from leaving the $\\mathcal{B}_{\\mathrm{com}}$-plus-uniform-local Hamiltonian class, since the i.i.d. steady state is otherwise interaction-independent.","Beyond the paper: dropping the 1-locality assumption is the most direct place to look for counterexamples and for entangled steady states; a two-site jump operator version of Theorem 1 would be a natural testbed.","Beyond the paper: because $\\mathcal{B}_{\\mathrm{com}}$ is the permutation algebra, spin chains with permutation-type interactions and local dissipation form a ready-made family for benchmarking quantum simulators and for engineering uniform states in arbitrary geometries."],"forward_implications":["Every model in the Theorem 5 class has an exactly solvable steady state $\\hat{\\rho}_{\\mathrm{loc}}^{\\otimes n}$, where $\\hat{\\rho}_{\\mathrm{loc}}$ solves a one-site Lindblad equation; the solution does not depend on interaction couplings, lattice geometry, or dimension.","If the steady state is unique, that steady state has zero spatial correlations and zero entanglement for any choice of physical observables, as stated in Corollary 6.","Adding the condition that the Lindbladian has no purely imaginary eigenvalues makes all spatial correlations and entanglement decay exponentially in time, as stated in Corollary 7.","When the two-body Hamiltonian pieces lie in $\\mathcal{B}_{\\mathrm{com}}$ and the single-site Lindblad superoperator is uniform, the i.i.d. form is dynamically stable, and time-correlation and response functions have closed analytic forms, as shown in Theorems 8 and 9.","The criteria apply across spin, fermionic, and hard-core boson models, including dissipative Heisenberg, spinless fermion, t-J, Hubbard, and hard-core boson examples."],"supporting_citations":[{"why":"Supplies the GKSL master-equation form that all of the theorems assume.","marker":"[26, 27]"},{"why":"Schur-Weyl duality, used in Lemma 4 to identify $\\mathcal{B}_{\\mathrm{com}}$ with the permutation-operator algebra.","marker":"[70, 71]"},{"why":"The mean-field equation obtained by tracing out one site, used as the necessary starting point in the proof of Theorem 1.","marker":"[68]"},{"why":"Earlier construction of a quantum i.i.d. steady state by a single-site Lindblad superoperator, which Theorem 5' generalizes.","marker":"[72]"},{"why":"Prior model-specific no-go theorem for correlations in dissipative interacting qubits, extended here to a model-independent statement.","marker":"[33]"},{"why":"Criteria for uniqueness of the GKSL steady state that supply the extra assumption in Corollaries 6 and 7.","marker":"[73–80]"},{"why":"Quantum regression theorem, used in Theorem 9 to obtain analytic time-correlation functions.","marker":"[28]"}],"fun_headline_variants":["Exact criterion for identical-copy steady states in open many-body systems","No-go theorem: dissipative many-body steady states lack entanglement","When local drive and dissipation yield identical-copy steady states","Exact condition for i.i.d. steady states in open quantum systems"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise, stated in Section II A, is that every Lindblad operator acts on a single site and that the local Hilbert space is finite-dimensional; the no-go corollaries further assume that the steady state is unique.","fun_headline_variants_meta":{"raw":{"variants":["Exact criterion for identical-copy steady states in open many-body systems","No-go theorem: dissipative many-body steady states lack entanglement","When local drive and dissipation yield identical-copy steady states","Exact condition for i.i.d. steady states in open quantum systems"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001476,"raw_usage":{"total_tokens":5964,"prompt_tokens":1012,"completion_tokens":4952,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":628,"completion_tokens_details":{"reasoning_tokens":4878}},"tokens_in":628,"tokens_out":4952,"duration_ms":39256,"temperature":1.0,"reasoning_tokens":4878,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T17:35:18.989838+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Solve $L(\\hat{\\rho})=0$ exactly for a three-site spin-1/2 system with uniform local dissipation and a two-body Hamiltonian piece whose projected commutator with $\\hat{\\rho}_{\\mathrm{loc}}\\otimes\\hat{\\rho}_{\\mathrm{loc}}$ is nonzero; if $\\hat{\\rho}_{\\mathrm{loc}}^{\\otimes 3}$ lies in the kernel anyway, the equivalence in Theorem 1 is false.","supporting_citations":[{"cited_title":"Nakagawa, N","cited_arxiv_id":null,"evidence_quote":"The mean-field equation obtained by tracing out one site, used as the necessary starting point in the proof of Theorem 1."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Earlier construction of a quantum i.i.d. steady state by a single-site Lindblad superoperator, which Theorem 5' generalizes."},{"cited_title":"Yu and J","cited_arxiv_id":null,"evidence_quote":"Prior model-specific no-go theorem for correlations in dissipative interacting qubits, extended here to a model-independent statement."},{"cited_title":"Zwanzig, Ensemble method in the theory of irre- versibility, The Journal of Chemical Physics 33, 1338 (1960)","cited_arxiv_id":null,"evidence_quote":"Quantum regression theorem, used in Theorem 9 to obtain analytic time-correlation functions."}],"review_version":1}