-
We prove the conjectural relationship recently proposed in [9] between
certain special cubic Hodge integrals of the Gopakumar--Mari\~no--Vafa type
[17, 28] and GUE correlators, and the conjecture proposed in [7] that the
partition function of these Hodge integrals is a tau function of the discrete
KdV hierarchy.
-
For a simple Lie algebra $\mathfrak{g}$ and an irreducible faithful
representation $\pi$ of $\mathfrak{g}$, we introduce the Schur polynomials of
$(\mathfrak{g},\pi)$-type. We then derive the Sato-Zhou type formula for tau
functions of the Drinfeld-Sokolov (DS) hierarchy of $\mathfrak{g}$-type.
Namely, we show that the tau functions are linear combinations of the Schur
polynomials of $(\mathfrak{g},\pi)$-type with the coefficients being the
Pl\"ucker coordinates. As an application, we provide a way of computing
polynomial tau functions for the DS hierarchy. For $\mathfrak{g}$ of low rank,
we give several examples of polynomial tau functions, and use them to detect
bilinear equations for the DS hierarchy.
-
A conjectural formula for the $k$-point generating function of Gromov--Witten
invariants of the Riemann sphere for all genera and all degrees was proposed in
\cite{DY2}. In this paper, we give a proof of this formula together with an
explicit analytic (as opposed to formal) expression for the corresponding
matrix resolvent. We also give a formula for the $k$-point function as a sum of
$(k-1)!$ products of hypergeometric functions of one variable. We show that the
$k$-point generating function coincides with the $\epsilon\rightarrow 0$
asymptotics of the analytic $k$-point function, and also compute three more
asymptotics of the analytic function for $\epsilon\rightarrow \infty$,
$q\rightarrow 0$, $q\rightarrow\infty$, thus defining new invariants for the
Riemann sphere.
-
For a simple Lie algebra $\mathfrak{g}$, we derive a simple algorithm for
computing logarithmic derivatives of tau-functions of Drinfeld--Sokolov
hierarchy of $\mathfrak{g}$-type in terms of $\mathfrak{g}$-valued resolvents.
We show, for the topological solution to the lowest-weight-gauge
Drinfeld--Sokolov hierarchy of $\mathfrak{g}$-type, the resolvents evaluated at
zero satisfy the $\textit{topological ODE}$.
-
When programmers look for how to achieve certain programming tasks, Stack
Overflow is a popular destination in search engine results. Over the years,
Stack Overflow has accumulated an impressive knowledge base of snippets of code
that are amply documented. We are interested in studying how programmers use
these snippets of code in their projects. Can we find Stack Overflow snippets
in real projects? When snippets are used, is this copy literal or does it
suffer adaptations? And are these adaptations specializations required by the
idiosyncrasies of the target artifact, or are they motivated by specific
requirements of the programmer? The large-scale study presented on this paper
analyzes 909k non-fork Python projects hosted on Github, which contain 290M
function definitions, and 1.9M Python snippets captured in Stack Overflow.
Results are presented as quantitative analysis of block-level code cloning
intra and inter Stack Overflow and GitHub, and as an analysis of programming
behaviors through the qualitative analysis of our findings.
-
We propose a conjectural explicit formula of generating series of a new type
for Gromov--Witten invariants of $\mathbb{P}^1$ of all degrees in full genera.
-
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.
-
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.
-
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.
-
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.
-
A conjectural relationship between the GUE partition function with even
couplings and certain special cubic Hodge integrals over the moduli spaces of
stable algebraic curves is under consideration.
-
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.
-
We extend to the Toda lattice hierarchy the approach of [3, 4] to computation
of logarithmic derivatives of tau-functions in terms of the so-called matrix
resolvents of the corresponding differ- ence Lax operator. As a particular
application we obtain explicit generating series for connected GUE correlators.
On this basis an efficient recursive procedure for computing the correlators in
full genera is developed.
-
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.
-
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.
-
We derive an explicit generating function of correlations functions of an
arbitrary tau-function of the KdV hierarchy. In particular applications, our
formulation gives closed formul\ae\ of a new type for the generating series of
intersection numbers of $\psi$-classes as well as of mixed $\psi$- and
$\kappa$-classes in full genera.
-
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.
-
We derive a particular solution of the extended $r$-reduced KP hierarchy,
which is specified by a generalized string equation. The work is a
generalization to arbitrary $r\geq 2$ of Buryak's recent results of a solution
to the extended open KdV hierarchy which corresponds to $r=2$.
-
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.
-
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.
-
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.
-
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.
-
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.
-
The fluid dynamics video No.V058 is introduced, with brief descriptions of
the numerical method used to generate the animation data, explanation of what
is shown in the movies, and the main scientific findings obtained from this
study.
-
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 $\alpha$ and $\beta$, tends to be at rest as time goes to
infinity, except the case of $\beta=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.