{"id":"cb4048d7-f97b-4bb7-a097-23fd4b8dcd62","arxiv_id":"1908.02755","paper_version":2,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"A conjectured inequality, m ≥ sqrt(ℏ S_gen/(4πG)), replaces the surface area in the Penrose bound by the generalized entropy on a quantum lightsheet.","lead":"The authors propose a Quantum Penrose Inequality: the total mass of an asymptotically flat spacetime is bounded below by the generalized entropy of the lightsheet of a quantum trapped surface. They argue the classical Penrose inequality fails for quantum matter and offer preliminary semiclassical tests of the new bound.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The QPI's universal claim is not protected against its own 'dangerous case' (Fig. 3c): the only argument that late-time negative energy cannot miss L is a deferred, possibly mis-scaled blueshift estimate, so a semiclassical counterexample to Eq. (8) remains open.","rationale":"I read the paper as proposing a universal semiclassical inequality, Eq. (8), not merely a re-statement of the GSL. The conjecture's truth is therefore hostage to the one scenario the authors themselves single out: negative-energy matter that lowers the ADM mass but does not cross the lightsheet used in the bound. The paper's dismissal of that scenario is a blueshift estimate that is not derived and, as printed, is not numerically self-consistent: the scrambling-time ratio does not make log(∆t_s/R) of order R/l_P. This is a concrete, falsifiable soft spot rather than a disagreement with the consensus. I would not reject the paper: the conjecture is clearly stated in its intended domain, and the test I propose, or a companion-paper calculation, could resolve the issue. I also note the reader's concern about generic existence of µ_Q is legitimate but addresses applicability, not truth; my agreement is therefore 'disagree' as to which assumption is most load-bearing. Since the reader's verdict is already CONDITIONAL and this concern only sharpens the conditions for acceptance, I leave the verdict unchanged. If the proposed calculation produced a sub-Planckian late-time Boulware-like state, Eq. (8) would need to be rejected or restricted.","tokens_in":7512,"tokens_out":27338,"duration_ms":331869,"concrete_test":"In an evaporating Schwarzschild background, smoothly switch on a Boulware-like negative-energy pulse at an outer radius at a time ∆t > t_scrambling after the quantum extremal surface µ_Q. Compute the renormalized stress tensor on the Cauchy surface containing µ_Q using the same cutoff-and-gluing prescription as Sec. II. If there is a window with sub-Planckian stress at µ_Q and no compensating positive energy, then Eq. (8) is violated; if every such pulse produces Planckian stress on that Cauchy surface, the paper's no-go argument is confirmed.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Eq. (8) is a universal lower bound on the ADM mass. The nontrivial content is that no semiclassical state can lower m without lowering S_gen[L(µ_Q)] by a corresponding amount. The authors identify the most dangerous configuration themselves: net negative energy outside the black hole that enters after about a scrambling time and therefore does not intersect the future-outgoing lightsheet L of µ_Q. If such a state can be prepared, m decreases while the RHS of Eq. (8) is unchanged, falsifying the QPI. The only defense is the assertion that evolving back to µ_Q blueshifts the fields by a factor of order R/l_P and thus produces transplanckian energy densities. This defense is not a calculation; it is relegated to the unpublished companion [10]. Moreover, the printed estimate is quantitatively garbled: with ∆t_s ∼ R log(R/l_P), log(∆t_s/R) is not ∼ R/l_P, so the claimed transplanckianity does not follow from the displayed expression. If the blueshift factor is actually exponential in ∆t_s/R, that needs to be stated and derived. As written, the QPI stands or falls on an unverified no-go for late-time Boulware-like states. The reader's existence concern is secondary: even granting µ_Q and L, this open corner is a direct threat to the truth of Eq. (8).","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper argues that the classical Penrose inequality fails in the presence of quantum matter and proposes a quantum-corrected replacement. Section II constructs a Boulware-like state outside a Schwarzschild black hole and computes a negative mass shift at infinity, Eq. (3), which the text claims violates the classical inequality. Section III introduces quantum trapped surfaces via the quantum expansion and generalized entropy, then conjectures the Quantum Penrose Inequality (QPI), Eq. (8): m ≥ sqrt(ℏ S_gen[L(µ_Q)]/(4πG)), where the generalized entropy is evaluated on the future-outgoing quantum lightsheet L of a quantum marginally trapped surface. The paper presents three tests: near-saturation for an evaporating black hole, perturbative matter crossing L, and a so-called dangerous case of late-time negative energy that misses L, which is dismissed by a blueshift argument. The text explicitly defers technical details to a companion article [10].","tokens_in":7891,"tokens_out":8226,"duration_ms":82155,"significance":"If the QPI is correct, it is a novel quantitative link between generalized entropy in a strongly gravitating region and the total energy at infinity, and it would extend the Penrose inequality to semiclassical regimes. The paper is clearly written and commendably explicit about its conjectural status. The strongest parts are the identification of the lightsheet as the right entropy carrier for an energy bound, the near-saturation estimate for evaporating black holes, and the honest framing of the late-time-blow-up scenario as the main threat to the conjecture. However, the present version contains an internal inconsistency in the claimed magnitude of the classical Penrose violation, and the argument against the most dangerous counterexample is quantitatively unsupported as printed. These are load-bearing issues because they affect the central claims of the abstract and of Eq. (8).","major_comments":[{"comment":"The abstract and Sec. II state that the Boulware-state construction reduces the mass at infinity by an O(1) relative fraction, but the displayed computation gives Δm ∼ −αM with α = l_P^2/d_c^2 (Eq. (3)), and the text explicitly requires d_c ≫ l_P. Under that condition α ≪ 1, so the relative violation is parametrically small, not O(1). The phrase 'not O(ℏ)' can be read as a statement that Eq. (3) survives at fixed ratio l_P/d_c in a formal ℏ→0 limit, but the abstract's 'relative fraction … O(1)' is not supported unless d_c is taken of order l_P, which contradicts the stated semiclassical-control requirement. The magnitude claim in the abstract and Sec. II should be corrected or explicitly qualified.","section":"II and Abstract"},{"comment":"The no-go argument against late-time Boulware-like states that miss L is the only defense of Eq. (8) against a semiclassical counterexample, and as printed it is quantitatively inconsistent. With Δt_s ∼ R log(R/l_P), one has log(Δt_s/R) = log log(R/l_P), not O(R/l_P). If the intended blueshift factor is instead exponential in κΔt_s, giving a factor of order R/l_P, that factor must be stated and derived; otherwise the conclusion that the state has transplanckian energy densities does not follow from the displayed expression. This is a load-bearing gap because a state with net negative energy entering after a scrambling time would lower m without reducing S_gen[L(µ_Q)], directly threatening Eq. (8).","section":"III.C, Fig. 3c"},{"comment":"The explicit violation of the classical Penrose inequality rests on the assertion that the Boulware and Hartle-Hawking regions can be glued at the cutoff sphere without large backreaction or compensating positive contributions to the ADM mass, with the justification deferred to the companion article [10]. Since the paper states that it will 'demonstrate explicitly' the violation, this semiclassical-control assumption should either be substantiated in the main text or be clearly flagged as a conjecture whose failure mode is not discussed. As written, the violation computation depends on an unstated assumption.","section":"II, after Eq. (3)"},{"comment":"The construction of the quantum marginally trapped surface µ_Q is not generic. The text argues that Θ+ crosses zero between a null cone and the singularity, and that Θ− ≤ 0 on the same cut 'in many cases,' but no existence theorem is stated. If Eq. (8) is intended as a universal statement for asymptotically flat spacetimes, the conjecture should either specify the class of backgrounds and states in which µ_Q is guaranteed to exist, or be explicitly restricted to the class where such a surface exists. The current formulation leaves open whether the proposed inequality has any content in generic settings.","section":"III.B"}],"minor_comments":[{"comment":"The claim that the QPI is 'the first relation between quantum information in quantum gravity, and the total energy' is a strong priority statement; it should either be substantiated with a precise definition of the comparison class or softened to avoid an unverifiable historical claim.","section":"Abstract and Sec. I"},{"comment":"The passage from the local stress-tensor behavior T_tt ∼ −ℏR−4(1−R/r)−1 to the integrand (1−R/r)−2 in Eq. (3) is not explained; a brief sentence on the origin of the extra factor would remove an unnecessary ambiguity.","section":"II, Eq. (3)"},{"comment":"Reference [6] contains a spurious backslash-quote in the author name; it should read 'R. Penrose.'","section":"Reference [6]"},{"comment":"The figure caption labels the negative energy region as 'outside of the cutoff sphere d_c at t=0,' but the text also refers to a proper-distance cutoff and a gluing region; adding the precise meaning of d_c (proper distance versus coordinate radius) in the caption would improve readability.","section":"Fig. 1 and Sec. II"}],"recommendation":"major_revision","confidential_remarks":"The manuscript relies heavily on an unpublished companion [10] for several load-bearing items: the gluing argument, the minimality-condition generalization, and the late-time blueshift no-go. For a conjectural two-page-style paper this is acceptable only if the main text either provides the missing scaling arguments or explicitly labels each deferred item as an assumption. The dangerous-case analysis is likely to be scrutinized carefully by subsequent work; the present wording is not sufficient to protect the main claim."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe Quantum Penrose Inequality is a genuinely new conjecture, and the paper deserves to be read: it replaces the area in the classical Penrose inequality with the generalized entropy of a quantum lightsheet, and that move is not a routine application of existing ideas. The authors also think clearly about why the whole exterior is the wrong surface – distant soft particles carry entropy at negligible energy cost – and why the lightsheet is the right choice. The Boulware-state calculation, though schematic, shows in principle that the classical inequality fails once quantum matter is allowed.\n\nThe problems are real but concentrated. The abstract claims the violation of the classical inequality is O(1) in the relative mass; the explicit result is α = l_P^2/d_c^2 with d_c ≫ l_P, so the relative violation is tiny and, in the usual counting, O(ℏ). That overstatement should be fixed. Eq. (3) drops factors of order unity, and the gluing argument for the cutoff sphere is deferred to an unpublished companion. More serious is the paper's own dangerous case, Fig. 3c: late-time negative energy that enters the black hole after a scrambling time evades the lightsheet and, if preparable, would falsify Eq. (8). The only defense is a blueshift estimate, and the printed version is wrong: with ∆t_s ∼ R log(R/l_P), log(∆t_s/R) is not ∼R/l_P. The exponential dependence on ∆t_s may still be enough, but it is not derived. Existence of the quantum marginally trapped surface is argued in examples, not generally. None of this kills the conjecture, but it means the paper is a proposal with heuristic support, not a derivation.\n\nThe reliance on QFC and GSL is fine – those are standard conjectures in the field, and the overlap in authorship does not make them invalid here.\n\nI would send this to a serious referee. It is novel and important enough to warrant engagement, and the main fixes are presentational; the Fig. 3c corner deserves scrutiny. If the authors can correct the abstract and either derive the blueshift factor or defer to the companion paper with a concrete statement, this could become a solid contribution.","headline":"A genuinely new and important conjecture, but with an overconfident abstract and a defenseless crucial corner in the Fig. 3c no-go.","tokens_in":8354,"tokens_out":6268,"would_cite":true,"duration_ms":63838,"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":"The paper conjectures that the total mass of an asymptotically flat spacetime is bounded below by the square root of the generalized entropy on the lightsheet of any quantum marginally trapped surface, replacing the area in the classical…","keywords":["Penrose inequality","generalized entropy","quantum trapped surface","lightsheet","quantum focusing conjecture","semiclassical gravity","black hole mass","generalized second law"],"falsifier":"Compute both sides of the conjectured inequality in a self-consistent semiclassical model of an evaporating Schwarzschild black hole, evaluating $S_{\\mathrm{gen}}$ on the future-outgoing lightsheet of the quantum extremal surface; a violation would be $4\\pi G m^2/\\hbar < S_{\\mathrm{gen}}[L]$. The paper identifies the dangerous case as negative-energy matter entering the black hole more than one scrambling time after $\\mu_Q$, missing the lightsheet, so showing such a state can be prepared with sub-Planckian energies would falsify the conjecture.","tokens_in":7363,"feed_emoji":"🕳️","tokens_out":7562,"duration_ms":76672,"temperature":0.7,"pith_summary":"The classical Penrose inequality says the total mass measured at spatial infinity must be at least the square root of the horizon area, a bound that fails when quantum matter is present. This paper demonstrates the failure explicitly: a Boulware-type vacuum near a Schwarzschild black hole lowers the mass by an O(1) fraction, not just a tiny quantum correction. The paper then conjectures a Quantum Penrose Inequality in which the area is replaced by the generalized entropy evaluated on the future-outgoing lightsheet of a quantum marginally trapped surface. If correct, this would be the first inequality tying quantum information in quantum gravity directly to the total energy of spacetime.","feed_headline":"Quantum matter breaks the Penrose mass bound","feed_subtitle":"The paper's new conjecture replaces surface area by generalized entropy, linking quantum information to total energy.","key_machinery":"The central object is the quantum expansion\n$$\n\\Theta[\\$\\sigma$;y] = \\frac{4G\\hbar}{\\sqrt{h(y)}}\\,\\frac{\\delta S_{\\mathrm{gen}}[V]}{\\delta V(y)},\n$$\nthe functional derivative of generalized entropy along a null congruence, with $S_{\\mathrm{gen}}$ acting as a quantum-corrected area. A surface is quantum marginally trapped when $\\Theta_+ = 0$ and $\\Theta_- \\le 0$. The paper evaluates $S_{\\mathrm{gen}}$ on the future-outgoing lightsheet $L$ of such a surface, a null hypersurface with nowhere positive expansion, relying on the Quantum Focussing Conjecture to keep $\\Theta_+ \\le 0$ along $L$. The lightsheet restriction is what lets the bound ignore distant soft particles: it only sees matter that enters the black hole within roughly a scrambling time.","core_discovery":"In an asymptotically flat spacetime, for any quantum marginally trapped surface $\\mu_Q$ whose future-outgoing null surface is a quantum lightsheet $L$, the paper conjectures\n$$\nm \\ge \\sqrt{\\frac{\\hbar\\,S_{\\mathrm{gen}}[L(\\mu_Q)]}{4\\pi G}},\n$$\nwhere $S_{\\mathrm{gen}} = A/4G\\hbar + S_{\\mathrm{out}} + \\cdots$ is the generalized entropy on $L$. The paper shows that the classical Penrose inequality fails: in the Boulware vacuum outside a Schwarzschild black hole, negative energy near the horizon reduces the ADM mass to $(1-\\alpha)M$ with $\\alpha = l_P^2/d_c^2$, an $O(1)$ correction rather than an $O(\\hbar)$ one. It then argues that the quantum inequality survives this counterexample because the generalized entropy on the lightsheet is lowered by enough, and that in the evaporating-black-hole setting the inequality is nearly saturated, with a logarithmic gap $\\log(R/l_P)$. The proposal is explicitly presented as a conjecture, not a theorem.","pith_inferences":["Beyond the paper, the near-saturation estimate suggests that a logarithmic gap $\\log(R/l_P)$ may be a universal feature of evaporating black holes; testing it in a fully backreacted model would distinguish the Quantum Penrose Inequality from weaker area-based bounds.","Beyond the paper, if the conjecture holds, the quantum marginally trapped surface acts as a holographic screen for the energy bound, and one testable consequence is that no semiclassical state can place net negative energy outside a black hole later than roughly one scrambling time before it falls in.","Beyond the paper, the inequality could serve as a necessary condition for cosmic censorship in the presence of quantum matter, constraining attempts to build semiclassical counterexamples with Boulware-type negative energy."],"forward_implications":["The classical Penrose inequality fails in semiclassical gravity: a Boulware-type vacuum with a cutoff at proper distance $d_c$ reduces the mass by an $O(1)$ fraction $\\alpha = l_P^2/d_c^2$, so the area bound cannot be fundamental.","The Quantum Penrose Inequality evades the counterexample because the generalized entropy on the lightsheet is lower than the classical area by enough, enforced by the generalized second law.","For an evaporating black hole the quantum inequality is nearly saturated: $4\\pi G m^2/\\hbar - S_{\\mathrm{gen}}[L(\\mu_Q)] \\sim \\log(R/l_P)$, so the bound is tight up to a logarithmic gap.","If matter with positive entropy enters the black hole within a scrambling time, the quantum bound is stronger than the classical one, because the lightsheet entropy already reflects the horizon's impending growth.","The inequality connects quantum information to total energy with Newton's constant appearing explicitly, unlike earlier information-energy bounds that do not involve $G$."],"supporting_citations":[{"why":"States the classical Penrose inequality relating the area of a marginally trapped surface to total mass; the target that the paper generalizes.","marker":"[6, 7]"},{"why":"The positive mass theorem that the Penrose inequality generalizes, supplying the classical energy condition context.","marker":"[8]"},{"why":"Companion article with technical details and further tests of the quantum Penrose inequality; the present paper relies on it for full control of the semiclassical expansion.","marker":"[10]"},{"why":"Establishes the generalized second law for event horizons, used in the paper's evidence that the quantum inequality holds when matter crosses the lightsheet.","marker":"[13–15]"},{"why":"The Quantum Focussing Conjecture, assumed so that the future-outgoing null surface of a quantum marginally trapped surface has nonpositive quantum expansion.","marker":"[16]"},{"why":"Shows quantum trapped surfaces must lie inside or on the horizon, restricting the surfaces to which the quantum inequality applies.","marker":"[17]"},{"why":"Defines lightsheets as null hypersurfaces with nonpositive expansion; the paper evaluates generalized entropy on such a lightsheet.","marker":"[33]"},{"why":"Provide the Boulware-state negative energy density near a Schwarzschild horizon used to demonstrate the classical inequality's violation.","marker":"[35, 36]"}],"fun_headline_variants":["Quantum Penrose bound: mass from generalized entropy","Penrose inequality fails quantumly; entropy conjecture rises","New conjecture: mass lower bound set by quantum entropy","Quantum gravity conjecture ties mass to lightsheet entropy"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole proposal assumes that a quantum marginally trapped surface exists for the state in question and that its future-outgoing null surface remains a lightsheet, which the paper verifies in spherically symmetric examples but does not prove in general.","fun_headline_variants_meta":{"raw":{"variants":["Quantum Penrose bound: mass from generalized entropy","Penrose inequality fails quantumly; entropy conjecture rises","New conjecture: mass lower bound set by quantum entropy","Quantum gravity conjecture ties mass to lightsheet entropy"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000153,"raw_usage":{"total_tokens":1140,"prompt_tokens":810,"completion_tokens":330,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":426,"completion_tokens_details":{"reasoning_tokens":269}},"tokens_in":426,"tokens_out":330,"duration_ms":4486,"temperature":1.0,"reasoning_tokens":269,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T14:36:06.686408+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute both sides of the conjectured inequality in a self-consistent semiclassical model of an evaporating Schwarzschild black hole, evaluating $S_{\\mathrm{gen}}$ on the future-outgoing lightsheet of the quantum extremal surface; a violation would be $4\\pi G m^2/\\hbar < S_{\\mathrm{gen}}[L]$. The paper identifies the dangerous case as negative-energy matter entering the black hole more than one scrambling time after $\\mu_Q$, missing the lightsheet, so showing such a state can be prepared with sub-Planckian energies would falsify the conjecture.","supporting_citations":[{"cited_title":"Quantum Penrose Inequality: Evidence and Implications","cited_arxiv_id":null,"evidence_quote":"Companion article with technical details and further tests of the quantum Penrose inequality; the present paper relies on it for full control of the semiclassical expansion."}],"review_version":1}