We introduce an interactive technique for manipulating simple 3D shapes based on extracting them from a single photograph. Such extraction requires understanding of the components of the shape, their projections, and relations. These simple cognitive tasks for humans are particularly difficult for automatic algorithms. Thus, our approach combines the cognitive abilities of humans with the computational accuracy of the machine to solve this problem. Our technique provides the user the means to quickly create editable 3D parts¡ª human assistance implicitly segments a complex object into its components, and positions them in space. In our interface, three strokes are used to generate a 3D component that snaps to the shape¡¯s outline in the photograph, where each stroke defines one dimension of the component. The computer reshapes the component to fit the image of the object in the photograph as well as to satisfy various inferred geometric constraints imposed by its global 3D structure. We show that with this intelligent interactive modeling tool, the daunting task of object extraction is made simple. Once the 3D object has been extracted, it can be quickly edited and placed back into photos or 3D scenes, permitting object-driven photo editing tasks which are impossible to perform in image-space.

The endoscopic classification via the stable trace formula comparison provides certain character relations between irreducible cuspidal automorphic representations of classical groups and their global Arthur parameters, which are certain automorphic representations of general linear groups. It is a question of J. Arthur and W. Schmid that asks how to construct concrete modules for irreducible cuspidal automorphic representations of classical groups in term of their global Arthur parameters? In this paper, we formulate a general construction of concrete modules, using Bessel periods, for cuspidal automorphic representations of classical groups with generic global Arthur parameters. Then we establish the theory for orthogonal and unitary groups, based on certain well expected conjectures. Among the consequences of the theory in this paper is that the global Gan-Gross-Prasad conjecture for those classical groups is proved in full generality in one direction and with a global assumption in the other direction.

A comprehensive description of human genomes is essential for understanding human evolution and relationships between modern populations. However, most published literature focuses on local alignment comparison of several genes rather than the complete evolutionary record of individual genomes. Combining with data from the 1,000 Genomes Project, we successfully reconstructed 2,504 individual genomes and propose Divided Natural Vector method to analyze the distribution of nucleotides in the genomes. Comparisons based on autosomes, sex chromosomes and mitochondrial genomes reveal the genetic relationships between populations, and different inheritance pattern leads to different phylogenetic results. Results based on mitochondrial genomes confirm the “out-of-Africa” hypothesis and assert that humans, at least females, most likely originated in eastern Africa. The reconstructed genomes are stored on our server and can be further used for any genome-scale analysis of humans (http://yaulab.math.tsinghua.edu.cn/2022_1000genomesprojectdata/). This project provides the complete genomes of thousands of individuals and lays the groundwork for genome-level analyses of the genetic relationships between populations and the origin of humans.

A numerical method for computing the extremal Teichmüller map between multiply-connected domains is presented. Given two multiply-connected domains, there exists a unique Teichmüller map (T-Map) between them minimizing the conformality distortion. The extremal T-Map can be considered as the ‘most conformal’ map between multiply-connected domains. In this paper, we propose an iterative algorithm to compute the extremal T-Map using the Beltrami holomorphic flow (BHF). The BHF procedure iteratively adjusts the initial map based on a sequence of Beltrami coefficients, which are complex-valued functions defined on the source domain. It produces a sequence of quasi-conformal maps, which converges to the T-Map minimizing the conformality distortion. We test our method on synthetic data together with real human face data. Results show that our algorithm computes the extremal T-Map between two multiply-connected domains of the same topology accurately and efficiently.

The commonly used spatial entropy hr(U) of the multi-dimensional shift space U is the limit of growth rate of admissible local patterns on finite rectangular sublattices which expands to whole space Zd, d ≥ 2. This work studies spatial entropy hΩ(U) of shift space U on general expanding system Ω = {Ω(n)}∞ n=1 where Ω(n) is increasing finite sublattices and expands to Zd. Ω is called genuinely d-dimensional if Ω(n) contains no lower-dimensional part whose size is comparable to that of its d-dimensional part. We show that hr(U) is the supremum of hΩ(U) for all genuinely two-dimensional Ω. Furthermore, when Ω is genuinely d-dimensional and satisfies certain conditions, then hΩ(U) = hr(U). On the contrary, when Ω(n) contains a lower-dimensional part, then hr(U) < hΩ(U) for some U. Therefore, hr(U) is appropriate to be the d-dimensional spatial entropy.