{"id":"d006a3d7-2d81-489a-b900-9d527f3d55cf","arxiv_id":"1908.05242","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A procedure computes the two parabolic surfaces of a singlet lens that keeps on-axis images within the diffraction limit, along with a predicted maximum diameter.","lead":"This paper derives a formula for a one-element lens with two parabolic surfaces that keeps on-axis images inside the diffraction limit. It is a simple, low-cost lens design recipe for applications such as laser focusing and optical links.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Diffraction-limited claim rests on unquantified neglect of sixth-order spherical aberration and a marginal-ray spot criterion that is not a wavefront guarantee.","rationale":"The reader's weakest_assumption identifies the same load-bearing concern: the truncation of the aberration series after the fourth-order coefficient without an error bound. The manuscript itself flags this assumption before Eq. (12) and states in the conclusions that aberration theory for these lenses is an open domain, which strengthens the concern. My reading adds that the diffraction-limited check in Eq. (24) is based on marginal-ray spot height, not an OPD or Strehl criterion, so even the published maximal apertures are not rigorously verified. The OSLO examples provide positive evidence for specific cases, but they do not support the general claim for arbitrary input parameters. No internal inconsistency in Eqs. (14)-(27) was identified, so the paper deserves conditional acceptance rather than rejection. The proposed wavefront-based test for a representative index would settle whether the concern is a genuine counterexample or merely a missing proof.","tokens_in":9149,"tokens_out":7752,"duration_ms":88297,"concrete_test":"Model an n=1.5, ta=-800 mm, tb=12 mm, t=0.6 mm bi-parabolic lens using fa and fb from Eqs. (14) and (21), determine its maximal aperture d by the marginal-ray criterion (24), and compute the on-axis Strehl ratio and RMS wavefront error at that aperture in an independent ray tracer. If Strehl < 0.8 or RMS wavefront error > 0.07 lambda, the claimed diffraction-limited condition and maximal diameter are not reliable at a representative index.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is that two pure paraboloids, with focal distances fa from Eq. (14) and fb from Eq. (21), are diffraction-limited and have a maximal aperture from Eq. (24). The design step explicitly sets only the fourth-order coefficient A4 to zero and then assumes that 'coefficients equal or higher than 6th degree do not have a significant impact' (text before Eq. (12)). No bound, estimate, or asymptotic argument is provided for the residual sixth- and higher-order spherical aberration. The only displayed validation is one OSLO example at n=1.76 and one reduced-aperture example at n=1.4875; the paper itself concludes that 'Aberrations theory for this kind of bi-parabolic lenses is an open domain.' In addition, inequality (24) compares a marginal-ray geometric height on the image plane with the Airy radius; this is a commonly used but not rigorous wavefront-based criterion. A lens can have a marginal ray inside the Airy disk while having RMS wavefront error above 0.07 lambda due to unbalanced higher-order terms. Thus the selected surfaces may not be the optimum bi-parabolic pair, and the claimed maximal diameter may be optimistic. The approach is plausible and the OSLO example is genuine evidence for one configuration, but the general diffraction-limited claim is not established by the present analysis.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript presents an analytical design method for a singlet lens whose two surfaces are paraboloids, claiming that the on-axis image is diffraction limited. The inputs are the object distance ta, image distance tb, central thickness t, and relative refractive index n. The anterior focal distance fa is obtained as a root of the quartic Eq. (14) through the factorization in Eqs. (16)-(20), and the posterior focal distance fb is then given by Eq. (21). The maximum aperture that preserves the diffraction-limited condition is determined by tracing the marginal ray and applying inequality (24). The method is demonstrated with an OSLO-validated example at n=1.76 with a 5 mm diameter, and with a reduced-aperture example at n=1.4875.","tokens_in":9422,"tokens_out":3737,"duration_ms":38743,"significance":"If the claimed generality holds, the method would be a useful closed-form starting point for inexpensive aspheric singlets, since parabolic surfaces have simple mathematical representations and are feasible to manufacture by diamond turning. The paper provides explicit formulas, a Mathematica implementation, and OSLO listings, which makes the calculation reproducible. The analytic quartic construction is a genuine step beyond purely numerical aspheric optimization. However, the central diffraction-limited claim is presently supported by one successful configuration and one reduced-aperture configuration, while the paper itself states that the aberration theory for these lenses is an open domain; the general claim thus needs additional evidence before it can be accepted at face value.","major_comments":[{"comment":"The design step sets only the fourth-order coefficient A4 to zero and assumes that coefficients of degree six and higher do not have a significant impact, but no error bound, asymptotic estimate, or numerical check is provided for the residual sixth- and higher-order spherical aberration. Since Eqs. (10)-(11) retain only parabolic terms, the diffraction-limited claim requires the wavefront error from all neglected terms to be small, not merely that A4 vanishes. Please provide a quantitative estimate of the residual aberration or a systematic ray-tracing check over the claimed input-parameter range.","section":"Before Eq. (12), Section 2"},{"comment":"The diffraction criterion in inequality (24) compares the marginal-ray height on the image plane with the Airy radius. This is not a sufficient wavefront-based criterion: a marginal ray can lie inside the Airy disk while the RMS wavefront error exceeds one quarter wave, or the Strehl ratio is poor, because intermediate-zone rays can be more aberrated than the marginal ray. The maximum-aperture condition should be restated in terms of RMS wavefront error, Strehl ratio, or encircled energy, or it should be validated in the examples by computing the point-spread function.","section":"Inequality (24), Section 3"},{"comment":"The text states that the maximum aperture diameter is determined using Eq. (23), but Eq. (23) is Gullstrand's lens formula and contains no aperture information; the intended inequality is presumably Eq. (24). This inconsistency must be corrected because step iv is part of the reproducible recipe. In addition, the selection of the physical root of the quartic Eq. (14) is not specified: the text says both real solutions may be optically valid, but the Mathematica code arbitrarily chooses the fourth solution ([[4]]); please state the physical criterion for choosing between the real roots.","section":"Section 4, step iv"},{"comment":"The validation evidence is limited to one successful design (n=1.76, d=5 mm) with the spot inside the Airy disk, and one lower-index design that only reaches the diffraction limit after reducing the aperture from 5 mm to 4.2 mm. No RMS wavefront error, Strehl ratio, or parameter sweep is reported, so the general claim that Eq. (24) yields the maximal diffraction-limited diameter is not established beyond the single showcased configuration.","section":"Section 4 and Figure 2"}],"minor_comments":[{"comment":"The displayed inequality (24) is malformed in the text, making the intended criterion ambiguous; please typeset it cleanly, e.g., h(d/2) <= 1.22 lambda F/d.","section":"Equation (24)"},{"comment":"The assertion that the deformation series 'converges very fast' is a mathematical claim that appears without a convergence argument or numerical demonstration; please provide a bound or a representative convergence table.","section":"Before Eq. (12), Section 2"},{"comment":"The statement that coma aberrations are 'generally lower than coma in spherical lenses' is made without a formal comparison or a definition of the reference spherical lens; please add quantitative support or soften the claim.","section":"Section 5"},{"comment":"The OSLO listing includes a TCE value of 236 for the glass even though it is not used in the design; consider removing the unused parameter or explaining its presence.","section":"Section 4, OSLO report"},{"comment":"The term 'geometrical focal distance' is used for fa and fb but is never defined; please clarify that it is the focal parameter of the parabola (Ra = 2 fa).","section":"Equations (1)-(2), (10)"}],"recommendation":"major_revision","confidential_remarks":"The derivation relies heavily on the authors' own earlier publications, references [10] and [13], for the definitions of A2j and B2j; the present manuscript does not independently re-derive those results. Given that the diffraction-limited claim depends on the accuracy of those formulas, an independent derivation or a supplementary derivation appendix would strengthen the manuscript. Furthermore, the title claims a diffraction-limited design while the text concludes that the aberration theory for these lenses is an open domain; either the validation should be broadened or the claim should be tempered to match the evidence."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this is a decent, small paper that does exactly what it says. It takes the known aberration-free bi-aspheric singlet formulas, specializes both surfaces to paraboloids (K = -1, no deformation terms), and solves for the focal distances by forcing the fourth-order coefficient to zero. The OSLO example at n = 1.76 shows a spot inside the Airy disk, and the second example, where the aperture has to be reduced for PMMA, is an honest and informative counterpoint.\n\nWhat is actually new is the quartic for fa (Eq. 14), the simplicity of the resulting surfaces, and the aperture condition (Eq. 24). The derivation is algebraically heavy but self-contained once you accept the prior formulas, and the paper does not hide the reliance on [10,13]. Self-citation here is not a smell; the earlier results are published and the specialization is real.\n\nThe soft spots are the ones you flagged. The step before Eq. (12) simply asserts that sixth-order and higher coefficients don't matter. No bound, no estimate, no asymptotic argument. For a lens that is meant to be diffraction-limited, that is exactly where the rigor goes missing. Also, inequality (24) checks that the marginal ray lands inside the Airy radius; that is a standard engineering heuristic, but it is not a wavefront or Strehl criterion. A system can pass that test and still have more than 0.07 lambda RMS wavefront error if higher-order terms are unbalanced. So the phrase \"diffraction-limited bi-parabolic lens\" should be read as \"diffraction-limited according to the geometric-spot criterion, for the examples shown.\" The authors themselves say aberration theory for these lenses is open, so they are not overselling.\n\nIs the central argument sound? Yes, in the sense that the method produces the equations and the OSLO ray trace confirms a good on-axis image for one configuration. The burden is on any user to check the higher-order residuals at the aperture they actually need. That is normal practice in lens design, and it does not make the paper wrong.\n\nWho should read it: optical engineers working on cheap singlets, laser focusing, visible-light communication, anyone who wants a closed-form starting point instead of a global optimization. It is not a fundamental advance, but it is a useful recipe.\n\nVerdict: worth a serious referee. I would send it to review and ask for two things: a quantitative statement about neglected higher-order coefficients (even a numerical scan), and a caveat that the diffraction-limited claim is demonstrated for the worked cases, not proven in general.","headline":"A useful closed-form specialization of bi-aspheric singlet design to pure paraboloids, with a real OSLO example, but the diffraction-limited claim rests on an unquantified higher-order aberration assumption.","tokens_in":9906,"tokens_out":2497,"would_cite":false,"duration_ms":24205,"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":"A singlet lens whose two faces are both paraboloids can be diffraction-limited on axis, and the paper gives the closed-form design equations.","keywords":["Aspheric lenses","parabolic surfaces","bi-aspherics","optical design","diffraction-limited","spherical aberration","singlet lens","quartic equation"],"falsifier":"Design a bi-parabolic lens from Eqs. (14) and (21), then ray-trace the exact surfaces while including a numerically computed sixth-order deformation coefficient $B_6$; if the on-axis spot grows beyond the Airy radius $1.22\\lambda F$, or the wavefront error exceeds $\\lambda/4$, the claimed maximum aperture is not genuine.","tokens_in":8986,"feed_emoji":"🔍","tokens_out":10058,"duration_ms":89428,"temperature":0.7,"pith_summary":"This paper claims that a single optical lens with two parabolic surfaces, immersed in one medium, can form a diffraction-limited image on axis without any spherical or general aspheric surfaces. It provides a closed-form recipe: given the object distance, image distance, central thickness, and refractive index, one solves a quartic equation for the front focal distance $f_a$, then a simple expression gives the back focal distance $f_b$, fixing both surfaces as paraboloids. The practical payoff is that parabolic surfaces are far simpler to represent and manufacture than general aspherics, so a cheap singlet may reach diffraction-limited performance. The paper also states a condition that fixes the largest aperture for which the image remains diffraction limited, and demonstrates the recipe on a numerical example.","feed_headline":"Two parabolic surfaces alone can make a diffraction-limited singlet lens","feed_subtitle":"Given object and image distances, thickness, and refractive index, the two parabolic faces are fixed exactly.","key_machinery":"The load-bearing identity is the condition $A_4 = -c_b^3 R_4/6 + Z_4/24 = 0$, which sets the fourth-order deformation coefficient of the back surface to zero. The back surface is first represented as a general correcting asphere with conic constant $K_b$ and deformation coefficients $B_{2j}$; forcing it to be a paraboloid means setting $K_b=-1$ and all $B_{2j}=0$. Implicit differentiation of the parametric ray mapping gives $A_4$ as a function of $f_a$, and solving the resulting quartic Eq. (14) selects the front focal distance. The argument that this suffices is that the deformation series converges very fast, so terms of degree six and higher can be neglected. Once $f_a$ is known, Eq. (21) fixes $f_b$, and the two focal distances determine the curvature radii through $R_a=2f_a$ and $R_b=2f_b$.","core_discovery":"The central discovery is that the fourth-order spherical aberration of a lens with one parabolic surface can be cancelled by choosing the second parabolic surface's focal distance, and that this cancellation is enough to bring the on-axis image inside the diffraction limit. The front surface is a paraboloid with focal distance $f_a$; the back surface is written as a conic with $K=-1$ together with deformation coefficients, and the design demands that the fourth-order coefficient $A_4$ vanish. That condition becomes a quartic equation for $f_a$, whose two real roots correspond to positive- and negative-magnification solutions, and Eq. (21) then gives $f_b$. A worked design with $n=1.76$, $t_a=-800$ mm, $t=0.6$ mm, $t_b=12$ mm, and diameter 5 mm gives $f_a=5.0973$ mm and $f_b=-46.594$ mm, with the marginal ray staying inside $1.22\\lambda F$.","pith_inferences":["The paper never quantifies the omitted sixth- and eighth-order terms; computing $B_6$ and $B_8$ for the worked examples would show whether higher-order spherical aberration, rather than the aperture condition, is the true limit at $F/2.46$.","The same fitting condition could be applied to base conics other than $K=-1$, generating a larger family of two-conic singlet designs in which the paraboloid is the simplest member.","Since the aperture check is on-axis only, the recipe says nothing about field-dependent aberrations; a field-angle extension would be needed before the design is used for extended-object imaging.","If all lengths are scaled by a common factor, the paraboloid shapes scale linearly and the $F/\\#$ limit should be unchanged, so the design recipe should transfer directly between miniature and larger-format lenses."],"forward_implications":["Given the four input parameters, a bi-parabolic singlet is completely determined without numerical optimization; changing the material or the conjugate planes requires recomputing $f_a$ and $f_b$.","The maximum aperture is set by $h(d/2)\\le 1.22\\lambda F$, and lowering the refractive index shrinks that aperture, as the paper's second example shows by requiring $d=4.2$ mm instead of 5 mm.","The two real roots of the quartic provide two optically valid solutions for any transparent material, one with positive and one with negative magnification.","Because both surfaces are exact paraboloids, the lens prescription reduces to two conic constants $K=-1$ with no deformation coefficients, simplifying both fabrication and ray-trace modeling.","The paper also states that coma in these lenses is generally lower than coma in spherical lenses, while field curvature and astigmatism may grow depending on the application."],"supporting_citations":[{"why":"Supplies the vertex curvature formula for a back correcting surface that removes spherical aberration from a parabolic front surface.","marker":"[10]"},{"why":"Provides the parametric correcting-surface representation and simplified sign conventions used to set up the ray-mapping equations.","marker":"[11]"},{"why":"Demonstrates a prior bi-parabolic catadioptric lens, the earlier all-parabolic design that this work extends to the refractive diffraction-limited case.","marker":"[12]"},{"why":"Contains the general formulas for the deformation coefficients $A_{2j}$ and $B_{2j}$, which the paper specializes to the paraboloid by setting $K_b=-1$.","marker":"[13]"},{"why":"Defines the conic constant representation that lets the paper write both parabolic surfaces as $K=-1$ aspherics.","marker":"[14]"}],"fun_headline_variants":["Bi-parabolic singlet lens cancels spherical aberration analytically","Diffraction-limited lens from just two parabolic surfaces","Analytic design for diffraction-limited bi-parabolic singlet","Two parabolas null spherical aberration to diffraction limit","Bi-parabolic singlet: exact aberration cancellation for sharp focus"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The design works only if ignoring all aberration terms of sixth order and higher leaves the image inside the diffraction limit, and the paper gives no calculation showing that this is true at the claimed maximum apertures.","fun_headline_variants_meta":{"raw":{"variants":["Bi-parabolic singlet lens cancels spherical aberration analytically","Diffraction-limited lens from just two parabolic surfaces","Analytic design for diffraction-limited bi-parabolic singlet","Two parabolas null spherical aberration to diffraction limit","Bi-parabolic singlet: exact aberration cancellation for sharp focus"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000803,"raw_usage":{"total_tokens":3468,"prompt_tokens":825,"completion_tokens":2643,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":441,"completion_tokens_details":{"reasoning_tokens":2564}},"tokens_in":441,"tokens_out":2643,"duration_ms":18843,"temperature":1.0,"reasoning_tokens":2564,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:19:35.371898+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Design a bi-parabolic lens from Eqs. (14) and (21), then ray-trace the exact surfaces while including a numerically computed sixth-order deformation coefficient $B_6$; if the on-axis spot grows beyond the Airy radius $1.22\\lambda F$, or the wavefront error exceeds $\\lambda/4$, the claimed maximum aperture is not genuine.","supporting_citations":[{"cited_title":"General formula for bi-aspheric singlet lens design free of spherical aberration","cited_arxiv_id":null,"evidence_quote":"Provides the parametric correcting-surface representation and simplified sign conventions used to set up the ray-mapping equations."},{"cited_title":"Singlet lenses free of all orders of spherical aberration","cited_arxiv_id":null,"evidence_quote":"Contains the general formulas for the deformation coefficients $A_{2j}$ and $B_{2j}$, which the paper specializes to the paraboloid by setting $K_b=-1$."},{"cited_title":"Untersuchungen zur geometrischen Optik: Einleitung in die Fehlertheorie optischer Instrumente auf Grund des Eikonalbegriffs. I, Druck der Dieterich’schen","cited_arxiv_id":null,"evidence_quote":"Defines the conic constant representation that lets the paper write both parabolic surfaces as $K=-1$ aspherics."}],"review_version":1}