{"id":"35bb1e92-b039-4515-99f0-8bd06edd69dc","arxiv_id":"2507.05889","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A unified 4D tensor formulation that claims to be the most general linear, causal, local set of electromagnetic boundary conditions on any space-time hypersurface.","lead":"This paper derives a single tensorial formula for electromagnetic boundary conditions on arbitrary moving space-time surfaces, covering static, time-switched, moving, and dispersive interfaces as special cases. It offers a candidate framework for researchers designing time-varying metasurfaces and synthetic-motion experiments.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Abstract's 'most general' claim omits the theorem's maximal-order and boundary-locality assumptions; a linear causal nonlocal-in-normal BC would escape Eq. (28).","rationale":"The reader's weakest assumption identifies exactly the load-bearing gap: the theorem's maximal-order and boundary-locality assumptions are necessary for the proof but are absent from the abstract's 'most general' claim. My reading of the proof confirms that the Taylor-remainder step is where these assumptions enter: without maximal order, the remainder z^{k+1}E cannot be dismissed, and without boundary-locality the functional may depend on fields away from Σ, so no finite set of derivatives at z = 0 suffices. The proposed counterexample is linear and causal, satisfying only the two properties named in the abstract, yet it is not of the form (28). This does not invalidate the paper's constructive contribution: Eq. (28) is a useful and general family, the special cases are correctly recovered, and the theorem is internally coherent under its stated hypotheses. The needed change is a qualification of the universality claim, either in the abstract or by showing that physically admissible BCs necessarily satisfy the extra assumptions. I therefore agree with the CONDITIONAL verdict rather than recommending rejection: the core derivation is sound, but the headline claim as written overreaches the theorem.","tokens_in":16991,"tokens_out":7177,"duration_ms":99151,"concrete_test":"Check representability of a finite-thickness boundary condition: for a static boundary z = 0, take the linear causal condition ∫_{-ε}^{ε} w(z) E_x(z) dz = 0 with w a smooth nonzero window. Equation (28) permits kernels in u′ and finite normal derivatives at z = 0, but this condition weights fields away from z = 0 and has no representation as Σ_{r≤k} c_r(u, u′) ∂_z^r E_x(u′, 0) with finite k. If the test is accepted, the abstract must be revised to state the locality and maximal-order assumptions, or the claim restricted to local finite-order BCs.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central claim that Eq. (28) gives the 'most general conditions consistent with causality and linearity' exceeds what Theorem 1 proves. Section III.B adds two substantive assumptions that are not consequences of linearity or causality: (i) dependence only on fields on the boundary and their derivatives, and (ii) existence of a finite maximal order k. The proof uses assumption (ii) at the decisive Taylor-expansion step: the remainder z^{k+1}E is discarded because the BC annihilates all fields of the form z^{k+1}F. Without a finite maximal order this remainder contributes, and the representation (28), which samples only derivatives ∂_z^r F at z=0 for r ≤ k, does not follow. A physically plausible linear causal condition such as ∫_{-ε}^{ε} w(z) E_x(z) dz = 0, modeling a finite-thickness nonlocal sheet, is not of this form; likewise an infinite-order local condition such as exp(a ∂_z)E_x|_{z=0} = 0 escapes the theorem. Thus the unqualified abstract statement is false, although the theorem remains a valid representation theorem for the narrower class of local, finite-normal-order BCs. The tensorial unification and the recovery of standard spatial, temporal, and moving-boundary cases are unaffected.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a general family of electromagnetic boundary conditions on arbitrary space–time hypersurfaces, expressed in Eq. (28) as integral-kernel relations over the causal past J^Σ(u) of each boundary point, involving the fields and their normal derivatives up to order k on either side of the interface. Section II reviews standard spatial and temporal boundary conditions, moving-boundary generalizations, and dispersive examples such as sheet transition conditions. Section III states the general form, shows how known cases are recovered, and presents Theorem 1, which claims that any set of boundary conditions that is linear, causal, local to Σ with differential dependence, and of finite maximal order, must be of the form (28). The paper also discusses extraction of the kernels and sketches extensions to nonlinear conditions.","tokens_in":17166,"tokens_out":4955,"duration_ms":53404,"significance":"If Theorem 1 is accepted for the class of local, finite-order boundary conditions, the paper provides a useful unifying four-dimensional framework that recovers the standard spatial, temporal, and moving-boundary conditions as special cases and accommodates spatially and temporally dispersive interfaces. The tensorial formulation is clean, the recovery of known results is demonstrated in detail, and the proof is largely checkable step by step. The main caveat is that the advertised 'most general' claim in the abstract and introduction exceeds what the theorem actually proves, because the theorem imposes substantive additional assumptions (locality to Σ, finite maximal order) that are not consequences of linearity and causality alone. With the claim properly qualified, the paper is a solid contribution to the systematic treatment of space–time interfaces.","major_comments":[{"comment":"The paper's central claim that Eq. (28) gives the most general boundary conditions consistent with causality and linearity is not supported by Theorem 1. The theorem assumes, in addition to linearity and causality, that the boundary conditions 'depend only on the fields on the boundary and their derivatives' and that there is a finite maximal order k. These assumptions are used decisively in the proof: the Taylor expansion of F^I about z=0 discards the remainder z^{k+1}E precisely because the maximal-order assumption forces D_A[z^{k+1}E]=0. Without a finite maximal order, the remainder contributes and the representation (28), which samples only ∂_z^r F at z=0 for r≤k, does not follow. Similarly, a linear causal condition such as ∫_{-ε}^{ε} w(z)E_x(z)dz=0, modeling a finite-thickness nonlocal sheet, or an infinite-order local condition such as exp(a∂_z)E_x|_{z=0}=0, would escape Eq. (28). The abstract and the introduction should state the full set of assumptions explicitly, and the body should acknowledge that nonlocal-in-normal and infinite-order conditions are not covered. This is not a fatal flaw of the theorem itself, but the unqualified 'most general' claim is currently inaccurate.","section":"Abstract and Section III.B, Theorem 1"},{"comment":"The proof contains an unproved step: after representing D^{FI}_{Ar}(u) as an integral over Σ, it says 'from causality we have to restrict the domain of the integral to J^Σ(u)'. Since the conclusion (28) includes the causality domain J^Σ(u) as part of the representation, this restriction is load-bearing. However, the paper does not prove that causality implies the kernel has support in J^Σ(u); it simply asserts this. The authors should either provide a distributional support argument showing that the kernel vanishes outside the causal past, or state explicitly that support in J^Σ(u) is part of the causality assumption. As written, the theorem's conclusion does not fully follow from the listed axioms.","section":"Section III.B, proof of Theorem 1"}],"minor_comments":[{"comment":"The phrase 'There has to be confusion in the language when talking about boundaries' is unclear and should be rephrased to describe the terminology issue more precisely.","section":"Figure 3 caption, Section II.C"},{"comment":"The sentence 'We write u = (u1,u2,u3,u4) as the three surface coordinates u = (u1,u2,u3), plus u4 which is the coordinate normal to the surface' appears to contain a typo: 'three surface coordinates' should be 'four coordinates' or the notation should be clarified to distinguish the full coordinate tuple from the three surface coordinates.","section":"Section II.D, paragraph on adapted coordinates"},{"comment":"Reference [40] lists the arXiv identifier as 'arxiv:410.23291v1', which appears to be a typo; please verify and correct the number.","section":"References, Ref. [40]"},{"comment":"The multi-index notation s=(s1,s2,s3,s4) is introduced but the text immediately afterward says 'the vector s = (s1, s2, s3)' in the explanation; this inconsistency should be corrected so that the normal derivative order s4 is clearly included.","section":"Section II.E, Eq. (26)"}],"recommendation":"major_revision","confidential_remarks":"The paper's functional-analytic core is a standard representation of finite-order distributional boundary conditions, and the 'most general' claim will need to be tempered. The unifying tensorial treatment of spatial, temporal, and moving boundaries is the paper's real strength and is likely of interest to the journal's readership. The authors should also consider whether the causality-to-support step can be made rigorous or explicitly axiomatized, as this is the least transparent part of the proof."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Read the paper twice. The genuinely new thing is the single tensorial boundary condition (28) written as integral kernels on the boundary, plus Theorem 1 that characterizes the class of BCs it represents. The proof is a representation theorem: linearity lets you decompose each condition, Taylor expansion in the normal coordinate with the maximal-order assumption kills the remainder, and the kernels are extracted via bump functions. The recovery of the standard spatial, temporal, moving-interface, and dispersive additional boundary conditions is correct as far as I can tell. The tensorial packaging in adapted coordinates is clean and will be practically useful for the spacetime-metasurface community.\n\nThe soft spot is exactly where the reader's stress-test lands. The abstract says 'most general conditions consistent with causality and linearity.' The theorem actually assumes two more things: the BCs depend only on the fields on the boundary and their derivatives (locality in the normal direction), and there is a finite maximal order k. Neither follows from linearity and causality. A BC like ∫ w(z) E_x(z) dz = 0 over a small z-interval, or exp(a ∂_z) E_x = 0, is linear and causal but not of the form (28). So the unqualified abstract claim is false. The theorem remains a valid representation theorem for local, finite-order BCs. I don't think this is fatal: the paper itself lists the extra assumptions in Section III.B, and the examples are unaffected. The abstract needs revision, or the paper needs a discussion of how restrictive boundary-locality and maximal order really are.\n\nOne more thing: the causality restriction to J^Σ(u) is imposed by hand rather than derived, which is fine for a representation theorem but worth stating explicitly, and the conclusion section does mention existence issues honestly.\n\nBottom line: this is a serious paper that deserves refereeing. I would recommend acceptance after the abstract is aligned with the theorem's assumptions. I'd cite it for the unification, not for the 'most general' claim.","headline":"A genuinely useful tensorial unification of spacetime boundary conditions, but the abstract's 'most general' claim exceeds the theorem, which needs boundary-locality and finite maximal order.","tokens_in":17742,"tokens_out":3255,"would_cite":true,"duration_ms":32421,"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":"Every causal, linear electromagnetic boundary condition is a special case of one spacetime formula.","keywords":["electromagnetic boundary conditions","space-time interfaces","temporal boundaries","metasurfaces","spatial dispersion","temporal dispersion","causality","4-dimensional spacetime formalism"],"falsifier":"Take a thin slab of thickness $d$ whose effective response is a smooth kernel $K(z-z')$ in the normal coordinate, so the boundary relation is an integral over $z'$ rather than a finite sum of derivatives at $z=0$. If the scattering from such a slab cannot be matched by Eq. (28) for any finite $k$, then the maximal-order assumption of Theorem 1 is violated and the claimed generality fails.","tokens_in":16746,"feed_emoji":"⚡","tokens_out":8831,"duration_ms":89072,"temperature":0.7,"pith_summary":"This paper claims that all physically admissible linear boundary conditions connecting electromagnetic fields across a space–time interface—static, purely temporal, uniformly moving, accelerating, or implemented as a thin metasurface—are special cases of a single formula, Eq. (28). The formula lives in 4-dimensional spacetime: a boundary is a 3-dimensional hypersurface $\\Sigma$, and the condition relates the field tensors $F_{\\mu\\nu}$ and $H_{\\mu\\nu}$ on the two sides through kernels integrated over the part of $\\Sigma$ causally connected to each boundary point. The authors prove (Theorem 1) that any boundary condition that is linear, causal, local to the boundary with differential dependence, and has a finite maximal order must be of this form. If true, this unifies a literature that currently treats spatial, temporal, and moving interfaces case by case, and gives a recipe for writing down boundary conditions for new space–time metasurfaces, including dispersive ones.","feed_headline":"One formula unifies every causal linear light boundary condition","feed_subtitle":"Static, temporal, moving, and dispersive metasurface interfaces all reduce to special cases of a single spacetime formula.","key_machinery":"The central object is Eq. (28), a kernel-integral boundary condition written in coordinates $(u^1,u^2,u^3,z)$ adapted to the hypersurface $\\Sigma$ ($z=0$). The kernels $\\kappa$ are distributions in the surface coordinates $u'$, so local conditions arise as delta functions while in-plane dispersion appears as convolutions; causality restricts all integrations to the causal part $J^\\Sigma(u)$ of the boundary. The proof machinery is the order extraction: a boundary condition has order $k$ if it vanishes whenever the fields are multiplied by $z^{k+1}$, and the extraction formula (39) recovers the kernels by applying the remainder to bump-function test fields. Taylor expansion in $z$ then reduces any admissible condition to the finite sum of normal derivatives appearing in Eq. (28).","core_discovery":"The paper's central claim is that Eq. (28) is the most general electromagnetic boundary condition that can connect the fields $F_{\\mu\\nu}$ and $H_{\\mu\\nu}$ across an arbitrary 3-dimensional space-time hypersurface $\\Sigma$ while remaining linear, causal, and local to the boundary. In adapted coordinates $(u^1,u^2,u^3,z)$ with $\\Sigma$ at $z=0$, the condition is a sum over $r=0,\\dotsc,k$ of integrals over the causal part $J^\\Sigma(u)$ of $\\Sigma$, with distribution kernels $\\kappa$ multiplying the $r$-th normal derivatives of $F$ and $H$ evaluated on either side. Theorem 1 proves that any set of boundary conditions satisfying linearity, causality, boundary-locality with differential dependence, and a finite maximal order $k$ must take this form; the proof expands fields in a Taylor series in $z$, uses the maximal-order condition to discard the remainder, and uses causality to restrict the kernels' support to $J^\\Sigma(u)$. The standard spatial conditions (continuity of tangential $E$, $H$ and normal $B$, $D$), the temporal conditions (continuity of $B$ and $D$), and the moving-boundary conditions (continuity of $E_\\parallel + V\\times B_\\parallel$ and $H_\\parallel - V\\times D_\\parallel$) are all recovered as special cases, as are additional boundary conditions for spatially and temporally dispersive media.","pith_inferences":["By the theorem's own logic, any candidate boundary condition that cannot be written as Eq. (28) must violate at least one of the axioms—linearity, causality, boundary-locality with differential dependence, or finite maximal order. This gives a practical test: a proposed boundary condition that fails to fit the form is either nonlocal through the sheet, acausal, or nonlinear, rather than an overloo","The maximal-order assumption is the place where real metasurfaces could escape the classification: a sheet whose thickness is not negligible relative to the wavelength will have an effective response involving integrals across the sheet, which is not equivalent to finitely many normal derivatives. Extending Eq. (28) to such kernels would be the natural next step.","The restriction of the integration domain to $J^\\Sigma(u)$ turns causality into a support condition on the kernels. This suggests a concrete way to audit published space-time boundary conditions: check whether the kernel support lies inside $J^\\Sigma(u)$; if not, the condition permits surface waves to influence a point from outside its causal past."],"forward_implications":["Any linear, causal, local boundary condition on a static surface, a purely temporal interface, a uniformly moving boundary, or an accelerating boundary can be expressed in the single form (28), so results derived for one interface type can be translated to the others.","New boundary conditions for metasurfaces and space-time interfaces can be specified by choosing the number $m$ of conditions, the order $k$, and the kernels $\\kappa$, which is a concrete design recipe rather than a case-by-case calculation.","Spatial and temporal dispersion are handled uniformly: additional boundary conditions from bulk dispersive media enter as extra rows $A$, while in-plane nonlocality (the sheet susceptibility) enters through the convolution kernels, including the causal restriction to $J^\\Sigma(u)$.","Prescribed surface currents and charges can be added to the right-hand side of (28), giving inhomogeneous boundary conditions that generalize Dirichlet and von Neumann conditions to higher order and to extended dependence within the boundary.","The framework opens the way to treat space-time corners and wedges, where the normal is discontinuous and conventional conditions can contradict one another."],"supporting_citations":[{"why":"Supplies the textbook pillbox derivation of the standard spatial boundary conditions that (28) must reproduce as a special case.","marker":"[35]"},{"why":"Gives the temporal-boundary continuity conditions ($B$ and $D$ continuous) recovered by (28) when the hypersurface is spacelike.","marker":"[3]"},{"why":"Provides the intermediate pillbox boundary conditions for arbitrary space-time boundaries that the general formula generalizes.","marker":"[34]"},{"why":"States the moving-boundary conditions $E_\\parallel + V\\times B_\\parallel$ and $H_\\parallel - V\\times D_\\parallel$ that (28) reproduces.","marker":"[40]"},{"why":"Establishes the most general linear local boundary conditions for stationary metasurfaces, the static special case of the present framework.","marker":"[19]"},{"why":"Shows temporal interfaces in dispersive media require additional conditions, motivating the extra rows in (28).","marker":"[37]"},{"why":"Origin of the additional boundary conditions for spatially dispersive media, the spatial counterpart included in the general framework.","marker":"[36]"},{"why":"Demonstrates superluminal synthetic motion, the regime the adapted-coordinate boundary formalism is designed to handle.","marker":"[27]"}],"fun_headline_variants":["One spacetime formula unifies all linear causal light interfaces","Most general boundary condition for light in spacetime","Unified rule for spatial, temporal, and moving light interfaces","Single formula recovers static, temporal, and moving cases","General spacetime condition for any causal linear interface"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The theorem assumes each admissible boundary condition has a finite 'maximal order': it depends only on the fields and finitely many of their derivatives right at the surface, so multiplying the fields by a sufficiently high power of the normal coordinate makes the condition automatically satisfied; boundary conditions that are nonlocal through the thickness of the sheet fall outside the claimed generality.","fun_headline_variants_meta":{"raw":{"variants":["One spacetime formula unifies all linear causal light interfaces","Most general boundary condition for light in spacetime","Unified rule for spatial, temporal, and moving light interfaces","Single formula recovers static, temporal, and moving cases","General spacetime condition for any causal linear interface"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001125,"raw_usage":{"total_tokens":4686,"prompt_tokens":959,"completion_tokens":3727,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":575,"completion_tokens_details":{"reasoning_tokens":3652}},"tokens_in":575,"tokens_out":3727,"duration_ms":29427,"temperature":1.0,"reasoning_tokens":3652,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T19:15:08.130800+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a thin slab of thickness $d$ whose effective response is a smooth kernel $K(z-z')$ in the normal coordinate, so the boundary relation is an integral over $z'$ rather than a finite sum of derivatives at $z=0$. If the scattering from such a slab cannot be matched by Eq. (28) for any finite $k$, then the maximal-order assumption of Theorem 1 is violated and the claimed generality fails.","supporting_citations":[{"cited_title":"Mostafa, M","cited_arxiv_id":null,"evidence_quote":"Supplies the textbook pillbox derivation of the standard spatial boundary conditions that (28) must reproduce as a special case."},{"cited_title":"These topics will form the focus of future research","cited_arxiv_id":null,"evidence_quote":"Gives the temporal-boundary continuity conditions ($B$ and $D$ continuous) recovered by (28) when the hypersurface is spacelike."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the intermediate pillbox boundary conditions for arbitrary space-time boundaries that the general formula generalizes."},{"cited_title":"Gratus, R","cited_arxiv_id":null,"evidence_quote":"States the moving-boundary conditions $E_\\parallel + V\\times B_\\parallel$ and $H_\\parallel - V\\times D_\\parallel$ that (28) reproduces."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes the most general linear local boundary conditions for stationary metasurfaces, the static special case of the present framework."},{"cited_title":"Generalized Space-Time Engineered Modulation (GSTEM) Metamaterials","cited_arxiv_id":"2207.06539","evidence_quote":"Shows temporal interfaces in dispersive media require additional conditions, motivating the extra rows in (28)."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Origin of the additional boundary conditions for spatially dispersive media, the spatial counterpart included in the general framework."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Demonstrates superluminal synthetic motion, the regime the adapted-coordinate boundary formalism is designed to handle."}],"review_version":1}