SearcharxivSearch

arXiv subjects

Xiaoan Lang

Publications and source records attributed to Xiaoan Lang.

2 recordsLinked to original sources

A Unified Latent Space Disentanglement VAE Framework with Robust Disentanglement Effectiveness Evaluation

Evaluating and interpreting latent representations, such as variational autoencoders (VAEs), remains a significant challenge for diverse data types, especially when ground-truth generative factors are unknown. To address this, we unify several state-of-the-art disentangled VAE approaches for latent space disentanglement into one framework -- bfVAE. To assess the effectiveness of a disentangled VAE model and enhance latent space interpretability, we propose Feature Variance Heterogeneity via Latent Traversal (FVH-LT) and Dirty Block Sparse Regression in Latent Space (DBSR-LS). To ensure robust interpretability of learned latent space, we develop a greedy alignment strategy (GAS) that mitigates label switching and aligns latent dimensions across runs to set the foundation of result aggregation. We also introduce a convenient scalar latent space separation index (LSSI) based on the GAS-aligned outputs of FVH-LT and DBSR-LS to summarize the overall latent structural separation without knowledge of the ground-truth generative factors. We compare bfVAE to five VAE models and validate the effectiveness FVH-LT, DBSR-LS, and LSSI in on seven tabular and image datasets. Under our examined experimental settings, bfVAE provides a more flexible disentanglement framework achieves more favorable overall trade-off between disentanglement and reconstruction than the benchmark VAE models; FVH-LT and DBSR-LS reliably uncover semantically meaningful and domain-relevant latent structures and generally yield consistent results; and LSSI makes an effective quantitative summary of latent structural separation.

stat.ML

Rational points on $x^{3} + x^{2} y^{2} + y^{3} = k$

We study the problem of determining, given an integer $k$, the rational solutions to $C_{k} : x^{3}z + x^{2} y^{2} + y^{3}z = kz^{4}$. For $k \ne 0$, the curve $C_{k}$ has genus $3$ and there are maps from $C_{k}$ to three elliptic curves $E_{1,k}$, $E_{2,k}$, $E_{3,k}$. We explicitly determine the rational points on $C_{k}$ under the assumption that one of these elliptic curves has rank zero. We discuss the challenges involved in extending our result to handle all $k \in \mathbb{Q}$.

math.NT