{"id":"023c3c04-061d-49fe-b848-8f562357f7e5","arxiv_id":"1908.04326","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Active diffeomorphisms create physically distinct but equally possible situations, a stance the paper calls Newton Equivalence, which aims to escape the Earman-Norton substantivalism dilemma.","lead":"The paper argues that active diffeomorphisms in general relativity change what is physically real, but all such changed situations are equally possible, a view the author calls Newton Equivalence. This offers philosophers a way to reject Leibniz Equivalence without committing to substantivalism.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Section 8's escape from the hole-argument indeterminism depends on source matching that fails for vacuum GR, and the fallback to 'spurious solutions' from Johns (2019) is unstated and cannot distinguish isometric metrics without a preferred coordinate choice.","rationale":"The strongest claim—that Newton Equivalence is a straightforward and correct interpretation and avoids Earman-Norton's consequences—stands or falls with §8. The paper's novel route to that conclusion is the assertion that Earman-Norton's hole diffeomorphisms are unmatched to a source-free hole, so they alter the source and define a different experiment. The reader correctly isolates this as fragile. I agree and would add two points that make it the decisive stress point rather than a stylistic issue. First, in the vacuum case T = 0, the source-matching distinction evaporates: any active diffeomorphism supported in the zero-source region leaves the source unchanged, as footnote 34 concedes. The paper's reply then must fall back on the 'spurious solution' claim from the author's own Johns (2019), which is not derived or stated in this paper. Second, even in the non-vacuum case, the Earman-Norton dilemma is an initial-data argument: the two diffeomorphism-related models agree on the region outside the hole, including a Cauchy surface, but differ in the future hole. The differing source inside the future hole is not an external experimental setup; it is part of the future that determinism was supposed to fix. Thus the 'different experiment' response does not actually defuse the indeterminism charge. The possible exit through 'spurious solutions' is also not obviously available: because φ*g is isometric to g, any diffeomorphism-invariant criterion will treat them identically; a criterion that prefers one coordinate expression would amount to reintroducing a preferred coordinate system. This is not a fatal internal inconsistency, but it is a missing argument in the precise place the central conclusion needs support. The paper's examples and its distinction between symmetry and identity are still useful, and the conclusion may be salvageable with a clear, non-question-begging rejection criterion or an alternative response to the hole argument. For that reason, CONDITIONAL remains the right verdict; I would not upgrade to REJECT because the central philosophical position is not shown false.","tokens_in":13153,"tokens_out":10278,"duration_ms":105783,"concrete_test":"Take a vacuum solution (e.g., exterior Schwarzschild or Minkowski) and a compactly supported active diffeomorphism φ that is identity outside a hole H but nontrivial inside. Check that both g and φ*g satisfy the vacuum Einstein equations with the same zero source and agree on a Cauchy surface just outside H. Then apply the Johns (2019) spurious-solution criterion to this pair: does it select a unique representative without invoking a preferred coordinate system? If it rejects one, specify the coordinate-independent observable that distinguishes the two isometric metrics; if it cannot, the §8 escape fails and Newton Equivalence implies the hole-argument indeterminism.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section 8's defense of Newton Equivalence depends on showing that Earman-Norton's hole argument fails because their 'unmatched' hole diffeomorphisms change the source and thus model a different experiment. This premise is not secure. First, for vacuum GR the source is identically zero in the hole, so every actively diffeomorphic model has the same source; the paper concedes this in footnote 34. The indeterminism question therefore remains live exactly in the case Einstein posed. Second, even when the source does not vanish, Earman-Norton's dilemma is an initial-data argument, not a 'source determines solution' argument: a hole diffeomorphism that is identity outside the hole leaves all fields on a Cauchy surface outside the hole identical, while the future inside the hole differs. The differing source inside the future hole is part of the future state, not an external experimental setup, so calling it a 'different experiment' does not defuse the indeterminism charge. The only remaining exit is the author's prior 'spurious solution' claim from Johns (2019), which is neither derived nor stated in this paper. Because φ*g is by construction isometric to g, any invariant or symmetry-based criterion will see the two metrics as the same; a coordinate-based criterion would reintroduce a preferred coordinate system of the kind general covariance denies. Without an independent, non-question-begging criterion, the §8 escape is unsupported.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper distinguishes passive from active diffeomorphisms and introduces \"Newton Equivalence\" as an interpretation of active diffeomorphisms: the different manifold objects produced by an active diffeomorphism model different physical situations, but general covariance makes all of these situations equally possible. This is contrasted with \"Leibniz Equivalence,\" the Earman-Norton claim that diffeomorphic models represent the same physical situation. The paper argues that Newton Equivalence is consistent with current physics practice, that Leibniz Equivalence rests on an unjustified extrapolation from Leibnizian relativism, and that accepting Newton Equivalence allows one to remain agnostic about substantivalism while escaping Earman and Norton's verificationist and indeterminism dilemmas.","tokens_in":13400,"tokens_out":3057,"duration_ms":35197,"significance":"If the central argument were sound, the paper would provide a clearly articulated alternative to Leibniz Equivalence and a direct challenge to the standard hole-argument conclusions about substantivalism. The paper is genuinely useful as a conceptual taxonomy: its definitions of active and passive diffeomorphisms are standard, its uncontested-points list in Section 4 is helpful, and the two examples in Section 5 make the abstract distinction concrete. The paper also deserves credit for stating the points of agreement between the two interpretations before arguing for one. However, the significance is substantially limited by the fact that the paper's escape from the indeterminism dilemma rests on a premise that fails in the vacuum case and on an unstated, self-cited criterion for rejecting \"spurious\" solutions.","major_comments":[{"comment":"The paper's escape from the Earman-Norton indeterminism dilemma is load-bearing and is not secure. The paper claims that \"unmatched\" active hole diffeomorphisms change the source term and therefore describe a different experiment, so that Earman-Norton's dilemma is merely the correct action of a symmetry principle. But the hole argument is standardly posed, and Einstein originally posed it, for a source-free region in which T_μν = 0. In that case every active diffeomorphism supported in the hole leaves the source identically zero, as the paper itself concedes in footnote 34. Therefore the distinction between \"matched\" and \"unmatched\" diffeomorphisms does not do the work assigned to it: an \"unmatched\" diffeomorphism supported in a vacuum hole still leaves the source unchanged. The indeterminism question thus remains live for the case that motivated the hole argument, and the paper's conclusion that the Earman-Norton indeterminism dilemma \"does not generalize Einstein's version\" is unsupported.","section":"§8, especially the paragraph containing footnote 34"},{"comment":"The fallback escape from indeterminism is delegated to the author's own forthcoming paper, Johns (2019), without stating or deriving the criterion by which a metric solution is rejected as \"spurious.\" The paper says it \"may be possible\" to reject as spurious a metric solution whose local coordinates violate a desired symmetry, and then uses this possibility to justify uniqueness. But no invariant, non-question-begging criterion is given here. Since φ*g is by construction isometric to g, any criterion based on invariant or symmetry-invariant quantities will see the two metrics as the same; a criterion that uses the local coordinate expression would appear to reintroduce a preferred coordinate system of exactly the kind general covariance denies. Until this criterion is stated and defended, the appeal to spurious solutions cannot carry the weight placed on it in §8.","section":"§7.4 and the conclusion of §8"},{"comment":"The paper's \"different experiment\" response misses the structure of the Earman-Norton dilemma as an initial-data argument. The hole diffeomorphism is the identity outside the hole, so all fields on a Cauchy surface outside the hole are identical in the two models, while the future inside the hole differs. The source inside the future hole is part of the future state of that model, not an externally fixed experimental setup. Calling the changed source a \"different experiment\" therefore does not defuse the indeterminism charge: the two models have the same initial data but different futures, which is precisely the form of indeterminism at issue.","section":"§8, Earman-Norton's initial-data formulation"}],"minor_comments":[{"comment":"Example 1 says the rotation generated by the vector field (0,-x2,x1,0) is \"assumed to be the identity everywhere except in the apparatus,\" but a global rotation by τ = π/4 is not the identity outside a bounded region. A localized diffeomorphism must be constructed with a bump function or similar device; as stated, the example is internally inconsistent.","section":"§5.1 and §3.1"},{"comment":"The phrase \"Earman-Newton treatment\" appears to be a typo for \"Earman-Norton treatment.\" Please correct it.","section":"§8, final paragraph of the indeterminism subsection"},{"comment":"The sentence beginning \"These extrapolations will appeal to a researcher...\" appears to mean \"will be appealing to\" rather than \"will appeal to\" in the sense of making a request; consider rewording for clarity.","section":"§7.5"}],"recommendation":"major_revision","confidential_remarks":"The manuscript leans heavily on the author's own forthcoming paper, Johns (2019), for the decisive \"spurious solution\" criterion, and that paper is cited as if its conclusions were already established. This is a concern both because the present paper's central escape from indeterminism is not self-contained and because the referee cannot verify the cited result from the manuscript alone. The author should either provide the argument in this paper or clearly flag it as a conjecture rather than a supporting result."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The genuinely useful thing here is the named middle position: Newton Equivalence, the view that active diffeomorphisms change the physical situation while general covariance makes all such situations equally possible. The paper also makes a correct logical point that the substantivalism debate has often blurred—denying Leibniz Equivalence does not force substantivalism, because Leibniz Equivalence is a stronger extrapolation than Leibnizian relativism. The passive/active distinction is set out clearly, the two examples are helpful, and the argument that localized active diffeomorphisms are observable from an untransformed region is a fair knock against Earman-Norton's observational-indistinguishability claim.\n\nThe soft spot is §8. The paper tries to defuse the Earman-Norton indeterminism argument by saying their 'unmatched' hole diffeomorphisms change the source and therefore describe a different experiment. That fails for the original Einstein case, where the hole is source-free: as footnote 34 itself concedes, the zero source is invariant under any diffeomorphism. So in vacuum GR the source is not changed, and the indeterminism question stays live exactly where it matters. The fallback to 'spurious solutions' from Johns (2019) is load-bearing and not derived or even stated here. Worse, since φ*g is by construction isometric to g, any invariant criterion will see them as the same; distinguishing them would seem to require a preferred coordinate choice of the kind general covariance denies. That is a genuine gap, not a quibble.\n\nThe logical point about substantivalism and the observability critique do not depend on §8, so the paper is still worth engaging. But the advertised refutation of Earman-Norton's indeterminism dilemma is unsupported as written. I would send it to a good referee, but expect them to press hard on §8; the paper needs major revision before the central anti-Earman-Norton claim can stand. For philosophers of spacetime it is a reasonable discussion piece, not a definitive treatment.","headline":"A useful logical point about substantivalism and a clear exposition of active diffeomorphisms, but the §8 escape from Earman-Norton's indeterminism argument does not survive contact with vacuum GR.","tokens_in":674,"tokens_out":838,"would_cite":false,"duration_ms":31864,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"Active diffeomorphisms change the physical situation, and all changed situations are equally possible.","keywords":["active diffeomorphisms","passive diffeomorphisms","Leibniz Equivalence","Newton Equivalence","hole argument","substantivalism","general covariance","symmetry and identity"],"falsifier":"Take a vacuum solution of the general-relativity field equation with a compactly supported active diffeomorphism that is the identity outside a hole and changes the metric inside; if two distinct metrics related by such a map both satisfy the same field equation with the same zero source and the paper's spurious-solution criterion cannot single out one, the source-matching escape fails and the indeterminism question is reinstated.","tokens_in":12911,"feed_emoji":"🌀","tokens_out":9585,"duration_ms":89939,"temperature":0.7,"pith_summary":"The paper introduces Newton Equivalence as an interpretation of active diffeomorphisms: a diffeomorphism that moves manifold points and pushes forward fields changes the physical situation being modeled, and general covariance then makes the new situation equally possible. The paper contrasts this with Leibniz Equivalence, which identifies all actively diffeomorphic models with a single physical situation. It argues that active diffeomorphisms are symmetry operations, not re-descriptions, and that localized ones can be observed from an untransformed region. On this reading, the generalized hole argument's two objections to substantivalism, the verificationist dilemma and the indeterminism dilemma, both fail. If the paper is right, denying Leibniz Equivalence does not commit a researcher to substantivalism, and the substantivalism debate becomes separable from the interpretation of active diffeomorphisms.","feed_headline":"Active diffeomorphisms change physics, not just coordinates","feed_subtitle":"A new reading treats each diffeomorphic image as a different but equally possible experiment.","key_machinery":"The load-bearing distinction is between passive and active diffeomorphisms. A passive diffeomorphism changes the local coordinates used to represent manifold objects while leaving the objects themselves unchanged; an active diffeomorphism leaves the coordinate system fixed and pushes the manifold objects forward to new objects. The interpretation of that push-forward is what separates the two principles: Leibniz Equivalence treats the pushed-forward objects as a new representation of the same physical situation, while Newton Equivalence treats them as a different, equally possible situation. A second mechanism is the matched-versus-unmatched hole diffeomorphism: when the active map is the identity outside a source-free hole, it changes the metric without changing the source, but when it is not matched to the source region it changes both solution and source, which the paper reads as defining a different experiment.","core_discovery":"The central claim is that an active diffeomorphism produces genuinely different manifold objects, functions, vector fields, and metrics, and those different objects model genuinely different physical situations. Because the model is generally covariant, the transformed situation obeys the same laws and is therefore as possible as the original; it is a different experiment that could happen, not the same experiment in different coordinates. The paper argues this reading matches standard physics practice, which distinguishes symmetry from identity: a rotated magnet on a table is a new physical configuration even though rotation is a symmetry. It also argues that a localized active diffeomorphism leaves an untransformed reference region behind, so the change is observable in principle. The generalized hole argument's indeterminism charge is said to fail because its hole diffeomorphisms are not matched to a source-free region and therefore alter the source term, turning the alleged indeterminism into the ordinary prediction of a different experiment.","pith_inferences":["A consequence the paper does not develop: in vacuum general relativity, where the source vanishes everywhere, every hole diffeomorphism leaves the source unchanged; on the paper's own source-matching test, its escape from the indeterminism dilemma does not apply to vacuum spacetimes.","By analogy, Newton Equivalence suggests a general stance toward gauge symmetries: symmetry-related configurations could be physically distinct yet equally possible, which would change how gauge redundancy is handled in quantization.","A testable extension would compare active diffeomorphic images of a laboratory configuration: if the apparatus and the table are both transformed, no reference remains to register the change, so the observability argument likely applies only to localized, not global, diffeomorphisms."],"forward_implications":["If Newton Equivalence is correct, a generally covariant model and its active diffeomorphic images describe a family of distinct possible experiments, so counting possible worlds should not identify diffeomorphic models.","The substantivalism question decouples from active diffeomorphisms: rejecting Leibniz Equivalence no longer forces one into substantivalism, since Newton Equivalence allows agnosticism.","The verificationist dilemma collapses for localized active diffeomorphisms, because an untransformed region can serve as a reference system that registers the change.","The indeterminism dilemma fails for unmatched hole diffeomorphisms, since changing the source changes the experiment; only a source-matched hole diffeomorphism reproduces the original hole-argument worry.","Standard practice in theoretical and experimental physics, treating symmetries as relating distinct but equally allowed situations, is preserved."],"supporting_citations":[{"why":"States the Leibniz Equivalence principle and the verificationist and indeterminism dilemmas that the paper argues Newton Equivalence escapes.","marker":"Earman and Norton (1987)"},{"why":"Provides the matched-source analysis and spurious-solution rejection used to defuse the indeterminism dilemma.","marker":"Johns (2019)"},{"why":"Introduces the active-versus-passive diffeomorphism terminology that structures the paper's argument.","marker":"Stachel (1986)"},{"why":"Documents the original hole-argument reasoning and the later reinterpretation of the transformation as active.","marker":"Torretti (1996)"},{"why":"Exemplifies the equivalence-class reading of spacetime models that Newton Equivalence rejects.","marker":"Hawking and Ellis (1973)"},{"why":"Grounds the symmetry-versus-identity distinction from standard physics practice that Newton Equivalence relies on.","marker":"Bjorken and Drell (1965)"},{"why":"Shows a leading relativity textbook that does not adopt the equivalence-class reading, supporting the claim that practice is not uniform.","marker":"Misner et al (1973)"}],"fun_headline_variants":["Diffeomorphisms yield distinct experiments, not just coordinates","Each diffeomorphism models a different physical situation","Newton Equivalence: diffeos are new experiments, not coordinates","Active diffeomorphisms: distinct possibilities, not gauge"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The paper's escape from the indeterminism dilemma assumes that the hole diffeomorphisms considered by the generalized hole argument are not matched to a source-free region; when the source already vanishes inside the hole, the diffeomorphism leaves the source unchanged and the dilemma remains open.","fun_headline_variants_meta":{"raw":{"variants":["Diffeomorphisms yield distinct experiments, not just coordinates","Each diffeomorphism models a different physical situation","Newton Equivalence: diffeos are new experiments, not coordinates","Active diffeomorphisms: distinct possibilities, not gauge"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000655,"raw_usage":{"total_tokens":2954,"prompt_tokens":852,"completion_tokens":2102,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":468,"completion_tokens_details":{"reasoning_tokens":2035}},"tokens_in":468,"tokens_out":2102,"duration_ms":16016,"temperature":1.0,"reasoning_tokens":2035,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:45:12.160561+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a vacuum solution of the general-relativity field equation with a compactly supported active diffeomorphism that is the identity outside a hole and changes the metric inside; if two distinct metrics related by such a map both satisfy the same field equation with the same zero source and the paper's spurious-solution criterion cannot single out one, the source-matching escape fails and the indeterminism question is reinstated.","supporting_citations":[{"cited_title":"Brit J Phil Sci 38:515--525","cited_arxiv_id":null,"evidence_quote":"States the Leibniz Equivalence principle and the verificationist and indeterminism dilemmas that the paper argues Newton Equivalence escapes."},{"cited_title":"Validity of the Einstein Hole Argument","cited_arxiv_id":"1907.01614","evidence_quote":"Provides the matched-source analysis and spurious-solution rejection used to defuse the indeterminism dilemma."},{"cited_title":"In: Ruffini R (ed) Proceedings of the Fourth Marcel Grossmann Meeting on General Relativity, Elsevier, Amsterdam, pp 1857--1862","cited_arxiv_id":null,"evidence_quote":"Introduces the active-versus-passive diffeomorphism terminology that structures the paper's argument."},{"cited_title":"Dover, New York","cited_arxiv_id":null,"evidence_quote":"Documents the original hole-argument reasoning and the later reinterpretation of the transformation as active."},{"cited_title":"Cambridge University Press","cited_arxiv_id":null,"evidence_quote":"Exemplifies the equivalence-class reading of spacetime models that Newton Equivalence rejects."},{"cited_title":"McGraw-Hill, Inc., New York","cited_arxiv_id":null,"evidence_quote":"Grounds the symmetry-versus-identity distinction from standard physics practice that Newton Equivalence relies on."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Shows a leading relativity textbook that does not adopt the equivalence-class reading, supporting the claim that practice is not uniform."}],"review_version":1}