SearcharxivSearch

arXiv subjects

Yusheng Luo

Publications and source records attributed to Yusheng Luo.

At least 19 recordsLinked to original sources

Language-Augmented Semantic Priors for B-Spline Surface Fitting

The use of B-splines and Non-Uniform Rational B-Splines surfaces constitutes the mathematical foundation of contemporary computer-aided design (CAD) systems. Despite long-term progress, geometric kernels in traditional CAD still rely heavily on predetermined heuristic initialization for surface fitting and parameterization. Meanwhile, the procedural semantics and design intent encoded in modeling histories are largely ignored during geometry generation. This disconnect creates a gap between high-level design intent and solver-executable geometric configuration, often leading to suboptimal and semantically inconsistent fitting results. To bridge this gap, we introduce LASP, a Language-Augmented Semantic Priors framework that leverages large language models (LLMs) to infer structured, solver-usable B-spline priors from procedural modeling histories. Rather than modifying the geometric kernel itself, LASP operates as a semantic reasoning layer above existing solvers. It first translates modeling histories into rich textual descriptions that capture design intent, geometric context, and functional relationships, and then uses a fine-tuned LLM to predict structured B-spline prior parameters. LASP is trained through a two-stage scheme that combines local geometric regularities with long-range contextual dependencies, producing priors that are both interpretable and semantically coherent. This approach furnishes inductive signals that direct the conventional B-spline fitting process toward solutions that more accurately encapsulate the intended design objectives and demonstrate heightened semantic coherence. Compared to traditional machine learning schemes, the experiments demonstrate that language-driven reasoning can serve as a powerful inductive bias for geometric solving, establishing a new paradigm of language-guided geometric optimization in modern CAD systems.

cs.CV

Quasisymmetric universality, quasi-isometric classification and topological rigidity of Kleinian groups

We study the quasisymmetric classification of limit sets of Kleinian groups and obtain a characterization of those geometrically finite limit sets that are quasisymmetrically universal. This allows us to obtain a quasi-isometric classification of finitely generated Kleinian groups. We also obtain a classification of virtually topologically rigid geometrically finite Kleinian groups.

math.GT

Combining cusped triangle groups with Blaschke products: commensurable matings

In this note, we construct algebraic correspondences as matings of Fuchsian $(p,q,\infty)$-triangle groups with Blaschke products. Combined with the results of [MM25], this proves mateability of all cusped triangle groups with suitable Blaschke products. The proof of the main result involves associating two piecewise analytic circle maps to the $(p,q,\infty)-$triangle group, mating these maps with appropriate Blaschke products to produce two commensurable conformal matings, and finally constructing the desired algebraic correspondence as a common lift of the two conformal matings.

math.DS

Universality of the Basilica

We establish universality of the fat Basilica Julia set $J(z^2-\frac34)$ in conformal dynamics in the following sense: $J(z^2-\frac34)$ is quasiconformally equivalent to the fat Basilica Julia set of any polynomial as well as to the limit set of any geometrically finite closed surface Bers boundary group. We thus obtain the first example of a connected rational Julia set, not homeomorphic to the circle or the sphere, that is quasiconformally equivalent to a Kleinian limit set. It follows that any geometrically finite Bers boundary limit set is conformally removable. Other consequences of this universality result include quasi-symmetric uniformization of polynomial fat Basilicas by round Basilicas, and the existence of infinitely many non-commensurable uniformly quasi-symmetric surface subgroups of the Basilica quasi-symmetry group. We apply our techniques to cuspidal Basilica Julia sets arising from Schwarz reflections and cubic polynomials, yielding further universality classes. We also show that the standard Basilica Julia set $J(z^2-1)$ is the archbasilica in the David hierarchy.

math.DS

ReCAD: Reinforcement Learning Enhanced Parametric CAD Model Generation with Vision-Language Models

We present ReCAD, a reinforcement learning (RL) framework that bootstraps pretrained large models (PLMs) to generate precise parametric computer-aided design (CAD) models from multimodal inputs by leveraging their inherent generative capabilities. With just access to simple functional interfaces (e.g., point coordinates), our approach enables the emergence of complex CAD operations (e.g., pattern replication and mirror). This stands in contrast to previous methods, which typically rely on knowledge injected through supervised fine-tuning (SFT), offer limited support for editability, and fail to exploit the strong generative priors of PLMs. Specifically, the ReCAD framework begins by fine-tuning vision-language models (VLMs) to equip them with basic CAD model generation capabilities, where we rewrite CAD scripts into parameterized code that is leveraged to generate accurate textual descriptions for supervision. Then, we propose a novel RL strategy that incorporates parameterized code as guidance to enhance the model's reasoning on challenging questions. Furthermore, we employ a hierarchical primitive learning process to progressively teach structured and compositional skills under a unified reward function that ensures both geometric accuracy and semantic fidelity. ReCAD sets a new state-of-the-art in both text-to-CAD and image-to-CAD tasks, significantly improving geometric accuracy across in-distribution and out-of-distribution settings. In the image-to-CAD task, for instance, it reduces the mean Chamfer Distance from 73.47 to 29.61 (in-distribution) and from 272.06 to 80.23 (out-of-distribution), outperforming existing baselines by a substantial margin.

cs.CV

Disk patterns, quasi-duality and the uniform bounded diameter conjecture

We show that the diameter of the image of the skinning map on the deformation space of an acylindrical reflection group is bounded by a constant depending only on the topological complexity of the components of its boundary, answering a conjecture of Minsky in the reflection group setting. This result can be interpreted as a uniform rigidity theorem for disk patterns. Our method also establishes a connection between the diameter of the skinning image and certain discrete extremal width on the Coxeter graph of the reflection group.

math.GT

Circle packings, renormalizations and subdivision rules

In this paper, we use iterations of skinning maps on Teichmüller spaces to study circle packings and develop a renormalization theory for circle packings whose nerves satisfy certain subdivision rules. We characterize when the skinning map has bounded image. Under the corresponding condition, we prove that the renormalization operator $\mathfrak{R}$ is uniformly contracting. This allows us to give complete answers for the existence and moduli problems for such circle packings. The exponential contraction of $\mathfrak{R}^n$ means that despite the non-rigidity of such circle packings, they are geometrically inflexible. As an application, we show that any geometrically finite Kleinian circle packing is combinatorially rigid.

math.GT

On quasiconformal non-equivalence of gasket Julia sets and limit sets

This paper studies quasiconformal non-equivalence of Julia sets and limit sets. We proved that any Julia set is quasiconformally different from the Apollonian gasket. We also proved that any Julia set of a quadratic rational map is quasiconformally different from the gasket limit set of a geometrically finite Kleinian group.

math.DS

Uniform a priori bounds for neutral renormalization. Variation II: $ψ^\bullet$-ql Siegel maps

We extend uniform pseudo-Siegel bounds for neutral quadratic polynomials to $ψ^\bullet$-quadratic-like Siegel maps. In this form, the bounds are compatible with the $ψ$-quadratic-like renormalization theory and are easily transferable to various families of rational maps. The main theorem states that the degeneration of a Siegel disk is equidistributed among combinatorial intervals. This provides a precise description of how the $ψ^\bullet$-quadratic-like structure degenerates around the Siegel disk on all geometric scales except on the ``transitional scales'' between two specific combinatorial levels.

math.DS

Sierpinski carpet hyperbolic components of disjoint type are bounded

We establish certain uniform a priori bounds for hyperbolic components of disjoint type. As an application, we will prove that Sierpinski carpet hyperbolic components of disjoint type are bounded. Furthermore, we show that for each map $f$ on the closure of such a hyperbolic component, there exists a quadratic-like restriction around every non-repelling periodic point. Extensions of these results to non-Sierpinski configurations are underway. As a prototype example, we describe the post-critical set of any map on the boundary of the hyperbolic component of $z^2$.

math.DS

Polynomials with core entropy zero

This paper studies polynomials with core entropy zero. We give several characterizations of polynomials with core entropy zero. In particular, we show that a degree d post-critically finite polynomial f has core entropy zero if and only if f is in the degree d main molecule. The characterizations define several quantities which measure the complexities of polynomials with core entropy zero. We show that these measures are all comparable.

math.DS

Teichm\"uller spaces, polynomial loci, and degeneration in spaces of algebraic correspondences

We develop an analog of the notion of a character variety in the context of algebraic correspondences. It turns out that matings of certain Fuchsian groups and polynomials are contained in this ambient character variety. This gives rise to two different analogs of the Bers slice by fixing either the polynomial or the Fuchsian group. The Bers-like slices are homeomorphic copies of Teichm\"uller spaces or combinatorial copies of polynomial connectedness loci. We show that these slices are bounded in the character variety, thus proving the analog of a theorem of Bers. To produce compactifications of the Bers-like slices, we initiate a study of degeneration of algebraic correspondences on trees of Riemann spheres, revealing a new degeneration phenomenon in conformal dynamics. There is no available analog of Sullivan's 'no invariant line field' theorem in our context. Nevertheless, for the four times punctured sphere, we show that the compactifications of Teichm\"uller spaces are naturally homeomorphic.

math.DS

Uniformization of gasket Julia sets

The object of the paper is to characterize gasket Julia sets of rational maps that can be uniformized by round gaskets. We restrict to rational maps without critical points on the Julia set. Under these conditions, we prove that a Julia set can be quasiconformally uniformized by a round gasket if and only if it is a fat gasket, i.e., boundaries of Fatou components intersect tangentially. We also prove that a Julia set can be uniformized by a round gasket with a David homeomorphism if and only if every Fatou component is a quasidisk; equivalently, there are no parabolic cycles of multiplicity 2. Our theorem applies to show that gasket Julia sets and limit sets of Kleinian groups can be locally quasiconformally homeomorphic, although globally this is conjectured to be false.

math.DS

Piecewise quasiconformal dynamical systems of the unit circle

We study piecewise quasiconformal covering maps of the unit circle. We provide sufficient conditions so that a conjugacy between two such dynamical systems has a quasiconformal or David extension to the unit disk. Our main result generalizes the main result of arXiv:2010.11256, which deals with piecewise analytic maps. As applications, we provide a classification of piecewise quasiconformal maps of the circle up to quasisymmetric conjugacy, we prove a general conformal mating theorem for Blaschke products, and we study the quasiconformal geometry of parabolic basins.

math.DS

A general dynamical theory of Schwarz reflections, B-involutions, and algebraic correspondences

In this paper, we study matings of (anti-)polynomials and Fuchsian, reflection groups as Schwarz reflections, B-involutions or as (anti-)holomorphic correspondences, as well as their parameter spaces. We prove the existence of matings of generic (anti-)polynomials, such as periodically repelling, or geometrically finite (anti-)polynomials, with circle maps arising from the corresponding groups. These matings emerge naturally as degenerate (anti-)polynomial-like maps, and we show that the corresponding parameter space slices for such matings bear strong resemblance with parameter spaces of polynomial maps. Furthermore, we provide algebraic descriptions for these matings, and construct algebraic correspondences that combine generic (anti-)polynomials and genus zero orbifolds in a common dynamical plane, providing a new concrete evidence to Fatou's vision of a unified theory of groups and maps.

math.DS

On Deformation Space Analogies between Kleinian Reflection Groups and Antiholomorphic Rational Maps

In a previous paper, we constructed an explicit dynamical correspondence between certain Kleinian reflection groups and certain anti-holomorphic rational maps on the Riemann sphere. In this paper, we show that their deformation spaces share many striking similarities. We establish an analogue of Thurston's compactness theorem for critically fixed anti-rational maps. We also characterize how deformation spaces interact with each other and study the monodromy representations of the union of all deformation spaces.

math.DS

On geometrically finite degenerations I: boundaries of main hyperbolic components

In this paper, we develop a theory on the degenerations of Blaschke products $\mathcal{B}_d$ to study the boundaries of hyperbolic components. We give a combinatorial classification of geometrically finite polynomials on the boundary of the main hyperbolic component $\mathcal{H}_d$ containing $z^d$. We show the closure $\overline{\mathcal{H}_d}$ is not a topological manifold with boundary for $d\geq 4$ by constructing self-bumps on its boundary.

math.DS

Trees, length spectra for rational maps via barycentric extensions and Berkovich spaces

In this paper, we study the dynamics of degenerating sequences of rational maps on Riemann sphere $\hat{\mathbb{C}}$ using $\mathbb{R}$-trees. Given a sequence of degenerating rational maps, we give two constructions for limiting dynamics on $\mathbb{R}$-trees: one geometric and one algebraic. The geometric construction uses the ultralimit of rescalings of barycentric extensions of rational maps, while the algebraic construction uses the Berkovich space of complexified Robinson's field. We show the two approaches are equivalent. The limiting dynamics on the $\mathbb{R}$-tree are analogues to isometric group actions on $\mathbb{R}$-trees studied in Kleinian groups and Teichmüller theory. We use the limiting map to classify hyperbolic components of rational maps that admit degeneracies with bounded length spectra (multipliers).

math.DS