{"id":"5f8bba10-2ca3-42c9-9308-38a5d1a5dad5","arxiv_id":"2411.19055","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A special class of isothermic s-embeddings lifts to discrete maximal surfaces in Lorentz space, and the associated family preserves the Ising X-variables.","lead":"This paper constructs a class of s-embeddings, the planar graphs used to encode Ising model couplings, that lift to discrete maximal surfaces in Lorentz space before any continuum limit is taken. It also proves that the Ising coupling constants, the X-variables, stay constant along a one-parameter family of such surfaces.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 11.2's proof leaps from φ-independence of the distances |Z_i−P*_0| to φ-independence of the X-variable cross-ratio, but a cross-ratio also depends on the arguments of Z_i; the missing common-rotation argument is the load-bearing step.","rationale":"The paper's central claim is the construction of discrete maximal surfaces whose projections are s-embeddings, together with an associated family of s-embeddings with constant Ising weights. The final theorem, Theorem 11.2, is where the constancy of the Ising weights is derived, so the chain of reasoning there is the most load-bearing part of the paper. The proof reduces X-variables to a cross-ratio of four points Z_i relative to P*_0, then invokes Lemma 11.1, which gives only the radial distances |Z_i−P*_0|. Since a planar cross-ratio depends on the phases of Z_i as well as their moduli, the inference 'distances are independent of φ, hence X is independent of φ' is not valid as written. The missing step is to show that the four points rotate rigidly around P*_0 as φ varies; the line-direction formulas in Lemma 11.1 make this plausible, and the claim may well be true, but the proof as printed does not establish it. This is a concrete internal proof gap, distinct from the reader's external Part I dependency, though a direct numerical test of the cross-ratio would also exercise Part I's Lemma 4.3. I do not regard this as evidence that the theorem is false; rather, the paper should be accepted only after the missing common-rotation argument is supplied or the numerical check is performed. Since the reader's verdict was already CONDITIONAL, the appropriate recommendation is unchanged: the paper remains conditionally acceptable, with the proof of Theorem 11.2 to be completed.","tokens_in":17715,"tokens_out":23164,"duration_ms":215107,"concrete_test":"Take a generic one-vertex star satisfying the hypotheses of Section 11: four unit tangent directions t_i to U+ with fixed angles and radii R_0, R_i. Use equations (9.1)–(9.3) and the projected isotropic-line directions from the proof of Lemma 11.1 to compute the four intersection points Z_i(φ) in Π_0 for φ = 0, π/4, π/2. Evaluate the cross-ratio X(φ) = −(Z_1−P*_0)(Z_2−P*_0)/(Z_3−P*_0)(Z_4−P*_0) directly. If X varies with φ, Theorem 11.2 is false. If X is constant, verify numerically that Z_i(φ)=e^{iψ(φ)}Z_i(0) for a common ψ(φ), and add that common-rotation argument to the proof.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In Section 11, the proof of Theorem 11.2 reduces X_◦(w) to the planar cross-ratio X = −(Z_1−P*_0)(Z_2−P*_0)/(Z_3−P*_0)(Z_4−P*_0). Lemma 11.1 establishes only that each distance |Z_i−P*_0| is independent of φ. A cross-ratio is not a function of the four moduli alone: if z_i = |z_i|e^{iθ_i}, the phase combination θ_1+θ_2−θ_3−θ_4 enters X. The conclusion 'hence so are the X-variables' therefore requires an additional argument that the four points Z_i(φ) are obtained from Z_i(0) by a single rotation about P*_0, so that the common phase cancels in the cross-ratio. The proof's formulas for the projected isotropic-line directions suggest that this common-rotation property may be true, but it is not stated or proved. As written, the paper's headline claim—that the Ising weights are constant in the associated family—rests on this non-sequitur. This is independent of the external Part I dependency: even assuming Theorem 3.5 and Lemma 4.3, Theorem 11.2 is not established without the missing rotation argument.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"Building on their companion paper [ADM+24], the authors construct a discrete analogue of maximal surfaces in Lorentz space within the framework of s-embeddings/incircular nets. They define maximal congruences as isothermic congruences whose Christoffel dual is a Koebe congruence, relate these to hyperbolic orthogonal circle patterns, and derive a discrete Weierstrass representation. The paper then defines an associated family of congruences parametrized by φ ∈ S1 and shows that each member yields, after a Laguerre offset, a null congruence and hence an incircular net. The central claim is that the X-variables—the Ising weights of the corresponding s-embeddings—are independent of φ. The paper thus answers Chelkak–Laslier–Russkikh's question in the positive, at least at the level of construction, provided the main theorems are fully established.","tokens_in":17973,"tokens_out":5584,"duration_ms":50979,"significance":"If the main claims are correct, this paper is a substantial bridge between discrete differential geometry and the statistical mechanics of s-embeddings. The identification of a class of isothermic s-embeddings that lift to discrete maximal surfaces, together with a one-parameter family of s-embeddings with constant Ising weights, is a genuinely new and interesting structure. The paper also provides explicit Weierstrass-type formulas and connects the construction to hyperbolic orthogonal circle patterns, which gives a variational route to existence from boundary data. The authors are careful to acknowledge open points and conjectures, and the reliance on [ADM+24] is legitimate for a sequel. However, the manuscript is not yet self-contained at the level needed for the main theorem: the proofs of Theorem 9.1 and Theorem 10.4 are only sketched, and Theorem 11.2 contains a missing phase argument that is load-bearing for the headline claim about Ising weights.","major_comments":[{"comment":"The proof reduces the X-variable to the planar cross-ratio X◦(w) = −(Z1−P0*)(Z2−P0*)/(Z3−P0*)(Z4−P0*), and Lemma 11.1 establishes only that each distance |Zi−P0*| is independent of φ. A cross-ratio is not determined by the four moduli alone: writing Zi−P0* = r_i e^{iθ_i}, the phase combination θ1+θ2−θ3−θ4 enters X◦. The conclusion 'hence so are the X-variables' therefore requires a proof that the four points Zi(φ) are obtained from Zi(0) by a single rotation about P0*, or an equivalent control of the phases. The formulas for the projected isotropic-line directions in the proof of Lemma 11.1 suggest that such a common-rotation property may hold, but it is not stated or proved. Since Theorem 11.2 is the paper's main statistical-mechanics claim, this is a load-bearing gap.","section":"§11, Theorem 11.2"},{"comment":"The proof is one sentence: 'It suffices to check the closing condition around each black vertex, which corresponds to the fact that P φ is well-defined in the calculation above.' The closing of the associated discrete differential d⊙hφ◦ is the foundation for the entire associated-family construction. The informal discussion around Equation (9.4) is not a complete proof: one needs an explicit verification that the telescoping sums vanish in the Ti, n, and bi components, or a direct computation of the sum around each black vertex.","section":"§9, Theorem 9.1"},{"comment":"The proof chooses one of the two spheres at an initial black vertex b0 and then asserts that all other spheres can be chosen consistently. Since the two spheres per black vertex are defined face-locally by Lemma 10.3 and are generically different from face to face, one must prove that the choice propagates consistently around all cycles of the quad graph. Without that argument, the existence of the associated congruences (c1)φ and (c2)φ is not established. Remark 10.7 sketches a Lie-geometric route, but it does not supply the missing consistency proof.","section":"§10, Theorem 10.4"},{"comment":"The paper imports Theorem 3.5 and Lemma 4.3 from [ADM+24] and uses them at essential points: Theorem 3.5 underlies the definition of maximal congruences and the passage between congruences and S-isothermic nets, while Lemma 4.3 is used in the proof of Theorem 11.2 to replace the Euclidean projection by an arbitrary spacelike plane. These are legitimate prior results, but the present manuscript provides no independent check or statement of the exact hypotheses needed. The main text should explicitly delineate which imported statements are load-bearing and flag that the results here inherit any assumptions from Part I.","section":"§3 and §4, external dependencies"}],"minor_comments":[{"comment":"There is a typo in the third display paragraph: 'In clonclusion' should read 'In conclusion.'","section":"§8"},{"comment":"The characterization of isothermic incircular nets that come from Koebe congruences is deferred with 'This can be shown' and no proof or precise reference to Part I. Since Remark 7.3 builds on it, either supply the argument or cite the exact location in [ADM+24].","section":"§5, Remark 5.4"},{"comment":"The notation for contact congruences omits the black-vertex component that appears in Definition 3.1 for null congruences; please clarify how the two definitions are compared, especially in Theorem 10.4.","section":"Definition 10.1"},{"comment":"The sign convention for the ± in the dual edge directions is used repeatedly but is stated only informally; a single unified statement of the horizontal/vertical sign rule would improve readability.","section":"§9, Equation (9.4)"},{"comment":"The phrase 'the normal map' may suggest an exact equality, whereas the smooth analogue in Theorem 2.2 holds only up to scaling and translation; please clarify the normalization used in the discrete setting.","section":"§7, after Theorem 7.2"},{"comment":"Several statements are explicitly left open ('It is not clear', 'currently unclear'). This is honest, but the paper would benefit from a short paragraph distinguishing theorems, conditional results, and conjectures.","section":"Remarks 10.6, 10.7, 11.5"}],"recommendation":"major_revision","confidential_remarks":"The main obstacle is the missing phase argument in Theorem 11.2; the paper's headline claim about constant Ising weights is not established as written. If the authors can supply the common-rotation argument and fill in the proofs of Theorems 9.1 and 10.4, the paper should be acceptable. The heavy reliance on Part I makes standalone verification difficult, but that is a natural feature of a sequel."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper does what it claims: it gives a discrete construction of maximal surfaces in Lorentz space whose projections are s-embeddings, answering the Chelkak–Laslier–Russkikh question before taking any limit. The main ingredients are a sensible translation of the Bobenko–Hoffmann–Springborn minimal-surface machinery to the Lorentzian setting, a clean definition of maximal congruences via the Christoffel dual, and an associated family that comes with two contact congruences and two null congruences per member. The constant-X theorem, if it holds, is a nice genuinely discrete phenomenon: a one-parameter family of s-embeddings with identical Ising weights. The paper also gives explicit Weierstraß-type formulas, which is more than a sketch. Credit where due: the construction is coherent, builds legitimately on the authors' Part I, and has no fitted parameters or circular claims.\n\nThe soft spots are real but not fatal. The proof of Theorem 11.2 as written is incomplete: Lemma 11.1 establishes independence of the distances |Z_i − P*_0| from φ, but a cross-ratio depends on arguments as well. The missing step is that the projected isotropic lines rotate by a common angle that does not depend on i—visible from the direction vectors in the proof of Lemma 11.1—so the whole configuration of Z_i rotates rigidly about P*_0 and the cross-ratio is invariant. The authors should state and prove that explicitly. This is a fixable gap, not a counterexample. Theorem 9.1 is proved in one sentence and would benefit from an actual argument; the closing condition around black vertices deserves a few lines. Remark 5.4 defers a characterization to an unshown argument; acceptable in a series but should be supplied or clearly referenced to Part I.\n\nHeavy reliance on Part I is legitimate—these are companion papers—but a referee should check that Theorem 3.5 and Lemma 4.3 really carry the stated hypotheses. The structure of the paper is otherwise clear, and the figures help.\n\nWho is this for? People working in discrete differential geometry and on the statistical mechanics side of s-embeddings. The result is worth refereeing carefully, and with the rotation argument added, the main theorem should stand. Send it to peer review; ask for expanded proofs of Theorem 9.1 and Theorem 11.2, and for a statement of the common-rotation property.","headline":"Genuinely discrete maximal s-embeddings with a constant-X associated family; the main theorem has a fixable proof gap rather than a fatal flaw.","tokens_in":18529,"tokens_out":2893,"would_cite":true,"duration_ms":38200,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53A10","52C26","82B20"],"pacs":[],"model":"deepseek-v4-flash","headline":"There are s-embeddings whose Lorentz lifts are maximal surfaces already at the discrete level.","keywords":["s-embeddings","incircular nets","discrete maximal surfaces","Lorentz space","isothermic surfaces","Ising model","X-variables","circle patterns"],"falsifier":"Take a concrete hyperbolic orthogonal circle pattern in the Poincaré disk (for example a regular square grid), build the corresponding maximal congruence with the formulas of Section 8, construct the associated null congruences for $\\varphi=0$ and $\\varphi=\\pi/2$, and compute the X-variables of their incircular-net projections; any deviation from equality between the two values of $\\varphi$ would refute Theorem 11.2.","tokens_in":17503,"feed_emoji":"📐","tokens_out":7553,"duration_ms":67660,"temperature":0.7,"pith_summary":"This paper answers positively a question from the statistical-mechanics literature: whether some s-embeddings—planar quad nets in which every face has an incircle and which encode Ising couplings—already lift to maximal surfaces in Lorentz space at the discrete level, with no thermodynamic limit needed. The construction singles out a class of isothermic s-embeddings called maximal congruences and shows they correspond to discrete S-maximal surfaces in Lorentz space, the Lorentz analogue of Euclidean discrete minimal surfaces built from circle patterns. Each such surface carries a one-parameter associated family of isometric discrete maximal surfaces, obtained by rotating the discrete differential around the normal axis. Projecting each member back to the plane yields a one-parameter family of s-embeddings, and the paper proves that the Ising coupling data of these s-embeddings—the X-variables—are independent of the family parameter.","feed_headline":"Maximal Lorentz surfaces exist at the discrete level","feed_subtitle":"Every such surface spawns a one-parameter family of s-embeddings with identical Ising weights.","key_machinery":"The central object is the null congruence: a triple in Lorentz space $\\mathbb{R}^{2,1}$ consisting of timelike spheres at white vertices, null-spheres at black vertices, and isotropic lines on faces, whose orthogonal projection is an incircular net. Three successive specializations carry the argument: isothermic congruences, where the centers of the timelike spheres form a conjugate net; Koebe congruences, where the circles of the associated S-isothermic net (the sphere-circle contact discretization of isothermic surfaces) lie on the upper unit sphere and come from hyperbolic orthogonal circle patterns; and maximal congruences, where the Christoffel dual is a Koebe congruence. The Christoffel dual supplies the normal map and the discrete Weierstraß representation. The associated family is generated by a closed discrete differential obtained from elliptic Lorentz rotations around the axis from the origin to the face normal; the key quantitative fact is that all associated vertex spheres have the same radius $\\sin\\varphi$, which is what makes the associated null congruences exist and lets the X-variables be computed from points whose distances to the center are $\\varphi$-independent.","core_discovery":"On the paper's own terms, the discovery is that the Lorentz lift of an incircular net can be a maximal surface before any limit is taken. The route is: take a hyperbolic orthogonal circle pattern, viewed as a Koebe net; form its Christoffel dual, which defines a discrete S-maximal surface; then pass through the 2:1 correspondence between isothermic congruences and S-isothermic nets to obtain a null congruence, whose orthogonal projection is the desired maximal s-embedding. The paper gives a discrete Weierstraß representation with explicit coordinates in terms of the circle-pattern data. For each maximal surface it then constructs the associated family $h^{\\varphi}$ by elliptic Lorentz rotations, derives associated contact congruences whose vertex spheres all have radius $\\sin\\varphi$, and from them associated null congruences that project to incircular nets. Theorem 11.2 shows the X-variables are $\\varphi$-independent, so the whole associated family defines one and the same Ising model.","pith_inferences":["The paper does not say this, but $\\varphi$-independence of X-variables means any Ising observable that depends only on these couplings is invariant under the associated-family flow; the family acts as a discrete symmetry of the statistical model.","The same Koebe-to-Christoffel route should transfer to the dimer-model side, where conical nets (t-embeddings) have an analogous Lorentz lift; one testable expectation is that their Lorentz-minimal discrete lifts also admit associated families with constant coupling data.","A direct numerical check on a small square-grid Koebe pattern would settle the mechanism: compute the X-variables for the associated incircular nets at $\\varphi=0$ and $\\varphi=\\pi/2$ and compare; the paper predicts exact equality."],"forward_implications":["There are genuine discrete maximal surfaces in Lorentz space whose orthogonal projections are s-embeddings, so the correspondence between Ising s-embeddings and maximal surfaces is not only a continuum phenomenon.","Every maximal s-embedding carries a one-parameter family of s-embeddings with identical X-variables; the whole family describes the same Ising model.","The family passes through non-curvature-line conformal parametrizations, with the half-turn member recovering a rotation of the original surface; at $\\varphi=\\pi/2$ one obtains conformal asymptotic coordinates in analogy with the smooth theory.","Maximal s-embeddings are obtainable from hyperbolic orthogonal circle patterns by a variational principle, so boundary data determine them uniquely."],"supporting_citations":[{"why":"Supplies the null-congruence and isothermic-congruence framework, including the 2:1 correspondence with S-isothermic nets and the Lorentz-distance formula for X-variables.","marker":"[ADM+24]"},{"why":"Provides the Euclidean discrete minimal-surface construction from circle patterns and the associated-family technique that the paper translates to Lorentz space.","marker":"[BHS06]"},{"why":"Introduces s-embeddings, the Lorentz lift, and the X-variables that define the Ising couplings.","marker":"[Che18]"},{"why":"Poses the question whether lifts of incircular or conical nets are maximal surfaces already at the discrete level, the question this paper answers.","marker":"[CLR21]"},{"why":"Establishes the variational principle for hyperbolic orthogonal circle patterns that guarantees existence and uniqueness of Koebe congruences from boundary data.","marker":"[BS04]"},{"why":"Introduces S-isothermic nets, the discrete isothermic-surface model inside which maximal surfaces are defined.","marker":"[BP99]"},{"why":"Introduces the associated family of discrete maximal surfaces used in Section 9.","marker":"[BH16]"}],"fun_headline_variants":["No limit: discrete maximal Lorentz surfaces","Exact maximal surfaces from circle patterns","Ising weights constant in associated family"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The construction inherits the companion paper's framework wholesale—in particular the 2:1 correspondence between isothermic congruences and S-isothermic nets and the reading of X-variables as squared Lorentz distance ratios—and if that framework has unstated exceptional cases, the maximal-surface construction inherits the error.","fun_headline_variants_meta":{"raw":{"variants":["No limit: discrete maximal Lorentz surfaces","Exact maximal surfaces from circle patterns","Ising weights constant in associated family"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001088,"raw_usage":{"total_tokens":4563,"prompt_tokens":975,"completion_tokens":3588,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":591,"completion_tokens_details":{"reasoning_tokens":3547}},"tokens_in":591,"tokens_out":3588,"duration_ms":25792,"temperature":1.0,"reasoning_tokens":3547,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T10:35:05.221560+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a concrete hyperbolic orthogonal circle pattern in the Poincaré disk (for example a regular square grid), build the corresponding maximal congruence with the formulas of Section 8, construct the associated null congruences for $\\varphi=0$ and $\\varphi=\\pi/2$, and compute the X-variables of their incircular-net projections; any deviation from equality between the two values of $\\varphi$ would refute Theorem 11.2.","supporting_citations":[],"review_version":1}