{"id":"ec280cab-f6d8-42a4-9289-0235ae2177ae","arxiv_id":"1908.10186","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Algorithms and data in a computer causally control electron flows in transistors, providing a concrete counterexample to diachronic supervenience and to the causal completeness of bottom-level physics.","lead":"This paper argues that in digital computers, the abstract logic of a program controls whether electrons flow through specific transistors, which is downward causation from higher to lower levels. It claims that physics alone is not causally complete because higher-level logical and social contexts shape the electron dynamics.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"§4.3's central mechanism rests on a false claim about time-dependent Hamiltonians: the Schrödinger equation with a prescribed V(t) remains well-posed, so 'outcomes are not determined by initial data' does not follow.","rationale":"The reader's verdict is CONDITIONAL, and my stress-test does not change that overall verdict, so I mark UNCHANGED. However, my emphasis differs from the reader's stated weakest assumption. The reader highlights §4.2's non-derivability of transistor properties from the microscopic Hamiltonian as the load-bearing assumption; I agree that is an important philosophical premise, but I find a more specific and more clearly checkable technical flaw in §4.3's existence/uniqueness claim. The paper's central mechanism is explicitly that time-dependent V(t) makes the usual theorems fail, so outcomes cannot be determined by initial data. That claim is false for a prescribed, regular V(t): the time-dependent Schrödinger equation remains well-posed and the evolution is unique. This does not destroy the broader philosophical thesis (counterfactual dependence, open systems, abstract entities causing physical outcomes), but it removes the stated microphysical route. The reader's rationale does mention this technical error, so my agreement is partial rather than disagree. The non-derivability claim is asserted through a long quotation from Leggett and is difficult to settle rigorously; the existence/uniqueness error is crisp and can be checked by any standard text on time-dependent quantum mechanics or by direct numerical solution. Thus the most load-bearing concern is the technical error, and the verdict remains CONDITIONAL: the paper should be accepted only after correcting or reframing the mechanism in §4.3.","tokens_in":17188,"tokens_out":3225,"duration_ms":35151,"concrete_test":"Check the mathematical assertion in §4.3 by formulating the minimal model: a single electron in a 1D potential with gate potential V(t) = V0 f(t) added via Eq. (7), where f(t) is continuous and bounded on [0,T]. Solve iℏ∂_t ψ = (H0 + H_V(t))ψ from two slightly different initial states, using standard numerical integration (e.g., split-operator method with small time steps). Confirm that the final states are unique and depend continuously on the initial data. For a rigorous analogue, verify that the Dyson series converges for bounded H_V(t), giving a unitary propagator U(t,0) with ψ(t)=U(t,0)ψ(0). This directly falsifies the claim that 'usual existence and uniqueness theorems do not apply.'","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's 'crucial dynamic' (§4.3) is that a time-dependent gate voltage V(t) adds H_V(t) to the Hamiltonian (Eq. 7), so 'usual existence and uniqueness theorems do not apply: outcomes are not determined by initial data.' This is technically incorrect for the time-dependent Schrödinger equation. For a Hamiltonian H0 + H_V(t) with V(t) a sufficiently regular, bounded, self-adjoint potential (e.g., piecewise continuous and bounded), Kato's theory and the Dyson series guarantee a unique unitary propagator: the wavefunction at any later time is uniquely determined by the initial wavefunction and the function V(t). The presence of a time-dependent potential does not make the initial-value problem ill-posed or non-unique. What the argument needs is not failure of existence/uniqueness but the claim that V(t) is not itself determined by the microscopic initial state—e.g., because it encodes program semantics or external boundary conditions. As written, the stated mechanism is false, which directly undermines the paper's claim that lower-level dynamics are not fixed by initial data. The non-derivability premise of §4.2, asserted largely via Leggett's authority, is a separate and weaker support; but the technical error alone is load-bearing because §4.3 is presented as the concrete 'how' of downward causation.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper argues that digital computers provide a concrete case of downward causation: high-level abstract programs and data control electron flows in transistors, so the microphysical dynamics is not causally complete on its own. The proposed mechanism is that time-dependent gate voltages V(t) add a term H_V(t) to the electron Hamiltonian (Eq. 7), altering band structure and depletion zones, and the authors claim that this invalidates existence and uniqueness theorems, so outcomes are not fixed by initial data. The paper then uses this to deny diachronic supervenience and to argue for the causal power of abstract entities. The argument is presented through a detailed hierarchy of logical and implementation levels, with examples such as Bubble Sort and interactive programs.","tokens_in":17481,"tokens_out":2987,"duration_ms":31656,"significance":"If the argument were correct, it would provide a rigorous mechanistic example of strong emergence and downward causation in a well-understood physical system, potentially relevant to debates on causal completeness, supervenience, and the mind-body problem. The paper usefully organizes well-known facts about computer architecture and transistor operation, and it also acknowledges open-system effects (heat baths, cosmic rays) that complicate simple Hamiltonian descriptions. However, the central technical mechanism as stated is false, and the paper's broader philosophical conclusions depend on that mechanism. The significance is therefore conditional on correcting the technical claim and clarifying the sense in which V(t) is not determined by lower-level physics.","major_comments":[{"comment":"The claim that a time-dependent bias voltage V(t) added to the Hamiltonian as H_V(t) 'so usual existence and uniqueness theorems do not apply: outcomes are not determined by initial data' is technically incorrect. For a Hamiltonian H0 + H_V(t) with V(t) a bounded, piecewise-continuous, self-adjoint potential, the time-dependent Schrödinger equation is well-posed: Kato's theorem guarantees a unique unitary propagator, and the state at any later time is uniquely determined by the initial state and the function V(t). The presence of a time-dependent potential does not introduce non-uniqueness. What the argument needs is the separate claim that V(t) itself is not determined by the microscopic initial state of the system alone (e.g., because it is imposed by external program logic). That claim may be defensible, but it is not what the paper states, and the current formulation directly undermines the diachronic-supervenience argument in §6.","section":"§4.3, 'The crucial dynamic'"},{"comment":"The paper's reliance on the non-derivability of transistor properties from the microscopic Hamiltonian (2) is asserted largely through the extended Leggett quotation rather than through a worked argument. Since the central conclusion that 'outcomes are not determined by initial data' depends on this alleged disconnect, the manuscript would be strengthened by an explicit statement of what would count as a successful derivation and a careful defense of why the approximations (Born-Oppenheimer, band structure, Boltzmann equation, etc.) are not merely practical but in-principle barriers. As written, the appeal to authority leaves the load-bearing premise under-supported.","section":"§4.2 and §6.6"},{"comment":"The paper explicitly adopts a counterfactual theory of causation (reference [11]) and then in §7.1 uses counterfactual dependence to conclude that abstract entities 'have causal powers.' This is a legitimate philosophical stance, but the paper does not engage with alternatives or with the objection that counterfactual dependence may be a symptom rather than a cause. Since the conclusion is framed as a result about the world ('abstract entities have causal powers'), the argument would be more persuasive if it distinguished the counterfactual-dependence reading from a stronger productive-causation reading, and indicated which one is intended in the main claims.","section":"§1 and §7.1"}],"minor_comments":[{"comment":"Reference [11] has a typo: 'Menzies, P) Menzies, P' should be 'Menzies, P.'","section":"References"},{"comment":"The phrase 'the electron dynamics is no longer unitary' is imprecise: the reduced dynamics of an open system is non-unitary, but the full system, including the heat bath, still evolves unitarily. Clarifying this would avoid a potential misunderstanding.","section":"§4.3"},{"comment":"The causal-exclusion argument (quoted from the Stanford Encyclopedia) is dismissed by saying that the instantiation of M by P is itself explained by downward causation. This is a circular response in the present context, because the existence of downward causation is precisely what is at issue. The manuscript should acknowledge this circularity concern explicitly.","section":"§6.7"},{"comment":"The manuscript contains some rough edges, such as the header 'Version: 2019/10/18/Foundations of Physics' at the end, and a few awkward typographical artifacts (e.g., 'M I' appears as 'MI'). These should be cleaned up before final submission.","section":"General presentation"}],"recommendation":"major_revision","confidential_remarks":"The paper addresses an important question and offers a concrete physical description of how programs control transistors. However, the central mechanism in §4.3 contains a technical error about existence and uniqueness of solutions to the time-dependent Schrödinger equation. This is not just a local slip: it is used to support the denial of diachronic supervenience. The authors can repair it by reformulating the argument in terms of external boundary conditions and the non-determination of V(t) by the microstate, but as it stands the paper overstates its case. I would recommend major revision and careful review of the revised §4.3 and the sections that depend on it."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nYou should know two things about this paper: it is a serious, honest attempt to show that digital computers exhibit downward causation, and its central mechanism in §4.3 is stated incorrectly. The paper is not a crank manifesto; it grapples genuinely with the causal completeness of physics. But the 'crucial dynamic' claim—that a time-dependent gate voltage V(t) makes existence and uniqueness theorems inapplicable, so outcomes are not determined by initial data—is simply wrong. The time-dependent Schrödinger equation with a prescribed V(t) retains unique solutions under standard conditions. What the authors need is not failure of determinism but the fact that V(t) is not fixed by the electron-ion microstate alone; the electron dynamics in a transistor is an open system driven by boundary conditions. That point is defensible and is essentially what they describe later, but the way they write it invites easy refutation.\n\nWhat is genuinely new here: this is a more explicit mechanism than Ellis's earlier book chapter. The step-by-step walk through the logical and implementation hierarchies, the black-boxing vs coarse-graining distinction, and the discussion of diachronic vs synchronic supervenience with concrete computer examples (Bubblesort, interactive programs, unpredictable inputs) is clear and mostly persuasive. The paper also engages with referees' objections honestly, including the worry that abstract variables are just instantiated in physical states.\n\nThe main soft spot besides §4.3 is the reliance on Leggett's long quotation to establish non-derivability of solid-state models. That is an appeal to authority, not a proof. But for a philosophy paper it is an acceptable way to motivate the premise, and the authors do provide their own approximation-list argument. A secondary assumption is the counterfactual theory of causation; if you don't accept that, much of the conclusion loosens. They acknowledge this.\n\nAll told, the paper is worth a serious referee. The technical error is load-bearing as written, but it is correctable by reframing. The reader's take is fair: conditional, not reject.\n\nI would bring it to a reading group focused on emergence, and I might cite the hierarchical analysis. It needs revision, not desk rejection.","headline":"A philosophically serious and well-informed argument for downward causation in digital computers, with a technical error in the central mechanism of §4.3 that is correctable and does not sink the broader open-systems point.","tokens_in":17955,"tokens_out":2556,"would_cite":true,"duration_ms":24087,"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":"A running digital computer is a working case of downward causation: the program and its data, not the underlying physics alone, decide which electrons flow through which transistors.","keywords":["Emergence","Downward causation","Digital computers","Logical control","Transistors","Supervenience","Causal completeness"],"falsifier":"A complete derivation starting from the microscopic electron–ion equations that produces a transistor's threshold and current–voltage behaviour without adding lattice, band, phonon, or classical-electrostatics assumptions would refute the claimed disconnect. Also, a demonstration that the exact microstate of a running computer at an earlier time logically determines the later program state and outputs (including interactive inputs) would refute the paper's rejection of diachronic supervenience.","tokens_in":16979,"feed_emoji":"🖥️","tokens_out":8338,"duration_ms":76901,"temperature":0.7,"pith_summary":"This paper argues that a digital computer in operation is an example of downward causation: the abstract algorithm, the program, and the data determine which electrons flow through which transistors at which moments. The authors' counterfactual test is simple—change the program and the electron flows change, with the hardware unchanged. They locate the mechanism in the transistor gate: a time-dependent voltage $V(t)$ set by the machine code enters the electron Hamiltonian as a time-dependent potential, so the usual uniqueness theorems for fixed Hamiltonians do not apply. They conclude that the bottom-level physics of a computer is not causally complete by itself, and that synchronic supervenience (one microstate, one macrostate at a given time) can hold while diachronic supervenience (earlier microstate fixes later outcomes) generally fails.","feed_headline":"Programs, not bottom-level physics, decide which electrons flow","feed_subtitle":"A concrete mechanism—time-dependent gate voltages—lets abstract algorithms reach into transistor physics.","key_machinery":"The load-bearing mechanism is the time-dependent gate voltage $V(t)$ applied to a MOSFET transistor. It is a higher-level variable—determined by bit patterns in machine code—that enters the microscopic electron Hamiltonian as the potential term $H_V(t) = \\sum_i e V(\\mathbf{r}_i, t)$. The paper's pivotal claim is that this time-dependent term changes the Hamiltonian itself, so the usual existence-and-uniqueness theorems that make a microstate's future unique do not apply; the electron dynamics is thus open to constraint from above. A second piece of machinery is the disconnect between levels: because conduction-band electrons, phonons, and depletion zones cannot be obtained from Hamiltonian (2) without approximations that smuggle in classical and statistical assumptions, the higher-level description has its own logic and is not a coarse graining of the lower one.","core_discovery":"The central claim is that the logical hierarchy of a computer—application program, compiled code, machine instructions—reaches into the physical implementation hierarchy through the time-dependent gate voltage of each transistor. A field-effect transistor is an ON/OFF switch that turns on when $V(t)$ exceeds a threshold, and this $V(t)$ is itself the machine-code representation of the running algorithm. Because $V(t)$ appears in the electron Hamiltonian as $H_V(t)$, the Hamiltonian changes in time in a way set by higher-level logic; the authors therefore state that standard existence-and-uniqueness results for a fixed Hamiltonian no longer determine the outcome from the initial microstate. The argument is supplemented by a disconnect claim: the phenomenological solid-state models used to describe transistors (band structure, phonons, depletion zones, resistance) cannot be derived from the microscopic electron–ion Hamiltonian without auxiliary approximations and classical elements. If correct, this means higher-level variables are not eliminable descriptions but occupy real causal roles, and physics per se is not causally complete.","pith_inferences":["The paper does not test this, but the mechanism suggests a general criterion: a higher-level variable is causally effective when varying it alone changes the lower-level trajectory on a fixed physical substrate. Programmable circuits or reconfigurable logic could be used to test this criterion directly.","The paper does not address it, but if one rejects the counterfactual theory of causation, the same facts might be redescribed as control or constraint rather than cause; the force of the conclusion shifts with that philosophical choice.","The non-derivability claim is empirical in principle: a future multiscale derivation that reproduces switching behaviour from the electron–ion Hamiltonian without hand-added approximations would narrow the disconnect and weaken the case, even if it did not touch the time-dependent-voltage mechanism."],"forward_implications":["If the central claim is right, the causal completeness of physics at the bottom level fails in an everyday engineered system: a complete microphysical description of a working computer is not enough to tell you which electrons will move; you also need the program.","Diachronic supervenience is false in general for computers: the microstate at an earlier time does not fix the high-level state at a later time, because programs, data, and interactive inputs enter along the way.","Abstract entities—algorithms, programs, and data—have causal powers in the paper's counterfactual sense: changing only the abstract algorithm changes physical outcomes at the transistor level.","The same pattern, applied to biology in the paper's companion argument, implies a general scheme for top-down causation: higher-level needs act down by altering time-dependent constraints on lower-level dynamics, although the concrete mechanism differs between transistors and biomolecules.","All levels in the logical and implementation hierarchies are equally real and causally effective; compilers and interpreters are the explicit machinery that transmits logic downward."],"supporting_citations":[{"why":"Supplies the principle that symmetry breaking and contextual constraints make higher levels genuinely different in behaviour.","marker":"[1]"},{"why":"Provides the virtual-machine hierarchy that chains application programs down to digital logic; underpins the logical hierarchy argument.","marker":"[2]"},{"why":"Gives the long quotation asserting that condensed-matter properties cannot be derived from microscopic principles alone; load-bearing for the disconnect.","marker":"[3]"},{"why":"Earlier book-length claim that downward causation occurs in computers; the paper revisits and explicates the mechanism.","marker":"[8]"},{"why":"Defines the counterfactual theory of causation the paper uses to say programs cause electron flows.","marker":"[11]"},{"why":"Describes the physical levels of a computer (gates, transistors, crystal, carriers) and their logic; source for the implementation hierarchy.","marker":"[13]"},{"why":"Companion account of branching causation in biology; supplies the argument that time-dependent constraints defeat uniqueness and the contrast for the computer case.","marker":"[14]"},{"why":"Source of the MOSFET figures and the solid-state descriptions of band structure, depletion regions, and resistance.","marker":"[25]"},{"why":"Gives the electron–ion Hamiltonian (2) and the series of approximations used to obtain band structure and phonons; central to the non-derivability claim.","marker":"[26]"},{"why":"Provides contextual wavefunction collapse as the mechanism that makes the dissipative, non-unitary electron dynamics physically real.","marker":"[31]"}],"fun_headline_variants":["Gate voltages let software dictate electron flow","Abstract code steers transistors via time-varying voltage","Downward causation explained by transistor gate dynamics","Software's reach: how algorithms move electrons","Higher-level logic shapes electron motion in computers"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The case rests on two premises that must both hold: transistor behaviour cannot be derived from the microscopic physics of electrons and ions without extra classical and statistical assumptions, and counterfactual dependence (change the program, change the electrons) is enough to earn the word cause; if either fails, the downward-causation conclusion loses its footing.","fun_headline_variants_meta":{"raw":{"variants":["Gate voltages let software dictate electron flow","Abstract code steers transistors via time-varying voltage","Downward causation explained by transistor gate dynamics","Software's reach: how algorithms move electrons","Higher-level logic shapes electron motion in computers"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000183,"raw_usage":{"total_tokens":1264,"prompt_tokens":847,"completion_tokens":417,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":463,"completion_tokens_details":{"reasoning_tokens":351}},"tokens_in":463,"tokens_out":417,"duration_ms":4157,"temperature":1.0,"reasoning_tokens":351,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:08:49.838959+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A complete derivation starting from the microscopic electron–ion equations that produces a transistor's threshold and current–voltage behaviour without adding lattice, band, phonon, or classical-electrostatics assumptions would refute the claimed disconnect. Also, a demonstration that the exact microstate of a running computer at an earlier time logically determines the later program state and outputs (including interactive inputs) would refute the paper's rejection of diachronic supervenience.","supporting_citations":[{"cited_title":"More is different","cited_arxiv_id":null,"evidence_quote":"Supplies the principle that symmetry breaking and contextual constraints make higher levels genuinely different in behaviour."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the virtual-machine hierarchy that chains application programs down to digital logic; underpins the logical hierarchy argument."},{"cited_title":"On the nature of research in condensed-state physics","cited_arxiv_id":null,"evidence_quote":"Gives the long quotation asserting that condensed-matter properties cannot be derived from microscopic principles alone; load-bearing for the disconnect."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Earlier book-length claim that downward causation occurs in computers; the paper revisits and explicates the mechanism."},{"cited_title":"Counterfactual Theories of Causation","cited_arxiv_id":null,"evidence_quote":"Defines the counterfactual theory of causation the paper uses to say programs cause electron flows."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Describes the physical levels of a computer (gates, transistors, crystal, carriers) and their logic; source for the implementation hierarchy."},{"cited_title":"The Dynamical Emergence of Biology From Physics: Branching Causation via Biomolecules","cited_arxiv_id":null,"evidence_quote":"Companion account of branching causation in biology; supplies the argument that time-dependent constraints defeat uniqueness and the contrast for the computer case."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Source of the MOSFET figures and the solid-state descriptions of band structure, depletion regions, and resistance."},{"cited_title":"(2012).Advanced solid state physics(Cambridge University Press)","cited_arxiv_id":null,"evidence_quote":"Gives the electron–ion Hamiltonian (2) and the series of approximations used to obtain band structure and phonons; central to the non-derivability claim."},{"cited_title":"Contextual wavefunction collapse: An integrated theory of quantum measurement","cited_arxiv_id":null,"evidence_quote":"Provides contextual wavefunction collapse as the mechanism that makes the dissipative, non-unitary electron dynamics physically real."}],"review_version":1}