SearcharxivSearch

arXiv subjects

Xiangyu Liang

Publications and source records attributed to Xiangyu Liang.

At least 19 recordsLinked to original sources

JoyAI-Talker: Full-Duplex Speech Interactive Large Model Built for Empathetic Voice Agents

We present JoyAI-Talker, a full-duplex speech dialogue system that delivers robust foundation model capabilities while empowering empathetic interaction and voice agent intelligence. JoyAI-Talker adopts a modular Thinker-Talker architecture and further implements a unified speech-text joint training pipeline to mitigate the common "cognitive degradation" bottleneck, thereby largely preserving the model's core textual reasoning, STEM, and logical capabilities while extending them to speech-based interaction. For expressive speech synthesis, the Talker module employs a text-controllable generation paradigm that enables natural-language instructions to flexibly control vocal attributes and localized paralinguistic events, such as laughter and sighs, supporting more expressive and fine-grained speech responses. To enhance conversational empathy, we introduce the Persona-Adaptive Empathetic Response (PAER) framework. PAER employs a hierarchical cognitive pipeline to extract non-verbal speaker cues, such as gender, age, and emotional state, from raw input audio, incorporate them into the Thinker's CoT reasoning, and generate context-adaptive responses that align semantically appropriate text with fine-grained control over utterance-level expressiveness and localized paralinguistic events, including sighs, speaking rate, and volume. We further integrate Joy-Duplex, a state-driven, plug-and-play full-duplex framework that functions as an efficient gating engine for real-time turn control. Extensive evaluations show that JoyAI-Talker achieves highly competitive performance on foundational T2T and S2T benchmarks. In full-duplex evaluation, the system reaches a high response rate of 0.88 under user interruptions while maintaining an extremely low false-trigger rate under background speech, demonstrating its readiness for fluid and natural speech dialogue.

cs.SD

A generalization of Reifenberg's theorem in R^N for flat cones

In this paper we prove that if a closed set in R^N is close to a cone over a simplicial complex at each point and at each scale, then it is locally bi-H\"older equivalent to such a cone. This generalizes Reifenberg's Topological Disk Theorem in 1960 and G. David, T. De Pauw and T. Toro's result in 2008.

math.CA

JoyVoice: Long-Context Conditioning for Anthropomorphic Multi-Speaker Conversational Synthesis

Large speech generation models are evolving from single-speaker, short sentence synthesis to multi-speaker, long conversation geneartion. Current long-form speech generation models are predominately constrained to dyadic, turn-based interactions. To address this, we introduce JoyVoice, a novel anthropomorphic foundation model designed for flexible, boundary-free synthesis of up to eight speakers. Unlike conventional cascaded systems, JoyVoice employs a unified E2E-Transformer-DiT architecture that utilizes autoregressive hidden representations directly for diffusion inputs, enabling holistic end-to-end optimization. We further propose a MM-Tokenizer operating at a low bitrate of 12.5 Hz, which integrates multitask semantic and MMSE losses to effectively model both semantic and acoustic information. Additionally, the model incorporates robust text front-end processing via large-scale data perturbation. Experiments show that JoyVoice achieves state-of-the-art results in multilingual generation (Chinese, English, Japanese, Korean) and zero-shot voice cloning. JoyVoice achieves top-tier results on both the Seed-TTS-Eval Benchmark and multi-speaker long-form conversational voice cloning tasks, demonstrating superior audio quality and generalization. It achieves significant improvements in prosodic continuity for long-form speech, rhythm richness in multi-speaker conversations, paralinguistic naturalness, besides superior intelligibility. We encourage readers to listen to the demo at https://jea-speech.github.io/JoyVoice

cs.SD

CSTalk: Correlation Supervised Speech-driven 3D Emotional Facial Animation Generation

Speech-driven 3D facial animation technology has been developed for years, but its practical application still lacks expectations. The main challenges lie in data limitations, lip alignment, and the naturalness of facial expressions. Although lip alignment has seen many related studies, existing methods struggle to synthesize natural and realistic expressions, resulting in a mechanical and stiff appearance of facial animations. Even with some research extracting emotional features from speech, the randomness of facial movements limits the effective expression of emotions. To address this issue, this paper proposes a method called CSTalk (Correlation Supervised) that models the correlations among different regions of facial movements and supervises the training of the generative model to generate realistic expressions that conform to human facial motion patterns. To generate more intricate animations, we employ a rich set of control parameters based on the metahuman character model and capture a dataset for five different emotions. We train a generative network using an autoencoder structure and input an emotion embedding vector to achieve the generation of user-control expressions. Experimental results demonstrate that our method outperforms existing state-of-the-art methods.

cs.CV

Embedded Representation Learning Network for Animating Styled Video Portrait

The talking head generation recently attracted considerable attention due to its widespread application prospects, especially for digital avatars and 3D animation design. Inspired by this practical demand, several works explored Neural Radiance Fields (NeRF) to synthesize the talking heads. However, these methods based on NeRF face two challenges: (1) Difficulty in generating style-controllable talking heads. (2) Displacement artifacts around the neck in rendered images. To overcome these two challenges, we propose a novel generative paradigm \textit{Embedded Representation Learning Network} (ERLNet) with two learning stages. First, the \textit{ audio-driven FLAME} (ADF) module is constructed to produce facial expression and head pose sequences synchronized with content audio and style video. Second, given the sequence deduced by the ADF, one novel \textit{dual-branch fusion NeRF} (DBF-NeRF) explores these contents to render the final images. Extensive empirical studies demonstrate that the collaboration of these two stages effectively facilitates our method to render a more realistic talking head than the existing algorithms.

cs.CV

On the dimension of k-medial axis for arbitrary closed set

We prove that the k-medial axis of an arbitrary closed set in Rn is n-k+1-rectifiable (and hence of dimension at most n-k+1). This result gives a first stratification for medial axis of any closed set, which has been widely studied and used in pure and applied mathematics. This also answers a question proposed by Erdos[4], and leads to more further interesting investigations (see the end of the article).

math.CA

Sliding stability and uniqueness for the set YXY

This article is dedicated to discuss the sliding stability and the uniqueness property for the 2-dimensional minimal cone YXY in R4. This problem is motivated by the classification of singularities for Almgren minimal sets, a model for Plateau's problem in the setting of sets. Minimal cones are blow up limits of Almgren minimal sets, thus the list of all minimal cones gives all possible types of singularities that can occur for minimal sets. As proved in [16], when several 2-dimensional Almgren (resp. topological) minimal cones are Almgren (resp. topological) sliding stable, and Almgren (resp. topological) unique, the almost orthogonal union of them stays minimal. Hence if several minimal cones admit sliding stability and uniqueness properties, then we can use their almost orthogonal unions to generate new families of minimal cones. One then naturally ask which minimal cones admit these two properties. Among all the known 2-dimensional minimal cones, YXY is the only one whose stability and uniqueness properties were left unsolved. We give affirmative answers to this problem for the stability and uniqueness properties for YXY in this paper: we prove that the set YXY is both Almgren sliding stable, and Almgren unique; for the topological case, we prove its topological sliding stability and topological uniqueness for the coefficient group Z2. This result, along with the results in [16, 18, 17], allows us to use all the known 2-dimensional minimal cones to generate new 2-dimensional minimal cones by taking almost orthogonal unions.

math.CA

On the Almgren minimality of the product of a paired calibrated set with a calibrated set of codimension 1 with singularities, and new Almgren minimal cones

In this paper, we prove that the product of a paired calibrated set and a set of codimension 1 calibrated by a coflat calibration with small singularity set is Almgren minimal. This is motivated by the attempt to classify all possible singularities for Almgren minimal sets--Plateau's problem in the setting of sets. In particular, a direct application of the above result leads to various types of new singularities for Almgren minimal sets, e.g. the product of any paired calibrated cone (such as the cone over the $d-2$ skeleton of the unit cube in $\R^d, d\ge 4$) with homogeneous area minimizing hypercones (such as the Simons cone).

math.CA

Minimality for unions of 2-dimensional minimal cones with non-isolated singularities

In this article we prove that for a large class of 2-dimensional minimal cones (including almost all 2-dimensional minimal cones that we know), the almost orthogonal union of any two of them is still a minimal cone. Comparing to existing results for minimality of almost orthogonal union of planes \cite{2p,2ptopo}, here we are dealing with unions of cones with non isolated singularities, which results in a series of essential difficulties, and new ideas are required. The proof in this article can be generalized to other types of minimalities, e.g. topological minimality, Reifenberg minimality, etc..

math.CA

Measure and sliding stability for 2-dimensional minimal cones in Euclidean spaces

In this article we prove the measure stability for all 2-dimensional Almgren minimal cones in $\mathbb{R}^n$, and the Almgren (resp. topological) sliding stability for the 2-dimensional Almgren (resp. topological) minimal cones in $\mathbb{R}^3$. As proved in \cite{2T}, when several 2-dimensional Almgren (resp. topological) minimal cones are measure and Almgren (resp. topological) sliding stable, and Almgren (resp. topological) unique, the almost orthogonal union of them stays minimal. As consequence, the results of this article, together with the uniqueness properties proved in \cite{uniquePYT}, permit us to use all 2-dimensional minimal cones in $\mathbb{R}^3$ to generate new families of minimal cones by taking their almost orthogonal unions.

math.CA

Uniqueness of 2-dimensional minimal cones in $\mathbb{R}^3$

In this article we treat two closely related problems: 1) the upper semi continuity property for Almgren minimal sets in regions with regular boundary, which guanrantees that the uniqueness property is well defined; and 2) the Almgren (resp. topological) uniqueness property for all the 2-dimensional Almgren (resp. topological) minimal cones in $\mathbb{R}^3$. As proved in \cite{2T}, when several 2-dimensional Almgren (resp. topological) minimal cones are measure and Almgren (resp. topological) sliding stable, and Almgren (resp. topological) unique, the almost orthogonal union of them stays minimal. As consequence, the results of this article, together with the measure and sliding stability properties proved in \tb{\cite{stablePYT} and \cite{stableYXY}}, permit us to use all known 2-dimensional minimal cones in $\mathbb{R}^n$ to generate new families of minimal cones by taking their almost orthogonal unions. The upper semi continuity property is also helpful in various circumstances: when we have to carry on arguments using Hausdorff limits and some properties do not pass to the limit, the upper semi continuity can serve as a link. As an example, it plays a very important role throughout \cite{2T}.

math.CA

Limits of topological minimal sets with finitely generated coefficient groups

We prove that Hausdorff limit of topological minimal sets (with finitely generated coefficient group) are topologically minimal. The key idea is to reduce the homology group on the space to the homology group on the sphere, and reduce the homology group on the sphere to a finitely representable one, by "glueing" grids with small measure to block local elements in the homology group.

math.CA

On the topological minimality of unions of planes of arbitrary dimension

In this article we prove the topological minimality of unions of several almost orthogonal planes of arbitrary dimensions. A particular case was proved in arXiv:1103.1468, where we proved the Almgren minimality (which is a weaker property than the topological minimality) of the union of two almost orthogonal 2 dimensional planes. On the one hand, the topological minimality is always proved by variations of calibration methods, but in this article, we give a continuous family topological minimal sets, hence calibrations cannot apply. The advantage of a set being topological minimal (compared to Almgren minimal) is that its product with $\R^n$ stays topological minimal. This leads also to finding minimal sets which are unions of non transversal (hence far from almost orthogonal) planes; On the other hand, regularity for higher dimensional minimal sets is much less clear than those of dimension 2, hence more efforts are needed for higher dimensional cases.

math.CA

Regularity for minimal sets near a union of two planes

We discuss the global regularity of 2 dimensional minimal sets that are near a union of two planes, and prove that every global minimal set in R^4 that looks like a union of two almost orthogonal planes at infinity is a cone. The main point is to use the topological properties of a minimal set at a large scale to control its behavior at smaller scales.

math.CA

Almgren and topological minimality for the set $Y\times Y$

In this paper we discuss various minimality properties for the orthogonal product of two 1-dimensional $\Y$ sets, and some related problems. This is motivated by an attempt to give the classification of singularities for 2-dimensional Almgren-minimal sets in $\R^4$.

math.CA

Global regularity for minimal sets near a $\T$ set and counterexamples

We discuss the global regularity for 2 dimensional minimal sets that are near a $\T$ set, that is, whether every global minimal set in $\R^n$ that looks like a $\T$ set at infinity is a $\T$ set or not. The main point is to use the topological properties of a minimal set at large scale to control its topology at smaller scales. This is the idea to prove that all 1-dimensional Almgren-minimal sets in $\R^n$, and all 2-dimensional Mumford-Shah minimal sets in $\R^3$ are cones. In this article we discuss two types of 2-dimensional minimal sets: Almgren-minimal set in $\R^3$ whose blow-in limit is a $\T$ set; topological minimal sets in $\R^4$ whose blow-in limit is a $\T$ set. For the first one we eliminate an existing potential counterexample that was proposed by several people, and show that a real counterexample should have a more complicated topological structure; for the second we construct a potential example using a Klein bottle.

math.CA

Almgren-minimality of unions of two almost orthogonal planes in $\mathbb R^4$

In this article we prove that the union of two almost orthogonal planes in R4 is Almgren-minimal. This gives an example of a one parameter family of minimal cones, which is a phenomenon that does not exist in R3. This work is motivated by an attempt to classify the singularities of 2-dimensional Almgren-minimal sets in R4. Note that the traditional methods for proving minimality (calibrations and slicing arguments) do not apply here, we are obliged to use some more complicated arguments such as a stopping time argument, harmonic extensions, Federer-Fleming projections, etc. that are rarely used to prove minimality (they are often used to prove regularity). The regularity results for 2-dimensional Almgren minimal sets ([5],[6]) are also needed here.

math.CA