{"id":"da5aae90-295b-4b83-ba56-ae07c2e76e3b","arxiv_id":"2509.08445","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Infinite square-lattice resistor networks with periodic line defects have their equivalent resistance expressed exactly as one-dimensional integrals built from lattice Green's functions and the Sherman-Morrison identity.","lead":"An exact integral formula is derived for the electrical resistance between any two nodes of an infinite square grid of resistors when a whole line of resistors is changed, removed, or shorted. It matters because the same math can describe edge behavior in topolectrical circuits and other lattice models with line defects.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: the tilted-defect relabeling is a valid basis change and the Sherman-Morrison integral framework is sound.","rationale":"The reader's CONDITIONAL verdict is driven by three concerns. I find the tilted relabeling is actually exact (a coordinate transformation, not an approximation), and the rank-one perturbation representation is standard linear algebra. The special-value closed-form issues appear to be typesetting artifacts: e.g., Eq. (42) reproduced in the text is garbled, but the table values at g=1 match Eq. (37), which is derived directly from the integral. The branch at g=1/2 is a removable singularity consistent with the finite value from Eq. (51). Thus no load-bearing concern about the central claim was identified. The paper would still benefit from clarifying the tilted-defect derivation and cleaning up the closed-form formulas, hence I do not change the reader's verdict. Agreement is partial because the reader's weakest assumption (tilted relabeling) is, upon analysis, sound, though the call for more explicit derivation is reasonable.","tokens_in":19364,"tokens_out":39907,"duration_ms":306259,"concrete_test":"Run a direct numerical simulation of a finite square lattice (e.g., 200x200 with periodic boundary conditions) with a tilted line defect specified by (n,m)=(2,1) and several g values (e.g., g=0.5, g=1, g=-1). Compute the equivalent resistance R between node (0,0) and (1,0) (or another node pair) by solving Kirchhoff's laws numerically. Compare against the paper's integral formulas, Eqs. (69) and (74), evaluated numerically with the same parameters. Agreement to within the finite-size extrapolation error (e.g., 1%) would confirm the tilted-defect relabeling and the Sherman-Morrison framework; a systematic discrepancy would indicate a flaw.","verdict_should_be":"UNCHANGED","load_bearing_attack":"After careful review, I find the central Sherman-Morrison framework sound. The tilted-defect relabeling of Section 6 is a valid change of basis: the map |x,y> -> |x, y - m x/n> is a bijection, and the plane waves e^{ikx x + iky(y - m x/n)} diagonalize the relabeled Laplacian with eigenvalue 2 cos(kx - m ky/n) + 2 cos ky - 4, exactly as stated in Eq. (72). The completeness of these plane waves follows because the linear map (kx,ky) -> (kx - m ky/n, ky) is a determinant-one bijection of the torus, so the sheared parallelogram is a fundamental domain. The perturbation L1 in the new basis is exactly the alternating perpendicular defect of Eq. (60); no approximation is introduced. The Sherman-Morrison/Woodbury steps (Eqs. 21, 22, 47, 67, A.6) are algebraically correct given the block-diagonal structure. The apparent mismatches in Table 2 / Eq. (42) at g=1 and the opaque branch at g=1/2 in Section 4.2 appear to stem from typesetting ambiguity in the text provided, not from a mathematical inconsistency; Table 2 values at g=1 agree with Eq. (37), and the singularity in Eq. (58) at g=1/2 is removable as the integral formula (51) is finite there. No load-bearing concern about the central claim was identified.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper develops an exact Green's-function framework for computing the equivalent resistance between arbitrary nodes in an infinite square resistor network containing a periodic line defect. The defect is represented as a rank-one or finite-rank perturbation of the lattice Laplacian, and the Sherman-Morrison/Woodbury identities are applied in a partially Fourier-transformed basis, reducing the problem to one-dimensional integrals. The cases treated are: horizontal defects on horizontal bonds (parallel, Section 3), horizontal defects on vertical bonds (perpendicular, Section 4), alternating perpendicular defects with period n (Section 5), tilted defects of rational slope (Section 6), and alternating parallel defects (Appendix A). The paper also derives closed-form special-case results, duality relations among configurations, and numerical examples. The central formulas are Eqs. (29), (50)-(51), (69), and (A.6).","tokens_in":19617,"tokens_out":40867,"duration_ms":303701,"significance":"If the framework is correct, this is a useful and nontrivial extension of the classical perfect-lattice resistor problem to extended line defects. The Sherman-Morrison reductions are internally consistent, the dualities (e.g., perpendicular g -> -infinity versus parallel g = -1; perpendicular g = 1/2 versus parallel g = 1) are physically motivated and cross-checked, and the special-case tables provide concrete, falsifiable values. The method is modular and plausibly transferable to other lattices and to networks with complex impedances, although those generalizations are only sketched. The strengths are the systematic derivation of integral representations, the exact treatment of the perturbation without truncation, and the independent numerical checks in Section 5.1. The main weaknesses are that some closed-form expressions are not stated unambiguously and that the tilted-defect reduction is too compressed; these issues require attention but do not appear to invalidate the central framework.","major_comments":[{"comment":"As reproduced in the manuscript, the closed forms for R(1,0;0,0) and R(0,1;0,0) do not reproduce Table 2 or the special values in Eqs. (37) and (41). For example, using the second branch of Eq. (43) one obtains F_parallel(1) = 3/2, and Eq. (42) then gives R(1,0;0,0) = 0 and R(0,1;0,0) about 1.818, whereas Eq. (37) and Table 2 give 1 + 1/pi and 1 - 1/pi, respectively. Likewise, for g = -1 the displayed expression gives zero instead of 1/pi. Since Section 3.2 is a load-bearing claim about exact special-case evaluations, the formulas or the definition of F_parallel must be corrected and stated unambiguously so that Table 2 and Eqs. (37)/(41) are reproduced.","section":"Sec. 3.2, Eqs. (42)-(43)"},{"comment":"The tilted-defect reduction is stated very tersely. The relabeling |x,y> -> |x, y - m x/n> maps the lattice to coordinates with non-integer y labels, and the manuscript does not explicitly show that the perturbed links in the new basis are exactly the alternating perpendicular defect of Eq. (60), nor that the sheared plane waves in Eq. (72) form a complete basis over the required Brillouin zone. Since the tilted-defect results and their use of Eq. (69) depend entirely on this equivalence, this missing justification is load-bearing and should be supplied. The statement that the relabeling breaks down at n = 0 should also be reconciled with the claim that Appendix A covers this case.","section":"Sec. 6, Eqs. (71)-(73)"}],"minor_comments":[{"comment":"The block operator L_1(k_x) should read 2g(1 - cos k_x)|0><0|; as printed the factor 2g is missing, which conflicts with Eq. (22) and Eq. (24).","section":"Eq. (18)"},{"comment":"In the enumerated list of special g values, item (iii) says g = 1 corresponds to 'short-circuited' resistors along the defect line; the following paragraph and Eq. (34) correctly state that g = 1 corresponds to r -> infinity, i.e., removed resistors. The list entry should be corrected.","section":"Sec. 3.1"},{"comment":"At g = 1/2, the displayed expression for R(0,1;1,1) contains terms that diverge as (1-2g)^-2; since Table 3 gives a finite value at this point, the cancellation (which relies on F_perp(1/2) = 1/2) should be stated explicitly so readers are not left with an apparent pole.","section":"Sec. 4.2, Eq. (58)"},{"comment":"The numerical values in Table 4 are quoted to three decimals without error estimates; please specify the numerical accuracy used in the integration and in the independent finite-removal check.","section":"Sec. 5.1 and Table 4"},{"comment":"The statements that the method 'readily extends' to other lattice geometries, three dimensions, and general complex impedances are plausible but are not demonstrated in the manuscript; please label these as outlook or provide the explicit generalization for at least one additional lattice.","section":"Abstract and Conclusions"}],"recommendation":"major_revision","confidential_remarks":"The central Sherman-Morrison framework appears sound, and the stress-test concern about Section 6 is, on close reading, not a real mathematical flaw. The main obstacle is that the closed-form expressions in Section 3.2 as reproduced are inconsistent with Table 2; if those expressions are correct in the actual LaTeX source and only garbled in the supplied text, the revision could be downgraded to minor, but in the form provided the inconsistency must be resolved before publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper is a solid, useful piece of exact network theory. Its main result is a general Sherman-Morrison reduction that turns periodic line defects in an infinite square lattice into one-dimensional integrals for the equivalent resistance, with exact evaluations in special cases. The parallel, perpendicular, alternating, and tilted defect cases are treated; the derivations are structurally clear and the special-case checks against known perfect-lattice values are convincing.\n\nWhat is actually new: explicit integral formulas (Eqs. 29, 50-51, 69) and a set of exact resistance values and dualities that were not in the prior literature. The method is a natural extension of earlier work by Cserti and collaborators, and the self-citations are appropriate because those earlier results supply the ingredients (perfect-lattice Green's function, single-resistor perturbation, Woodbury formula). There is no circularity: the perturbed Green's function is computed from the perfect one plus a rank-one update, not fitted to a target resistance.\n\nSoft spots. The only substantive concern in the reader's report concerns the tilted-defect relabeling of Section 6. I checked that relabeling and it is a legitimate change of basis; the sheared plane waves diagonalize the relabeled Laplacian, so the reduction to the alternating perpendicular case is sound. That is not a flaw in the paper. The other issues are minor and mostly presentation: the closed forms in Eq. (42) do not visibly reproduce Table 2 at g=1 as typeset, and the g=1/2 branch in Section 4.2 looks awkward because the intermediate formula has a removable singularity. Both should be checked or clarified, but neither undermines the central result. The numerical checks in Section 5.1, including the independent multi-resistor limit, are a nice touch.\n\nBottom line: this is a correctly derived, clean extension of the Green's-function/Sherman-Morrison technique to line defects, of interest to anyone doing resistor-network theory or topolectrical circuits. It deserves a serious referee; the needed work is copy-editing and verification of special-case formulas, not re-derivation. I'd bring it to a reading group and cite it if I worked in the area.","headline":"A clean, exact Sherman-Morrison treatment of periodic line defects in resistor networks; the main formulas are new and sound, with only minor presentation issues to fix.","tokens_in":20172,"tokens_out":1942,"would_cite":true,"duration_ms":17991,"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":"This paper derives exact Green's-function formulas for the equivalent resistance between arbitrary nodes of an infinite square resistor lattice with periodic line defects, reducing the problem to one-dimensional integrals.","keywords":["resistor networks","lattice Green's function","Sherman-Morrison identity","effective resistance","line defects","square lattice","topolectrical circuits","Woodbury identity"],"falsifier":"Solve the full Kirchhoff equations numerically for a large finite square lattice with periodic boundary conditions and a tilted defect of slope $m/n$ in its original integer coordinates, then take the thermodynamic limit; if the resulting two-point resistances deviate from the one-dimensional integral obtained from Eqs. (69)-(74) beyond the finite-size extrapolation error, the relabeling step is not faithful. A simpler check is to verify that the modified Laplacian of Eq. (71) has the same bond set as the original tilted-defect network after relabeling.","tokens_in":19137,"feed_emoji":"⚡","tokens_out":5467,"duration_ms":47624,"temperature":0.7,"pith_summary":"An infinite square lattice of identical resistors becomes analytically challenging once a whole line of resistors is modified, because the perturbation is infinite in extent. This paper shows that such line defects can nevertheless be treated exactly: after Fourier transforming along the defect, each defect type becomes a low-rank modification of the lattice Laplacian, and the Sherman-Morrison identity gives the perturbed Green's function in closed form. The equivalent resistance between any two nodes then follows from a one-dimensional integral, which evaluates explicitly for special defect strengths and node positions. The framework covers parallel, perpendicular, alternating, and tilted defects, and carries over to other lattices, complex impedances, and topolectrical circuits, so it offers a systematic route to boundary-adjacent resistances without large numerical network solves.","feed_headline":"Exact resistance formulas for lattices with line defects","feed_subtitle":"Periodic defects in infinite resistor lattices reduce to one-dimensional integrals, with exact values in special limits.","key_machinery":"The machinery is the lattice Green's function in reciprocal space together with the Sherman-Morrison identity. For a defect invariant along one direction, Fourier transformation in that direction block-diagonalizes the Laplacian; each block is the perfect-lattice operator plus a rank-one perturbation of the type $|u\\rangle\\langle v|$, so the inverse (the Green's function) is updated by the algebraic Sherman-Morrison formula rather than by infinite sums. The alternating parallel defect, whose block operator is a sum of dyads rather than a single dyad, is handled by the Sherman-Morrison-Woodbury identity with an $n\\times n$ matrix. This converts an infinite perturbation into a one-dimensional integral whose integrand is built from $G_0(k_x,y_1,y_2) = e^{-|y_1-y_2|s}/(2\\sinh s)$, the exactly known propagator of the perfect strip, with $\\cosh s = 2 - \\cos k_x$.","core_discovery":"The central claim is that a periodic line defect in an infinite square resistor network leaves the problem exactly solvable in the same sense as the perfect lattice. Writing the modified resistors as a perturbation of the discrete Laplacian, the paper derives explicit Green's-function formulas—Eq. (29) for parallel defects, Eqs. (50)-(51) for perpendicular defects, Eq. (69) for alternating perpendicular defects, and Eq. (A.6) with the Woodbury identity for alternating parallel defects—and obtains the equivalent resistance as a one-dimensional Brillouin-zone integral. For special parameters (short-circuited or removed defect lines, or nodes on the defect) the integral collapses to finite combinations of known perfect-lattice resistances, giving exact numbers such as $R(1,0;0,0)=1+1/\\pi$ for a removed parallel line and $R(0,1;0,1)=2/\\pi$ for a removed perpendicular line. The method extends to tilted defects of rational slope $m/n$ by an integral whose kernel uses $\\cos(k_x - m k_y/n)$, and to arbitrary lattices and complex impedances because only translational symmetry along one direction is needed.","pith_inferences":["The tilted-defect integral likely inherits the logarithmic large-distance growth of the perfect lattice, so line defects of rational slope should not change the qualitative conductance scaling, only the prefactor; this is an extrapolation from the paper's asymptotic remarks.","The same framework could be applied to semi-infinite or kinked defects by stitching together several line defects, although the paper notes that breaking translation invariance in two directions lies outside its method.","A direct experimental check in an electrical-impedance network or a topolectrical circuit could measure two-point resistances near a line of modified capacitors or inductors and compare with Eq. (29) by sweeping frequency-dependent complex $g$.","The equivalence between a short-circuited perpendicular defect and a halved parallel defect, expressed in Eqs. (56)-(57), suggests a general duality that may extend to alternating or tilted defects, though the paper only proves it for the specific cases in Section 4."],"forward_implications":["For any of the treated defect geometries, the equivalent resistance between arbitrary nodes can be evaluated by a single one-dimensional integral, making boundary-adjacent resistances computable with elementary numerical quadrature rather than large linear solves.","Special limits (removed lines with $g=1$, short-circuited lines with $g\\to-\\infty$, and halved resistances with $g=-1$) reduce the defect problem to finite combinations of perfect-lattice resistances, giving exact closed forms such as those in Tables 2 and 3.","The alternating perpendicular defect interpolates between a full cut ($n=1$, resistance diverges) and a single missing resistor ($n\\to\\infty$, resistance tends to $R$), so the method quantifies how the delocalization of a defect changes transport.","Because only one direction of translational symmetry must survive, the same Sherman-Morrison construction applies to other two-dimensional lattices, three-dimensional lattices, and networks with complex impedances, opening the way to topolectrical-circuit boundaries."],"supporting_citations":[{"why":"It supplies the classical solution for the perfect infinite square-lattice resistance that this work extends.","marker":"[1]"},{"why":"It provides the lattice Green's-function formalism and the integral representation used as the starting point of the derivation.","marker":"[4]"},{"why":"It gives the single-resistor substitution-current relation, Eq. (12), on which every rank-one perturbation is built.","marker":"[22]"},{"why":"It states the Sherman-Morrison identity used to invert the perturbed Laplacian blocks.","marker":"[27]"},{"why":"It supplies the general perturbation theory of infinite resistor networks and the Woodbury-based treatment for multi-resistor defects.","marker":"[23]"},{"why":"It is the original Woodbury formula invoked for the alternating parallel defect in Appendix A.","marker":"[26]"},{"why":"It evaluates the perfect-lattice propagator integral used repeatedly for the strip Green's function.","marker":"[28]"}],"fun_headline_variants":["Exact resistance solutions for line-defect resistor lattices","Line defects in resistor networks: exact 1D integral formulas","Resistor lattices with line defects: exact resistances","Exact lattice resistances around periodic line defects"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the coordinate relabeling used for tilted defects, which renames site $(x,y)$ as $(x, y - mx/n)$ so that the defect becomes horizontal, faithfully describes the original network even though the new vertical labels are not integers; if that mapping changes which bonds are connected, the tilted-defect results fail. The rank-one form of the perturbation also assumes the single-resistor substitution-current relation of Eq. (12).","fun_headline_variants_meta":{"raw":{"variants":["Exact resistance solutions for line-defect resistor lattices","Line defects in resistor networks: exact 1D integral formulas","Resistor lattices with line defects: exact resistances","Exact lattice resistances around periodic line defects"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000253,"raw_usage":{"total_tokens":1532,"prompt_tokens":877,"completion_tokens":655,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":493,"completion_tokens_details":{"reasoning_tokens":589}},"tokens_in":493,"tokens_out":655,"duration_ms":5906,"temperature":1.0,"reasoning_tokens":589,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T16:10:28.777919+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Solve the full Kirchhoff equations numerically for a large finite square lattice with periodic boundary conditions and a tilted defect of slope $m/n$ in its original integer coordinates, then take the thermodynamic limit; if the resulting two-point resistances deviate from the one-dimensional integral obtained from Eqs. (69)-(74) beyond the finite-size extrapolation error, the relabeling step is not faithful. A simpler check is to verify that the modified Laplacian of Eq. (71) has the same bond set as the original tilted-defect network after relabeling.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"It supplies the classical solution for the perfect infinite square-lattice resistance that this work extends."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"It gives the single-resistor substitution-current relation, Eq. (12), on which every rank-one perturbation is built."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"It supplies the general perturbation theory of infinite resistor networks and the Woodbury-based treatment for multi-resistor defects."},{"cited_title":"42, Statistical Research Group(Princeton Univ.) p 4","cited_arxiv_id":null,"evidence_quote":"It is the original Woodbury formula invoked for the alternating parallel defect in Appendix A."}],"review_version":1}