{"id":"bc8eee6d-071c-4e24-b113-3de7bfe024d3","arxiv_id":"2505.22406","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For any primary laser, LISA has exactly 6 non-swap and 12 swap locking topologies, yielding 36 and 72 total configurations.","lead":"This paper exhaustively catalogs the ways LISA's six lasers can be phase-locked, finding 36 non-frequency-swapping and 72 frequency-swapping configurations for any primary laser. It matters because the right locking topology determines whether LISA's beatnotes stay in the metrology band as the spacecraft move.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Completeness claim rests on an asserted two-reference optical-bench rule; if additional beatnote references or mixed swap/non-swap routing are physically available, the 36/72 catalog undercounts.","rationale":"The paper is internally consistent, and the reader's verification of the counts under the stated rules is solid: the non-swap configurations correspond exactly to the six spanning trees of a six-cycle, and the swap configurations to the twelve spanning trees of the triangular-prism graph. The single load-bearing weakness is the completeness premise, not the arithmetic. The paper's own text confines the search in Section II.C to two references per secondary laser and asserts in Section II.A that frequency swapping applies to all or none of the lasers, but it does not justify either restriction from the physical optical-bench layout. This is important because the very distinction between swap and non-swap is a rerouting of which local laser beats with which incoming beam; the same routing flexibility could in principle produce additional reference beatnotes or mixed topologies. If any such beatnote exists, the exhaustive claim undercounts. That said, the paper is transparent about the rule it uses, and under that rule the counts hold, so a conditional verdict remains appropriate. The supplementary catalog is not included in the text and no code is shipped, which further supports keeping the verdict conditional rather than fully accepting the exhaustive claim without independent reproduction.","tokens_in":10538,"tokens_out":11681,"duration_ms":136993,"concrete_test":"Run an independent enumeration for one fixed primary (e.g., L32) with an expanded candidate space: each secondary laser may lock to the co-located laser, to the received beam from either remote spacecraft, or to any other laser whose beatnote the optical bench can route to a phasemeter. Compare the number of valid acyclic schemes with the paper's 6/12. Then check the LISA baseline optical-bench layout (or the previous paper [9]) for whether any of those additional beatnotes are actually available; if a new scheme is both valid and available, the catalog is incomplete.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim 'complete catalog' is correct only relative to the Step 2 reference rule. For a fixed primary, the non-swap count of 6 reproduces the number of spanning trees of the 6-cycle formed by the three local-lock edges and the three same-arm receive edges; the swap count of 12 reproduces the spanning-tree count of the 9-edge triangular-prism graph. The arithmetic is sound. The load-bearing assumption is that a secondary laser Lij has exactly two possible references, namely the co-located laser Lik and one specific received beam (Lji+Dk in non-swap, Lki+Dj in swap), and that swapping is all-or-none. Section II.C states this enumeration space but does not derive it from the LISA optical bench layout. No argument rules out a beatnote between Lij and the incoming beam from the third spacecraft, which would make a third reference available and add valid schemes; nor is it shown that per-spacecraft mixed swap/non-swap routing, achievable with independent optical benches, is impossible. Without a derivation of the admissible reference set, 'complete' in the title and abstract is not established.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper enumerates all laser phase-locking topologies for LISA under a model in which one primary laser is cavity-stabilized and each of the five secondary lasers is locked either to the other laser on the same spacecraft or to one specified inter-spacecraft received beam, with all spacecraft sharing either the non-swap or the frequency-swap local-oscillator architecture. The symbolic enumeration yields 6 valid non-swap and 12 valid frequency-swap configurations for a fixed primary laser, and hence 36 and 72 configurations over all six possible primaries. The main text shows the six non-swap configurations for primary L32 with their beatnote matrices, and refers to the complete swap catalog as supplementary material.","tokens_in":10710,"tokens_out":14760,"duration_ms":146301,"significance":"The enumeration is mathematically sound: for a fixed primary, non-swap valid schemes are exactly the spanning trees of a 6-cycle (6 trees) and frequency-swap valid schemes are exactly the spanning trees of the triangular-prism graph (12 trees), so the reported 36/72 totals follow. The locking/non-locking beatnote classification and the coefficient-matrix representation (Eq. 11) are practically useful for the frequency-planning optimization of [9]. However, the paper's principal claim of a 'complete' catalog is conditional on the asserted routing model, which is not derived from the LISA optical bench design; this is the main weakness.","major_comments":[{"comment":"The exhaustiveness claim is only as strong as the assertion that each secondary laser L_ij has exactly two admissible references, namely the co-located laser L_ik and one specific incoming beam (L_ji + D_k in non-swap, L_ki + D_j in swap). The paper states this rule but does not derive it from the LISA optical bench layout. No argument rules out, for example, locking L_ij to the incoming beam from the third spacecraft in the non-swap architecture, or implementing a mixed per-spacecraft swap/non-swap routing; both would enlarge the search space and change the 36/72 counts. Since 'complete' appears in the title and abstract, the authors should either justify the two-reference, all-or-none-swap model from the instrument design (with references) or explicitly qualify the catalog as complete only under that model.","section":"Section II.C, Step 2"},{"comment":"The sentence defining the remote reference is ambiguous and, for the swap case, appears to misstate the source of the reference beam. It reads that L_ij can lock to 'the light received from one of the lasers onboard the remote spacecraft j (L_jk, where k = i in the non-swap configuration)', but in the swap case the relevant reference for L_ij is the beam received from the third spacecraft, L_ki + D_j, not a laser onboard the target spacecraft j. As written, the enumeration rule cannot be applied unambiguously. Please state the two allowed lock edges for each secondary explicitly for both swap and non-swap.","section":"Section II.C, Step 2 and Eqs. (3)-(4)"},{"comment":"The central deliverable is the complete catalog, but the main text presents only the six non-swap configurations for the single primary L32. The 12 frequency-swap configurations per primary, with their beatnote matrices, are only referenced as a supplementary document, which is not included in the manuscript text. Because the swap configurations are half of the claimed enumeration, the paper should include at least a compact table of the 12 configurations for a representative primary, and the supplementary material must be available to reviewers.","section":"Section III and supplementary-material statement"}],"minor_comments":[{"comment":"The phrases 'permutations of transponder locks' and 'permutations of the primary laser' are misnomers; the enumeration is over assignments (each secondary chooses one of two references) and over choices of primary, not permutations.","section":"Section II.C"},{"comment":"The sentence 'identifying 36 unique ... and 72 additional ... for an arbitrary choice of primary laser' conflates the per-primary counts (6 and 12) with the totals over all primaries (36 and 72); please rephrase to distinguish the two.","section":"Abstract"},{"comment":"The notation 'L_jk, where k = i' in Step 2 is overloaded and confusing; consider using cyclic triples (i,j,k) and writing L_ji for the non-swap reference and L_ki for the swap reference.","section":"Section II.B and II.C"},{"comment":"The term 'small vector noise' is used without definition; please add a reference or a one-sentence explanation of the effect.","section":"Section II.A and Figure 1"}],"recommendation":"major_revision","confidential_remarks":"To the editor: the paper is within the instrument-detection scope of the journal and will be of interest to the LISA frequency-planning community. The main risk is the completeness claim: the authors should be asked to either derive the two-reference, all-or-none-swap restriction from the LISA baseline optical bench design or explicitly soften the title and abstract. The swap-case wording in Step 2 and the absence of the swap catalog from the main text also need to be addressed. These issues appear fixable without changing the core enumeration method."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Punchline first: this paper gives LISA a complete catalog of phase-locking configurations, and the counting is easy to verify. For a fixed primary laser there are 6 non-frequency-swapping and 12 frequency-swapping valid schemes, hence 36 and 72 over all six primaries. I checked the non-swap count as spanning trees of a 6-cycle and the swap count against the triangular-prism graph; both agree. The enumeration is first-principles under the rules stated in Section II.C, and the paper is transparent about the equations.\n\nWhat is new: earlier work optimized frequency plans for a given topology; this is the first complete classification of the topologies. The locking-vs-nonlocking beatnote distinction and the complexity ranking are practical and useful. The notation and setup follow [9], but the result doesn't lean on that paper's optimization.\n\nSoft spots, in order: (1) The 'complete' claim is only as strong as the Step 2 reference rule: each secondary laser can lock to the other onboard laser or to one specific received beam, and swapping is all-or-none. This is asserted, not derived from the optical bench layout. If a third beatnote reference or hybrid swap/non-swap routing is physically possible, the catalog undercounts. A referee should ask for the reference set to be justified from the bench design, or for the title to say 'complete under the stated model.' (2) The swap catalog lives in a supplementary file that didn't appear in the arXiv posting, so the 12 swap entries can't be verified from the text alone. Packaging issue. (3) No code, but the combinatorics is simple enough that this isn't a barrier.\n\nThe central argument holds. The paper is careful, clearly written, and should be published after a revision that either tightens the completeness claim or justifies the optical-bench model. It's for LISA instrumentation people; anyone doing frequency planning will want it. I'd send it to review.","headline":"A sound, clearly written enumeration of LISA's locking topologies under an explicit two-reference model; 'complete' should be qualified but the counting is correct.","tokens_in":11261,"tokens_out":6631,"would_cite":true,"duration_ms":64230,"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":"The paper claims that for any fixed primary laser in LISA there are exactly six valid non-frequency-swapping locking configurations and twelve frequency-swapping ones, and hence 36 and 72 total configurations across all primary choices.","keywords":["LISA","laser locking configuration","frequency plan","beatnote","frequency swapping","transponder lock","heterodyne interferometry","gravitational wave astronomy"],"falsifier":"Take any spacecraft and construct a locking scheme in which a secondary laser uses a reference outside those two allowed choices (for example, on spacecraft 1 lock $L_{12}$ to the incoming beam $L_{31}+D_2$ instead of to $L_{13}$ or $L_{21}+D_3$), and show by the paper's own substitution rule that every laser still expresses uniquely in terms of the primary; one such scheme would falsify the claimed 6/12 counts.","tokens_in":10316,"feed_emoji":"🛰️","tokens_out":11756,"duration_ms":126859,"temperature":0.7,"pith_summary":"LISA must phase-lock five of its six onboard lasers with tunable frequency offsets so that every heterodyne beatnote stays inside the phasemeter band while the constellation's arms stretch and shrink. This paper claims to settle the discrete part of that problem: for a fixed primary laser there are exactly 6 valid non-frequency-swapping locking configurations and 12 frequency-swapping ones, giving a full catalog of 36 and 72 configurations across the six possible primary lasers. Each catalog entry carries the linear equations that express every secondary laser frequency in terms of the primary, the Doppler shifts, and the five offsets, plus the matrix mapping those quantities to the nine beatnote frequencies. This matters because frequency planning can then be run as an optimization over a finite, completely enumerated set of candidate schemes rather than over a partial list.","feed_headline":"All of LISA's laser-lock configurations: 36 standard, 72 swapped","feed_subtitle":"Every valid scheme for phase-locking five of six LISA lasers is enumerated, giving planners a finite menu.","key_machinery":"The central object is the transponder-lock graph together with its linear frequency equations: each secondary laser $L_{ij}$ is phase-locked either to the other laser on the same spacecraft or to light received from a remote spacecraft, and the offset frequencies $O_1,\\dots,O_5$ make the lock non-trivial. The argument runs on a five-step enumeration and validation procedure: choose the primary; generate all $2^5$ transponder schemes per primary under the allowed lock references; write the linear system linking laser frequencies; insert the three Doppler shifts $D_1,D_2,D_3$ on inter-spacecraft links; and substitute iteratively until each secondary laser is expressed uniquely in terms of the primary, discarding any scheme that fails. The non-swap and swap families are distinguished by which beam serves as local oscillator in the science interferometers, encoded in the beatnote equations $B_{ij}=L_{ji}+D_k-L_{ij}$ (non-swap) and $B_{ij}=L_{ji}+D_k-L_{ik}$ (swap). The surviving schemes, with their beatnote coefficient matrices, are the catalog.","core_discovery":"Under the paper's routing model, the space of LISA laser-locking configurations is finite and falls into two families: non-swap, where the laser transmitted along an arm also serves as local oscillator for the received beam of that arm, and frequency-swap, where the local oscillator for each received beam is the laser pointing along the opposite arm. Enumerating all $2^5=32$ transponder-lock candidates for a fixed primary laser and validating each by symbolic substitution, the paper finds exactly six valid, unique non-swap configurations and twelve valid, unique frequency-swap configurations per primary, hence 36 non-swap and 72 swap configurations over all six primary choices. The same validation also yields, for every surviving configuration, the linear system for the five secondary lasers and the coefficient matrix that maps the three Doppler shifts and five offsets to the nine beatnote frequencies. The paper further partitions the beatnotes into five locking and four non-locking ones and orders the configurations by a complexity measure combining phase-lock distance from the primary and the number of local locks.","pith_inferences":["The counts 6 and 12 are topological properties of the locking graph and do not depend on the Doppler magnitudes, so the catalog remains the same for any LISA orbital epoch even though the optimal offsets will drift.","The same symbolic enumeration would transfer to other multi-spacecraft heterodyne constellations; only the number of lasers and links changes, not the validation logic.","If a future optical bench allowed a third lock reference, the completeness part of the catalog would have to be re-derived, but the paper's enumeration machinery would supply the corrected counts directly.","Feeding every catalogued configuration into the existing frequency-planning optimizer and comparing resulting margins or interruptions could single out a small preferred subset for mission operations; this is a natural, testable follow-up."],"forward_implications":["The LISA frequency-planning optimization can be run exhaustively over the 108 catalogued configurations (36 non-swap, 72 swap), so the best plan within the model is in principle knowable.","Each catalog entry provides, in ready-to-use form, the linear inequality constraints that keep all nine beatnotes inside the phasemeter band, so adding a configuration to planning software is mechanical.","Because the catalog classifies five locking and four non-locking beatnotes for every configuration, planners can tell which forbidden-band crossings risk losing a phase lock and which only interrupt science data.","The complexity ordering by sum of phase-lock distances and number of local locks gives an objective way to prefer configurations that rely more on stable local locks and less on weak inter-spacecraft links."],"supporting_citations":[{"why":"Establishes the LISA mission layout, three-spacecraft arm geometry, and low-frequency science goals that define the laser-locking problem the catalog solves.","marker":"[8]"},{"why":"Supplies the notation, the Doppler-shift conventions, and the previous frequency-planning algorithm that this catalog complements and extends.","marker":"[9]"}],"fun_headline_variants":["All LISA lock configs: 36 non-swap, 72 swap","108 LISA lock configs: 36 direct, 72 frequency-swapped","LISA lock menu: all 108 schemes, 36 simple, 72 swapped","Every LISA lock scheme: 36 non-swap, 72 swap"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The completeness claim rests on the rule that each secondary laser can lock to exactly one of two references, the other laser on its own spacecraft or one received beam from a remote spacecraft; if the optical bench permits a third reference, such as locking to the other arm's incoming light in a non-swap topology, the catalog would miss valid configurations.","fun_headline_variants_meta":{"raw":{"variants":["All LISA lock configs: 36 non-swap, 72 swap","108 LISA lock configs: 36 direct, 72 frequency-swapped","LISA lock menu: all 108 schemes, 36 simple, 72 swapped","Every LISA lock scheme: 36 non-swap, 72 swap"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001286,"raw_usage":{"total_tokens":5247,"prompt_tokens":929,"completion_tokens":4318,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":545,"completion_tokens_details":{"reasoning_tokens":4231}},"tokens_in":545,"tokens_out":4318,"duration_ms":34313,"temperature":1.0,"reasoning_tokens":4231,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T13:10:08.782646+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take any spacecraft and construct a locking scheme in which a secondary laser uses a reference outside those two allowed choices (for example, on spacecraft 1 lock $L_{12}$ to the incoming beam $L_{31}+D_2$ instead of to $L_{13}$ or $L_{21}+D_3$), and show by the paper's own substitution rule that every laser still expresses uniquely in terms of the primary; one such scheme would falsify the claimed 6/12 counts.","supporting_citations":[{"cited_title":"Abbott, T","cited_arxiv_id":null,"evidence_quote":"Establishes the LISA mission layout, three-spacecraft arm geometry, and low-frequency science goals that define the laser-locking problem the catalog solves."},{"cited_title":"Cahillane and G","cited_arxiv_id":null,"evidence_quote":"Supplies the notation, the Doppler-shift conventions, and the previous frequency-planning algorithm that this catalog complements and extends."}],"review_version":1}