{"id":"7e793f12-2fb8-48c8-9bc1-ef946a8c185c","arxiv_id":"2411.16607","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":3.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"A critical review claiming that the Runge-Gross foundation of TDDFT is invalid and that no current mapping-based replacement provides a rigorous justification.","lead":"This paper argues that the original 1984 proof of time-dependent density-functional theory is flawed, and that the usual replacement arguments do not supply a valid foundation either. It concludes that TDDFT currently has no rigorous justification as an exact density-based method, though it remains a practical computational tool.","discovery_kind":"review","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The OTF-impossibility claim depends on an unproven extrapolation from the single-orbital rKS potential to the many-orbital KS potential; if that extrapolation fails, a central pillar of the 'no valid justification' conclusion collapses.","rationale":"The paper's central claim that TDDFT has no valid justification is supported by three interconnected arguments: the triviality of the Runge-Gross action (Eq. 82), the lack of a convergence guarantee for the fixed-point-iteration route (Sec. IV.D), and the impossibility of first-order OTF propagation because v_KS depends on second time derivatives of the density (Sec. IV.C-D). The OTF argument is essential because OTF propagation is the only route actually used in practice, and the paper explicitly relies on the derivative dependence to rule it out. Yet the only derived statement of this dependence is the single-orbital rKS formula (Eq. 95); the many-orbital generalization is merely asserted as 'must be expected.' This is a concrete, falsifiable gap rather than a philosophical disagreement. If the extrapolation is false, the exact v_KS may be obtainable through a first-order propagation scheme, undercutting a major reason for the sweeping conclusion. The proposed numerical test settles this directly by probing the functional sensitivity of v_KS to n-double-dot in a genuine many-orbital system. This does not dismiss the paper's valid technical observations: the explicit construction of the rKS potential, the demonstration that the RG action simplifies to Eq. (82), and the transparency of the FPI structure are useful contributions. However, the extrapolation from one orbital to many is the weakest link in the chain leading to the strong concluding claim, and the verdict remains conditional on either a proof of that dependence or a weakened conclusion.","tokens_in":18276,"tokens_out":9825,"duration_ms":102319,"concrete_test":"Perform an exact inversion test on a one-dimensional two-electron model (e.g., a soft-Coulomb or Hooke's-atom Hamiltonian). Propagate the exact interacting time-dependent Schrodinger equation to obtain the density trajectory n0(r,t). Using the known initial KS orbitals, invert the non-interacting KS equations to construct the exact v_KS(r,t) that reproduces n0(r,t). Then construct a second density trajectory that agrees with n0 in n and n-dot at a chosen time t0 but differs in n-double-dot, and recompute v_KS at t0. If v_KS is unchanged, the many-orbital KS potential is insensitive to n-double-dot and the OTF critique is vacuous; if it changes, the extrapolation is supported and the implicit-equation characterization is credible.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's critique of the 'on-the-fly' (OTF) propagation route rests on the assertion in Sec. IV.C that the exact KS potential functional v_KS[n] at time t depends on n(t), n-dot(t), and n-double-dot(t). This is demonstrated explicitly for the single-orbital radical KS scheme in Eq. (95), but the transfer to the many-orbital case is stated only as an expectation: 'This feature must be expected as well in the KS potential functional vKS[n(t)] arising in the context of a non-interacting many-particle system.' This extrapolation is load-bearing because Sec. IV.D and Sec. V use it to conclude that the td KS equations are implicit second-order differential equations that 'cannot be propagated in a first-order OTF fashion.' If the many-orbital v_KS does not exhibit the same derivative dependence, the OTF critique loses its foundation, and the paper has not shown that the exact density-based program is computationally unworkable. The paper supplies no proof or model calculation for the many-orbital case, so the broad conclusion 'there is currently no valid justification for TDDFT' is not secured by this argument.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper is a critical review of the foundational claims of time-dependent density-functional theory (TDDFT). It argues that the original Runge-Gross action-integral functional is a trivial construct because the wavefunction used in it already satisfies the time-dependent Schrödinger equation with a potential that reproduces the density, reducing the action to a potential difference (Eq. 82). It further argues that the mapping-based route to the time-dependent Kohn-Sham equations, understood as a fixed-point iteration, lacks any convergence guarantee because it is not backed by a variational or stationarity principle (Sec. IV.D). Finally, it claims that on-the-fly propagation is impossible for the exact theory because the KS potential functional would need to depend on n(t), n-dot(t), and n-ddot(t), making the equations implicit second-order differential equations (Sec. IV.C). The paper concludes that there is currently no valid justification for TDDFT and that LR-TDDFT should be regarded as a pragmatic modification of RPA rather than an exact density-based method.","tokens_in":18478,"tokens_out":4624,"duration_ms":45434,"significance":"The paper addresses a foundational question that is central to a widely used electronic-structure method. The critique of the Runge-Gross action functional is mathematically clean and the explicit construction of the radical Kohn-Sham scheme in Sec. IV.C usefully exposes properties of one-orbital TDDFT. The paper also consolidates the author's prior arguments into a single self-contained account. However, the overarching conclusion that 'there is currently no valid justification for TDDFT' is stronger than what the presented arguments support: the many-orbital KS potential dependence on n, n-dot, and n-ddot is only asserted as an expectation, and the epistemic standard used to rule out non-constructive existence proofs is not itself justified. Thus the paper is a thought-provoking critical review rather than a definitive disproof.","major_comments":[{"comment":"The OTF-impossibility argument, which is a central pillar of the conclusion in Sec. V, relies on the statement that the derivative dependence found for the single-orbital rKS potential 'must be expected as well in the KS potential functional vKS[n(t)]' in the many-orbital case. No proof, model calculation, or known result is provided for the many-orbital system. Since the assertion is load-bearing for the claim that the td KS equations are implicit second-order differential equations that cannot be propagated in first-order fashion, the paper should either supply a derivation for a non-interacting many-particle system or clearly mark this step as a conjecture and weaken the conclusions in Sec. IV.D and Sec. V accordingly.","section":"Sec. IV.C (Eq. 95) and Sec. IV.D"},{"comment":"The paper's standard for a 'valid foundation' is that it must come with a variational or stationarity principle, or at least a constructive fixed-point scheme with a proven convergence guarantee. This criterion is asserted rather than argued, and it is used to dismiss mapping-based existence proofs such as the van Leeuwen type construction cited earlier. A reader who accepts non-constructive existence proofs as a legitimate foundation will not be convinced by the paper's negative conclusion. To make the conclusion rigorous, the authors need to defend this epistemic criterion, or else restate the conclusion in a more limited form such as 'TDDFT lacks a constructive variational foundation with a proven convergence guarantee.'","section":"Sec. I and Sec. IV.D"}],"minor_comments":[{"comment":"The phrase 'expectations of finding a remedy here are hardly justified' is a value judgment that goes beyond the technical analysis; consider replacing it with a more neutral statement of the scope of the conclusions.","section":"Abstract and Sec. V"},{"comment":"The statement 'There are no double excitations' in the context of LR-TDDFT is too categorical; the literature contains discussions of double excitations in TDDFT with frequency-dependent kernels, and the paper should either cite those exceptions or qualify the claim as applying to the adiabatic RPA-type formulation presented.","section":"Sec. II.C"},{"comment":"The notation in Eq. (95), specifically the term with the time derivative of the phase k[n], is not introduced with sufficient precision; please define the total time derivative and the domain of the functional dependence explicitly.","section":"Sec. IV.C"},{"comment":"The paper draws heavily on the author's earlier publications (Refs. 17, 19, 20) and the exposition would benefit from a clearer statement of what new insight the present review adds beyond those references, beyond being a synthesis.","section":"General"}],"recommendation":"major_revision","confidential_remarks":"The paper is a single-author critical review that leans heavily on the author's own prior work. The referee should consider whether the manuscript meets the journal's standard for a review article in terms of novelty and balance, particularly given that the central conclusion depends on an unproven extrapolation and an author-imposed epistemological standard. The paper is not a standard research article with machine-checked proofs or reproducible computations; its value lies in the clarity of the critique and the pedagogical presentation. If the authors can address the two major comments, the review would be a useful contribution to the literature."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Jochen — quick read of Schirmer's TDDFT foundations review. My take: the paper is worth taking seriously, but the headline conclusion ('currently no valid justification for TDDFT') is not supported by the arguments as written. The load-bearing algebraic point is Eq. (82): given the RG1 wavefunction satisfies the td Schrödinger equation, the Runge-Gross action collapses to a potential-difference integral, so stationarity can't produce an equation of motion. That is clean, and it deserves acknowledgment. The rKS example in Sec. IV.C is also a useful pedagogical device, showing explicitly how a density-to-potential mapping can be constructed while remaining trivial in the sense that it just reproduces whatever density you feed in.\n\nWhat's actually new is mainly organization: the paper collects Schirmer and Dreuw 2007, the 2012 two-pager, and the Reply into one coherent narrative, and it makes the FPI/OTF distinction explicit. That is useful for people who want the critique in one place. But it is a synthesis, not new mathematics.\n\nSoft spots, in order of softness. First, the many-orbital extrapolation: the claim that the exact KS potential depends on n, n-dot, n-double-dot at time t is proven only for the single-orbital rKS scheme (Eq. 95). The transfer to the real KS system is stated as 'must be expected.' The OTF impossibility argument rests on that transfer, so as written it is an unsupported extrapolation. The stress-test note got this right. Second, the paper's standard for a valid foundation—either a stationarity principle or a guaranteed-convergent fixed-point scheme—is imposed, not argued for. Non-constructive existence proofs like van Leeuwen's mapping are dismissed by implication, but not refuted in detail. If one accepts non-constructive existence as a foundation, the conclusion doesn't follow. Third, the paper relies heavily on the author's own earlier papers for both the key equations and the standard of justification. Self-citation isn't a flaw when results are correct, but here it means the review is partly an extended restatement of a prior dispute. Fourth, the LR-TDDFT critique repeats the familiar RPA/adiabatic concerns; it's fair but not novel.\n\nVerdict: the specific criticism of the RG AIF is strong and should be engaged by anyone defending TDDFT foundations. The global conclusion, though, overreaches. A referee should ask for either a much more careful statement of what counts as justification, or a real treatment of the many-orbital case. I'd send it to review—it's an important challenge from a knowledgeable source, and the algebraic core is checkable. I just wouldn't let the abstract's last sentence stand as is.","headline":"A clear synthesis of the author's longstanding attack on TDDFT foundations, with one airtight algebraic point and a concluding claim that outruns the evidence.","tokens_in":19040,"tokens_out":2397,"would_cite":false,"duration_ms":22627,"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":"Time-dependent density-functional theory, as an exact density-based theory, currently has no valid foundation, this review argues: the Runge-Gross action functional is trivial, the fixed-point route lacks a convergence guarantee, and…","keywords":["time-dependent density-functional theory","TDDFT foundations","Runge-Gross theorem","action-integral functional","Kohn-Sham equations","fixed-point iteration","on-the-fly propagation","random-phase approximation"],"falsifier":"Solve a small two-electron system exactly, read off its time-dependent density, and reconstruct a local potential that reproduces that density; if the reconstructed potential can be expressed using only the density and its first time derivative, the paper's second-order-propagation objection loses its force. A second check is to run the proposed fixed-point iteration on the same model and see whether it converges.","tokens_in":17973,"feed_emoji":"⚛️","tokens_out":10492,"duration_ms":88885,"temperature":0.7,"pith_summary":"Time-dependent density-functional theory (TDDFT) is usually presented as an in-principle exact way to follow many-electron time evolution and compute excitations from densities alone. This review argues that the foundations offered for that claim do not hold up. The original Runge-Gross action-integral functional collapses to a trivial expression that cannot support a stationarity principle and a time-dependent equation of motion. The replacement route, built on two Runge-Gross-type mappings, yields time-dependent Kohn-Sham equations only as an ad hoc fixed-point iteration with no guaranteed convergence. The paper concludes that TDDFT should be seen as a pragmatic, empirically tuned modification of the random-phase approximation rather than as a formally exact theory.","feed_headline":"TDDFT lacks a valid exact foundation, review argues","feed_subtitle":"Runge-Gross action is empty, fixed-point convergence is unproven, and exact propagation is second-order in disguise.","key_machinery":"The load-bearing object is the Runge-Gross (RG1) mapping, which assigns to a time-dependent density $n(\\mathbf{r},t)$ an external potential $v_{\\mathrm{ext}}[n](\\mathbf{r},t)$ whose Schr\\\"odinger evolution reproduces that density. The analysis turns on two constructs built from that mapping: the action-integral functional $A[n]$ of Eq. (78), which reduces to Eq. (82) and thereby loses all dynamical content; and the radical Kohn-Sham (rKS) scheme, a single-orbital model in which the potential functional is constructed explicitly as $w[n] = \\frac{\\nabla^2 \\phi}{2\\phi} - \\frac{1}{2}(\\nabla k)^2 - \\dot{k} - \\dot{\\alpha}(t)$, with $\\phi = (n/N)^{1/2}$ and $k$ the orbital phase, exposing the dependence on $n$, $\\dot n$, and $\\ddot n$. This rKS construction is what makes the fixed-point iteration and the on-the-fly objections concrete rather than merely verbal.","core_discovery":"The central claim, stated plainly, is that none of the existing justifications for exact TDDFT survives close inspection. Substituting the Runge-Gross mapping into the action integral removes the time derivative and leaves $A[n] = \\int_{t_0}^{t_1} dt \\int d\\mathbf{r}\\, (v_{\\mathrm{ext}}[n](\\mathbf{r},t) - u(\\mathbf{r},t))\\, n(\\mathbf{r},t)$, so the proposed stationarity principle cannot yield a time-dependent equation of motion. The later mapping-based derivation of the time-dependent Kohn-Sham equations is shown to be a fixed-point iteration whose convergence is guaranteed by nothing, since it is not backed by any variational or stationarity principle. By constructing the single-orbital radical Kohn-Sham mapping explicitly, the paper shows the exact Kohn-Sham potential functional depends on $n(t)$, $\\dot n(t)$, and $\\ddot n(t)$, which turns exact on-the-fly propagation into an implicit second-order problem. From these three failures the author concludes that there is currently no valid justification for TDDFT as an exact theory.","pith_inferences":["Editorial inference: the argument's standard of proof—variational principle or convergent constructive scheme—is what does the work; a reader who accepts a non-constructive existence theorem for the density-to-potential mapping as foundational would not be forced to the paper's conclusion.","Editorial inference: the explicit $n$, $\\dot n$, $\\ddot n$ dependence is demonstrated for the single-orbital radical Kohn-Sham potential and only expected to carry over to the many-orbital Kohn-Sham potential; settling that generalization is a natural next step.","Editorial inference: the review's negative conclusion concerns formal exactness, not computational utility; even if correct, it would leave LR-TDDFT and adiabatic time propagation as useful approximations whose empirical success is not evidence for the exact theory.","Editorial inference: a different variational construction—for instance one with proper boundary conditions or a coupled density-potential action—might still produce a rigorous TDDFT-like theory, so the paper reads as a challenge to construct one rather than a proof of impossibility."],"forward_implications":["If the Runge-Gross action functional is trivial as claimed, the original 1984 foundation cannot be repaired by adjusting that functional; no stationarity principle for a density equation of motion exists along that route.","If exact time-dependent Kohn-Sham equations are only a fixed-point iteration without a convergence guarantee, then a purely mapping-based derivation does not qualify as a rigorous foundation for TDDFT.","If the exact Kohn-Sham potential depends on $n$, $\\dot n$, and $\\ddot n$, then exact TDDFT cannot be propagated by on-the-fly first-order stepping; only the adiabatic approximation makes that possible, and it is then an uncontrolled approximation.","Linear-response TDDFT would lose its status as a controlled approximation to an exact density-based theory and would instead be an empirical RPA-like scheme for singly excited states.","The burden of proof for any future exact density-based time-evolution theory lies with its proponents; the present arguments set a standard that a successor theory must meet."],"supporting_citations":[{"why":"Supplies the Hohenberg-Kohn mapping and variational principle that define what a legitimate density-based foundation is in the static case.","marker":"[13]"},{"why":"Supplies the Kohn-Sham scheme whose time-dependent version is the object of the critique.","marker":"[14]"},{"why":"States the original Runge-Gross density-to-potential mapping and action-integral stationarity principle that the paper sets out to dismantle.","marker":"[16]"},{"why":"Introduces the radical Kohn-Sham scheme and the earlier criticism on which the single-orbital analysis is built.","marker":"[17]"},{"why":"Establishes, in the result reproduced as Eq. (82), that the Runge-Gross action functional is a trivial construct.","marker":"[20]"},{"why":"Documents the causality paradox that first signalled problems with the action-functional foundation.","marker":"[39]"},{"why":"Provides the non-interacting Runge-Gross-type mapping used to define the exchange-correlation potential and the fixed-point iteration.","marker":"[45]"},{"why":"Formulates the modern mapping-based route to time-dependent Kohn-Sham equations that the paper argues is an ad hoc fixed-point scheme.","marker":"[5]"},{"why":"Discusses fixed-point iteration and on-the-fly propagation in a standard textbook, confirming these concepts are in the literature and fair targets.","marker":"[9]"}],"fun_headline_variants":["TDDFT's exact claims fail: review exposes gaps","No valid exact TDDFT, review argues","Runge-Gross action empty: TDDFT foundation broken","Exact TDDFT propagation is second-order in disguise"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that a valid density-based theory must supply a variational or stationarity principle or a convergent constructive scheme—and, as a supporting assumption, that the second-order dependence found in the single-orbital radical Kohn-Sham potential carries over to the many-orbital case.","fun_headline_variants_meta":{"raw":{"variants":["TDDFT's exact claims fail: review exposes gaps","No valid exact TDDFT, review argues","Runge-Gross action empty: TDDFT foundation broken","Exact TDDFT propagation is second-order in disguise"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000163,"raw_usage":{"total_tokens":1207,"prompt_tokens":874,"completion_tokens":333,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":490,"completion_tokens_details":{"reasoning_tokens":267}},"tokens_in":490,"tokens_out":333,"duration_ms":3685,"temperature":1.0,"reasoning_tokens":267,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T12:55:47.930964+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Solve a small two-electron system exactly, read off its time-dependent density, and reconstruct a local potential that reproduces that density; if the reconstructed potential can be expressed using only the density and its first time derivative, the paper's second-order-propagation objection loses its force. A second check is to run the proposed fixed-point iteration on the same model and see whether it converges.","supporting_citations":[{"cited_title":"Hohenberg and W","cited_arxiv_id":null,"evidence_quote":"Supplies the Hohenberg-Kohn mapping and variational principle that define what a legitimate density-based foundation is in the static case."},{"cited_title":"Kohn and L","cited_arxiv_id":null,"evidence_quote":"Supplies the Kohn-Sham scheme whose time-dependent version is the object of the critique."},{"cited_title":"Schirmer and A","cited_arxiv_id":null,"evidence_quote":"Introduces the radical Kohn-Sham scheme and the earlier criticism on which the single-orbital analysis is built."},{"cited_title":"Schirmer, Phys","cited_arxiv_id":null,"evidence_quote":"Establishes, in the result reproduced as Eq. (82), that the Runge-Gross action functional is a trivial construct."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Documents the causality paradox that first signalled problems with the action-functional foundation."},{"cited_title":"van Leeuwen, Phys","cited_arxiv_id":null,"evidence_quote":"Provides the non-interacting Runge-Gross-type mapping used to define the exchange-correlation potential and the fixed-point iteration."},{"cited_title":"Ruggenthaler, M","cited_arxiv_id":null,"evidence_quote":"Formulates the modern mapping-based route to time-dependent Kohn-Sham equations that the paper argues is an ad hoc fixed-point scheme."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Discusses fixed-point iteration and on-the-fly propagation in a standard textbook, confirming these concepts are in the literature and fair targets."}],"review_version":1}