{"id":"dbe29647-d2c6-4b17-ba1c-888209561146","arxiv_id":"2608.09808","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":2,"one_line_summary":"A finite linear map admits an autonomous GKSL realization exactly when it is invertible and power bounded, demonstrated on a complete D2Q9 lattice Boltzmann timestep.","lead":"This paper proves that a finite linear map can be realized exactly as the evolution of an open quantum system with a time-independent Lindblad generator if and only if the map is invertible and all its powers stay bounded. The authors apply the result to a lattice Boltzmann timestep, showing that nonunitary classical dynamics can run autonomously on a quantum device without repeated measurements or postselection.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central theorem is sound, but the D2Q9 application hinges on the numerically audited semisimplicity of the nine unit-modulus eigenvalues of A2; a missed Jordan block there would destroy the advertised GKSL realization.","rationale":"I checked the proof of Theorem 4 closely. The necessity argument via the P-metric contraction is valid, and the sufficiency construction using a logarithm, Schur reordering, Sylvester and Lyapunov equations, and the resulting GKSL/Kraus/Stinespring data is internally coherent for finite matrices. The only serious risk I found lies where the reader located it: verifying that the compiled LB endpoint A2 is power bounded. Because A2 is block upper triangular with diagonal L and L⊙2, any defective unit-modulus eigenvalue of the linearized collide-and-stream operator would produce polynomial power growth and would violate the theorem's hypothesis. The paper gives a structural argument only for the conserved +1 sector and otherwise relies on a numerical audit, with no analytic proof or released code. I do not regard this as evidence of error, but it is exactly the kind of finite spectral check where an independent high-precision recomputation or an analytic Fourier-mode argument would settle the matter. Accordingly, the reader's conditional verdict is appropriate; the theorem itself appears correct, while unconditional acceptance of the LB application should wait for that independent check.","tokens_in":12180,"tokens_out":12985,"duration_ms":126936,"concrete_test":"Reconstruct A2 from the conventions in Appendix A, compute all nine unit-modulus eigenvalues in high precision, and for each compute the numerical rank of A2 - lambda I and of (A2 - lambda I)^2 to verify that geometric multiplicity equals algebraic multiplicity; also evaluate ||A2^n|| for n up to roughly 1e5 and check that it remains bounded. If any unit-modulus eigenvalue is defective, the endpoint is not power bounded and the GKSL realization claimed in Section V.B cannot exist.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The load-bearing step is the assertion in Sections IV.B and V.A that the 3x3 periodic order-two endpoint A2 has nine unit-modulus eigenvalues, all semisimple. Theorem 4 requires exactly this power-boundedness condition to invoke the autonomous GKSL realization, and A2 is block upper triangular with diagonal blocks L and L⊙2, so a single defective unit-modulus eigenvalue would make the powers of A2 grow polynomially and exclude the construction. The paper proves structural semisimplicity only for the conserved +1 sector; for the remaining unit-modulus eigenvalues it relies on a numerical audit, including the reported largest dyadic-power norm of 40.68, with no analytic proof and no shipped implementation. This is a finite matrix check, but it is the hinge between the general theorem and the claimed D2Q9 application. The theorem itself is not affected; the concern is whether the advertised concrete example actually satisfies its hypotheses.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves a necessary and sufficient condition for a finite real linear endpoint A to be realized as the stroboscopic map of an autonomous Gorini–Kossakowski–Sudarshan–Lindblad (GKSL) semigroup acting on vacuum coherences. Theorem 4 states that such a realization exists if and only if A is invertible and power bounded; the constructive direction builds a dissipative generator through Schur and Lyapunov techniques and then derives the Hamiltonian, jump operators, Kraus family, and Stinespring isometry. The authors apply this criterion to the D2Q9 multiple-relaxation-time lattice Boltzmann collide-and-stream map on a 3x3 periodic lattice, compiling collision and streaming into a Carleman endpoint A2 of dimension 3402. Numerical residuals in Table I are at the 1e-14 level, and the truncation error against the nonlinear LB reference is reported to scale cubically with perturbation amplitude.","tokens_in":12393,"tokens_out":14885,"duration_ms":136443,"significance":"If correct, Theorem 4 is a clean and useful structural result: it reduces a quantum-dynamical realizability question to a matrix-level condition and provides an explicit no-postselection construction with the same time-independent generator repeated over timesteps. The proof is largely self-contained, the numerical residual checks are strong, and the limitations are stated honestly, including the absence of an analytic truncation bound and the lack of a quantum-advantage claim. The principal caveat is that the D2Q9 application hinges on a numerically audited semisimplicity condition rather than on a proof, and the audit is not fully reproducible from the manuscript as written.","major_comments":[{"comment":"The claim that the compiled endpoint A2 is power bounded is load-bearing for the D2Q9 application, because Theorem 4 requires every unit-modulus eigenvalue to be semisimple. The paper proves structural semisimplicity only for the conserved +1 sector; for the remaining unit-modulus eigenvalues it relies on a numerical audit, with no algorithm, error bounds, or shipped implementation. A defective unit-modulus eigenvalue would make ||A2^n|| grow polynomially and would exclude the advertised GKSL realization. Please provide a reproducible certification of this finite matrix property, for example a high-precision Schur factorization with interval arithmetic or the code and data used for the eigenvalue and Jordan-structure audit.","section":"IV.B and V.A"},{"comment":"In the proof of (ii) implies (i), the assertion that the imaginary-axis part of the chosen logarithm G is semisimple because A has semisimple unit-modulus eigenvalues is correct but terse, and it is important since the construction claims insensitivity to the logarithm branch. A short justification, namely that a nontrivial Jordan block of G at a pure-imaginary eigenvalue would exponentiate to a nontrivial Jordan block of A on the unit circle, would make the proof fully rigorous and would remove any doubt about branch choices.","section":"Theorem 4 proof"}],"minor_comments":[{"comment":"The text says 'Combining Theorems 9 and 10 with Theorem 1', but the manuscript contains Propositions 9 and 10 and Proposition 1, not Theorems by those numbers; please correct the cross-references.","section":"IV.B"},{"comment":"The cross-references are inconsistent: Remark 6 cites a nonexistent 'Theorem 6', and Section V refers to 'Theorem 11' where Remark 11 is meant. The proof of Theorem 4 and Section VI also call Lemma 3 'Theorem 3'. Please harmonize all numbered references.","section":"Remark 6 and Section V"},{"comment":"The final sentence 'leaves the hypotheses of Theorem 4' is incomplete; it should say 'violates the hypotheses of Theorem 4' or 'falls outside the hypotheses of Theorem 4'.","section":"Remark 2"},{"comment":"The statement that 'the largest dyadic-power norm sampled in the numerical audit is 40.68' should be defined precisely: over which set of exponents was the maximum taken, and why does checking dyadic powers suffice for the semisimplicity audit?","section":"V.A"},{"comment":"Please clarify the numerical tolerance used to declare the nine unit-modulus eigenvalues semisimple, and rephrase 'dense density matrix' in Table IV as 'density-matrix storage requirement' to avoid ambiguity.","section":"Figure 1 and Table IV"}],"recommendation":"major_revision","confidential_remarks":"The central theorem is sound and the numerical residual checks are convincing. My recommendation is driven by the reproducibility of the power-boundedness audit for A2, which is the hinge between the general theorem and the advertised D2Q9 application. If the editor is willing to accept numerical verification without shipped code or certified error bounds, the paper would be close to acceptance after the cross-reference and clarity fixes; otherwise the audit must be made reproducible."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Bottom line: this paper's real contribution is Theorem 4, and it holds up. The iff characterization—invertible and power bounded—for autonomous GKSL realization on vacuum coherences is new, and the proof is self-contained. The (i)⇒(ii) direction via metric contraction is straightforward; the (ii)⇒(i) construction via Schur decomposition, Lyapunov equation for the stable block, and a semisimple neutral block is clean and explicit. The GKSL, Kraus, and Stinespring data all follow without hand-waving. I checked the key steps in the logic and they're sound.\n\nThe Carleman LB application is a genuine concrete test: compiling collision and periodic streaming into a single endpoint and verifying the theorem's hypotheses is exactly the kind of demonstration the field needs. The numerical residuals in Table I are at the 1e-14 level, and the truncation error scaling with amplitude and order is consistent with a degree-two truncation. The paper is also honest about what it doesn't claim: no quantum advantage, no analytic truncation bound, and the principal logarithm unavailable due to negative real eigenvalues.\n\nThe soft spot is the one the stress-test flags. The power boundedness of A2 on the 3x3 periodic lattice—specifically the semisimplicity of the nine unit-modulus eigenvalues—is verified numerically, with a structural argument only for the conserved +1 sector. Since Theorem 4 requires exactly this condition to invoke the GKSL realization, the application's advertised result sits on that numerical audit. It's a finite matrix check, and the paper provides complete conventions in Appendix A to reproduce it, so I don't see this as a fatal flaw. But without shipped code or an analytic argument for the remaining unit-modulus eigenvalues, the example is one missing Jordan block away from being outside the theorem's scope. The paper itself acknowledges this by calling it an audit, so the authors aren't hiding it.\n\nFor whom: anyone working on quantum simulation of nonlinear dynamics, Carleman linearization, or open quantum realizations of nonunitary maps. A serious referee should engage. My recommendation: send to peer review. The theorem is the payload and deserves publication; the application should be accepted conditionally, with a request for either the code or an analytic proof of the unit-modulus semisimplicity.","headline":"The iff theorem is solid and new; the D2Q9 application is a valid but numerically hinged demonstration that deserves peer review with a request for the code or an analytic semisimplicity proof.","tokens_in":12885,"tokens_out":2216,"would_cite":true,"duration_ms":19502,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81S22","15A16","76M28"],"pacs":[],"model":"deepseek-v4-flash","headline":"A finite linear map is autonomous-GKSL-realizable exactly when it is invertible and power bounded, and the construction gives the Hamiltonian, jump operators, and one-shot encoding-decoding scheme.","keywords":["autonomous GKSL realization","power-bounded linear dynamics","Carleman linearization","lattice Boltzmann method","open quantum systems","vacuum coherence encoding","nonunitary linear maps","multiple-relaxation-time collision"],"falsifier":"Recompute the order-two Carleman endpoint $A_2$ on the $3\\times3$ periodic lattice with the paper's exact D2Q9 parameters and inspect its Jordan form; finding any unit-modulus eigenvalue with a nontrivial Jordan block, or any eigenvalue above $1$ in modulus beyond roundoff, would falsify the claimed power boundedness and hence the existence of the autonomous GKSL realization.","tokens_in":11996,"feed_emoji":"⚛️","tokens_out":10366,"duration_ms":80680,"temperature":0.7,"pith_summary":"Carleman lifting converts nonlinear polynomial dynamics into a finite linear system, but the resulting finite endpoint is generally nonunitary and therefore cannot be run directly on a closed quantum computer. The paper proves that such an endpoint admits an autonomous open-system realization exactly when it is invertible and power bounded: spectral radius at most one, with every unit-modulus eigenvalue semisimple. The proof is constructive, producing a time-independent Hamiltonian, finitely many jump operators, a Kraus family, and a Stinespring dilation, so the nonunitary map can be evolved over repeated timesteps with one encoding and one decoding and no postselection. The criterion is applied to the complete D2Q9 multiple-relaxation-time lattice Boltzmann collide-and-stream step, whose order-two Carleman endpoint on a $3\\times3$ periodic lattice is verified admissible; the GKSL evolution matches the classical Carleman trajectory to about $10^{-14}$ over ten timesteps while the deviation from the nonlinear LB dynamics is the expected degree-three truncation error. If correct, the result replaces a structural obstruction with a precise matrix-level criterion for when finite nonunitary dynamics are physically realizable as autonomous open quantum evolution.","feed_headline":"Exactly the power-bounded invertible maps are Lindblad-realizable","feed_subtitle":"One open-system map reproduces a nonunitary endpoint, one encoding and one decoding, in D2Q9 lattice Boltzmann.","key_machinery":"The load-bearing object is the pair consisting of a positivity metric $P$ for the generator logarithm and the vacuum-coherence encoding. Given $G=\\tau^{-1}\\log A$, the condition $PG+G^*P\\preceq0$ makes $e^{tG}$ a contraction in the $P$-metric, and after the congruence $D=\\Sigma G\\Sigma^{-1}$ with $\\Sigma=P^{1/2}$, the dissipative part $\\Gamma=-(D+D^*)\\succeq0$ is factored into row vectors that become jump operators $L_\\ell=|0\\rangle r_\\ell$. The logical state $z$ lives in the coherence $|v(z)\\rangle\\langle0|+|0\\rangle\\langle v(z)|$ on $\\mathcal H=\\mathrm{span}\\{|0\\rangle\\}\\oplus\\mathbb C^m$, with $v(z)=\\Sigma Jz/\\kappa$; the positivity budget $\\|v(z)\\|^2\\le1/(m+1)$ fixes the required scale $\\kappa$. These pieces make dissipation a physical contraction of the logical amplitude rather than a postselection of a unitary block, which is what allows the same time-independent generator to be re-used for every timestep.","core_discovery":"The paper's Theorem 4 states that, for a real $m\\times m$ matrix $A$ and a fixed timestep $\\tau>0$, there exist a generator $G$, a full-rank embedding $J$, and a Hermitian $P\\succ0$ with $e^{\\tau G}J=JA$ and $PG+G^*P\\preceq0$ if and only if $A$ is invertible and power bounded. In the forward direction, power boundedness implies a branch of $\\tau^{-1}\\log A$ has spectrum in the closed left half-plane with semisimple imaginary-axis part, so a Schur separation and Lyapunov equations supply the metric $P$. The logical vector is stored in the off-diagonal vacuum coherences of a density matrix, and the generator's dissipative part is factored into jump operators $L_\\ell=|0\\rangle r_\\ell$; the coherence block then evolves by $\\dot v = Dv$ with $D=\\Sigma G\\Sigma^{-1}$, while the full state remains normalized and positive. The identity $\\mathrm{decode}(e^{n\\tau\\mathcal L}E(z))=A^n z$ holds for every $n$ with one encoding and one decoding. For the compiled endpoint $A_K=C_K(P_S)C_K(F_C)$ on the $3\\times3$ periodic lattice at order two, the numerical audit finds spectral radius $1$ and nine unit-modulus eigenvalues, all semisimple, so the construction applies; the realized channel agrees with $A_K^n z$ to $1.1\\times10^{-14}$ over ten steps.","pith_inferences":["The endpoint-only character of Theorem 4 suggests the same realizability test can be applied to other numerical procedures that produce finite linear propagators, such as moment hierarchies or coarse-grained linearizations, without re-deriving a Lindblad construction in each case.","Because the compiled generator costs $O(d_K^3)$ classical work and readout scales with the coherence amplitude and the condition number of $\\Sigma J$, practical quantum advantage would have to come from sparse or structured logarithms and improved readout; the paper itself disclaims advantage but its construction identifies exactly where such improvements would enter.","A fully analytic proof of semisimplicity for all unit-modulus eigenvalues of the LB endpoint would remove the numerical audit from the load-bearing path and extend the result to larger lattices where the dense audit becomes expensive.","The complex-drift construction suggests that a real-valued open-system realization would require a larger state space, and comparing Hilbert dimensions might reveal whether realification ever buys a smaller physical footprint."],"forward_implications":["Any finite nonunitary linear endpoint that is invertible and power bounded can be implemented as autonomous open-system dynamics with one encoding, one decoding, and no intermediate measurements or feedback.","The criterion depends only on the endpoint matrix, so it applies to any source of finite linear dynamics, not only Carleman sections or lattice Boltzmann methods.","The parameter choice $\\tau_\\nu=1$ for the LB relaxation makes the endpoint singular and therefore non-realizable; endpoints with spectral radius above one or with nontrivial Jordan blocks on the unit circle are excluded for the same reason.","For admissible endpoints the construction also yields the equivalent CPTP channel, Kraus family, and Stinespring dilation, so the realization is not just a semigroup identity but a full physical dilation.","The GKSL realization exactly reproduces the Carleman trajectory, so all observed discrepancy with the true LB dynamics is Carleman truncation error, which scales cubically in perturbation amplitude at order two."],"supporting_citations":[{"why":"Supplies Carleman linearization, whose finite sections are the endpoints the theorem realizes.","marker":"[1]"},{"why":"Defines the Gorini-Kossakowski-Sudarshan GKSL generators that the paper takes as its realizability target.","marker":"[3]"},{"why":"Defines Lindblad generators for the autonomous open-system semigroup.","marker":"[4]"},{"why":"Gives the matrix-analysis fact that powers of a Jordan block on the unit circle grow polynomially, forcing the semisimplicity condition.","marker":"[6]"},{"why":"Supplies Stinespring dilation, used to state the physical dilation of the realized channel.","marker":"[7]"},{"why":"Supplies the completely-positive map characterization underlying the Kraus family.","marker":"[8]"},{"why":"Supplies the Kraus representation theorem used to build the channel.","marker":"[9]"},{"why":"Provides the D2Q9 multiple-relaxation-time moment basis and equilibrium used to compile the lattice Boltzmann endpoint.","marker":"[10]"},{"why":"Gives a previous deterministic CPTP realization of the MRT relaxation block, whose scope the present construction extends to the complete Carleman endpoint.","marker":"[15]"}],"fun_headline_variants":["Lindblad-realizable maps are exactly power-bounded invertible","Power-bounded invertible matrices: the Lindblad-realizable ones","Necessary and sufficient: power-bounded invertibility for Lindblad realization","Carleman lattice Boltzmann: a GKSL realization without endpoint postselection","One encoding, one decoding: Lindblad dynamics exactly reproduces Carleman steps"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise of the application is the numerical audit, not a proof, that all nine unit-modulus eigenvalues of the compiled $3\\times3$ endpoint are semisimple; the analytic argument covers only the conserved $+1$ sector.","fun_headline_variants_meta":{"raw":{"variants":["Lindblad-realizable maps are exactly power-bounded invertible","Power-bounded invertible matrices: the Lindblad-realizable ones","Necessary and sufficient: power-bounded invertibility for Lindblad realization","Carleman lattice Boltzmann: a GKSL realization without endpoint postselection","One encoding, one decoding: Lindblad dynamics exactly reproduces Carleman steps"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000678,"raw_usage":{"total_tokens":3150,"prompt_tokens":1080,"completion_tokens":2070,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":696,"completion_tokens_details":{"reasoning_tokens":1974}},"tokens_in":696,"tokens_out":2070,"duration_ms":13579,"temperature":1.0,"reasoning_tokens":1974,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T10:21:18.648806+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Recompute the order-two Carleman endpoint $A_2$ on the $3\\times3$ periodic lattice with the paper's exact D2Q9 parameters and inspect its Jordan form; finding any unit-modulus eigenvalue with a nontrivial Jordan block, or any eigenvalue above $1$ in modulus beyond roundoff, would falsify the claimed power boundedness and hence the existence of the autonomous GKSL realization.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies Carleman linearization, whose finite sections are the endpoints the theorem realizes."},{"cited_title":"(A12) be the flat population index","cited_arxiv_id":null,"evidence_quote":"Defines the Gorini-Kossakowski-Sudarshan GKSL generators that the paper takes as its realizability target."},{"cited_title":"For an off-diagonal monomial δfiδfj, the coefficient includes the two symmetric bilinear contributions before being stored once","cited_arxiv_id":null,"evidence_quote":"Defines Lindblad generators for the autonomous open-system semigroup."},{"cited_title":"Gorini, A","cited_arxiv_id":null,"evidence_quote":"Supplies Stinespring dilation, used to state the physical dilation of the realized channel."},{"cited_title":"Succi,The Lattice Boltzmann Equation for Complex States of Flowing Matter(Oxford University Press, 2018)","cited_arxiv_id":null,"evidence_quote":"Gives a previous deterministic CPTP realization of the MRT relaxation block, whose scope the present construction extends to the complete Carleman endpoint."}],"review_version":1}