Source author record

Di Yang

Di Yang appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

33works
20topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

33 published item(s)

preprint2022arXiv

Geometry and arithmetic of integrable hierarchies of KdV type. I. Integrality

For each of the simple Lie algebras $\mathfrak{g}=A_l$, $D_l$ or $E_6$, we show that the all-genera one-point FJRW invariants of $\mathfrak{g}$-type, after multiplication by suitable products of Pochhammer symbols, are the coefficients of an algebraic generating function and hence are integral. Moreover, we find that the all-genera invariants themselves coincide with the coefficients of the unique calibration of the Frobenius manifold of $\mathfrak{g}$-type evaluated at a special point. For the $A_4$ (5-spin) case we also find two other normalizations of the sequence that are again integral and of at most exponential growth, and hence conjecturally are the Taylor coefficients of some period functions.

preprint2022arXiv

Latent Image Animator: Learning to Animate Images via Latent Space Navigation

Due to the remarkable progress of deep generative models, animating images has become increasingly efficient, whereas associated results have become increasingly realistic. Current animation-approaches commonly exploit structure representation extracted from driving videos. Such structure representation is instrumental in transferring motion from driving videos to still images. However, such approaches fail in case the source image and driving video encompass large appearance variation. Moreover, the extraction of structure information requires additional modules that endow the animation-model with increased complexity. Deviating from such models, we here introduce the Latent Image Animator (LIA), a self-supervised autoencoder that evades need for structure representation. LIA is streamlined to animate images by linear navigation in the latent space. Specifically, motion in generated video is constructed by linear displacement of codes in the latent space. Towards this, we learn a set of orthogonal motion directions simultaneously, and use their linear combination, in order to represent any displacement in the latent space. Extensive quantitative and qualitative analysis suggests that our model systematically and significantly outperforms state-of-art methods on VoxCeleb, Taichi and TED-talk datasets w.r.t. generated quality.

preprint2022arXiv

On Equivariant Gromov--Witten Invariants of Resolved Conifold with Diagonal and Anti-Diagonal Actions

We propose two conjectural relationships between the equivariant Gromov-Witten invariants of the resolved conifold under diagonal and anti-diagonal actions and the Gromov-Witten invariants of $\mathbb{P}^1$, and verify their validity in genus zero approximation. We also provide evidences to support the validity of these relationships in genus one and genus two.

preprint2022arXiv

The matrix-resolvent method to tau-functions for the nonlinear Schrödinger hierarchy

We extend the matrix-resolvent method of computing logarithmic derivatives of tau-functions to the nonlinear Schrödinger (NLS) hierarchy. Based on this method we give a detailed proof of a theorem of Carlet, Dubrovin and Zhang regarding the relationship between the Toda lattice hierarchy and the NLS hierarchy. As an application, we give an improvement of an algorithm of computing correlators in hermitian matrix models.

preprint2022arXiv

ViA: View-invariant Skeleton Action Representation Learning via Motion Retargeting

Current self-supervised approaches for skeleton action representation learning often focus on constrained scenarios, where videos and skeleton data are recorded in laboratory settings. When dealing with estimated skeleton data in real-world videos, such methods perform poorly due to the large variations across subjects and camera viewpoints. To address this issue, we introduce ViA, a novel View-Invariant Autoencoder for self-supervised skeleton action representation learning. ViA leverages motion retargeting between different human performers as a pretext task, in order to disentangle the latent action-specific `Motion' features on top of the visual representation of a 2D or 3D skeleton sequence. Such `Motion' features are invariant to skeleton geometry and camera view and allow ViA to facilitate both, cross-subject and cross-view action classification tasks. We conduct a study focusing on transfer-learning for skeleton-based action recognition with self-supervised pre-training on real-world data (e.g., Posetics). Our results showcase that skeleton representations learned from ViA are generic enough to improve upon state-of-the-art action classification accuracy, not only on 3D laboratory datasets such as NTU-RGB+D 60 and NTU-RGB+D 120, but also on real-world datasets where only 2D data are accurately estimated, e.g., Toyota Smarthome, UAV-Human and Penn Action.

preprint2021arXiv

Analysis and computation of a pressure-robust method for the rotation form of the stationary incompressible Navier-Stokes equations by using high-order finite elements

In this work, we develop a high-order pressure-robust method for the rotation form of the stationary incompressible Navier-Stokes equations. The original idea is to change the velocity test functions in the discretization of trilinear and right hand side terms by using an H(div)-conforming velocity reconstruction operator. In order to match the rotation form and error analysis, a novel skew-symmetric discrete trilinear form containing the reconstruction operator is proposed, in which not only the velocity test function is changed. The corresponding well-posed discrete weak formulation stems straight from the classical inf-sup stable mixed conforming high-order finite elements, and it is proven to achieve the pressure-independent velocity errors. Optimal convergence rates of H1, L2-error for the velocity and L2-error for the Bernoulli pressure are completely established. Adequate numerical experiments are presented to demonstrate the theoretical results and the remarkable performance of the proposed method.

preprint2021arXiv

On tau-functions for the KdV hierarchy

For an arbitrary solution to the KdV hierarchy, the generating series of logarithmic derivatives of the tau-function of the solution can be expressed by the basic matrix resolvent via algebraic manipulations. Based on this we develop in this paper two new formulae for the generating series by introducing a pair of wave functions of the solution. Applications to the Witten--Kontsevich tau-function, to the generalized Brézin--Gross--Witten (BGW) tau-function, as well as to a modular deformation of the generalized BGW tau-function which we call the Lamé tau-function are also given.

preprint2021arXiv

Tau-functions for the Ablowitz--Ladik hierarchy: the matrix-resolvent method

We extend the matrix-resolvent method for computing logarithmic derivatives of tau-functions to the Ablowitz--Ladik hierarchy. In particular, we derive a formula for the generating series of the logarithmic derivatives of an arbitrary tau-function in terms of matrix resolvents. As an application, we provide a way of computing certain integrals over the unitary group.

preprint2020arXiv

A discontinuous Galerkin method by patch reconstruction for convection-diffusion-reaction problems over polytopic meshes

In this article, using the weighted discrete least-squares, we propose a patch reconstruction finite element space with only one degree of freedom per element. As the approximation space, it is applied to the discontinuous Galerkin methods with the upwind scheme for the steady-state convection-diffusion-reaction problems over polytopic meshes. The optimal error estimates are provided in both diffusion-dominated and convection-dominated regimes. Furthermore, several numerical experiments are presented to verify the theoretical error estimates, and to well approximate boundary layers and/or internal layers.

preprint2020arXiv

Masur--Veech volumes of quadratic differentials and their asymptotics

Based on the Chen--Möller--Sauvaget formula, we apply the theory of integrable systems to derive three equations for the generating series of the Masur--Veech volumes ${\rm Vol} \, \mathcal{Q}_{g,n}$ associated with the principal strata of the moduli spaces of quadratic differentials, and propose refinements of the conjectural formulas given in [12,4] for the large genus asymptotics of ${\rm Vol} \, \mathcal{Q}_{g,n}$ and of the associated area Siegel--Veech constants.

preprint2020arXiv

Matrix resolvent and the discrete KdV hierarchy

Based on the matrix-resolvent approach, for an arbitrary solution to the discrete KdV hierarchy, we define the tau-function of the solution, and compare it with another tau-function of the solution defined via reduction of the Toda lattice hierarchy. Explicit formulae for generating series of logarithmic derivatives of the tau-functions are then obtained, and applications to enumeration of ribbon graphs with even valencies and to the special cubic Hodge integrals are considered.

preprint2020arXiv

On the solution of the coupled steady-state dual-porosity-Navier-Stokes fluid flow model with the Beavers-Joseph-Saffman interface condition

In this work, we propose a new analysis strategy to establish an a priori estimate of the weak solutions to the coupled steady-state dual-porosity-Navier-Stokes fluid flow model with the Beavers-Joseph-Saffman interface condition. The most advantage of our proposed method is that the a priori estimate and the existence result are independent of small data and the large viscosity restriction. Therefore the global uniqueness of the weak solution is naturally obtained.

preprint2019arXiv

On tau-functions for the Toda lattice hierarchy

We extend a recent result of [13] for the KdV hierarchy to the Toda lattice hierarchy. Namely, for an arbitrary solution to the Toda lattice hierarchy, we define a pair of wave functions, and use them to give explicit formulae for the generating series of $k$-point correlation functions of the solution. Applications to computing GUE correlators and Gromov--Witten invariants of the Riemann sphere are under consideration.

preprint2016arXiv

"WM"-Shaped Growth of GaN on Patterned Sapphire Substrates

In metal organic vapor phase epitaxy of GaN, the growth mode is sensitive to reactor temperature. In this study, V-pit-shaped GaN has been grown on normal c-plane cone-patterned sapphire substrate by decreasing the growth temperature of high-temperature-GaN to around 950 oC, which leads to the 3-dimensional growth of GaN. The so-called "WM" well describes the shape that the bottom of GaN V-pit is just right over the top of sapphire cone, and the regular arrangement of V-pits follows the patterns of sapphire substrate strictly. Two types of semipolar facets (1101) and (1122) expose on sidewalls of V-pits. Furthermore, by raising the growth temperature to 1000 oC, the growth mode of GaN can be transferred to 2-demonsional growth. Accordingly, the size of V-pits becomes smaller and the area of c-plane GaN becomes larger, while the total thickness of GaN keeps almost unchanged during this process. As long as the 2-demonsional growth lasts, the V-pits will disappear and only flat c-plane GaN remains. This means the area ratio of c-plane and semipolar plane GaN can be controlled by the duration time of 2-demonsional growth.

preprint2016arXiv

A PMT-like high gain avalanche photodiode based on GaN/AlN periodical stacked structure

Avalanche photodiode (APD) has been intensively investigated as a promising candidate to replace photomultiplier tubes (PMT) for weak light detection. However, in conventional APDs, a large portion of carrier energy drawn from the electric field is thermalized, and the multiplication efficiencies of electron and hole are low and close. In order to achieve high gain, the device should work under breakdown bias, where carrier multiplication proceeds bi-directionally to form a positive feedback multiplication circle. However, breakdown is hard to control, in practice, APDs should work under Geiger mode as a compromise between sustainable detection and high gain. The complexity of system seriously restricts the application. Here, we demonstrate an avalanche photodiode holding high gain without breakdown, which means no quenching circuit is needed for sustainable detection. The device is based on a GaN/AlN periodically-stacked-structure (PSS), wherein electron holds much higher efficiency than hole to draw energy from the electric field, and avalanche happens uni-directionally with high efficiency. and a recorded high gain (10^4) tested under constant bias is obtained in a prototype device, wherein the stable gain can be determined by the periodicity of the GaN/AlN PSS. This work not only brings a new light into avalanche multiplication mechanism, but also paves a technological path with high commercial value to realize highly sensitive avalanche devices working under constant bias like PMT.

preprint2016arXiv

Collective Intelligence for Smarter API Recommendations in Python

Software developers use Application Programming Interfaces (APIs) of libraries and frameworks extensively while writing programs. In this context, the recommendations provided in code completion pop-ups help developers choose the desired methods. The candidate lists recommended by these tools, however, tend to be large, ordered alphabetically and sometimes even incomplete. A fair amount of work has been done recently to improve the relevance of these code completion results, especially for statically typed languages like Java. However, these proposed techniques rely on the static type of the object and are therefore inapplicable for a dynamically typed language like Python. In this paper, we present PyReco, an intelligent code completion system for Python which uses the mined API usages from open source repositories to order the results based on relevance rather than the conventional alphabetic order. To recommend suggestions that are relevant for a working context, a nearest neighbor classifier is used to identify the best matching usage among all the extracted usage patterns. To evaluate the effectiveness of our system, the code completion queries are automatically extracted from projects and tested quantitatively using a ten-fold cross validation technique. The evaluation shows that our approach outperforms the alphabetically ordered API recommendation systems in recommending APIs for standard, as well as, third-party libraries.

preprint2016arXiv

From Query to Usable Code: An Analysis of Stack Overflow Code Snippets

Enriched by natural language texts, Stack Overflow code snippets are an invaluable code-centric knowledge base of small units of source code. Besides being useful for software developers, these annotated snippets can potentially serve as the basis for automated tools that provide working code solutions to specific natural language queries. With the goal of developing automated tools with the Stack Overflow snippets and surrounding text, this paper investigates the following questions: (1) How usable are the Stack Overflow code snippets? and (2) When using text search engines for matching on the natural language questions and answers around the snippets, what percentage of the top results contain usable code snippets? A total of 3M code snippets are analyzed across four languages: C\#, Java, JavaScript, and Python. Python and JavaScript proved to be the languages for which the most code snippets are usable. Conversely, Java and C\# proved to be the languages with the lowest usability rate. Further qualitative analysis on usable Python snippets shows the characteristics of the answers that solve the original question. Finally, we use Google search to investigate the alignment of usability and the natural language annotations around code snippets, and explore how to make snippets in Stack Overflow an adequate base for future automatic program generation.

preprint2016arXiv

InGaN/GaN Multi-Quantum-Well and Light-Emitting Diode Based on V-pit-Shaped GaN Grown on Patterned Sapphire Substrate

V-pit-defects in GaN-based light-emitting diodes induced by dislocations are considered beneficial to electroluminescence because they relax the strain in InGaN quantum wells and also enhance the hole lateral injection through sidewall of V-pits. In this paper, regularly arranged V-pits are formed on c-plane GaN grown by metal organic vapor phase epitaxy on conventional c-plane cone-patterned sapphire substrates. The size of V-pits and area of flat GaN can be adjusted by changing growth temperature. Five pairs of InGaN/GaN multi-quantumwell and also a light-emitting diode structure are grown on this V-pit-shaped GaN. Two peaks around 410 nm and 450 nm appearing in both photoluminescence and cathodeluminescence spectra are from the semipolar InGaN/GaN multi-quantum-well on sidewalls of V-pits and cplane InGaN/GaN multi-quantum-well, respectively. In addition, dense bright spots can be observed on the surface of light-emitting diode when it works under small injection current, which are believed owing to the enhanced hole injection around V-pits.

preprint2016arXiv

The calibration and electron energy reconstruction of the BGO ECAL of the DAMPE detector

The DArk Matter Particle Explorer (DAMPE) is a space experiment designed to search for dark matter indirectly by measuring the spectra of photons, electrons, and positrons up to 10 TeV. The BGO electromagnetic calorimeter (ECAL) is its main sub-detector for energy measurement. In this paper, the instrumentation and development of the BGO ECAL is briefly described. The calibration on the ground, including the pedestal, minimum ionizing particle (MIP) peak, dynode ratio, and attenuation length with the cosmic rays and beam particles is discussed in detail. Also, the energy reconstruction results of the electrons from the beam test are presented.

preprint2015arXiv

Geometric interpretation of Zhou's explicit formula for the Witten-Kontsevich tau function

Based on the work of Itzykson and Zuber on Kontsevich's integrals, we give a geometric interpretation and a simple proof of Zhou's explicit formula for the Witten-Kontsevich tau function. More precisely, we show that the numbers $A_{m,n}^{Zhou}$ defined by Zhou coincide with the affine coordinates for the point of the Sato Grassmannian corresponding to the Witten-Kontsevich tau function. Generating functions and new recursion relations for $A_{m,n}^{Zhou}$ are derived. Our formulation on matrix-valued affine coordinates and on tau functions remains valid for generic Grassmannian solutions of the KdV hierarchy. A by-product of our study indicates an interesting relation between the matrix-valued affine coordinates for the Witten-Kontsevich tau function and the $V$-matrices associated to the $R$-matrix of Witten's $3$-spin structures.

preprint2015arXiv

Simple Lie algebras and topological ODEs

For a simple Lie algebra $\mathfrak g$ we define a system of linear ODEs with polynomial coefficients, which we call the topological equation of $\mathfrak g$-type. The dimension of the space of solutions regular at infinity is equal to the rank of the Lie algebra. For the simplest example $\mathfrak g=sl_2(\mathbb C)$ the regular solution can be expressed via products of Airy functions and their derivatives; this matrix valued function was used in our previous work for computing logarithmic derivatives of the Witten - Kontsevich tau-function. For an arbitrary simple Lie algebra we construct a basis in the space of regular solutions to the topological equation called generalized Airy resolvents. We also outline applications of the generalized Airy resolvents to computing the Witten and Fan - Jarvis - Ruan invariants of the Deligne - Mumford moduli spaces of stable algebraic curves.

preprint2014arXiv

Design of the Readout Electronics for the Qualification Model of DAMPE BGO Calorimeter

The DAMPE (DArk Matter Particle Explorer) is a scientific satellite being developed in China, aimed at cosmic ray study, gamma ray astronomy, and searching for the clue of dark matter particles, with a planned mission period of more than 3 years and an orbit altitude of about 500 km. The BGO Calorimeter, which consists of 308 BGO (Bismuth Germanate Oxid) crystal bars, 616 PMTs (photomultiplier tubes) and 1848 dynode signals, has approximately 32 radiation lengths. It is a crucial sub-detector of the DAMPE payload, with the functions of precisely measuring the energy of cosmic particles from 5 GeV to 10TeV, distinguishing positrons/electrons and gamma rays from hadron background, and providing trigger information for the whole DAMPE payload. The dynamic range for a single BGO crystal is about 2?105 and there are 1848 detector signals in total. To build such an instrument in space, the major design challenges for the readout electronics come from the large dynamic range, the high integrity inside the very compact structure, the strict power supply budget and the long term reliability to survive the hush environment during launch and in orbit. Currently the DAMPE mission is in the end of QM (Qualification Model) stage. This paper presents a detailed description of the readout electronics for the BGO calorimeter.

preprint2014arXiv

Hodge integrals and tau-symmetric integrable hierarchies of Hamiltonian evolutionary PDEs

For an arbitrary semisimple Frobenius manifold we construct Hodge integrable hierarchy of Hamiltonian partial differential equations. In the particular case of quantum cohomology the tau-function of a solution to the hierarchy generates the intersection numbers of the Gromov--Witten classes and their descendents along with the characteristic classes of Hodge bundles on the moduli spaces of stable maps. For the one-dimensional Frobenius manifold the Hodge hierarchy is a deformation of the Korteweg--de Vries hierarchy depending on an infinite number of parameters. Conjecturally this hierarchy is a universal object in the class of scalar Hamiltonian integrable hierarchies possessing tau-functions.

preprint2013arXiv

Uniqueness Theorem of W-Constraints for Simple Singularities

In a recent paper [3], Bakalov and Milanov proved that the total descendant potential of a simple singularity satisfies the W-constraints, which come from the W-algebra of the lattice vertex algebra associated to the root lattice of this singularity and a twisted module of this vertex algebra. In the present paper, we prove that the solution of these W-constraints is unique up to a constant factor, as conjectured by Bakalov and Milanov in their paper.

preprint2012arXiv

3D Model Assisted Image Segmentation

The problem of segmenting a given image into coherent regions is important in Computer Vision and many industrial applications require segmenting a known object into its components. Examples include identifying individual parts of a component for process control work in a manufacturing plant and identifying parts of a car from a photo for automatic damage detection. Unfortunately most of an object's parts of interest in such applications share the same pixel characteristics, having similar colour and texture. This makes segmenting the object into its components a non-trivial task for conventional image segmentation algorithms. In this paper, we propose a "Model Assisted Segmentation" method to tackle this problem. A 3D model of the object is registered over the given image by optimising a novel gradient based loss function. This registration obtains the full 3D pose from an image of the object. The image can have an arbitrary view of the object and is not limited to a particular set of views. The segmentation is subsequently performed using a level-set based method, using the projected contours of the registered 3D model as initialisation curves. The method is fully automatic and requires no user interaction. Also, the system does not require any prior training. We present our results on photographs of a real car.

preprint2011arXiv

Summarization and Matching of Density-Based Clusters in Streaming Environments

Density-based cluster mining is known to serve a broad range of applications ranging from stock trade analysis to moving object monitoring. Although methods for efficient extraction of density-based clusters have been studied in the literature, the problem of summarizing and matching of such clusters with arbitrary shapes and complex cluster structures remains unsolved. Therefore, the goal of our work is to extend the state-of-art of density-based cluster mining in streams from cluster extraction only to now also support analysis and management of the extracted clusters. Our work solves three major technical challenges. First, we propose a novel multi-resolution cluster summarization method, called Skeletal Grid Summarization (SGS), which captures the key features of density-based clusters, covering both their external shape and internal cluster structures. Second, in order to summarize the extracted clusters in real-time, we present an integrated computation strategy C-SGS, which piggybacks the generation of cluster summarizations within the online clustering process. Lastly, we design a mechanism to efficiently execute cluster matching queries, which identify similar clusters for given cluster of analyst's interest from clusters extracted earlier in the stream history. Our experimental study using real streaming data shows the clear superiority of our proposed methods in both efficiency and effectiveness for cluster summarization and cluster matching queries to other potential alternatives.

preprint2010arXiv

Start-up flow of a viscoelastic fluid in a pipe with fractional Maxwell's model

Unidirectional start-up flow of a viscoelastic fluid in a pipe with fractional Maxwell's model is studied. The flow starting from rest is driven by a constant pressure gradient in an infinite long straight pipe. By employing the method of variable separations and Heaviside operational calculus, we obtain the exact solution, from which the flow characteristics are investigated. It is found that the start-up motion of fractional Maxwell's fluid with parameters $α$ and $β$, tends to be at rest as time goes to infinity, except the case of $β=1$. This observation, which also can be predicted from the mechanics analogue of fractional Maxwell's model, agrees with the classical work of Friedrich and it indicates fractional Maxwell's fluid presents solid-like behavior if $\be\neq 1$ and fluid-like behavior if $\be=1$. For an arbitrary viscoelastic model, a conjecture is proposed to give an intuitive way judging whether it presents fluid-like or solid-like behavior. Also oscillations may occur before the fluid tends to the asymptotic behavior stated above, which is a common phenomenon for viscoelastic fluids.