{"id":"96a10bb8-0477-4782-95c8-3c533809ab98","arxiv_id":"2608.08215","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Opposite post-processing orders of exterior and interior fermionic horizon channels explain why quantum resources decrease in accessible sectors and increase in inaccessible sectors as the horizon parameter grows.","lead":"Physicists prove that the accessible and hidden halves of a fermionic mode near a horizon obey opposite channel-ordering rules as the horizon parameter grows, which forces quantum resources to decrease on the outside and increase on the inside. This one structural fact unifies many earlier, case-by-case reports of Hawking-induced resource redistribution.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified.","rationale":"In good faith, the paper's central claim is a conditional channel-theoretic statement, and the condition is exactly the effective mode transformation in Eq. (1). Within that model, the algebra is correct. I verified the exterior and interior channel matrices from the isometry and partial traces, the CPTP property via the provided Kraus operators, and the two post-processing identities by direct substitution for a general 2x2 density matrix. The multipartite componentwise ordering is a valid tensorization because each affected mode transforms independently and the intermediate maps are product CPTP maps. Corollary 2 is a direct consequence: for componentwise ordered q <= q', the exterior output at q' is obtained from the exterior output at q by the intermediate map, while the interior output at q is obtained from the interior output at q' by its intermediate map; monotonicity of R under the relevant map then gives the stated inequalities. Every concrete application in Secs. 3.1-3.4 correctly establishes the needed monotonicity condition: local product CPTP maps are LOCC for entanglement measures; the exterior and interior intermediate maps are SIO in the occupation-number basis; the adjoint of a local CPTP map is unital and CP, so pulled-back POVMs are valid; and the covariance of product-of-marginals reference states under product local channels, together with the data-processing inequality, gives the correlation-functional monotonicity. The numerical GHS application is illustrative rather than load-bearing, and the mixed-sector non-monotonicity shown there is consistent with the paper's explicit scope restriction. The limitations listed in Sec. 5 (single-mode approximation, unresolved spin, bosonic fields, and the absence of a fully algebraic fermionic treatment) are genuine but acknowledged, and they weaken the physical interpretation without invalidating the channel-theoretic result in the stated model. Therefore I find no internal flaw or hidden assumption that would change the reader's verdict.","tokens_in":19432,"tokens_out":17371,"duration_ms":185944,"concrete_test":"Recompute the two single-mode composition identities in exact arithmetic over a dense grid of 0<q1<q2<1/2 with random Hermitian 2x2 input states, verifying that ||E_p^out(E_q1^out(rho)) - E_q2^out(rho)|| and ||D_eta(E_q2^in(rho)) - E_q1^in(rho)|| vanish to machine precision; additionally regenerate Fig. 2 with an independent implementation of the QJSD collective coherence to confirm the monotone homogeneous-sector curves.","verdict_should_be":"UNCHANGED","load_bearing_attack":"No significant objection identified. The central channel-ordering theorem is internally sound: I checked the matrix forms of E_q^out (Eq. 4) and E_q^in (Eq. 5), the stated Kraus representations, and the two composition identities. For p=(q2-q1)/(1-q1), direct substitution verifies E_p^out ∘ E_q1^out = E_q2^out; for eta=q1/q2, D_eta ∘ E_q2^in = E_q1^in. The multipartite extension in Theorem 1 follows by tensoring these local identities, and Corollary 2 follows from the assumed monotonicity of R under the corresponding intermediate maps. The resource-theoretic applications each supply the required monotonicity condition: entanglement monotones under local product CPTP maps, occupation-basis coherence monotones under SIO maps (the intermediate maps are indeed SIO), Bell-functional values via unital CP pullback of POVMs, and DPI-based correlation functionals via the covariance identity in Eq. (24). The only caveat is external validity: the claims are conditional on the effective single-mode, two-level transformation of Eq. (1), the local product structure of Sec. 2.3, and the mode-qubit partial-trace convention. These restrictions are stated explicitly in Sec. 5 and do not contradict the channel-level claim, which is a theorem within the declared model.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper proposes a structural explanation for recurring monotonic trends of quantum resources near horizons. Starting from the effective single-mode, two-level fermionic mode transformation (Eq. (1)), the authors define the exterior channel E_q^out and the interior channel E_q^in by partial-tracing over the complementary output (Eqs. (4)-(5)). They prove that for 0<q_1<q_2<1/2 the exterior family satisfies E_q2^out = E_p^out ∘ E_q1^out with p=(q2-q1)/(1-q1), whereas the interior family satisfies E_q1^in = D_{q1/q2} ∘ E_q2^in (Eqs. (8) and (11)); hence the two families are ordered in opposite directions in the post-processing preorder. Theorem 1 extends this componentwise to multipartite homogeneous sectors, and Corollary 2 turns the ordering into functional inequalities for any functional that is non-increasing under the intermediate maps. Sections 3.1-3.4 apply this to entanglement monotones, SIO-coherence monotones, optimized Bell-functionals, and contractive-divergence correlation functionals; Section 4 gives a QJSD collective-coherence example in GHS spacetime. The paper explicitly states the limits of the single-mode, mode-qubit model in Section 5.","tokens_in":19603,"tokens_out":13310,"duration_ms":135418,"significance":"The significance of the paper lies in explaining many previously state-, measure-, and spacetime-specific numerical observations by a single channel-level fact: the exterior and interior horizon channels have opposite post-processing orders. The central composition identities are simple and verified by direct substitution; the corollaries follow rigorously from standard monotonicity axioms and the data-processing inequality. The paper does not overclaim its external validity: Section 5 acknowledges the single-mode approximation, the neglect of spin resolution, the infinite-dimensional bosonic case, and the mode-qubit partial-trace convention. The mixed exterior-interior sector is explicitly excluded from the theorem. Within the declared model the derivation is sound, and the numerical GHS example correctly exhibits the predicted homogeneous monotonicities while showing input-dependent behavior in the mixed sector. The contribution is primarily explanatory and unifying, which is appropriate for the journal.","major_comments":[],"minor_comments":[{"comment":"The off-diagonal entries in Eq. (5) are placed in the opposite order from Eq. (4) (b* above the diagonal and b below), which is correct because the matrices are Hermitian, but the inconsistency may momentarily confuse a reader comparing the two expressions; a one-sentence note would remove the ambiguity.","section":"Sec. 2.2, Eq. (5)"},{"comment":"The proof of Theorem 1 is compressed to a single sentence; stating explicitly that p_i=(q'_i-q_i)/(1-q_i) and eta_i=q_i/q'_i lie in [0,1] and that the identity factors on unaffected subsystems commute through the ordering would make the theorem easier to verify for a reader who does not carry out the substitution.","section":"Sec. 2.3, Theorem 1"},{"comment":"The symbol pi_rho in Eq. (28) is defined only within the displayed equation; a prose definition immediately before the equation would improve readability, especially because the subscript rho could be confused with the state argument of C_coll.","section":"Sec. 3.4, Eq. (28)"},{"comment":"The numerical illustration would be more reproducible if the text stated explicitly that the curves are obtained by exact evaluation of the 8x8 density matrices for the noisy GHZ and W families, and if the limiting endpoint D->M^- were marked on the horizontal axis; this is a presentation detail and does not affect the theoretical claims.","section":"Sec. 4 and Fig. 2"},{"comment":"In the sentence 'the same argument applies uniformly across different input states, admissible resource and correlation functionals', a second comma before 'and' would clarify that the argument applies across input states and across admissible resource and correlation functionals.","section":"Sec. 5, first paragraph"}],"recommendation":"accept","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"I'll cut to the chase: the central theorem is correct and I verified the algebra myself. For 0<q1<q2<1/2, the exterior channel satisfies E_q2^out = E_p^out ∘ E_q1^out with p=(q2-q1)/(1-q1), and the interior channel satisfies E_q1^in = D_{q1/q2} ∘ E_q2^in. These are simple but exactly the right identities, and Theorem 1's multipartite extension by tensoring local factors works as stated. The corollary—any functional monotone under the intermediate maps is non-increasing in homogeneous exterior sectors and non-decreasing in homogeneous interior sectors—follows immediately and explains a surprising amount of the literature in one stroke. The applications to entanglement, occupation-basis coherence, Bell values, and DPI-based correlation functionals are all rigorous; I checked that the intermediate maps are indeed product local CPTP maps, SIOs, and the POVM pullback argument is sound.\n\nThe soft spots are about scope, not correctness. Everything lives in the effective single-mode, two-level fermionic description with mode-qubit partial traces. The authors are upfront in Sec. 5 that spin-resolved Dirac modes, bosonic fields, and arbitrary field states need larger structures, so the theorem is conditional on that model. That's fair but it means the 'structural explanation' is for the standard toy model, not for full QFT. The GHS 'prediction' is really a plot of the exact composition law; there's no code or data, so reproducibility is limited to the algebra. The paper also excludes mixed exterior-interior sectors, which is honestly stated but leaves a notable gap if you care about those configurations.\n\nMinor quibble: the paper calls the GHS result a prediction, which overstates it—it's an illustration. Also the literature review is representative, not exhaustive, and the 'recurring trend' claim is supported by citation rather than a systematic meta-analysis. Neither bothers me much.\n\nWho is this for? Anyone in relativistic quantum information who has ever hand-calculated an entanglement or coherence monotonicity and wondered why it always goes one way outside and the other inside. It's a genuinely useful unification, clearly written, and the proofs are transparent enough to check in an afternoon. I'd send it to a serious referee; it deserves a careful read but I'd expect it to come back with only minor comments.\n\nRecommendation: publish after minor revision, by which I mean the authors should soften 'prediction' to 'illustration' and maybe add a sentence at the start of Sec. 4 flagging that this is not an experimental prediction.","headline":"Clean channel-ordering proof that unifies a pile of case-by-case relativistic QI resource calculations; sound within its declared single-mode model.","tokens_in":20145,"tokens_out":6162,"would_cite":true,"duration_ms":50724,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"As the horizon parameter q grows, exterior fermionic channels degrade while interior channels improve.","keywords":["relativistic quantum information","Hawking–Unruh effect","channel post-processing","quantum resource theories","fermionic horizon channels","exterior and interior sectors","quantum coherence","GHS dilaton black hole"],"falsifier":"A concrete test is to compute a homogeneous exterior-sector resource monotone for a fully multimode fermionic field state near a horizon and check whether the value increases with $q$; any such increase would violate the predicted universal non-increase. Alternatively, one can check Eq. (8) directly for a two-mode input state where the mode transformation does not factorize locally and see whether $E_{q_2}^{\\mathrm{out}}$ can still be written as $E_p^{\\mathrm{out}} \\circ E_{q_1}^{\\mathrm{out}}$.","tokens_in":19174,"feed_emoji":"🕳️","tokens_out":10160,"duration_ms":87811,"temperature":0.7,"pith_summary":"Many relativistic quantum-information studies report a recurring pattern: as the Hawking/Unruh parameter grows, quantum resources in the physically accessible exterior sector decrease, while resources in the inaccessible interior sector often increase. This paper argues that the pattern is not an accident of particular states or measures: it follows from the channel structure of the fermionic horizon transformation. The paper models the effective single-mode, two-level fermionic mode transformation as a pair of complementary exterior and interior quantum channels and proves that these two channel families have opposite post-processing orders as the parameter $q$ grows. Because the order is at the channel level, every state functional that is non-increasing under the corresponding intermediate maps is non-increasing in homogeneous exterior sectors and non-decreasing in homogeneous interior sectors. This applies to entanglement and occupation-basis coherence monotones, optimized Bell-functional values, and contractive-divergence correlation measures, as illustrated numerically with QJSD collective coherence in the GHS spacetime.","feed_headline":"Exterior and interior horizon channels order oppositely","feed_subtitle":"As q grows, exterior fermionic resources drop and interior ones rise, tracing recurring trends to one channel structure.","key_machinery":"The central object is the effective single-mode, two-level fermionic mode transformation of Eq. (1): $|0\\rangle \\mapsto \\sqrt{1-q}\\,|0\\rangle_{\\mathrm{out}}|0\\rangle_{\\mathrm{in}} + \\sqrt{q}\\,|1\\rangle_{\\mathrm{out}}|1\\rangle_{\\mathrm{in}}$ and $|1\\rangle \\mapsto |1\\rangle_{\\mathrm{out}}|0\\rangle_{\\mathrm{in}}$. Tracing over the inaccessible output gives the exterior channel $E_q^{\\mathrm{out}}$; tracing over the complementary output gives the interior channel $E_q^{\\mathrm{in}}$. The proof of the opposite orders uses the post-processing preorder $M \\succeq_{\\mathrm{deg}} N \\iff N = \\Theta \\circ M$ for some CPTP map $\\Theta$, with intermediate maps $E_p^{\\mathrm{out}}$ for the exterior family and the amplitude-damping channel $D_\\eta$ for the interior family. The multipartite extension tensors these local channels over the affected modes, requiring the mode transformations to act locally and independently. The machinery is channel-level: it does not depend on the input state, the particular spacetime, or the chosen resource measure, beyond the requirement that the functional be non-increasing under the intermediate maps.","core_discovery":"For $0<q_1<q_2<1/2$, the exterior channel family satisfies the exact composition $E_{q_2}^{\\mathrm{out}} = E_p^{\\mathrm{out}} \\circ E_{q_1}^{\\mathrm{out}}$ with $p = (q_2 - q_1)/(1 - q_1)$, so $E_{q_1}^{\\mathrm{out}}$ is above $E_{q_2}^{\\mathrm{out}}$ in the post-processing preorder. The interior family satisfies the reverse relation $E_{q_1}^{\\mathrm{in}} = D_{q_1/q_2} \\circ E_{q_2}^{\\mathrm{in}}$, so $E_{q_2}^{\\mathrm{in}}$ is above $E_{q_1}^{\\mathrm{in}}$. Theorem 1 extends these relations componentwise to arbitrary multipartite homogeneous channels built by tensoring local exterior or interior channels over the affected modes. As a corollary, for any state functional non-increasing under the relevant intermediate maps, the exterior-sector value is non-increasing in $q$ and the interior-sector value is non-decreasing in $q$, for arbitrary input states and any choice of affected subsystems. The paper shows that entanglement monotones under deterministic local CPTP maps, occupation-basis coherence monotones under strictly incoherent operations, optimized Bell-functional values, and contractive-divergence correlation functionals all satisfy the required monotonicity, and demonstrates the predicted homogeneous-sector trends numerically for QJSD collective coherence in the GHS spacetime. Mixed exterior–interior sectors are not covered, and the numerical example shows input-dependent behavior there.","pith_inferences":["The channel-ordering mechanism suggests a way to predict new horizon-resource trends: pick any state functional known to be monotone under strictly incoherent or deterministic local CPTP operations, and its homogeneous-sector direction is fixed before any state-specific computation.","If the same effective two-level reduction applies to other horizon geometries, the opposite ordering may persist, but the paper leaves bosonic channel ordering open for future analysis.","The mixed-sector input dependence indicates that the boundary between ordered and unordered resource behavior could be characterized by which intermediate maps can be combined into a single product post-processing channel.","The framework recasts case-by-case relativistic quantum-information results as structural consequences, which may guide the search for horizon signatures through monotone quantum resources."],"forward_implications":["In any homogeneous exterior sector, every entanglement monotone, occupation-basis coherence monotone, optimized Bell-functional value, and contractive-divergence correlation functional is non-increasing as the horizon parameter $q$ increases.","In any homogeneous interior sector, the same quantities are non-decreasing as $q$ increases, regardless of the input state or the number of affected modes.","The recurring monotonic trends reported in earlier state- and measure-specific calculations are explained as direct consequences of the channel ordering, not as accidents of the chosen states.","Mixed exterior–interior configurations are left unconstrained: no universal monotonic direction exists, and the paper's GHS example shows input-dependent, sometimes nonmonotonic, behavior there."],"supporting_citations":[{"why":"Supplies the effective single-mode fermionic mode transformation of Eq. (1) in noninertial frames, the starting point of the channel construction.","marker":"[10]"},{"why":"Provides the Schwarzschild black-hole parameterization $q=[1+\\exp(8\\pi M\\omega)]^{-1}$ and the entanglement-redistribution trends the framework explains.","marker":"[27]"},{"why":"Provides the GHS dilaton black-hole parameterization $q=[1+\\exp(8\\pi(M-D)\\omega)]^{-1}$ used in the application section.","marker":"[28]"},{"why":"Supplies a related static-black-hole fermionic mode transformation and exterior-sector entanglement trends consistent with the ordering.","marker":"[32]"},{"why":"Supplies the standard definitions of CPTP maps, Kraus representations, the amplitude-damping channel, and the data-processing inequality used throughout the argument.","marker":"[50]"},{"why":"Supplies the general theory of comparison of quantum channels, including the post-processing preorder used to state the opposite orders.","marker":"[52]"}],"fun_headline_variants":["Fermionic horizons: exterior loses, interior gains as q grows","As q grows, exterior fermionic resources drop and interior rise","One channel order explains opposite fermionic horizon resource trends","Fermionic horizon resources: interior rises as exterior falls"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The result rests on the effective single-mode, two-level fermionic approximation with ordinary partial traces over mode qubits and on the assumption that affected modes transform locally and independently so that the multipartite horizon channel factorizes as a tensor product; the paper itself notes that this reduction is not valid for arbitrary field states and that spin-resolved or bosonic settings require larger or infinite occupation spaces.","fun_headline_variants_meta":{"raw":{"variants":["Fermionic horizons: exterior loses, interior gains as q grows","As q grows, exterior fermionic resources drop and interior rise","One channel order explains opposite fermionic horizon resource trends","Fermionic horizon resources: interior rises as exterior falls"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001129,"raw_usage":{"total_tokens":4793,"prompt_tokens":1148,"completion_tokens":3645,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":764,"completion_tokens_details":{"reasoning_tokens":3576}},"tokens_in":764,"tokens_out":3645,"duration_ms":31018,"temperature":1.0,"reasoning_tokens":3576,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T00:16:07.473085+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A concrete test is to compute a homogeneous exterior-sector resource monotone for a fully multimode fermionic field state near a horizon and check whether the value increases with $q$; any such increase would violate the predicted universal non-increase. Alternatively, one can check Eq. (8) directly for a two-mode input state where the mode transformation does not factorize locally and see whether $E_{q_2}^{\\mathrm{out}}$ can still be written as $E_p^{\\mathrm{out}} \\circ E_{q_1}^{\\mathrm{out}}$.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the Schwarzschild black-hole parameterization $q=[1+\\exp(8\\pi M\\omega)]^{-1}$ and the entanglement-redistribution trends the framework explains."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the GHS dilaton black-hole parameterization $q=[1+\\exp(8\\pi(M-D)\\omega)]^{-1}$ used in the application section."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies a related static-black-hole fermionic mode transformation and exterior-sector entanglement trends consistent with the ordering."},{"cited_title":"Nielsen, I.L","cited_arxiv_id":null,"evidence_quote":"Supplies the standard definitions of CPTP maps, Kraus representations, the amplitude-damping channel, and the data-processing inequality used throughout the argument."}],"review_version":1}