{"id":"2f9566f7-1da2-451e-9e0c-216b8fb57967","arxiv_id":"1908.01955","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A new dynamical entropy on CAR algebras is formulated following the AOW construction, and it is computed to vanish for a 2x2 matrix algebra example.","lead":"The paper defines a new dynamical entropy for CAR algebras, the mathematical model of fermionic systems, by adapting the existing AOW entropy construction. It then computes the entropy for a simple 2x2 matrix model, obtaining 0, and interprets this as a consistency check against known results.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Eq. (50) has A_{k,+}=1 for every time-step site, so -Tr ρ_n log ρ_n = n log 2; Definition 9's -∑P log P is not the entropy of the Markov chain and the claimed AOW extension is unsupported.","rationale":"The paper's construction is coherent up to Eq. (49), and the P probabilities in Lemma 1 are computed consistently. The load-bearing step, however, is the identification in Eq. (52) of the Shannon entropy of P with the dynamical entropy of the CAR Markov chain. That identification is exactly what fails: the CAR relation (29) forces every A_{k,+} to be the identity, making the chain state in Eq. (50) maximally mixed and independent of the dynamics. The von Neumann entropy of ρ_n is n log 2, not -∑P log P. The reader identified the same root cause (trivial time-step sites), so the conditional verdict is appropriate in spirit, but the direct numerical mismatch shows this is a substantive gap rather than an easily addressable limitation. The authors' own conclusion limits the construction to single-site automorphisms, but the problem is more basic: even for that case the state carries no dynamical information. The paper can be salvaged only by explicitly redefining the object as a trajectory entropy and proving its dynamical-entropy properties, or by constructing a Markov chain with non-identity time-step sites. As written, the central claim that this extends AOW entropy to CAR algebras is not supported.","tokens_in":10063,"tokens_out":9313,"duration_ms":97329,"concrete_test":"For the §6 model take λ=1 and compute both quantities at n=1. The paper's formula gives P_1=1, P_2=0, hence -∑P log P=0 and h=0. But from Eq. (50), ρ_1=(1/2) A_{1,+}=(1/2)1 on the two-dimensional site algebra, so -Tr ρ_1 log ρ_1=log 2. Because A_{1,+}=1 by Eq. (29), this is not a special case but a direct test of whether Eq. (50) supports Definition 9.","verdict_should_be":"REJECT","load_bearing_attack":"The construction's defining state is ρ_n in Eq. (50). Its operator part is A_{n,+}⊗...⊗A_{1,+}, and by the CAR relation (29) each A_{k,+}=a_k a_k^*+a_k^*a_k is the identity. Thus ρ_n = (1/2^n)(∑_{i1...in} P_{i1...in}) 1 = (1/2^n) 1, a maximally mixed, factorized state that is independent of θ, γ and ρ. Its von Neumann entropy is therefore n log 2 for every n. In the original AOW derivation, Eq. (8) equals -∑P log P because ρ_n is diagonal with eigenvalues P_i; here that eigenvalue structure is absent. Definition 9 is a Shannon entropy of the trajectory distribution P, not the entropy of the Markov-chain state ρ_n, so it is not the AOW entropy of this chain. The §6 example hides this: for n=1, ρ_1 is 1/2 times the identity, while the paper's formula gives H(λ); the two coincide only at λ=1/2.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims to construct a dynamical entropy for CAR algebras by adapting the Accardi-Ohya-Watanabe (AOW) construction. It first recalls the AOW entropy for von Neumann algebras, then reviews CAR algebras and the Markov-state framework of Accardi-Fidaleo-Mukhamedov. In Section 5 it introduces a conditional expectation E_{gamma,theta} of the form (47), derives a state rho_n on the n-time-step algebra in Eq. (50), and defines in Definition 9 the entropy h_{phi_0}(theta) as the supremum over partitions gamma of the limsup of (1/n) times -sum P_{i_1...i_n} log P_{i_1...i_n}, where P is given by Eq. (51). Section 6 computes this quantity for a 2x2 matrix algebra with a unitary automorphism, obtaining the value 0, and cites consistency with the known zero entropy of unitary automorphisms.","tokens_in":10334,"tokens_out":5560,"duration_ms":61177,"significance":"If the construction were sound, it would provide a fermionic analogue of AOW dynamical entropy and would offer a tool for quantifying information in quantum spin systems. The paper is transparent, uses no fitted parameters, and the 2x2 computation is explicit and easy to follow; the attempted comparison with the known result for unitary automorphisms is a reasonable external consistency check. However, the central identification of -sum P log P with the entropy of the Markov-chain state fails because the state rho_n in Eq. (50) is maximally mixed and independent of the dynamics. The proposed quantity is therefore a classical Shannon entropy of the trajectory distribution P, not the AOW entropy of a quantum Markov chain on a CAR algebra. The claimed extension is not established, and the defect is not a local presentation issue but an error in the main construction.","major_comments":[{"comment":"In Eq. (50), rho_n = (1/2^n) sum_{i_1,...,i_n} P_{i_1...i_n} A_{n,+} otimes ... otimes A_{1,+}. By the CAR relation (29), A_{k,+} = a_k a_k^* + a_k^* a_k = 1 for every k, so rho_n = (1/2^n) I on A_[1,n]. In particular, rho_n is maximally mixed and independent of theta, gamma, and rho. Its von Neumann entropy is n log 2. In the AOW derivation, Eq. (8) equals -sum P log P because rho_n is diagonal with eigenvalues P; here that eigenvalue structure is absent. Therefore Definition 9 is not the von Neumann entropy of the Markov-chain state and is not the AOW entropy of this chain. The central claim of the paper is unsupported.","section":"Section 5, Eq. (50) and Definition 9"},{"comment":"The model computation illustrates the failure. For n = 1, Eq. (50) gives rho_1 = (1/2) I, so -Tr rho_1 log rho_1 = log 2, whereas the expression in Definition 9 gives H(lambda) = -lambda log lambda - (1-lambda) log(1-lambda); the two coincide only at lambda = 1/2. The reported value 0 in Eq. (63) follows from dividing the trajectory entropy by n, and the same value would be obtained for any dynamics with only two non-zero trajectory probabilities. Thus the computation does not test the entropy of the Markov-chain state, and Remark 5's consistency check with unitary automorphisms does not validate Definition 9.","section":"Section 6, Lemma 1 and Eq. (63)"},{"comment":"The map E_{gamma,theta} defined in Eq. (47) is not shown to be an Umegaki conditional expectation from A_[0,n] to A_0. To be a conditional expectation it must satisfy E(1_{A_[0,n]}) = 1_{A_0}, E(a) = a for a in A_0, complete positivity, and the module property; none of these is verified in the text. The partial trace uses the normalized trace implicitly, and the role of Theta_n is not explained. Since the derivation of the state in Eq. (50) relies entirely on this map, this is a load-bearing gap in the construction.","section":"Section 5, Eq. (47)"}],"minor_comments":[{"comment":"There are numerous typographical errors, including 'oprator' (p. 7), 'Therfore' and 'developped' (p. 11), and 'Acca rdi' in the abstract; a careful proofreading pass is needed.","section":"Throughout"},{"comment":"The same symbol E_{gamma,theta} is used for the AOW transition expectation in Eq. (2) and for the CAR conditional expectation in Eq. (47), although these are mathematically different objects; distinct notation would avoid confusion.","section":"Sections 2 and 5"},{"comment":"The Conclusion states that lattice translations and Bogoliubov automorphisms require a reformulation of the entropy; this is a significant limitation and should be reflected in the abstract and introduction, not only in the concluding remarks.","section":"Section 7"},{"comment":"The reference to [13] for the statement that unitary automorphisms have zero complexity would be more useful with a precise theorem number or page, since the property depends on the class of algebras and the definition of entropy used.","section":"Section 6, Remark 5"}],"recommendation":"reject","confidential_remarks":"The central error is fatal for the paper's stated contribution: Definition 9 defines a trajectory Shannon entropy, not the entropy of the quantum Markov-chain state, because rho_n in Eq. (50) collapses to a maximally mixed state. This is not a minor gap that can be fixed by editing; the construction would need to be fundamentally reworked to produce a non-trivial state whose von Neumann entropy is related to the trajectory probabilities. The manuscript's self-identified limitation in the Conclusion that lattice translations and Bogoliubov automorphisms require reformulation reinforces the impression that the proposed entropy does not capture the CAR dynamics."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"You should know this paper before citing it: the claimed construction of dynamical entropy on CAR algebras has a hole in the derivation. The authors define a Markov-chain density operator ρ_n in Eq. (50), but because each A_{k,+} is the identity (from the CAR anticommutator), ρ_n is simply 2^{-n} times the identity on the n-site system—independent of θ, γ, and ρ. Its von Neumann entropy is n log 2, not the -∑P log P of Eq. (52). The identification made in the AOW paper (Eq. (8)) relied on ρ_n being diagonal with eigenvalues P_i; that structure is absent here. So Definition 9 is not the AOW entropy of the Markov chain. It is a Shannon entropy of the trajectory distribution, which is a legitimate object, but the paper does not frame it that way.\n\nWhat the paper does well: it is clearly written, gives a careful review of CAR algebras and Markov chains, and the 2×2 example is computed correctly. The fact that the entropy vanishes for the unitary automorphism is consistent with known results for finite-dimensional unitary dynamics. The definition is explicit and could in principle be studied on its own.\n\nThe soft spots are proportionate to this central flaw. Beyond the collapse of ρ_n, the construction only handles automorphisms of a single-site algebra, not the full CAR algebra; the authors concede this in the conclusion. There is also no comparison with other quantum dynamical entropies (e.g., Connes–Narnhofer–Thirring), which would help position the result. The example is too trivial to validate anything—it gives zero because the trajectory distribution is constant, not because of any deep property.\n\nWho is this for? Specialists in noncommutative dynamical entropy or fermionic quantum information who want to see a concrete attempt to extend AOW entropy to CAR algebras. They will get some review material and a cautionary example of how conditional expectations can degenerate.\n\nMy recommendation: this deserves a serious referee, not a desk reject, because the topic is legitimate and the flaw is fixable by reframing the definition as a trajectory entropy. But as it stands, the central justification is incorrect. I would send it back for major revision with a clear request to either fix the Markov-chain derivation or explicitly redefine the quantity and drop the AOW-entropy claim.","headline":"A clear but flawed attempt to transplant AOW entropy to CAR algebras: the Markov-chain state collapses to the maximally mixed state, so the entropy they define is not the von Neumann entropy of that chain.","tokens_in":10782,"tokens_out":2780,"would_cite":false,"duration_ms":33114,"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 paper defines a dynamical entropy on CAR algebras and shows it vanishes on a two-state spin model.","keywords":["dynamical entropy","CAR algebra","fermion systems","AOW entropy","quantum Markov chain","Umegaki conditional expectation","operator partition","quantum spin system"],"falsifier":"Compute $h_{\\varphi_0}(\\theta)$ for a CAR automorphism that is not a single-site unitary rotation and is expected to produce positive dynamical entropy, such as a Bogoliubov transformation or a one-step lattice shift on an infinite CAR algebra; if formula (52) returns zero because the intermediate even parts are forced to be the identity, then the construction is not measuring the full dynamics.","tokens_in":9845,"feed_emoji":"⚛️","tokens_out":7226,"duration_ms":72008,"temperature":0.7,"pith_summary":"The paper sets out to build a dynamical entropy for CAR algebras, the C*-algebras describing fermionic spin systems. It adapts the Accardi-Ohya-Watanabe (AOW) entropy, originally formulated through quantum Markov chains on matrix algebras, to the CAR setting by introducing an Umegaki conditional expectation from $A_{[0,n]}$ to $A_0$. The resulting object, Definition 9, is the supremum over operator partitions $\\gamma$ of the limsup of the Shannon entropy of the trajectory probabilities $P_{i_1\\cdots i_n}=\\operatorname{Tr}_0\\,\\theta^n(\\gamma_{i_n})\\cdots\\theta(\\gamma_{i_1})\\rho\\,\\theta(\\gamma_{i_1})^*\\cdots\\theta^n(\\gamma_{i_n})^*$. If the construction is sound, it supplies a per-step information rate for fermionic time evolutions, and the authors test it on a $2\\times2$ spin model where it returns zero for every initial state.","feed_headline":"Fermionic dynamics now has its own entropy rate","feed_subtitle":"The construction adapts AOW entropy to CAR algebras and yields zero on a 2x2 spin model.","key_machinery":"The load-bearing object is the trajectory probability $P_{i_1\\cdots i_n}=\\operatorname{Tr}_0\\,\\theta^n(\\gamma_{i_n})\\cdots\\theta(\\gamma_{i_1})\\rho\\,\\theta(\\gamma_{i_1})^*\\cdots\\theta^n(\\gamma_{i_n})^*$, a time-ordered correlation kernel on the CAR algebra. It is built from an operator partition $\\gamma$ of the identity, a $*$-automorphism $\\theta$ of $A_0$, and the stationary density $\\rho$; the conditional expectation $E_{\\gamma,\\theta}$ in equation (47) propagates this weight from one site to the next while replacing each intermediate site by the normalized even part $A_{k,+}=a_ka_k^*+a_k^*a_k=1$. The machinery turns the Markov-chain density $\\rho_n$ into a classical probability distribution, so the Shannon entropy of that distribution, divided by $n$ and subjected to a limsup, is the dynamical entropy.","core_discovery":"On its own terms, the paper claims that the correct dynamical entropy for a quadruple $(A,\\varphi_0,\\gamma,\\theta)$ is $h_{\\varphi_0}(\\theta):=\\sup_\\gamma\\{-\\limsup_{n\\to\\infty}\\frac{1}{n}\\sum_{i_1,\\cdots,i_n}P_{i_1\\cdots i_n}\\log P_{i_1\\cdots i_n}\\}$, and that this is well defined because $\\sum P_{i_1\\cdots i_n}=1$. The density on $A_{[1,n]}$ produced by iterating the conditional expectation factorizes into an even part $(1/2^n)(A_{n,+}\\otimes\\cdots\\otimes A_{1,+})$ times the boundary weight built from $P_{i_1\\cdots i_n}$, so the entropy reduces to the Shannon entropy of that classical trajectory distribution. The authors further claim that for the $2\\times2$ matrix algebra with partition $\\gamma_1=a_0^*a_0$, $\\gamma_2=a_0a_0^*$ and automorphism $\\theta(a)=UaU^*$ with $U=e^{ia_0^*a_0}$, the only nonzero trajectory probabilities are $P_{1\\cdots1}=\\lambda$ and $P_{2\\cdots2}=1-\\lambda$, making the entropy zero for every $\\lambda$.","pith_inferences":["Because every intermediate site is forced to the even identity $A_{k,+}=1$, the construction reads the time evolution as a classical random walk on partition labels; I would expect $h_{\\varphi_0}(\\theta)$ to vanish for any finite-dimensional unitary automorphism, not only the $2\\times2$ example.","The paper itself leaves lattice translations and Bogoliubov automorphisms for future work; a concrete extension would be to replace the single-site conditional expectation by a genuinely nonlocal family $\\{E_n\\}$ acting on $A_{[0,n+1]}$, and then check whether the resulting entropy is positive for free-fermion transport.","A testable consequence of this boundary-only construction is that computing (52) for a shift automorphism by labelling sites will still return zero, because the intermediate even factors project out bulk correlations; that would indicate the entropy is measuring boundary information rather than full fermionic dynamics."],"forward_implications":["The CAR-algebra analogue of AOW entropy is now available, so fermionic lattice observables can be assigned a per-step information rate rather than only matrix-algebra observables.","For the occupation partition of a single spin, the entropy is exactly zero for every initial state $\\lambda$, which the paper reads as consistency with the known vanishing of entropy for unitary automorphisms of finite-dimensional algebras.","Because the intermediate bulk factors in equation (49) are all $A_{k,+}=1$, the entropy depends on the dynamics only through the boundary distribution $P_{i_1\\cdots i_n}$; any two automorphisms producing the same trajectory probabilities have equal entropy."],"supporting_citations":[{"why":"supplies the definitions of Markov states and chains on the CAR algebra that the entropy construction extends.","marker":"[2]"},{"why":"supplies the time-ordered correlation kernel concept used to identify the trajectory probabilities $P_{i_1\\cdots i_n}$.","marker":"[3]"},{"why":"is the original AOW dynamical entropy through quantum Markov chains that Definition 9 is built on.","marker":"[6]"},{"why":"supplies the Umegaki conditional expectation used to build the transition map $E_{\\gamma,\\theta}$ from $A_{[0,n]}$ to $A_0$.","marker":"[16]"},{"why":"provides the known vanishing of dynamical entropy for unitary automorphisms, used to interpret the zero result in the $2\\times2$ model.","marker":"[13]"}],"fun_headline_variants":["Fermionic entropy rate: AOW construction adapted","CAR algebras get dynamical entropy, zero in 2x2 case","Entropy for quantum spin systems: new definition","AOW entropy on CAR, vanishes on 2x2 matrix","Dynamical entropy for fermions: construction and 2x2 test"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The construction stands on the assumption that at every intermediate time step the site observable can be replaced by its normalized even part $A_{k,+}=1$, so the bulk of the Markov chain is maximally mixed and the dynamics is read only through the boundary trajectory probabilities $P_{i_1\\cdots i_n}$; if bulk correlations matter for information, this entropy will miss them.","fun_headline_variants_meta":{"raw":{"variants":["Fermionic entropy rate: AOW construction adapted","CAR algebras get dynamical entropy, zero in 2x2 case","Entropy for quantum spin systems: new definition","AOW entropy on CAR, vanishes on 2x2 matrix","Dynamical entropy for fermions: construction and 2x2 test"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000383,"raw_usage":{"total_tokens":2029,"prompt_tokens":946,"completion_tokens":1083,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":562,"completion_tokens_details":{"reasoning_tokens":997}},"tokens_in":562,"tokens_out":1083,"duration_ms":8190,"temperature":1.0,"reasoning_tokens":997,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T14:59:59.027787+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute $h_{\\varphi_0}(\\theta)$ for a CAR automorphism that is not a single-site unitary rotation and is expected to produce positive dynamical entropy, such as a Bogoliubov transformation or a one-step lattice shift on an infinite CAR algebra; if formula (52) returns zero because the intermediate even parts are forced to be the identity, then the construction is not measuring the full dynamics.","supporting_citations":[{"cited_title":"Accardi, F","cited_arxiv_id":null,"evidence_quote":"supplies the definitions of Markov states and chains on the CAR algebra that the entropy construction extends."},{"cited_title":"Accardi, A","cited_arxiv_id":null,"evidence_quote":"supplies the time-ordered correlation kernel concept used to identify the trajectory probabilities $P_{i_1\\cdots i_n}$."},{"cited_title":"Accardi, M","cited_arxiv_id":null,"evidence_quote":"is the original AOW dynamical entropy through quantum Markov chains that Definition 9 is built on."},{"cited_title":"Umegaki : Conditional expectations in an operator al gebra, IV, (entropy and infor- mation), Kodai Mathematical Seminar Reports, 14, 59-85 (1962)","cited_arxiv_id":null,"evidence_quote":"supplies the Umegaki conditional expectation used to build the transition map $E_{\\gamma,\\theta}$ from $A_{[0,n]}$ to $A_0$."},{"cited_title":"Neshveyev, E","cited_arxiv_id":null,"evidence_quote":"provides the known vanishing of dynamical entropy for unitary automorphisms, used to interpret the zero result in the $2\\times2$ model."}],"review_version":1}