{"id":"4097db10-a5a3-4b78-89a1-8511750e3ccc","arxiv_id":"2607.14364","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Correspondences are constructed that mate pairs of rational maps with free products of cyclic groups, and factor as compositions of two deleted covering correspondences.","lead":"Mathematicians constructed new \"mating\" objects that glue together a pair of rational maps and a symmetry group made of two cyclic groups. The construction reportedly yields the first such hybrids that are not symmetric under time reversal.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem D's factorization F = Cov_Q^0 ∘ Cov_P^0 relies on unproved holomorphicity of the quasiconformal gluing maps φ± on the tiles; conjugating a Möbius map by a quasiconformal map need not be holomorphic.","rationale":"We agree with the reader: the weakest assumption is the holomorphicity of the maps used in Theorem D. We checked the surrounding text: Lemma 4.2 only supplies quasiconformal maps, and Theorem C's Beltrami straightening does not imply the needed conformality on the tiles. Thus the proof of Theorem D has a genuine gap. We do not think this overturns the central existence results (Theorems A and C) or the parabolic factorization (Theorem B), so the appropriate verdict remains conditional on a fix. We also note two smaller issues: the statement of Theorem D in the text says C_p ∗ C_q instead of C_{p+1} ∗ C_{q+1} (a likely typo), and the abstract's 'first non-time-reversible' claim is asserted without proof; these are secondary to the holomorphicity gap.","tokens_in":20819,"tokens_out":17338,"duration_ms":162920,"concrete_test":"Compute the Beltrami coefficient of the map P defined in Theorem D on one tile, e.g. φ−(ρ^{-1}(Aε∩Δρε)), using the quasiconformal dilatation of φ− and the Beltrami form μ from Theorem C. Specifically, express μ_P on the tile in terms of μ_{φ−}; if μ_P is not identically zero, the holomorphicity assertion is false and Theorem D's proof fails as written. Equivalently, for a concrete p=q=2 example, construct the presumed P and Q from the displayed formulas and independently test whether F = Cov_Q^0∘Cov_P^0 holds; failure on a generic example would confirm the gap.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The weak point is §4.3, Proof of Theorem D. The maps φ−:A→U\\U′ and φ+:B→V\\V′ are introduced as quasiconformal maps conjugating boundary actions; they come from Lemma 4.2, which only guarantees quasiconformal extensions of boundary diffeomorphisms. On the tiles φ−(ρ^{-m}(Aε∩Δρε)) the proof defines P(z)=φ−∘ρ_ε^m∘φ−^{-1}(z) and asserts this is holomorphic 'since φ− conjugates the action of ρε to a holomorphic map on Ĉ.' That does not follow: a quasiconformal conjugate of a Möbius transformation is quasiconformal, not holomorphic in general. In Theorem B the analogous construction worked because the mating gave a conformal conjugacy φ on the regular set Ω; in Theorem C/D there is only a grand-orbit equivalence on Ω, and the Beltrami straightening Φ makes F holomorphic but does not make φ− (or Φ∘φ) conformal on these tiles in the final coordinate. The paper supplies no argument that the Beltrami coefficient of P vanishes on the tiles, so the factorization for non-parabolic orbit matings is not proved. This is a real, localizable gap rather than a disagreement with consensus.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper constructs algebraic correspondences on the Riemann sphere that mate a pair of rational maps (f,g), each with a parabolic fixed point, with the Fuchsian group Γ_{p,q} isomorphic to C_{p+1}*C_{q+1}. The main parabolic result (Theorem A) produces a holomorphic correspondence of bidegree (pq,pq) under the hypothesis that g∘f belongs to Per^{pq}_1(1) and has connected filled Julia set. Theorem B represents such a correspondence as the composition of two deleted covering correspondences of rational maps conjugate to polynomials. Theorems C and D extend these constructions to polynomial pairs and to non-parabolic faithful discrete Kleinian representations with totally disconnected limit set, using the weaker notion of \"orbit mating.\" The paper also claims that these are the first matings that are not time-reversible.","tokens_in":21169,"tokens_out":12846,"duration_ms":119821,"significance":"If the main theorems are correct, this is a substantial extension of mating theory: instead of mating a single map with a group, the paper mates a pair of maps with a free product of finite cyclic groups. The construction is explicit and uses a combination of pinched polynomial-like restrictions, group-combinatorial gluing, and quasiconformal/Beltrami surgery. The parabolic part (Theorems A and B) is detailed and draws on established techniques, and the algebraic correspondence framework is appropriate. The claimed factorizations into deleted covering correspondences are of independent interest, and the potential non-reversibility of the new correspondences would be a notable novelty. However, the proof of Theorem D contains a load-bearing gap, and a headline claim in the abstract is not proved.","major_comments":[{"comment":"The factorization F = Cov_Q^0 ∘ Cov_P^0 is not established. The map P is declared to be holomorphic on the tiles φ_-(ρ^{-m}(A_ε∩Δ_ρ)) because \"φ_- conjugates the action of ρ_ε to a holomorphic map on Ĉ.\" This does not follow. Lemma 4.2 supplies only quasiconformal extensions φ_-, φ_+ of boundary diffeomorphisms, and a quasiconformal conjugate of a Möbius transformation need not be holomorphic. The Beltrami straightening in Theorem C makes the global correspondence F holomorphic, but it does not make φ_- or φ_+ conformal on the tiles; their Beltrami coefficients are not shown to vanish. In Theorem B the analogous construction worked because the definition of mating gives a conformal conjugacy on Ω, whereas in Theorem C/D only a grand-orbit equivalence is available. Thus P and Q are not proved to be rational, and Theorem D's central claim is unsupported. The authors need either to prove th","section":"§4.3, Proof of Theorem D"},{"comment":"Both theorem statements say that P and Q have degrees p and q, respectively. The proofs and the abstract require degrees p+1 and q+1. As stated, Cov_P^0 and Cov_Q^0 would have bidegrees (p-1,p-1) and (q-1,q-1), so Cov_Q^0∘Cov_P^0 would have bidegree ((p-1)(q-1),(p-1)(q-1)), not the asserted (pq,pq). This appears to be a typo, since the proof constructs P of degree p+1 and Q of degree q+1, but the statements must be corrected.","section":"Theorems B and D, statements"},{"comment":"The paper advertises that these matings are \"the first examples that are not time-reversible.\" No proof of non-reversibility is supplied. Showing that the construction is not of the form J∘Cov_R^0 does not imply that the correspondence is not conjugate to its own inverse. Either prove non-reversibility for at least the constructed family, or qualify the claim as \"not of the previously known reversible form.\"","section":"Abstract and Introduction"}],"minor_comments":[{"comment":"The group is written as C_p*C_q; it should be C_{p+1}*C_{q+1} to match Theorem C, the abstract, and the rest of the paper.","section":"Theorem D statement"},{"comment":"The proof of the quasiconformal extension lemma is condensed and refers to [9] and [14] for the main method. Since Theorem A depends on it, please expand the cusp-extension argument or give precise references to the exact statements being used.","section":"Lemma 3.2"},{"comment":"In the definition of P on Λ_-, the expression ϕ_+^{-1}∘ f∘ϕ_- is not explained; a sentence clarifying that f sends K(g∘f) to K(f∘g), so the composition lands in Λ_+, would improve readability.","section":"Proof of Theorem B"}],"recommendation":"major_revision","confidential_remarks":"The parabolic part of the paper is substantial and likely publishable after revision. The main obstruction is the gap in the proof of Theorem D; the degree typos and the unsupported non-reversibility claim also need attention. I would not recommend rejection, since the gap appears local and the surrounding framework is sound."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Let me give you the short version: the parabolic half of this paper is a genuine advance, and the construction of pair-matings with free products is new. But Theorem D has a specific unjustified holomorphicity step, and the \"first non-time-reversible\" claim is not proved. The paper is worth refereeing, not desk-rejecting.\n\nThe parabolic construction is the real meat. The idea of mating a pair (f,g) of parabolic maps with C_{p+1}*C_{q+1}, recovering Hecke cases at q=1, and realizing the correspondence as Cov_Q^0 ∘ Cov_P^0, is a genuine broadening of the theory. The surgery in Section 3 is detailed: pinched polynomial-like restrictions, boundary gluing with controlled angles via Pommerenke-Warschawski estimates, an invariant Beltrami form, and straightening. I found the argument plausible, though it relies on the same authors' earlier machinery (Lemma 3.2 defers to [9]); that's normal for a program like this.\n\nThe trouble is in Section 4.3, the proof of Theorem D. The maps P and Q are defined on tiles using φ_- and φ_+, which come from Lemma 4.2 as quasiconformal maps conjugating boundary actions. The text says P is holomorphic on those tiles because \"φ_- conjugates the action of ρ_ε to a holomorphic map on Ĉ.\" That does not follow. A quasiconformal conjugate of a Möbius map is quasiconformal, not generally holomorphic. In Theorem B the analogous construction worked because there was a true conformal conjugacy on Ω; in the non-parabolic orbit mating there is only grand-orbit equivalence, and the Beltrami straightening Φ does not make φ_- conformal on the tiles. So the factorization F = Cov_Q^0 ∘ Cov_P^0 for the non-parabolic case is not established as written. This is a real, localizable gap, not a matter of taste.\n\nThere's a second, smaller issue: the headline claim of \"first examples that are not time-reversible\" is asserted without proof. The construction is not manifestly reversible, but the paper doesn't show F is not conjugate to F^{-1}. That's a missing argument, though it may be easy to supply.\n\nIf the holomorphicity gap is fixable—say, by giving a different argument for conformality on the tiles or by restricting the claim—the paper is a solid contribution. As it stands, Theorem D should be treated as conditional. The parabolic theorems A and B deserve serious attention on their own.\n\nWho is this for? People working on correspondences, matings, and the complex-dynamics/Kleinian-group interface. I'd send it to a referee, but ask them to focus on §4.3 and the reversibility claim. The paper is not close to being ready as is, but it's also not a reject.","headline":"A genuine advance in parabolic pair-matings, but Theorem D has an unproved holomorphicity step and the non-time-reversibility claim is asserted without proof.","tokens_in":21626,"tokens_out":3709,"would_cite":true,"duration_ms":31841,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["37F10","30F40","37F34"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that pairs of parabolic maps can be mated with free products of cyclic groups via algebraic correspondences that, for the first time, are not conjugate to their own inverses.","keywords":["matings","algebraic correspondences","rational maps","free products of cyclic groups","Kleinian groups","quasiconformal surgery","pinched polynomial-like maps","deleted covering correspondences"],"falsifier":"Compute the correspondence F for a specific example (e.g., f(z)=z^2/(z+1/2), g(z)=(2z^2-z-1/2)/(2z+1) from Figure 1) and compare the iterated images of a generic point under F and under F^{-1}; if the closures are the same, time-reversibility would hold, contradicting the paper's claim. Alternatively, verify directly on the tiles φ_-(ρ^{-m}(A_ε∩Δ_ρ)) whether φ_- is conformal; a single tile where the quasiconformal dilatation is nonzero disproves the holomorphicity step in the proof of Theorem D.","tokens_in":20738,"feed_emoji":"🧩","tokens_out":4495,"duration_ms":37859,"temperature":0.7,"pith_summary":"The paper constructs, for any degrees p,q ≥ 2, a holomorphic algebraic correspondence of bidegree (pq,pq) on the Riemann sphere that simultaneously realizes the dynamics of the two compositions g∘f and f∘g and the action of a faithful discrete representation of the free product C_{p+1}*C_{q+1}. The construction works in two settings: parabolic rational maps f,g whose compositions have connected filled Julia set, and arbitrary polynomials with connected filled Julia set mated with Kleinian representations with totally disconnected limit set. In both cases the mating correspondence factors as the composition of two 'deleted covering correspondences' attached to rational maps P,Q that are conjugate to polynomials of degrees p+1 and q+1. The authors' headline claim is that these are the first matings that are not time-reversible: unlike all previously known correspondences of this kind, they are not conjugate to their own inverse.","feed_headline":"First non-time-reversible matings built for map pairs","feed_subtitle":"Two rational maps are welded to a free product of cyclic groups by a correspondence that is not conjugate to its own inverse.","key_machinery":"The pinched polynomial-like map: a branched cover from a pinched polygon onto a polygon, used to localize g∘f and f∘g around their filled Julia sets; and the deleted covering correspondence Cov^0_R of a rational map R, defined by R(w)=R(z), w≠z, which sends each point to the other points in its fiber. The group side is the Fuchsian representation Γ_{p,q} of C_{p+1}*C_{q+1}, whose generators have parabolic composition; its fundamental domain is a hyperbolic triangle. The mating is assembled by quasiconformally interpolating boundary homeomorphisms that conjugate the boundary actions of the group to those of the polynomial-like maps, then applying the Measurable Riemann Mapping Theorem.","core_discovery":"The central discovery is that a mating between a pair of maps (f,g) and the group Γ_{p,q} ≅ C_{p+1}*C_{q+1} can be realized not just by an abstract algebraic correspondence, but concretely as F = Cov^0_Q ∘ Cov^0_P, the composition of the deleted covering correspondences of two rational maps P and Q that are each conjugate to polynomials of degrees p+1 and q+1. This factorization gives the mating an explicit algebraic form and reveals its lack of time-reversibility: reversing F introduces a commutator between the two covering correspondences, rather than landing in the same conjugacy class. The proof glues the pinched polynomial-like restrictions of g∘f and f∘g to the fundamental domains of Γ","pith_inferences":["If the factorization is correct, the non-reversibility should be visible numerically: the correspondence F and its inverse have different grand orbit structures, so iterating F versus F^{-1} should produce different limit sets for generic starting points; a computational check on the examples in Figure 1 would test this directly.","The construction hints at a broader principle: any pair of maps with a common 'pinching' structure and a group with matching orbifold might admit a mating correspondence of the form Cov^0_Q ∘ Cov^0_P, suggesting a systematic recipe for building matings between iterated compositions and free products.","A direct test of the proof's load-bearing step would be to check whether φ_- is conformal on the tiles φ_-(ρ^{-m}(A_ε∩Δ_ρ)); if not, the non-parabolic orbit matings of Theorem D may still exist but require a different factorization argument.","The examples with f=g (Figure 8, left) show that even self-mated pairs can yield non-time-reversible correspondences, implying the phenomenon is not merely an artifact of asymmetry between f and g."],"forward_implications":["Every pair f,g satisfying the hypotheses yields an explicit algebraic correspondence F of bidegree (pq,pq), given in closed form as Cov^0_Q ∘ Cov^0_P.","The filled Julia sets K(g∘f) and K(f∘g) are glued together in the mating, with only the parabolic fixed point identified; the correspondence F|Λ- is hybrid conjugate to g∘f and F^{-1}|Λ+ to f∘g.","Because F is not conjugate to F^{-1}, the standard symmetry argument used to classify previous matings does not apply; new non-reversible dynamical systems are obtained.","For polynomials, the construction extends to all faithful discrete representations of C_{p+1}*C_{q+1} with Cantor limit set, via a Kleinian perturbation of Γ_{p,q} in which all non-elliptic elements are hyperbolic.","The factorization theorem shows that the mating correspondence is determined by the two polynomial-conjugate maps P,Q, so the parameter space of matings is a quotient of the product of the degree-(p+1) and degree-(q+1) polynomial spaces."],"fun_headline_variants":["Non-time-reversible mating via covering correspondences","Mating map pairs to cyclic groups, no reverse symmetry","Explicit mating of maps and groups, not reversible","First irreversible matings from composition of coverings"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The proof of Theorem D assumes that the quasiconformal boundary-conjugating maps φ_- and φ_+ become conformal on the tiles where P and Q are defined, so that P and Q are holomorphic; quasiconformal conjugates of Möbius transformations are not generally holomorphic, and no conformality is established.","fun_headline_variants_meta":{"raw":{"variants":["Non-time-reversible mating via covering correspondences","Mating map pairs to cyclic groups, no reverse symmetry","Explicit mating of maps and groups, not reversible","First irreversible matings from composition of coverings"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000191,"raw_usage":{"total_tokens":1182,"prompt_tokens":748,"completion_tokens":434,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":492,"completion_tokens_details":{"reasoning_tokens":372}},"tokens_in":492,"tokens_out":434,"duration_ms":4997,"temperature":1.0,"reasoning_tokens":372,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-02T02:17:33.370677+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the correspondence F for a specific example (e.g., f(z)=z^2/(z+1/2), g(z)=(2z^2-z-1/2)/(2z+1) from Figure 1) and compare the iterated images of a generic point under F and under F^{-1}; if the closures are the same, time-reversibility would hold, contradicting the paper's claim. Alternatively, verify directly on the tiles φ_-(ρ^{-m}(A_ε∩Δ_ρ)) whether φ_- is conformal; a single tile where the quasiconformal dilatation is nonzero disproves the holomorphicity step in the proof of Theorem D.","supporting_citations":[],"review_version":1}