{"id":"426106d1-c711-4ec2-bae7-8a6e2564e2f4","arxiv_id":"gr-qc/0604088","paper_version":4,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":3,"one_line_summary":"In Einstein-Aether theory, requiring regularity at the spin-0 horizon reduces static spherical black holes to a one-parameter family close to Schwarzschild outside the horizon.","lead":"This paper studies black holes in Einstein-Aether theory, a modified gravity with a preferred-frame vector field. It finds that regular black holes form a one-parameter family, nearly identical to Schwarzschild outside the horizon but different inside.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The one-parameter family claim rests on horizon expansions completed only for special couplings; generic c3 count is unverified.","rationale":"The reader's conditional verdict identifies exactly the gap I find: the generic-coupling proof is missing. My concern is load-bearing because the abstract's one-parameter count is the paper's main quantitative result, and it is obtained by an order-by-order expansion at the spin-0 horizon that is completed only for c3=0, +/-c1. A generic computer-algebra evaluation of the next-order horizon equations would settle it. I see no reason to suspect dishonesty or concealed error; the paper openly states the computational limitations, and Section 6 already concedes 'At least for a class of coupling constants.' The gap is one of scope, not internal contradiction. Numerical data and Table 1 are useful but do not cover generic c3. Therefore the appropriate verdict is conditional: accept the methods and special-case results, but require either a generic-coefficient computation or a suitably qualified abstract before the headline claim is taken as established.","tokens_in":16122,"tokens_out":8160,"duration_ms":70892,"concrete_test":"Recompute the order-by-order horizon expansion of Section 5.1 for a generic coupling pair, e.g. (c1,c3)=(0.3,0.2) and (0.3,-0.2), with c2 fixed by Eq. (35), using a computer algebra system. At the next order in (r-rh), check whether B'(rh) is uniquely determined by rh and f'(rh). If it is, the two-parameter local regular family and hence the one-parameter asymptotically flat family extend to generic couplings; if B'(rh) stays free, or if no smooth solution exists, the abstract's unqualified counting is false and should be restricted to the special cases.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The abstract's central claim—regularity at a spin-0 horizon cuts the local static solutions from three to two parameters, and asymptotic flatness reduces that to one—is not actually computed for the generic four-coupling theory. Section 4.1 derives the regular-metric-horizon expansion only in the reduced theory (23), explicitly leaving general ci 'prohibitively complicated'. Section 5.1 is more limiting: after the field redefinition that makes spin-0 and metric horizons coincide, the order-by-order expansion at the horizon has three free parameters (rh, f'(rh), B'(rh)) at zeroth order, and the next-order equation that would fix B'(rh) is solved only for c3=0, c3=c1, and c3=-c1. For a generic c3, that equation has not been examined. If B'(rh) remains free, the regular family has one more parameter than claimed; if the next-order equation has no solution, the regular family might be empty or require an extra condition. The paper's own Section 6 narrows the conclusion to 'At least for a class of coupling constants', while the abstract states the one-parameter family without that qualification. This is not an internal inconsistency, but it is exactly the gap on which the headline parameter count rests.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies static, spherically symmetric black hole solutions in Einstein-aether theory, a generally covariant theory of gravity coupled to a unit timelike vector field with four coupling constants. After defining the causal notion of a black hole in terms of the fastest characteristic mode, the authors analyze local solutions around metric and spin-0 horizons using power-series expansions and complement this with numerical integration. The central claim is that the full three-parameter family of local static spherically symmetric solutions is always regular at a metric horizon, regularity at a spin-0 horizon reduces the family to two parameters, and asymptotic flatness further reduces it to a one-parameter family of regular black holes. The authors then study a special class of couplings numerically, showing that these black holes resemble Schwarzschild outside the horizon, possess a spacelike singularity inside, and exhibit oscillatory interior behavior.","tokens_in":16413,"tokens_out":3381,"duration_ms":30501,"significance":"If the parameter counting holds for the full theory, the paper establishes an important result: the existence of a one-parameter family of regular, asymptotically flat black holes in a Lorentz-violating gravity theory, with observable consequences for the exterior metric and horizon properties. The paper's strengths include explicit power-series horizon expansions, a clear counting argument from free initial data, a shooting method that matches horizon data to asymptotic flatness, and quantitative comparisons with Schwarzschild, including the first-law coefficient alpha in Table 1. These methods and results are substantial. The main limitation is that the central generic-counting claim is demonstrated only for a restricted class of couplings, while the abstract presents it without qualification.","major_comments":[{"comment":"The order-by-order expansion around a regular spin-0 horizon is solved explicitly only in the special cases c3 = 0, c3 = c1, and c3 = -c1. For generic c3, the equation that would determine B'(rh) is not solved, so the statement that regularity at a spin-0 horizon leaves a two-parameter family of local solutions is not established for the generic four-coupling theory. Since the abstract's headline claim \"only a two-parameter subset is regular at a spin-0 horizon\" depends on this count, the abstract and the corresponding statements in Sections 4 and 6 should be qualified, or the expansion should be extended to generic c3.","section":"Section 5.1, paragraph after Eq. (35)"},{"comment":"The metric-horizon expansion is performed only for the reduced theory (23), with the computation for general ci described as \"prohibitively complicated.\" The abstract nevertheless states that \"the full three-parameter family of local spherically symmetric static solutions is always regular at a metric horizon\" without the reduced-theory qualifier. This claim is not derived for generic ci, and the numerical evidence mentioned in the same section, while suggestive, is not a proof. The claims should be restricted to the cases actually computed.","section":"Section 4.1, first paragraph"},{"comment":"The asymptotic expansion (30)-(32), which underlies the statement \"asymptotic flatness imposes another condition, leaving a one-parameter family of regular black holes,\" is derived in the reduced theory (23) only. If the metric-horizon and spin-0-horizon counts are not established for generic ci, then the reduction from three to one parameter under asymptotic flatness is also not established for generic ci. The paper itself acknowledges in Section 6 that the one-parameter family is obtained \"at least for a class of coupling constants,\" which conflicts with the unqualified abstract claim. This is the load-bearing point that needs either additional computation or a careful rewriting of the claims.","section":"Section 4.2 and Section 4.3"}],"minor_comments":[{"comment":"There is a duplicated definite article in \"the the 4-velocity of freely-falling geodesics.\"","section":"Abstract"},{"comment":"The phrase \"with with null generator ka\" contains a duplicated \"with\" and should be corrected.","section":"Section 2, first paragraph"},{"comment":"The notation for the coupling coefficients after the field redefinition is slightly confusing: the paper states that the \"distinct parameter space reduces to just (c1,c3)\" and then gives c2 in terms of c1 and c3, but it should be made explicit that these are the primed coefficients of the transformed theory.","section":"Section 5.1, after Eq. (35)"},{"comment":"The caption would be clearer if it stated the value of c2 used and noted that the plotted functions are normalized at infinity, since the text explains this only later.","section":"Figure 2 caption"},{"comment":"The discussion of oscillations near the singularity would benefit from a statement about numerical resolution: the text notes that the number of oscillations may be limited by the integrator, which is fine, but the same caveat should be restated in the figure caption or in the main text near Figure 3.","section":"Section 5.2.3"}],"recommendation":"major_revision","confidential_remarks":"The paper is a serious contribution, and the numerical work for the special cases is convincing. However, the abstract and the introductory claims present the one-parameter family as a generic result for the full four-coupling theory, while the derivations cover only the reduced theory and the special cases c3 = 0, c3 = c1, c3 = -c1. This mismatch between the stated result and the supporting evidence is substantial enough to require a major revision, either by extending the horizon expansion to generic c3 or by rewriting the claims with the appropriate qualifications. The self-citation to [13] is appropriate and does not raise a concern about circularity."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"First thing to know: this paper introduces the right way to think about black holes in Einstein-Aether theory—you need to trap the fastest mode, so the spin-0 horizon matters—and it backs that up with explicit static spherical solutions where the aether falls inward, something the earlier static-aether work didn't have. The regularity condition at the spin-0 horizon is the key new idea, and the parameter count that follows is both non-obvious and testable: metric horizons stay regular for the full three-parameter family, spin-0 horizons cut it to two, and asymptotic flatness to one.\n\nThe paper does this honestly in the technical sections. The power-series expansions about the metric horizon in the reduced theory (Section 4.1) and about the spin-0 horizon for c3=0, ±c1 (Section 5.1) are careful. The numerical solutions for c1=0.3 and the comparison to Schwarzschild are plausible and physically illuminating: exterior is very close, interior oscillates and runs into a spacelike singularity. The Discussion is candid, noting that the existence proof is only for a class of couplings.\n\nNow the soft spots, in proportion. The abstract states the one-parameter family for the full four-coupling theory without qualification. The derivations don't get there. Section 4.1 explicitly restricts to the reduced theory because the general computation was 'prohibitively complicated,' and Section 5.1 solves the next-order horizon expansion only for c3=0, c3=c1, c3=-c1. For generic c3, whether B'(rh) is fixed by regularity is not shown. So the generic parameter count is a conjecture, supported by the special-case algebra and by numerical shooting in one example, not a theorem. The stress-test note has this right. There's also no error analysis on the numerics, and no code/data shipped, so the oscillations and the r0/rh table are hard to verify independently. These are not fatal—the special-case solutions stand—but they should force a rewritten abstract or a generic-coefficient calculation.\n\nWho gets value: anyone working on Lorentz-violating gravity, black hole mechanics with multiple causal cones, or the physical meaning of horizons when the speed of gravity differs from light. I'd bring it to a reading group. It deserves a serious referee—the ideas are important and the partial results are solid—but I'd want the referee to require the abstract to match the evidence, or the authors to add the missing generic analysis and error-controlled numerics. Not a desk reject; a real review with a request for revision.","headline":"A real step forward in Einstein-Aether black holes, but the one-parameter family is rigorously shown only for special couplings; the abstract overstates the generic case.","tokens_in":16878,"tokens_out":3014,"would_cite":true,"duration_ms":26240,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"pith_extraction":{"msc":["83C57","83D05","83C15"],"pacs":["04.70.-s","04.50.Kd"],"model":"deepseek-v4-flash","headline":"Einstein-aether theory admits a one-parameter family of regular spherical black holes that closely mimic Schwarzschild outside the horizon but oscillate inside.","keywords":["Einstein-aether theory","black holes","Lorentz violation","spin-0 horizon","spherical symmetry","effective metric","singularity","modified gravity"],"falsifier":"Repeat the spin-0 horizon power-series expansion for the reduced theory at generic values of c1 and c2 without the c3 equals zero or c3 equals plus or minus c1 simplifications, or perform the analogous expansion in the full four-coupling theory. If, at the next order, the free parameter B'(rh) is not determined by rh and f'(rh), the two-parameter regular local family does not exist and the one-parameter black-hole family count collapses.","tokens_in":15929,"feed_emoji":"🕳️","tokens_out":4847,"duration_ms":43616,"temperature":0.7,"pith_summary":"This paper asks whether Einstein-aether theory, a modified gravity with a preferred timelike vector field, admits black holes that trap every causal influence. It argues that a genuine aether black hole must trap not just metric modes but also the spin-0, spin-1, and spin-2 aether waves, each with its own effective horizon. The central result is a parameter count: local static spherical solutions form a three-parameter family, regularity at the metric horizon costs nothing, regularity at the spin-0 horizon removes one parameter, and asymptotic flatness removes another, leaving a one-parameter family. Numerically, these black holes are nearly identical to Schwarzschild outside the horizon, possess a spacelike singularity near r equals zero, and display oscillatory metric and aether quantities in the interior.","feed_headline":"One-parameter family of black holes survives Einstein-aether theory","feed_subtitle":"Outside they mimic Schwarzschild; inside the aether oscillates toward a spacelike singularity.","key_machinery":"The load-bearing object is the effective metric g^(i)_ab = g_ab + ($s_i^{2}$ - 1)u_a u_b for each wave mode, whose null surfaces define the spin-0, spin-1, and spin-2 horizons. In spherical symmetry the aether has one radial degree of freedom, and a spin-0 horizon occurs where the combination f = N $a^{2}$ equals (1-s0)/(1+s0) or its inverse. The argument runs on power-series solutions of the field equations about the metric horizon and about the spin-0 horizon; a field redefinition makes the spin-0 and metric horizons coincide, reducing the coupling space and allowing the series to be solved in special cases. This machinery converts 'regularly extends as a static spherical solution' into algebraic conditions on free parameters at the horizon.","core_discovery":"In Einstein-aether theory, black holes exist as a one-parameter family of asymptotically flat, static, spherically symmetric solutions with regular metric, spin-0, spin-1, and spin-2 horizons. The paper establishes this by expanding field equations about candidate horizons: a metric horizon is generically regular, but a spin-0 horizon is generically singular unless one initial-data parameter is tuned; asymptotic flatness then fixes one further parameter. For the special coupling class c3 equals zero, the solutions are very close to Schwarzschild outside, while inside the horizon the metric function N and aether quantities oscillate, and a spacelike curvature singularity appears at or very near r equals zero. The aether flows inward but lags free-fall until near the horizon, and the black-hole first-law coefficient alpha depends on the couplings.","pith_inferences":["If the parameter count is generic, the spin-0 horizon acts as a selection rule analogous to requiring regularity at the center in general relativity; one could test whether generic collapse with generic couplings produces the same counting or whether the special-case reliance hides a different family.","Because the exterior is nearly Schwarzschild for a wide coupling range, observational tests of aether theory are more likely to come from the horizon-radius versus mass relation or from interior physics than from the weak-field exterior.","The interior oscillations may indicate that the static solutions approach a limiting cycle near the singularity; analytic control near r equals zero could reveal whether the number of oscillations is finite or infinite.","Since field redefinitions can make any chosen mode horizon coincide with the metric Killing horizon, the identification of the black-hole entropy surface is not fixed by the theory itself, suggesting that aether black-hole thermodynamics needs additional physical input."],"forward_implications":["Any nonsingular spherical collapse that settles into a static black hole must emit a burst of spin-0 aether radiation while the exterior adjusts, since the aether cannot remain aligned with the Killing vector and must be infalling.","For fixed mass, the horizon radius is larger than in Schwarzschild: in units with horizon radius 1, the mass parameter r0 decreases with the coupling c1, while the surface gravity increases by up to 25 percent over the studied range.","The ratio of mass parameter to horizon radius is constant for each coupling set, so the first law of black hole mechanics keeps the general-relativistic form but with a coupling-dependent dimensionless coefficient alpha.","The aether congruence differs measurably from free-fall: it barely falls outside the horizon, catches up inside, and then oscillates in relative 3-velocity near the singularity.","The interior is not Schwarzschild-like in detail: the Kretschmann scalar slope alternates between roughly -6 and -4.5, and the quantities f and Ba oscillate out of phase, as in Einstein-Yang-Mills black holes."],"supporting_citations":[{"why":"Establishes the prior spherical static-aether solutions and the three-parameter local solution family that this paper extends to black holes.","marker":"[13]"},{"why":"Determines the spin-0, spin-1, and spin-2 wave speeds whose effective metrics define the horizons used throughout.","marker":"[7]"},{"why":"Supplies the characteristic-surface criterion by which horizons are identified from discontinuities in first derivatives.","marker":"[14]"},{"why":"Provides the bifurcation-surface extension conditions that make the aether's failure to extend to the bifurcation sphere a genuine obstruction.","marker":"[15]"},{"why":"Gives the field-redefinition formulas used to put the action in reduced form and to make the spin-0 and metric horizons coincide.","marker":"[16]"},{"why":"Relates ADM mass to total energy in aether theory, grounding the black-hole mass extraction and first-law discussion.","marker":"[17]"},{"why":"Provides the Einstein-Yang-Mills interior oscillation phenomenon that the aether interior is compared against.","marker":"[18]"},{"why":"Supplies the asymptotic inverse-radius expansion technique used to identify asymptotically flat solutions.","marker":"[4]"}],"fun_headline_variants":["Einstein-aether black holes: one-parameter family mimics Schwarzschild","Einstein-aether black holes: Schwarzschild outside, oscillating inside","Aether black holes: one-parameter family with oscillating interior and singularity","Einstein-aether theory: black holes close to Schwarzschild, singular oscillating core"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole parameter count is verified only for the reduced theory and, at the spin-0 horizon, only for the special cases c3 equals zero and c3 equals plus or minus c1; the claim that this represents the generic four-coupling theory is assumed, not proven.","fun_headline_variants_meta":{"raw":{"variants":["Einstein-aether black holes: one-parameter family mimics Schwarzschild","Einstein-aether black holes: Schwarzschild outside, oscillating inside","Aether black holes: one-parameter family with oscillating interior and singularity","Einstein-aether theory: black holes close to Schwarzschild, singular oscillating core"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001241,"raw_usage":{"total_tokens":5074,"prompt_tokens":906,"completion_tokens":4168,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":522,"completion_tokens_details":{"reasoning_tokens":4085}},"tokens_in":522,"tokens_out":4168,"duration_ms":24995,"temperature":1.0,"reasoning_tokens":4085,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-28T16:57:16.959327+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Repeat the spin-0 horizon power-series expansion for the reduced theory at generic values of c1 and c2 without the c3 equals zero or c3 equals plus or minus c1 simplifications, or perform the analogous expansion in the full four-coupling theory. If, at the next order, the free parameter B'(rh) is not determined by rh and f'(rh), the two-parameter regular local family does not exist and the one-parameter black-hole family count collapses.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the characteristic-surface criterion by which horizons are identified from discontinuities in first derivatives."},{"cited_title":"Metric Redefinitions in Einstein-Aether Theory","cited_arxiv_id":"gr-qc/0502066","evidence_quote":"Gives the field-redefinition formulas used to put the action in reduced form and to make the spin-0 and metric horizons coincide."},{"cited_title":"Noether charges and black hole mechanics in Einstein-aether theory","cited_arxiv_id":"gr-qc/0509121","evidence_quote":"Relates ADM mass to total energy in aether theory, grounding the black-hole mass extraction and first-law discussion."},{"cited_title":"Internal Structure of Einstein-Yang-Mills Black Holes","cited_arxiv_id":"gr-qc/9612067","evidence_quote":"Provides the Einstein-Yang-Mills interior oscillation phenomenon that the aether interior is compared against."}],"review_version":1}