{"id":"94e355ca-b72b-4e6d-a13b-fc7be9067355","arxiv_id":"2606.12722","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"For rational angles θ = pπ/q the wedge Cauchy operator factors exactly into 2q interval Cauchy operators via the map ζ^q on weighted conormal Hölder spaces, yielding a mode-by-mode propagation rule for polyhomogeneous endpoint expansions.","lead":"The paper establishes an exact finite-sheeted factorization for the Cauchy singular integral operator on planar wedges with rational opening angles via a power-map covering, reducing it to interval operators with explicit coefficients. Smart generalists might read it to understand tools for analyzing singularities and endpoint behavior in integral operators on non-smooth domains.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's weakest_assumption correctly flags the lifting operator on the chosen spaces, but the abstract presents this as a proved statement rather than an unverified hypothesis. Because the provided summary contains no contradictory detail or unstated compatibility condition that would invalidate the factorization or the mode-by-mode rule, the load-bearing concern does not materialize.","tokens_in":1678,"tokens_out":285,"duration_ms":15278,"concrete_test":"For the model case θ=π/2 (q=2), explicitly compute the four algebraic recombination coefficients from the covering w=ζ² and verify that the resulting operator identity holds on a test function in the weighted conormal Hölder space with the predicted norm bound.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is an explicit algebraic factorization of the wedge Cauchy operator via the q-sheeted covering map, together with a Mellin-derived propagation rule for polyhomogeneous expansions on the chosen function spaces. The abstract states that the lifting operator is proved to preserve conormal order, reduce the Hölder exponent by exactly the factor q, and attain sharp ℓ¹ sheet norm q; the recombination coefficients are asserted to be algebraic and explicit. No internal inconsistency, hidden assumption on the weights, or mismatch between the covering geometry and the claimed interval operators is visible in the stated results.","agreement_with_reader":"disagree"},"referee_report":{"model":"grok-4.3","summary":"The paper studies Cauchy singular integral operators on planar wedges with opening angle θ = pπ/q. It establishes that the q-sheeted covering w = ζ^q yields an exact factorization of the wedge Cauchy transform into 2q interval Cauchy transforms with explicit algebraic recombination coefficients, formulated on weighted conormal Hölder spaces. The lifting operator is proved to preserve conormal order, reduce the Hölder exponent from β to β/q, and attain sharp ℓ¹ sheet norm q. Combining the factorization with a Mellin model for interval operators produces a mode-by-mode propagation rule for polyhomogeneous endpoint expansions (nonresonant powers preserve logarithmic order; integer exponents raise it by one) and a local singular decomposition for Cauchy operators on piecewise analytic curves with rational corners.","tokens_in":1795,"tokens_out":470,"duration_ms":15542,"significance":"If the factorization, lifting properties, and propagation rule are rigorously established, the work supplies an explicit algebraic reduction of wedge operators to interval operators together with sharp norm bounds and a concrete Mellin-based expansion rule. These features would be useful for boundary-integral analysis on polygonal domains and for tracking polyhomogeneous asymptotics at rational corners. The parameter-free character of the recombination coefficients and the sharp ℓ¹ norm are particular strengths.","major_comments":[],"minor_comments":[{"comment":"The abstract and introduction state the function spaces only as 'weighted conormal Hölder spaces' without listing the precise weight and Hölder parameters; a short paragraph or table in §1 defining the spaces (including the range of admissible weights) would make the lifting theorem easier to locate.","section":null},{"comment":"The recombination coefficients are asserted to be algebraic and explicit, yet no displayed formula or small-q example (e.g., q=2 or q=3) appears in the abstract or early sections; inserting the explicit matrix or coefficient list for one or two values of q would aid verification.","section":null},{"comment":"The propagation rule is described for 'nonresonant powers' and 'integer exponents,' but the precise definition of resonance (in terms of the Mellin symbol or the angle) is not recalled in the abstract; a one-sentence reminder would clarify the statement.","section":null}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the positive evaluation, the clear summary of the main results on the finite-sheeted factorization and the polyhomogeneous propagation rule, and the recommendation of minor revision. No specific major comments appear in the report.","responses":[],"tokens_in":1237,"tokens_out":65,"duration_ms":11238,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The core contribution is the finite-sheeted factorization: for angle pπ/q the map w=ζ^q converts the wedge Cauchy transform into 2q interval Cauchy transforms with explicit algebraic recombination coefficients, all on weighted conormal Hölder spaces. They prove the lifting preserves conormal order, reduces the Hölder exponent by exactly q, and achieves sharp ℓ¹ sheet norm q. Pairing this with a Mellin model then yields a mode-by-mode propagation rule for polyhomogeneous expansions—nonresonant powers keep their logarithmic order while integer exponents increase it by one. The same setup supplies a local singular decomposition for Cauchy operators on piecewise analytic curves with rational corners.\n\nThis is concrete and explicit, which is the main strength. The coefficients are algebraic rather than abstract, and the propagation rule is stated mode-by-mode, so a reader can actually compute the effect on expansions. The stress-test finds no internal inconsistency between the covering geometry and the claimed interval operators or between the lifting properties and the function spaces.\n\nThe obvious limitation is the restriction to rational multiples of π; the result does not address irrational angles. The spaces are tailored to make the lifting work, which narrows the immediate applicability. Since the full proofs are not visible here, one cannot yet check the details of the recombination or the Mellin analysis, but nothing in the stated claims looks circular or post-hoc.\n\nThe paper is for people working on singular integrals and boundary-value problems on domains with corners. A reader already in that subfield will find a usable local model. It deserves peer review because the claims are specific enough to be checked and the explicit factorization is the sort of thing that can be verified or used directly.","headline":"This paper gives an explicit algebraic factorization of the wedge Cauchy operator into interval ones via a q-sheeted cover when the angle is rational, plus a Mellin-derived rule for endpoint expansions.","tokens_in":2244,"tokens_out":423,"would_cite":false,"duration_ms":12181,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"For rational wedge angles pπ/q, a q-sheeted covering factors the Cauchy operator into 2q interval transforms with explicit coefficients.","keywords":["Cauchy singular integral operators","rational wedge angles","finite-sheeted factorization","conormal Hölder spaces","polyhomogeneous expansions","Mellin model","covering maps","corner singularities"],"falsifier":"Apply the lifting operator to a concrete test function in the β-Hölder space for q=2 and measure whether its ℓ¹ sheet norm equals exactly 2, or check whether an integer-power mode in a polyhomogeneous expansion increases its logarithmic order by one after the operator is applied.","tokens_in":2575,"feed_emoji":"📐","tokens_out":829,"duration_ms":22378,"temperature":0.7,"pith_summary":"The paper establishes that when a planar wedge has opening angle a rational multiple of π, specifically θ = pπ/q, the covering map w = ζ^q produces an exact factorization of the wedge Cauchy transform into 2q ordinary interval Cauchy transforms. The factorization lives on weighted conormal Hölder spaces, where the induced lifting operator keeps conormal regularity but multiplies the sheet norm by q and divides the Hölder exponent by q. Combining the factorization with a Mellin model then supplies a precise rule for how the operator acts on polyhomogeneous expansions at the endpoint: nonresonant powers keep their logarithmic order while integer powers increase it by one. A reader would care because the construction supplies an algebraic reduction for singular integral operators at corners that appear on polygons and other piecewise analytic curves.","feed_headline":"Covering map factors Cauchy operator at rational corners into 2q pieces","feed_subtitle":"For angle pπ/q the q-sheeted lift reduces the wedge transform to interval operators and gives explicit rules for endpoint expansion orders.","key_machinery":"The q-sheeted covering map w = ζ^q that induces a lifting operator between the wedge and the line, producing the explicit factorization of the wedge Cauchy transform into interval Cauchy transforms.","core_discovery":"For θ = pπ/q the covering w=ζ^q yields an exact finite-sheeted factorization of the wedge Cauchy transform into 2q interval Cauchy transforms with explicit algebraic recombination coefficients, formulated on weighted conormal Hölder spaces. The lifting operator preserves conormal order, lowers the Hölder exponent from β to β/q, and has sharp ℓ¹ sheet norm q. Combining this operator factorization with a Mellin model for interval Cauchy transforms, we derive a mode-by-mode propagation rule for polyhomogeneous endpoint expansions. Nonresonant powers preserve their logarithmic order, while integer exponents raise it by one. The results also give a local singular decomposition for Cauchy operator","pith_inferences":["The explicit factorization supplies a route to compute the Fredholm index of the wedge operator from the known indices of the interval operators.","The mode-by-mode propagation rule can be checked numerically by feeding sample polyhomogeneous functions into a discretized Cauchy operator and inspecting the output expansion.","The same covering technique may serve as a template for reducing other singular integral operators at rational corners to simpler model problems."],"forward_implications":["The wedge Cauchy transform reduces exactly to 2q interval Cauchy transforms linked by algebraic recombination coefficients.","The lifting operator on the chosen spaces has sharp ℓ¹ sheet norm q.","Nonresonant powers in endpoint expansions keep their logarithmic order under the operator.","Integer exponents in endpoint expansions raise their logarithmic order by one under the operator.","A local singular decomposition exists for the Cauchy operator on any piecewise analytic curve whose corner angles are rational multiples of π."],"fun_headline_variants":["Covering map factors wedge Cauchy into 2q interval operators","Rational corners allow exact 2q-sheeted Cauchy operator factorization","q-power covering reduces wedge Cauchy to 2q interval transforms","Finite sheeted lift preserves conormal order in rational angle Cauchy ops","Algebraic covering splits wedge Cauchy into 2q explicit interval factors"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The weighted conormal Hölder spaces are chosen so that the lifting operator induced by the covering map preserves conormal order while lowering the Hölder exponent exactly by the factor q.","fun_headline_variants_meta":{"raw":{"variants":["Covering map factors wedge Cauchy into 2q interval operators","Rational corners allow exact 2q-sheeted Cauchy operator factorization","q-power covering reduces wedge Cauchy to 2q interval transforms","Finite sheeted lift preserves conormal order in rational angle Cauchy ops","Algebraic covering splits wedge Cauchy into 2q explicit interval factors"]},"model":"grok-4.3","cost_usd":0.009285,"raw_usage":{"total_tokens":4152,"prompt_tokens":661,"num_sources_used":0,"completion_tokens":78,"cost_in_usd_ticks":92849500,"prompt_tokens_details":{"text_tokens":661,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":3413,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":661,"tokens_out":78,"duration_ms":19757,"temperature":1.0,"reasoning_tokens":3413,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-27T07:54:39.954532+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"Apply the lifting operator to a concrete test function in the β-Hölder space for q=2 and measure whether its ℓ¹ sheet norm equals exactly 2, or check whether an integer-power mode in a polyhomogeneous expansion increases its logarithmic order by one after the operator is applied.","supporting_citations":[],"review_version":1}