{"id":"a5e4d384-a0bf-4599-85e1-4e8369c8ae45","arxiv_id":"1908.08359","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":1,"one_line_summary":"For two-mirror spherical and reversed periscopes, the induced wave-front diffeomorphisms are projectively gradient, and explicit formulas express the second mirror and the map in terms of the first mirror and a constant.","lead":"This math paper derives explicit formulas for the local maps that two-mirror systems produce on light wave fronts in two special cases: a spherical periscope (rays return to their source) and a reversed periscope (rays reverse direction). The results connect geometric optics with symplectic geometry and could inform freeform reflective optical design.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 3 formula (7) for the reversed periscope is algebraically wrong; the correct second-mirror relation is g = f/|∇f|^2 − C(1 − |∇f|^2)/|∇f|^2.","rationale":"The reader accepted the paper with high confidence, identifying only the graph-representation assumption as the weakest point. My reading finds a genuine algebraic error in Theorem 3's proof. The spherical periscope section appears consistent, and the T(x) formula in Theorem 3 is correct once formula (7) is corrected. However, as written formula (7) is false and cannot be derived from the paper's own equations; it also contradicts the stated T(x) formula. This is a correctness issue in the central claim, not a stylistic or scope limitation. The fix is straightforward: replace (7) by g = f/|∇f|^2 − C(1−|∇f|^2)/|∇f|^2 (equivalently f − |∇f|^2 g = C(1−|∇f|^2)). Because the error is explicit and easily corrected, a conditional acceptance with mandatory correction is appropriate rather than an unqualified accept. This differs from the reader's weakest_assumption, which concerned the graph representation's domain restrictions.","tokens_in":5155,"tokens_out":22966,"duration_ms":195951,"concrete_test":"Recompute formula (7) by substituting t=|∇f| into f(1+cos 2α)−g(1−cos 2α)=2C cos 2α. The resulting equation is f − t^2 g = C(1−t^2), whose solution is g = f/t^2 − C(1−t^2)/t^2, not the printed expression. Verify that the corrected g inserted into (8) reproduces U = 2(C−f)/|∇f|^2 ∇f, whereas the printed g yields U = 2C/|∇f|^2 ∇f.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"In §3, the proof sets f+g+|PQ|=2C and obtains f(1+cos 2α)−g(1−cos 2α)=2C cos 2α. With t=|∇f|=tan α and cos 2α=(1−t^2)/(1+t^2), this equation becomes f − t^2 g = C(1−t^2), i.e. g = f/t^2 − C(1−t^2)/t^2. The printed formula (7), g = f − C(1−t^2)/t^2, would give f − t^2 g = (1−t^2)(f+C), which equals C(1−t^2) only if f=0. The error is load-bearing: Theorem 3 is the main reversed-periscope result, and the printed (7) is also inconsistent with the paper's own T(x) formula. Using (7) in (8) gives U = 2C/|∇f|^2 ∇f, not 2(C−f)/|∇f|^2 ∇f; the latter follows only from the corrected g. A concrete check in n=2 with f(x)=1+0.5x near x=−0.1, C=1: the corrected g has slope −2 in y (reflection law requires g′=−1/f′=−2), while (7) gives slope −0.5, so the mirror described by (7) does not reflect the rays vertically.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies two mirror systems in geometric optics: a spherical periscope, in which rays from a fixed point O reflect from two mirrors and return to O, and a reversed periscope, in which rays of a fixed direction reflect to rays of the opposite direction. For the spherical case, the author proves that the induced map on the unit sphere has a projectively gradient geodesic tangent field (Theorem 1) and derives explicit formulas for the second mirror's radial function and the spherical distance in terms of the first mirror's radial function and an optical constant C (Theorem 2). For the reversed case, Theorem 3 gives formulas for the second mirror function and for the induced translation T(x)-x in terms of the first mirror function and C. The proofs use elementary triangle geometry, the reflection law, and constancy of optical path length.","tokens_in":5506,"tokens_out":14813,"duration_ms":128046,"significance":"If the reversed-periscope statement is corrected, the paper provides a clean, explicit local description of two-mirror systems that perform point-to-point and parallel-to-antiparallel ray mappings. The spherical part (Theorems 1 and 2) appears correct and is derived self-consistently, without fitting parameters; the constant C is the optical path length. The results should be of interest to researchers in geometrical optics and freeform optical design. However, the main reversed-periscope result contains a fixable algebraic error in the formula for g, so the paper requires a major revision before the theorem can be accepted as stated.","major_comments":[{"comment":"The formula for g is algebraically wrong. From the displayed equation f(1+cos 2α) - g(1 - cos 2α) = 2C cos 2α and t = |∇f| = tan α, one obtains f - t^2 g = C(1 - t^2), and therefore the correct relation is g = f/t^2 - C(1 - t^2)/t^2, i.e. g = f/|∇f|^2 - C(1 - |∇f|^2)/|∇f|^2. The printed formula g = f - C(1 - |∇f|^2)/|∇f|^2 omits the term f/|∇f|^2. Substituting the printed formula into equation (8) gives f - g = C(1 - t^2)/t^2 and hence U = 2C/|∇f|^2 ∇f, which is not the claimed U = 2(C - f)/|∇f|^2 ∇f. The claimed T(x) follows only from the corrected g. This error is load-bearing because Theorem 3 is the main reversed-periscope result.","section":"§3, Eq. (7)"},{"comment":"The statement of Theorem 3 should specify the domain of the function g. As written, formula (7) appears to relate g and f as functions of the same variable, but the second mirror is a graph over y, g = g(y), while the right-hand side is evaluated at x. The correct interpretation is g(T(x)) = f(x)/|∇f(x)|^2 - C(1 - |∇f(x)|^2)/|∇f(x)|^2 (with the corrected algebra), or equivalently a formula for g(y) obtained by composing with the inverse of T. Without this clarification, the theorem cannot be read as an explicit construction of the second mirror, and the subsequent use of (7) to compute U is formally ambiguous.","section":"Theorem 3 statement"}],"minor_comments":[{"comment":"There is a typo in the introduction: 'symplectimorphic' should be 'symplectomorphic'.","section":"Introduction"},{"comment":"The sentence 'Since point P is higher than point Q, we have |∇f| < 1' would be clearer if it explained that |∇f| < 1 is equivalent to the reflected ray at the first mirror having a negative vertical component, which is necessary for the ray to descend to the second mirror.","section":"§3, after Eq. (8)"},{"comment":"The discussion of the extraneous root S1 assumes |∇f| and |∇g| are nonzero. A short limiting argument for the case |∇f| = |∇g| = 0 would make the selection of S2 fully rigorous.","section":"Lemma 2.3"},{"comment":"The formula for e^g contains the denominator C(1 + |∇f|^2) - e^f, but the paper does not discuss the admissible range of C and f that makes this denominator positive. A brief remark on the domain of validity would be helpful.","section":"Theorem 2"}],"recommendation":"major_revision","confidential_remarks":"The algebraic error in equation (7) appears to be a simple slip rather than a conceptual flaw: the corrected formula follows directly from the preceding displayed equation and is consistent with the claimed expression for T(x). The spherical part of the paper is solid. I expect the paper to be publishable after the correction of (7) and the clarification of the domain of g in Theorem 3."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick heads-up: the reversed-periscope section has a load-bearing algebra error. Formula (7) in Theorem 3 is wrong; the correct relation is g = f/|∇f|^2 − C(1−|∇f|^2)/|∇f|^2. The printed version is inconsistent with the paper's own T(x) formula, and a concrete check shows the mirror it describes wouldn't reflect vertical rays correctly. The fix is mechanical, but not trivial, and the proof as written cannot stand.\n\nWhat's genuinely good: the spherical periscope part (Theorems 1 and 2) is a solid new contribution. The projectively gradient condition for V_T is a nice observation, and the explicit formulas for g and the spherical distance in terms of f and C are not in the prior literature. The algebra there checks out. The paper is clearly written and the citations, including the self-citation to the earlier periscope theorem, are appropriate.\n\nThe soft spots: the reversed periscope proof is too compressed. The step |∇f||∇g|=1 is fine, but the jump from (8) to the final T formula hides the substitution, and the slip in (7) suggests the author didn't recheck the algebra. The graph assumption (mirrors as graphs over the reference front) is stated and is a legitimate local-germ restriction, not a fatal flaw. Also, the sign conventions around C being positive deserve a line of justification.\n\nFor the spherical part I'd accept without much fuss. For the reversed part, the theorem is very likely true with the corrected formula—the final T(x) is consistent with the corrected g—so this is a revision, not a rejection. But as submitted, the paper contains a demonstrably false statement in its main theorem. I wouldn't publish it in this form.\n\nWho is this for: people working in geometric optics, freeform mirror design, or symplectic aspects of ray optics. They'll find the spherical formulas useful. It deserves a serious referee—peer review would catch this and the fix is within the author's reach.","headline":"The spherical periscope part is clean and new, but Theorem 3's reversed periscope formula (7) is algebraically wrong and must be corrected before the paper can be trusted.","tokens_in":5997,"tokens_out":2766,"would_cite":true,"duration_ms":24474,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["78A05"],"pacs":[],"model":"deepseek-v4-flash","headline":"A two-mirror spherical or reversed periscope induces a projectively gradient wave-front map, and the second mirror's shape is explicitly determined by the first mirror plus a single optical-path constant.","keywords":["geometrical optics","periscope theorem","two-mirror systems","projectively gradient vector fields","spherical periscope","reversed periscope","wave fronts","freeform mirrors"],"falsifier":"Ray-trace one explicit case numerically: choose, say, $f(x)=\\varepsilon(1-e^{-x^2})$ in $\\mathbb{R}^2$, pick $C>\\max f$, build the second mirror from the reversed-periscope formula, then follow the vertical ray at a few values of $x$ through the two standard specular reflections. If any outgoing ray is not exactly vertical downward (up to numerical error), the reversed-periscope formula is wrong. The same test with the spherical formulas and $f(\\theta)=\\varepsilon\\cos\\theta$ checks the spherical theorem.","tokens_in":4976,"feed_emoji":"🔭","tokens_out":9912,"duration_ms":92607,"temperature":0.7,"pith_summary":"The paper studies two-mirror optical systems in n-dimensional space: a spherical periscope sends rays from a fixed point back to the same point, and a reversed periscope sends rays of one fixed direction to the opposite direction. It proves that in both cases the induced map on the wave front is projectively gradient, meaning its tangent displacement field is proportional to a gradient. It also writes the second mirror and the induced spherical distance or horizontal shift explicitly in terms of the first mirror's defining function and one positive constant. If true, this says that two mirrors impose a rigid, low-dimensional structure on the maps they can realize, and it gives a concrete formula for building the second mirror once the first is chosen.","feed_headline":"Periscope theorem extended: second mirror follows from first","feed_subtitle":"Spherical and reversed periscopes: one function plus a constant decides the whole map.","key_machinery":"The central mechanism is representing each mirror as a smooth graph over the reference front: $P(x)=e^{f(x)}x$ in the spherical case and $P(x)=(x,f(x))$ in the reversed case. At the support point the mirror normal is $x-\\nabla f(x)$ (respectively $(-\\nabla f,1)$), and the incoming ray, outgoing ray, the segment joining the two mirror points, and both normals all lie in one plane. Coplanarity makes the projected normal point along the geodesic, and the sine rule together with the constancy of optical path length yields the displayed algebraic identities. A projectively gradient vector field is one proportional to a gradient; the coplanarity plus proportionality is what produces that condition on the induced map.","core_discovery":"For a spherical periscope, parameterizing the mirrors by radial functions $P(x)=e^{f(x)}x$ and $Q(y)=e^{g(y)}y$ on the unit sphere, the paper proves that the unit tangent vector $V_T(x)$ along the shortest geodesic from $x$ to $T(x)$ is projectively gradient (Theorem 1). It then derives (Theorem 2) explicit formulas: $e^g = \\frac{e^{2f}-2Ce^f+C^2(1+|\\nabla f|^2)}{C(1+|\\nabla f|^2)-e^f}$ and $d(x,y)=\\pi-2\\arcsin\\left(\\frac{C|\\nabla f|}{\\sqrt{e^{2f}-2Ce^f+C^2(1+|\\nabla f|^2)}}\\right)$. For a reversed periscope, with mirrors given as graphs $z=f(x)$ and $z=g(y)$ over $\\mathbb{R}^{n-1}$, it proves (Theorem 3) that $g = f - \\frac{C(1-|\\nabla f|^2)}{|\\nabla f|^2}$ and $T(x) = x + \\frac{2(C-f(x))}{|\\nabla f(x)|^2}\\nabla f(x)$, so the displacement field $U(x)=T(x)-x$ is again projectively gradient. The constant $C$ is the half optical path length, fixed by the condition that the optical path between the two wave fronts is the same for all rays.","pith_inferences":["Editorial: The formulas can be read backward as a construction recipe: choose any smooth $f$ with $|\\nabla f|<1$ and $C>\\sup f$, define $g$ by the reversed-periscope formula, and the two graphs should form a reversed periscope. The paper proves the identities for an existing periscope but does not explicitly state this sufficiency claim.","Editorial: In the spherical case, inverting the distance formula would turn the statement into a classification: the realizable maps are exactly those whose geodesic displacement is projectively gradient and whose associated constant matches the optical path length. That converse is left implicit.","Editorial: Because the reversed-periscope map has the form $x+h(x)\\nabla f(x)$, it sits next to gradient-flow and optimal-transport maps of the same shape; the reflection law may offer a geometric way to realize such maps with two mirrors."],"forward_implications":["The second mirror is not an independent choice: after the first mirror is selected, the second mirror's function is forced up to the constant $C$.","Any local map realized by a two-mirror spherical periscope must have a projective-gradient geodesic displacement, which is a restrictive, checkable signature.","In the reversed case the same conclusion holds for the horizontal displacement, and the geometry forces $|\\nabla f|<1$: the first mirror must be flatter than 45 degrees whenever the outgoing rays point exactly opposite the incoming ones.","The two formulas give an explicit one-functional-parameter family of two-mirror systems, matching the dimension count in the introduction that a system of two mirrors depends on one function of $n-1$ variables."],"supporting_citations":[{"why":"state the periscope theorem for parallel rays, the result this paper extends to spherical and reversed periscopes.","marker":"[2, 8, 10]"},{"why":"gives the classical converse construction: from two wave fronts one obtains a one-parameter family of reflecting mirrors, justifying the two-mirror setup.","marker":"[6]"},{"why":"frames the open mirror-count problem that makes the one-functional-parameter two-mirror case worth isolating.","marker":"[4]"}],"fun_headline_variants":["Periscope theorem: explicit formulas tie both mirrors","One function sets both mirrors in periscope theorem","Spherical and reversed periscopes: mirror from gradient","Periscope theorem: second mirror follows from first function","Explicit periscope maps: radial functions determine all"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The derivation assumes each mirror is a smooth single-valued graph over the reference wave front (radial coordinate on the sphere, or height over a plane); any periscope requiring a vertical tangent or a fold is outside the formulas.","fun_headline_variants_meta":{"raw":{"variants":["Periscope theorem: explicit formulas tie both mirrors","One function sets both mirrors in periscope theorem","Spherical and reversed periscopes: mirror from gradient","Periscope theorem: second mirror follows from first function","Explicit periscope maps: radial functions determine all"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000191,"raw_usage":{"total_tokens":1333,"prompt_tokens":927,"completion_tokens":406,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":543,"completion_tokens_details":{"reasoning_tokens":341}},"tokens_in":543,"tokens_out":406,"duration_ms":4674,"temperature":1.0,"reasoning_tokens":341,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T11:45:05.831153+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Ray-trace one explicit case numerically: choose, say, $f(x)=\\varepsilon(1-e^{-x^2})$ in $\\mathbb{R}^2$, pick $C>\\max f$, build the second mirror from the reversed-periscope formula, then follow the vertical ray at a few values of $x$ through the two standard specular reflections. If any outgoing ray is not exactly vertical downward (up to numerical error), the reversed-periscope formula is wrong. The same test with the spherical formulas and $f(\\theta)=\\varepsilon\\cos\\theta$ checks the spherical theorem.","supporting_citations":[{"cited_title":"Levi-Civita","cited_arxiv_id":null,"evidence_quote":"gives the classical converse construction: from two wave fronts one obtains a one-parameter family of reflecting mirrors, justifying the two-mirror setup."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"frames the open mirror-count problem that makes the one-functional-parameter two-mirror case worth isolating."}],"review_version":1}