{"id":"6e96eb87-31cb-4e18-8a20-de306210d3c8","arxiv_id":"2508.15017","paper_version":2,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Semi-discrete Active Flux methods are shown to be Petrov-Galerkin schemes with discontinuous biorthogonal test functions, with explicit constructions for arbitrary order in one dimension and third order on Cartesian grids.","lead":"This paper shows that the Active Flux numerical method for wave-like equations, which mixes cell averages with shared edge values, fits a standard mathematical framework called Petrov-Galerkin. That places the method between two well-known method families, finite volume and finite element, and gives researchers a formal handle for analyzing and extending it.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Load-bearing uncertainty: whether shared interface point-value DOFs evolve from the Petrov-Galerkin weak form or are inserted externally. If external, the 'AF as variational method' claim covers only moments, not the full AF scheme.","rationale":"The reader's weakest_assumption explicitly includes the possibility that the shared point-value evolution is external to the variational form; my stress-test identifies that as the single most load-bearing uncertainty. If point values are inserted as a separate rule, the abstract's claim is not false but partial, and the paper's contribution would need to be restated as a PG derivation of only the moment part. The supplied full text is unreadable and ends with an unrelated arXiv header, so no internal theorem can be checked; this independently supports the reader's UNVERDICTED verdict. I do not claim the paper is wrong, only that the abstract as written does not disambiguate the scope of the variational claim. The proposed test—deriving the point-value row from the weak form or comparing a weak-form-generated update against the classical AF update—would settle the concern without requiring additional numerical experiments.","tokens_in":4621,"tokens_out":4104,"duration_ms":49934,"concrete_test":"Obtain the clean PDF and isolate the semi-discrete ODE system for a scalar advection equation in 1-D. Identify the rows for cell averages/moments and for shared interface point values. (1) Test whether the point-value row can be derived by taking the test function to be a delta functional at the interface (or a distributional limit of the stated discontinuous test functions) in the variational form; if yes, the claim is fully supported. (2) If the paper instead postulates the point-value update (e.g., exact characteristic evolution) independently of the weak form, replace that update by the weak-form-generated ODE and check whether the resulting AF scheme matches the classical semi-discrete AF; a mismatch would show the PG characterization is only partial. The test is purely analytic and settles the scope of the abstract's claim.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's strongest claim is that semi-discrete Active Flux methods are obtained from a variational formulation via discontinuous biorthogonal test functions. The crux is the shared interface point value, one of AF's two DOF types. In classical AF the point value is advanced by a characteristic/exact evolution rule that is not obviously a variational semi-discrete ODE; in the proposed PG formulation, the moment equations can be made to match AF by choosing biorthogonal test functions, but the point-value equation must also arise from the same weak form for the claim to hold for the whole scheme. Discontinuous test functions supported inside cells do not naturally evaluate a shared interface point; obtaining that evaluation requires a trace functional or distributional test. The abstract does not state whether the point-value row is derived from the weak form or supplied separately. If the latter, the central claim is true only for the moment/mean part and the method is a hybrid PG+characteristic scheme, not 'obtained from a variational formulation.' This is not a detected inconsistency but the most load-bearing unverified assumption: it determines whether the headline contribution is complete. The supplied full text is encoding-corrupted and ends with an unrelated arXiv header (2508.15014v2), so I cannot resolve the question from the manuscript as provided.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The abstract claims that semi-discrete Active Flux (AF) methods for hyperbolic conservation laws can be obtained from a variational formulation by choosing a particular set of discontinuous, biorthogonal test functions. The paper then positions AF as an intermediate between discontinuous Galerkin and continuous Galerkin methods. Explicit constructions are announced for arbitrarily high-order AF with additional moments in one space dimension and for the classical third-order AF on two-dimensional Cartesian meshes. The supplied full text, however, is not readable: it is an encoding-corrupted sequence of characters with no coherent equations, and it ends with an unrelated arXiv header for a different paper. As a result, the technical content cannot currently be checked.","tokens_in":4898,"tokens_out":3712,"duration_ms":44338,"significance":"If the claimed construction is correct, the result would be a valuable structural characterization: it shows that AF, which uses cell moments and shared interface point values, can be viewed as a Petrov-Galerkin method with known trial and test spaces. This would clarify the relation of AF to DG and CG and could open systematic paths for analysis and extension. However, because the body of the manuscript is unreadable in the submitted form, the claimed explicit constructions and the biorthogonality relations cannot be verified. The significance is therefore conditional: the idea is interesting and the claim is plausible, but the present version does not yet provide the evidence needed to substantiate it.","major_comments":[{"comment":"The submitted full text is not readable: it consists of corrupted character fragments and no coherent equations, derivations, or proof sketches. The line ending the material, 'arXiv:2508.15014v2 [gr-qc] 25 Mar 2026', is an unrelated identifier, not part of this manuscript. The central claim about the Petrov-Galerkin construction cannot be checked because the explicit trial space, test space, and biorthogonality relations are inaccessible. A legible resubmission is required before any technical evaluation is possible.","section":"Full Text (entire body)"},{"comment":"The abstract states that semi-discrete Active Flux methods 'can be obtained from a variational formulation' via a particular choice of test functions. In classical AF, the shared interface point values are advanced by an exact or characteristic-based rule that is not obviously a row of a variational semi-discrete ODE. The abstract does not state whether the point-value evolution is derived from the same weak form (e.g., through a trace functional or distributional test) or is supplied as external input. If the latter, the claim is valid only for the moment/mean equations, and the full AF scheme is a hybrid variational-plus-characteristic method rather than 'obtained from' the variational formulation. The authors must state this explicitly and, if the point-value rule is external, revise the abstract's claim accordingly.","section":"Abstract"},{"comment":"The verb 'obtained' suggests a first-principles variational derivation. The described procedure -- choosing biorthogonal test functions so that the moment equations reproduce the known AF update rules -- is an a-posteriori characterization: it establishes that AF can be identified with a member of a Petrov-Galerkin family, not that AF follows from variational principles without prior knowledge of its update. This is a legitimate and useful contribution, but the framing should consistently say 'characterized as' or 'equivalently represented as' rather than 'obtained from', to avoid overclaiming the direction of the construction.","section":"Abstract and title"}],"minor_comments":[{"comment":"The abstract is qualitative and contains no equations. Given that the contribution is an explicit algebraic construction, the abstract should state the trial space, the test space, and the biorthogonality condition in precise notation, at least for the lowest-order case.","section":"Abstract"},{"comment":"The trailing line 'arXiv:2508.15014v2 [gr-qc] 25 Mar 2026' is a header from a different preprint and should be removed; its presence indicates that the submitted PDF/text has been assembled incorrectly.","section":"Full Text (ending)"},{"comment":"The term 'semi-discrete' is used without a clear definition. The authors should state whether time is kept continuous for both the moments and the point values, or whether the point-value evolution is a separate ODE coupled only through source terms.","section":"General"},{"comment":"The paper does not discuss stability, accuracy, or convergence of the resulting Petrov-Galerkin method. If these are outside the scope, the authors should say so explicitly; otherwise the reader is left wondering whether the equivalence has practical implications.","section":"General"}],"recommendation":"major_revision","confidential_remarks":"Editor: The submission appears to be a corrupted or improperly assembled text extraction, not a reviewable manuscript. The technical content cannot be assessed in its current form. I am not inferring bad faith, but the document must be repaired and resubmitted. The main scientific concern I would then want resolved is the status of the interface point-value evolution relative to the weak form: if it is external, the paper's abstract should be narrowed accordingly."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things you should know. First, the abstract is genuinely promising: it claims to turn the old observation that Active Flux sits between DG and CG into a formal Petrov-Galerkin construction, with explicit biorthogonal test functions for arbitrary order in 1D and the classical third-order scheme on Cartesian 2D meshes. That is a real service to the AF community, because a variational characterization is the natural route to stability and error analysis. Second, I could not check a single equation: the supplied full text is encoding-corrupted and ends with another paper's header. So my read is from the abstract alone.\n\nWhat is actually new: the formal framing itself, if the constructions exist. Earlier remarks about AF combining FV/DG and CG were heuristic; the abstract says this paper gives explicit test functions. That is a concrete, checkable claim. Good.\n\nThe soft spots. The main one is the one the stress-test note flags: AF's degrees of freedom are moments plus shared point values at interfaces. The moment equations can be made to match AF by picking biorthogonal test functions—that is, the construction is answer-informed, which is fine as a characterization. But the point-value evolution in classical AF is a characteristic/exact update, not obviously a Galerkin equation. If the paper derives that row from the same weak form, the claim 'Active Flux is obtained from a variational formulation' is fully true. If the point-value rule is bolted on externally, then the variational claim covers only the moment part and the method is a hybrid PG-plus-characteristic scheme. That distinction matters and the abstract does not resolve it. I would want a referee to pin it down before accepting the headline as stated.\n\nAlso, the 2D case is only third order, and only at shared corner values, so the generality is more limited than the 1D claim—worth noting but not a flaw if stated clearly.\n\nWho this is for: people working on high-order methods for hyperbolic conservation laws, especially the Active Flux community. If the constructions are correct, it gives them a variational language and opens a path to error analysis.\n\nMy recommendation: this deserves a serious referee. The claim is well-posed and checkable; the math is exactly the kind a competent referee can verify. Send it to review, but first make sure you are working from a readable copy of the manuscript—the arXiv version I was sent is corrupted, and that needs to be fixed before any referee can do the job.","headline":"A promising variational re-framing of Active Flux that deserves refereeing, but the supplied text is unreadable and the key question about point-value evolution is unanswered in the abstract.","tokens_in":5356,"tokens_out":2798,"would_cite":false,"duration_ms":32301,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["65M60","65M08"],"pacs":[],"model":"deepseek-v4-flash","headline":"Semi-discrete Active Flux schemes are Petrov-Galerkin methods: discontinuous biorthogonal test functions reproduce their updates.","keywords":["Active Flux","hyperbolic conservation laws","Petrov-Galerkin","discontinuous Galerkin","continuous Galerkin","biorthogonal test functions","semi-discrete method","Cartesian grids"],"falsifier":"Pick a stated order in one dimension, construct the claimed biorthogonal test functions, assemble the corresponding mass matrix and flux integrals, and compare the resulting semi-discrete ODE coefficient by coefficient with the Active Flux update; any mismatch, or any order at which the biorthogonality system is singular, disproves the variational derivation. The two-dimensional statement can be tested at a shared corner: if no discontinuous test function reproduces the corner point-value contribution while preserving the other cell updates, the Cartesian claim fails.","tokens_in":4467,"feed_emoji":"📐","tokens_out":7268,"duration_ms":81061,"temperature":0.7,"pith_summary":"The paper sets out to prove that Active Flux, a numerical method for hyperbolic conservation laws whose unknowns are cell averages or moments plus shared point values at cell interfaces, is not a standalone update rule. It claims that semi-discrete Active Flux methods can be obtained from a weak formulation: choose trial functions for the solution and a special set of discontinuous test functions, biorthogonal to the trial functions, and the Galerkin projection of the PDE produces exactly the Active Flux update. This puts Active Flux between discontinuous Galerkin and continuous Galerkin: the trial space carries continuous interface point values, while the test space is piecewise discontinuous. Explicit constructions are given for arbitrary order in one dimension and for the classical third-order method on two-dimensional Cartesian meshes. A sympathetic reader cares because this turns a heuristic analogy into a precise statement of what kind of method Active Flux is.","feed_headline":"Semi-discrete Active Flux is a Petrov-Galerkin method","feed_subtitle":"Discontinuous biorthogonal test functions reproduce the method's updates, placing it between DG and CG.","key_machinery":"The machinery is the Petrov-Galerkin weak form, a variational formulation in which trial and test spaces differ, with biorthogonal test functions. The trial basis holds the Active Flux unknowns (cell moments and interface point values); the test functions are chosen so that each pairs with one unknown and the mass matrix becomes the identity. Biorthogonality reduces the weak form to explicit ODEs for the moments, while the shared point values are evolved by a separate semi-discrete rule. The trial space is continuous at the shared points; the test space is discontinuous across cell boundaries, which is what places AF between DG and CG. In the 2D Cartesian construction the test functions must","core_discovery":"The central claim is constructive: semi-discrete Active Flux updates are the Petrov-Galerkin projection of the conservation law against discontinuous biorthogonal test functions. Active Flux stores cell averages/moments plus shared point values at interfaces; the trial space is continuous at those points, the test space discontinuous, giving the hybrid DG/CG structure previously noted heuristically. Explicit test functions are constructed for arbitrary-order Active Flux with additional moments in 1D and for the classical third-order method on 2D Cartesian grids. If correct, AF is not an ad hoc recipe but a specific member of the Petrov-Galerkin family.","pith_inferences":["Reader's extension: if biorthogonal test functions exist at all orders, changing the test space while keeping the trial space could generate a family of hybrid DG/CG schemes rather than a single method.","Reader's extension: the variational form invites standard Petrov-Galerkin error analysis, such as inf-sup and adjoint-consistency arguments, which could yield stability estimates not present in the original derivation.","Reader's extension: a natural next test is extending the 2D Cartesian construction to unstructured meshes, where the corner consistency condition would likely be the main obstacle and a counterexample on triangles would clarify how much depends on Cartesian structure."],"forward_implications":["Active Flux inherits the variational framework, so stability, error, and conservation analyses used for Galerkin methods can be applied directly to it.","The explicit test-function construction gives a systematic recipe for designing arbitrarily high-order Active Flux schemes with additional moments in one dimension.","The classical third-order Active Flux on Cartesian grids is shown to fit the same framework, making the interpretation immediately testable on existing implementations.","The trial/test split sharpens the sense in which AF is intermediate between DG and CG, replacing a heuristic analogy with a precise membership statement."],"supporting_citations":[],"fun_headline_variants":["Semi-discrete Active Flux is Petrov-Galerkin, bridging DG and CG","Biorthogonal test functions reveal Active Flux as Petrov-Galerkin","Active Flux from a variational principle: Petrov-Galerkin with discontinuous tests","The DG-CG hybrid nature of Active Flux, now variational","Active Flux: a Petrov-Galerkin method with discontinuous tests"],"cache_read_input_tokens":2688,"weakest_assumption_plain":"The load-bearing premise is that discontinuous biorthogonal test functions can be constructed whose weak-form projection reproduces Active Flux exactly, for every order in 1D and at shared corners in 2D, while interface point values evolve by a separate rule outside the weak form.","fun_headline_variants_meta":{"raw":{"variants":["Semi-discrete Active Flux is Petrov-Galerkin, bridging DG and CG","Biorthogonal test functions reveal Active Flux as Petrov-Galerkin","Active Flux from a variational principle: Petrov-Galerkin with discontinuous tests","The DG-CG hybrid nature of Active Flux, now variational","Active Flux: a Petrov-Galerkin method with discontinuous tests"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001098,"raw_usage":{"total_tokens":4376,"prompt_tokens":656,"completion_tokens":3720,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":400,"completion_tokens_details":{"reasoning_tokens":3622}},"tokens_in":400,"tokens_out":3720,"duration_ms":30054,"temperature":1.0,"reasoning_tokens":3622,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T18:09:23.356660+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Pick a stated order in one dimension, construct the claimed biorthogonal test functions, assemble the corresponding mass matrix and flux integrals, and compare the resulting semi-discrete ODE coefficient by coefficient with the Active Flux update; any mismatch, or any order at which the biorthogonality system is singular, disproves the variational derivation. The two-dimensional statement can be tested at a shared corner: if no discontinuous test function reproduces the corner point-value contribution while preserving the other cell updates, the Cartesian claim fails.","supporting_citations":[],"review_version":1}