{"id":"fe795586-163a-4954-b85e-c3b400d67315","arxiv_id":"2502.01723","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":4,"one_line_summary":"In spherically symmetric Einstein-scalar gravity with conformally invariant boundary conditions, the AdS Penrose inequality holds exactly when a positive mass theorem holds, ruling out neutral, non-rotating holographic time crystals.","lead":"This paper argues that certain eternal, time-dependent black holes in anti-de Sitter space would be the gravitational duals of time crystals, and shows that in spherical symmetry such states are ruled out whenever the energy is bounded below. It also finds new hairy black holes in a string-theory truncation, contradicting an existing no-hair conjecture.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The spherical no-go conclusion depends on the unproven time-symmetry assumption for mass-minimizing initial data; if non-time-symmetric data with K_ab≠0 can violate the PI in PMT-respecting theories, the exclusion of neutral CFT3 time crystals fails.","rationale":"The reader's weakest-assumption identification matches my own reading. The paper is careful and honest about its limitations, and the central claim is framed as strong evidence rather than a theorem. However, the conclusion that spherical PI violations are confined to theories with unbounded energy — and therefore that neutral non-rotating holographic time crystals are excluded — is logically downstream of the time-symmetry restriction in Sec. 3.3. The author proves the reduction only for maximal-volume slices; for generic K_ab≠0 data, the mass contribution from extrinsic curvature is not manifestly positive, so the variational problem could have lower-mass non-time-symmetric solutions. The heuristic argument that such data would require a surprising absence of maximal slices does not close this gap. A numerical search over non-time-symmetric initial data, using the same potentials, boundary conditions, and PMT threshold f≥−s_c, would directly settle whether the restriction is harmless. Because this is the same concern the reader identified and the verdict is already CONDITIONAL, I do not recommend changing the verdict; the concern reinforces the existing conditionality rather than introducing a new objection. I also note the paper's own admission in Sec. 4.6 that near Δ−=0.55 small numerical changes could flip the PI-violation conclusion, but that is a precision issue within the time-symmetric search and is secondary to the structural gap. No ad hominem or manufactured concern is intended; the time-symmetry assumption is genuinely load-bearing and is explicitly acknowledged by the author.","tokens_in":26387,"tokens_out":3784,"duration_ms":42584,"concrete_test":"Generalize the mass-minimizing variational problem of Sec. 3.3 to non-time-symmetric initial data: keep the same spatial metric ansatz ds^2|Σ = dr^2/(1 − m(r)/r) + r^2 dΩ^2, but allow a non-zero extrinsic curvature of the form K_{ij} = diag(k_r(r), k_⊥(r), k_⊥(r)) with K_a^a ≠ 0, and impose the Hamiltonian and momentum constraints. Minimize M = M0 − (2/3)μ^2 f |α|^{3/Δ−} at fixed horizon radius r_* for the representative theories of Sec. 4.2–4.6 in the PMT regime f ≥ −s_c, e.g. the Δ−=1 potential (4.4) with f∈(−s_c,0), the Δ−=5/4 quartic theory, and the Δ−=0.55 theory of Sec. 4.6. Search numerically for solutions with A > A_SAdS(M). If any such dataset exists, the time-symmetry reduction misses the PI-violating sector and the spherical no-go for time crystals fails; if none is found over the same parameter ranges, the working assumption is supported.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central result — that the spherically symmetric PI holds whenever the Hamiltonian is bounded below, and hence that neutral non-rotating holographic time crystals are excluded — is obtained by searching for mass-minimizing initial data under the assumption stated in Sec. 3.3: 'mass-minimizing initial data can be realized by an initial dataset corresponding to a moment of time-symmetry.' The author explicitly calls this 'reasonable' rather than proven, and the only proven reduction is for slices with vanishing mean curvature K_a^a=0, where the extrinsic-curvature contribution to the mass is manifestly positive. The PI-violating sector relevant to time crystals could in principle live in non-time-symmetric data with non-trivial trace-free extrinsic curvature, where the mass contribution is not manifestly positive. The paper's response — that failure of the assumption would require the absence of a maximal volume slice anchored at σ and the boundary, which would be 'very surprising' — is heuristic, not a proof. Because the no-go for spherical time crystals rests on ruling out all PI-violating initial data in theories with f≥−s_c, this assumption is load-bearing. If non-time-symmetric, mass-minimizing initial data with A[σ] > A_static(M) exist in the PMT regime, the claimed iff relationship between the PI and the PMT would be false and the time-crystal exclusion would not follow. The author's Discussion identifies this as a future direction, but it is not a peripheral caveat: it is the gap between 'strong numerical evidence' and the paper's central conclusion.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper argues that recent numerical evidence for a non-linear instability of slowly rotating Kerr-AdS4 provides candidate holographic large-N thermal time crystals, and then shows that microcanonical holographic time crystals with entropy of order 1/G_N would imply violations of the AdS Penrose inequality (PI). The bulk of the paper is a numerical study of the spherically symmetric PI in Einstein-scalar gravity with designer boundary conditions. The author derives an ODE system for mass-minimizing time-symmetric initial data at fixed apparent-horizon area, solves it across several scaling dimensions Δ− and potentials, and extracts the critical superpotential parameter s_c by two independent methods. The main reported finding is strong evidence that, in spherical symmetry, the PI holds if and only if a positive mass theorem (PMT) holds, i.e., if and only if the Hamiltonian is bounded below; this would exclude neutral, non-rotating holographic CFT3 time crystals. The paper also constructs neutral hairy black holes in a consistent truncation of M-theory with conformally invariant boundary conditions and a PMT, thereby providing a counterexample to a no-hair conjecture, and corrects earlier claims by the author that the PI gave a non-trivial Swampland constraint.","tokens_in":26713,"tokens_out":6497,"duration_ms":68777,"significance":"If the central claim is correct, the paper settles an important question: the spherically symmetric AdS Penrose inequality provides no constraint beyond the positive mass theorem, and neutral spherical holographic time crystals are impossible. The paper is unusually honest about its limitations: it explicitly identifies the time-symmetry assumption in Sec. 3.3 as non-rigorous, flags the numerical difficulties in Sec. 4.6, and corrects the author's previous publication [22]. The numerical work is extensive, covering four distinct ranges of Δ−, multiple potentials, several horizon radii, and two independent determinations of s_c, which is a genuine strength. The counterexample to the no-hair conjecture of [21], if sound, is independently valuable. However, because the central no-go conclusion depends on an unproven assumption and the numerical evidence is weakest precisely in the most delicate regime, the result should be regarded as a conditional, numerically supported conjecture rather than an established theorem.","major_comments":[{"comment":"The time-symmetry assumption is load-bearing for the central claim. The ODE system (3.26)-(3.28) is derived only for initial data with vanishing extrinsic curvature, and the justification for restricting to such data is the statement that it is 'reasonable' and that the opposite would require the absence of a maximal volume slice anchored at σ and the conformal boundary, 'which would be very surprising.' This is a heuristic, not a proof. Since the claimed no-go for spherical time crystals requires ruling out all PI-violating initial data in PMT-respecting theories, the possibility remains that non-time-symmetric data with non-zero trace-free extrinsic curvature violate the PI while the Hamiltonian is bounded below. The paper's own Discussion lists removal of the time-symmetry assumption as future work, but this is not a peripheral caveat: it is the gap between a numerical search over a restricted class of initial data and the 'PI iff PMT' statement in Sec. 4 and the Abstract. The conclusion should be explicitly conditioned on this assumption, or the assumption should be replaced by a derivation.","section":"Sec. 3.3"},{"comment":"The numerical evidence in the range Δ− ∈ (1/2, 3/5) is not robust enough to support the 'iff' claim. The paper states that estimates of β stabilize only for r ≳ 10^5, while the estimate of M0 becomes noisy above r ∼ 4×10^4, so rmax ≈ 4×10^4 is used as a compromise. It further admits that 'relatively small changes to sc or M0 in our results would produce a violation of the PI in the PMT regime.' This means that the regime where the falloffs are slowest is exactly the regime where the evidence for the absence of PI violations is weakest. Given that the central conclusion is an extrapolation over all Δ− ∈ (1/2, 3/2), the paper should either improve the numerics in this range or explicitly limit the claimed evidence to the more robust ranges.","section":"Sec. 4.6 and App. A.4"},{"comment":"The phrase 'PMT holds' is used in a way that conflates a proven theorem with the conjectured existence of a superpotential. In Sec. 3.2 the existence of P−(ϕ;s) is described as a sufficient condition for a lower bound on the Hamiltonian, with necessity only suggested, and in Sec. 4.5 the paper notes that for Δ− ∈ (3/5, 3/4) a PMT has been proven only for f ≥ 0, not for f ≥ −s_c. Thus the comparison 'PI holds iff PMT holds' is really 'PI violations are found only when the Hamiltonian is unbounded below according to the superpotential criterion,' with the converse direction relying on an unproven equivalence. This should be stated as a conjecture with a precise characterization of which f and Δ− ranges have a proven PMT, rather than as a definitive equivalence.","section":"Sec. 3.2 and Sec. 4.5"}],"minor_comments":[{"comment":"The mass of the α = 0 solution at r∗ = 1 is given as M = 2.649 in the main text and M = 2.648 in the caption of Fig. 3; please reconcile the rounding.","section":"Sec. 4.1"},{"comment":"The typesetting of 'large−N', 'AdS4', and similar expressions is inconsistent (hyphen vs. minus sign, missing spaces); a uniform style would improve readability.","section":"Throughout"},{"comment":"The symbol M is used both for the mass functional and for the boundary condition parameter f; consider using a different symbol for one of them to avoid confusion.","section":"Sec. 3.3, Eq. (3.24)"},{"comment":"The sentence about the upper part of the r-range making the M0 determination noisy appears twice; consider placing the full numerical caveat only in the appendix and keeping a brief pointer in the main text.","section":"Sec. 4.6 and App. A.4"}],"recommendation":"major_revision","confidential_remarks":"The paper is a serious and honest numerical study, and the self-identified limitations are correctly placed as the main obstacles to the central claim. The recommendation of major revision is driven by the fact that the two admitted weaknesses — the time-symmetry assumption and the fragile numerics in Sec. 4.6 — are exactly what would need to be secured to establish the 'PI iff PMT' conclusion. I do not see any indication of problematic citation practice; the author corrects rather than relies on their earlier work. If the author can either strengthen the time-symmetry argument or appropriately downgrade the conclusiveness of the no-go statement, the paper would be a good fit for the journal."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Three things stand out. First, the paper sets up a clean logic: holographic time crystals with entropy of order 1/G_N would violate the Penrose inequality, so searching for PI violations is a concrete route to constraining time crystals. Second, the ODE system (3.26)-(3.27) for mass-minimizing initial data is a genuine technical contribution, extending Hertog-Horowitz-Maeda and allowing a systematic scan over scaling dimensions and potentials. Third, the discovery of neutral hairy black holes in a consistent M-theory truncation with a PMT and conformal boundary conditions is a real counterexample to the Hertog no-hair conjecture. The paper also corrects the author's own earlier work, showing that the PI-violating solutions of [22] lived in theories with lower-unbounded energy; that kind of self-correction is rare and credible.\n\nThe central claim—that in spherical symmetry the PI holds iff the positive mass theorem holds—is backed by extensive numerics, including two independent methods for extracting the critical superpotential parameter s_c and consistent results across horizon radii and potentials. That is real evidence, and the paper presents it as strong evidence rather than as a proof. Good.\n\nSoft spots are in proportion. The time-symmetry assumption in Sec. 3.3 is load-bearing: the no-go for neutral, non-rotating holographic time crystals rests on it, and it is explicitly unproven. The author's heuristic argument that a failure would require the absence of a maximal volume slice is plausible but not a proof. The stress-test note is right that non-time-symmetric initial data with nontrivial trace-free extrinsic curvature could in principle violate the PI in a PMT-respecting theory, which would break the iff claim. Second, the numerics near Delta_- = 0.55 (Sec. 4.6) are acknowledged by the author to be delicate; small changes in s_c or M_0 could flip the conclusion. These are real caveats, but the paper already names them in the Discussion, so they do not amount to a hidden flaw.\n\nThe result is conditional, but the condition is clearly stated and the evidence is strong. This paper deserves a serious referee: it is technically careful, honest about its assumptions, and the connection between time crystals and the PI is a new and interesting angle. The main request to the author, beyond tightening the numerics near Delta_- = 0.55, is to give a more extended argument for the time-symmetry assumption, or at least to characterize what class of non-time-symmetric data could evade the conclusion.","headline":"A careful, well-scoped numerical study that makes a strong case for PI-iff-PMT in spherical symmetry, with one honestly flagged but load-bearing assumption that keeps the central no-go for time crystals short of a theorem.","tokens_in":27266,"tokens_out":2076,"would_cite":true,"duration_ms":22316,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["83C57","83C05","83C40","83E30"],"pacs":["04.70.-s","11.25.Tq"],"model":"deepseek-v4-flash","headline":"Spherically symmetric holographic time crystals can only exist if the positive mass theorem fails.","keywords":["time crystals","holography","Penrose inequality","positive mass theorem","designer gravity","AdS/CFT correspondence","black hole scalar hair","large-N limit"],"falsifier":"Find a time-symmetric, spherically symmetric initial dataset in a designer-gravity theory with a proven superpotential (for example potential (4.3) with $f > -s_c$, or (4.4) with $f > -0.69$) whose apparent-horizon area exceeds $A_{\\mathrm{Schwarzschild-AdS}}(M)$; the ODE system derived here would then need to produce such a solution, and its existence would break the claimed PI-iff-PMT equivalence.","tokens_in":26178,"feed_emoji":"🕐","tokens_out":8848,"duration_ms":82556,"temperature":0.7,"pith_summary":"Thermal time crystals—states that keep oscillating forever instead of settling down—are usually forbidden in infinite volume, but the large-$N$ limit of holographic theories may evade that no-go. This paper connects such hypothetical states to black holes whose exteriors never become stationary, and shows that any holographic microcanonical time crystal with entropy of order $1/G_N$ would violate the AdS Penrose inequality, a bound relating horizon area to black hole mass. Restricting to spherical symmetry and the most general conformally invariant scalar boundary conditions, the paper derives and solves the equations for maximally Penrose-violating initial data and finds strong evidence that the Penrose inequality holds precisely when the positive mass theorem holds. If correct, electrically neutral, non-rotating holographic CFT$_3$ time crystals cannot exist; only states with angular momentum (or charged theories) remain possible candidates. Along the way it finds neutral hairy black holes in a consistent M-theory truncation with a positive mass theorem, and concludes that the Penrose inequality currently adds no new Swampland constraint beyond energy boundedness.","feed_headline":"Spherical symmetry rules out neutral holographic time crystals","feed_subtitle":"The Penrose inequality holds whenever energy is bounded below, closing the spherical loophole and leaving rotation as the only route.","key_machinery":"The load-bearing object is the AdS Penrose inequality $A[\\sigma] \\le A_{\\mathrm{stationary}}(M,J)$, which bounds the area of an outermost marginally trapped surface by the most entropic stationary black hole with the same charges; its derivation assumes the spacetime eventually settles down, so an eternal oscillation is exactly the failure mode. On the constructive side, the argument runs through the Hamiltonian constraint for time-symmetric initial data in 'designer gravity'—scalar field theories with boundary condition $\\beta = f\\,\\mathrm{sign}(\\alpha)|\\alpha|^{\\Delta_+/\\Delta_-}$ that preserves boundary conformal invariance—reduced to an ODE system (for $\\phi$, $H$, $\\Gamma$) whose solutions are stationary points of the mass at fixed horizon radius, plus the superpotential criterion $V(\\phi)=2P'(\\phi)^2-3P(\\phi)^2$ that supplies the positive mass theorem. The numerical solution maps initial scalar values to boundary data $(\\alpha,\\beta)$ and to the mass, and compares the resulting area ratio to Schwarzschild-AdS.","core_discovery":"The central claim is that in four-dimensional AdS Einstein-scalar gravity with conformally invariant boundary conditions, spherical symmetry makes the Penrose inequality equivalent to the positive mass theorem: a violation of $A[\\sigma] \\le A_{\\mathrm{stationary}}(M,J)$ exists only in theories whose Hamiltonian is unbounded below. The evidence comes from numerically solving the ODE system for initial data of minimal mass at fixed apparent-horizon area; crossing the boundary where a superpotential exists, which is the known sufficient condition for a positive mass theorem, removes all Penrose-violating solutions. Since a holographic time crystal with $O(1/G_N)$ entropy would be an ensemble-dominating, eternally oscillating black hole and would thereby violate the Penrose inequality, the equivalence rules out such time crystals in the neutral, spherically symmetric sector. The paper also reports the first neutral hairy black holes in a theory with a positive mass theorem and conformal boundary conditions, and shows that previously claimed Penrose violations all sit in theories with lower-unbounded energy.","pith_inferences":["Editorial inference: if the PI-iff-PMT equivalence extends beyond spherical symmetry, then any future PI-violating solution in a theory with a superpotential would be the discovery that matters; violations in unbounded-energy theories should not be read as evidence against cosmic censorship.","Editorial inference: the time-symmetry assumption used for the numerical search is testable: constructing non-time-symmetric initial data with extrinsic-curvature contributions in a PMT theory and checking the area ratio would either close the loophole or reveal the first counterexample.","Editorial inference: the newly found hairy black holes near $\\Delta_- = 1$ may have holographic signatures in the canonical ensemble or at finite $N$; computing their free energy relative to Schwarzschild-AdS would show whether they affect phase structure away from strict large $N$.","Editorial inference: the same variational strategy—minimize mass at fixed horizon area—could be adapted to charged scalars or rotating initial data, where the angular-momentum loophole would be tested directly."],"forward_implications":["Electrically neutral holographic CFT$_3$ time crystals, if they exist in the large-$N$ limit, must have non-zero angular momentum.","In spherical symmetry, the Penrose inequality and the positive mass theorem stand or fall together: a PI violation is a signature of lower-unbounded energy, not of a new phase of matter.","The no-hair conjecture of [21] is false: neutral hairy black holes exist in a consistent M-theory truncation with a proven positive mass theorem and conformally invariant boundary conditions.","The Penrose inequality currently provides no Swampland constraint beyond the requirement that the Hamiltonian be bounded below.","A stable eternally oscillating endpoint of the slowly rotating Kerr-AdS$_4$ instability, as suggested by [19], would be a genuine candidate holographic time crystal and would violate the PI."],"supporting_citations":[{"why":"Supplies the candidate endpoint of the slowly rotating Kerr-AdS4 instability that would be a holographic time crystal.","marker":"[19]"},{"why":"Supplies the consistent M-theory truncation potential used to build hairy black holes and test the Penrose inequality.","marker":"[20]"},{"why":"States the no-hair conjecture that the hairy black holes of Sec. 4.2 disprove.","marker":"[21]"},{"why":"Presents the author's earlier Penrose-violating solutions, re-examined here and found to live in unbounded-energy theories.","marker":"[22]"},{"why":"Constructs black resonators, vacuum AdS black holes with a single Killing field, used as evidence that eternally time-dependent exteriors exist.","marker":"[30]"},{"why":"Gives Penrose's original derivation of the inequality from weak cosmic censorship plus settling to a stationary black hole.","marker":"[50]"},{"why":"Derives the Penrose inequality holographically assuming the CFT microcanonical ensemble is dual to a stationary black hole, identifying time crystals as the failure mode.","marker":"[62]"},{"why":"Establishes the designer-gravity framework fixing boundary conditions through W(alpha) and giving the energy formula.","marker":"[75]"},{"why":"Provides the superpotential conditions that establish when the Hamiltonian is bounded below.","marker":"[79]"},{"why":"Gives stability results yielding s_c and the lower bound on mass used to identify the PMT regime.","marker":"[87]"}],"fun_headline_variants":["Neutral spherical time crystals ruled out by Penrose inequality","Penrose inequality kills spherical neutral time crystals","Time crystals need rotation: spherical neutral case excluded","Spherical symmetry closes loophole for holographic time crystals","Neutral spherical AdS time crystals impossible: Penrose bound"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The no-go for spherical time crystals assumes that the least-mass initial data at fixed horizon area can be chosen on a moment of time symmetry; if the true minimizer requires extrinsic curvature, the search would miss it.","fun_headline_variants_meta":{"raw":{"variants":["Neutral spherical time crystals ruled out by Penrose inequality","Penrose inequality kills spherical neutral time crystals","Time crystals need rotation: spherical neutral case excluded","Spherical symmetry closes loophole for holographic time crystals","Neutral spherical AdS time crystals impossible: Penrose bound"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000589,"raw_usage":{"total_tokens":2815,"prompt_tokens":1046,"completion_tokens":1769,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":662,"completion_tokens_details":{"reasoning_tokens":1702}},"tokens_in":662,"tokens_out":1769,"duration_ms":11170,"temperature":1.0,"reasoning_tokens":1702,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-09T14:42:27.430212+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find a time-symmetric, spherically symmetric initial dataset in a designer-gravity theory with a proven superpotential (for example potential (4.3) with $f > -s_c$, or (4.4) with $f > -0.69$) whose apparent-horizon area exceeds $A_{\\mathrm{Schwarzschild-AdS}}(M)$; the ODE system derived here would then need to produce such a solution, and its existence would break the claimed PI-iff-PMT equivalence.","supporting_citations":[{"cited_title":"The Penrose Inequality as a Constraint on the Low Energy Limit of Quantum Gravity","cited_arxiv_id":"2209.00013","evidence_quote":"Presents the author's earlier Penrose-violating solutions, re-examined here and found to live in unbounded-energy theories."},{"cited_title":"Penrose, Naked Singularities, in Sixth Texas Symposium on Relativistic Astrophysics (D","cited_arxiv_id":null,"evidence_quote":"Gives Penrose's original derivation of the inequality from weak cosmic censorship plus settling to a stationary black hole."}],"review_version":1}