{"id":"09a35c60-6d60-4b21-ad95-73f161922b29","arxiv_id":"1908.10022","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"The paper constructs additive Lorentzian angles for null vectors and proves a simplicial Lorentzian Gauss-Bonnet theorem.","lead":"This paper defines Lorentzian angles that stay finite even when one or both directions are lightlike, by marking null edges and adding a reference length. It then uses these angles to prove a Lorentzian Gauss-Bonnet theorem relevant to simplicial gravity and gravitational boundary terms.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The null-angle formulas and the Gauss-Bonnet sign are fixed by an externally imported iε branch choice, not by the additivity construction itself; the theorem's -2πi is therefore convention-dependent.","rationale":"The paper's core construction is internally coherent: the algebraic identity (3), the limiting argument in Section 5, and the l0 cancellation in a null-edge triangle all check out. The reader's identification of the iε branch choice as the weakest point is accurate. Unlike a hidden algebraic error, this is a stated convention; hence the appropriate verdict is conditional acceptance rather than rejection. The central mathematical claim of existence of additive angles survives any branch choice, but the specific theorem S = −2πiχ is branch-dependent. The paper should either present the branch as part of the definition or derive it from a more fundamental principle. This does not change the reader's conditional verdict.","tokens_in":16993,"tokens_out":20425,"duration_ms":226511,"concrete_test":"Compute the angles of the null-edge triangle with vertices A=(0,0), B=(L,0), C=(0,L) in M^2 with metric diag(1,-1); then BC is null. With the paper's branch, θ_A = −iπ/2, θ_B = log(2/(L l0)) − iπ/4, θ_C = −log(2/(L l0)) − iπ/4, summing to −iπ. Recompute with the opposite iε sign, replacing −iπ/2 by +iπ/2 in Eq. (8) and −iπ/4 by +iπ/4 in Eqs. (18)-(19). If the sum is +iπ, then the Gauss-Bonnet constant is exactly the branch choice and the paper's −2πiχ is not forced by additivity; if one branch violates additivity around the triangle, then the branch is internally determined.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section 3 fixes the Riemann sheet of log z by adopting the iε prescription of reference [1] (a·a → a·a + iε), which yields |b| = i√|b·b| and the -iπ/2 imaginary part in Eq. (7). This is a convention imported from a physical context rather than derived from the additivity axioms. With the opposite prescription (a·a → a·a − iε), Eqs. (7)-(8), (18)-(19), and (22)-(24) all acquire the opposite imaginary sign; the straight angle h becomes +iπ instead of −iπ, and the Gauss-Bonnet theorem Eq. (35) becomes S = +2πiχ. The paper's own justification — that the Lorentzian Gauss-Bonnet theorem also requires this sign — is circular if the theorem is meant to be a consequence of the angle construction. Because the cancellations that produce additivity are insensitive to this overall sign, the existence of an additive null-angle calculus is not threatened; what is convention-dependent is the specific value of the total angle around a point and hence the sign of the topological action. This is the load-bearing assumption for the paper's applications, including the suppression versus enhancement of the trousers cobordism.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper defines a notion of Lorentzian angle in the two-dimensional Minkowski plane that remains finite and additive even when one or both of the vectors defining a wedge is null. Starting from the standard boost angle for a spacelike wedge, the author uses two algebraic identities, analytic continuation with an iε prescription borrowed from reference [1], and a reference length l0 to define angles for spacelike–null, timelike–null, and null–null wedges, as well as for null slivers. The construction is then applied to prove that the interior angles of any Lorentzian triangle sum to a straight angle h = −iπ, and to derive a simplicial Lorentzian Gauss–Bonnet theorem S = −2πiχ for two-dimensional Lorentzian simplicial complexes, with a discussion of the trousers cobordism and boundary/corner terms for the gravitational action.","tokens_in":17282,"tokens_out":14512,"duration_ms":151650,"significance":"If the construction is fully rigorous, it fills a genuine gap in Lorentzian Regge calculus and in the treatment of null boundaries and corners, and it provides a very short proof of a simplicial Lorentzian Gauss–Bonnet theorem. The paper is written in a clear and honest style: the algebraic identities (2) and (3) are proven explicitly, the limiting derivations of the null-angle formulas are concrete and repeatable, and the author repeatedly flags which steps are conventional (the iε branch choice, the −iπ/4 apportionment, the reference length l0). The sliver analysis in Section 7 is particularly valuable because it exposes a subtlety that a naive definition would miss. The main value of the paper is thus not a single surprising prediction but a coherent, well-motivated calculus whose additivity properties are exactly what Regge calculus and action-boundary arguments require.","major_comments":[{"comment":"The central claim that the opening angle of an arbitrary wedge is obtained by subdividing it into primitive wedges and summing the resulting angles is stated but not proven. Section 8 says that 'it suffices to subdivide' and that the sum is then the opening angle, but no lemma establishes that the result is independent of the chosen subdivision. This is not a purely cosmetic gap: Section 7 shows that a null sliver's angle changes sign when the sliver is flipped relative to the adjacent wedge, so subdivision independence requires a precise consistency condition for how slivers are oriented inside W. Since the triangle theorem (34) and the Gauss–Bonnet theorem (35) rely on additivity of angles around a point and along the sides of a triangle, the proof of these theorems rests on an unproved assertion. Please add a proof that for any two admissible subdivisions of the same marked wedge, the sums of the sub-angles agree, including the cases in which the subdivision introduces null edges.","section":"§8, and also §6–§7"},{"comment":"The sign of the imaginary part of every null angle, and hence the sign of the straight angle h and of the Gauss–Bonnet result, is fixed by an imported convention rather than derived from the additivity requirement. If one replaces a·a → a·a + iε by a·a → a·a − iε, then Eqs. (7)–(8), (18)–(19), and (22)–(24) acquire the opposite imaginary sign, h becomes +iπ, and Eq. (35) becomes S = +2πiχ. The paper's own justification that 'the Lorentzian Gauss-Bonnet theorem also requires it' is circular if the theorem is meant to be a consequence of the angle calculus. The additivity cancellations are insensitive to this overall sign, so the existence of an additive null-angle calculus is not threatened, but the specific statement of the Gauss–Bonnet theorem and the associated damping-versus-enhancement discussion for the trousers cobordism are convention-dependent. The theorem should be stated as S = 2hχ with h = −iπ for the particular branch choice adopted here, and the application to the trousers amplitude should be presented as a consistency check with reference [1] rather than as an independent prediction of the angle construction.","section":"§3 and §9, Eqs. (7)–(8), (18)–(24), (35)"}],"minor_comments":[{"comment":"The overline notation on Z is easy to lose in the display: the line 'Z(a,b) Z(b,c) Z(b,c) = ...' should read 'Z(a,b) Z(b,c) \\bar Z(b,c) = ...' for identity (2) to apply. The final result (12) is correct, but the intermediate display is confusing as printed.","section":"§5, Eq. (11)"},{"comment":"The colon notation 'a : b' is used before it is defined; please define the ratio explicitly at the point of first use.","section":"§6, Eq. (24)"},{"comment":"The statement that 'the total angle surrounding a point in M^2 equals −2πi' is asserted rather than derived. Since this value is the flat-space reference in the Regge defect formula (27), a short derivation from the preceding formulas would make the Gauss–Bonnet proof easier to follow.","section":"§9, after Eq. (27)"},{"comment":"The continuum limit from the simplicial Gauss–Bonnet theorem to the trousers cobordism is only sketched. The paper honestly says 'If our theorem (35) persists in the continuum limit', but it would be helpful to state explicitly that the proven theorem is simplicial and that the continuum application is an extrapolation.","section":"§9, trousers discussion"},{"comment":"The sentence 'the Lorentzian Gauss-Bonnet theorem also requires it' can be misread as a circular justification. Since Section 9 later clarifies that the sign is a convention, it would improve the paper to state this explicitly at the point where the branch is chosen.","section":"§3, penultimate paragraph"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The short version: this is a real contribution. The marked-wedge construction actually solves the problem of defining finite, additive Lorentzian angles when null rays are involved, and the simplicial Gauss-Bonnet theorem is a clean payoff. But the overall sign in the theorem is a convention, not a consequence of the additivity axioms; anyone using it to draw physical conclusions should treat the sign as an input.\n\nWhat's new: the systematic angle calculus for null directions, formulas (18)-(24), the sliver analysis, and the proof that triangle angles sum to -iπ, giving a Lorentzian Gauss-Bonnet theorem for arbitrary simplicial complexes. The algebraic identities (2)-(3) are proven cleanly, and the analytic continuations are handled carefully. The paper is honest about its conventions: the reference length l0 is openly acknowledged as an additive ambiguity, and the -iπ/4 apportionment is flagged as a mnemonic choice.\n\nThe soft spots are real but not fatal. The branch choice in Section 3, imported from the iε prescription of [1], fixes the imaginary sign and therefore the sign of the Gauss-Bonnet theorem. The stress-test note is right: reverse the prescription and you get S = +2πiχ instead of -2πiχ. The paper says the sign is \"required\" by the Lorentzian Gauss-Bonnet theorem, but since the theorem is being derived from the angle construction, that is circular if offered as justification. The additivity calculus is not threatened; only the sign of the total angle and hence the sign of the topological action is convention-dependent. That matters for the trousers-cobordism suppression, which is a physical-ish claim.\n\nAlso, the continuum limit for the Gauss-Bonnet theorem is asserted rather than demonstrated, and the independence of wedge subdivision for arbitrary non-convex wedges is stated without proof. The null-hinge case in Regge calculus is left incomplete, though the paper says it is moot because null area is zero.\n\nWho should read this: anyone working on Regge calculus, null boundaries and corner terms, or Lorentzian simplicial gravity. It will likely become the reference for null angles. It deserves a serious referee; the right outcome is acceptance with a request to make the convention-dependence of the sign more explicit, and to either prove or clearly label the unproven subdivision-independence claims.\n\nMy own view: I would accept it, with revisions. The core construction is sound and useful; the sign issue is a caveat, not a deal-breaker.","headline":"The paper genuinely solves the null-angle additivity problem and proves a simplicial Lorentzian Gauss-Bonnet theorem, but the sign of the theorem is fixed by an imported branch convention, not by the angle calculus itself.","tokens_in":17733,"tokens_out":2109,"would_cite":true,"duration_ms":21874,"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":"Marking null edges makes Lorentzian angles finite and additive","keywords":["Lorentzian trigonometry","lightlike angles","null boundary","corner terms","gravitational action","Lorentzian Gauss-Bonnet theorem","Regge calculus","angle additivity"],"falsifier":"Take a Minkowski triangle with one lightlike side, assign marks, and compute its three opening angles using equations (18), (19), and (22); the theorem asserts the sum is $-i\\pi$ for any choice of reference length $\\ell_0$ and any placement of marks. An explicit coordinate calculation that yields a sum depending on $\\ell_0$, or differing from $-i\\pi$, would show the additivity claim is not consistent.","tokens_in":16803,"feed_emoji":"📐","tokens_out":6389,"duration_ms":64863,"temperature":0.7,"pith_summary":"The paper sets out to define a Lorentzian angle between directions in a two-dimensional Minkowski plane even when one or both directions are lightlike, a case where ordinary boost angles diverge or remain undefined. It claims that finite, fully additive angles exist if the null edge is marked and a reference length $\\ell_0$ is introduced; each null edge then contributes an imaginary part $-i\\pi/4$, and the angles of every Lorentzian triangle sum to $-i\\pi$ just as Euclidean angles sum to $\\pi$. If this construction is right, it supplies the missing dihedral angles for null hinges in Regge calculus, gives the corner terms for gravitational actions with null boundaries, and yields a simplicial Lorentzian Gauss-Bonnet theorem $S=-2\\pi i\\chi$ for any two-dimensional Lorentzian simplicial complex. The payoff is that a large part of Lorentzian trigonometry works exactly like Euclidean trigonometry once the right conventions are in place.","feed_headline":"Marked null edges make Lorentzian angles finite","feed_subtitle":"The paper defines angles for lightlike directions and proves Lorentzian Gauss-Bonnet: S = -2πiχ.","key_machinery":"The load-bearing object is the opening angle of a marked wedge, not the angle between unmarked rays: a wedge is marked by its edges and, when a null edge is present, by a marking point that restores the lost rescaling information. The argument runs on two algebraic identities for $Z(a,b)=a\\cdot b+\\|a\\wedge b\\|$ and $\\bar Z(a,b)=a\\cdot b-\\|a\\wedge b\\|$: the product identity $Z\\bar Z=|a|^2|b|^2$ and the three-vector composition identity $Z(a,b)Z(b,c)=|b|^2Z(a,c)$ when $b$ lies between $a$ and $c$. Analytic continuation of the basic quadrant-I formula $\\theta=\\log(Z/(|a||b|))$ across the light cone, with the $i\\varepsilon$ prescription selecting the branch where the logarithm gains an imaginary part $-i\\pi/2$ for a timelike vector, fixes the signs and imaginary parts; a reference length $\\ell_0$ makes the logarithms dimensionless and cancels out of additive sums. The mnemonic rule is that each null edge contributes $-i\\pi/4$ to the angle.","core_discovery":"The central discovery is that the obstruction to defining angles with null directions, namely the divergence of boost parameters, can be removed by tracking the rescaling information carried by a null edge. The paper builds a complete additive calculus of opening angles of marked wedges in Minkowski space, with explicit formulas: for a spacelike vector $a$ and a null vector $n$, $\\theta(a,n)=\\log\\frac{2|a\\cdot n|}{\\|a\\|\\ell_0}-i\\pi/4$; for two null vectors in the same quadrant, $\\theta(a,b)=\\log\\frac{2|a\\cdot b|}{\\ell_0^2}-i\\pi/2$; and for antiparallel null vectors, $\\theta(a,b)=\\log(-a:b)-i\\pi$. These definitions make angle addition exact under subdivision, make the angles of every Lorentzian triangle sum to $h=-i\\pi$, and deliver the simplicial Gauss-Bonnet identity $S=-2\\pi i\\chi$ for any two-dimensional Lorentzian simplicial complex, including unorientable complexes and those with boundary.","pith_inferences":["If $\\ell_0$-dependence truly cancels only in additive combinations, then the physically meaningful quantities are the $\\ell_0$-independent combinations; one could search for such combinations in quasi-local energy or entropy formulas and see whether a natural reference length emerges.","The same marking prescription may transfer to higher-dimensional null boundaries, where corner terms at intersections of null and non-null segments would be fixed by the same per-null-edge phase rule, giving testable predictions for the action in null-boundary regions.","Because the splitting of the imaginary contribution between two null-adjacent wedges is convention-dependent, a quantum-gravity input would be needed to decide whether $\\ell_0$ is physical or a gauge choice; the paper itself leaves that question open."],"forward_implications":["Regge-calculus defect angles, including boundary and corner terms, become defined for hinges that are spacelike, timelike, or null; null hinges carry area zero and therefore contribute nothing to the action.","The full gravitational action on a simplicial spacetime with boundary is additive under gluing, which in the continuum implies the existence and concrete form of corner terms and implies action-stationarity under variations that fix the induced boundary metric.","Every two-dimensional Lorentzian triangle has angle sum $-i\\pi$, so the simplicial Lorentzian Gauss-Bonnet theorem $S=-2\\pi i\\chi$ holds for any topology, orientable or not, with or without boundary.","For the trousers cobordism the action comes out $+2\\pi i$, so the quantum amplitude $e^{iS}$ acquires a damping factor $e^{-2\\pi}$, whereas the yarmulke cobordism is enhanced.","Angles involving null vectors lose conformal invariance under metric rescaling unless $\\ell_0$ is adjusted, but the $\\ell_0$-dependence cancels in the closed sums, such as the total defect angle, that define physically meaningful quantities."],"supporting_citations":[{"why":"Supplies the $i\\varepsilon$ prescription and the complex-action sign convention that fixes the branch choice for the logarithm when a timelike vector crosses the light cone.","marker":"[1]"},{"why":"Introduces the simplicial framework and the role of dihedral defect angles in the Regge action, which the null-angle construction extends.","marker":"[2]"},{"why":"Establishes the time-evolution problem in Regge calculus and the zero-area convention for null hinges used in the action discussion.","marker":"[3]"},{"why":"Provides the continuum boundary and corner terms for the gravitational action, whose simplicial derivation the paper aims to complete.","marker":"[5]"},{"why":"Defines the Regge action as a sum over hinges of area times defect angle, the object that motivates the entire angle calculus.","marker":"[6]"},{"why":"Gives the gravitational action with null boundaries, a principal application for the null wedge angles derived in the paper.","marker":"[9]"}],"fun_headline_variants":["Null vectors get angles via rescaling marks","Complex angles make Lorentzian Gauss-Bonnet exact","Lorentzian triangles sum to -iπ, Gauss-Bonnet follows","How to angle a lightlike vector: rescale and mark"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole construction rests on one branch choice: when a timelike vector is analytically continued through the light cone, the $i\\varepsilon$ prescription assigns the logarithm an imaginary part of $-i\\pi/2$, and if that sheet were chosen differently every null angle would shift by an additive constant while additivity itself would survive.","fun_headline_variants_meta":{"raw":{"variants":["Null vectors get angles via rescaling marks","Complex angles make Lorentzian Gauss-Bonnet exact","Lorentzian triangles sum to -iπ, Gauss-Bonnet follows","How to angle a lightlike vector: rescale and mark"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000893,"raw_usage":{"total_tokens":3779,"prompt_tokens":804,"completion_tokens":2975,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":420,"completion_tokens_details":{"reasoning_tokens":2906}},"tokens_in":420,"tokens_out":2975,"duration_ms":23058,"temperature":1.0,"reasoning_tokens":2906,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T10:54:45.458250+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a Minkowski triangle with one lightlike side, assign marks, and compute its three opening angles using equations (18), (19), and (22); the theorem asserts the sum is $-i\\pi$ for any choice of reference length $\\ell_0$ and any placement of marks. An explicit coordinate calculation that yields a sum depending on $\\ell_0$, or differing from $-i\\pi$, would show the additivity claim is not consistent.","supporting_citations":[{"cited_title":"Sorkin, Development of Simplicial Methods for the Metrical and Electromag- netic Fields , Ph.D","cited_arxiv_id":null,"evidence_quote":"Introduces the simplicial framework and the role of dihedral defect angles in the Regge action, which the null-angle construction extends."},{"cited_title":"The Time-evolution Problem in Regge Calculus","cited_arxiv_id":null,"evidence_quote":"Establishes the time-evolution problem in Regge calculus and the zero-area convention for null hinges used in the action discussion."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the continuum boundary and corner terms for the gravitational action, whose simplicial derivation the paper aims to complete."},{"cited_title":"Peyresq Physics 20: Micro and macro structure of spacetime","cited_arxiv_id":null,"evidence_quote":"Defines the Regge action as a sum over hinges of area times defect angle, the object that motivates the entire angle calculus."},{"cited_title":"General relativity without coordinates","cited_arxiv_id":null,"evidence_quote":"Gives the gravitational action with null boundaries, a principal application for the null wedge angles derived in the paper."}],"review_version":1}