title: Wavelet Domain Residual Network (WavResNet) for Low-Dose X-ray CT Reconstruction

abstract: Model based iterative reconstruction (MBIR) algorithms for low-dose X-ray CT are computationally complex because of the repeated use of the forward and backward projection. Inspired by this success of deep learning in computer vision applications, we recently proposed a deep convolutional neural network (CNN) for low-dose X-ray CT and won the second place in 2016 AAPM Low-Dose CT Grand Challenge. However, some of the texture are not fully recovered, which was unfamiliar to some radiologists. To cope with this problem, here we propose a direct residual learning approach on directional wavelet domain to solve this problem and to improve the performance against previous work. In particular, the new network estimates the noise of each input wavelet transform, and then the de-noised wavelet coefficients are obtained by subtracting the noise from the input wavelet transform bands. The experimental results confirm that the proposed network has significantly improved performance, preserving the detail texture of the original images.


title: Resonances for obstacles in hyperbolic space

abstract: We consider scattering by star-shaped obstacles in hyperbolic space and show that resonances satisfy a universal bound $\mathrm{Im}\,\lambda \leq -\frac{1}{2}$ which is optimal in dimension $2$. In odd dimensions we also show that $\mathrm{Im}\,\lambda \leq -\frac{\mu}{\rho}$ for a universal constant $\mu$, where $\rho$ is the radius of a ball containing the obstacle; this gives an improvement for small obstacles. In dimensions $3$ and higher the proofs follow the classical vector field approach of Morawetz, while in dimension $2$ we obtain our bound by working with spaces coming from general relativity. We also show that in odd dimensions resonances of small obstacles are close, in a suitable sense, to Euclidean resonances.


title: Truncated Bernoulli-Carlitz and truncated Cauchy-Carlitz numbers

abstract: In this paper, we define the truncated Bernoulli-Carlitz numbers and the truncated Cauchy-Carlitz numbers as analogues of hypergeometric Bernoulli numbers and hypergeometric Cauchy numbers, and as extensions of Bernoulli-Carlitz numbers and the Cauchy-Carlitz numbers. These numbers can be expressed explicitly in terms of incomplete Stirling-Carlitz numbers.


title: Looking at Outfit to Parse Clothing

abstract: This paper extends fully-convolutional neural networks (FCN) for the clothing parsing problem. Clothing parsing requires higher-level knowledge on clothing semantics and contextual cues to disambiguate fine-grained categories. We extend FCN architecture with a side-branch network which we refer outfit encoder to predict a consistent set of clothing labels to encourage combinatorial preference, and with conditional random field (CRF) to explicitly consider coherent label assignment to the given image. The empirical results using Fashionista and CFPD datasets show that our model achieves state-of-the-art performance in clothing parsing, without additional supervision during training. We also study the qualitative influence of annotation on the current clothing parsing benchmarks, with our Web-based tool for multi-scale pixel-wise annotation and manual refinement effort to the Fashionista dataset. Finally, we show that the image representation of the outfit encoder is useful for dress-up image retrieval application.


title: The generalization of charged AdS black hole specific volume and number density

abstract: In this paper, by proposing a generalized $specific~volume$, we restudy the $P-V$ criticality of charged AdS black holes in the extended phase space. The results show that most of the previous conclusions can be generalized without change, but the ratio $\tilde{\rho}_c$ should be $3 \tilde{\alpha}/16$ in general case. Further research on the thermodynamical phase transition of black hole leads us to a natural interpretation of our assumption, and more black hole properties can be generalized. Finally, we study the number density for charged AdS black hole in higher dimensions, the results show the necessity of our assumption.


title: Second Order, linear and unconditionally energy stable schemes for a hydrodynamic model of Smectic-A Liquid Crystals

abstract: In this paper, we consider the numerical approximations for a hydrodynamical model of smectic-A liquid crystals. The model, derived from the variational approach of the modified Oseen-Frank energy, is a highly nonlinear system that couples the incompressible Navier-Stokes equations and a constitutive equation for the layer variable. We develop two linear, second-order time-marching schemes based on the "Invariant Energy Quadratization" method for nonlinear terms in the constitutive equation, the projection method for the Navier-Stokes equations, and some subtle implicit-explicit treatments for the convective and stress terms. Moreover, we prove the well-posedness of the linear system and their unconditionally energy stabilities rigorously. Various numerical experiments are presented to demonstrate the stability and the accuracy of the numerical schemes in simulating the dynamics under shear flow and the magnetic field.


title: Wave decay for star-shaped obstacles in $\mathbb{R}^3$: papers of Morawetz and Ralston revisited

abstract: The purpose of this expository note is to revisit Morawetz's method for obtaining a lower bound on the rate of exponential decay of waves for the Dirichlet problem outside star-shaped obstacles, and to discuss the uniqueness of the sphere as the extremizer of the sharp lower bound proved by Ralston.


title: Possible signatures for tetraquarks from the decays of $a_0(980)$, $a_0(1450)$

abstract: Based on the recent proposal for the tetraquarks with the mixing scheme, we investigate fall-apart decays of $a_0(980), a_0(1450)$ into two lowest-lying mesons. This mixing scheme suggests that $a_0(980)$ and $a_0(1450)$ are the tetraquarks with the mixtures of two spin configurations of diquark and antidiquark. Due to the relative sign differences in the mixtures, the couplings of fall-apart decays into two mesons are strongly enhanced for $a_0(980)$ but suppressed for $a_0(1450)$. We report that this expectation is supported by their experimental decays. In particular, the ratios of the associated partial decay widths, which depend on some kinematical factors and the couplings, are found to be around $\Gamma [a_0(980)\rightarrow \pi \eta]/\Gamma [a_0(1450)\rightarrow \pi \eta] = 2.51-2.54$, $\Gamma [a_0(980)\rightarrow K\bar{K}]/\Gamma [a_0(1450)\rightarrow K\bar{K}] = 0.52-0.89$, which seems to agree with the experimental ratios reasonably well. This agreement can be interpreted as the tetraquark signatures for $a_0(980), a_0(1450)$.


title: Stability in a many-to-one job market with general increasing functions

abstract: We consider an occupation market in which preferences of members are treated as non linear general increasing functions. The arrangement of members is separated into two non over-lapping sets, set of workers and set of firms. We consider that firms have vacant posts. Every worker needs a job and firms have opportunity to contract more than one workers. A worker can work for just in at most one firm. We demonstrate the existence of pairwise stability for such a business sector. Our model is the augmentation of the Ali and Farooq [3] model by considering non linear valuations and bounded side payments.


title: Persistence modules with operators in Morse and Floer theory

abstract: We introduce a new notion of persistence modules endowed with operators. It encapsulates the additional structure on Floer-type persistence modules coming from the intersection product with classes in the ambient (quantum) homology, along with a few other geometric situations. We provide sample applications to the $C^0$-geometry of Morse functions and to Hofer's geometry of Hamiltonian diffeomorphisms, that go beyond spectral invariants and traditional persistent homology.


title: Understanding and Predicting Delay in Reciprocal Relations

abstract: Reciprocity in directed networks points to user's willingness to return favors in building mutual interactions. High reciprocity has been widely observed in many directed social media networks such as following relations in Twitter and Tumblr. Therefore, reciprocal relations between users are often regarded as a basic mechanism to create stable social ties and play a crucial role in the formation and evolution of networks. Each reciprocity relation is formed by two parasocial links in a back-and-forth manner with a time delay. Hence, understanding the delay can help us gain better insights into the underlying mechanisms of network dynamics. Meanwhile, the accurate prediction of delay has practical implications in advancing a variety of real-world applications such as friend recommendation and marketing campaign. For example, by knowing when will users follow back, service providers can focus on the users with a potential long reciprocal delay for effective targeted marketing. This paper presents the initial investigation of the time delay in reciprocal relations. Our study is based on a large-scale directed network from Tumblr that consists of 62.8 million users and 3.1 billion user following relations with a timespan of multiple years (from 31 Oct 2007 to 24 Jul 2013). We reveal a number of interesting patterns about the delay that motivate the development of a principled learning model to predict the delay in reciprocal relations. Experimental results on the above mentioned dynamic networks corroborate the effectiveness of the proposed delay prediction model.


title: CO~($J = 1-0$) Observations of a Filamentary Molecular Cloud in the Galactic Region Centered at $l = 150\arcdeg, b = 3.5\arcdeg$

abstract: We present large-field (4.25~$\times$~3.75 deg$^2$) mapping observations toward the Galactic region centered at $l = 150\arcdeg, b = 3.5\arcdeg$ in the $J = 1-0$ emission line of CO isotopologues ($^{12}$CO, $^{13}$CO, and C$^{18}$O), using the 13.7 m millimeter-wavelength telescope of the Purple Mountain Observatory. Based on the $^{13}$CO observations, we reveal a filamentary cloud in the Local Arm at a velocity range of $-$0.5 to 6.5~km~s$^{-1}$. This molecular cloud contains 1 main filament and 11 sub-filaments, showing the so-called "ridge-nest" structure. The main filament and three sub-filaments are also detected in the C$^{18}$O line. The velocity structures of most identified filaments display continuous distribution with slight velocity gradients. The measured median excitation temperature, line width, length, width, and linear mass of the filaments are $\sim$9.28~K, 0.85~km~s$^{-1}$, 7.30~pc, 0.79~pc, and 17.92~$M_\sun$~pc$^{-1}$, respectively, assuming a distance of 400~pc. We find that the four filaments detected in the C$^{18}$O line are thermally supercritical, and two of them are in the virialized state, and thus tend to be gravitationally bound. We identify in total 146 $^{13}$CO clumps in the cloud, about 77$\%$ of the clumps are distributed along the filaments. About 56$\%$ of the virialized clumps are found to be associated with the supercritical filaments. Three young stellar object (YSO) candidates are also identified in the supercritical filaments, based on the complementary infrared (IR) data. These results indicate that the supercritical filaments, especially the virialized filaments, may contain star-forming activities.


title: Dual wavefunction of the symplectic ice

abstract: The wavefunction of the free-fermion six-vertex model was found to give a natural realization of the Tokuyama combinatorial formula for the Schur polynomials by Bump-Brubaker-Friedberg. Recently, we studied the correspondence between the dual version of the wavefunction and the Schur polynomials, which gave rise to another combinatorial formula. In this paper, we extend the analysis to the reflecting boundary condition, and show the exact correspondence between the dual wavefunction and the symplectic Schur functions. This gives a dual version of the integrable model realization of the symplectic Schur functions by Ivanov. We also generalize to the correspondence between the wavefunction, the dual wavefunction of the six-vertex model and the factorial symplectic Schur functions by the inhomogeneous generalization of the model.


title: Stacking-based Deep Neural Network: Deep Analytic Network on Convolutional Spectral Histogram Features

abstract: Stacking-based deep neural network (S-DNN), in general, denotes a deep neural network (DNN) resemblance in terms of its very deep, feedforward network architecture. The typical S-DNN aggregates a variable number of individually learnable modules in series to assemble a DNN-alike alternative to the targeted object recognition tasks. This work likewise devises an S-DNN instantiation, dubbed deep analytic network (DAN), on top of the spectral histogram (SH) features. The DAN learning principle relies on ridge regression, and some key DNN constituents, specifically, rectified linear unit, fine-tuning, and normalization. The DAN aptitude is scrutinized on three repositories of varying domains, including FERET (faces), MNIST (handwritten digits), and CIFAR10 (natural objects). The empirical results unveil that DAN escalates the SH baseline performance over a sufficiently deep layer.


title: Machine Learning Applications in Estimating Transformer Loss of Life

abstract: Transformer life assessment and failure diagnostics have always been important problems for electric utility companies. Ambient temperature and load profile are the main factors which affect aging of the transformer insulation, and consequently, the transformer lifetime. The IEEE Std. C57.911995 provides a model for calculating the transformer loss of life based on ambient temperature and transformer's loading. In this paper, this standard is used to develop a data-driven static model for hourly estimation of the transformer loss of life. Among various machine learning methods for developing this static model, the Adaptive Network-Based Fuzzy Inference System (ANFIS) is selected. Numerical simulations demonstrate the effectiveness and the accuracy of the proposed ANFIS method compared with other relevant machine learning based methods to solve this problem.


title: Sparse Depth Sensing for Resource-Constrained Robots

abstract: We consider the case in which a robot has to navigate in an unknown environment but does not have enough on-board power or payload to carry a traditional depth sensor (e.g., a 3D lidar) and thus can only acquire a few (point-wise) depth measurements. We address the following question: is it possible to reconstruct the geometry of an unknown environment using sparse and incomplete depth measurements? Reconstruction from incomplete data is not possible in general, but when the robot operates in man-made environments, the depth exhibits some regularity (e.g., many planar surfaces with only a few edges); we leverage this regularity to infer depth from a small number of measurements. Our first contribution is a formulation of the depth reconstruction problem that bridges robot perception with the compressive sensing literature in signal processing. The second contribution includes a set of formal results that ascertain the exactness and stability of the depth reconstruction in 2D and 3D problems, and completely characterize the geometry of the profiles that we can reconstruct. Our third contribution is a set of practical algorithms for depth reconstruction: our formulation directly translates into algorithms for depth estimation based on convex programming. In real-world problems, these convex programs are very large and general-purpose solvers are relatively slow. For this reason, we discuss ad-hoc solvers that enable fast depth reconstruction in real problems. The last contribution is an extensive experimental evaluation in 2D and 3D problems, including Monte Carlo runs on simulated instances and testing on multiple real datasets. Empirical results confirm that the proposed approach ensures accurate depth reconstruction, outperforms interpolation-based strategies, and performs well even when the assumption of structured environment is violated.


title: Whispering gallery mode hybridization in photonic molecules

abstract: This work takes inspiration from chemistry where the spectral characteristics of the molecules are determined by hybridization of electronic states evolving from the individual atomic orbitals. Based on analogy between quantum mechanics and the classical electrodynamics, we sorted dielectric microspheres with almost identical positions of their whispering gallery mode (WGM) resonances. Using these microspheres as classical photonic atoms, we assembled them in a wide range of structures including linear chains and planar photonic molecules. We studied WGM hybridization effects in such structures using side coupling by tapered microfibers as well as finite difference time domain modeling. We demonstrated that the patterns of WGM spectral splitting are representative of the symmetry, number of constituting atoms and topology of the photonic molecules which in principle can be viewed as "spectral signatures" of various molecules. We also show new ways of controlling WGM coupling constants in such molecules. Excellent agreement was found between measured transmission spectra and spectral signatures of photonic molecules predicted by simulation.


title: A complement on representations of Hom-Lie algebras

abstract: In this paper, we give a new series of coboundary operators of Hom-Lie algebras. And prove that cohomology groups with respect to coboundary operators are isomorphic. Then, we revisit representations of Hom-Lie algebras, and generalize the relation between Lie algebras and their representations to Hom-Lie algebras.


title: A Categorification of the HOMFLY-PT Polynomial with a Spectral Sequence to Knot Floer Homology

abstract: Let $E_{k}^{F}(D)$ be the spectral sequence induced by the oriented cube of resolutions on knot Floer homology. We prove that $E_{2}^{F}(D)$ is a triply graded link invariant whose graded Euler characteristic is the HOMFLY-PT polynomial and that the higher pages are link invariants. By construction, the spectral sequence converges to knot Floer homology. We show that the rank of the torsion-free part of $E_{2}^{F}(D)$ is the rank of HOMFLY-PT homology.


title: Skin Lesion Classification Using Deep Multi-scale Convolutional Neural Networks

abstract: We present a deep learning approach to the ISIC 2017 Skin Lesion Classification Challenge using a multi-scale convolutional neural network. Our approach utilizes an Inception-v3 network pre-trained on the ImageNet dataset, which is fine-tuned for skin lesion classification using two different scales of input images.


title: Inverse spectral problems for the Sturm-Liouville operator with discontinuity

abstract: In this work, we consider the Sturm-Liouville operator on a finite interval $[0,1]$ with discontinuous conditions at $1/2$. We prove that if the potential is known a priori on a subinterval $[b,1]$ with $b\ge1/2$, then parts of two spectra can uniquely determine the potential and all parameters in discontinuous conditions and boundary conditions. For the case $b<1/2$, parts of either one or two spectra can uniquely determine the potential and a part of parameters.


title: Diffeological De Rham operators

abstract: We consider the notion of the De Rham operator on finite-dimensional diffeological spaces such that the diffeological counterpart \Lambda^1(X) of the cotangent bundle, the so-called pseudo-bundle of values of differential 1-forms, has bounded dimension. The operator is defined as the composition of the Levi-Civita connection on the exterior algebra pseudo-bundle \bigwedge(\Lambda^1(X)) with the standardly defined Clifford action by \Lambda^1(X); the latter is therefore assumed to admit a pseudo-metric for which there exists a Levi-Civita connection. Under these assumptions, the definition is fully analogous the standard case, and our main conclusion is that this is the only way to define the De Rham operator on a diffeological space, since we show that there is not a straightforward counterpart of the definition of the De Rham operator as the sum d+d^* of the exterior differential with its adjoint. We show along the way that other connected notions do not have full counterparts, in terms of the function they are supposed to fulfill, either; this regards, for instance, volume forms, the Hodge star, and the distinction between the $k$-th exterior degree of \Lambda^1(X) and the pseudo-bundle of differential k-forms \Lambda^k(X).


title: Convex recovery of continuous domain piecewise constant images from non-uniform Fourier samples

abstract: We consider the recovery of a continuous domain piecewise constant image from its non-uniform Fourier samples using a convex matrix completion algorithm. We assume the discontinuities/edges of the image are localized to the zero levelset of a bandlimited function. This assumption induces linear dependencies between the Fourier coefficients of the image, which results in a two-fold block Toeplitz matrix constructed from the Fourier coefficients being low-rank. The proposed algorithm reformulates the recovery of the unknown Fourier coefficients as a structured low-rank matrix completion problem, where the nuclear norm of the matrix is minimized subject to structure and data constraints. We show that exact recovery is possible with high probability when the edge set of the image satisfies an incoherency property. We also show that the incoherency property is dependent on the geometry of the edge set curve, implying higher sampling burden for smaller curves. This paper generalizes recent work on the super-resolution recovery of isolated Diracs or signals with finite rate of innovation to the recovery of piecewise constant images.


title: Impact of Anisotropy on Antiferromagnet Rotation in Heusler-type Ferromagnet/Antiferromagnet Epitaxial Bilayers

abstract: We report the magnetotransport properties of ferromagnet (FM)/antiferromagnet (AFM) Fe$_2$CrSi/Ru$_2$MnGe epitaxial bilayers using current-in-plane configurations. Above the critical thickness of the Ru$_2$MnGe layer to induce exchange bias, symmetric and asymmetric curves were observed in response to the direction of FM magnetocrystalline anisotropy. Because each magnetoresistance curve showed full and partial AFM rotation, the magnetoresistance curves imply the impact of the Fe$_2$CrSi magnetocrystalline anisotropy to govern the AFM rotation. The maximum magnitude of the angular-dependent resistance-change ratio of the bilayers is more than an order of magnitude larger than that of single-layer Fe$_2$CrSi films, resulting from the reorientation of AFM spins via the FM rotation. These results highlight the essential role of controlling the AFM rotation and reveal a facile approach to detect the AFM moment even in current-in-plane configurations in FM/AFM bilayers.


title: Discovery of a satellite of the large trans-Neptunian object (225088) 2007OR10

abstract: 2007OR10 is currently the third largest known dwarf planet in the transneptunian region, with an effective radiometric diameter of ~1535 km. It has a slow rotation period of ~45 h that was suspected to be caused by tidal interactions with a satellite undetected at that time. Here we report on the discovery of a likely moon of 2007OR10, identified on archival Hubble Space Telescope WFC3/UVIS system images. Although the satellite is detected at two epochs, this does not allow an unambiguous determination of the orbit and the orbital period. A feasible 1.5-5.8x10^21 kg estimate for the system mass leads to a likely 35 to 100 d orbital period. The moon is about 4.2m fainter than 2007OR10 in HST images that corresponds to a diameter of 237 km assuming equal albedos with the primary. Due to the relatively small size of the moon the previous size and albedo estimates for the primary remains unchanged. With this discovery all trans-Neptunian objects larger than 1000 km are now known to harbour satellites, an important constraint for moon formation theories in the young Solar system.


title: Special multiserial algebras, Brauer configuration algebras and more : a survey

abstract: We survey results on multiserial algebras, special multiserial algebras and Brauer configuration algebras. A structural property of modules over a special multiserial algebra is presented. Almost gentle algebras are introduced and we describe some results related to this class of algebras. We also report on the structure of radical cubed zero symmetric algebras.


title: Tachyon warm inflation with the effects of Loop Quantum Cosmology in the light of Planck 2015

abstract: We investigate the observational signatures of quantum cosmology in the Cosmic Microwave Background data provided by Planck collaboration. We apply the warm inflationary paradigm with a tachyon scalar field to the loop quantum cosmology. In this context, we first provide the basic cosmological functions in terms of the tachyon field. We then obtain the slow-roll parameters and the power spectrum of scalar and tensor fluctuations respectively. Finally, we study the performance of various warm inflationary scenarios against the latest Planck data and we find a family of models which are in agreement with the observations.


title: Steiner Distance in Product Networks

abstract: For a connected graph $G$ of order at least $2$ and $S\subseteq V(G)$, the \emph{Steiner distance} $d_G(S)$ among the vertices of $S$ is the minimum size among all connected subgraphs whose vertex sets contain $S$. Let $n$ and $k$ be two integers with $2\leq k\leq n$. Then the \emph{Steiner $k$-eccentricity $e_k(v)$} of a vertex $v$ of $G$ is defined by $e_k(v)=\max \{d_G(S)\,|\,S\subseteq V(G), \ |S|=k, \ and \ v\in S\}$. Furthermore, the \emph{Steiner $k$-diameter} of $G$ is $sdiam_k(G)=\max \{e_k(v)\,|\, v\in V(G)\}$. In this paper, we investigate the Steiner distance and Steiner $k$-diameter of Cartesian and lexicographical product graphs. Also, we study the Steiner $k$-diameter of some networks.


title: Vortex states and spin textures of rotating spin-orbit-coupled Bose-Einstein condensates in a toroidal trap

abstract: We consider the ground-state properties of Rashba spin-orbit-coupled pseudo-spin-1/2 Bose-Einstein condensates (BECs) in a rotating two-dimensional (2D) toroidal trap. In the absence of spin-orbit coupling (SOC), the increasing rotation frequency enhances the creation of giant vortices for the initially miscible BECs, while it can lead to the formation of semiring density patterns with irregular hidden vortex structures for the initially immiscible BECs. Without rotation, strong 2D isotropic SOC yields a heliciform-stripe phase for the initially immiscible BECs. Combined effects of rotation, SOC, and interatomic interactions on the vortex structures and typical spin textures of the ground state of the system are discussed systematically. In particular, for fixed rotation frequency above the critical value, the increasing isotropic SOC favors a visible vortex ring in each component which is accompanied by a hidden giant vortex plus a (several) hidden vortex ring(s) in the central region. In the case of 1D anisotropic SOC, large SOC strength results in the generation of hidden linear vortex string and the transition from initial phase separation (phase mixing) to phase mixing (phase separation). Furthermore, the peculiar spin textures including skyrmion lattice, skyrmion pair and skyrmion string are revealed in this system.


title: Nanostructured graphene for spintronics

abstract: Zigzag edges of the honeycomb structure of graphene exhibit magnetic polarization making them attractive as building blocks for spintronic devices. Here, we show that devices with zigzag edged triangular antidots perform essential spintronic functionalities, such as spatial spin-splitting or spin filtering of unpolarized incoming currents. Near-perfect performance can be obtained with optimized structures. The device performance is robust against substantial disorder. The gate-voltage dependence of transverse resistance is qualitatively different for spin-polarized and spin-unpolarized devices, and can be used as a diagnostic tool. Importantly, the suggested devices are feasible within current technologies.


title: Parameters of Three Selected Model Galactic Potentials Based on the Velocities of Objects at Distances up to 200 kpc

abstract: This paper is a continuation of our recent paper devoted to refining the parameters of three component (bulge, disk, halo) axisymmetric model Galactic gravitational potentials differing by the expression for the dark matter halo using the velocities of distant objects. In all models the bulge and disk potentials are described by the Miyamoto-Nagai expressions. In our previous paper we used the Allen-Santill'an (I), Wilkinson--Evans (II), and Navarro-Frenk-White (III) models to describe the halo. In this paper we use a spherical logarithmic Binney potential (model IV), a Plummer sphere (model V), and a Hernquist potential (model VI) to describe the halo. A set of present-day observational data in the range of Galactocentric distances R from 0 to 200 kpc is used to refine the parameters of the listed models, which are employed most commonly at present. The model rotation curves are fitted to the observed velocities by taking into account the constraints on the local matter density and the vertical force . Model VI looks best among the three models considered here from the viewpoint of the achieved accuracy of fitting the model rotation curves to the measurements. This model is close to the Navarro-Frenk-White model III refined and considered best in our previous paper, which is shown using the integration of the orbits of two globular clusters, Lynga 7 and NGC 5053, as an example.


title: The Zetafast algorithm for computing zeta functions

abstract: We express the Riemann zeta function $\zeta\left(s\right)$ of argument $s=\sigma+i\tau$ with imaginary part $\tau$ in terms of three absolutely convergent series. The resulting simple algorithm allows to compute, to arbitrary precision, $\zeta\left(s\right)$ and its derivatives using at most $C\left(\epsilon\right)\left|\tau\right|^{\frac{1}{2}+\epsilon}$ summands for any $\epsilon>0$, with explicit error bounds. It can be regarded as a quantitative version of the approximate functional equation. The numerical implementation is straightforward. The approach works for any type of zeta function with a similar functional equation such as Dirichlet $L$-functions, or the Davenport-Heilbronn type zeta functions.


title: A Covariant Version of Verlinde's Emergent Gravity

abstract: A generally covariant version of Erik Verlinde's emergent gravity model is proposed. The Lagrangian constructed here allows an improved interpretation of the underlying mechanism. It suggests that de-Sitter space is filled with a vector-field that couples to baryonic matter and, by dragging on it, creates an effect similar to dark matter. We solve the covariant equation of motion in the background of a Schwarzschild space-time and obtain correction terms to the non-covariant expression. Furthermore, we demonstrate that the vector field can also mimic dark energy.


title: Real-Time Trajectory Replanning for MAVs using Uniform B-splines and a 3D Circular Buffer

abstract: In this paper, we present a real-time approach to local trajectory replanning for microaerial vehicles (MAVs). Current trajectory generation methods for multicopters achieve high success rates in cluttered environments, but assume that the environment is static and require prior knowledge of the map. In the presented study, we use the results of such planners and extend them with a local replanning algorithm that can handle unmodeled (possibly dynamic) obstacles while keeping the MAV close to the global trajectory. To ensure that the proposed approach is real-time capable, we maintain information about the environment around the MAV in an occupancy grid stored in a three-dimensional circular buffer, which moves together with a drone, and represent the trajectories by using uniform B-splines. This representation ensures that the trajectory is sufficiently smooth and simultaneously allows for efficient optimization.


title: Belitskii's canonical forms of linear dynamical systems

abstract: In the note, all indecomposable canonical forms of linear systems with dimension less than or equal to $4$ are determined based on Belitskii's algorithm. As an application, an effective way to calculate dimensions of equivalence classes of linear systems is given by using Belitskii's canonical forms.


title: Approximation of Entropy Numbers

abstract: The purpose of this article is to develop a technique to estimate certain bounds for entropy numbers of diagonal operator on spaces of p-summable sequences for finite p greater than 1. The approximation method we develop in this direction works for a very general class of operators between Banach spaces, in particular reflexive spaces. As a consequence of this technique we also obtain that the entropy number of a bounded linear operator T between two separable Hilbert spaces is equal to the entropy number of the adjoint of T. This gives a complete answer to the question posed by B. Carl [4] in the setting of separable Hilbert spaces.


title: Mechanism of Contact between a Droplet and an Atomically Smooth Substrate

abstract: When a droplet gently lands on an atomically smooth substrate, it will most likely contact the underlying surface in about 0.1 s. However, theoretical estimation from fluid mechanics predicts a contact time of 10 to 100 s. What causes this large discrepancy, and how does nature speed up contact by 2 orders of magnitude? To probe this fundamental question, we prepare atomically smooth substrates by either coating a liquid film on glass or using a freshly cleaved mica surface, and visualize the droplet contact dynamics with 30 nm resolution. Interestingly, we discover two distinct speed-up approaches: (1) droplet skidding due to even minute perturbations breaks rotational symmetry and produces early contact at the thinnest gap location, and (2) for the unperturbed situation with rotational symmetry, a previously unnoticed boundary flow around only 0.1 mm/s expedites air drainage by over 1 order of magnitude. Together, these two mechanisms universally explain general contact phenomena on smooth substrates. The fundamental discoveries shed new light on contact and drainage research.


title: Exact phase diagram and topological phase transitions of the XYZ spin chain

abstract: Within the block spin renormalization group we are able to construct the "exact" phase diagram of the XYZ spin chain. First we identify the Ising order along $\hat x$ or $\hat y$ as attractive renormalization group fixed points of the Kitaev chain. Then in a global phase space composed of the anisotropy $\lambda$ of the XY interaction and the coupling $\Delta$ of the $\Delta\sigma^z\sigma^z$ interaction we find that the above fixed points remain attractive in the two dimesional parameter space. We therefore classify the gapped phases of the XYZ spin chain as: (1) either attracted to the Ising limit of the Kitaev-chain which in turn is characterized by winding number $\pm 1$ depending whether the Ising order parameter is along $\hat x$ or $\hat y$ directions; or (2) attracted to the Mott phases of the underlying Jordan-Wigner fermions which is characterized by zero winding number. We therefore establish that the exact phase boundaries of the XYZ model in Baxter's solution indeed correspond to topological phase transitions. The topological nature of the phase transitions of the XYZ model justifies why our analytical solution of the three-site problem which is at the core of the renormalization group treatment is able to produce the exact phase diagram of Baxter's solution. We argue that the distribution of the winding numbers between the three Ising phases is a matter of choice of the coordinate system, and therefore the Mott-Ising phase is entitled to host apprpriate form of zero modes. We further observe that the renormalization group flow can be cast into a geometric progression of a properly identified parameter. We show that this new parameter is actually the size of the (Majorana) zero modes.


title: Approximate $l_0$-penalized estimation of piecewise-constant signals on graphs

abstract: We study recovery of piecewise-constant signals on graphs by the estimator minimizing an $l_0$-edge-penalized objective. Although exact minimization of this objective may be computationally intractable, we show that the same statistical risk guarantees are achieved by the $\alpha$-expansion algorithm which computes an approximate minimizer in polynomial time. We establish that for graphs with small average vertex degree, these guarantees are minimax rate-optimal over classes of edge-sparse signals. For spatially inhomogeneous graphs, we propose minimization of an edge-weighted objective where each edge is weighted by its effective resistance or another measure of its contribution to the graph's connectivity. We establish minimax optimality of the resulting estimators over corresponding edge-weighted sparsity classes. We show theoretically that these risk guarantees are not always achieved by the estimator minimizing the $l_1$/total-variation relaxation, and empirically that the $l_0$-based estimates are more accurate in high signal-to-noise settings.


title: $\mbox{Rb}_{2}\mbox{Ti}_2\mbox{O}_{5-\delta}$: A superionic conductor with colossal dielectric constant

abstract: Electrical conductivity and high dielectric constant are in principle self-excluding, which makes the terms insulator and dielectric usually synonymous. This is certainly true when the electrical carriers are electrons, but not necessarily in a material where ions are extremely mobile, electronic conduction is negligible and the charge transfer at the interface is immaterial. Here we demonstrate in a perovskite-derived structure containing five-coordinated Ti atoms, a colossal dielectric constant (up to $\mbox{10}^9$) together with very high ionic conduction $\mbox{10}^{-3}\mbox{S.cm}^{-1}$ at room temperature. Coupled investigations of I-V and dielectric constant behavior allow to demonstrate that, due to ion migration and accumulation, this material behaves like a giant dipole, exhibiting colossal electrical polarization (of the order of $\mbox{0.1\,C.cm}^{-2}$). Therefore, it may be considered as a "ferro-ionet" and is extremely promising in terms of applications.


title: Soft Pneumatic Gelatin Actuator for Edible Robotics

abstract: We present a fully edible pneumatic actuator based on gelatin-glycerol composite. The actuator is monolithic, fabricated via a molding process, and measures 90 mm in length, 20 mm in width, and 17 mm in thickness. Thanks to the composite mechanical characteristics similar to those of silicone elastomers, the actuator exhibits a bending angle of 170.3 {\deg} and a blocked force of 0.34 N at the applied pressure of 25 kPa. These values are comparable to elastomer based pneumatic actuators. As a validation example, two actuators are integrated to form a gripper capable of handling various objects, highlighting the high performance and applicability of the edible actuator. These edible actuators, combined with other recent edible materials and electronics, could lay the foundation for a new type of edible robots.


title: Seven temperate terrestrial planets around the nearby ultracool dwarf star TRAPPIST-1

abstract: One focus of modern astronomy is to detect temperate terrestrial exoplanets well-suited for atmospheric characterisation. A milestone was recently achieved with the detection of three Earth-sized planets transiting (i.e. passing in front of) a star just 8% the mass of the Sun 12 parsecs away. Indeed, the transiting configuration of these planets with the Jupiter-like size of their host star - named TRAPPIST-1 - makes possible in-depth studies of their atmospheric properties with current and future astronomical facilities. Here we report the results of an intensive photometric monitoring campaign of that star from the ground and with the Spitzer Space Telescope. Our observations reveal that at least seven planets with sizes and masses similar to the Earth revolve around TRAPPIST-1. The six inner planets form a near-resonant chain such that their orbital periods (1.51, 2.42, 4.04, 6.06, 9.21, 12.35 days) are near ratios of small integers. This architecture suggests that the planets formed farther from the star and migrated inward. The seven planets have equilibrium temperatures low enough to make possible liquid water on their surfaces.


title: Deep Matching Prior Network: Toward Tighter Multi-oriented Text Detection

abstract: Detecting incidental scene text is a challenging task because of multi-orientation, perspective distortion, and variation of text size, color and scale. Retrospective research has only focused on using rectangular bounding box or horizontal sliding window to localize text, which may result in redundant background noise, unnecessary overlap or even information loss. To address these issues, we propose a new Convolutional Neural Networks (CNNs) based method, named Deep Matching Prior Network (DMPNet), to detect text with tighter quadrangle. First, we use quadrilateral sliding windows in several specific intermediate convolutional layers to roughly recall the text with higher overlapping area and then a shared Monte-Carlo method is proposed for fast and accurate computing of the polygonal areas. After that, we designed a sequential protocol for relative regression which can exactly predict text with compact quadrangle. Moreover, a auxiliary smooth Ln loss is also proposed for further regressing the position of text, which has better overall performance than L2 loss and smooth L1 loss in terms of robustness and stability. The effectiveness of our approach is evaluated on a public word-level, multi-oriented scene text database, ICDAR 2015 Robust Reading Competition Challenge 4 "Incidental scene text localization". The performance of our method is evaluated by using F-measure and found to be 70.64%, outperforming the existing state-of-the-art method with F-measure 63.76%.


title: Building Interoperable and Cross-Domain Semantic Web of Things Applications

abstract: The Web of Things (WoT) is rapidly growing in popularity getting the interest of not only technologist and scientific communities but industrial, system integrators and solution providers. The key aspect of the WoT to succeed is the relatively, easy-to-build ecosystems nature inherited from the web and the capacity for building end-to-end solutions. At the WoT connecting physical devices such as sensors, RFID tags or any devices that can send data through the Internet using the Web is almost automatic. The WoT shared data can be used to build smarter solutions that offer business services in the form of IoT applications. In this chapter, we review the main WoT challenges, with particular interest on highlighting those that rely on combining heterogeneous IoT data for the design of smarter services and applications and that benefit from data interoperability. Semantic web technologies help for overcoming with such challenges by addressing, among other ones the following objectives: 1) semantically annotating and unifying heterogeneous data, 2) enriching semantic WoT datasets with external knowledge graphs, and 3) providing an analysis of data by means of reasoning mechanisms to infer meaningful information. To overcome the challenge of building interoperable semantics-based IoT applications, the Machine-to-Machine Measurement (M3) semantic engine has been designed to semantically annotate WoT data, build the logic of smarter services and deduce meaningful knowledge by linking it to the external knowledge graphs available on the web. M3 assists application and business developers in designing interoperable Semantic Web of Things applications. Contributions in the context of European semantic-based WoT projects are discussed and a particular use case within FIESTA-IoT project is presented.


title: Phonon transport in $\mathrm{Na_2He}$ at high pressure from a first-principles study

abstract: Phonon transport of recently-fabricated $\mathrm{Na_2He}$ at high pressure is investigated from a combination of first-principles calculations and the linearized phonon Boltzmann equation within the single-mode relaxation time approximation (RTA). The calculated room-temperature lattice thermal conductivity is 149.19 $\mathrm{W m^{-1} K^{-1}}$, which is very close to one of Si. It is found that low-frequency optical modes comprise 16\% of the lattice thermal conductivity, while high-frequency optical modes have negligible contribution. The high lattice thermal conductivity is due to large group velocities, small Gr$\mathrm{\ddot{u}}$neisen parameters, and long phonon lifetimes. The size effects on lattice thermal conductivity are considered by cumulative thermal conductivity with respect to phonon mean free path(MFP). To significantly reduce the lattice thermal conductivity, the characteristic length smaller than 100 nm is required, and can reach a decrease of 36\%. These results may be useful to understand thermal transport processes that occur inside giant planets.


title: Molecular dynamics simulation of melting of finite and infinite size silicene

abstract: We report the melting temperature of free-standing silicene by carrying out molecular dynamics (MD) simulation experiments using optimzed Stillinger-Weber (SW) potential by Zhang {\it et al.}. The melting scenario of a free-standing silicene is well captured visually in our MD simulations. The data are systematically analyzed using a few qualitatively different indicators, including caloric curve, radial distribution function and a numerical indicator known as `global similarity index'. The optimized SW potential consistently yield a melting temperature of 1500~K for the simulated free-standing, infinite silicene.


title: Conduction at the onset of chaos

abstract: After a general discussion of the thermodynamics of conductive processes, we introduce specific observables enabling the connection of the diffusive transport properties with the microscopic dynamics. We solve the case of Brownian particles, both analytically and numerically, and address then whether aspects of the classic Onsager's picture generalize to the non-local non-reversible dynamics described by logistic map iterates. While in the chaotic case numerical evidence of a monotonic relaxation is found, at the onset of chaos complex relaxation patterns emerge.


title: Two massive rocky planets transiting a K-dwarf 6.5 parsecs away

abstract: HD 219134 is a K-dwarf star at a distance of 6.5 parsecs around which several low-mass planets were recently discovered. The Spitzer space telescope detected a transit of the innermost of these planets, HD 219134 b, whose mass and radius (4.5 MEarth and 1.6 REarth respectively) are consistent with a rocky composition. Here, we report new highprecision time-series photometry of the star acquired with Spitzer revealing that the second innermost planet of the system, HD 219134 c, is also transiting. A global analysis of the Spitzer transit light curves and the most up-to-date HARPS-N velocity data set yields mass and radius estimations of 4.74+-0.19 MEarth and 1.602+-0.055 REarth for HD 219134 b, and of 4.36+-0.22 MEarth and 1.511+-0.047 REarth for HD 219134 c. These values suggest rocky compositions for both planets. Thanks to the proximity and the small size of their host star (0.778+-0.005 Rsun), these two transiting exoplanets - the nearest to the Earth to date - are well-suited for a detailed characterization (precision of a few percent on mass and radius, constraints on the atmospheric properties...) that could give important constraints on the nature and formation mechanism of the ubiquitous short-period planets of a few Earth masses.


title: Studies of the hybrid star structure within 2+1 flavors NJL model

abstract: In this paper we use the equation of state (EOS) of 2+1 flavors Nambu-Jona-Lasinio (NJL) model to study the structure of compact stars. To avoid the ultraviolet divergence, we employ the proper-time regularization (PTR) with an ultraviolet cutoff. For comparison, we fix three sets of parameters, where the constraints of chemical equilibrium and electric charge neutrality conditions are taken into consideration. With a certain interpolation method in the crossover region, we construct three corresponding hybrid EOSs but find that the maximum masses of hybrid stars in the three different cases don't differ too much. It should be pointed out that, the results we get are in accordance with the recent astro-observation PSR J0348+0432, PSR J1614-2230, PSR J1946+3417.


title: Noncoherent Analog Network Coding using LDPC-coded FSK

abstract: Analog network coding (ANC) is a throughput increasing technique for the two-way relay channel (TWRC) whereby two end nodes transmit simultaneously to a relay at the same time and band, followed by the relay broadcasting the received sum of signals to the end nodes. Coherent reception under ANC is challenging due to requiring oscillator synchronization for all nodes, a problem further exacerbated by Doppler shift. This work develops a noncoherent M-ary frequency-shift keyed (FSK) demodulator implementing ANC. The demodulator produces soft outputs suitable for use with capacity-approaching channel codes and supports information feedback from the channel decoder. A unique aspect of the formulation is the presence of an infinite summation in the received symbol probability density function. Detection and channel decoding succeed when the truncated summation contains a sufficient number of terms. Bit error rate performance is investigated by Monte Carlo simulation, considering modulation orders two, four and eight, channel coded and uncoded operation, and with and without information feedback from decoder to demodulator. The channel code considered for simulation is the LDPC code defined by the DVB-S2 standard. To our knowledge this work is the first to develop a noncoherent soft-output demodulator for ANC.


title: Quantum Nuclear Pasta and Nuclear Symmetry Energy

abstract: Complex and exotic nuclear geometries are expected to appear naturally in dense nuclear matter found in the crust of neutron stars and supernovae environment collectively referred to as nuclear pasta. The pasta geometries depend on the average baryon density, proton fraction and temperature and are critically important in the determination of many transport properties of matter in supernovae and the crust of neutron stars. Using a set of self-consistent microscopic nuclear energy density functionals we present the first results of large scale quantum simulations of pasta phases at baryon densities $0.03 \leq \rho \leq 0.10$ fm$^{-3}$, proton fractions $0.05 \leq Y_p \leq 0.40$, and zero temperature. The full quantum simulations, in particular, allow us to thoroughly investigate the role and impact of the nuclear symmetry energy on pasta configurations. We use the Sky3D code that solves the Skyrme Hartree-Fock equations on a three-dimensional Cartesian grid. For the nuclear interaction we use the state of the art UNEDF1 parametrization, which was introduced to study largely deformed nuclei, hence is suitable for studies of the nuclear pasta. Density dependence of the nuclear symmetry energy is simulated by tuning two purely isovector observables that are insensitive to the current available experimental data. We find that a minimum total number of nucleons $A=2000$ is necessary to prevent the results from containing spurious shell effects and to minimize finite size effects. We find that a variety of nuclear pasta geometries are present in the neutron star crust and the result strongly depends on the nuclear symmetry energy. The impact of the nuclear symmetry energy is less pronounced as the proton fractions increase. Quantum nuclear pasta calculations at $T=0$ MeV are shown to get easily trapped in meta-stable states, and possible remedies to avoid meta-stable solutions are discussed.

categories: nucl-th astro-ph.SR nucl-ex physics.comp-ph


title: On locally compact semitopological $0$-bisimple inverse $\omega$-semigroups

abstract: We describe the structure of Hausdorff locally compact semitopological $0$-bisimple inverse $\omega$-semigroups with compact maximal subgroups. In particular, we show that a Hausdorff locally compact semitopological $0$-bisimple inverse $\omega$-semigroup with a compact maximal subgroup is either compact or topologically isomorphic to the topological sum of its $\mathscr{H}$-classes. We describe the structure of Hausdorff locally compact semitopological $0$-bisimple inverse $\omega$-semigroups with a monothetic maximal subgroups. In particular we prove the dichotomy for $T_1$ locally compact semitopological Reilly semigroup $\left(\textbf{B}(\mathbb{Z}_{+},\theta)^0,\tau\right)$ with adjoined zero and with a non-annihilating homomorphism $\theta\colon \mathbb{Z}_{+}\to \mathbb{Z}_{+}$: $\left(\textbf{B}(\mathbb{Z}_{+},\theta)^0,\tau\right)$ is either compact or discrete. At the end we discuss on the remainder under the closure of the discrete Reilly semigroup $\textbf{B}(\mathbb{Z}_{+},\theta)^0$ in a semitopological semigroup.


title: Robust Wrapping-free Phase Retrieval Method Based on Weighted Least-square Method

abstract: For many profilometry techniques, phase unwrapping is one of the most challenging process. In order to sidestep the phase unwrapping process, Perciante et. al [Appl Opt 2015; 54(10):3018-23] proposed a wrapping-free method based on the direct integration of the spatial derivatives of the patterns to retrieve the phase. But it is only applicable for the case of the phase continuity for the tested object, which means it may fail to handle fringe patterns containing complicated singularities, such as noise, shadow, shears and surface discontinuity. In view of this problems, a robust wrapping-free phase retrieval method is proposed in this paper, which is based on combined Perciante's method and weighted least-squares method. Two partial derivatives of the desired phase is obtained from the fringe patterns, meanwhile the carrier is eliminated using direct phase difference method. The phase singularities are determined using derivative variance correlation map (DVCM), and the weighting coefficient is obtained from the binary mask of the reverse DVCM. Simulations and experiments are conducted to prove the validity of the proposed method. Results are analyzed and compared with those of Perciante's method, demonstrating that the proposed method can be available for measuring objects with some kinds of singularities sources.


title: Search for axions in streaming dark matter

abstract: A new search strategy for the detection of the elusive dark matter (DM) axion is proposed. The idea is based on streaming DM axions, whose flux might get temporally enormously enhanced due to gravitational lensing. This can happen if the Sun or some planet (including the Moon) is found along the direction of a DM stream propagating towards the Earth location. The experimental requirements to the axion haloscope are a wide-band performance combined with a fast axion rest mass scanning mode, which are feasible. Once both conditions have been implemented in a haloscope, the axion search can continue parasitically almost as before. Interestingly, some new DM axion detectors are operating wide-band by default. In order not to miss the actually unpredictable timing of a potential short duration signal, a network of co-ordinated axion antennae is required, preferentially distributed world-wide. The reasoning presented here for the axions applies to some degree also to any other DM candidates like the WIMPs.


title: Automated Top View Registration of Broadcast Football Videos

abstract: In this paper, we propose a novel method to register football broadcast video frames on the static top view model of the playing surface. The proposed method is fully automatic in contrast to the current state of the art which requires manual initialization of point correspondences between the image and the static model. Automatic registration using existing approaches has been difficult due to the lack of sufficient point correspondences. We investigate an alternate approach exploiting the edge information from the line markings on the field. We formulate the registration problem as a nearest neighbour search over a synthetically generated dictionary of edge map and homography pairs. The synthetic dictionary generation allows us to exhaustively cover a wide variety of camera angles and positions and reduce this problem to a minimal per-frame edge map matching procedure. We show that the per-frame results can be improved in videos using an optimization framework for temporal camera stabilization. We demonstrate the efficacy of our approach by presenting extensive results on a dataset collected from matches of football World Cup 2014.


title: Charmonium ground and excited states at finite temperature from complex Borel sum rules

abstract: Charmonium spectral functions in vector and pseudoscalar channels at finite temperature are investigated through the complex Borel sum rules and the maximum entropy method. Our approach enables us to extract the peaks corresponding to the excited charmonia, $\psi^\prime$ and $\eta_c^\prime$, as well as those of the ground states, $J/\psi$ and $\eta_c$, which has never been achieved in usual QCD sum rule analyses. We show the spectral functions in vacuum and their thermal modification around the critical temperature, which leads to the almost simultaneous melting (or peak disappearance) of the ground and excited states.


title: On the set of optimal homeomorphisms for the natural pseudo-distance associated with the Lie group S^1

abstract: If $\varphi$ and $\psi$ are two continuous real-valued functions defined on a compact topological space $X$ and $G$ is a subgroup of the group of all homeomorphisms of $X$ onto itself, the natural pseudo-distance $d_G(\varphi,\psi)$ is defined as the infimum of $\mathcal{L}(g)=\|\varphi-\psi \circ g \|_\infty$, as $g$ varies in $G$. In this paper, we make a first step towards extending the study of this concept to the case of Lie groups, by assuming $X=G=S^1$. In particular, we study the set of the optimal homeomorphisms for $d_G$, i.e. the elements $\rho_\alpha$ of $S^1$ such that $\mathcal{L}(\rho_\alpha)$ is equal to $d_G(\varphi,\psi)$. As our main results, we give conditions that a homeomorphism has to meet in order to be optimal, and we prove that the set of the optimal homeomorphisms is finite under suitable conditions.


title: Towards Parallel Boolean Functional Synthesis

abstract: Given a relational specification R(X, Y), where X and Y are sequences of input and output variables, we wish to synthesize each output as a function of the inputs such that the specification holds. This is called the Boolean functional synthesis problem and has applications in several areas. In this paper, we present the first parallel approach for solving this problem, using compositional and CEGAR-style reasoning as key building blocks. We show by means of extensive experiments that our approach outperforms existing tools on a large class of benchmarks.


title: Algebraic geometry codes with complementary duals exceed the asymptotic Gilbert-Varshamov bound

abstract: It was shown by Massey that linear complementary dual (LCD for short) codes are asymptotically good. In 2004, Sendrier proved that LCD codes meet the asymptotic Gilbert-Varshamov (GV for short) bound. Until now, the GV bound still remains to be the best asymptotical lower bound for LCD codes. In this paper, we show that an algebraic geometry code over a finite field of even characteristic is equivalent to an LCD code and consequently there exists a family of LCD codes that are equivalent to algebraic geometry codes and exceed the asymptotical GV bound.


title: Recurrent Poisson Factorization for Temporal Recommendation

abstract: Poisson factorization is a probabilistic model of users and items for recommendation systems, where the so-called implicit consumer data is modeled by a factorized Poisson distribution. There are many variants of Poisson factorization methods who show state-of-the-art performance on real-world recommendation tasks. However, most of them do not explicitly take into account the temporal behavior and the recurrent activities of users which is essential to recommend the right item to the right user at the right time. In this paper, we introduce Recurrent Poisson Factorization (RPF) framework that generalizes the classical PF methods by utilizing a Poisson process for modeling the implicit feedback. RPF treats time as a natural constituent of the model and brings to the table a rich family of time-sensitive factorization models. To elaborate, we instantiate several variants of RPF who are capable of handling dynamic user preferences and item specification (DRPF), modeling the social-aspect of product adoption (SRPF), and capturing the consumption heterogeneity among users and items (HRPF). We also develop a variational algorithm for approximate posterior inference that scales up to massive data sets. Furthermore, we demonstrate RPF's superior performance over many state-of-the-art methods on synthetic dataset, and large scale real-world datasets on music streaming logs, and user-item interactions in M-Commerce platforms.


title: Query Expansion Based on Crowd Knowledge for Code Search

abstract: As code search is a frequent developer activity in software development practices, improving the performance of code search is a critical task. In the text retrieval based search techniques employed in the code search, the term mismatch problem is a critical language issue for retrieval effectiveness. By reformulating the queries, query expansion provides effective ways to solve the term mismatch problem. In this paper, we propose Query Expansion based on Crowd Knowledge (QECK), a novel technique to improve the performance of code search algorithms. QECK identifies software-specific expansion words from the high quality pseudo relevance feedback question and answer pairs on Stack Overflow to automatically generate the expansion queries. Furthermore, we incorporate QECK in the classic Rocchio's model, and propose QECK based code search method QECKRocchio. We conduct three experiments to evaluate our QECK technique and investigate QECKRocchio in a large-scale corpus containing real-world code snippets and a question and answer pair collection. The results show that QECK improves the performance of three code search algorithms by up to 64 percent in Precision, and 35 percent in NDCG. Meanwhile, compared with the state-of-the-art query expansion method, the improvement of QECK Rocchio is 22 percent in Precision, and 16 percent in NDCG.


title: An unsupervised bayesian approach for the joint reconstruction and classification of cutaneous reflectance confocal microscopy images

abstract: This paper studies a new Bayesian algorithm for the joint reconstruction and classification of reflectance confocal microscopy (RCM) images, with application to the identification of human skin lentigo. The proposed Bayesian approach takes advantage of the distribution of the multiplicative speckle noise affecting the true reflectivity of these images and of appropriate priors for the unknown model parameters. A Markov chain Monte Carlo (MCMC) algorithm is proposed to jointly estimate the model parameters and the image of true reflectivity while classifying images according to the distribution of their reflectivity. Precisely, a Metropolis-whitin-Gibbs sampler is investigated to sample the posterior distribution of the Bayesian model associated with RCM images and to build estimators of its parameters, including labels indicating the class of each RCM image. The resulting algorithm is applied to synthetic data and to real images from a clinical study containing healthy and lentigo patients.


title: Cellular non-nonlinear network model of microbial fuel cell

abstract: A cellular non-linear network (CNN) is a uniform regular array of locally connected continuous-state machines, or nodes, which update their states simultaneously in discrete time. A microbial fuel cell (MFC) is an electro-chemical reactor using the metabolism of bacteria to drive an electrical current. In a CNN model of the MFC, each node takes a vector of states which represent geometrical characteristics of the cell, like the electrodes or impermeable borders, and quantify measurable properties like bacterial population, charges produced and hydrogen ions concentrations. The model allows the study of integral reaction of the MFC, including temporal outputs, to spatial disturbances of the bacterial population and supply of nutrients. The model can also be used to evaluate inhomogeneous configurations of bacterial populations attached on the electrode biofilms.


title: ROSF: Leveraging Information Retrieval and Supervised Learning for Recommending Code Snippets

abstract: When implementing unfamiliar programming tasks, developers commonly search code examples and learn usage patterns of APIs from the code examples or reuse them by copy-pasting and modifying. For providing high-quality code examples, previous studies present several methods to recommend code snippets mainly based on information retrieval. In this paper, to provide better recommendation results, we propose ROSF, Recommending cOde Snippets with multi-aspect Features, a novel method combining both information retrieval and supervised learning. In our method, we recommend Top-Kcode snippets for a givenfree-form query based on two stages, i.e., coarse-grained searching and fine-grained re-ranking. First, we generate a code snippet candidate set by searching a code snippet corpus using an information retrieval method. Second, we predict probability values of the code snippets for different relevance scores in the candidate set by the learned prediction model from a training set, re-rank these candidate code snippets according to the probability values, and recommend the final results to developers. We conduct several experiments to evaluate our method in a large-scale corpus containing 921,713 real-world code snippets. The results show that ROSF is an effective method for code snippets recommendation and outperforms the-state-of-the-art methods by 20%-41% in Precision and 13%-33% in NDCG


title: The construction of the Fiber-SiPM beam monitor system of the R484 and R582 experiments at the RIKEN-RAL muon facility

abstract: The scintillating fiber-SiPM beam monitor detectors, designed to deliver beam informations for the R484 and R582 experiments at the high intensity, low energy pulsed muon beam at the RIKEN-RAL facility, have been successfully constructed and operated. Details on their construction and first performances in beam are reported


title: On the wall boundary conditions for species-specific mass conservation equations in mathematical modelling of direct precipitation fouling from supersaturated, multi-component fluid mixtures

abstract: The mathematical modelling of species transport in the turbulent boundary layer of fluids that precipitate on the wall, is an important topic at the heart of one of the biggest challenges in efficient energy utilization in all process industries; namely the fouling of heat exchangers. A major contributor to the complexity of the problem is the multi-length-scale nature of the governing phenomena. That is, transport mechanisms dominating at the nano-scale may be responsible for the macroscopic performance of the industrial process. This paper addresses some of the challenges that need to be met in modelling the boundary conditions, i.e. the atomic/molecular-scale conditions, for the species-specific mass conservation equations, at the wall, for single-phase, multi-component fluids that precipitate at the wall.


title: Accurate parameters for HD 209458 and its planet from HST spectrophotometry

abstract: We present updated parameters for the star HD 209458 and its transiting giant planet. The stellar angular diameter $\theta$=0.2254$\pm$0.0017 mas is obtained from the average ratio between the absolute flux observed with the Hubble Space Telescope and that of the best-fitting Kurucz model atmosphere. This angular diameter represents an improvement in precision of more than four times compared to available interferometric determinations. The stellar radius $R_\star$=1.20$\pm$0.05 R$_{\odot}$ is ascertained by combining the angular diameter with the Hipparcos trigonometric parallax, which is the main contributor to its uncertainty, and therefore the radius accuracy should be significantly improved with Gaia's measurements. The radius of the exoplanet $R_\text{p}$=1.41$\pm$0.06 $R_\text{J}$ is derived from the corresponding transit depth in the light curve and our stellar radius. From the model fitting, we accurately determine the effective temperature, $T_\text{eff}$=6071$\pm$20 K, which is in perfect agreement with the value of 6070$\pm$24 K calculated from the angular diameter and the integrated spectral energy distribution. We also find precise values from recent Padova Isochrones, such as $R_\star$=1.20$\pm$0.06 R$_{\odot}$ and $T_\text{eff}$=6099$\pm$41 K. We arrive at a consistent picture from these methods and compare the results with those from the literature.


title: Predictability of escape for a stochastic saddle-node bifurcation: when rare events are typical

abstract: Transitions between multiple stable states of nonlinear systems are ubiquitous in physics, chemistry, and beyond. Two types of behaviors are usually seen as mutually exclusive: unpredictable noise-induced transitions and predictable bifurcations of the underlying vector field. Here, we report a new situation, corresponding to a fluctuating system approaching a bifurcation, where both effects collaborate. We show that the problem can be reduced to a single control parameter governing the competition between deterministic and stochastic effects. Two asymptotic regimes are identified: when the control parameter is small (e.g. small noise), deviations from the deterministic case are well described by the Freidlin-Wentzell theory. In particular, escapes over the potential barrier are very rare events. When the parameter is large (e.g. large noise), such events become typical. Unlike pure noise-induced transitions, the distribution of the escape time is peaked around a value which is asymptotically predicted by an adiabatic approximation. We show that the two regimes are characterized by qualitatively different reacting trajectories, with algebraic and exponential divergence, respectively.


title: Gauge linked time-dependent non-Hermitian Hamiltonians

abstract: In this work we address systems described by time-dependent non-Hermitian Hamiltonians under time-dependent Dyson maps. We shown that when starting from a given time-dependent non-Hermitian Hamiltonian which is not itself an observable, an infinite chain of gauge linked time-dependent non-observable non-Hermitian Hamiltonians can be derived from it. The matrix elements of the observables associated with all these non observable Hamiltonians are, however, all linked to each other, and in the particular case where global gauges exist, these matrix elements becomes all identical to each other. In this case, therefore, by approaching whatever the Hamiltonian in the chain we can get information about any other Hamiltonian. We then show that the whole chain of time-dependent non-Hermitian Hamiltonians collapses to a single time-dependent non-Hermitian Hamiltonian when, under particular choices for the time-dependent Dyson maps, the observability of the Hamiltonians is assured. This collapse thus shows that the observability character of a non-Hermitian Hamiltonian prevents the construction of the gauge-linked Hamiltonian chain and, consequently, the possibility of approaching one Hamiltonian from another.


title: Degenerate cavity supporting more than 31 Laguerre-Gaussian modes

abstract: Photons propagating in Laguerre-Gaussian modes have characteristic orbital angular momentums, which are fundamental optical degrees of freedom. The orbital angular momentum of light has potential application in high capacity optical communication and even in quantum information processing. In this work, we experimentally construct a ring cavity with 4 lenses and 4 mirrors that is completely degenerate for Laguerre-Gaussian modes. By measuring the transmission peaks and patterns of different modes, the ring cavity is shown to supporting more than 31 Laguerre-Gaussian modes. The constructed degenerate cavity opens a new way for using the unlimited resource of available angular momentum states simultaneously.


title: A simple analysis of a D/GI/1 vacation queue with impatient customers

abstract: In this paper, we deal with an $D/GI/1$ vacation system with impatient customers. We give a sufficient condition for the existence of a limit distribution of the waiting time and integral equations are derived in both reneging and balking scenarios. Explicit solutions are given when vacation times are exponentially distributed and service times are either exponentially distributed or deterministic.


title: Learning Deep Matrix Representations

abstract: We present a new distributed representation in deep neural nets wherein the information is represented in native form as a matrix. This differs from current neural architectures that rely on vector representations. We consider matrices as central to the architecture and they compose the input, hidden and output layers. The model representation is more compact and elegant -- the number of parameters grows only with the largest dimension of the incoming layer rather than the number of hidden units. We derive several new deep networks: (i) feed-forward nets that map an input matrix into an output matrix, (ii) recurrent nets which map a sequence of input matrices into a sequence of output matrices. We also reinterpret existing models for (iii) memory-augmented networks and (iv) graphs using matrix notations. For graphs we demonstrate how the new notations lead to simple but effective extensions with multiple attentions. Extensive experiments on handwritten digits recognition, face reconstruction, sequence to sequence learning, EEG classification, and graph-based node classification demonstrate the efficacy and compactness of the matrix architectures.


title: Monte Carlo Simulation for Polychromatic X-ray Fluorescence Computed Tomography with Sheet-Beam Geometry

abstract: X-ray fluorescence computed tomography based on sheet-beam can save a huge amount of time to obtain a whole set of projections using synchrotron. However, it is clearly unpractical for most biomedical research laboratories. In this paper, polychromatic X-ray fluorescence computed tomography with sheet-beam geometry is tested by Monte Carlo simulation. First, two phantoms (A and B) filled with PMMA are used to simulate imaging process through GEANT 4. Phantom A contains several GNP-loaded regions with the same size (10 mm) in height and diameter but different Au weight concentration ranging from 0.3% to 1.8%. Phantom B contains twelve GNP-loaded regions with the same Au weight concentration (1.6%) but different diameter ranging from 1mm to 9mm. Second, discretized presentation of imaging model is established to reconstruct more accurate XFCT images. Third, XFCT images of phantom A and B are reconstructed by fliter backprojection (FBP) and maximum likelihood expectation maximization (MLEM) with and without correction, respectively. Contrast to noise ratio (CNR) is calculated to evaluate all the reconstructed images. Our results show that it is feasible for sheet-beam XFCT system based on polychromatic X-ray source and the discretized imaging model can be used to reconstruct more accurate images.


title: Interpolated energy densities, correlation indicators and lower bounds from approximations to the strong coupling limit of DFT

abstract: We investigate the construction of approximated exchange-correlation functionals by interpolating locally along the adiabatic connection between the weak- and the strong-coupling regimes, focussing on the effect of using approximate functionals for the strong-coupling energy densities. The gauge problem is avoided by dealing with quantities that are all locally defined in the same way. Using exact ingredients at weak coupling we are able to isolate the error coming from the approximations at strong coupling only. We find that the nonlocal radius model, which retains some of the non-locality of the exact strong-coupling regime, yields very satisfactory results. We also use interpolation models and quantities from the weak- and strong-coupling regimes to define a correlation-type indicator and a lower bound to the exact exchange-correlation energy. Open problems, related to the nature of the local and global slope of the adiabatic connection at weak coupling, are also discussed.


title: Chain-NN: An Energy-Efficient 1D Chain Architecture for Accelerating Deep Convolutional Neural Networks

abstract: Deep convolutional neural networks (CNN) have shown their good performances in many computer vision tasks. However, the high computational complexity of CNN involves a huge amount of data movements between the computational processor core and memory hierarchy which occupies the major of the power consumption. This paper presents Chain-NN, a novel energy-efficient 1D chain architecture for accelerating deep CNNs. Chain-NN consists of the dedicated dual-channel process engines (PE). In Chain-NN, convolutions are done by the 1D systolic primitives composed of a group of adjacent PEs. These systolic primitives, together with the proposed column-wise scan input pattern, can fully reuse input operand to reduce the memory bandwidth requirement for energy saving. Moreover, the 1D chain architecture allows the systolic primitives to be easily reconfigured according to specific CNN parameters with fewer design complexity. The synthesis and layout of Chain-NN is under TSMC 28nm process. It costs 3751k logic gates and 352KB on-chip memory. The results show a 576-PE Chain-NN can be scaled up to 700MHz. This achieves a peak throughput of 806.4GOPS with 567.5mW and is able to accelerate the five convolutional layers in AlexNet at a frame rate of 326.2fps. 1421.0GOPS/W power efficiency is at least 2.5 to 4.1x times better than the state-of-the-art works.


title: The $p$-capacitary Orlicz-Hadamard variational formula and Orlicz-Minkowski problems

abstract: In this paper, combining the $p$-capacity for $p\in (1, n)$ with the Orlicz addition of convex domains, we develop the $p$-capacitary Orlicz-Brunn-Minkowski theory. In particular, the Orlicz $L_{\phi}$ mixed $p$-capacity of two convex domains is introduced and its geometric interpretation is obtained by the $p$-capacitary Orlicz-Hadamard variational formula. The $p$-capacitary Orlicz-Brunn-Minkowski and Orlicz-Minkowski inequalities are established, and the equivalence of these two inequalities are discussed as well. The $p$-capacitary Orlicz-Minkowski problem is proposed and solved under some mild conditions on the involving functions and measures. In particular, we provide the solutions for the normalized $p$-capacitary $L_q$ Minkowski problems with $q>1$ for both discrete and general measures.


title: Dual Maxwellian-Kappa modelling of the solar wind electrons: new clues on the temperature of Kappa populations

abstract: Context. Recent studies on Kappa distribution functions invoked in space plasma applications have emphasized two alternative approaches which may assume the temperature parameter either dependent or independent of the power-index $\kappa$. Each of them can obtain justification in different scenarios involving Kappa-distributed plasmas, but direct evidences supporting any of these two alternatives with measurements from laboratory or natural plasmas are not available yet. Aims. This paper aims to provide more facts on this intriguing issue from direct fitting measurements of suprathermal electron populations present in the solar wind, as well as from their destabilizing effects predicted by these two alternating approaches. Methods. Two fitting models are contrasted, namely, the global Kappa and the dual Maxwellian-Kappa models, which are currently invoked in theory and observations. The destabilizing effects of suprathermal electrons are characterized on the basis of a kinetic approach which accounts for the microscopic details of the velocity distribution. Results. In order to be relevant, the model is chosen to accurately reproduce the observed distributions and this is achieved by a dual Maxwellian-Kappa distribution function. A statistical survey indicates a $\kappa$-dependent temperature of the suprathermal (halo) electrons for any heliocentric distance. Only for this approach the instabilities driven by the temperature anisotropy are found to be systematically stimulated by the abundance of suprathermal populations, i.e., lowering the values of $\kappa$-index.


title: Adversarial Generation of Real-time Feedback with Neural Networks for Simulation-based Training

abstract: Simulation-based training (SBT) is gaining popularity as a low-cost and convenient training technique in a vast range of applications. However, for a SBT platform to be fully utilized as an effective training tool, it is essential that feedback on performance is provided automatically in real-time during training. It is the aim of this paper to develop an efficient and effective feedback generation method for the provision of real-time feedback in SBT. Existing methods either have low effectiveness in improving novice skills or suffer from low efficiency, resulting in their inability to be used in real-time. In this paper, we propose a neural network based method to generate feedback using the adversarial technique. The proposed method utilizes a bounded adversarial update to minimize a L1 regularized loss via back-propagation. We empirically show that the proposed method can be used to generate simple, yet effective feedback. Also, it was observed to have high effectiveness and efficiency when compared to existing methods, thus making it a promising option for real-time feedback generation in SBT.


title: Addressing Appearance Change in Outdoor Robotics with Adversarial Domain Adaptation

abstract: Appearance changes due to weather and seasonal conditions represent a strong impediment to the robust implementation of machine learning systems in outdoor robotics. While supervised learning optimises a model for the training domain, it will deliver degraded performance in application domains that underlie distributional shifts caused by these changes. Traditionally, this problem has been addressed via the collection of labelled data in multiple domains or by imposing priors on the type of shift between both domains. We frame the problem in the context of unsupervised domain adaptation and develop a framework for applying adversarial techniques to adapt popular, state-of-the-art network architectures with the additional objective to align features across domains. Moreover, as adversarial training is notoriously unstable, we first perform an extensive ablation study, adapting many techniques known to stabilise generative adversarial networks, and evaluate on a surrogate classification task with the same appearance change. The distilled insights are applied to the problem of free-space segmentation for motion planning in autonomous driving.


title: Introducing Time-dependent Molecular Fields: Derivation of the Wave Equations

abstract: This article is part of a series of articles trying to establish the concept Molecular Field. The theory that induced us to introduce this novel concept is based on the Born-Huang expansion as applied to the Schroedinger equation that describes the interaction of a molecular system with an external electric field. Assuming the molecular system is made up of two coupled adiabatic states the theory leads from a single spatial Curl Equation, two space-time Curl equations and one single space-time Divergent equation to a pair of decoupled Wave Equations usually encountered within the theory of fields. In the present study the Wave Equations are derived for an external field having two features: (a) its intensity is high enough; (b) its duration is short enough. For this situation the study reveals that the just described interaction creates two fields that coexist within a molecule: one is a novel vectorial field formed via the interaction of the external field with the Born-Huang non-adiabatic coupling terms (NACT) and the other is an ordinary, scalar, electric field essentially identical to the original external field. Part of the present study is devoted to the visualization of the outcomes via two intersecting Jahn-Teller cones which contain NACTs that become singular at their intersection point, also known as the point of Conical Intersection. This description is reminiscent of a metaphoric cosmic Black-Hole which swallows one type of an electric field and creates a new type. Finally, the fact that eventually we are facing a kind of a cosmic situation may bring us to speculate that singular NACTs are a result of cosmic phenomena. Thus, if indeed this singularity is somehow connected to reality then, like other singularities in physics, it is formed at (or immediately after) the Big Bang (and because of that, eventually the ability to form molecules).


title: A nucleon-pair and boson coexistent description of nuclei

abstract: We study a mixture of s-bosons and like-nucleon pairs with the standard pairing interaction outside a inert core. Competition between the nucleon-pairs and s-bosons is investigated in this scenario. The robustness of the BCS-BEC coexistence and crossover phenomena is examined through an analysis of pf-shell nuclei with realistic single-particle energies in which two configurations with Pauli blocking of nucleon-pair orbits due to the formation of the s-bosons is taken into account. When the nucleon-pair orbits are considered to be independent of the s-bosons, the BCS-BEC crossover becomes smooth with the number of the s-bosons noticeably more than that of the nucleonpairs near the half-shell point, a feature that is demonstrated in the pf-shell for several values of the standard pairing interaction strength. As a further test of the robustness of the BCS-BEC coexistence and crossover phenomena in nuclei, results are given for B(E2; 0^{+}_{g}->2^{+}_1) values of even-even 102-130Sn with 100Sn taken as a core and valence neutron pairs confined within the 1d5/2, 0g7/2, 1d3/2, 2s1/2, 1h11/2 orbits in the nucleon-pair orbit and the s-boson independent approximation. The results indicate that the B(E2) values are well reproduced.


title: The Special Theory of Relativity as Applied to the Born-Oppenheimer-Huang Approach

abstract: In two recent publications ( Int. J. Quant. Chem. 114, 1645 (2014) and Molec. Phys. 114, 227 (2016)) it was shown that the Born -Hwang (BH) treatment of a molecular system perturbed by an external field yields a set of decoupled vectorial Wave Equations, just like in Electromagnetism. This finding led us to declare on the existence of a new type of Fields, which were termed Molecular Fields. The fact that such fields exist implies that at the vicinity of conical intersections exist a mechanism that transforms a passing-by electric beam into a field which differs from the original electric field. This situation is reminiscent of what is encountered in astronomy where Black Holes formed by massive stars may affect the nature of a near-by beam of light. Thus if the NonAdiabatic-Coupling-Terms (NACT) with their singular points may affect the nature of such a beam (see the above two publications) then it would be interesting to know to what extend NACTs (and consequently also the BH equation) will be affected by the special theory of relativity as introduced by Dirac. Indeed while applying the Dirac approach we derived the relativistic affected NACTs as well as the corresponding BH equation.


title: CoVaR-based portfolio selection

abstract: We consider the portfolio optimization with risk measured by conditional value-at-risk, based on the stress event of chosen asset being equal to the opposite of its value-at-risk level, under the normality assumption. Solvability conditions are given and illustrated by examples.


title: Recursive Variational Problems in Nonreflexive Banach Spaces with an Infinite Horizon: An Existence Result

abstract: We investigate variational problems with recursive integral functionals governed by infinite-dimensional differential inclusions with an infinite horizon and present an existence result in the setting of nonreflexive Banach spaces. We find an optimal solution in a Sobolev space taking values in a Banach space under the Cesari type condition. We also investigate sufficient conditions for the existence of solutions to the initial value problem for the differential inclusion.


title: Generative Compression

abstract: Traditional image and video compression algorithms rely on hand-crafted encoder/decoder pairs (codecs) that lack adaptability and are agnostic to the data being compressed. Here we describe the concept of generative compression, the compression of data using generative models, and suggest that it is a direction worth pursuing to produce more accurate and visually pleasing reconstructions at much deeper compression levels for both image and video data. We also demonstrate that generative compression is orders-of-magnitude more resilient to bit error rates (e.g. from noisy wireless channels) than traditional variable-length coding schemes.


title: Finding Influentials in Twitter: A Temporal Influence Ranking Model

abstract: With the growing popularity of online social media, identifying influential users in these social networks has become very popular. Existing works have studied user attributes, network structure and user interactions when measuring user influence. In contrast to these works, we focus on user behavioural characteristics. We investigate the temporal dynamics of user activity patterns and how these patterns affect user interactions. We assimilate such characteristics into a PageRank based temporal influence ranking model (TIR) to identify influential users. The transition probability in TIR is predicted by a logistic regression model and the random walk, biased according to users' temporal activity patterns. Experiments demonstrate that TIR has better performance and is more stable than the existing models in global influence ranking and friend recommendation.


title: Scientific wealth and inequality within nations

abstract: We show that the greater the scientific wealth of a nation, the more likely that it will tend to concentrate this excellence in a few premier institutions. That is, great wealth implies great inequality of distribution. The scientific wealth is interpreted in terms of citation data harvested by Google Scholar Citations for profiled institutions from all countries in the world.


title: Characterization theorem for the conditionally computable real functions

abstract: The class of uniformly computable real functions with respect to a small subrecursive class of operators computes the elementary functions of calculus, restricted to compact subsets of their domains. The class of conditionally computable real functions with respect to the same class of operators is a proper extension of the class of uniformly computable real functions and it computes the elementary functions of calculus on their whole domains. The definition of both classes relies on certain transformations of infinitistic names of real numbers. In the present paper, the conditional computability of real functions is characterized in the spirit of Tent and Ziegler, avoiding the use of infinitistic names.


title: Group invariant transformations for the Klein-Gordon equation in three dimensional flat spaces

abstract: We perform the complete symmetry classification of the Klein-Gordon equation in maximal symmetric spacetimes. The central idea is to find all possible potential functions $V(t,x,y)$ that admit Lie and Noether symmetries. This is done by using the relation between the symmetry vectors of the differential equations and the elements of the conformal algebra of the underlying geometry. For some of the potentials, we use the admitted Lie algebras to determine corresponding invariant solutions to the Klein-Gordon equation. An integral part of this analysis is the problem of the classification of Lie and Noether point symmetries of the wave equation.


title: Geodesic models of quasi-periodic-oscillations as probes of quadratic gravity

abstract: Future very-large-area X-ray instruments (for which the effective area is larger than $>3$m$^2$) will be able to measure the frequencies of quasi-periodic oscillations~(QPOs) observed in the X-ray flux from accreting compact objects with sub-percent precision. If correctly modeled, QPOs can provide a novel way to test the strong-field regime of gravity. By using the relativistic precession model and a modified version of the epicyclic resonance model, we develop a method to test general relativity against a generic class of theories with quadratic curvature corrections. With the instrumentation being studied for future missions such as eXTP, LOFT, or STROBE-X, a measurement of at least two QPO triplets from a stellar mass black hole can set stringent constraints on the coupling parameters of quadratic gravity.


title: A new relativistic viscous hydrodynamics code and its application to the Kelvin-Helmholtz instability in high-energy heavy-ion collisions

abstract: We construct a new relativistic viscous hydrodynamics code optimized in the Milne coordinates. We split the conservation equations into an ideal part and a viscous part, using the Strang spitting method. In the code a Riemann solver based on the two-shock approximation is utilized for the ideal part and the Piecewise Exact Solution (PES) method is applied for the viscous part. We check the validity of our numerical calculations by comparing analytical solutions, the viscous Bjorken's flow and the Israel-Stewart theory in Gubser flow regime. Using the code, we discuss possible development of the Kelvin-Helmholtz instability in high-energy heavy-ion collisions.


title: Sharp bounds for population recovery

abstract: The population recovery problem is a basic problem in noisy unsupervised learning that has attracted significant research attention in recent years [WY12,DRWY12, MS13, BIMP13, LZ15,DST16]. A number of different variants of this problem have been studied, often under assumptions on the unknown distribution (such as that it has restricted support size). In this work we study the sample complexity and algorithmic complexity of the most general version of the problem, under both bit-flip noise and erasure noise model. We give essentially matching upper and lower sample complexity bounds for both noise models, and efficient algorithms matching these sample complexity bounds up to polynomial factors.


title: 4/3 Rectangle Tiling lower bound

abstract: The problem that we consider is the following: given an $n \times n$ array $A$ of positive numbers, find a tiling using at most $p$ rectangles (which means that each array element must be covered by some rectangle and no two rectangles must overlap) that minimizes the maximum weight of any rectangle (the weight of a rectangle is the sum of elements which are covered by it). We prove that it is NP-hard to approximate this problem to within a factor of \textbf{1$\frac{1}{3}$} (the previous best result was $1\frac{1}{4}$).


title: Tracing Networks of Knowledge in the Digital Age

abstract: The emergence of new digital technologies has allowed the study of human behaviour at a scale and at level of granularity that were unthinkable just a decade ago. In particular, by analysing the digital traces left by people interacting in the online and offline worlds, we are able to trace the spreading of knowledge and ideas at both local and global scales. In this article we will discuss how these digital traces can be used to map knowledge across the world, outlining both the limitations and the challenges in performing this type of analysis. We will focus on data collected from social media platforms, large-scale digital repositories and mobile data. Finally, we will provide an overview of the tools that are available to scholars and practitioners for understanding these processes using these emerging forms of data.


title: Distance-Uniform Graphs with Large Diameter

abstract: An $\epsilon$-distance-uniform graph is one in which from every vertex, all but an $\epsilon$-fraction of the remaining vertices are at some fixed distance $d$, called the critical distance. We consider the maximum possible value of $d$ in an $\epsilon$-distance-uniform graph with $n$ vertices. We show that for $\frac1n \le \epsilon \le \frac1{\log n}$, there exist $\epsilon$-distance-uniform graphs with critical distance $2^{\Omega(\frac{\log n}{\log \epsilon^{-1}})}$, disproving a conjecture of Alon et al. that $d$ can be at most logarithmic in $n$. We also show that our construction is best possible, in the sense that an upper bound on $d$ of the form $2^{O(\frac{\log n}{\log \epsilon^{-1}})}$ holds for all $\epsilon$ and $n$.


title: Design and analysis of a 1-ton prototype of the Jinping Neutrino Experiment

abstract: The Jinping Neutrino Experiment will perform an in-depth research on solar neutrinos and geo-neutrinos. Two structural options (i.e., cylindrical and spherical schemes) are proposed for the Jinping detector based on other successful underground neutrino detectors. Several key factors in the design are also discussed in detail. A 1-ton prototype of the Jinping experiment is proposed based on physics requirements. Subsequently, the structural design, installation procedure, and mechanical analysis of the neutrino detector prototype are discussed. The results show that the maximum Mises stresses on the acrylic vessel, stainless steel truss, and the tank are all lower than the design values of the strengths. The stability requirement of the stainless steel truss in the detector prototype is satisfied. Consequently, the structural scheme for the 1-ton prototype is safe and reliable.